Affine Invariant Submanifolds

Updated 6 April 2026

Affine invariant submanifolds are immersed submanifolds defined by real-linear equations in period coordinates and exhibit invariance under affine and GL+(2,R) actions.
They possess canonical affine invariant measures and curvature invariants determined via jet data that facilitate analysis of ergodic and asymptotic phenomena.
Their classification in moduli space relies on concepts like rank, field of definition, and boundary behavior, which guide deformation theory and compactification.

An affine invariant submanifold is a submanifold, or more generally an immersed suborbifold, of an ambient geometric or moduli space, characterized by invariance under affine or affine-type group actions and the existence of canonical measures, invariants, and geometric structures that are preserved by these actions. The notion appears in several modern areas of geometry, notably in the theory of translation surfaces and higher-dimensional algebraic geometry, affine differential geometry, and harmonic analysis. The defining feature is the interaction between geometric structures (periods, jets, curvature forms) and invariance properties with respect to affine transformations or the action of larger Lie groups such as $\mathrm{GL}_n(\mathbb{R})$ or $SL(2,\mathbb{R})$ .

1. Foundational Definition and Local Linear Structure

Affine invariant submanifolds, as originally formulated in the context of the moduli space of Abelian or quadratic differentials, are immersed complex-analytic submanifolds or orbifolds cut out in local period coordinates by real-linear equations. Explicitly, within a stratum $\mathcal H_g(\kappa)$ of translation surfaces (pairs $(X,\omega)$ with a genus- $g$ curve and Abelian differential $\omega$ with prescribed zeros), local period coordinates identify neighborhoods with open subsets of $\mathbb{C}^N$ via $(X,\omega) \mapsto (\int_\gamma \omega)_{\gamma \in H_1(X,\Sigma;\mathbb{Z})}$ . An affine invariant submanifold $\mathcal{M} \subset \mathcal H_g(\kappa)$ is locally described as the solution set to a system of real-linear equations in these coordinates: $A\,\operatorname{Re}\Phi(X,\omega) + B\,\operatorname{Im}\Phi(X,\omega) = 0, \quad A,B \in M_{k\times n}(\mathbb{R})$ which ensures that every local chart identifies $SL(2,\mathbb{R})$ 0 with a union of translates of a fixed real vector subspace (Wright, 2012, Mirzakhani et al., 2016).

A crucial property is invariance under the $SL(2,\mathbb{R})$ 1 action, which acts linearly on period coordinates. Orbit closures for this group action are always affine invariant submanifolds (Mirzakhani et al., 2016). Tangent spaces of affine invariant submanifolds are thereby globally defined, real-linear subspaces of $SL(2,\mathbb{R})$ 2 consistent across charts (Wright, 2012).

In more general differential-geometric contexts, one defines affine invariant measures and tensors on submanifolds of Euclidean space or more general spaces by demanding equivariance under the affine group, thereby generalizing classical notions like affine arc length and surface measure to higher codimension and arbitrary dimensions (Gressman, 2017).

2. Canonical Measures and Curvature Invariants

A defining feature is the existence of canonical affine invariant measures, constructed via multilinear algebraic and geometric invariant theory considerations. For a $SL(2,\mathbb{R})$ 3-dimensional immersed submanifold $SL(2,\mathbb{R})$ 4, the canonical affine invariant measure $SL(2,\mathbb{R})$ 5 is given locally in parameter coordinates by an infimum over $SL(2,\mathbb{R})$ 6 of suitable norms of the so-called affine curvature tensor. Explicitly, for a set of vector fields $SL(2,\mathbb{R})$ 7 spanning required jets of the immersion $SL(2,\mathbb{R})$ 8, one constructs a $SL(2,\mathbb{R})$ 9-linear tensor

$\mathcal H_g(\kappa)$ 0

and from this defines an $\mathcal H_g(\kappa)$ 1-infimum density furnishing the $\mathcal H_g(\kappa)$ 2-form that is invariant under affine changes of coordinates (Gressman, 2017). The construction ensures $\mathcal H_g(\kappa)$ 3 for affine $\mathcal H_g(\kappa)$ 4 (with $\mathcal H_g(\kappa)$ 5 if volume-preserving), so the measure is adapted precisely to the affine geometry of $\mathcal H_g(\kappa)$ 6.

Oberlin’s curvature condition provides a sharp exponent $\mathcal H_g(\kappa)$ 7 for which $\mathcal H_g(\kappa)$ 8 is bounded above by $\mathcal H_g(\kappa)$ 9 for all convex bodies $(X,\omega)$ 0, with $(X,\omega)$ 1 the total “homogeneous dimension” associated to the order of nondegeneracy (Gressman, 2017).

In the context of translation surfaces and Teichmüller dynamics, natural affine-invariant measures arise from the Lebesgue measure on period coordinates modulo lattice transformations, normalized in terms of flat area, and are preserved under $(X,\omega)$ 2 (Chen et al., 3 Apr 2025).

3. Structure and Classification in Moduli Space

In the moduli of translation surfaces, affine invariant submanifolds admit a classification in terms of their rank and field of definition:

Rank is defined as $(X,\omega)$ 3, for the projection $(X,\omega)$ 4. Full-rank submanifolds ( $(X,\omega)$ 5) are either entire strata or hyperelliptic loci. Any other affine invariant submanifold must have Jacobians of all its points admit extra endomorphisms (Mirzakhani et al., 2016).
Field of definition $(X,\omega)$ 6 is the minimal real subfield such that $(X,\omega)$ 7 is cut out by linear equations with coefficients in $(X,\omega)$ 8. It can be characterized as the intersection of the holonomy fields of all surfaces in $(X,\omega)$ 9 and is always a totally real field of degree at most $g$ 0 (Wright, 2012).

Boundary behaviors are governed by partial compactifications: the tangent space to a boundary component is the intersection of the tangent space to the ambient $g$ 1 with the annihilator of the “vanishing cycles” in relative homology. The boundary components themselves are unions of orbit closures of the group action (Mirzakhani et al., 2015).

Cylinder structure and deformation theory are rigidly constrained. There are only finitely many cylinder circumference ratios and twist directions in a given affine invariant submanifold (Mirzakhani et al., 2015). The Cylinder Deformation Theorem and its partial converse control which deformations remain inside $g$ 2, shaping the flow dynamics and ergodic properties.

4. Invariant PDEs and Differential-Geometric Models

Affine invariant submanifolds also arise as solution sets of affinely invariant PDEs, especially in the geometric study of submanifolds of affine or projective space. Using the jet bundle and stabilizer method of Alekseevsky, Gutt, Manno, and Moreno, $g$ 3-invariant PDEs on $g$ 4-homogeneous spaces are constructed by classifying $g$ 5-invariant hypersurfaces in model fibers of the jet tower (Alekseevsky et al., 2022, Alekseevsky et al., 2019).

In affine differential geometry, for surfaces in $g$ 6 given as $g$ 7, the vanishing of the Fubini–Pick invariant (a complete contraction of the totally symmetric cubic form derived from the Blaschke metric) characterizes improper affine spheres, and is equivalent to being a third-order affine group-invariant PDE in the jets of $g$ 8. Solutions are, up to the $g$ 9 action, portions of nondegenerate quadrics with flat Blaschke metric and parallel affine normal (Alekseevsky et al., 2022).

For higher dimensions, affinely invariant PDEs correspond, via invariant theory, to the zero loci of $\omega$ 0-invariant homogeneous polynomials on spaces of trace-free cubic forms constructed from third jets, where $\omega$ 1 and $\omega$ 2 encode the signature of the Blaschke metric (Alekseevsky et al., 2019). Canonical models and their symmetry groups are classified explicitly in jet space.

5. Dynamical and Arithmetic Aspects

Affine invariant submanifolds are closely related to ergodic theory, dynamics, and number theory. They are precisely the supports of ergodic $\omega$ 3- or $\omega$ 4-invariant measures in the moduli of translation surfaces (Mirzakhani et al., 2016, Chen et al., 3 Apr 2025). Their geometric and dynamical invariants include:

Lyapunov spectra of the Kontsevich–Zorich cocycle; generic affine invariant submanifolds exhibit nontrivial Lyapunov exponents, but for certain “arithmetic Teichmüller curves” these exponents can be completely degenerate, leading to strong rigidity and finiteness results (Aulicino, 2013).
Siegel–Veech constants encode quadratic asymptotics of counts of closed geodesics or cylinders and are determined by intersection-theoretic formulas involving the combinatorics of the stratification, the multi-scale boundary, and the volumes of principal boundary strata. For REL-zero submanifolds, the area Siegel–Veech constant is computed by explicit volume formulas involving divisor classes in the multi-scale compactification (Chen et al., 3 Apr 2025).

These submanifolds control the orbit closures of surfaces arising from polygonal billiards and translation coverings, including unfoldings of rational polygons, with applications to illumination and ergodicity problems (Mirzakhani et al., 2016).

6. Boundary, Compactification, and Degenerations

Partial compactification of strata and affine invariant submanifolds, as constructed by Mirzakhani–Wright, situates the theory within the intersection of algebraic geometry and geometric topology. Degenerations to nodal Riemann surfaces and multilevel graphs in the multi-scale compactification determine the structure of principal boundary components and guide the computation of invariants such as Siegel–Veech constants (Mirzakhani et al., 2015, Chen et al., 3 Apr 2025).

The tangent bundle to the boundary is governed algebraically by the intersection of the ambient tangent space with the annihilator of vanishing cycles, and geometrically by the corresponding restrictions on periods and affine-invariant deformations (Mirzakhani et al., 2015). Cylinder structures, boundary degenerations, and finiteness of orbit types are all intricately encoded in the structure of the compactification, further reinforcing the rigidity phenomena observed in the global theory.

In differential geometry, affine invariants are not restricted to the moduli space setting. For submanifolds in affine space, the affine Gauss map, the associated symplectic/Liouville forms on the space of normal affine $\omega$ 5-planes, and vector-valued curvature invariants provide a framework for understanding local and global affine geometry. The integrability conditions for families of affine Gauss data correspond to Lagrangian submanifold conditions in the affine Grassmannian and yield generalized curvature tensors and Gauss–Bonnet type formulas (Anciaux et al., 2015). These geometric structures have direct analogues in the study of affine invariant submanifolds, elucidating the connections between algebraic, analytic, and topological properties within the affine-invariant paradigm.

References: