Cartan Geometry: Structures & Applications

• Cartan geometry is a framework combining Lie groups, principal bundles, and connections to model curved spaces with an infinitesimal homogeneous structure.
• It extends classical G-structures through invariant structural equations and normalization procedures, enabling precise classification of geometric invariants.
• It underpins applications in conformal, projective, and gravitational theories, offering unified methods to analyze curvature, torsion, and holonomy.

Cartan geometry is an overview of Lie-theoretic, bundle-theoretic, and connection-based techniques in differential geometry. It generalizes the infinitesimal structure of homogeneous spaces to curved manifolds, subsuming $G$-structures, principal connections, and curvature-based invariants into a unified formalism. Cartan geometry models a manifold "infinitesimally" after a Klein geometry $G/H$, replacing the homogeneous model by a curved analogue equipped with a principal $H$-bundle and a $\mathfrak{g}$-valued Cartan connection. This framework underpins the modern theory of geometric structures, equivalence problems, parabolic geometries, the foundations of gauge-theoretic gravity, and infinite-dimensional generalizations.

1. Historical and Conceptual Origins

Cartan geometry arises from the attempt to generalize Felix Klein's Erlangen Program, which classified geometries using transformation groups and their homogeneous spaces $G/H$. Élie Cartan sought an "infinitesimal" version by allowing model geometries to "bend": at each point of a manifold, one attaches a structure modeled on $G/H$, sewn together via a connection valued in $\mathfrak{g} = \mathrm{Lie}\,G$ (Scholz, 2022). This approach led to the concept of a Cartan connection on a principal $H$-bundle, reproducing the Maurer–Cartan form in the flat (homogeneous) case, and introducing curvature and torsion as manifestations of inhomogeneity.

The distinction between Cartan's and Weyl's approaches is notable. While Weyl constructed gauge and affine connections derived from infinitesimal rotation groups acting in tangent spaces, Cartan emphasized the soldering of model spaces and the allowance of arbitrary model geometries $L/G$, culminating in the method of prolonged coframes, invariant structural equations, and the reduction of structure group by normalization procedures (Scholz, 2022).

2. Foundational Definition and Structure Equations

A Cartan geometry of type $(G,H)$ on a manifold $G/H$0 consists of

• a principal $G/H$1-bundle $G/H$2,
• a $G/H$3-valued 1-form $G/H$4 (the Cartan connection),

subject to the following:

1. Pointwise isomorphism: For each $G/H$5, $G/H$6 is a linear isomorphism.
2. $G/H$7-equivariance: $G/H$8 for all $G/H$9.
3. Reproduces fundamental fields: On the vertical vector field $H$0 generated by $H$1, $H$2 (Cattafi, 2019).

The curvature is the $H$3-valued 2-form

$H$4

measuring deviation from flatness (i.e., from the local model $H$5).

For reductive pairs $H$6 (e.g., for Riemannian, conformal, or affine geometries), $H$7 decomposes as

$H$8

with $H$9 an Ehresmann connection and $\mathfrak{g}$0 the soldering form. The structure equations split into:

• Torsion: $\mathfrak{g}$1,
• Curvature: $\mathfrak{g}$2.

Flatness ($\mathfrak{g}$3) characterizes local isomorphism to the homogeneous geometry $\mathfrak{g}$4 (Cattafi, 2019, Arteaga et al., 2011).

3. Cartan Reduction and $\mathfrak{g}$5-Structures

Classically, Cartan geometry generalizes the theory of $\mathfrak{g}$6-structures—reductions of the frame bundle $\mathfrak{g}$7 to a subgroup $\mathfrak{g}$8—by subsuming the process of structure-group reduction and invariant classification. The Cartan reduction method proceeds via successive normalizations:

1. Bundle of adapted coframes: Start with the $\mathfrak{g}$9-structure, choose local coframes spanning the solder form.
2. Torsion normalization: Define the first structure equation, $G/H$0. Normalize components of $G/H$1 by reduction to a subgroup.
3. Higher reductions: Iteratively reduce the group by further normalization of the curvature, expressing invariants in the remaining (non-normalizable) components.

A canonical example is that of planar 3-webs, where the Cartan connection and its curvature (the Blaschke–Chern scalar) are the sole local invariants classifying the web up to diffeomorphism (Arteaga et al., 2011, Arteaga et al., 2011). The same methodology underlies the theory of conformal, projective, and CR geometries (Arteaga et al., 2011).

Step	Object or Equation	Meaning
1. Start	$G/H$2-structure, coframe $G/H$3	Initial reduction
2. Torsion norm.	$G/H$4	Torsion normalization
3. Curvature norm.	$G/H$5	Curvature normalization
4. Invariants remain	Components of torsion/curvature	Fundamental invariants

4. Holomorphic and Infinite-Dimensional Cartan Geometries

In the complex analytic setting, a holomorphic Cartan geometry of type $G/H$6 on a complex manifold $G/H$7 is a pair $G/H$8 of a holomorphic principal $G/H$9-bundle and a holomorphic Cartan connection, with curvature $G/H$0. Recent developments extend classical results: rigidity for manifolds of algebraic dimension zero, classification of branched flat holomorphic Cartan geometries, and generalizations to infinite-dimensional structure groups (Biswas et al., 2018, Biswas et al., 2019).

Infinite-dimensional Cartan geometry replaces the finite-dimensional model with an infinite-dimensional principal $G/H$1-bundle and a Lie-algebra-valued 1-form satisfying the Cartan axioms. This setup is applicable even when no honest group complexification exists (e.g., for diffeomorphism groups), and provides the foundation for generalizing Kempf–Ness theory, Futaki characters, and convexity properties in infinite-dimensional geometric invariant theory, particularly relevant to Kähler geometry, deformation quantization, and gauge theory (Diez et al., 2024, Michor et al., 2024).

5. Cartan Geometries in Geometric Structures and Physical Theories

Cartan geometry underlies and clarifies a wide array of geometric structures:

• Conformal and Weyl geometry: Second-order conformal (or parabolic) Cartan geometries yield a natural framework for Weyl gravity and the construction of conformal invariants such as the Bach tensor. The Cartan connection encodes the Weyl gauge field, spin connection, and conformal boosts, and the dressing field method absorbs spurious degrees of freedom (Attard et al., 2015).
• Projective and CR-geometry: Analogous construction with appropriate parabolic model yields projective or CR Cartan geometries with their specific invariants (Arteaga et al., 2011).
• Spacetime geometry and gravity: The theory provides a precise gauge-theoretic and principal-bundle setting for General Relativity and its generalizations, encoding both coframes and connections and their gauge-theoretic unification; for instance, the description of Einstein–Cartan theory or the MacDowell–Mansouri action for (A)dS gravity (François et al., 2024, Jennen, 2014, Koivisto et al., 2019).
• Cartan geometry of degenerate or lightlike structures: Recent work develops Cartan geometry modeled on lightlike cones, leading to canonical tractor bundles and connections on lightlike manifolds beyond parabolic or reductive cases (Morón et al., 27 Aug 2025). Related models for Carrollian geometry encode the residual geometry at null infinity in gravitational radiation (Herfray, 2021).

6. Cartan Bundles, Groupoids, and Generalizations

A modern conceptual advance is the equivalence between Cartan geometries and transitive Lie groupoids endowed with multiplicative forms (Cartan bundles). This generalizes both classical Cartan connections and $G/H$2-structures, with categories of Cartan geometries corresponding to Lie–Pfaffian groupoids with full multiplicative 1-forms. These ideas provide a bridge to non-integrable geometries and the Cartan–Pfaffian analysis of geometric PDEs (Cattafi, 2019).

Branched and generalized Cartan geometries extend the classical definition by weakening the isomorphism condition (pointwise invertibility) to allow degeneracies along divisors (branched structures), yielding greater flexibility in complex geometry while preserving flatness away from the branch locus (Biswas et al., 2019).

7. Applications, Invariants, and Classification Theorems

The Cartan framework yields powerful classification theorems for geometric structures:

• Varieties of minimal rational tangents: The VMRT theory in algebraic geometry fuses Cartan geometry with Mori theory, utilizing cone structures, characteristic connections, and Cartan's classification method to obtain rigidity results for Fano manifolds (Hwang, 2015).
• Holonomy and metric cones: For affine and Riemannian Cartan geometries, local holonomy groups directly encode decomposition theorems. Compactness of the Cartan holonomy group implies that the manifold is locally a product of metric cones (Scala et al., 2019).
• Gauge-theoretic generalizations: Cartan geometries with structure group extensions (e.g., the general linear Cartan Khronon model) serve as unifying gauge-theoretic frameworks for gravity and emergent dark-matter models (Koivisto et al., 2019).

Cartan's area-based geometry further demonstrates that variationally defined geometries (e.g., via area functionals) naturally induce a full Cartan structure on suitable Grassmannian bundles, unifying classic notions of metric, orthogonality, and connection (Moheddine, 2012).

---

References:

• (Arteaga et al., 2011): Ideas of E. Cartan and S. Lie in modern geometry: $G/H$3-structures and differential equations. Lecture 1
• (Arteaga et al., 2011): Lecture 4
• (Scholz, 2022): H. Weyl's and E. Cartan's proposals for infinitesimal geometry in the early 1920s
• (Cattafi, 2019): Cartan geometries and multiplicative forms
• (François et al., 2024): Cartan geometry, supergravity, and group manifold approach
• (Morón et al., 27 Aug 2025): Cartan geometries with model the future lightlike cone of Lorentz-Minkowski spacetime
• (Attard et al., 2015): Weyl gravity and Cartan geometry
• (Scala et al., 2019): Cones and Cartan geometry
• (Koivisto et al., 2019): The General Linear Cartan Khronon
• (Diez et al., 2024): Cartan Geometry and Infinite-Dimensional Kempf-Ness Theory
• (Michor et al., 2024): Geometry of infinite dimensional Cartan Developments
• (Biswas et al., 2018): Cartan geometries on complex manifolds of algebraic dimension zero
• (Biswas et al., 2019): Generalized Holomorphic Cartan Geometries
• (Jennen, 2014): Cartan geometry of spacetimes with a nonconstant cosmological function $G/H$4
• (Hwang, 2015): Mori geometry meets Cartan geometry: Varieties of minimal rational tangents
• (Moheddine, 2012): The concept of orthogonality in Cartan's geometry based on the concept of area
• (Herfray, 2021): Carrollian manifolds and null infinity: A view from Cartan geometry