[Paper Review] Notes on compact nilspaces

Pablo Candela|arXiv (Cornell University)|May 28, 2016

Limits and Structures in Graph Theory21 references3 citations

TL;DR

This paper provides a comprehensive topological and measure-theoretic analysis of compact nilspaces, establishing that every compact nilspace of finite rank with connected structure groups is isomorphic to a nilmanifold with a Host-Kra cube structure. The work develops tools including continuous systems of measures and inverse limit decompositions, proving rigidity and automatic continuity for morphisms, and characterizing toral nilspaces via their translation and structure groups.

ABSTRACT

These notes form the second part of a detailed account of the theory of nilspaces developed by Camarena and Szegedy. Here we focus on nilspaces equipped with a compact topology that is compatible with the cube structure, called compact nilspaces. The material in these notes relies on the first part of our exposition (available as arXiv:1601.03693), and it expands on the third chapter of the paper of Camarena and Szegedy, providing more detailed proofs of their results. To that end we also include several additional results that are implicit in their paper.

Motivation & Objective

• To characterize compact nilspaces using inverse limits of finite-rank nilspaces.
• To establish that finite-rank compact nilspaces with connected structure groups are isomorphic to nilmanifolds with Host-Kra cube structures.
• To develop a theory of continuous systems of measures for compact nilspaces, enabling the construction of invariant Borel probability measures.
• To prove automatic continuity for Borel morphisms between compact nilspaces and rigidity results for morphisms into finite-rank nilspaces.
• To characterize toral nilspaces via the interplay between translation groups, structure groups, and stabilizers.

Proposed method

• Uses inverse limit theorems to represent general compact nilspaces as limits of finite-rank nilspaces, relying on the corner-completion and ergodicity axioms.
• Applies continuous systems of measures to construct invariant Borel probability measures on compact nilspaces, generalizing Haar measure.
• Employs the theory of continuous abelian bundles and averaging operators to analyze finite-rank nilspaces and their extensions.
• Utilizes the structure group and translation group actions to characterize fibers and stabilizers in toral nilspaces.
• Applies the first isomorphism theorem and homomorphism properties of structure group projections to derive group-theoretic isomorphisms.
• Relies on the classification of 3-dimensional simply-connected nilpotent Lie groups (e.g., the Heisenberg group) to identify possible nilspace models.

Experimental results

Research questions

• RQ1 Under what conditions is a compact nilspace of finite rank isomorphic to a nilmanifold with a Host-Kra cube structure?
• RQ2 How can continuous systems of measures be used to construct invariant Borel probability measures on compact nilspaces?
• RQ3 What is the relationship between the translation group, structure groups, and stabilizers in toral nilspaces?
• RQ4 Do Borel morphisms between compact nilspaces necessarily admit continuous representatives?
• RQ5 How can compact nilspaces be decomposed as inverse limits of finite-rank nilspaces?

Key findings

• Every compact nilspace of finite rank with connected structure groups is isomorphic to a nilmanifold equipped with a Host-Kra cube structure, as established in Theorem 9.17.
• Every compact nilspace admits a Borel probability measure that generalizes the Haar measure on compact abelian groups, as shown in Proposition 2.5.
• Borel morphisms between compact nilspaces are automatically continuous, a result proven in Theorem 4.6.
• Morphisms into finite-rank compact nilspaces exhibit rigidity, meaning they are determined by their values on a single point and structure group actions, as formalized in Theorem 8.2.
• For a k-step toral nilspace, the quotient of the identity component of the k-th structure group by the product of the stabilizer and the next structure group is isomorphic to the k-th center, as shown in Proposition 9.20(iii).
• The only simply-connected 3-dimensional non-abelian 2-step nilpotent Lie group is the Heisenberg group, which arises as the unique model for such nilspaces in dimension 3.