Lie Algebras - Applications

Lie algebras find extensive applications across mathematics and physics. Their algebraic structure provides computational advantages while retaining essential geometric information from the associated Lie groups.

Theorem

Poincaré-Birkhoff-Witt Theorem

Let $\mathfrak{g}$ be a Lie algebra over a field $\mathbb{F}$ and let $\{X_i\}$ be an ordered basis of $\mathfrak{g}$ . Then the monomials $X_{i_1}^{n_1} \cdots X_{i_k}^{n_k}$ with $i_1 < \cdots < i_k$ form a basis for the universal enveloping algebra $U(\mathfrak{g})$ .

The PBW theorem is fundamental for representation theory. It implies that the canonical map $\mathfrak{g} \to U(\mathfrak{g})$ is injective, allowing us to view $\mathfrak{g}$ as a subspace of $U(\mathfrak{g})$ . Moreover, it shows that $\dim U(\mathfrak{g}) = \infty$ for any nonzero $\mathfrak{g}$ .

Example

For $\mathfrak{sl}_2(\mathbb{C})$ with standard basis $\{E, F, H\}$ satisfying $[H, E] = 2E$ , $[H, F] = -2F$ , $[E, F] = H$ , the PBW theorem gives a basis of $U(\mathfrak{sl}_2)$ consisting of monomials $E^i F^j H^k$ . This explicit description enables calculations in representation theory and quantum groups.

Remark

The Casimir element for a semisimple Lie algebra $\mathfrak{g}$ is an element of $U(\mathfrak{g})$ that commutes with all of $\mathfrak{g}$ . For $\mathfrak{g}$ with Killing form basis $\{X_i\}$ and dual basis $\{X^i\}$ (with respect to the Killing form), the Casimir element is $C = \sum_i X_i X^i$ . It acts as a scalar on each irreducible representation (Schur's lemma), providing a powerful invariant.

Physics applications are ubiquitous:

Angular momentum in quantum mechanics: The Lie algebra $\mathfrak{so}(3) \cong \mathfrak{su}(2)$ generates rotations. Its representations classify particle states by spin, and the Lie bracket $[L_i, L_j] = \epsilon_{ijk} L_k$ encodes the uncertainty principle for angular momentum components.
Gauge theories: The Standard Model uses $\mathfrak{su}(3) \oplus \mathfrak{su}(2) \oplus \mathfrak{u}(1)$ . Quarks and leptons furnish representations, while gauge bosons correspond to adjoint representation elements. The Lie bracket determines interaction vertices.
Supersymmetry: Graded Lie algebras (Lie superalgebras) with both commutators and anticommutators unify bosonic and fermionic symmetries.

Theorem

Ado's Theorem (Refined)

Every finite-dimensional Lie algebra over a field of characteristic zero admits a faithful finite-dimensional representation. Moreover, we can choose the representation dimension to be at most $(n-1) \dim \mathfrak{g}$ where $n = \dim \mathfrak{g}$ .

This theorem justifies studying abstract Lie algebras via matrix representations, making computational approaches feasible.

Differential equations: Lie algebras of vector fields generate symmetry groups of differential equations. The Lie algebra approach allows finding invariant solutions systematically. For instance, the Galilean algebra generates symmetries of Newtonian mechanics.

Combinatorics and representation theory: The representation theory of $\mathfrak{sl}_n$ connects to Young tableaux, Schur functions, and symmetric functions. Highest weight theory for semisimple Lie algebras generalizes these combinatorial structures.

The Kostant partition function and weight multiplicities have applications to number theory and combinatorics, while the Kazhdan-Lusztig polynomials arising from Lie algebra representations connect to intersection cohomology and algebraic geometry.