arXiv:1602.03479v1 [math.GR] 10 Feb 2016

COMMUTATORS AND CARTAN SUBALGEBRAS IN
LIE ALGEBRAS OF COMPACT SEMISIMPLE LIE
GROUPS
J. MALKOUN AND N. NAHLUS

Abstract. First we give a new proof of Goto’s theorem for Lie
algebras of compact semisimple Lie groups using Coxeter transformations. Namely, every x in L = Lie(G) can be written as
x = [a, b] for some a, b in L. By using the same method, we give
a new proof of the following theorem (thus avoiding the classification tables of fundamental weights): in compact semisimple Lie
algebras, orthogonal Cartan subalgebras always exist (where one of
them can be chosen arbitrarily). Some of the consequences of this
theorem are the following. (i) If L = Lie(G) is such a Lie algebra
and C is any Cartan subalgebra of L, then the G-orbit of C ⊥ is
all of L. (ii) The consequence in part (i) answers a question by L.
Florit and W. Ziller on fatness of certain principal bundles. It also
shows that in our case, the commutator map L × L → L is open at
(0, 0). (iii) given any regular element x of L, there exists a regular
element y such that L = [x, L] + [y, L] and x, y are orthogonal.
Then we generalize this result about compact semisimple Lie algebras to the class of non-Hermitian real semisimple Lie algebras
having full rank.
Finally, we survey some recent related results , and construct
explicitly orthogonal Cartan subalgebras in su(n), sp(n), so(n).

1. Introduction
The Lie algebra version of Goto’s Theorem [10] for compact semisimple Lie groups is not as well known as it ought to be. It says that
Theorem 1.1. Let L = Lie(G) be the Lie algebra of a compact semisimple Lie group G. Then every element x in L, can be written as x = [a, b]
for some a, b in L.
The first proof of Theorem 1.1 (i.e. Goto’s Theorem, additive version) was proved by Karl-Hermann Neeb [13, p. 653] (that he has communicated to the authors of [13]). His proof was based on Kostant’s
convexity Theorem [16, Thm. 8.1], or more precisely, the version of
Date: Received: date / Accepted: date.
1

2

J. MALKOUN AND N. NAHLUS

Kostant’s convexity Theorem for compact semisimple Lie groups. Such
proof will be presented in Appendix A but slightly simplified using [1,
Lemma 2.2]. In section 2, we prove Theorem 1.1 directly by using
any Coxeter transformation of the Weyl group W (L, C) where C is a
maximal toral subalgebra of L. We remark that certain Coxeter transformations were used to prove Goto’s Theorem (on the group level) as
in Bourbaki’s book [4, Corollary, section 4 of chapter 9] or Hofmann
and Morris’s book [13, Corollary 6.56]. To the best of our knowledge,
this direct proof is new. In section 3, we prove the following theorem.
Theorem 1.2. Let Lie(G) be the Lie algebra of a compact semisimple
Lie group G. Then, with respect to the negative of its Killing form,
Lie(G) has orthogonal Cartan subalgebras (maximal toral subalgebras)
where one of them can be chosen arbitrarily.
This interesting result was proved recently by d’Andrea and Maffei
in [7, Lemma 2.2], via the classification tables of fundamental weights
for all types of simple Lie algebras (except type An ). Specifically, their
proof uses the tables in [4] to verify that (in any root system of (L, C)
where C is a Cartan subalgebra of L), the highest root is either equal
or twice some fundamental weight (in all simple Lie algebras except of
type An ). However our proof is a simple consequence of our methods
in section 2. Theorem 1.2 has the following Corollary.
Corollary 1.3. Let L = Lie(G) be the Lie algebra of a compact semisimple Lie group G. Let C be a Cartan subalgebra of L and let C ⊥ be the
orthogonal complement of C (with respect to negative of the Killing
form on L). Then the G-orbit of C ⊥ is all of L.
We note that Corollary 1.3 can be easily obtained directly from
Kostant’s convexity Theorem (see Appendix A). In fact, Corollary 1.3
was essentially the key step in Karl-Hermann Neeb’s proof of Goto’s
Theorem, additive version. In section 4, we present two “applications”
of Corollary 1.3. First, Corollary 1.3 answers a question by L. Florit
and W. Ziller on fatness of certain principal bundles as follows
Corollary 1.4. If G is a compact semisimple Lie group, endowed with
minus its Killing form, and G ,→ P → B is a principal G-bundle on
B with total space P , endowed with a connection 1-form θ : T P → g,
then θ is fat if and only if C ⊥ is fat, where C can be chosen to be any
Cartan subalgebra of g.
Our second application of Corollary 1.3 is the following.
Corollary 1.5. Let L = Lie(G) be the Lie algebra of a compact semisimple Lie group G. Then the commutator map L×L → L is open at (0, 0).

COMMUTATORS AND CARTAN SUBALGEBRAS

3

This fact was obtained in [7] using their Lemma 2.2 which was proved
by using some tables about fundamental weights as explained above.
(Recall that their Lemma 2.2 is our Theorem 1.2 above). However,
after a careful study of their proof, we found out that one only needs
the partial result stated in Corollary 1.3 above. In section 5.1, we make
the following remark.
Corollary 1.6. Let L be a compact semisimple Lie algebra, and let a
be a regular element of L. Then there exists a regular element b in L,
such that
L = [a, L] + [b, L]
and a, b are orthogonal (in fact the centralizers of a and b in L are also
orthogonal).
More generally, we have
Corollary 1.7. Let L = k ⊕ p be a Cartan decomposition of a semisimple Lie algebra L (where k is a maximal compact Lie subalgebra) such
that L is non-Hermitian of full rank. That is, k is semisimple and
rank(k) = rank(L). Let a be a regular element of k. Then there exists a regular element b in k, such that L = [a, L] + [b, L] and a, b are
orthogonal.
In section 5.1, we make the following trivial remark.
Remark 1.8: The following two conjectures are equivalent.
1) Every element x in a real semisimple Lie algebra L is the commutator of two elements where one element can be chosen to
be regular (hence semisimple).
2) Every element x in a real semisimple Lie algebra L is orthogonal to some Cartan subalgebra of L.
In section 5.2, we survey most of the results of D. Akhiezer in his
recent interesting paper [1] that shows that the above conjecture is
valid in many real simple Lie algebras (see Theorem 5.3) In section
5.3, we survey one result by G. Bergman and N. Nahlus in [2] and
another result in preparation by the second author in [19] related to
1.5 generators of simple Lie algebras. For example, in any simple Lie
algebra L over a field of characteristic 0, and for any x in L \ {0},
there exists a regular (hence semisimple) element y in L such that
L = [L, x] + [L, y] ([19]). This last property is related to the concept of
1.5 generators as follows: if x and y generate L as a Lie algebra then
L = [L, x] + [L, y] by [3, Lemma 25c].
Finally in section 6, we construct explicit examples of orthogonal
Cartan subalgebras in the cases of su(n), sp(n), based on the idea of
circulant matrices (cf. [17]), and in the case of so(n).

4

J. MALKOUN AND N. NAHLUS

Acknowledgements. The authors are grateful to Anthony Knapp for
his help in answering some questions about the general theory of noncompact semisimple Lie algebras. We are also indebted to Karl-Hermann
Neeb for his encouragement and interesting discussions about two results in the paper. Finally, we are also indebted to Wolfgang Ziller for
kindly pointing out that our Corollary 1.3 answers a question about
fatness in principal bundles.
2. Goto’s theorem by Coxeter transformations
In this section, we give a proof of Goto’s theorem, additive version,
by using Coxeter transformations.
Let L = Lie(G) be the Lie algebra of a compact semisimple Lie group.
Let C be a maximal toral subalgebra of L. Let Σ ⊆ C ∗ (the dual of
C) be the root system of G with respect to C and we fix an ordering
of the roots, with ∆ as the set of positive roots, and let {a1 , . . . , an }
be the set of simple positive roots.
Lemma 2.1. Let {s1 , . . . , sn } be the Weyl reflections corresponding
to the simple positive roots {a1 , . . . , an }. Then, for any permutation
of {1, . . . , n}, the Coxeter transformation c = s1 s2 · · · sn has no fixed
points, other than 0. That is, 1 is not an eigenvalue of c.
See the very short proof in [14], p.76.
Lemma 2.2. (cf. [12], Lemma 6.53) Let L = Lie(G) be the Lie algebra
of a compact semisimple Lie group. Let C = Lie(T ) be a maximal toral
subalgebra. Let c be any Coxeter transformation with respect to (L, C)
as in lemma 2.1. c = Ad(n) for some n ∈ N (T ), the normalizer of T
in G, since c is in the Weyl group of (G, T ). Then
Ad(n)|C − Id : C → C
is an isomorphism.
Proof. Immediate from lemma 2.1.



Theorem 2.3. In the setting of lemma 2.2, suppose n = exp(N ) for
some N in L = Lie(G) (which exists since the exponential map is
surjective in connected compact semisimple Lie groups). Then C is
contained in [L, N ].
Proof. Let x ∈ C = Lie(T ). Then by lemma 2.2, x = Ad(n)(t) − t
for some t in C. But the exponential map is surjective in compact
connected semisimple Lie groups, so n = exp(N ), for some N ∈ L.
Hence
x = Ad(n)(t) − t = Ad(exp(N ))(t) − t = exp(ad(N ))(t) − t

COMMUTATORS AND CARTAN SUBALGEBRAS

5

But x = exp(ad(N ))(t) − t can be written as [N, y(x)], for some y(x) ∈
L (by factorization) through writing the exponential series as the limit
of its partial sums. Hence x = [N, y(x)].

Next we strengthen Theorem 2.3 to replace N by a regular element
of L.
Theorem 2.4. Let L = Lie(G) be the Lie algebra of a compact semisimple Lie group G, and let C be a Cartan subalgebra of L. Then there
exists a regular element a of L such that C ⊆ [a, L]. In particular,
every element x of L can be written as x = [a, b] where a can be chosen
to be regular.
Comment: for comparison, the proof by Kostant’s convexity Theorem
in the Appendix shows that C ⊥ ⊆ [x, L] for some regular element x of
L.
Proof. By Theorem 2.3, C ⊆ [N, L]. Since N is semisimple, N is
contained in a Cartan subalgebra C 0 of L, so C 0 ⊆ Z(N ). Now
C 0 = Z(a) for some regular element a of L. So Z(a) ⊆ Z(N ). Hence
Z(N )⊥ ⊆ Z(a)⊥ . But Z(N )⊥ = [N, L] and Z(a)⊥ = [a, L] by Remark
5.2. Hence [N, L] ⊆ [a, L]. So C ⊆ [a, L] as desired. The last conclusion follows from the fact that every element of L belongs to a Cartan
subalgebra, and all Cartan subalgebras of L are conjugate.

Example 2.5: Consider su(2k + 1), which is a compact semisimple Lie
algebra. It can be shown by a simple calculation that


0 0 ··· 0 1
 1 0 ··· 0 0 
 . . .
.. .. 
.
.
.
n=
.
.
.
. . 


 0 0 ··· 0 0 
0 0 ··· 1 0
is an element of N (T ) which gives modulo T a Coxeter transformation
of SU (2k + 1). Consider the unitary change of basis matrix g = (gab )
for 1 ≤ a, b ≤ 2k + 1, with
gab = √

1
(a−1)(b−1)
γk
2k + 1

2πi
where γk = exp( 2k+1
). Let D = diag(1, γ̄, γ̄ 2 , · · · , γ̄ 2k ). Then a simple
calculation shows that n = gDg−1 . So we let

Λ = diag(0, −ick , −2ick , · · · , −kick , kick , (k − 1)ick , · · · , ick ),

6

J. MALKOUN AND N. NAHLUS

2π
where ck = 2k+1
. It is clear that Λ is an element of su(2k + 1) and that
exp(Λ) = D. Hence we obtain that

N = gΛg−1
is an element of su(2k + 1) which satisfies exp(N) = n.
Example 2.6: The case of su(2k) can be dealt with in a similar fashion.
We obtain that


0 0 · · · 0 −1
 1 0 ··· 0 0 
 . . .
.. .. 
.
.
.
n=
.
.
.
. . 


 0 0 ··· 0 0 
0 0 ··· 1 0
is an element of N (T ) which gives modulo T a Coxeter transformation
of SU (2k). Consider the unitary change of basis given by g = (gab ),
where
1 (a−1)(2b−1)
gab = √ βk
2k
πi
where βk = exp( 2k
). Also, let D = (Dab ), where


(2a − 1)πi
Dab = exp −
δab
2k

Then a simple calculation shows that n = gDg−1 . Finally, let
Λ = diag(−idk , −3idk , · · · , −(2k−1)idk , (2k−1)idk , (2k−3)idk , · · · , idk )
π
. As in example 2.5, N = gΛg−1 is an element in su(2k)
where dk = 2k
satisfying n = exp(N).

3. Orthogonal Cartan subalgebras
In this section, we prove the following non-trivial theorem which was
proved in [7] lemma 2.2, via the classification tables of all fundamental
weights. Their proof relies on the observation found in the classification
tables [4], that the highest root is equal or twice some fundamental
weight, in all simple Lie algebras except those of type An . It would
be nice to have a more direct argument for this nice result, and this is
what we shall present in this section.
Theorem 3.1. Let L = Lie(G) be the Lie algebra of a compact semisimple Lie group. Then L has orthogonal Cartan subalgebras (where one
of them can be chosen arbitrarily)

COMMUTATORS AND CARTAN SUBALGEBRAS

7

Proof. Let C be a Cartan subalgebra of L. Then by Theorem 2.4,
C ⊆ [a, L] for some regular element a of L. Since a regular in L, Z(a)
is a Cartan subalgebra of L. Moreover, Z(a)⊥ = [a, L] by Remark
5.2. Hence C ⊆ Z(a)⊥ . Thus the Cartan subalgebras C and Z(a)
are orthogonal. Finally, C can be chosen arbitrarily since all Cartan
subalgebras (in Lie algebras of compact semisimple Lie groups) are
conjugate and the Killing form is invariant under automorphisms of L
[15, Prop. 1.119]. This proves the theorem.

Theorem 3.2. Let L = Lie(G) be the Lie algebra of a compact semisimple Lie group. Let C be a given Cartan subalgebra, and let C ⊥ be the
orthogonal of C (with respect to the negative of the Killing form on L).
Then for every element x of L, there exists an element g in G , such
that g.x belongs to C ⊥ . That is, C ⊥ intersects every G-orbit of L.
Proof. By Theorem 3.1, there exists a Cartan subalgebra C 0 which is
orthogonal to C. For every element x in L, we know that there exist a
g in G such that g.x ∈ C 0 . Hence g.x is orthogonal to C, so g.x belongs
to C ⊥ . Thus, C ⊥ intersects every G-orbit in L. (Or equivalently, L is
the union of all g.C ⊥ as g varies over G).

As noted in the introduction, Theorem 3.2 can be obtained almost
immediately from Kostant’s Convexity Theorem (See Appendix, Theorem A.3).
Corollary 3.3. Let L be a compact semisimple Lie algebra and let a
be a given regular element of L. Then there exists a regular element b
in L, such that L = [a, L] + [b, L] and b is orthogonal to a (under the
negative of the Killing form of L).
Proof. By Theorem 3.1, there exist orthogonal Cartan subalgebras C
and D in L, so D ⊆ C ⊥ . Since L = D ⊕ D⊥ , it follows that L =
C ⊥ + D⊥ . Let x be any regular element of L in C and let y be any
regular element of L in D, so C = Z(x) and D = Z(y). Thus L =
Z(x)⊥ + Z(y)⊥ . But Z(x)⊥ = [x, L] and Z(y)⊥ = [y, L] by Remark
5.2. Hence L = [x, L] + [y, L]. Note that x and y are regular in L and
orthogonal (since they belong to C and D which are orthogonal).
The given regular (semisimple) element a belongs to a Cartan subalgebra and all Cartan subalgebras in L are conjugate. Hence there
exists an inner automorphism f such that f (a) is in C. Since a and
hence f (a) is regular in L, the element x in the previous paragraph
can be chosen to be f (a). Hence L = [f (a), L] + [y, L]. Now we apply
f −1 on both sides to get L = [a, L] + [f −1 (y), L]. Since x = f (a) and y
are orthogonal, then so are a and f −1 (y) since automorphisms preserve

8

J. MALKOUN AND N. NAHLUS

orthogonality [15, Prop. 1.119]. Finally, since y is regular, then so is
f −1 (y).

Corollary 3.3 can be easily generalized to the case of non-Hermitian
real semisimple Lie algebras of full rank.
Corollary 3.4. Let L = k ⊕ p be a Cartan decomposition of a semisimple Lie algebra L (where k is the compact Lie algebra) such that L is
non-Hermitian of full rank. That is, k is semisimple and rank(k) =
rank(L). Let a be a regular element of k. Then there exists a regular element b in k, such that L = [a, L] + [b, L] and b is orthogonal to
a. Moreover the centralizers Z(a) and Z(b) of a and b in L are also
orthogonal.
Proof. The proof is very similar to the proof of Corollary 3.3 with the
evident modifications as follows. By Theorem 3.1, there exist orthogonal Cartan subalgebras C and D in k. In fact, C and D are also
orthogonal with respect to the Killing form on L (see Remark 3.5 below). Since rank(k) = rank(L), C and D are also Cartan subalgebras
of L. Since the restriction of the Killing form of L on every Cartan
subalgebra is non-degenerate, we have L = D + D⊥ . But D is a subset
of C ⊥ in L. Hence L = C ⊥ + D⊥ . Let x be any regular element of
L in C and let y be any regular element of L in D. Then the rest
of the proof is verbatim as in the proof of Corollary 3.3, leading to
L = [x, L] + [y, L] and finally, L = [a, L] + [f −1 (y), L] where a and
f −1 (y) are regular and orthogonal in L.

Apart from the Lie algebras of compact semisimple Lie groups, some
other examples of Lie algebras satisfying the hypotheses of Corollary
3.4 are so(2j, 2k) with j and k both > 1, so(2j, 2k + 1) if j > 1 and
sp(p, q) where p and q are both positive.
Remark 3.5: Over a field of characteristic 0, let S be a semisimple
Lie subalgebra of a semisimple Lie algebra L, and let C be a Cartan
subalgebra of S. Then the orthogonal space of C in S (with respect to
the Killing form of S) is contained in the orthogonal space of C in L
(with respect to the Killing form of L).
Proof. We know that C = Z(a) for some regular element a of S. Moreover, the restriction of the Killing form of L to S is also non-degenerate
by a simple application of Cartan’s solvability criterion by [3, chapter
1, section 6.1, Proposition 1]. Hence, by [1, Lemma 2.2] (stated after
Remark 5.2 below), the orthogonal space of C = Z(a) in S coincides

COMMUTATORS AND CARTAN SUBALGEBRAS

9

with [a, S] independently of the invariant non-degenerate symmetric
bilinear form on S.

4. Applications
4.1. Openness of commutator maps. We start with the following immediate application of Theorem 3.2.
Lemma 4.1. Let L = Lie(G) be the Lie algebra of a compact semisimple Lie group, and let C = Lie(T ) be a maximal toral subalgebra of L.
Let V be a G-stable neighborhood of 0 ∈ L. Then
G.(V ∩ C ⊥ ) = V
Proof. This follows immediately from Theorem 3.2 as follows. Since V
is G-stable, G.(V ∩ C ⊥ ) ⊆ V . Conversely, if v ∈ V , then by Theorem
3.2, there exists a g ∈ G such that g.v ∈ C ⊥ . Hence g.v ∈ V ∩ C ⊥ ; so
v ∈ G.(V ∩ C ⊥ ).

Using lemma 4.1, one can prove the following theorem.
Theorem 4.2. ([7], theorem 2.1). Let L = Lie(G) be the Lie algebra of
a compact semisimple Lie group. Then the commutator map Comm :
L × L → L given by Comm(x, y) = [x, y] is open at (0, 0).
The proof of this theorem as given in [7] relies on their lemma 2.2,
that we proved in Theorem 3.1 above (without the classification tables
of the fundamental weights versus the highest roots).
However, a careful study of their proof of Theorem 4.2 only requires
the partial result in our lemma 4.1.
Remark 4.3: It is worth noting that the authors in [7] were able to
use the fact that the commutator map Comm : L × L → L given by
Comm(x, y) = [x, y] is open at (0, 0) to prove their main result that
CommG : G × G → G given by CommG (g1 , g2 ) = [g1 , g2 ] = g1 g2 g1−1 g2−1
is open at (Id, Id) in G × G ([7], Corollary 3.1).
4.2. Fatness of certain connections on principal fiber bundles. We first
review the basic definition of fatness, in the context of principal fiber
bundles with connection. Such material can easily be found in the
literature (see the original paper [22] by A. Weinstein, or later works
π
such as [9] or [18]). Let G ,→ P → B be a principal G-bundle, with
base manifold B, and total space P . Let θ : T P → g be a connection 1form on P , where T P denotes the tangent bundle of P . We shall denote
the curvature of θ by Ω(−, −) : H × H → g, where T P = H ⊕ V is
the decomposition into horizontal and vertical subbundles induced by θ.

10

J. MALKOUN AND N. NAHLUS

Fix a bi-invariant (positive-definite) inner product B(−, −) : g×g → R
on g.
Definition 4.4. In the setting above of a principal G-bundle P with
connection θ, an element u ∈ g is said to be fat if Ωu : H × H → R is
non-degenerate, where Ωu is defined by
Ωu (Y1 , Y2 ) = B(Ω(Y1 , Y2 ), u)
We also say that a subspace V ⊆ g is fat if every non-zero element of
V is fat. The connection θ is said to be fat if g is fat.
We can easily deduce the following theorem, answering a question
raised in [9, Remark 3.13]
Theorem 4.5. If G is a compact semisimple Lie group, B(−, −) is
π
minus its Killing form, and G ,→ P → B is a principal G-bundle on
B with total space P , endowed with a connection 1-form θ : T P → g,
then θ is fat if and only if C ⊥ is fat, where C can be chosen to be any
Cartan subalgebra of g.
Proof. The “only if” part is trivial. The other direction follows from the
fact that G.C ⊥ = g by 1.3 (which follows immediately from Kostant’s
convexity theorem), and the known fact that if u ∈ g is fat, then g.u
is also fat, for any g ∈ G (see for example [9]).

5. Commutators in semisimple Lie algebras and survey of
some related results
5.1. Conjectures about commutators in semisimple Lie algebras.
Remark 5.1: The following two conjectures are equivalent.
1) Every element x in a real semisimple Lie algebra L is the commutator of two elements where one element can be chosen to be
regular (hence semisimple).
2) Every element x in a real semisimple Lie algebra L is orthogonal
to some Cartan subalgebra of L.
Proof. Note that every regular element of a semisimple Lie algebra
(over a field of characteristic 0) is semisimple [4, Chapter 7, section
2, Corollary 2]. First we prove conjecture 1) implies conjecture 2).
Suppose x = [a, b] where a is regular (semisimple). Then x belongs
to [a, L]. But [a, L] = Z(a)⊥ by Remark 5.2. Hence x belongs to
Z(a)⊥ . Now a is regular (semisimple), Z(a) is a Cartan subalgebra C
of L. Consequently, x belongs to C ⊥ . Conversely, if x belongs to C ⊥
where C is a Cartan subalgebra of L. Then C = Z(a) for some regular

COMMUTATORS AND CARTAN SUBALGEBRAS

11

element a of L. So x belongs to Z(a)⊥ which coincides with [a, L] by
Remark 5.2. Hence x belongs to [a, L].

Remark 5.2: Let a be a semisimple element of a semisimple Lie algebra
L over a field of characteristic 0. Then Z(a)⊥ = [a, L] with respect to
the negative of the Killing form on L (where Z(a) is the centralizer of
a in L.
Remark 5.2 is part of Theorem 4.1.6 in [20] which can be checked
directly. Roughly, Z(a) is orthogonal to [a, L], and both Z(a)⊥ and
[a, L] have the same dimension. However, it is worth noting that Remark 5.2 (with essentiall the same proof) is also valid for any element
of L and, for any invariant non-degenerate symmetric bilinear form on
L as shown in [1, Lemma 2.1].
5.2. Survey of some recent results on the commutator conjecture. In
the recent paper [1], the commutator conjecture was proved in many
cases.
Theorem 5.3. [1, Thms 1.1–1.4] Let L = Lie(G) be a simple real Lie
algebra. Let L = k ⊕ p be a Cartan decomposition of L where k is
the reductive part. Let a be a Cartan subspace of p, and let m be the
centralizer of a in k. Then every element x of L can be written as
x = [a, b] where a can be chosen to be a regular (semisimple) element
of L, in each of the following cases:
(i) L is compact or split (i.e. m = 0)
(ii) L is non-hermitian (i.e. k is semisimple) and rank(k) = rank(L)
(iii) m is a semisimple Lie algebra
The paper [1] relies on the Kostant convexity theorem and some
interesting arguments by the author.
For more information about complex or split semisimple Lie algebras,
see [7, Thm. 4.3] and [6, Lemma 2].
5.3. Survey on generators and 1.5 generators of simple Lie algebras.
Theorem 5.4. [2, Thm. 26] Let L be a semisimple Lie algebra over a
field of characteristic 0 (or characteristic p > 3). Then there exist x,
y in L such that L = [x, L] + [y, L].
Theorem 5.5. [19, Thm. 2] (on 1.5 generators). Let L be a semisimple
Lie algebra over any field of characteristic 0. For any fixed x ∈ L \ {0},
there exists a regular element y ∈ L such that
L = [x, L] + [y, L]

12

J. MALKOUN AND N. NAHLUS

We note that the above two theorems are related respectively to the
concepts of generators and 1.5 generators in Lie algebras in view of
the following fact: If x and y generate, in the Lie algebra sense, a Lie
algebra L, then L = [L, x] + [L, y] by [3, Lemma 25c].

6. Examples of orthogonal Cartan subalgebras
In the examples of orthogonal Cartan subalgebras we will see, corresponding to the classical groups, circulant matrices play a special role.
We begin by reviewing circulant matrices, following the presentation
in [17]. Given a vector a = (a0 , a1 , . . . , an ) ∈ Cn , we define


a0 a1 · · · an−2 an−1
 an−1 a0 · · · an−3 an−2 
 .
.. . .
..
.. 
A=
.
.
.
. 

 ..
 a
a ··· a
a 
2

a1
Let  = e

2πi
n

3

0

a2 · · ·

an−1

1

a0

, which is a primitive n’th root of unity, and let
1
xl = √ (1, l , 2l , . . . , (n−1)l ) ∈ Cn
n

for l = 0, . . . , n. We let
U = (x0 , x1 , . . . , xn−1 )
In other words, U is the square matrix having as columns x0 , x1 ,. . .,
xn−1 . It is easy to check that U is both unitary and symmetric. We
introduce the numbers
n−1
X
λl =
lj aj
j=0

for l = 1, 2, . . . , n. Let Λ = diag(λ0 , λ1 , . . . , λn−1 ). A calculation shows
that
A = U ΛU −1
so that the λl s are the eigenvalues of A. An important observation
is that U does not depend on A, so that the same unitary matrix U
diagonalizes all complex circulant n by n matrices. In particular, this
also implies that the space Circ(n) of all complex circulant n by n
matrices is abelian (which can be seen directly too).

COMMUTATORS AND CARTAN SUBALGEBRAS

13

6.1. The Lie algebras su(n).
Theorem 6.1. If C is the Cartan subalgebra of su(n) consisting zero
trace skew-hermitian diagonal n by n complex matrices, and
C 0 = Circ(n) ∩ su(n)
then C and C 0 are two orthogonal Cartan subalgebras of su(n), with
respect to minus the Killing form of su(n).
Proof. We already know that C 0 is abelian, since Circ(n) is abelian, so
it only remains to prove that dimR (C 0 ) = n − 1. This is so because C 0
corresponds to vectors a having

a0 = 0
an−l = −āl ,
for 1 ≤ l ≤ n − 1
from which it follows indeed that the real dimension of C 0 is n − 1. 
6.2. The Lie algebras sp(n). It is well known that gl(n, H) ⊆ gl(2n, C).
This relies on the observation that a quaternion x can be written in a
unique way as x = u + jv, where u and v are complex numbers. It can
also be verified that the map


u −v̄
x 7→
v ū
is an injective algebra homomorphism from H into gl(2, C).
The Lie algebras sp(n) can be written as
sp(n) = gl(n, H) ∩ u(2n)
where both Lie algebras on the right-hand side are understood as Lie
subalgebras of gl(2n, C), using the remark above. We then have the
following theorem.
Theorem 6.2. If C is the Cartan subalgebra of sp(n) consisting of
complex diagonal pure imaginary 2n by 2n matrices, and
C 0 = Circ(2n) ∩ sp(n)
where both Lie algebras on the right-hand side are thought of as Lie
subalgebras of gl(2n, C) in the usual way, then C and C 0 are two orthogonal Cartan subalgebras of sp(n), with respect to minus the Killing
form of sp(n).
Proof. The only thing to check is that dimR (C 0 ) = n. This essentially
follows from the fact that Circ(2n) is a complex 2n-dimensional subspace of gl(2n, C), which admits the decomposition
Circ(2n) = C 0 ⊕ iC 0 ⊕ jC 0 ⊕ kC 0

14

J. MALKOUN AND N. NAHLUS

the latter being a real vector space decomposition, from which it can
be deduced that dimR (C 0 ) = n, as claimed.

6.3. The Lie algebras so(n). Define



0k Λ
C2k =
: Λ is a real k by k diagonal matrix
−Λ 0k



0k
Λ 0k,1


C2k+1 =  −Λ 0k 0k,1  : Λ is a real k by k diagonal matrix

 0
0
1,k 01,k
Here 0k denotes the zero k by k matrix, while for instance 0j,k denotes
the j by k zero matrix. It is easy to check that Cn is a Cartan subalgebra of so(n) for all n ≥ 3. Our plan in this section is to construct for
each n, a Cartan subalgebra Cn0 which is orthogonal to Cn . Our next
lemma will allow us to restrict our attention to so(n), with n even.
0
Lemma 6.3. if C2k
is a Cartan subalgebra of so(2k) orthogonal to C2k ,
and if ι : so(2k) ,→ so(2k + 1) denotes the inclusion of Lie algebras
0
which satisfies ι(C2k ) = C2k+1 , then ι(C2k
) is a Cartan subalgebra of
so(2k + 1) which is orthogonal to C2k+1 .

Proof. This follows from the fact that so(2k) and so(2k + 1) both have
rank k, and that the restriction of the Killing form of so(2k + 1) to
so(2k) is a constant multiple of the Killing form of so(2k).

The next lemma will enable us to restrict our attention further to
just so(4) and so(6). But first, we introduce the following notation. If
X is a k by k matrix, we denote by X̃ the following k + 2 by k + 2
matrix
X̃ = X ⊕ 02
Also, if x is 2k by 2k matrix, one can write x as


A B
x=
C D
where A, B, C and D are each k by k matrices. We then denote by x̂
the following 2k + 4 by 2k + 4 matrix


Ã B̃
x̂ =
C̃ D̃
Lemma 6.4. If SpanR {xi : 1 ≤ i ≤ k} is a Cartan subalgebra of so(2k)
which is orthogonal to C2k , then SpanR {x̂i , y, z; 1 ≤ i ≤ k} is a Cartan

COMMUTATORS AND CARTAN SUBALGEBRAS

15

subalgebra of so(2k + 4) which is orthogonal to C2k+4 , where



0k S
y=
−S 0k


0k T
z=
T 0k
where


0 1
1 0



0 −1
1 0

S = 0k ⊕
T = 0k ⊕




Proof. It suffices to prove that the x̂i s, y and z all mutually commute,
which is easy to check.


Hence, using lemmas 6.3 and 6.4, it suffices for our purposes to construct a Cartan subalgebra of so(4), respectively so(6) which is orthogonal to C4 , respectively C6 . Then we can, using the constructions in
these two lemmas, construct orthogonal Cartan subalgebras of so(n)
for any n ≥ 4 (the case of so(3) is trivial).
Let us consider first so(4). Define


0
0 0 1
 0
0 1 0
x1 = 
 0 −1 0 0
−1 0 0 0

0 0 0 −1
 0 0 1 0
x2 = 
 0 −1 0 0
1 0 0 0










It is easy to check that x1 and x2 span a Cartan subalgebra of so(4)
which is orthogonal to C4 .

16

J. MALKOUN AND N. NAHLUS

We finally consider the case of so(6). Define


0 −1 0
A= 1 0 0 
0 0 0


0 0 0
B= 0 0 0 
1 0 0


0 0 0
C =  0 0 −1 
0 1 0
We then define x1 = A ⊕ 03 , and


03
B
x2 =
−B T 03
as well as x3 = 03 ⊕ C.
Then a straightforward computation shows that x1 , x2 and x3 mutually commute, so that they span a Cartan subalgebra of so(6), which
is also orthogonal to C6 (since each of x1 , x2 and x3 is orthogonal to
C6 ). This finishes our description of orthogonal Cartan subalgebras for
so(n), for n ≥ 4, with the case of n = 3 being trivial.
Appendix A. Some consequences of Kostant’s convexity
theorem
As noted in the introduction, we shall present, in this Appendix, a
slight simplification of Karl-Hermann Neeb’s proof of Goto’s Theorem,
additive version, using Kostant’s Convexity Theorem [13, p. 653]. His
proof essentially passes through the proof of Theorem 3.2.
Theorem A.1 (Kostant’s convexity theorem). Let L = Lie(G) be the
Lie algebra of a compact semisimple Lie group. Let C = Lie(T ) be
a maximal toral subalgebra of L, corresponding to a maximal torus
T ⊆ G. Let p : L → C be the orthogonal projection of L onto C
with respect to the negative of the Killing form on L. Let x be an
element of C, and let W be the Weyl group of (G, T ) or (L, C). Then
p(G.x) = Conv(W.x).
This version of Kostant’s Convexity Theorem follows very easily from
the original version [16, Theorem 8.2] by taking the complexification
L(G)C of L(G), viewed as a real semisimple Lie algebra. Then L(G)C
has a Cartan decomposition k ⊕ p where k = L(G) and p = iL(G). So

COMMUTATORS AND CARTAN SUBALGEBRAS

17

we apply Theorem 8.2 of [16] to L(G)C viewed as a real semisimple Lie
algebra, with k and p as above.
Lemma A.2. [1, lemma 2.2] Let V be a real vector space and W ⊂
GL(V ) a finite linear group acting without fixed vectors (other than 0).
Then the convex hull of any W -orbit contains 0 ∈ V .
For the reader’s convenience, we explain the idea of its short proof
in [1] which is that the centroid z of the points of any W -orbit in V is
fixed under the action of W . But z = 0 is the only fixed point under
W . Hence z = 0 belongs to the convex hull of any W -orbit.
Now we give another proof of Theorem 3.2.
Theorem A.3. (= Theorem 3.2) In the setting of theorem A.1, let C ⊥
be the orthogonal complement of C (with respect to negative the Killing
form on L). Then for every element x of L, there exists an element
g ∈ G such that g.x belongs to C ⊥ .
Proof. Combine A.1 and A.2.



Theorem A.4 (Goto’s theorem, additive version). In the Lie algebra
L of a compact semisimple Lie group, every element x is a bracket.
That is, x = [a, b] for some a, b in L. Moreover, a or b can be chosen
to be regular.
Proof. By A.3, there exists an element g in G such that g.x belongs
to C ⊥ . But C = Z(a) for some regular element a of L. Moreover,
Z(a)⊥ = [a, L] by 5.2. Hence g.x belongs to [a, L]. Consequently, x
belongs to [g −1 .a, L], and g −1 .a is regular.

Appendix B. Alternative proof of Cor. 1.3 by
SU (2)-rotations
In this section, we give a more direct proof of Cor. 1.3 without using
Kostant’s convexity theorem. The proof is based on SU (2) rotations
in the orthogonal “root” space decomposition of the Lie algebra L =
Lie(G) where G is a compact semisimple Lie group.
We equip L with its natural inner product (negative the Cartan
Killing form of L). Let C be a maximal toral subalgebra of L. Let
Σ ⊆ C ∗ (the dual of C) be the root system of G with respect to C and
we fix an ordering of the roots with ∆ as the set of positive roots.
Then under the adjoint action of C, L has an orthogonal decomposition
X
L=C⊕
Lα
α∈∆

18

J. MALKOUN AND N. NAHLUS

Let a be a positive root, and consider Ker(a) = {x ∈ C : a(x) = 0},
and its orthogonal space Ker(a)⊥ in C. Then we have
X
L = Ker(a) ⊕ Ker(a)⊥ ⊕
Lα
α∈∆

where Ker(a)⊥ ⊕ La ' su(2).
More specifically, each Lα has an orthogonal basis {uα , vα } and
Ker(α)⊥ has a basis {hα } such that
(i) [h, uα ] = α(h)vα for all h in C,
(ii) [h, vα ] = −α(h)uα for all h in C, and {α, uα , vα },
(iii) [uα , vα ] = hα in C,
(iv) Ker(α)⊥ ⊕ Lα = SpanR {hα , uα , vα } ' su(2).
(cf. [12], 6.48, 6.49], [15], p. 353, [23], p. P
59)
Let Sa = Ker(a)⊥ ⊕ La , and let ma = α∈∆\{a} Lα . Then
L = Ker(a) ⊕ Sa ⊕ ma
where Sa ' su(2).
Lemma B.1. (cf. [21], lemma 2.2) In the above setting where
L = Ker(a) ⊕ Sa ⊕ ma
where a ∈ ∆ is a positive root, let x ∈ C. Then there exists a g in the
Lie subgroup Ga ' SU (2) corresponding to Sa ' su(2), such that
(i) g.x has no Ker(a)⊥ component
(ii) x and g.x have the same Ker(a) components
(iii) the ma components of x and g.x have the same norms
Proof. Let x0 be the component of x in Ker(a)⊥ . So x0 ∈ Sa =
Ker(a)⊥ ⊕ La ' su(2). Hence there exists a g in Ga ' SU (2) such that
g.x0 has no Ker(a)⊥ component. We do this via rotations in SU (2) (or
the fact that all Cartan subalgebras of su(2) are conjugate). Because
we are dealing with Ker(a), the decomposition
(B.1)

L = Ker(a) ⊕ Sa ⊕ ma

is easily checked to be invariant under the action of Sa = Ker(a)⊥ ⊕ La .
Hence g.x has no Ker(a)⊥ component, which proves (i). Moreover,
[Sa , Ker(a)] = [La , Ker(a)] = 0. Consequently, the group Ga ' SU (2)
fixes Ker(a). Hence x and g.x have the same Ker(a) components, thus
proving (ii). Finally, since the action of Ga preserves the decomposition
B.1, and every element of Ga acts by orthogonal transformations (with
respect to minus the Killing form), (iii) follows.


COMMUTATORS AND CARTAN SUBALGEBRAS

19

Theorem B.2 (equiv. to Cor. 1.3). Let L = Lie(G) be the Lie algebra
of a compact semisimple Lie group. Let C be a maximal toral subalgebra
of L, and let x ∈ L. Then there exists a g ∈ G, such that g.x belongs
to C ⊥ (in particular, the G-orbit of any C ⊥ is all of L).
Proof. The following is a proof by contradiction. Assume not. Then
there is an x ∈ L, necessarily non-zero, such that g.x is not in C ⊥ , for
all g ∈ G. But G is compact, so that G.x is also compact (being the
continuous image of G), so there is a y ∈ G.x with the property that
its C-component has minimal norm, among all points in G.x. By our
assumption, the norm of the C-component of y is positive. In order to
obtain a contradiction, we shall exhibit a y 0 ∈ G.x whose C-component
has norm which is strictly less than that of y. This will follow by an
easy application of lemma B.1. Indeed, since y is not in C ⊥ , it follows
that there is a positive root a ∈ ∆ such that the C-component of y is
not in the kernel of a. Apply lemma B.1 to y and such a positive root
a. Thus, there exists an y 0 = g.y ∈ G.y = G.x, for some g ∈ G, such
that
(i) y 0 has no Ker(a)⊥ component
(ii) y and y 0 have the same Ker(a) components
(iii) the ma -components of y and y 0 have the same norms
Writing
y = y1 + y2 + y3
y 0 = y10 + y20 + y30
where y1 , y10 are elements of Ker(a)⊥ , y2 , y20 are in Ker(a), and y3 , y30
are elements of C ⊥ , we have that y10 = 0 and that y20 = y2 .
|y10 + y20 |2 = |y2 |2 < |y1 |2 + |y2 |2 = |y1 + y2 |2
The previous inequality is strict since y1 is non-zero, by our choice of
positive root a. Since y1 + y2 is the C-component of y (and similarly
y10 + y20 is the C-component of y 0 ), this contradicts the property of
y having minimal C-component norm among all points in G.x, thus
finishing the proof.


References
[1] D. Akhiezer, On the commutator map for real semisimple Lie algebras, Moscow
Mathematical Journal, Vol. 15, No. 4 (2015), pp. 609 - 613.
[2] G. M. Bergman and N. Nahlus, Homomorphisms on infinite direct product algebras, especially Lie algebras. J. Algebra 333 (2011), 67-104.

20

J. MALKOUN AND N. NAHLUS

[3] N. Bourbaki, Lie groups and Lie algebras. Chapters 1-3. Translated from the
French. Reprint of the 1975 English translation. Elements of Mathematics
(Berlin). Springer-Verlag, Berlin, 1989, xviii+450 pp.
[4] N. Bourbaki, Lie groups and Lie algebras. Chapters 4-6. Translated from the
1968 French original by Andrew Pressley. Elements of Mathematics (Berlin).
Springer-Verlag, Berlin, 2002, xii+300 pp.
[5] N. Bourbaki, Lie groups and Lie algebras. Chapters 7-9. Translated from the
1975 and 1982 French originals by Andrew Pressley. Elements of Mathematics
(Berlin). Springer-Verlag, Berlin, 2005, xii+434 pp.
[6] G. Brown, On commutators in a simple Lie algebra. Proc. Amer. Math. Soc. 14
1963, 763-767.
[7] A. D’Andrea and A. Maffei, Small commutators in compact semisimple Lie
groups and Lie algebras, J. Lie theory 26 (2016), no. 1, 683-690.
[8] D. Z. ¯Doković and T.-Y. Tam, Some questions about semisimple Lie groups
originating in matrix theory. Canad. Math. Bull. 46 (2003), no. 3, 332-343.
[9] L. A. Florit and W. Ziller, Topological obstructions to fatness. Geom. Topol. 15
(2011), no.2, 891-925.
[10] M. Gotô, A theorem on compact semi-simple groups. J. Math. Soc. Japan 1
(1949), 270-272.
[11] J. Hilgert and K.-H. Neeb, Structure and geometry of Lie groups. Springer
Monographs in Mathematics. Springer, New York, 2012. x+744 pp.
[12] K. H. Hofmann and S. A. Morris, The Structure of Compact Groups. A primer
for the student–a handbook for the expert, Second revised and augmented edition, De Gruyter Studies in Mathematics, 25, Walter de Gruyter and Co.,
Berlin, 2006.
and
, The Lie theory of connected pro-Lie groups, a structure
[13]
theory for pro-Lie algebras, pro-Lie groups, and connected locally compact
groups, EMS tracts in Mathematics, 2, European Mathematical Society (EMS),
Zürich, 2007.
[14] J. E. Humphreys, Reflection groups and Coxeter groups. Cambridge Studies in
Advanced Mathematics, 29. Cambridge University Press, Cambridge, 1990. xii
+ 204 pp.
[15] A. W. Knapp, Lie groups beyond an introduction, Second edition, Progress in
Mathematics, 140, Birkhäuser Boston, Inc., Boston, MA, 2002.
[16] B. Kostant, On convexity, the Weyl group and the Iwasawa decomposition.
Ann. Sci. École Norm. Sup. (4) 6 (1973), 413-455 (1974).
[17] I. Kra and S. Simanca, On circulant matrices. Notices Amer. Math. Soc. 59
(2012), no. 3, 368-377.
[18] E. Lerman, How fat is a fat bundle? Lett. Math. Phys. 15 (1988), no.4, 335339.
[19] N. Nahlus, On 1.5 generators and L = [L, a] + [L, b] in simple Lie algebras, in
preparation, tentative title.
[20] V. S. Varadarajan, Lie groups, Lie algebras, and their representations.
Prentice-Hall Series in Modern Analysis. Prentice-Hall, Inc., Englewood Cliffs,
N.J., 1974, xiii+430 pp.
[21] N. J. Wildberger, Diagonalization in compact Lie algebras and a new proof of
a theorem of Kostant. Proc. Amer. Math. Soc. 119 (1993), no. 2, 649-655.

COMMUTATORS AND CARTAN SUBALGEBRAS

21

[22] A. Weinstein, Fat bundles and symplectic manifolds, Adv. Math. 37 (1980),
239–250
[23] W. Ziller, Lie groups, representation theory and symmetric spaces, notes from
courses taught Fall 2010 at UPenn, and 2012 at IMPA, http://www.math.
upenn.edu/~wziller/
Department of Mathematics and Statistics, Notre Dame UniversityLouaize, Zouk Mikael, Lebanon
E-mail address: joseph.malkoun@ndu.edu.lb
Department of Mathematics, Faculty of Arts and Sciences, American University of Beirut, Beirut, Lebanon,
E-mail address: nahlus@aub.edu.lb

