Maurer–Cartan form

Maurer–Cartan form
Name	Maurer–Cartan form
Field	Differential geometry
Introduced	1930s
Founders	Wilhelm Maurer; Élie Cartan

Maurer–Cartan form The Maurer–Cartan form is a canonical left-invariant Lie algebra–valued 1-form on a Lie group that encodes infinitesimal group structure and curvature-like data; it plays a central role in the study of Lie groups, homogeneous spaces, principal bundles, and gauge theories. Developed in parallel by Wilhelm Maurer and Élie Cartan in the early 20th century, the form provides a bridge between global group geometry and local algebraic structure, with deep connections to representation theory, differential topology, and theoretical physics.

Definition and basic properties

On a Lie group G the Maurer–Cartan form ω is a 1-form with values in the Lie algebra g = Lie(G) that assigns to each tangent vector its left-translated-inverse element in g; this definition yields left-invariance, equivariance under conjugation, and an isomorphism between T_eG and g. The form is characterized by the property that ω_e : T_eG → g is the identity, and for any left translation L_h by h ∈ G one has (L_h)^*ω = ω, while for right translation R_h one has (R_h)^*ω = Ad_{h^{-1}} ω, linking to the adjoint action and inducing natural maps into representation-theoretic structures studied by figures such as Hermann Weyl, Élie Cartan, and Sophus Lie. As a g-valued form, ω respects the Lie bracket via a structure equation that reflects integrability conditions analogous to curvature in connections on principal bundles associated to groups like University of Göttingen-affiliated schools and institutions associated with mathematicians such as Élie Cartan, Hermann Weyl, Élie Joseph Cartan.

Construction on Lie groups

Given a smooth Lie group G with identity e and Lie algebra g, define ω_g : T_gG → g by ω_g(v) = (dL_{g^{-1}})_g(v), where L_{g^{-1}} is left multiplication by g^{-1}; this construction uses maps studied in contexts of École Normale Supérieure-trained geometers and connects to exponential coordinates used by John von Neumann in operator contexts and Hermann Weyl in representation theory. The left-invariance follows from composition of left multiplications, and smoothness of ω follows from smoothness of group operations as in classical texts from University of Paris and research by Élie Cartan and contemporaries. For matrix groups such as SO(n), SL(n,ℝ), and U(n), ω can be computed explicitly via g^{-1}dg, reflecting methods used by Norbert Wiener and Hermann Minkowski in applied analyses.

Maurer–Cartan equation

The Maurer–Cartan equation dω + 1/2 [ω, ω] = 0 is the fundamental integrability condition satisfied by the Maurer–Cartan form, expressing vanishing of a curvature-like 2-form and encoding the Lie algebra bracket in differential form language; this equation appears in works connected to Élie Cartan and influenced later developments by Élie Cartan-students and scholars at institutions like Collège de France and Institute for Advanced Study. The wedge product combined with the Lie bracket yields a g-valued 2-form whose vanishing is equivalent to associativity of local flows and the Baker–Campbell–Hausdorff series studied by John Campbell, Henri Poincaré, and Friedrich Engel. In deformation theory and homological algebra, analogous Maurer–Cartan equations appear in the contexts of Jean-Louis Loday-type algebras, Gerstenhaber brackets, and work by Maxim Kontsevich.

Relation to Lie algebra and exponential map

The Maurer–Cartan form identifies tangent spaces across G with the Lie algebra g, making the exponential map exp: g → G compatible with ω via pullback exp^*ω, which linearizes group multiplication around the identity and relates to the Baker–Campbell–Hausdorff formula studied by Wilhelm Magnus, Garrett Birkhoff, and Nicholas Bourbaki-associated surveys. The form encodes structure constants relative to a basis of g, linking to representation theory developed by Emmy Noether, Hermann Weyl, and later by Harish-Chandra and Roger Howe. In contexts such as the classification of semisimple Lie algebras by Élie Cartan and Killing, ω provides coordinate-free access to roots and Cartan subalgebras tied to groups like E8, SU(n), and Sp(n) studied at institutions including Princeton University and University of Cambridge.

Applications in geometry and physics

The Maurer–Cartan form serves as a model connection form on trivial principal bundles, underpins Cartan geometries used by Élie Cartan in relativity contexts explored by Albert Einstein collaborators, and informs gauge fields in Yang–Mills theory developed by Chen Ning Yang and Robert Mills. It provides moving-frame techniques central to differential geometry used by Élie Cartan, links to holonomy studied by Marcel Berger, and appears in Chern–Simons theory connections by Shiing-Shen Chern and James Simons. In string theory and conformal field theory, Maurer–Cartan-type equations arise in deformation quantization work by Maxim Kontsevich and in BRST constructions associated with Igor Frenkel and Edward Witten; in mechanics, it underlies rigid body dynamics analyses by Leonhard Euler and later treatments in control theory from Richard M. Murray-style research groups.

Examples and computations

For matrix Lie groups G ⊂ GL(n,ℝ), ω(g) = g^{-1}dg gives explicit matrix-valued 1-forms computed in classical examples like SO(3), SE(3), and SL(2,ℝ), with coordinate expressions tied to Euler angles studied by Leonhard Euler and rotation groups analyzed by Sophus Lie. On nilpotent and solvable groups, structure constants yield simple ω satisfying the Maurer–Cartan equation, as in Heisenberg group computations used in harmonic analysis by André Weil and representation theory by Harish-Chandra. In homogeneous space constructions G/H for groups like Poincaré group and Lorentz group, one pulls back ω and uses decomposition into g = h ⊕ m to derive Cartan connections as in studies by Élie Cartan and researchers at Université de Strasbourg.

Generalizations and extensions

The Maurer–Cartan form generalizes to Lie groupoids and Lie algebroids, where algebroid-valued forms satisfy analogous Maurer–Cartan equations studied by researchers affiliated with Université catholique de Louvain and Massachusetts Institute of Technology, and extends to L∞-algebras and A∞-algebras in homotopical algebra developed by Jim Stasheff, Maxim Kontsevich, and Vladimir Drinfeld. Deformation theory frames solutions of the Maurer–Cartan equation as controlling deformations, a perspective central to derived geometry explored by Jacob Lurie and Dennis Gaitsgory. Extensions also include application in noncommutative geometry by Alain Connes and in supergeometry and BRST cohomology used by Batalin and Vilkovisky and by physicists at institutions such as CERN and Princeton University.

Category:Differential geometry