Cartan geometry

Cartan geometry
Name	Cartan geometry
Field	Differential geometry
Introduced	1920s
Founder	Élie Cartan

Cartan geometry is a geometric framework that generalizes homogeneous model spaces by encoding local geometry via a principal bundle with a Cartan connection. It synthesizes ideas from Élie Cartan, Felix Klein, and Bernhard Riemann to treat curvature and symmetry uniformly, providing a bridge between model geometries such as Euclidean geometry, Hyperbolic geometry, and Spherical geometry. Cartan geometry appears throughout modern mathematics and theoretical physics, influencing work by figures associated with General relativity, Gauge theory, and the Élie Cartan Prize-level developments in geometric analysis.

Introduction

Cartan geometry is built on the interplay of a model homogeneous space G/K for a Lie group G and a closed subgroup K, together with a curved analogue given by a principal principal bundle with structure group K and a Cartan connection. Originating in the study of moving frames by Élie Cartan in the early twentieth century, it reframes concepts from Felix Klein's Erlangen Program and Bernhard Riemann's metric ideas into a unified language used by geometers such as Hermann Weyl, Élie Cartan (repeated? skip), Charles Ehresmann, and later contributors like Shoshichi Kobayashi and Nomizu. The framework communicates naturally with invariants studied by Sophus Lie and representation-theoretic methods exemplified by Hermann Weyl's work and Harish-Chandra theory.

Historical development

The historical development began with Élie Cartan's adaptation of moving frames and exterior differential systems in the 1920s, contextualizing earlier insights from Felix Klein's Erlangen Program and Bernhard Riemann's 1854 habilitation. Influential episodes include Cartan's classification of symmetric spaces, interactions with Hermann Weyl's gauge ideas, and later formalization by Charles Ehresmann and Henri Cartan's circle. Subsequent advances involved connections to Calabi–Yau manifolds and contributions from scholars connected to institutions such as the Institut des Hautes Études Scientifiques, the École Normale Supérieure, and the Princeton University mathematics department. Work in the mid-to-late twentieth century by Shoshichi Kobayashi, Kobayashi and Nomizu, Robert Hermann, Morris Hirsch, and contemporaries integrated Cartan geometry into modern differential geometry curricula and research programs funded by agencies like the National Science Foundation.

Mathematical definition and formalism

Formally, a Cartan geometry modeled on a homogeneous space G/K consists of a principal principal bundle P → M with structure group K together with a Cartan connection ω: TP → g that identifies each tangent space with the model Lie algebra g of G and is equivariant under K-action. The connection ω generalizes the Maurer–Cartan form on G and satisfies a Cartan condition relating vertical vectors to the Lie algebra k of K. The curvature of ω is given by a two-form valued in g and satisfies structural equations analogous to the Maurer–Cartan equation and Bianchi identities familiar from work by Élie Cartan and Élie Cartan (duplicate?) skip; modern expositions appear in texts by Shoshichi Kobayashi and N. J. Hitchin. Key formal tools include Lie algebra cohomology developed by Claude Chevalley and Samuel Eilenberg, representation theory from Harish-Chandra and Michael Atiyah, and principal-bundle techniques popularized by Charles Ehresmann and Raoul Bott.

Examples and special cases

Important examples include: - Riemannian geometry treated as a Cartan geometry modeled on SO(n+1)/SO(n), connecting to work by Bernhard Riemann and Elie Cartan on curvature and torsion. - Conformal geometry modeled on O(p+1,q+1)/P with ties to Hermann Weyl's conformal considerations and modern treatments by Andreas Cap and Jan Slovák. - Projective geometry modeled on PGL(n+1)/P related to classical projective work by Gaspard Monge and Jean-Victor Poncelet. - Symmetric spaces as Cartan geometries linked to Élie Cartan's classification and the later structural theory of Armand Borel and Claude Chevalley. Other special cases include parabolic geometries studied extensively by Andreas Čap and Jan Slovák, CR geometry associated with Eliashberg-class problems, and affine geometries connected to Klein's program.

Cartan connections and curvature

A Cartan connection ω on P encodes both an absolute parallelism and a soldering form identifying model directions; its curvature Ω = dω + (1/2)[ω,ω] measures deviation from flatness and vanishes exactly for geometries locally isomorphic to G/K. Structural identities generalize the Bianchi identity familiar from S. R. S. Varadhan-adjacent research in General relativity and gauge theory developed by Yang–Mills pioneers like Chen Ning Yang and Robert Mills. The decomposition of curvature into torsion and curvature parts, and its algebraic constraints given by the representation theory of K on g/k, are central in classification results by Elie Cartan and later refinements by Andreas Čap, Jan Slovák, and Nikolai Tanaka.

Relations to Klein and Riemannian geometries

Cartan geometry unites Felix Klein's Erlangen Program—geometry as homogeneous space G/K with symmetry group G—and Bernhard Riemann's metric conception by interpreting Riemannian manifolds as Cartan geometries with model spaces given by constant-curvature metrics. This synthesis influenced subsequent developments by Hermann Weyl on gauge invariance, Albert Einstein in General relativity, and the structural theory of Symmetric space researchers such as Élie Cartan and Armand Borel. It also clarifies how locally homogeneous geometries studied by William Thurston in three-manifold theory embed into parabolic and conformal models analyzed by contemporary geometers including Dennis Sullivan and Grigori Perelman.

Applications and significance in physics and mathematics

Cartan geometry underpins formulations of General relativity (e.g., the Palatini formalism), modern gauge theory descriptions influenced by Yang–Mills theory, and approaches to gravity like Einstein–Cartan theory explored by Dennis Sciama and Tom Kibble. In mathematics, it plays a central role in the study of parabolic geometries, CR structures, and geometric structures on manifolds, informing work by Andreas Čap, Jan Slovák, Michael Eastwood, and others in representation theory and invariant differential operators. Institutional research groups at places like the Max Planck Institute for Mathematics, Institute for Advanced Study, and numerous university departments continue to develop Cartan-geometric methods in topology, analysis, and mathematical physics.

Category:Differential geometry