Classification of Simple Lie Algebras - Key Properties

The classified simple Lie algebras exhibit distinctive properties that distinguish the various types. Understanding these properties illuminates why certain structures appear in nature and mathematics.

Theorem

Universality of the Classification

Every simple Lie algebra over an algebraically closed field of characteristic zero is isomorphic to exactly one algebra from the classification list: $A_n, B_n, C_n, D_n, E_6, E_7, E_8, F_4,$ or $G_2$ . Moreover, for each type, the algebra is uniquely determined up to isomorphism.

Dimensional properties: The dimension formula $\dim \mathfrak{g} = |\Phi| + \text{rank}$ gives:

$A_n$ : dimension $(n+1)^2-1$
$B_n, C_n$ : dimension $2n^2+n$
$D_n$ : dimension $2n^2-n$
$E_8$ : dimension 248 (largest exceptional)
$G_2$ : dimension 14 (smallest exceptional)

Remark

The exceptional algebras have dimensions 14, 52, 78, 133, 248 for $G_2, F_4, E_6, E_7, E_8$ respectively. These numbers arise naturally from root system combinatorics and have deep significance in physics and geometry.

Definition

A Dynkin diagram is simply-laced if all edges are simple (no multiple bonds). Types $A_n, D_n, E_6, E_7, E_8$ are simply-laced, corresponding to root systems where all roots have the same length.

Simply-laced types have particularly elegant properties: their Cartan matrices are symmetric, Weyl groups are simpler, and they admit uniform constructions via quiver representations.

Example

Automorphism groups of Dynkin diagrams:

$A_n$ ( $n \geq 2$ ): order 2 (reflection) except $A_1$ (order 1)
$D_n$ ( $n \geq 5$ ): order 2 (swapping the fork)
$D_4$ : order 6 (triality - exceptional $S_3$ symmetry)
$E_6$ : order 2 (unique nontrivial exceptional automorphism)
All others: order 1 (no nontrivial automorphisms)

Theorem

Outer Automorphisms

The outer automorphism group $\text{Out}(\mathfrak{g}) = \text{Aut}(\mathfrak{g})/\text{Inn}(\mathfrak{g})$ equals the automorphism group of the Dynkin diagram. This provides a complete description of all automorphisms via combinatorial data.

Dual root systems: For types $B_n$ and $C_n$ , the root systems are dual to each other (long and short roots interchange). This duality manifests in Langlands duality in representation theory and geometric Langlands program.

Remark

The classification remains valid over $\mathbb{R}$ with modifications: real forms of complex simple Lie algebras are classified by involutions of Dynkin diagrams. For instance, $\mathfrak{sl}_n(\mathbb{R})$ and $\mathfrak{su}(p,q)$ are different real forms of $\mathfrak{sl}_n(\mathbb{C})$ .

Complexity hierarchy:

Classical types ( $A, B, C, D$ ): Realized as matrix algebras, explicit constructions
$G_2$ : Smallest exceptional, related to octonions and rolling balls
$F_4$ : Automorphisms of exceptional Jordan algebra
$E_6, E_7, E_8$ : No simple geometric description, arise in string theory and K-theory

The exceptional algebras appear naturally in:

$G_2$ : Octonion automorphisms, 7-dimensional cross products
$F_4$ : 27-dimensional exceptional Jordan algebra
$E_6$ : 27-dimensional complex projective variety
$E_7$ : 56-dimensional symplectic representation
$E_8$ : Fundamental in string theory heterotic models

These properties show that the classification captures fundamental patterns in symmetry and geometry.