---
title: 'Cartan Connection: Geometry & Gauge Theories'
url: https://www.emergentmind.com/topics/cartan-connection
type: topic
---

# Cartan Connection: Geometry & Gauge Theories

A Cartan connection is an enriched geometric structure that generalizes the classical concept of a principal connection by encoding infinitesimal symmetry breaking, absolute parallelism, and local homogeneous modeling. Cartan connections formalize the notion of "rolling" a geometric model space (often a homogeneous space $G/H$) along a manifold $M$ in an infinitesimal, soldered fashion, and serve as the structural backbone of parabolic, conformal, CR, and equivalence theory geometries, as well as modern gauge theories of gravity.

## 1. Formal Definition and Structure

Given a Lie group $G$ and a closed subgroup $H\subset G$, a Cartan geometry of type $(G,H)$ on a manifold $M$ is defined by:
- A principal $H$-bundle $P\to M$.
- A $\mathfrak{g}$-valued 1-form $\omega\in\Omega^1(P;\mathfrak{g})$ (the Cartan connection) with the following properties:
  1. **Absolute parallelism:** For each $p\in P$, $\omega_p:T_pP\to\mathfrak{g}$ is a linear isomorphism.
  2. **Reproduction of generators:** For each $X\in\mathfrak{h}$, $\omega(X^*)=X$, where $X^*$ is the vertical vector field associated to $X$.
  3. **$H$-equivariance:** For all $h\in H$, $R_h^*\omega = \mathrm{Ad}(h^{-1})\omega$.

This formalism enables a pointwise identification of tangent spaces of $P$ with the Lie algebra $\mathfrak{g}$, with the $H$-bundle structure capturing local homogeneous symmetry and the Cartan 1-form encoding both the principal bundle and "soldering" information [1407.7814][1111.0646][1401.8272].

## 2. Soldering Form, Splitting, and Curvature

If $\mathfrak{g}$ admits an $\mathrm{Ad}(H)$-invariant reductive decomposition $\mathfrak{g}=\mathfrak{h}\oplus\mathfrak{m}$ (as in the canonical Klein geometry case), the Cartan connection splits:
\[
\omega = \omega_{\mathfrak{h}} + \theta
\]
- $\omega_{\mathfrak{h}}$ is an Ehresmann connection (horizontal $H$-connection form).
- $\theta$ (the "soldering form") is an $\mathfrak{m}$-valued 1-form, horizontal and $H$-equivariant, establishing the local identification $T_xM\simeq\mathfrak{g}/\mathfrak{h}$.

The Cartan curvature 2-form is given by
\[
\Omega = d\omega + \tfrac12 [\omega,\omega] \in \Omega^2(P; \mathfrak{g})
\]
splitting as
\[
\Omega = R + T
\]
where $R = d\omega_{\mathfrak{h}} + \tfrac12 [\omega_{\mathfrak{h}}, \omega_{\mathfrak{h}}]$ is the $H$-curvature, and $T = d\theta + [\omega_{\mathfrak{h}}, \theta]$ is the torsion (covariant derivative of the soldering form) [1407.7814][1111.0646][1401.8272].

## 3. Cartan Connections in Parabolic and Equivalence Geometries

Cartan connections are canonical in the context of parabolic geometries (modeled on $(G, P)$ where $P$ is parabolic in a semisimple $G$), and play a central role in CR, projective, and conformal geometry. Here, certain regularity and normality conditions (such as the vanishing of specific torsion or non-harmonic curvature components via the Kostant codifferential) single out canonical Cartan connections. For instance, regular, normal parabolic geometries of type $(G_2, P_1)$ are equivalent to $(2,3,5)$-distributions on 5-manifolds, with the curvature invariant precisely capturing Cartan's "quartic," and the classification of highly symmetric models reduces to explicit algebraic data on the Cartan connection and its curvature [2205.03387].

The structure equations for a Cartan connection incorporate these invariants and enable direct computation of the key geometric quantities:
\[
K = d\omega + \tfrac12 [\omega, \omega] ;\quad \kappa_H \text{ projects } K \text{ to harmonic components}
\]
Such approaches underlie the modern understanding of the equivalence problem and the local geometry of distributions, as demonstrated in the classification of multiply transitive $(2,3,5)$-distributions [2205.03387].

## 4. Cartan Connections in Physics and Gauge Theories of Gravity

In contemporary gauge theory frameworks for gravity, the Cartan connection unifies local Lorentz and translational symmetries. For the Poincaré group, the Cartan connection on the orthonormal frame bundle $P$ is
\[
\omega_C = \omega^{ab} J_{ab} + e^a P_a
\]
with spin connection $\omega^{ab}$ and soldering form $e^a$ (the coframe or tetrad). The Cartan curvature splits into the $SO(1,3)$-curvature and torsion:
\[
R^{ab} = d\omega^{ab} + \omega^a{}_c \wedge \omega^{cb},\quad
T^a = d e^a + \omega^a{}_b \wedge e^b
\]
In teleparallel gravity (TEGR), one sets $R^{ab}=0$ and interprets $T^a$ as the physical field strength, yielding the teleparallel lagrangian equivalently to the Einstein-Hilbert action [2101.07064][2008.13493][1811.03810][2601.05409].

This extends to fully covariant multisymplectic (10-plectic) Hamiltonian treatments: Cartan connections arise naturally as the geometrical data on covariant phase space, with equivariance and gauge covariance not as imposed constraints but as necessary consequences of the Hamiltonian formalism [2601.05409].

## 5. Cartan Connections on Lie Algebroids and Groupoids

The notion of a Cartan connection generalizes beyond principal bundles to Lie algebroids and groupoid theory. Here, a linear connection $\nabla$ on a transitive Lie algebroid $A\to M$ is Cartan if it is compatible with both the anchor and Lie bracket, in the sense that $s_\nabla: A\rightarrow J^1A$ is a Lie algebroid morphism. On groupoids, a Cartan connection is realized as a multiplicatively closed, horizontal $n$-plane field $D\subset TG$ whose infinitesimalization $\nabla$ provides Cartan parallel translation in $G$ and whose curvature encodes the (non-)integrability of the induced pseudogroup action [1605.04365][1304.7838][1904.04915].

## 6. Canonical Examples and Analytic Applications

Cartan connections admit explicit constructions in a wide variety of settings:
- **CR geometry**: Canonical Cartan connections encode all biholomorphic invariants of a CR manifold and characterize the flat model (uniqueness up to automorphisms of the base model cubic) [1405.1341][1405.5362].
- **Singular and degenerate metrics**: For radical-stationary singular metrics, a generalized Cartan connection and curvature can be constructed, extending all classical structural equations and connection forms canonically even in the absence of invertibility for $g$ [1111.0646].
- **Sub-Riemannian and stochastic geometry**: Cartan connections enable construction of canonical stochastic developments on sub-Riemannian manifolds and connect the structure of sub-Laplacians (e.g. the Popp Laplacian) to representation-theoretic and curvature data [2006.16135].
- **Partial differential equations**: Cartan connections associated to evolution equations (e.g. Schrödinger) can be constructed on suitable jet spaces, encoding divergence-type (conservation) structures in geometric language [2004.04622].

## 7. Cartan Connections, Gauge-Diffeomorphism Interplay, and Symmetry Breaking

A Cartan connection unifies internal gauge symmetry with external diffeomorphism invariance: in the Lie algebroid and Atiyah sequence formalism, infinitesimal generators of gauge transformations and diffeomorphisms are encoded simultaneously as derivations, with the curvature of the Cartan connection measuring not only field strength but failure to be a Lie-algebroid morphism. This structure resolves conceptual puzzles in gravitational gauge theories regarding the lift of spacetime vector fields into the bundle and illustrates how the “broken” symmetry of translations is geometrized as soldered diffeomorphisms, with local Lorentz symmetry maintained [1904.04915][1407.7814].

---

**References**  
- [1111.0646]: "Cartan's Structural Equations for Singular Manifolds"  
- [1401.8272]: "The works of Charles Ehresmann on connections: from Cartan connections to connections on fibre bundles"  
- [1407.7814]: "Geometrical Foundations of Cartan Gauge Gravity"  
- [1605.04365]: "Cartan Connections on Lie Groupoids and their Integrability"  
- [1304.7838]: "The Infinitesimalization and Reconstruction of Locally Homogeneous Manifolds"  
- [1904.04915]: "Cartan Connections and Atiyah Lie Algebroids"  
- [2205.03387]: "A Cartan-theoretic classification of multiply-transitive $(2,3,5)$-distributions"  
- [2101.07064]: "Cartan approach to Teleparallel Equivalent to General Relativity: a review"  
- [2008.13493]: "Teleparallel gravity as a gauge theory: coupling to matter with Cartan connection"  
- [1811.03810]: "Teleparallel gravity (TEGR) as a gauge theory: Translation or Cartan connection?"  
- [2601.05409]: "10-plectic formulation of gravity and Cartan connections"  
- [1405.1341], [1405.5362]: Cartan connections in CR equivalence theory  
- [2006.16135]: "Cartan connections for stochastic developments on sub-Riemannian manifolds"  
- [2004.04622]: "Cartan Connection for Schrödinger equation. The nature of vacuum"

Source: https://www.emergentmind.com/topics/cartan-connection