Carnot Manifolds: Structure and Applications

• Carnot manifold is a smooth manifold with a stratified tangent bundle and graded Lie algebra structure, ensuring full controllability via iterated brackets.
• They underpin Carnot–Carathéodory geometry, providing a natural framework for analyzing subelliptic PDEs and metric measure properties.
• Utilizing nilpotent approximations and scaling maps, Carnot manifolds facilitate precise operator theory and noncommutative geometric analyses.

A Carnot manifold is a smooth manifold equipped with a filtration of its tangent bundle by subbundles, compatible with the Lie bracket, such that iterated brackets of sections from the generating subbundle span the entire tangent space after finitely many steps. This structure underlies the geometry of sub-Riemannian manifolds, defines the Carnot–Carathéodory distance, and provides a natural framework for the analysis of maximally subelliptic partial differential equations and geometric measure-theoretic phenomena in metric geometry (Street, 4 Jul 2025, Choi et al., 2015, Ponge et al., 2017, Antonelli et al., 2021, McDonald, 25 Jan 2026).

1. Filtrations, Graded Structures, and Tangent Groups

A Carnot manifold structure on a smooth manifold $M$ is given by a flag of smooth subbundles

$H^1 \subset H^2 \subset \cdots \subset H^r = TM$

with compatibility conditions $$[\,\Gamma(H^i), \Gamma(H^j)\,] \subset \Gamma(H^{i+j})$$ for $i+j \leq r$. The minimal such $r$ is the step. The initial subbundle $H^1$ is bracket-generating, ensuring controllability via Chow–Rashevskii's theorem (Street, 4 Jul 2025, Choi et al., 2015).

Associated to this flag is the graded bundle

$\mathfrak{g}M = \bigoplus_{w=1}^{r} H^w/H^{w-1},$

with the bracket descending to make each fibre a graded nilpotent Lie algebra. Exponentiating these algebras yields the tangent group bundle $GM \to M$, with natural dilations $\delta_t(\xi_w) = t^w \xi_w$. The homogeneous dimension is $$Q = \sum_{j=1}^r j\,\operatorname{rank}(H^j/H^{j-1})$$, vital for scaling estimates (Choi et al., 2015, McDonald, 25 Jan 2026).

2. Carnot–Carathéodory Geometry

Given a local generating frame $W_1,\ldots,W_r$ for $H^1$, the Carnot–Carathéodory (CC) distance $d(x,y)$ is defined by considering piecewise smooth curves with tangent vectors in the span of $W_j$, i.e., horizontal curves: $$d(x, y) = \inf \left\{ \delta > 0 : \gamma(0) = x, \gamma(1) = y, \; \gamma'(t) = \sum_j a_j(t) W_j(\gamma(t)), \; \sum_j |a_j(t)|^2 \le 1 \right\}.$$ The CC balls $B(x, \delta)$ are the reachable sets under the horizontal flows of length $\leq \delta$. This distance induces the manifold topology and exhibits polynomial volume growth governed by the homogeneous dimension, i.e., $\operatorname{Vol}(B(x, \delta)) \sim \delta^Q$ (Street, 4 Jul 2025, Antonelli et al., 2021).

3. Coordinate Systems and Nilpotent Approximation

The geometry of Carnot manifolds is modeled infinitesimally by Carnot groups: simply-connected nilpotent Lie groups with stratified Lie algebra. At each point, the scaling limit (Gromov tangent cone) is a Carnot group associated with the graded Lie algebra $\mathfrak{g}M(x)$. Privileged coordinate systems (Carnot coordinates) provide charts in which the nilpotent approximation matches this tangent group (Ponge et al., 2017, Choi et al., 2017).

Anisotropic dilations are defined via weights $w_j$ for each coordinate, yielding the scaling: $$\delta_t(x_1, \ldots, x_n) = (t^{w_1} x_1, \ldots, t^{w_n} x_n).$$ In Carnot coordinates, vector fields and control problems asymptotically linearize to their graded, nilpotent limits, providing effective models for local metric and analytic problems (Choi et al., 2015, Ponge et al., 2017).

4. Scaling Maps, Boundary Structures, and Quantitative Tools

Carnot–Carathéodory scaling maps $\Phi_{x, \delta}$ enable quantitative analysis of the geometry:

• In the interior, scaling charts map the cube $Q^n(1)$ to CC balls $B(x, \delta)$ up to controlled distortion. In these coordinates, rescaled vector fields $W_j^{x,\delta}$ remain bracket-generating with uniform estimates.
• Near non-characteristic boundaries (where some $W_{j_0}$ is transverse to $\partial M$), composite scaling charts $\Psi_{x,\delta}$ "flatten" the boundary in Carnot-adapted coordinates, extending the classical Nagel–Stein–Wainger construction (Street, 4 Jul 2025).

Volume estimates and metric homogeneity are achieved via these scaling procedures, critical for local analysis of PDEs and for explicit comparison with model Carnot groups.

5. Functoriality, Tangent Groupoids, and Differential Calculus

Carnot manifolds admit a functorial tangent groupoid structure: the disjoint union

$$\mathcal{G}_H M = GM \sqcup (M \times M \times \mathbb{R}^*)$$

carries a smooth groupoid structure interpolating between the pair groupoid and the osculating Carnot group bundle. Smooth Carnot-compatible maps induce groupoid homomorphisms, and Connes’ tangent groupoid construction for filtered structures explains the necessity of a noncommutative group law in osculating spaces (Choi et al., 2015).

This tangent groupoid formalism supports a Carnot differential calculus: the Carnot differential is a graded group homomorphism between the tangent groups of Carnot manifold maps, generalizing the classical Pansu derivative of mappings between Carnot groups (Choi et al., 2015).

6. Analytic and Geometric Implications

The Carnot manifold framework is central to modern subelliptic analysis, geometric measure theory, and metric geometry:

• Sub-Finsler and sub-Riemannian distances admit stable approximation and converge in the Gromov–Hausdorff sense under controlled Lipschitz perturbations (Antonelli et al., 2021).
• Existence of boundedly compact CC balls ensures continuity of heat kernels and spectral invariants under geometric perturbations.
• Countable rectifiability theory harnesses the Carnot tangent structure: sub-Riemannian manifolds with a.e. constant nilpotent tangent are countably Carnot-rectifiable, and biLipschitz embeddings exist between measurable subsets of the model Carnot group and the manifold (Donne et al., 2019).

7. Operator Theory, Noncommutative Geometry, and Residues

Differential and pseudodifferential operators on Carnot manifolds are classified by their order with respect to the filtration. The associated operator calculus employs the osculating group structure and graded dilations, giving rise to an H-pseudodifferential calculus. The Wodzicki residue and Connes’ trace theorem extend to Carnot manifolds: on a compact Carnot manifold of homogeneous dimension $d_H$, the noncommutative residue gives the unique trace on the algebra of H-pseudodifferential operators of order $-d_H$, and for any normalized trace $\varphi$ on weak trace-class operators,

$$\varphi(T) = \frac{1}{d_H} \operatorname{Res}(T), \quad T \in \Psi_H^{-d_H}(M),$$

where $\operatorname{Res}$ is the Dave–Haller or Couchet–Yuncken residue (McDonald, 25 Jan 2026).

This operator-theoretic framework connects analysis on Carnot manifolds to noncommutative geometry, spectral invariants, and supports the study of subelliptic boundary value problems via scaling and residue calculus (Street, 4 Jul 2025, Hasselmann, 2014, McDonald, 25 Jan 2026).