Lie Algebras — Structure and Classification

One line: Every finite-dimensional Lie algebra over a field of characteristic zero decomposes into a solvable radical and a semisimple part (Levi decomposition), and the semisimple part is a direct sum of simple Lie algebras classified completely by Dynkin diagrams (four infinite families

A_{n}, B_{n}, C_{n}, D_{n}

plus five exceptionals

G_{2}, F_{4}, E_{6}, E_{7}, E_{8}

). Key result: Structure theory reduces the study of all Lie algebras to (1) understanding solvable algebras and (2) the finite classification of simple algebras via root systems and Cartan matrices. Applies to: Differential geometry, representation theory, particle physics (gauge groups), integrable systems, algebraic groups, harmonic analysis. Who/when: Sophus Lie (1870s), Wilhelm Killing (1888–90), Élie Cartan (1894 thesis), Hermann Weyl, B. L. van der Waerden, E. B. Dynkin (1947).

A Lie algebra $g$ is a vector space equipped with a bilinear, antisymmetric bracket $[\cdot, \cdot]$ satisfying the Jacobi identity; it abstracts the infinitesimal structure of a Lie group near its identity. The central problem of structure theory is to take an arbitrary finite-dimensional Lie algebra and decompose it into recognizable building blocks. The astonishing fact — proved over decades by Killing, Cartan, Weyl, and Dynkin — is that the "irreducible" pieces, the simple Lie algebras over $C$ , fall into a rigid, finite combinatorial classification governed by integer matrices and planar diagrams. The surprising part is that geometry (Lie groups), algebra (bracket relations), and pure combinatorics (root systems, reflection groups) all encode the same finite list, including five "sporadic" exceptional algebras that appear for no obvious reason. This unifies vast swaths of mathematics and physics under a single classification theorem.

The Core Insight

The bracket is too unwieldy to attack directly, so one studies how $g$ acts on itself via the adjoint representation $ad_{x} (y) = [x, y]$ . Choosing a maximal commuting set of diagonalizable elements (a Cartan subalgebra $h$ ), the algebra decomposes into simultaneous eigenspaces. The eigenvalues are linear functionals called roots, and they form a highly symmetric finite geometric configuration — a root system — invariant under reflections. The entire algebra, including its multiplication table, is reconstructible from this discrete combinatorial shadow. Classification of Lie algebras thus becomes classification of root systems, which becomes classification of certain integer matrices and connected diagrams.

Formal Statement

Lie Algebra

A Lie algebra over a field $k$ is a $k$ -vector space $g$ with a bilinear map $[\cdot, \cdot] : g \times g \to g$ such that

[x, x] = 0 (alternating), [x, [y, z]] + [y, [z, x]] + [z, [x, y]] = 0 (Jacobi)

⟳Antisymmetry

[x, y] = - [y, x]

follows by expanding

[x + y, x + y] = 0

; the Jacobi identity is equivalent to

ad_{x}

being a derivation of the bracket.

Here $x, y, z \in g$ . The adjoint map is $ad_{x} : g \to g$ , $ad_{x} (y) = [x, y]$ , and Jacobi says exactly

ad_{[x, y]} = [ad_{x}, ad_{y}] = ad_{x} ad_{y} - ad_{y} ad_{x} .

⟳Apply both sides to an arbitrary

z

and reorganize the three Jacobi terms; this exhibits

ad : g \to gl (g)

as a Lie algebra homomorphism.

Ideals, Solvable, Nilpotent, Semisimple

A subspace $a \subseteq g$ is an ideal if $[g, a] \subseteq a$ . Define the derived series and lower central series:

g^{(0)} = g, g^{(i + 1)} = [g^{(i)}, g^{(i)}]; g^{0} = g, g^{i + 1} = [g, g^{i}] .

⟳Each term is an ideal because the bracket of ideals is an ideal; nesting follows from

[a, a] \subseteq a

and induction.

g

is solvable if

g^{(n)} = 0

for some

n

, nilpotent if

g^{n} = 0

. The radical

rad (g)

is the unique maximal solvable ideal.

g

is semisimple if

rad (g) = 0

, and simple if it is non-abelian with no proper nonzero ideals.

Killing Form and Cartan Subalgebra

The Killing form is the symmetric bilinear form

κ (x, y) = tr (ad_{x} ad_{y}) .

⟳It is symmetric since

tr (A B) = tr (B A)

, and

invariant ( $κ ([x, y], z) = κ (x, [y, z])$ ) follows from the trace identity $tr ([A, B] C) = tr (A [B, C])$ together with [2].

A Cartan subalgebra (CSA) $h \subseteq g$ is a nilpotent self-normalizing subalgebra; for semisimple $g$ over $C$ it is a maximal abelian subalgebra acting diagonalizably. Its dimension is the rank of $g$ .

Cartan's Criterion

A finite-dimensional Lie algebra $g$ over a field of characteristic $0$ is:

solvable iff $κ (x, y) = 0$ for all $x \in g$ , $y \in [g, g]$ ;
semisimple iff the Killing form $κ$ is nondegenerate.

Levi Decomposition

Every finite-dimensional Lie algebra $g$ over a field of characteristic $0$ admits a decomposition

g = s ⋉ rad (g),

where

s

is a semisimple subalgebra (a Levi subalgebra), unique up to conjugation by inner automorphisms (Malcev–Harish-Chandra).

⟳Use the vanishing of the second cohomology

H^{2} (s, rad)

(Whitehead's lemma) to split the short exact sequence

0 \to rad \to g \to s \to 0

Root Space Decomposition

Let $g$ be semisimple over $C$ with CSA $h$ . Then

g = h \oplus α \in Φ ⨁ g_{α}, g_{α} = {x \in g : [h, x] = α (h) x \forall h \in h},

where

Φ \subset h^{*} ∖ {0}

is the finite set of roots, each

dim g_{α} = 1

, and

[g_{α}, g_{β}] \subseteq g_{α + β}

⟳Since

ad_{h}

is a commuting family of diagonalizable operators, simultaneously diagonalize; the eigenfunctionals are the roots, and

[g_{α}, g_{β}] \subseteq g_{α + β}

follows from Jacobi.

Classification of Simple Lie Algebras

The simple finite-dimensional Lie algebras over $C$ are in bijection with connected Dynkin diagrams, namely the four classical families and five exceptionals:

A_{n} (n \geq 1), B_{n} (n \geq 2), C_{n} (n \geq 3), D_{n} (n \geq 4), G_{2}, F_{4}, E_{6}, E_{7}, E_{8} .

⟳Reduce to classifying irreducible root systems; the admissible Cartan matrices are constrained by the angle/length conditions [9], leaving precisely these connected diagrams (Killing–Cartan list).

Why It Holds / Derivation

From CSA to Root System

Step 1 — Diagonalize. For semisimple

g

, choose a maximal toral (diagonalizable abelian) subalgebra

h

; it equals its own centralizer, hence is a CSA. The commuting operators

{ad_{h}}_{h \in h}

are simultaneously diagonalizable, giving the decomposition [6]. Step 2 — Killing form pairs $g_{α}$ with $g_{- α}$ . Invariance gives

κ (g_{α}, g_{β}) = 0

unless

α + β = 0

. Nondegeneracy (Cartan's criterion) forces

- α \in Φ

whenever

α \in Φ

, and identifies

h

with

h^{*}

, transferring an inner product

(\cdot, \cdot)

to the roots. Step 3 — $sl_{2}$ triples. For each

α

, pick

e_{α} \in g_{α}

f_{α} \in g_{- α}

with

h_{α} = [e_{α}, f_{α}] \in h

normalized so that

[h_{α}, e_{α}] = 2 e_{α}, [h_{α}, f_{α}] = - 2 f_{α}, [e_{α}, f_{α}] = h_{α},

giving a subalgebra

≅ sl_{2} (C)

⟳Rescale

e_{α}, f_{α}

using

κ (e_{α}, f_{α}) \neq = 0

guaranteed by Step 2.

Step 4 — Integrality. Representation theory of

sl_{2}

forces every weight

β (h_{α})

to be an integer. Hence for all roots

⟨ β, α ⟩ := \frac{2 ( β , α )}{( α , α )} \in Z, s_{α} (β) = β - ⟨ β, α ⟩ α \in Φ.

⟳Apply

ad_{e_{α}}, ad_{f_{α}}

repeatedly to

g_{β}

; the resulting

sl_{2}

-string forces integral eigenvalues and reflection-invariance.

Step 5 — Root system axioms.

Φ

is finite, spans

h^{*}

, contains

\pm α

but no other multiple of

α

, and is closed under the reflections

s_{α}

with integer Cartan pairings. This is exactly the definition of a reduced root system. Step 6 — Base, Cartan matrix, Dynkin diagram. Choose a set of simple roots

Δ = {α_{1}, \dots, α_{n}}

(a basis with every root a non-negative or non-positive integer combination). Form the Cartan matrix

A_{ij} = ⟨ α_{i}, α_{j} ⟩

. The possible angles between simple roots are

9 0^{\circ}, 12 0^{\circ}, 13 5^{\circ}, 15 0^{\circ}

, encoded by

0, 1, 2, 3

edges in the Dynkin diagram. Step 7 — Classification of connected diagrams. The positive-definiteness of

(\cdot, \cdot)

severely limits admissible diagrams: no cycles, at most one branch point or one multiple edge, branch/edge length bounds. Enumerating yields precisely the list [7]. Step 8 — Reconstruction (Serre). Conversely each Cartan matrix yields a Lie algebra via the Serre relations on generators

e_{i}, f_{i}, h_{i}

[h_{i}, h_{j}] = 0, [e_{i}, f_{j}] = δ_{ij} h_{i}, [h_{i}, e_{j}] = A_{j i} e_{j}, (ad e_{i})^{1 - A_{j i}} e_{j} = 0,

and the analogous

f

-relations. This proves existence and uniqueness, completing the bijection.

■

⟳The free Lie algebra modulo these relations is finite-dimensional exactly when

A

is of finite (positive-definite) type; the Chevalley basis makes the structure constants integral.

Wilhelm Killing & Élie Cartan | 1847–1923, 1869–1951

Killing, a Gymnasium teacher working in near-isolation in Braunsberg, introduced the characteristic equation of $ad_{x}$ , the rank, the Cartan subalgebra, root systems, and even discovered the exceptional algebras — in a series of four papers (1888–1890) Cartan later called "the most beautiful chapter of algebra." His work was error-prone and his proofs incomplete; Cartan's 1894 thesis corrected, rigorized, and extended everything, then went on to classify real forms, symmetric spaces, and spinors. Hermann Weyl unified the theory with compact group methods and the character formula; Dynkin (1947) gave the elegant diagram bookkeeping now universally used. The mismatch in credit ("Cartan subalgebra," "Killing form") reflects how much Cartan rescued from Killing's pioneering but flawed manuscripts.

Building Intuition

Think of a semisimple Lie algebra as a crystal. The Cartan subalgebra is a "ruler" — a maximal set of measurements you can take simultaneously without disturbing each other (commuting observables). Every other direction in the algebra is an eigenvector of this ruler, and its eigenvalue is a root: a vector recording "how the ruler sees it." The miracle is that these root vectors are not scattered randomly — they snap to a lattice with crystalline symmetry, invariant under a finite reflection group (the Weyl group). The angles between roots can only be $9 0^{\circ}$ , $12 0^{\circ}$ , $13 5^{\circ}$ , or $15 0^{\circ}$ — like the rigid bond angles of a molecule. Because the angles are so constrained, only finitely many "crystal shapes" exist, and that finiteness is exactly the classification theorem. The whole multiplication table of $g$ is just the geometry of how these root-vectors add ( $[g_{α}, g_{β}] \subseteq g_{α + β}$ ).

Root system of $A_2$ ($\mathfrak{sl}_3$): six roots at $60^\circ$ spacing, with simple roots $\alpha_1,\alpha_2$ and the Weyl reflection hyperplanes

Worked Examples

Root System of $\mathfrak{sl}_3(\mathbb{C})$ = $A_2$

Given:

g = sl_{3}

, traceless

3 \times 3

matrices,

dim = 8

. Step 1 — CSA: diagonal traceless matrices

h = {diag (a_{1}, a_{2}, a_{3}) : \sum a_{i} = 0}

, rank

= 2

. Step 2 — Roots: with

ε_{i} (diag (a)) = a_{i}

, the matrix unit

E_{ij}

(

i \neq = j

) satisfies

[h, E_{ij}] = (a_{i} - a_{j}) E_{ij}

, so roots are

α_{ij} = ε_{i} - ε_{j}

, giving

6

roots:

\pm (ε_{1} - ε_{2}), \pm (ε_{2} - ε_{3}), \pm (ε_{1} - ε_{3})

. Step 3 — Simple roots:

α_{1} = ε_{1} - ε_{2}

α_{2} = ε_{2} - ε_{3}

; positive root

α_{1} + α_{2} = ε_{1} - ε_{3}

. Step 4 — Cartan matrix: using

(α_{i}, α_{j})

with all roots same length,

⟨ α_{1}, α_{2} ⟩ = - 1

A = (2 - 1 - 1 2), dim sl_{3} = 2 + 6 = 8, type A_{2}

Check: dimension

= dim h + ∣Φ∣ = 2 + 6 = 8

. ✓ Weyl group

= S_{3}

, order

6

Killing Form of $\mathfrak{sl}_2(\mathbb{C})$

Given: basis

e = (0010), f = (0100), h = (10 0 - 1)

, with

[h, e] = 2 e, [h, f] = - 2 f, [e, f] = h

. Step 1 — adjoint matrices in basis

(e, h, f)

ad_{h} = diag (2, 0, - 2)

. Step 2 — $κ (h, h) = tr (ad_{h}^{2}) = 2^{2} + 0 + (- 2)^{2} = 8.$ Step 3 — $κ (e, f)$ : compute

ad_{e} ad_{f}

; one finds

tr = 4

. Also

κ (e, e) = κ (f, f) = 0

κ (h, e) = κ (h, f) = 0

κ = 004080400 in basis (e, h, f), det κ = - 128 \neq = 0

Conclusion: nondegenerate

\Rightarrow

sl_{2}

semisimple (here simple). General formula:

κ = 2 N \cdot tr (X Y)

for

sl_{N}

, here

N = 2

gives factor

4

. ✓

Common Misconceptions

"Semisimple = simple + simple is the only structure." Semisimple means a direct sum of simple ideals, but a general Lie algebra is not semisimple — it has a solvable radical, and Levi decomposition is only a semidirect product, not a direct sum. The radical genuinely interacts with the Levi part. "The Killing form classifies everything." Cartan's criterion is for char

0

. Over fields of positive characteristic the Killing form can be degenerate even for "good" algebras, and the classification of simple modular Lie algebras (Block–Wilson–Strade–Premet) is vastly more complicated, including Cartan-type algebras with no classical analogue. "Rank = dimension." Rank is

dim h

, the size of the Cartan subalgebra, far smaller than

dim g

. E.g.

E_{8}

has rank

8

but dimension

248

. Solvable but not nilpotent. Let

g = span {x, y}

with

[x, y] = y

. Then

g^{(1)} = span {y}

g^{(2)} = 0

, so

g

is solvable. But

g^{1} = span {y}

g^{2} = [g, g^{1}] = span {[x, y]} = span {y} \neq = 0

— the lower central series stabilizes at

span {y}

, so

g

is not nilpotent. This shows the two notions differ, and that the abelian-vs-nilpotent-vs-solvable hierarchy is strict. Killing form nondegenerate but algebra not semisimple — impossible in char 0, but in char

p

sl_{p}

over

F_{p}

has degenerate Killing form (the identity is central), illustrating why char-0 is essential.

Connections

Structure theory of Lie algebras is the infinitesimal shadow of Lie Groups: the Lie algebra is $T_{e} G$ with bracket from the group commutator, and semisimplicity corresponds to compact or reductive groups. The classification feeds directly into Representation Theory of Semisimple Lie Algebras, where highest-weight theory and the Weyl character formula parametrize all irreducible modules by dominant weights. The combinatorial core — root systems and reflection groups — is exactly the subject of Coxeter Groups and Weyl Groups. On the geometric side, real forms classify Symmetric Spaces (Cartan's other great theorem), and the algebraic-group analogue is Linear Algebraic Groups, where Chevalley reproduced the classification over arbitrary fields. The infinite-dimensional generalization replacing positive-definite Cartan matrices with general ones gives Kac–Moody Algebras.

Real-World Applications

The Standard Model of particle physics — the gauge group $S U (3) \times S U (2) \times U (1)$ has Lie algebra $su (3) \oplus su (2) \oplus u (1)$ ; quark color is the $A_{2}$ root structure, and Gell-Mann's "Eightfold Way" is the adjoint rep of $su (3)$ .
Grand Unified Theories — $S U (5)$ ( $A_{4}$ ), $S O (10)$ ( $D_{5}$ ), and the exceptional $E_{6}$ , $E_{8}$ are candidate unification groups; $E_{8} \times E_{8}$ appears in heterotic string theory.
Integrable systems — Toda lattices are labeled by Dynkin diagrams; their integrability is governed by the underlying root system and Lax pairs valued in $g$ .
Crystallography and quasicrystals — Weyl/Coxeter groups (especially $H_{3}, H_{4}$ non-crystallographic analogues) classify reflection symmetries; $A_{n}, D_{n}, E_{n}$ root lattices give dense sphere packings ( $E_{8}$ lattice is optimal in dim 8).
Robotics and control — screw theory and rigid-body kinematics use $se (3)$ , the (non-semisimple) Lie algebra of the Euclidean group, via Levi decomposition into rotations $⋉$ translations.
Quantum computing / spin chains — symmetry algebras $su (2)$ and Yangians (Kac–Moody-related) organize energy spectra and conserved charges of Heisenberg chains.
Optimization on manifolds — gradient flows on coadjoint orbits and the geometry of the Cartan subalgebra underlie matrix eigenvalue algorithms (Toda flow ≈ QR algorithm).

Historical Development

1873 — Sophus Lie founds the theory of continuous transformation groups, seeking a "Galois theory" for differential equations; infinitesimal generators give the bracket.
1884 — Friedrich Engel and Lie systematize the infinitesimal approach; Engel's theorem (every Lie algebra of nilpotent operators is nilpotent) emerges.
1888–1890 — Wilhelm Killing publishes four papers introducing rank, Cartan subalgebras, root systems, and discovering all exceptional algebras; riddled with gaps but visionary.
1894 — Élie Cartan's doctoral thesis rigorously classifies the simple complex Lie algebras, fixing Killing's errors and establishing the Killing form's role.
1905 — Cartan and others develop the theory of real forms and representations.
1925–1926 — Hermann Weyl proves complete reducibility (Weyl's theorem) using the "unitarian trick," and derives the character and dimension formulas.
1937 — Claude Chevalley constructs integral bases (Chevalley basis), enabling reduction mod $p$ and the theory of finite groups of Lie type.
1947 — Eugene Dynkin introduces Dynkin diagrams, giving the classification its modern combinatorial form; Coxeter's parallel work links to reflection groups.
1955–1968 — Serre relations, Kostant's theorems, and Harish-Chandra's representation theory complete the structural picture; foundations laid for Kac–Moody generalizations (1968).

Subtleties & Limits

Modular Lie algebras (char $p$ ): The classification of finite-dimensional simple Lie algebras over algebraically closed fields of characteristic

p > 3

was only completed in 2004–2007 (Block, Wilson, Strade, Premet) — they comprise classical, Cartan-type, and (for

p = 5

) Melikian algebras. For

p = 2, 3

the problem remains open, with sporadic exceptional algebras still being discovered. Restricted and superalgebra extensions: Classification of finite-dimensional simple Lie superalgebras (Kac, 1977) introduces new families (

osp

pq

, exceptional

G (3), F (4), D (2, 1; α)

); their representation theory (BGG category, atypical weights) is subtler than the classical case and not fully understood. Infinite dimensions: For Kac–Moody algebras with indefinite (hyperbolic and beyond) Cartan matrices, there is no complete structural understanding — root multiplicities are unknown in general, and even

E_{10}

and

E_{11}

(conjectured symmetries of M-theory) resist a closed description. Cohomology and deformations: Whether all deformations of a given solvable/nilpotent Lie algebra are classified is open in high dimension; the classification of nilpotent Lie algebras is "wild" (parametrized by moduli with continuous families) beyond dimension

7

Lie Algebras — Structure and Classification

The Core Insight

Formal Statement

Lie Algebra

Ideals, Solvable, Nilpotent, Semisimple

Killing Form and Cartan Subalgebra

Cartan's Criterion

Levi Decomposition

Root Space Decomposition

Classification of Simple Lie Algebras

Why It Holds / Derivation

From CSA to Root System

Wilhelm Killing & Élie Cartan | 1847–1923, 1869–1951

Building Intuition

Root system of $A_2$ ($\mathfrak{sl}_3$): six roots at $60^\circ$ spacing, with simple roots $\alpha_1,\alpha_2$ and the Weyl reflection hyperplanes

Worked Examples

Root System of $\mathfrak{sl}_3(\mathbb{C})$ = $A_2$

Killing Form of $\mathfrak{sl}_2(\mathbb{C})$

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

Before this