List of simple Lie groups

From Wikipedia, the free encyclopedia

In mathematics, the simple Lie groups were classified by Élie Cartan. The list of simple Lie groups can be used to read off the list of simple Lie algebras and Riemannian symmetric spaces. See also the table of Lie groups for a smaller list of groups that commonly occur in theoretical physics, and the Bianchi classification for groups of dimension at most 3.

Contents 1 Simple Lie groups 2 Simple Lie algebras 3 Symmetric spaces 4 Hermitean symmetric spaces 5 Notation 6 The list of simple Lie groups 6.1 R (Abelian) 6.2 An (n ≥ 1) compact 6.3 An I (n ≥ 1) (split) 6.4 A2n−1 II (n ≥ 2) 6.5 An III (n ≥ 1, p + q = n + 1, 1 ≤ p ≤ q) 6.6 An (n ≥ 1) complex 6.7 Bn (n > 1) compact 6.8 Bn I (n > 1) 6.9 Bn (n > 1) complex 6.10 Cn (n ≥ 3) compact 6.11 Cn I (n ≥ 3) (split) 6.12 Cn II (n > 2, n = p + q, 1 ≤ p ≤ q) 6.13 Cn (n > 2) complex 6.14 Dn (n ≥ 4) compact 6.15 Dn I(n ≥ 4) 6.16 Dn III (n ≥ 4) 6.17 Dn (n > 3) complex 6.18 E6−78 (compact) 6.19 E66 I (split) 6.20 E62 II 6.21 E6−14 III 6.22 E6−26 IV 6.23 E6 complex 6.24 E7−133 (compact) 6.25 E77 V (split) 6.26 E7−5 VI 6.27 E7−25 VII 6.28 E7 complex 6.29 E8−248 compact 6.30 E88 VIII (split) 6.31 E8−24 IX 6.32 E8 complex 6.33 F4−52 compact 6.34 F44 I split 6.35 F4−20 II 6.36 F4 complex 6.37 G2−14 compact 6.38 G22 I split 6.39 G2 complex 7 Simple Lie groups of small dimension 8 Symmetric spaces of small dimension or rank 9 Further reading

[edit] Simple Lie groups

Unfortunately there is no generally accepted definition of a simple Lie group, and in particular it is not necessarily defined as a Lie group that is simple as an abstract group. Authors differ on whether a simple Lie group has to be connected, or on whether it is allowed to have a non-trivial center, or on whether R is a simple Lie group.

The most common definition implies that simple Lie groups must be connected, and non-abelian, but are allowed to have a non-trivial center.

In this article the connected simple Lie groups with trivial center are listed. Once these are known, the ones with non-trivial center are easy to list as follows. Any simple Lie group with trivial center has a universal cover, whose center is the fundamental group of the simple Lie group. The corresponding simple Lie groups with non-trivial center can be obtained as quotients of this universal cover by a subgroup of the center.

[edit] Simple Lie algebras

The Lie algebra of a simple Lie group is a simple Lie algebra, and this gives a one to one correspondence between connected simple Lie groups with trivial center and simple Lie algebras of dimension greater than 1. (Authors differ on whether the one dimensional Lie algebra should be counted as simple.)

Over the complex numbers the simple Lie algebras are given by the usual "ABCDEFG" classification. If L is a real simple Lie algebra, its complexification is a simple complex Lie algebra, unless L is already the complexification of a Lie algebra, in which case the complexification of L is a product of two copies of L. This reduces the problem of classifying the real simple Lie algebras to that of finding all the real forms of each complex simple Lie algebra. There are always at least 2 such forms: a split form and a compact form, and there are usually a few others. The different real forms correspond to the classes of automorphisms of order at most 2 of the complex Lie algebra.

[edit] Symmetric spaces

Symmetric spaces are classified as follows.

First, the universal cover of a symmetric space is still symmetric, so we can reduce to the case of simply connected symmetric spaces. (For example, the universal cover of a real projective plane is a sphere.)

Second, the product of symmetric spaces is symmetric, so we may as well just classify the irreducible simply connected ones (where irreducible means they cannot be written as a product of smaller symmetric spaces).

The irreducible simply connected symmetric spaces are the real line, and exactly two symmetric spaces corresponding to each non-compact simple Lie group G, one compact and one non-compact. The non-compact one is a cover of the quotient of G by a maximal compact subgroup H, and the compact one is a cover of the quotient of the compact form of G by the same subgroup H. This duality between compact and non-compact symmetric spaces is a generalization of the well known duality between spherical and hyperbolic geometry.

[edit] Hermitean symmetric spaces

A symmetric space with a compatible complex structure is called Hermitean. The compact simply connected irreducible Hermitean symmetric spaces fall into 4 infinite families with 2 exceptional ones left over, and each has a non-compact dual. In addition the complex plane is also a Hermitean symmetric space; this gives the complete list of irreducible Hermitean symmetric spaces.

The four families are the types A III, B I and D I for p=2, D III, and C I, and the two exceptional ones are types E III and E VII of complex dimensions 16 and 27.

[edit] Notation

R, C, H, and O stand for the real numbers, complex numbers, quaternions, and octonions.

In the symbols such as E₆⁻²⁶ for the exceptional groups, the exponent −26 is the signature of an invariant symmetric bilinear form that is negative definite on the maximal compact subgroup. It is equal to the dimension of the group minus twice the dimension of a maximal compact subgroup.

The fundamental group listed in the table below is the fundamental group of the simple group with trivial center. Other simple groups with the same Lie algebra correspond to subgroups of this fundamental group (modulo the action of the outer automorphism group).

[edit] The list of simple Lie groups

[edit] R (Abelian)

Dimension: 1

Outer automorphism group: R^*

Dimension of symmetric space: 1

Symmetric space: R

Remarks: This group is not simple as an abstract group, and according to most (but not all) definitions this is not a simple Lie group. Most authors do not count its Lie algebra as a simple Lie algebra. It is listed here so that the list of irreducible simply connected symmetric spaces is complete. Note that R is the only such non-compact symmetric space without a compact dual (although of course it has a compact quotient S¹).

[edit] A_n (n ≥ 1) compact

Dimension: n(n + 2)

Real rank: 0

Fundamental group: Cyclic, order n + 1

Outer automorphism group: 1 if n = 1, 2 if n > 1.

Other names: PSU(n + 1), projective special unitary group.

Remarks: A₁ is the same as the compact forms of B₁ and C₁

[edit] A_n I (n ≥ 1) (split)

Dimension: n(n + 2)

Real rank: n

Maximal compact subgroup: D_n/2 or B_(n−1)/2

Fundamental group: 2 if n ≥ 2, infinite cyclic if n = 1.

Outer automorphism group: 1 if n = 1, 2 if n ≥ 2.

Other names: PSL_n+1(R), projective special linear group.

Dimension of symmetric space: n(n + 3)/2

Compact symmetric space: Real structures on Cⁿ⁺¹ or set of RPⁿ in CPⁿ. Hermitean if n = 1, in which case it is the sphere.

Non-compact symmetric space: Euclidean structures on Rⁿ⁺¹. Hermitean if n = 1, when it is the upper half plane or unit complex disc.

Remarks:

[edit] A_2n−1 II (n ≥ 2)

Dimension: (2n − 1)(2n + 1)

Real rank: n − 1

Maximal compact subgroup: C_n

Fundamental group:

Outer automorphism group:

Other names: SL_n(H), SU^*(2n)

Dimension of symmetric space: (n − 1)(2n + 1)

Compact symmetric space: Quaternionic structures on C²ⁿ compatible with the Hermitean structure.

Non-compact symmetric space: Copies of quaternionic hyperbolic space (of dimension n − 1) in complex hyperbolic space (of dimension 2n − 1).

Remarks:

[edit] A_n III (n ≥ 1, p + q = n + 1, 1 ≤ p ≤ q)

Dimension: n(n + 2)

Real rank: p

Maximal compact subgroup: A_p−1A_q−1S¹

Fundamental group:

Outer automorphism group:

Other names: SU(p,q), A III

Dimension of symmetric space: 2pq

Compact symmetric space: Hermitean. Quaternion-Kähler if p or q is 2. Grassmannian of p subspaces of C^p+q.

Non-compact symmetric space: Hermitean. Quaternion-Kähler if p or q is 2. Grassmannian of maximal positive definite subspaces of C^p,q.

Remarks:

[edit] A_n (n ≥ 1) complex

Dimension: 2n(n + 2)

Real rank: n

Maximal compact subgroup: A_n

Fundamental group: Cyclic, order n + 1

Outer automorphism group: 2 if n = 1, 4 (noncyclic) if n ≥ 2.

Other names: PSL_n+1(C), complex projective special linear group.

Dimension of symmetric space: n(n + 2)

Compact symmetric space: Compact group A_n

Non-compact symmetric space: Hermitean forms on Cⁿ⁺¹ with fixed volume.

Remarks:

[edit] B_n (n > 1) compact

Dimension: n(2n + 1)

Real rank: 0

Fundamental group: 2

Outer automorphism group: 1

Other names: SO_2n+1(R), special orthogonal group.

Remarks: B₁ is the same as A₁ and C₁. B₂ is the same as C₂.

[edit] B_n I (n > 1)

Dimension: n(2n + 1)

Real rank: min(p,q)

Maximal compact subgroup:

Fundamental group:

Outer automorphism group:

Other names: SO(p,q)

Dimension of symmetric space: pq

Compact symmetric space: Grassmannian of R^ps in R^p+q. This is projective space if p or q is 1. Quaternion-Kähler if p or q is 4. Hermitean if p or q is 2.

Non-compact symmetric space: Grassmannian of positive definite R^ps in R^p,q. This is hyperbolic space if p or q is 1. Quaternion-Kähler if p or q is 4. Hermitean if p or q is 2.

Remarks:

[edit] B_n (n > 1) complex

Dimension: 2n(2n + 1)

Real rank: n

Maximal compact subgroup: B_n

Fundamental group: 2

Outer automorphism group: order 2 (complex conjugation)

Other names:

Dimension of symmetric space: n(2n + 1)

Compact symmetric space: Compact group B_n

Non-compact symmetric space:

Remarks:

[edit] C_n (n ≥ 3) compact

Dimension: n(2n + 1)

Real rank: 0

Fundamental group: 2

Outer automorphism group: 1

Other names: Sp(n), Sp(2n), USp(n), USp(2n)

Remarks: C₁ is the same as B₁ and A₁. C₂ is the same as B₂.

[edit] C_n I (n ≥ 3) (split)

Dimension: n(2n + 1)

Real rank: n

Maximal compact subgroup: A_n−1S¹

Fundamental group: infinite cyclic

Outer automorphism group: 1

Other names: Symplectic group, Sp_2n(R), Sp(2n,R),Sp(2n), Sp(n,R), Sp(n)

Dimension of symmetric space: n(n + 1)

Compact symmetric space: Hermitean. Complex structures of Hⁿ. Copies of complex projective space in quaternionic projective space.

Non-compact symmetric space: Hermitean. Lagrangian subspaces of R²ⁿ. Set of complex hyperbolic spaces in quaternionic hyperbolic space. Siegel upper half plane.

Remarks: C₂ is the same as B₂, and C₁ is the same as B₁ and A₁.

[edit] C_n II (n > 2, n = p + q, 1 ≤ p ≤ q)

Dimension: n(2n + 1)

Real rank: min(p,q)

Maximal compact subgroup: C_pC_q

Fundamental group: Order 2

Outer automorphism group: Trivial unless p=q, in which case it has order 2.

Other names: Sp_2p,2q(R)

Dimension of symmetric space: 4pq

Compact symmetric space: Grassmannian of H^ps in H^p+q. Quaternionic projective space if p or q is 1, in which case it is Quaternion-Kähler.

Non-compact symmetric space: Grassmannian of positive definite H^ps in H^p,q. Quaternionic hyperbolic space if p or q is 1, in which case it is Quaternion-Kähler.

Remarks:

[edit] C_n (n > 2) complex

Dimension: 2n(2n + 1)

Real rank: n

Maximal compact subgroup: C_n

Fundamental group: 2

Outer automorphism group: Order 2 (complex conjugation)

Other names: Complex symplectic group, Sp_2n(C)

Dimension of symmetric space: n(2n + 1)

Compact symmetric space: Compact group C_n

Non-compact symmetric space:

Remarks:

[edit] D_n (n ≥ 4) compact

Dimension: n(2n − 1)

Real rank: 0

Fundamental group: Order 4, (cyclic when n is odd).

Outer automorphism group: 2 if n > 4, S₃ if n = 4.

Other names: PSO_2n(R), projective special orthogonal group

Remarks: D₃ is the same as A₃, D₂ is the same as A₁², and D₁ is abelian.

[edit] D_n I(n ≥ 4)

Dimension: n(2n − 1)

Real rank: min(p,q) (p+q=2n)

Maximal compact subgroup:

Fundamental group: Order 8 if p and q are both at least 3.

Outer automorphism group:

Other names: PSO_p,q(R)

Dimension of symmetric space: pq

Compact symmetric space: Grassmannian of R^ps in R^p+q. This is projective space if p or q is 1. Quaternion-Kähler if p or q is 4. Hermitean if p or q is 2.

Non-compact symmetric space: Grassmannian of positive definite R^ps in R^p,q. This is hyperbolic space if p or q is 1. Quaternion-Kähler if p or q is 4. Hermitean if p or q is 2.

Remarks:

[edit] D_n III (n ≥ 4)

Dimension: n(2n − 1)

Real rank: n/2 or (n − 1)/2

Lie algebra of maximal compact subgroup: A_n−1R¹

Fundamental group: Infinite `cyclic

Outer automorphism group: Order 2.

Other names:

Dimension of symmetric space: n(n − 1)

Compact symmetric space: Hermitean. Complex structures on R²ⁿ compatible with the Euclidean structure.

Non-compact symmetric space: Hermitean. Quaternionic quadratic forms on R²ⁿ.

Remarks:

[edit] D_n (n > 3) complex

Dimension: 2n(2n − 1)

Real rank: n

Maximal compact subgroup: D_n

Fundamental group: Order 4, (cyclic when n is odd).

Outer automorphism group: Noncyclic of order 4 for n>4, or the product of a group of order 2 and the symmetric group on 3 points when n=4.

Other names: Complex projective special orthogonal group, PSO_2n(C)

Dimension of symmetric space: n(2n − 1)

Compact symmetric space: Compact group D_n

Non-compact symmetric space:

Remarks:

[edit] E₆⁻⁷⁸ (compact)

Dimension: 78

Real rank: 0

Fundamental group: 3

Outer automorphism group: 2

Other names:

Remarks:

[edit] E₆⁶ I (split)

Dimension: 78

Real rank: 6

Maximal compact subgroup: C₄

Fundamental group: Order 2

Outer automorphism group: Order 2

Other names: E I

Dimension of symmetric space: 42

Compact symmetric space:

Non-compact symmetric space:

[edit] E₆² II

Dimension: 78

Real rank: 4

Maximal compact subgroup: A₅A₁

Fundamental group: Cyclic, order 6.

Outer automorphism group: Order 2

Other names: E II

Dimension of symmetric space: 40

Compact symmetric space: Quaternion-Kähler.

Non-compact symmetric space: Quaternion-Kähler.

Remarks:

[edit] E₆⁻¹⁴ III

Dimension: 78

Real rank: 2

Maximal compact subgroup: D₅S¹

Fundamental group: Infinite cyclic

Outer automorphism group: Trivial

Other names: E III

Dimension of symmetric space: 32

Compact symmetric space: Hermitean. Rosenfeld's elliptic projective plane over the complexified Cayley numbers.

Non-compact symmetric space: Hermitean. Rosenfeld's hyperbolic projective plane over the complexified Cayley numbers.

Remarks:

[edit] E₆⁻²⁶ IV

Dimension: 78

Real rank: 2

Maximal compact subgroup: F₄

Fundamental group: Trivial

Outer automorphism group: Order 2

Other names: E IV

Dimension of symmetric space: 26

Compact symmetric space: Set of Cayley projective planes in the projective plane over the complexified Cayley numbers.

Non-compact symmetric space: Set of Cayley hyperbolic planes in the hyperbolic plane over the complexified Cayley numbers.

Remarks:

[edit] E₆ complex

Dimension: 156

Real rank: 6

Maximal compact subgroup: E₆

Fundamental group: 3

Outer automorphism group: Order 4 (non-cyclic)

Other names:

Dimension of symmetric space: 78

Compact symmetric space: Compact group E₆

Non-compact symmetric space:

Remarks:

[edit] E₇⁻¹³³ (compact)

Dimension: 133

Real rank: 0

Fundamental group: 2

Outer automorphism group: 1

Other names:

Remarks:

[edit] E₇⁷ V (split)

Dimension: 133

Real rank: 7

Maximal compact subgroup: A₇

Fundamental group: Cycclic, order 4

Outer automorphism group: Order 2

Other names:

Dimension of symmetric space: 70

Compact symmetric space:

Non-compact symmetric space:

Remarks:

[edit] E₇⁻⁵ VI

Dimension: 133

Real rank: 4

Maximal compact subgroup: D₆A₁

Fundamental group: Non-cyclic, order 4

Outer automorphism group: Trivial

Other names:

Dimension of symmetric space: 64

Compact symmetric space: Quaternion-Kähler.

Non-compact symmetric space: Quaternion-Kähler.

Remarks:

[edit] E₇⁻²⁵ VII

Dimension: 133

Real rank: 3

Maximal compact subgroup: E₆S¹

Fundamental group: Infinite cyclic

Outer automorphism group: Order 2

Other names: E VII

Dimension of symmetric space: 54

Compact symmetric space:

Non-compact symmetric space:

Remarks: Symmetric spaces are Hermitean.

[edit] E₇ complex

Dimension: 266

Real rank: 7

Maximal compact subgroup: E₇

Fundamental group: 2

Outer automorphism group: Order 2 (complex conjugation)

Other names:

Dimension of symmetric space: 133

Compact symmetric space: Compact group E₇

Non-compact symmetric space:

Remarks:

[edit] E₈⁻²⁴⁸ compact

Dimension: 248

Real rank: 0

Fundamental group: 1

Outer automorphism group: 1

Other names:

Remarks:

[edit] E₈⁸ VIII (split)

Dimension: 248

Real rank: 8

Maximal compact subgroup: D₈

Fundamental group: 2

Outer automorphism group: 1

Other names: E VIII

Dimension of symmetric space: 128

Compact symmetric space:

Non-compact symmetric space:

Remarks:

[edit] E₈⁻²⁴ IX

Dimension: 248

Real rank: 4

Maximal compact subgroup: E₇ × A₁

Fundamental group: Order 2.

Outer automorphism group: 1

Other names: E IX

Dimension of symmetric space: 112

Compact symmetric space: Quaternion-Kähler.

Non-compact symmetric space: Quaternion-Kähler.

Remarks:

[edit] E₈ complex

Dimension: 496

Real rank: 8

Maximal compact subgroup: E₈

Fundamental group: 1

Outer automorphism group: Order 2 (complex conjugation)

Other names:

Dimension of symmetric space: 248

Compact symmetric space: Compact group E₈

Non-compact symmetric space:

Remarks:

[edit] F₄⁻⁵² compact

Dimension: 52

Real rank: 0

Fundamental group: 1

Outer automorphism group: 1

Other names:

Remarks:

[edit] F₄⁴ I split

Dimension: 52

Real rank: 4

Maximal compact subgroup: C₃ × A₁

Fundamental group: Order 2

Outer automorphism group: 1

Other names: F I

Dimension of symmetric space: 28

Compact symmetric space: Quaternionic projective planes in Cayley projective plane.

Non-compact symmetric space: Hyperbolic quaternionic projective planes in hyperbolic Cayley projective plane.

Remarks:

[edit] F₄⁻²⁰ II

Dimension: 52

Real rank: 1

Maximal compact subgroup: B₄ (Spin₉(R))

Fundamental group: Order 2

Outer automorphism group: 1

Other names: F II

Dimension of symmetric space: 16

Compact symmetric space: Cayley projective plane. Quaternion-Kähler.

Non-compact symmetric space: Hyperbolic Cayley projective plane. Quaternion-Kähler.

Remarks:

[edit] F₄ complex

Dimension: 104

Real rank: 4

Maximal compact subgroup: F₄

Fundamental group: 1

Outer automorphism group: 2

Other names:

Dimension of symmetric space: 52

Compact symmetric space: Compact group F₄

Non-compact symmetric space:

Remarks:

[edit] G₂⁻¹⁴ compact

Dimension: 14

Real rank: 0

Fundamental group: 1

Outer automorphism group: 1

Other names:

Remarks: This is the automorphism group of the Cayley algebra.

[edit] G₂² I split

Dimension: 14

Real rank: 2

Maximal compact subgroup: A₁×A₁

Fundamental group: Order 2

Outer automorphism group: 1

Other names: G I

Dimension of symmetric space: 8

Compact symmetric space: Quaternionic subalgebras of the Cayley algebra. Quaternion-Kähler.

Non-compact symmetric space: Non-division quaternionic subalgebras of the non-division Cayley algebra. Quaternion-Kähler.

Remarks:

[edit] G₂ complex

Dimension: 28

Real rank: 2

Maximal compact subgroup: G₂

Fundamental group: 1

Outer automorphism group: Order 2 (complex conjugation)

Other names:

Dimension of symmetric space: 14

Compact symmetric space: Compact group G₂

Non-compact symmetric space:

Remarks:

[edit] Simple Lie groups of small dimension

The following table lists some Lie groups with simple Lie algebras of small dimension. The groups on a given line all have the same Lie algebra. In the dimension 1 case, the groups are abelian and not simple.

Dimension
1	R, S1=U(1)=SO2(R)
3	S3=Sp(1)=SU(2), SO3(R)=PSU(2) (Compact)
3	SL2(R)=Sp2(R), SO2,1(R)
6	SL2(C)=Sp2(C), SO3,1(R), SO3(C)
8	SL3(R)
8	SU(3)
8	SU(1,2)
10	Sp(2), SO5(R)
10	SO4,1(R), Sp2,2(R)
10	SO3,2(R),Sp4(R)
14	G2 (Compact)
14	G2 (Split)
15	SU(4), SO6(R)
15	SL4(R), SO3,3(R)
15	SU(3,1)
15	SU(2,2), SO4,2(R)
15	SL2(H), SO5,1(R)
16	SL3(C)
20	SO5(C), Sp4(C)

[edit] Symmetric spaces of small dimension or rank

The non-compact simply connected irreducible symmetric spaces of rank 1 are given by hyperbolic spaces over the reals, complex numbers, quaternions, and the hyperbolic plane over the Cayley numbers. The compact duals are given by the corresponding projective spaces.

Here is a table of some simply connected irreducible symmetric spaces of small dimension:

Dimension	Compact	Non-compact
1		R
2	Sphere S2	Hyperbolic plane H2
3	Sphere S3	Hyperbolic space H3
4	Sphere S4	Hyperbolic space H4
4	Complex projective space CP2	Complex hyperbolic plane CH2

[edit] Further reading

• Besse, Einstein manifolds ISBN 0-387-15279-2

• Helgason, Differential geometry, Lie groups, and symmetric spaces. ISBN 0-8218-2848-7