| Maurer–Cartan form | |
|---|---|
| Name | Maurer–Cartan form |
| Field | Differential geometry, Lie theory |
| Introduced by | Lazarus F. C. Maurer and Élie Cartan |
| Year | 1930s |
| Related | Lie group, Lie algebra, gauge theory, principal bundle |
Maurer–Cartan form
The Maurer–Cartan form is a canonical g-valued differential one-form on a Lie group that encodes infinitesimal group translation and the structure of the associated Lie algebra. In Quantum Physics it appears in the formulation of gauge theory, quantum field theory, and string theory via connections on principal bundles, coset constructions, and deformation quantization, providing a bridge between algebraic symmetries and geometric dynamics. Its algebraic properties—most notably the Maurer–Cartan equation—govern curvatureless connections and infinitesimal deformations relevant to quantization and anomaly analysis.
The Maurer–Cartan form ω on a finite-dimensional Lie group G is defined at each point g∈G as the pullback of left (or right) translation to the identity, producing a linear map ω_g:T_gG→𝔤 where 𝔤 is the Lie algebra of G. Concretely, for left-invariant version ω_L one has ω_L(g)(X)=d(L_{g^{-1}})_g(X), with X∈T_gG and L_{g^{-1}} the left-translation by g^{-1}. The form is left-invariant and reproduces generators: ω_e=identity on 𝔤. As a g-valued one-form it can be paired with any representation ρ:𝔤→End(V) to give matrix-valued forms used in physics constructions such as Yang–Mills theory.
Fundamental properties include left- (or right-) invariance, equivariance under adjoint action of G, and its appearance as the canonical flat connection on the trivial principal G-bundle G→{pt}. The exterior derivative dω and the wedge bracket [ω,ω] satisfy algebraic identities derived from the Lie bracket on 𝔤.
On a matrix Lie group (e.g., subgroups of GL(n,ℂ)) the Maurer–Cartan form is often written ω=g^{-1}dg (left-invariant) or ω=dg g^{-1} (right-invariant). This representation makes explicit the relation to the Lie algebra 𝔤 via matrix commutators. The Maurer–Cartan form provides an isomorphism between left-invariant vector fields on G and elements of 𝔤, realizing the adjoint representation Ad:G→Aut(𝔤) in differential form language.
For semisimple groups such as SU(2), Cartan decomposition and root-space structure can be probed using components of ω relative to a Cartan subalgebra, linking to the classification results of Élie Cartan and later developments in representation theory by researchers at institutions such as École Normale Supérieure and Institute for Advanced Study.
In the language of principal bundles, a connection one-form A on a principal G-bundle P→M generalizes the Maurer–Cartan form; locally one can gauge-transform A to expressions involving ω and local sections s:M→P. The flatness condition F_A=0 corresponds to the Maurer–Cartan equation for A. Gauge transformations act by the adjoint action and pullbacks of ω, connecting to constructions at CERN and in mathematical work by groups at Princeton University exploring moduli of flat connections.
In classical Yang–Mills theory and effective field theories, decompositions of ω into component one-forms yield currents and conserved charges via Noether's theorem; in lattice gauge theory implementations (e.g., at Fermilab or Brookhaven National Laboratory) discrete approximations use group-valued link variables intimately related to g^{-1}dg.
The Maurer–Cartan form enters sigma models and coset model constructions common in conformal field theory and string theory. For instance, Green–Schwarz and Wess–Zumino–Witten terms are naturally written using ω and its wedge products; the classical action for principal chiral models is built from traces of ω∧*ω. Quantization of these models—studied at organizations such as CERN and universities like Harvard University and Cambridge University—employs currents derived from ω and the operator product expansions constrained by the underlying Lie algebra.
In deformation quantization and the BV formalism used in perturbative quantum field theory, solutions to Maurer–Cartan–like equations in differential graded Lie algebras classify consistent deformations and gauge-fixing data; this perspective has been advanced by work at Institute for Advanced Study and in the mathematical literature by authors such as Maxim Kontsevich.
The Maurer–Cartan equation dω + 1/2[ω,ω] = 0 characterizes flat g-valued connections and encodes the integrability of infinitesimal symmetries. In deformation theory, an element α of degree one in a differential graded Lie algebra (dgLa) satisfies the generalized Maurer–Cartan equation dα + 1/2[α,α] = 0 to represent deformations modulo gauge equivalence. This framework is central in homological algebra approaches to quantization and in the description of moduli spaces of solutions used in topological field theories studied at Perimeter Institute and Simons Foundation-supported programs.
The cohomology controlling infinitesimal deformations is given by the dgLa cohomology H^*(𝔤,d+ad_α), connecting to obstruction theory and anomalies in quantum models.
For G=SU(2), identify group elements by Euler angles and compute ω=g^{-1}dg to obtain left-invariant one-forms σ_i satisfying dσ_i + ε_{ijk}σ_j∧σ_k=0, reflecting the su(2) structure constants ε_{ijk}. These forms provide explicit classical currents in spin chain and sigma-model applications, and they appear in the quantization of angular momentum operators in quantum mechanics and field theories.
For the Heisenberg group H (central extension of ℝ^{2n}), coordinates (x,p,z) give ω with components reproducing canonical commutation relations upon quantization: the nontrivial central term in [ω,ω] corresponds to the symplectic form underlying canonical quantization and the Weyl algebra. Such computations tie directly to the representation theory used in phase-space methods and to geometric quantization programs at research centers like Université Paris-Saclay.