Nyimbi Odero

Series 01 · a numbered run · kept in public

Part 2: Lie Algebras and Infinitesimal Transformations

Chapter: Lesson 6: Lie Groups and Lie Algebras

From Global to Local: Understanding Infinitesimal Symmetries

When we look closely at any continuous symmetry, we find that large transformations can be built up from infinitesimally small ones. Just as calculus studies functions through their derivatives, Lie algebras study Lie groups through their infinitesimal transformations. This local perspective often simplifies our understanding and calculations while revealing deep structural properties.

Let’s organize our exploration using the mnemonic “ALGEBRA”:

Adjoint representation Lie bracket structure Generators and relations Exponential mapping Basis and coordinates Root decomposition Applications to physics

The Definition of a Lie Algebra

A Lie algebra g is a vector space equipped with a special binary operation called the Lie bracket

⋅,⋅·,·

that captures the essence of infinitesimal transformations:

  1. Axioms For X, Y, Z ∈ g and scalars a, b:

    • Bilinearity:
aX+bY,ZaX + bY, Z

= a

X,ZX,Z
  • b
Y,ZY,Z
- Antisymmetry: 
X,YX,Y

= -

Y,XY,X
- Jacobi identity: 
X,[Y,ZX,[Y,Z

] +

Y,[Z,XY,[Z,X

] +

Z,[X,YZ,[X,Y

] = 0

  1. Physical Interpretation

    • Bracket measures non-commutativity

    • Represents infinitesimal version of group multiplication

    • Encodes structure of symmetry transformations

  2. Examples

    • so(3): 3×3 antisymmetric matrices

    • su(2): 2×2 traceless anti-Hermitian matrices

    • Vector fields:

X,YX,Y

= XY - YX

The Adjoint Representation

The adjoint representation provides our first view of how a Lie algebra acts on itself:

  1. Definition For X ∈ g:
adX(Y)=\text{ad}_X(Y) =

X,Y

  1. Properties

    • Linear map: ad_X ∈ End(g)

    • Represents g on itself

    • Connects to group adjoint action:

Ad(exp⁡X)=exp⁡(adX)\text{Ad}(\exp X) = \exp(\text{ad}_X)
  1. Physical Applications

    • Angular momentum commutators

    • Gauge transformations

    • Conservation laws

Structure Constants and Classification

The structure of a Lie algebra is encoded in its structure constants:

  1. Definition Choose basis {Tᵃ}: T_a,T_b
=fabcTc= f_{ab}^c T_c

The fₐbᶜ are structure constants.

  1. Properties

    • Antisymmetry: fₐbᶜ = -fbₐᶜ

    • Jacobi identity:

fabdfdce+fbcdfdae+fcadfdbe=0f_{ab}^d f_{dc}^e + f_{bc}^d f_{da}^e + f_{ca}^d f_{db}^e = 0
  1. Examples For su(2): T_i,T_j
=iϵijkTk= i\epsilon_{ijk}T_k
where εᵢⱼₖ is the Levi-Civita symbol.

The Exponential Map in Detail

The exponential map connects Lie algebras to Lie groups:

  1. Definition
exp⁡(X)=∑n=0∞Xnn!\exp(X) = \sum_{n=0}^{\infty} \frac{X^n}{n!}
  1. Properties

    • exp(0) = e (identity)

    • exp((s+t)X) = exp(sX)exp(tX)

    • d/dt|ₜ₌₀exp(tX) = X

  2. Baker-Campbell-Hausdorff Formula

exp⁡(X)exp⁡(Y)=exp⁡(X+Y+12\exp(X)\exp(Y) = \exp(X + Y + \frac{1}{2}

X,Y

+112(+ \frac{1}{12}(

X,[X,Y

]−] -

Y,[X,Y

])+...)]) + ...)

Crucial for understanding composition of transformations.

Root Systems and Classification

Simple Lie algebras are classified by their root systems:

  1. Cartan Subalgebra Maximal abelian subalgebra h ⊂ g:

    • Simultaneously diagonalizable elements

    • Dimension is the rank of g

    • Determines weight structure

  2. Root Decomposition

g=h⊕⨁α∈Φgα\mathfrak{g} = \mathfrak{h} \oplus \bigoplus_{\alpha \in \Phi} \mathfrak{g}_\alpha

where Φ is the root system and gα are root spaces.

  1. Classification Simple Lie algebras are classified as:

    • Aₙ (SU(n+1))

    • Bₙ (SO(2n+1))

    • Cₙ (Sp(2n))

    • Dₙ (SO(2n))

    • Exceptional: E₆, E₇, E₈, F₄, G₂

Physical Applications

  1. Quantum Mechanics Angular momentum algebra: J_i,J_j
iℏϵijkJk i\hbar\epsilon_{ijk}J_k

Leading to:

  • Quantization of angular momentum

  • Selection rules

  • Clebsch-Gordan coefficients

  1. Gauge Theory Yang-Mills theory: T_a,T_b
=ifabcTc= if_{ab}^c T_c

Determines:

  • Field strength

  • Interaction vertices

  • Conservation laws

  1. Particle Physics Standard Model symmetries:

    • SU(3) color

    • SU(2) weak isospin

    • U(1) hypercharge

Advanced Concepts

  1. Killing Form Bilinear form on g:
B(X,Y)=tr(adXadY)B(X,Y) = \text{tr}(\text{ad}_X\text{ad}_Y)

Properties:

  • Invariant under adjoint action

  • Non-degenerate for semisimple algebras

  • Determines compact form

  1. Universal Enveloping Algebra U(g) contains all polynomials in generators:

    • Provides representation theory

    • Contains Casimir operators

    • Important for quantization

  2. Real Forms Different real versions of complex Lie algebra:

    • Compact forms

    • Split forms

    • Determines physical applications

Practical Calculations

  1. Computing Commutators For su(2):
σi,σjσᵢ,σⱼ

= 2iεᵢⱼₖσₖ

where σᵢ are Pauli matrices

Verify Jacobi identity

  1. Structure Constants For so(3):

Choose basis Lᵢ

Compute

Li,LjLᵢ,Lⱼ

Extract structure constants

Common Issues and Their Resolution

  1. Abstract vs. Concrete Problem: Getting lost in abstraction Solution: Work with matrix representations Example: su(2) via Pauli matrices

  2. Global vs. Local Problem: Confusing group and algebra elements Solution: Keep track of exponential map Example: Rotation angles vs. generators

  3. Basis Dependence Problem: Over-relying on specific basis Solution: Focus on invariant properties Example: Casimir operators

Exercises for Understanding

  1. Basic Computation Calculate structure constants for su(2):

    • Write out Pauli matrices

    • Compute all commutators

    • Verify antisymmetry

  2. Physical Application For angular momentum:

    • Find uncertainty relations

    • Calculate raising/lowering operators

    • Determine spectrum

  3. Advanced Problem Prove that the Killing form is:

    • Symmetric

    • Ad-invariant

    • Non-degenerate for su(2)

Looking Ahead

In our next section, we’ll explore representation theory, showing how:

  • Lie algebras act on vector spaces

  • Weights and roots organize representations

  • Physical states form representations

Remember: Lie algebras aren’t just mathematical structures — they encode the fundamental symmetries of physics in their simplest form. Understanding them deeply means understanding how symmetry constrains physical laws.

Next: Part 3 - Representation Theory and Physical Applications