Cartan (2,3,5)-Distribution Overview

• Cartan (2,3,5)-distributions are rank-2 tangent distributions on 5-manifolds characterized by a derived flag with growth vector (2,3,5), exemplifying maximal non-integrability.
• They lead to canonical Cartan connections in parabolic geometry, where invariants like the Cartan quartic classify local models and symmetry reductions.
• These distributions play a crucial role in geometric control theory and sub-Riemannian geometry by linking topological conditions, Lie theory, and differential systems.

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$,
• $(2,3,5)$0, $(2,3,5)$1.

Generically, for any local frame $(2,3,5)$2 of $(2,3,5)$3, the fields $(2,3,5)$4 are linearly independent, and together with $(2,3,5)$5 generate the full tangent space at each point. Locally, three 1-forms $(2,3,5)$6 annihilate $(2,3,5)$7. With a coframing completed by $(2,3,5)$8, Cartan's canonical structure equations are: $(2,3,5)$9 These equations guarantee the non-integrability and the rank jumps of the bracket filtration (Adachi, 26 Oct 2025).

2. Local Models and Fundamental Invariants

The flat (maximally symmetric) model for the Cartan $G_2$0-distribution is realized on $G_2$1 or, in coordinates, by the standard Monge equation $G_2$2 or in octonionic/projective form on a quadric $G_2$3 (Bor et al., 2023). The associated Lie algebra of infinitesimal automorphisms in the flat case is the split real form of $G_2$4 and attains the maximal dimension 14 (The, 2022), while for generic $G_2$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$6 with a single curvature invariant—the Cartan quartic $G_2$7, a binary quartic whose root-type classifies local models (The, 2022). The vanishing of the Cartan quartic is equivalent to local flatness, corresponding to the homogeneous $G_2$8 geometry.

3. Topological and Homotopical Classification

The existence of a Cartan $G_2$9-distribution on a 5-manifold $(2,3,5)$0 is topological. $(2,3,5)$1 admits such a distribution if and only if it admits an "almost Cartan structure": a flag $(2,3,5)$2 with $(2,3,5)$3, and three 2-forms $(2,3,5)$4 satisfying Cartan's nondegeneracy relations pointwise. The tangent bundle must split as $(2,3,5)$5 for some 2-plane bundle $(2,3,5)$6 (Adachi, 26 Oct 2025, Dave et al., 2016).

On closed, orientable $(2,3,5)$7 this is equivalent to:

• $(2,3,5)$8 is spin ($(2,3,5)$9),
• The Kervaire semicharacteristic $M$0,
• For an orientable rank-2 subbundle $M$1, $M$2 in $M$3 (Adachi, 26 Oct 2025).

On open manifolds, only the spin and Euler class conditions apply, with the $M$4-principle ensuring equivalence of formal and genuine solutions (Dave et al., 2016).

All obstructions are thus topological and encoded in characteristic classes and the splitting of $M$5 (Adachi, 26 Oct 2025).

4. Cartan Connections, Parabolic Geometry, and Curvature

Modern theory casts $M$6-distributions as regular, normal parabolic geometries of type $M$7. The Cartan connection $M$8 on a $M$9-principal bundle $D \subset TM$0 is a $D \subset TM$1-valued 1-form, equivariant and reproducing the fundamental vertical fields. Its curvature $D \subset TM$2 satisfies $D \subset TM$3, ensuring regularity and normality (The, 2022).

The harmonic component of the curvature, the "Cartan quartic" $D \subset TM$4, lives in $D \subset TM$5, and classifies the distribution up to local isomorphism (The, 2022). The bracket algebra at each point is the unique 5-dimensional nilpotent Lie algebra with generators $D \subset TM$6 (Dave et al., 2016).

Cartan’s canonical coframe and structure equations, including normalized torsion and curvature terms, provide a complete set of local invariants (Koiller et al., 2011).

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 $D \subset TM$7 symmetry (Bor et al., 2023).
• Monge Equations: The bracket-generating property is typically realized for underdetermined ODEs $D \subset TM$8, giving the derived flag structure in coordinates (Randall, 2015, Doubrov et al., 2013).
• 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 (Willse, 2014, Doubrov et al., 2013).
• Prolongation and Higher-Dimensional Analogues: Cartan’s framework generalizes to $D \subset TM$9-distributions with $(2,3,5)$0 symmetry and higher via similar symbolic and prolongation constructions (Ishikawa et al., 6 Jan 2025, Nurowski, 2023).

6. Control-Theoretic and Geometric Perspectives

Abnormal extremals (“rigid curves”) of a Cartan $(2,3,5)$1-distribution form a fundamentally dual theory: the space of singular (abnormal) trajectories of the system with growth $(2,3,5)$2 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 (Ishikawa et al., 2013). Cartan $(2,3,5)$3-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,5)$4 to any $(2,3,5)$5-distribution, with conformal holonomy contained in $(2,3,5)$6 (Dave et al., 2016). In flat models, the Fefferman–Graham ambient metric has holonomy $(2,3,5)$7 (Willse, 2014). 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 (The, 2022). The parabolic geometry point of view provides the most general and conceptually unified framework (The, 2022).

---

Key references:

• (Adachi, 26 Oct 2025) for topological existence, homotopy classification, and formal-geometric framework
• (The, 2022) for modern parabolic geometry, Cartan connection construction, and symmetry/curvature structure
• (Bor et al., 2023) for explicit flat/quadratic models, geometrizations (rolling, dancing polygons), and $(2,3,5)$8 symmetry
• (Dave et al., 2016, Koiller et al., 2011) for characteristic class constraints and Cartan’s equivalence method
• (Doubrov et al., 2013, Willse, 2014) 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)$9-distributions.