Flat Torus Theorem for Quasi-Flats

• The paper demonstrates that maximal abelian group actions force stabilization of convex subcomplexes structured as products of quasi-lines or square tilings.
• It employs combinatorial and geometric methods, including wall structures and disc diagrams, to prove precise embedding and rigidity results.
• The work extends classical rigidity by quantitatively linking group actions, nonpositively curved metrics, and quasi-isometric embeddings.

The Flat Torus Theorem for Quasi-Flats generalizes classical rigidity phenomena concerning the geometric and combinatorial structure of spaces admitting nonpositively curved metrics or complexes, with particular emphasis on abelian group actions, convex subcomplexes, and their rigidity properties. The theorem asserts, in varying contexts, that maximal-rank free abelian subgroups acting properly on certain nonpositively curved spaces must stabilize subspaces exhibiting strong geometric regularity—specifically, products of combinatorial lines, square tilings, or flat metrics. This article details the precise formulations, combinatorial and geometric frameworks, proof strategies, related corollaries, and the distinctive implications for quasi-flats and quasi-isometric embeddings.

1. Precise Theorem Statements in Cubical and Quadric Contexts

The Cubical Flat Torus Theorem (Wise et al., 2015) states:

Let $G$ act properly and cocompactly by cubical isometries on a finite-dimensional CAT(0) cube complex $X$. If $A\leq G$ is a highest virtually free-abelian subgroup of rank $n$, then there exists a convex, $A$-invariant subcomplex $Y\subseteq X$, and a $G$-equivariant cubical isomorphism

$Y \cong \prod_{i=1}^n C_i$

where each $C_i$ is a CAT(0) cube complex quasi-isometric to $\mathbb{R}$ ("cubical quasiline"), and $A \cong \mathbb{Z}^n$ acts by rank-one translations on the $C_i$ factors.

The Quadric Flat Torus Theorem (Munro et al., 2024) establishes:

If a non-cyclic free abelian group $G$ acts metrically properly on a quadric complex $X$, then

$G \cong \mathbb{Z}^2$

and $X$ contains a $G$-invariant isometric copy of the regular square tiling $\mathbb{E}^2_\square$, realized via an isometric embedding $F:\mathbb{E}^2_\square \hookrightarrow X$.

A generalization for Riemannian tori (Allen et al., 2022) shows that, under small $L^1$ violations of nonnegative scalar curvature and mild geometric bounds, a torus-like manifold $M$ is diffeomorphic to $\mathbb{T}^3$ and $C^{0,\gamma}$-close to a flat torus metric, yielding a quantitative rigidity phenomenon.

2. Definitions and Key Concepts

• CAT(0) Cube Complex: A simply-connected cube complex where each vertex's link is a flag simplicial complex; cubes are metrized as Euclidean $[0,1]^k$ cells. Convexity coincides for both combinatorial and geodesic metrics in finite dimensions.
• Quadric Complex: A simply-connected, locally quadric square complex, with 2-cells attached along combinatorial 4-cycles and regulated by immersion, fold, 4-cycle, and 6-cycle replacement axioms.
• Flat / Cubical Flat: An isometrically embedded subspace $E\cong\mathbb{R}^n$ in $X$. A cubical flat is a convex subcomplex isomorphic as a cube complex to a product of infinite combinatorial lines $\mathbb{Z}$.
• Quasiline: CAT(0) cube complex quasi-isometric to $\mathbb{R}$.
• Bounded Packing Property: For any subgroup $H\leq G$, bounded packing ensures that among sufficiently many distinct cosets, some pair is separated by arbitrarily large distance in the Cayley graph. This property follows for abelian subgroups stabilized by cubical flats.
• Metrically Proper Action: An action is proper if only finitely many group elements translate a point within a fixed radius. Free actions on locally finite complexes are automatically metrically proper.

3. Geometric Structure and Proof Strategies

In the cubical context (Wise et al., 2015), analysis proceeds via:

• Identification of Euclidean flats $E$ stabilized by abelian subgroups.
• Construction of convex hulls via intersection of half-spaces (wall structures).
• Sageev duality, associating cube complexes to hyperplane intersections, with hyperplane parallelism classes corresponding to Euclidean directions.
• Reduction to finite-index subgroups to arrange disjointness of hyperplane actions, yielding factorization as products of quasilines (each dual to a parallelism class).
• Cocopact, proper action on product quasilines by $\mathbb{Z}^n$ subgroups.

In the quadric setting (Munro et al., 2024):

• Exploitation of disc diagrams, dual curve analysis, and combinatorial curvature via 4- and 6-cycle replacement rules.
• Reduction to cellular torus maps, minimization for local injectivity, and combinatorial Gauss–Bonnet arguments ensuring nonpositive curvature.
• Use of locally minimal maps from universal covers of tori to guarantee global isometric embeddings of square tilings.
• Construction of thickening subsets and retraction maps to secure cocompact, invariant substructures.

In the analytic context (Allen et al., 2022), harmonic maps and Sobolev-Morrey embeddings provide quantitative estimates, employing the Stern circle-map identity to relate scalar curvature integrals to harmonic map regularity and metric Hölder closeness.

4. Corollaries, Rigidity, and Stability Results

• Bounded Packing for Abelian Subgroups: Any abelian subgroup in a properly cocompact cubulated group has bounded packing, achieved by stabilization of product quasilines (Wise et al., 2015).
• Central HNN Extensions and Virtual Specialness: Central HNN extensions $G=H*_{A^t=A}$ where $A$ is maximal free-abelian and $H$ virtually compact-special, retain virtual specialness via the cubical Flat Torus Theorem and completion-retraction arguments.
• Comparison with Classical Rigidity: The cubical theorem strengthens Bridson–Haefliger’s CAT(0) result by providing combinatorial flats and explicit product decompositions, which the general CAT(0) setting does not guarantee.
• Non-cubulable Examples: Groups constructed with specific intersection properties among abelian subgroups may admit proper but not cocompact cubulations, reflecting the necessity of stabilizer commensurability in the theorem’s hypotheses.

5. Essential Combinatorial and Analytic Configurations

• Wall Structures and Parallelism: In cube complexes, walls (hyperplanes) intersect flats, organizing into parallelism classes that define factorization of the convex hulls.
• Replacement Rules: Quadric complexes enforce strict local filling conditions via 4-cycle and 6-cycle replacement diagrams, preventing pathological local geometry.
• Shortcut Ladders and Geodesics: In quadric settings, the existence of shortcut ladders is equivalent to non-geodesicity of paths; disc diagram surgery realizes geodesic rigidity.
• Stern’s Circle-Map Identity: In Riemannian manifolds, lower bounds for integrated Euler characteristics of harmonic circle-level sets underpin rigidity for tori under scalar curvature constraints.

6. Contextualization and Significance for Quasi-Flat Theory

The Flat Torus Theorem for Quasi-Flats situates the study of abelian subgroup actions within the landscape of combinatorial curvature and nonpositive metric geometry, enabling the characterization of group actions, subcomplex structures, and rigidity phenomena. Cubical and quadric variants provide algebraic and geometric criteria for the existence of regular flat subspaces, underpinning further developments in special group theory, systolic geometry, and geometric stability under analytic perturbations. Quantitative results demonstrate stability under small violations of scalar curvature or geometric bounds, yielding explicit control over metric deviation and diffeomorphic structure (Allen et al., 2022). The interplay of combinatorial, geometric, and analytic frameworks ensures the centrality of quasi-flat theory in modern geometric group theory and nonpositive curvature research.