---
title: Cartan (2,3,5)-Distribution Overview
url: https://www.emergentmind.com/topics/cartan-distribution
type: topic
---

# Cartan (2,3,5)-Distribution Overview

A Cartan distribution, specifically the Cartan $(2,3,5)$-distribution, is a rank-2 tangent distribution on a 5-manifold whose weak derived flag follows a “maximally non-integrable” sequence with growth vector $(2,3,5)$. This structure, central in exterior differential systems and parabolic geometry, played a pioneering role in É. Cartan’s classification theory and is intimately connected to the split real form of the exceptional Lie group $G_2$. The existence, classification, and geometric properties of $(2,3,5)$-distributions are governed by deep topological, Lie-theoretic, and differential-geometric invariants, with broad applications in geometric control theory, differential geometry, and the theory of parabolic Cartan connections.

## 1. Definition and Local Structure

Let $M$ be a smooth 5-dimensional manifold. A rank-2 tangent distribution $D \subset TM$ is called a Cartan $(2,3,5)$-distribution if the iterated Lie brackets expand as:
- $D^1 := D$, 
- $D^2 := [D,D]$, $\operatorname{rank} D^2 = 3$,
- $D^3 := [D^2, D^2] = TM$, $\operatorname{rank} D^3 = 5$.

Generically, for any local frame $X, Y$ of $D$, the fields $X, Y, [X, Y]$ are linearly independent, and together with $[X,[X,Y]], [Y,[X,Y]]$ generate the full tangent space at each point. Locally, three 1-forms $\alpha_1, \alpha_2, \alpha_3$ annihilate $D = \{\alpha_1 = \alpha_2 = \alpha_3 = 0\}$. With a coframing completed by $\alpha_4, \alpha_5$, Cartan's canonical structure equations are:
\[
\begin{aligned}
d\alpha_1 &\equiv \alpha_3 \wedge \alpha_4 \mod \{\alpha_1, \alpha_2\}, \\
d\alpha_2 &\equiv \alpha_3 \wedge \alpha_5 \mod \{\alpha_1, \alpha_2\}, \\
d\alpha_3 &\equiv \alpha_4 \wedge \alpha_5 \mod \{\alpha_1, \alpha_2, \alpha_3\}.
\end{aligned}
\]
These equations guarantee the non-integrability and the rank jumps of the bracket filtration [2511.01890].

## 2. Local Models and Fundamental Invariants

The flat (maximally symmetric) model for the Cartan $(2,3,5)$-distribution is realized on $S^3 \times S^2$ or, in coordinates, by the standard Monge equation $z' = (y'')^2$ or in octonionic/projective form on a quadric $Q \subset \mathbb{R}P^6$ [2304.07694]. The associated Lie algebra of infinitesimal automorphisms in the flat case is the split real form of $G_2$ and attains the maximal dimension 14 [2205.03387], while for generic $(2,3,5)$-distributions, the symmetry algebra drops to dimension at most 7.

Cartan’s local equivalence problem is solved through a canonical parabolic Cartan connection of type $(G_2, P_1)$ with a single curvature invariant—the Cartan quartic $Q$, a binary quartic whose root-type classifies local models [2205.03387]. The vanishing of the Cartan quartic is equivalent to local flatness, corresponding to the homogeneous $G_2/P_1$ geometry.

## 3. Topological and Homotopical Classification

The existence of a Cartan $(2,3,5)$-distribution on a 5-manifold $M$ is topological. $M$ admits such a distribution if and only if it admits an "almost Cartan structure": a flag $D \subset E \subset TM$ with $\operatorname{rank} D = 2, \operatorname{rank} E = 3$, and three 2-forms $(\omega_1, \omega_2; \omega_3)$ satisfying Cartan's nondegeneracy relations pointwise. The tangent bundle must split as $TM \cong \xi \oplus \varepsilon^1 \oplus \xi$ for some 2-plane bundle $\xi$ [2511.01890, 1603.09700].

On closed, orientable $M$ this is equivalent to:
- $M$ is spin ($w_1(M) = w_2(M) = 0$),
- The Kervaire semicharacteristic $\kappa(M)=0$,
- For an orientable rank-2 subbundle $D$, $e(D)^2 = \frac{1}{2}p_1(M)$ in $H^4(M; \mathbb{Z})$ [2511.01890].

On open manifolds, only the spin and Euler class conditions apply, with the $h$-principle ensuring equivalence of formal and genuine solutions [1603.09700].

All obstructions are thus topological and encoded in characteristic classes and the splitting of $TM$ [2511.01890].

## 4. Cartan Connections, Parabolic Geometry, and Curvature

Modern theory casts $(2,3,5)$-distributions as regular, normal parabolic geometries of type $(G_2, P_1)$. The Cartan connection $\omega$ on a $P_1$-principal bundle $\mathcal{G} \to M$ is a $\mathfrak{g}_2$-valued 1-form, equivariant and reproducing the fundamental vertical fields. Its curvature $\Omega = d\omega + \frac{1}{2}[\omega, \omega]$ satisfies $\Omega \in \ker(\partial^*)^1 \subset \Lambda^2(\mathfrak{g}_2/\mathfrak{p}_1) \otimes \mathfrak{g}_2$, ensuring regularity and normality [2205.03387].

The harmonic component of the curvature, the "Cartan quartic" $Q$, lives in $H_2(\mathfrak{p}_+, \mathfrak{g}_2) \cong S^4(\mathbb{C}^2)$, and classifies the distribution up to local isomorphism [2205.03387]. The bracket algebra at each point is the unique 5-dimensional nilpotent Lie algebra with generators $e_1, e_2, [e_1, e_2]=e_3, [e_1, e_3]=e_4, [e_2, e_3]=e_5$ [1603.09700].

Cartan’s canonical coframe and structure equations, including normalized torsion and curvature terms, provide a complete set of local invariants [1110.1356].

## 5. Examples, Explicit Realizations, and Classifications

- **Flat Model**: The rank-2 distribution on the 5-dimensional real projective quadric (via the split octonions), or equivalently, the configuration space of two spheres rolling without slip or twist and radius ratio 3:1, yields the maximally symmetric case with $G_2$ symmetry [2304.07694].

- **Monge Equations**: The bracket-generating property is typically realized for underdetermined ODEs $z'' = F(x, y, y', z')$, giving the derived flag structure in coordinates [1506.02473, 1305.7297].

- **Homogeneous Models**: Models with symmetry algebras of dimension 6, 7, or 14 (G₂), depending on the root-type of the Cartan quartic, have been fully classified, including exceptions missed by Cartan’s original classification [1411.7172, 1305.7297].

- **Prolongation and Higher-Dimensional Analogues**: Cartan’s framework generalizes to $(8,15)$-distributions with $F_4$ symmetry and higher via similar symbolic and prolongation constructions [2501.02789, 2302.13606].

## 6. Control-Theoretic and Geometric Perspectives

Abnormal extremals (“rigid curves”) of a Cartan $(2,3,5)$-distribution form a fundamentally dual theory: the space of singular (abnormal) trajectories of the system with growth $(2,3,5)$ is itself a 5-manifold carrying a dual cone structure; this duality is not involutive at the level of regular versus totally irregular abnormal extremals [1308.2501]. Cartan $(2,3,5)$-distributions are thus central objects in sub-Riemannian geometry, optimal control, and the calculus of variations, encoding the structure of extremal trajectories and their duals.

## 7. Associated Conformal, Holonomy, and Parabolic Structures

Nurowski’s construction attaches a natural conformal structure of signature $(2,3)$ to any $(2,3,5)$-distribution, with conformal holonomy contained in $G_2$ [1603.09700]. In flat models, the Fefferman–Graham ambient metric has holonomy $G_2^*$ [1411.7172]. The geometry is reflected in associated projective, conformal, and parabolic structures, with Cartan’s method systematically producing invariants and equivalence classes via canonical coframes and connections [2205.03387]. The parabolic geometry point of view provides the most general and conceptually unified framework [2205.03387].

---

**Key references**:
- [2511.01890] for topological existence, homotopy classification, and formal-geometric framework
- [2205.03387] for modern parabolic geometry, Cartan connection construction, and symmetry/curvature structure
- [2304.07694] for explicit flat/quadratic models, geometrizations (rolling, dancing polygons), and $G_2$ symmetry
- [1603.09700], [1110.1356] for characteristic class constraints and Cartan’s equivalence method
- [1305.7297], [1411.7172] for classification, exceptional models, and explicit conformal/ambient metrics

This comprehensive structure governs the rigorous existence, model theory, classification, and geometric properties of Cartan $(2,3,5)$-distributions.

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