Locally Homogeneous Geometric Structures

• Locally Homogeneous Geometric Structures are defined by constant local invariants across a manifold due to the action of local automorphism groups, generalizing homogeneous spaces.
• They rely on Cartan geometries and curvature jet theory, with results like Singer's theorem ensuring local isomorphism of neighborhoods via precise curvature matching.
• Applications extend from Riemannian and Lorentzian geometries to complex and topological contexts, underpinning classification, rigidity, and moduli space analyses.

Locally homogeneous geometric structures are those whose local invariants remain constant across the manifold in a manner dictated by the action of local automorphism groups. Originating in the study of Riemannian and pseudo-Riemannian manifolds, the modern theory centers on the framework of Cartan geometries and the concept of rigidity: a geometric structure is locally homogeneous if, around every pair of points, one can find neighborhoods and a local automorphism mapping one to the other. This condition generalizes the notion of geometries modeled on homogeneous spaces (G/H-structures) and provides the underpinning for a unified treatment across differential, complex, and topological categories. The structure of orbits of local automorphisms, the integrability of infinitesimal symmetries, and the algebraic machinery of jets, curvature, and Cartan connections are central to this field.

1. Rigid Geometric Structures and Cartan Geometries

A rigid geometric structure on a manifold is one for which the Lie algebra of infinitesimal automorphisms is finite-dimensional at every point. Classical examples include (pseudo-)Riemannian metrics, conformal structures (in dimension at least three), projective structures, and affine connections. Cartan geometry provides a universal framework for expressing such structures. Given a Lie group $G$ and a closed subgroup $P$, the model space is $X = G/P$. A Cartan geometry of type $(G, P)$ on a manifold $M$ comprises a principal $P$-bundle $\pi: B \to M$ equipped with a $\mathfrak{g}$-valued 1-form $\omega$, called the Cartan connection, which satisfies precise regularity, equivariance, and normalizations encoding the model geometry at each point. The curvature 2-form $\Omega = d\omega + \frac{1}{2}[\omega, \omega]$ and its covariant derivatives (universal derivatives) encode all local invariants. The rigid cases are those for which higher order jets of the structure control all local symmetries (Pecastaing, 2014).

2. Characterization and Criteria for Local Homogeneity

Local homogeneity in this context means that for every pair of points, there exist neighborhoods and a local automorphism (diffeomorphism or biholomorphism, possibly lifting to a principal bundle automorphism) mapping one point to the other while preserving the geometric structure. A central result is the generalized Singer theorem [Singer 1956, (Pecastaing, 2014)]: in the classical Riemannian context, there exists an integer $k_M$ (bounded above by $\frac{n(n-1)}{2}$ in dimension $n$) such that if the jets of the curvature up to order $k_M$ agree at two points (via a linear isometry), then the manifold is locally homogeneous. This result extends to all Cartan geometries: if the universal jet of the curvature up to order $\dim P$ lands in a single $P$-orbit over the frame bundle, the geometry is locally homogeneous.

Analytically, in the real-analytic category, local flatness or agreement of curvature jets implies extension to genuine local automorphisms via Nomizu-Melnick-type continuation.

3. Orbit Structure, Stratification, and Integrability

Gromov’s orbit structure theorem (Pecastaing, 2014) addresses the decomposition of a manifold under the action of local automorphisms for rigid geometric structures. There exists an open dense subset which splits into finitely many invariant strata, each with a well-defined orbit structure: orbits are closed, embedded, and of constant dimension within each stratum (assuming the structure group is algebraic). The concept of Killing generators formalizes the infinitesimal symmetries: order-$r$ Killing generators at a bundle point correspond, via the curvature jet, to directions annihilating the order-$r$ derivative. On an open dense integrability domain, all order-$r_0$ Killing generators exponentiate to local Killing fields, ensuring the existence of local group actions.

This integrability is deeply related to the algebraic properties of the jet spaces (Noetherian ring-theoretic stabilization), stratification by orbit type in jet parameters, and Frobenius-type theorems for involutive distributions defined by symmetries.

4. Lifting, Classification, and Model Theory

A locally homogeneous geometric structure modeled on a homogeneous space $G/H$ can, under appropriate algebraic conditions, be “lifted” to a structure modeled on a different, often larger, homogeneous space $G'/H'$. This operation, formalized via covering spaces and homomorphisms between structure groups, has a profound effect on classification. For instance, every flat affine structure can be interpreted as a flat projective structure on a finite cover (McKay, 2011). The classification of locally homogeneous structures is thus tightly linked to the inclusion relationships among homogeneous model geometries, and understanding these relationships enables the organization of apparently disparate geometric structures within unified moduli spaces.

5. Compactness, Moduli, and Local Uniqueness

Under suitable bounds (e.g., on sectional curvature), the collection of geometric models for locally homogeneous spaces is compact in suitable pointed topologies (e.g., $C^{1,\alpha}$), and every locally homogeneous Riemannian manifold with bounded curvature admits a unique, up-to-isometry geometric model (Pediconi, 2019). The moduli space of geometric models is precompact, enabling analysis of convergence, finiteness, and continuity properties for sequences of (possibly collapsing) locally homogeneous spaces. This compactness links algebraic convergence (control of structure constants in local symmetry algebras) to analytic convergence of the underlying geometry.

6. Special Geometric and Topological Cases

Locally homogeneous geometric structures are not confined to the classical Riemannian context. In Lorentzian signature, local homogeneity with indecomposable, non-irreducible holonomy is equivalent to locally symmetric plane-wave geometry (Greenwood et al., 2024). In the topological category, finite-dimensional homogeneous locally compact ANR spaces have a “cohomological bubble” local structure, yielding local two-sidedness and dimensionally full-valuedness analogous to that of manifolds (Valov, 2023). For holomorphic and complex-affine geometric structures, local homogeneity persists for a broad class of non-Kähler, algebraic-dimension zero, or locally conformal Kähler manifolds (Biswas et al., 2024, Biswas et al., 13 Nov 2025).

7. Applications and Broader Mathematical Impact

The theory of locally homogeneous geometric structures has far-reaching implications across geometry and mathematical physics. It underpins the classification of three-manifolds via Thurston’s geometrization, the study of moduli and deformation spaces via holonomy character varieties, and rigidity phenomena for higher Rank and exceptional holonomy geometries (Goldman, 2010, Davalo et al., 14 Oct 2025). Spectral invariants (such as the Laplace spectrum) often reflect the local homogeneity of a manifold, with strong results on spectral rigidity in low dimensions (Lin et al., 2019, Lin et al., 2019). The theory also interfaces with the classification of geometric structures on fiber bundles (including connections), Cartan and parabolic geometries, and the analysis of the algebraic and analytic invariants determining local orbits and automorphism groups.

In summary, locally homogeneous geometric structures, governed by the algebraic and analytic behavior of their curvature and jets under Cartan-tangent and group-theoretic frameworks, provide a unifying language for the study of local and global symmetry in geometry, topology, and complex analysis, with systematic criteria for detection, classification, and deformation (Pecastaing, 2014, McKay, 2011, Pediconi, 2019, Valov, 2023, Biswas et al., 2024, Biswas et al., 13 Nov 2025, Greenwood et al., 2024, Goldman, 2010).