You have 3 free guides left 😟
Unlock your guides
You have 3 free guides left 😟
Unlock your guides

Compact Lie groups are a special class of Lie groups with unique properties. They have finite measures, discrete centers, and compact derived subgroups. Examples include , , , and .

Representations of compact Lie groups are continuous homomorphisms to linear groups. They're finite-dimensional and can be decomposed into irreducible parts. The provides a powerful tool for understanding these representations and their characters.

Compact Lie groups

Definition and properties

Top images from around the web for Definition and properties
Top images from around the web for Definition and properties
  • A is a Lie group that is compact as a topological space
    • Means it is closed and bounded in the topology induced by any Riemannian metric on the group
  • Compact Lie groups have a unique
    • This measure is finite and allows integration over the group
  • Compact Lie groups have a and a
    • The derived subgroup of a compact Lie group is always closed

Examples

  • The circle group U(1) is a compact Lie group
  • The special unitary group SU(n) is a compact Lie group
  • The special orthogonal group SO(n) for n3n \geq 3 is a compact Lie group
  • The quaternionic unitary group Sp(n) is a compact Lie group
  • Every compact Lie group has a faithful
    • This means it can be viewed as a subgroup of GL(n,C)GL(n,\mathbb{C}) for some nn

Representations of compact Lie groups

Definition and properties

  • A representation of a compact Lie group GG is a ρ:GGL(V)\rho: G \to GL(V), where VV is a finite-dimensional vector space over C\mathbb{C}
  • Irreducible representations of a compact Lie group are finite-dimensional
    • Every representation can be decomposed into a direct sum of irreducible representations
  • The of a representation ρ:GGL(V)\rho: G \to GL(V) is the function χρ:GC\chi_\rho: G \to \mathbb{C} defined by χρ(g)=tr(ρ(g))\chi_\rho(g) = \text{tr}(\rho(g))
    • Characters are constant on conjugacy classes and determine the representation up to isomorphism
  • The of a compact Lie group GG on L2(G)L^2(G) decomposes into a direct sum of all irreducible representations, each occurring with equal to its dimension

Construction using the exponential map

  • Representations can be constructed using the
    • For a compact Lie group GG with Lie algebra g\mathfrak{g}, the exponential map exp:gG\exp: \mathfrak{g} \to G is surjective
    • This allows representations of GG to be constructed from representations of g\mathfrak{g}
  • Example: The of SU(2) can be constructed using the exponential map and the Pauli matrices as a basis for the Lie algebra su(2)\mathfrak{su}(2)

Peter-Weyl theorem for decomposition

Statement and consequences

  • The Peter-Weyl theorem states that the matrix coefficients of irreducible representations of a compact Lie group GG form an for L2(G)L^2(G)
  • As a consequence, any representation of GG can be decomposed into a direct sum of irreducible representations
  • The Peter-Weyl theorem implies that any continuous function on GG can be uniformly approximated by linear combinations of matrix coefficients of irreducible representations
    • This is analogous to the Fourier series expansion of periodic functions

Multiplicity and character inner product

  • The multiplicity of an in a given representation can be computed using the inner product of characters
    • If ρ\rho is a representation with character χρ\chi_\rho and τ\tau is an irreducible representation with character χτ\chi_\tau, then the multiplicity of τ\tau in ρ\rho is given by the inner product χρ,χτ=Gχρ(g)χτ(g)dg\langle \chi_\rho, \chi_\tau \rangle = \int_G \chi_\rho(g) \chi_\tau(g)^* dg, where dgdg is the Haar measure
  • Example: The multiplicity of the trivial representation in the regular representation of a compact Lie group is equal to 1, since the character of the trivial representation is the constant function 1

Representations vs maximal tori

Maximal tori and the Weyl group

  • A torus in a Lie group GG is a connected abelian subgroup
    • A is a torus that is not properly contained in any other torus
  • All maximal tori in a compact Lie group are conjugate
    • Their dimension is called the rank of the group
  • The W(G,T)=NG(T)/TW(G,T) = N_G(T)/T acts on the of a representation
    • The character of a representation is determined by its weights and their multiplicities

Weight space decomposition

  • Representations of a compact Lie group GG restrict to representations of a maximal torus TT
    • These restricted representations decompose into one-dimensional representations, or characters, of TT
  • The weights of a representation ρ:GGL(V)\rho: G \to GL(V) are the characters of TT that appear in the restriction of ρ\rho to TT
    • The multiplicity of a weight is the dimension of the corresponding TT-eigenspace in VV
  • Example: The fundamental representation of SU(2) decomposes into two one-dimensional weight spaces with weights ±1\pm 1 when restricted to the maximal torus T={diag(eiθ,eiθ):θR}T = \{\text{diag}(e^{i\theta}, e^{-i\theta}) : \theta \in \mathbb{R}\}

Weyl character formula

  • The expresses the character of an irreducible representation in terms of its highest weight and the action of the Weyl group
    • It provides a way to compute characters without explicitly constructing the representation
  • Example: For the fundamental representation of SU(2) with highest weight λ=1\lambda = 1, the Weyl character formula gives χλ(eiθ)=eiθ+eiθ=2cos(θ)\chi_\lambda(e^{i\theta}) = e^{i\theta} + e^{-i\theta} = 2\cos(\theta)
© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.


© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.

© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.
Glossary
Glossary