arXiv:1605.07758v1 [math.GR] 25 May 2016

On the radicals of exponential Lie groups
S.G. Dani
May 26, 2016
Abstract
Let G be a connected exponential Lie group and R be the solvable radical
of G. We describe a condition on G/R under which one can then conclude
that R is an exponential Lie group. The condition holds in particular when
G is a complex Lie group and this yilds a stronger version of a result of
Moskowitz and Sacksteder [9] on the center of a complex exponential Lie
group being connected. Along the way we prove a criterion for elements
from certain subsets of a solvable Lie group to be exponential, which would
be of independent interest.

Keywords: Exponential Lie groups, solvable radical, connectedness of center.

1

Introduction

Let G be a connected Lie group, G be the Lie algebra of G, and let exp : G → G
be the exponential map. An element g ∈ G is said to be exponential if there
exists X ∈ G such that g = exp X, namely if g is contained in the image of the
exponential map. The Lie group G is said to be exponential if every element is
exponential, or equivaently if the exponential map is surjective. There has been
considerable interest in literature to understand which Lie groups are exponential. On the whole satisfactory results are known when G is either solvable or
semisimple (see [5] for the status until the mid-1990’s and [10], [11] and [12] for
later work). A general Lie group is an almost semidirect product of a semisimple and a solvable subgroup (namely a semisimple Levi subgroup and the solvable
radical respectively), but not much clarity is attained so far as to which semidirect
products are exponential Lie groups. Some results in this respect may be found
in [3], [4], [9] and [2].
In this context we consider the following question. Given an exponential Lie
group G when can we conclude that its radical R is exponential? We describe
a condition on G/R, the semisimple quotient Lie group, which enables such a
1

conclusion (see Theorem 1.2); the condition involved holds for a large class of
semisimple Lie groups (see Theorem 1.3).
The question as above arose in the context of the following. The main theorem
(Theorem 1) in [9] states that a connected complex Lie group G is exponential if
and only if its center is connected and the adjoint group Ad (G) is exponential;
as has been noted in the review of the paper in Mathematical Reviews the proof
of the theorem given in the paper is valid only under an additional condition
that G is “semi-algebraic” (we shall not go into the details of the condition as it
does not concern us in the sequel). The “if” part, and also part of the converse,
is relatively easy to see, so the main content of such a statement (when valid)
is that the center of a connected complex exponential Lie group is connected;
moreover, a complex semisimple exponential Lie group has trivial center, and
hence conclusion is equivalent to that the center of the radical is connected. This
would follow directly, if we conclude that the radical is exponential, since the
center of an exponential solvable Lie group is always connected (see in particular,
Corollary 2.9, infra). Our results apply to this case and in particular yield the
above mentioned statement from [9] as a corollary in a special case. Our technique
however is independent of [9].
We now formulate the condition involved and state the main results.
To begin, we recall that a one-parameter subgroup of a Lie group L is said
to be unipotent if it is of the form {exp tX}t∈R , where X is an element of the
Lie algebra of L such that the adjoint transformation adX is a nilpotent linear
tranformation of the Lie algebra.
Definition 1.1. We say that a connected Lie group L satisfies condition U if
there exists a unipotent one-parameter subgroup U of L such that the centralizer
of U in L, viz. {x ∈ L | xu = ux for all u ∈ U}, does not contain any compact
subgroup of positive dimension.
Theorem 1.2. Let G be an exponential Lie group and R be the radical of G. Let
S = G/R and suppose that S satisfies condition U. Then R is an exponential Lie
group.
In the context of the theorem it would be of interest to know when a semisimple
Lie group satisfies condition U. Let S be a semisimple Lie group and let S = KAN
be an Iwasawa decomposition of S, namely K, A and N are closed connected
subgroups of S, and if S ∗ is the adjoint group of S and Ad : S → S ∗ is the adjoint
representatiton, then Ad (K) is a maximal compact subgroup of S ∗ , Ad (A) is a
maximal connected subgroup whose action on the Lie algebra is diagonalisable
over R, and N is a simply connected nilpotent Lie subgroup of S normalised by A
(see for example [7]); we note that K contains the center of S and K itself is not
compact when the center is infinite, as in the case of some nonlinear semisimple Lie
2

groups. Let M be the centraliser of A in K. Then M is a closed (not necessarily
connected) subgroup of S. Also M normalises N and P = MAN is a minimal
parabolic subgroup of S.
With regard to condition U we prove the following.
Theorem 1.3. Let the notation be as above and suppose that M is abelian. Then
S satisfies condition U. In particular if S is a R-split semisimple Lie group or a
complex semisimple Lie group then it satisfies condition U.
Remark 1.4. It has also been possible to prove (without reference to M being
abelian) that if N contains an R-regular unipotent element of S, in the sense of [1],
which is not centralised by any compact subgroup of P of positive dimension then
S satisfies condition U. The condition holds when M is abelian. It has however
not been possible to ascertain whether there are semisimple Lie groups S with
M nonabelian for which this holds. We shall therefore not go into the technical
details of this possible generalisation, at this stage.
When S is the group of R-elements of a semisimple algebraic group S defined
over R (or the connected component of the identity in such a group) the condition of M being abelian is equivalent to S being a quasi-split group, namely one
admitting a Borel subgroup defined over R (see [8] and [2]). Thus Theorem 1.3
applies in this case; we note however that S as in Theorem 1.3 need not be linear.
Theorems 1.2 and 1.3 together imply the following, which yields in particular
the statement from [9] recalled above.
Corollary 1.5. Let G be an exponential Lie group, R be the radical of G and
S = G/R. Suppose S satisfies the condition as in Theorem 1.3. Then R is an
exponential Lie group. In particular the center of R is connected.
We note that for condition U to hold for a semisimple Lie group it has to be
noncompact. Also, not all noncompact semisimple Lie groups satisfy condition U;
this can be readily verified for the group SU(n, 1) for instance, which is in fact
one of the exponential Lie groups (see [6],[11]). The question whether a Lie group
G being exponential implies that its radical is exponential remains open in the
cases when G/R is one of these semisimple Lie groups.
Towards proving Theorem 1.2 we also prove a result on exponential elements in
solvable Lie groups, which may be of independent interest. The question of exponentiality of solvable Lie groups was considered earlier in [10] (and earlier papers
cited there), but the focus there has been on criteria for the group to be exponential, namely all elements being exponential. On the other hand our result below,
Theorem 2.2, is about exponentiality of elements from certain subsets. Moreover,
the argument in [10] involves the theory of Cartan subgroups, which is technically
more intricate; our argument is based on more elementary considerations.
3

The paper is organised as follows. The result on exponential elements in
solvable Lie groups, Theorem 2.2, will be taken up in §2, and in §3 the results are
applied to prove Theorem 1.2 and some related results. In §4 we discuss when
condition U is satisfied, and prove Theorem 1.3.

2

Exponential elements in solvable Lie groups

Let H be a connected solvable Lie group and N be a nilpotent simply connected
closed normal Lie subgroup of H such that H/N is abelian. We denote by N(H)
the class of closed connected normal subgroups of H contained in N. We shall be
considering pairs of the form (M, M ′ ), with M, M ′ ∈ N(H), and M ′ ⊂ M, and
for brevity we shall refer to such a pair as a subquotient (of N, with respect to the
action of H). A subquetient (M, M ′ ) is said to be abelian if M/M ′ is abelian; as N
is simply connected, in this case M/M ′ is a vector space over R. The conjugation
action of H on itself induces an action on each M ∈ N(H), by restriction, and
hence on all subquotients of H. An abelian subquotient (M, M ′ ), M, M ′ ∈ N(H),
will be called an irreducible subquotient if the H-action on M/M ′ is irreducible.
We note that for any irreducible subquotient (M, M ′ ), M, M ′ ∈ N(H), the action
of N on M/M ′ is trivial, and hence the action factors to an irreducible linear
action of A on M/M ′ .
Definition 2.1. Let the notation be as above. Let a ∈ A = H/N and B be a
one-parameter subgroup of A containing a. We say that the pair (a, B) is of type E
if the following holds: if for an irreducible subquotient (M, M ′ ), M, M ′ ∈ N(H),
the action of a on M/M ′ is trivial, then the action of B on M/M ′ is trivial; the
element a is said to be type E if there exists a one-parameter subgroup B of A
such that the pair (a, B) is of type E.
We prove the following.
Theorem 2.2. Let H be a connected solvable Lie group and N be a nilpotent
simply connected closed normal Lie subgroup of H such that H/N is abelian. Let
A = H/N. Let x ∈ H and a = xN ∈ A. Then the following conditions are
equivalent:
i) a is of type E.
ii) for every n ∈ N, the element xn is exponential in H.
We first consider the following special case, in which we prove some more
precise results. By a vector subgroup we mean a subgroup which is topologically
isomorphic to Rd for some d ≥ 1 (with respect to the induced topology). A vector
subgroup will be considered equipped with its canonical structure as a vector
space over R.
4

Proposition 2.3. Let L be a connected Lie group. Let V be a vector subgroup of L
and P be a one-parameter subgroup normalizing V , and such that the conjugation
action of P on V is irreducible and nontrivial. Let H = P V . Let p ∈ P be
nontrivial and let σ(p) : V → V denote the conjugation action of p on V . Then
the following holds:
i) Every one-parameter subgroup of L contained in H is either contained in V
or is of the form wP w −1 for some w ∈ V .
ii) If σ(p) is nontrivial then for any v ∈ V , pv is contained in a unique oneparameter subgroup contained in H.
iii) If σ(p) is trivial, then for v ∈ V , v 6= 0 (the zero element in V ), pv is not
contained in any one-parameter subgroup of H.
Proof. At the outset we note that the subgroup H as in the hypothesis need be
a closed subgroup of L. It is however a Lie subgroup whose Lie algebra is the
sum of the Lie subalgebras of P (which is one-dimensional) and V . Let H be the
Lie algebra of H; we shall realize it as Rξ ⊕ V , where ξ is a generator of the Lie
algebra of P and the vector space V is identified with its Lie algebra. We now
prove the statements as in the Proposition.
i) For w ∈ V the Lie subalgebra of H corresponding to the one-parameter
subgroup wP w −1 is spanned by ξ + (θ(w) − w), where θ : V → V is given by
(u)
θ(u) = dp−t
for all u ∈ V . We see that as the P -action on V is nontrivial
dt
and irreducible the map w 7→ θ(w) − w is surjective, and hence all elements of
the form ξ + v, v ∈ V , are among the tangents to wP w −1, w ∈ V . Since scalar
multiples of these cover all elements that are not contained in V , it follows that
every one-parameter subgroup which is not contained in V is of the form wP w −1
(upto scaling of the parameter). This proves (i).
ii) Let p ∈ P be such that σ(p) is nontrivial. As the P -action on V is irreducible
and nontrivial this implies in particular that 1 is not an eigenvalue of σ(p). Hence
σ(p)−1 − I, where I is the identity transformation, is invertible. Now let v ∈ V
be given. Then there exists w ∈ V such that v = σ(p)−1 (w) − w. Hence, in H,
v = (p−1 wp)w −1. Thus pv = wpw −1, and it is contained in the one-parameter
subgroup wP w −1.
We note that if pv is contained in wP w −1 for some w ∈ V then in fact pv =
wpw −1; if q ∈ P is such that pv = wqw −1 = q(q −1 wqw −1) ∈ qV , then p−1 q ∈ V
and hence pv = wqw −1 = (wpw −1)(wp−1 qw −1) = wpw −1. Now if pv is contained
in w1 P w1−1 and w2 P w2−1, w1 , w2 ∈ V , we have w1 pw1−1 = w2 pw2−1 , which means
that w2−1w1 (or w1 − w2 is addivive notation) is fixed by σ(p). Since σ(p) is
nontrivial and the P -action is irreducible this implies that w1 = w2 . Thus oneparameter subgroup containing pv is unique. This proves (ii).
iii) Now let p ∈ P be such that σ(p) is trivial. Let v ∈ V , v 6= 0 and
suppose that pv is contained in wP w −1 for some w ∈ V . Then, as before, we
5

have pv = wpw −1. Hence v = p−1 wpw −1 = σ(p)−1 (w) − w = 0, contradicting the
assumption that v 6= 0. Hence pv is not contained in any one-parameter subgroup
of H. This proves (iii).
In the sequel it will be convenient to use the following terminology.
Definition 2.4. Given a Lie group L, a closed normal subgroup M of L with
η : L → L/M the canonical quotient map, and a one-parameter subgroups Ψ of
L/M, by a lift of Ψ in L we mean a one-parameter subgroup Φ of L such that
η(Φ) = Ψ.
Proposition 2.5. Let the notations H, N, A, x and a be as in Theorem 2.2. Let B
be a one-parameter subgroup of A containing a, such that (a, B) is of type E. Then
for any n ∈ N there exists a lift of B containing xn. Moreover, the collection of
such lifts is countable.
Proof. We shall show that if (M, M ′ ), where M, M ′ ∈ N(H), is an irreducible
subquotient then the following holds: given a one-parameter subgroup Ψ of H/M
which is a lift of B and y ∈ H such that yN = a, there exist at least one and
at most countably many lifts Φ of Ψ in H/M ′ containing yM ′ . Applying this to
successive pairs from a sequence N0 , N1 , . . . , Nk in N(H) such that N0 = N, Nk
is trivial, and for all j = 0, . . . , k − 1, Nj+1 ⊂ Nj and (Nj , Nj+1) is an irreducible
subquotient, yields the statement as in the proposition.
Now let (M, M ′ ) as above, a one-parameter subgroup Ψ of H/M which is a lift
of B, and y ∈ H such that yM = a be given. Let P be a lift of Ψ in H/M ′ . We
now apply Proposition 2.3 to P (M/M ′ ) (the product of P and M/M ′ in H/M ′ ),
with v = yM ′ . We note that any one-parameter subgroup of H/M ′ which is a lift
of Ψ is contained in P (M/M ′ ), thus it suffices to show that there exists a lift Φ of
Ψ in P (M/M ′ ) containing yM ′ . If the action of a on M/M ′ is nontrivial then this
is assured by Proposition 2.3(ii). On the other hand if the action of a on M/M ′
is trivial then by hypothesis the action of B is also trivial, and since P is a lift of
B this implies that P (M/M ′ ) is an abelian Lie group, in this case the assertion
is obvious. This proves the Proposition.
Proposition 2.6. Let H, N, A, x and a = xN be as in Theorem 2.2 and let B
be a one-parameter subgroup of A containing a. Let M ∈ N(H) be an abelian
subgroup such that the A-action on M is irreducible and the following holds:
i) for the group H/M, with A being viewed canonically as (H/M)/(N/M), the
pair (a, B) is of type E.
ii) on M the action of a is trivial but the action of B is not trivial.
Let Q be a lift of B in H/M and y ∈ H be such that yN = a. Then there exist a
unique m ∈ M such that ym is contained in a lift of Q.

6

Proof. Let P be a lift of Q in H. Let p ∈ P be such that pM = yM, and m ∈ M
such that p = ym. Then pN = yN = a. By condition (ii) in the hypothesis and
Proposition 2.3(iii), applied to the subgroup P M, we get that pm′ is not contained
in a lift of Q for any nontrivial element m′ of M. Thus m is the only element of
M such that ym is contained in a lift of Q.
Proposition 2.7. Let H, N, A, x and a = xN be as in Theorem 2.2 and let B be
a one-parameter subgroup of A containing a. Suppose that (a, B) is not of type
E. Let E = {n ∈ N | xn is contained in a lift of B in H}. Then E has 0 Haar
measure in N.
Proof. At the outset we note that the set of exponential elements in a Lie group is
a Borel subset, and hence it follows that E as in the hypothesis is a Borel subset
of N. As (a, B) is not of type E there exists an irreducible subquotient (M, M ′ ),
M, M ′ ∈ N(H), such that the a-action on M/M ′ is trivial and the B action is
nontrivial, and we may without loss of generality assume M to be of maximal
possible dimension among such pairs. To prove the propositin it suffices to show
that EM ′ /M ′ has zero Haar measure in N/M ′ , and hence passing to H/M ′ , we
may without loss of generality assume M ′ to be trivial. Thus M is a normal
vector subgroup of H. By the maximality condition on M, (a, B) is of type E
for H/M. Hence by Proposition 2.5 for any n ∈ N there exist only countably
many lifts of B in H/M containing xnM. Let n ∈ N and Q be any lift of B
in H/M containing xnM. Let P be a lift of Q in H and m ∈ M be such that
xnm ∈ P . We now apply Proposition 2.3(iii), with M in place of V there. The
choice of M as above shows that the conjugation action of xnm on M is trivial
but the action of P is not trivial. By Proposition 2.3(iii) therefore xnm is the only
element in xnM which is contained in a lift of Q. Since there are only countably
many lifts Q of B containing xnM, this shows that there are only contably many
m in M such that xnm is contained in a lift of B in H. In other words, E as in
the hypothesis intersects each coset xnM, where n ∈ N, in only countably many
points. It follows that its Haar measure of E must be 0.
Proof of Theorem 2.2: Statement (i) =⇒ (ii) follows immediately from (the
existence statement in) Proposition 2.5. We now prove the converse. We suppose
that condition (ii) holds, but a is not of type E, and arrive at a contradiction.
Let C be the class of L ∈ N(H), such that xN/L is not of type E for the group
H/L. Then C is nonempty since by assumption a is not of type E for H, so C
contains the trivial subgroup. Let L be an element of C with maximum possible
dimension; we note that L is a proper subgroup of N, since the action of A on
N/L has to be nontrivial. For notational convenience we shall consider H/L as
H, and respectively N/L as N, and xL as x. Then in the modified notation we
have that xn is exponential in H for all n ∈ N, xN is not of type E, but xN/M
is of type E for every M ∈ N(H) of positive dimension. We fix a M ∈ N(H) of
7

positive dimension such that the action of A = H/N on M is irreducible. Let
a = xN. Then the action of a on M is trivial since otherwise a would be of type E
under the conditions as above.
By hypothesis, for each n ∈ N there exists a one-parameter subgroup containing xn. We note that the set of one-parameter subgroups of A containing a = xN
is countable, say {Bj } with j running over a countable set; it can be a singleton
set as would be the case when A is simply connected.
By Proposition 2.7, applied to H/M there exists n ∈ N such that xnM is not
contained in a lift of Bj for any j such that (a, Bj ) is not of type E for H/M;
indeed the set of such n is a set of full Haar measure. We fix such n and consider
the elements xnm, m ∈ M. By hypothesis each of them is exponential and hence
is contained in a lift of Bj for some j, and by the choice of n, the j must be
such that (a, Bj ) is of type E for N/M. Hence to prove the theorem it suffices
to show that the action of one of these on M is trivial. Consider any Bj such
that (a, Bj ) is of type E for H/M. Then by Proposition 2.5 for any j there exist
only countably many lifts of Bj to H/M containing xnM. Let Q be any lift of Bj
containing xnM. If the action of Bj on M is nontrivial then by Proposition 2.6
there exists a unique m ∈ M such that xnm is contained in a lift of Q in H. It
follows therefore that if the action of Bj on M is nontrivial then the set of m ∈ M
for which xnm is contained in a lift of Bj is countable. But this is a contradiction
since in fact since every xnm, m ∈ M, is contained in a one-parameter subgroup
of H, which necessarily has to be a lift of some Bj such that (a, Bj ) is of type E
on H/M. The contradiction shows that a must indeed by of type E, which proves
the theorem.
Remark 2.8. The criterion in Theorem 2.2 involves that for a ∈ A there exists
a common one-parameter subgroup B such that for every irreducible subquotient
(M, M ′ ), M, M ′ ∈ N(H), such that if the action of a on M/M ′ is trivial the
action of B is also trivial. It does not suffice to have such a one-parameter for
each (M, M ′ ) individually, and dependent on it. This is illustrated by the following
example: Let H be the semi-direct product of T2 = {(ρ1 , ρ2 ) | ρ1 , ρ2 ∈ C, |ρ1 | =
|ρ2 | = 1} and C2 = {(z1 , z2 ) | z1 , z2 ∈ C}, with the conjugation action of (ρ1 , ρ2 )
given by (z1 , z2 ) 7→ (ρ1 ρ2 z1 , ρ1 ρ−1
2 z2 ). Then N and A as in the earlier notation
may be seen to correspond to C2 and T2 respectively, (together with the actions
involved). The irreducible subquotient actions of A on N are seen to correspond
to actions on the two copies of C, corresponding to the two coordinates. Let
a = (−1, −1) ∈ T2 . Then the action of a on C2 is trivial. We see that there
are one-parameter subgroups B1 and B2 of T2 containing a acting trivially on
the subquotients corresponding to the first and second coordinates respectively,
but there is no one-parameter subgroup containing a and acting trivially on both
coordinates. Thus the condition of Theorem 2.2 is not satisfied. Hence by the
Theorem the group is not exponential, as may also be checked directly.
8

Theorem 2.2 can be used to deduce the following property, known earlier ([10],
Corollary 3.18).
Corollary 2.9. Let H be an exponential solvable Lie group. Then the center of
H is connected.
Proof. Let N be the nilradical of H and A = H/N. Let z be an element contained
in the center of H and a = zN ∈ A. Since H is exponential xn is exponential for
all n ∈ N. Also, z being contained in the center, the action of a on any irreducible
subquotient is trivial. Hence by Theorem 2.2 there exists a one-parameter subgroup B of A containing a such that the action of B on any irreducible subquotient
is trivial. Let L be the subgroup of H containing N and such that B = L/N.
Then the preceding observation implies that L is a connected nilpotent Lie group.
Since N is the nilradical we get that L = N. Therefore z is contained in the
center of N, say Z. Now Z is a connected abelian Lie group, and the center of H
is precisely the set of fixed points of the action of A on Z, induced by the A-action
on N. It can be seen that as A is connected, the set of fixed points is a connected
subgroup of Z. Hence the center of H is connected.
We also deduce the following characterization of exponential Lie group, which
is in a sense the main nontechnical part in the characterization of exponentiality
of solvable Lie groups in Theorem 3.17 of [10]. We follow the terminology as in
[10]; however the symbols chosen are different, to avoid clash with the notation
in the rest of this paper.
Corollary 2.10. Let H be a connected solvable Lie group, H be the Lie algebra
of H, and C be a Cartan subgroup of H. Then H is an exponential Lie group
if and only if for all nilpotent elements ν ∈ H the centralizer of ν in C, namely
ZC (ν) := {y ∈ C | Ad (y)(ν) = ν}, is connected.
Proof. Let N be the nilradical of H and N be the Lie subalgebra corresponding
to N. Then we have H = CN. As H is solvable, all nilpotent elements in H
are contained in N. Also, N has a decomposition as ⊕s∈S Ns , with S an indexing
set, such that the following holds: for each s ∈ S, Ns is Ad C-invariant, for
each y ∈ C the eigenvalues of the restriction of Ad y to Ns consist of a complex
conjugate pair, say λ(y, s) and λ(y, s) (only one when
P real), and there exists an
order on S, denoted by ≥, such that for any t ∈ S, s≥t Ns is a Lie ideal in H;
more precise relations can be written down for commutators of the Ns ’s but we
do not need that here. We note also that C is a connected nilpotent Lie group
and hence given y ∈ C and a one-parameter subgroup B ′ of CN/N containing
yN there exists a one-parameter B of C containing y such that B ′ = BN/N.
Now suppose that
P H is exponential and let a nilpotent ν element be given.
Then we have ν = s∈S νs , with νs ∈ Ns for all s ∈ S. Let y ∈ C and a = yN/N.

9

By Theorem 2.2, together with one of the observations above, there exists a oneparameter subgroup B of C containing y such that for any irreducible subquotient
(M, M ′ ) such that the action of y on M/M ′ is trivial, the action of B on M/M ′ is
also trivial. Now, Ad y(ν) = ν if and only if λ(y, s) = 1 for all s such that νs 6= 0.
ConsiderPany t ∈ S such that λ(y, t) = 1. Let M be the closed subgroup with Lie
algebra s≥t Ns and M ′ be a closed connected normal subgroup of H, properly
contained in M, such that the Lie algebra of M ′ contains Ns , for all s > t (that is
s ≥ t and s 6= t), and (M, M ′ ) is an irreducible quotient. As λ(y, t) = 1 it follows
that the action of y on M/M ′ is trivial. Hence the action of B on M/M ′ is also
trivial and in turn λ(b, t) = 1 for all b ∈ B. Thus we get that Ad b(ν) = ν for all
b ∈ B. This shows that the centralizer of ν in C is connected.
Now suppose that ZC (ν) is connected for all ν ∈ N. Let x ∈ H be given and
let a = xN ∈ H/N. Since H = CN there there exists y ∈ C such
P that a = yN/N.
Let S ′ = {s ∈ S | λ(y, s) = 1}. There exists an element ν = s∈S ′ νs , such that
each νs , s ∈ S ′ , is a nonzero element of Ns such that Ad y(νs ) = νs . In particular
ν is fixed by Ad y, and since ZC (ν) is connected and nilpotent we get that there
exists a one-parameer subgroup B of C containing y such that Ad b(ν) = ν for all
b ∈ B. Hence Ad b(νs ) = νs , and in turn λ(b, s) = 1, for all s ∈ S ′ and b ∈ B.
Now let B ′ = BN/N. Then B ′ is a one-parameter subgroup of H/N containing
a; we shall show that (a, B ′ ) is of type E.
′
Let (M, M ′ ) be an irreducible subquotient such that the action
P of a on M/M ′
′
is trivial.P
Then there exists t ∈ S such that M is contained in s≥t Ns and M
contains s>t Ns . Since λ(b, s) = 1 for all s ∈ S ′ and b ∈ B, it follows that the
action of B ′ = BN/N on M/M ′ is trivial. Thus (a, B ′ ) is of type E and hence by
Theorem 2.2 x is exponential in H. Therefore H is an exponential Lie group.

3

Proof of Theorem 1.2

We shall now deduce Theorem 1.2; we follow the notations G, R, and S as in
the statement of the theorem in § 1. Since S satisfies condition U there exists
a unipotent one-parameter subgroup U of S such that the centralizer of U in S
contains no compact subgroup of positive dimension. We note the following.
Lemma 3.1. Let S and U be as above. Let u be a nontrivial element of U. Then
U is the only one-parameter subgroup of S containing u.
Proof. We may assume U = {ut } and u = u1 . It suffices to show that if {xt } is any
one-parameter subgroup of S such that x1 = u then xt = ut for all t. Let s ∈ R be
arbitrary. Since xs commutes with x1 = u and {ut } is a unipotent one-parameter
subgroup it follows that xs commutes with ut for all t ∈ R. Since this holds for
all s ∈ R it follows that {x−t ut } is a one-parameter subgroup. Moreover, since
10

x−1 u1 = u−1 u = e, the identity element, {x−t ut } is a compact subgroup. Since it
is contained in the centraliser of U, the condition on U implies that the subgroup
is trivial, namely xt = ut for all t. This proves the Lemma.
Now let η : G → S be the canonical quotient map of G onto S, and let
H = η −1 (U). We note that U is a closed connected subgroup of S and hence H
is a connected Lie group. Since N is the nilradical of G, G/N is reductive, and in
particular it follows that H/N is abelian; in particular H is a solvable Lie group.
We now first prove the following.
Proposition 3.2. Any h ∈ H which is not contained in R is exponential in H.
Proof. Let h ∈ H\R be given. Since G is exponential there exists a one-parameter
subgroup P of G containing h. Consider the one-parameter subgroup η(P ). We
note that η(h) is a nontrivial element of U. Hence by Lemma 3.1 we have η(P ) =
U. Thus P is contained in η −1 (U) = H. Therefore h is exponential in H.
Proof of Theorem 1.2: We first note that in proving the theorem N may be
assumed to be simply connected: Let C be maximal compact subgroup of N.
Then C is a connected subgroup contained in the centre of G. We note that
the hypothesis of the theorem holds for G/C, and upholding that the desired
conclusion for G/C (namely showing that R/C is exponential) implies that R is
exponential, as desired. We may therefore assume without loss of generality that
C is trivial. Equivalently this means that N is simply connected.
Now let x ∈ R be given. Let H be the solvable group introduced above and
y = ux ∈ H, where u is a nontrivial element of U. We note that since H/R is
topologically isomorphic to R, to prove that x is exponential in R it suffices to
prove that it is exponential in H. Now let A = H/N and a, a′ be the elements
a = xN and a′ = yN. By Proposition 3.2 yn is exponential in H for all n ∈ N.
Hence by Theorem 2.2, there exists a one-parameter subgroup B ′ of A containing
a′ such that for any irreducible subquotient (M, M ′ ), M, M ′ ∈ N(H), for which
the action of a′ on M/M ′ is trivial, the action of B ′ on M/M ′ is also trivial.
Let B ′ = {b′t } and U = {ut}, with b′1 = a′ and u1 = u. Let B = {bt } be the
one-parameter subgroup of A defined by bt = (u−t N)b′t for all t ∈ R; in particular
b1 = u−1 a′ = a. We note that as U is a unipotent one-parameter subgroup of S,
the action of U on any irreducible subquotient M/M ′ as above is trivial. Hence
on any irreducible subquotient the actions of bt and b′t coincide for each t ∈ R.
Therefore we get that for any irreducible subquotient (M, M ′ ), M, M ′ ∈ N(H),
for which the action of a on M/M ′ is trivial, the action of B on M/M ′ is trivial.
Thus condition (i) of Theorem 2.2 holds for x, and the theorem implies that xn is
exponential for all n ∈ N; in particular x is exponential in H, and hence, as seen
above, also in R. This proves the theorem.
Corollary 3.3. Let G be a Lie group as in Theorem 1.2 and R be its radical. Let
11

Z(G) and Z(R) be the centers of G and R respectively. Then Z(R) and Z(G) ∩ R
are connected.
Proof. By Corollary 2.9 Z(R) is connected. Clearly Z(G) ∩ R is the set of fixed
points of the canonical action of G/R on Z(R), induced by the conjugation action
of G. As Z(R) is abelian and G/R is connected it follows that the set of fixed
points is a connected subgroup.

4

Groups satisfying condition U

In this section we consider semisimple Lie groups S satisfying condition U and
prove Theorem 1.3. We shall follow the notation as in § 1; we recall in particular that M denotes the subgroup consisting of all elements in a maximal
compact subgroup K of S, commuting with all elements in a maximal subgroup
Ad -diagonalisable over R.
Remark 4.1. We note that when M is abelian there exists a unipotent oneparameter subgroup whose centraliser is contained in the center of S. It suffices
to see this in the case when S has trivial center, so S may be taken to be the
group of R-elements of a semisimple algebraic group defined over R. In this case
M being abelian is equivalent to the group being quasi-split, namely that there
exists a Borel subgroup defined over R. Under that condition it follows from [8],
Proposition 5.1 (see also [2] for a generalisation of the result to non-semisimple
algebraic groups) and [1] and Corollary 5 (page 114) that there exists u ∈ N such
that the centraliser of u in S is contained in P . On the other the conjugation
action of M action on N has no fixed points, so the centraliser of u, and hence of
any one-parameter subgroup U containing u, has no compact subgroup of positive
dimension. Hence S satisfies condition U.
Proof of Theorem 1.3: Since M is abelian by Remark 4.1 there exists a unipotent
one-parameter subgroup, say U, in S whose centraliser is contained in the (discrete) center of S; in particular the centraliser of U in S contains no subgroup of
positive dimension. Hence condition U is satisfied for S.
For split semisimple Lie groups the subgroup M as above is trivial, and for
complex Lie groups it is abelian. It therefore follows from the above results the
condition U holds in these cases.

References
[1] Peter P. Andre, k-regular elements in semisimple algebraic groups, Trans.
Amer. Math. Soc. 201 (1975), 105 - 124.
12

[2] P. Chatterjee, Surjectivity of power maps of real algebraic groups, Adv. Math.
226 (2011), no. 6, 4639 - 4666.
[3] S.G. Dani and M. McCrudden, A criterion for exponentiality in certain Lie
groups. J. Algebra 238 (2001), no. 1, 82 - 98.
[4] D. Djoković, On minimal parabolic subgroups of exponential Lie groups, J.
Lie Theory 10 (2000), no. 1, 213 - 220.
[5] D. Djoković and Karl H. Hofmann, The surjectivity question for the exponential function of real Lie groups: a status report, J. Lie Theory 7 (1997),
no. 2, 171 - 199.
[6] D. Djoković and Q.T. Nguyen, On the exponential map of almost simple real
algebraic groups, J. Lie Theory 5 (1995), no. 2, 275 - 291.
[7] S. Helgason, Differential geometry, Lie groups, and symmetric spaces, Corrected reprint of the 1978 original. Graduate Studies in Mathematics, 34.
American Mathematical Society, Providence, RI, 2001. xxvi+641 pp.
[8] L. Preiss Rothschild, Orbits in a real reductive Lie algebra. Trans. Amer.
Math. Soc. 168 (1972), 403 - 421.
[9] M. Moskowitz and Sacksteder, On complex exponential groups, Math. Res.
Lett. 15 (2008), no. 6, 1197 - 1210.
[10] Michael Wüstner, On the surjectivity of the exponential function of solvable
Lie groups, Math. Nachr. 192 (1998), 255 - 266.
[11] Michael Wüstner, Supplements on the theory of exponential Lie groups, J.
Algebra 265 (2003), no. 1, 148 - 170.
[12] Michael Wüstner, The classification of all simple Lie groups with surjective
exponential map, J. Lie Theory 15 (2005), no. 1, 269 - 278.

S.G. Dani
Department of Mathematics
Indian Institute of Technology Bombay
Powai, Mumbai 400076
India
E-mail: sdani@math.iitb.ac.in
13

