Nilmanifold

A nilmanifold is a homogeneous space of the form G/Γ, where G is a nilpotent Lie group and Γ is a discrete cocompact subgroup. Nilmanifolds are the simplest non-trivial examples of compact manifolds that admit non-trivial geometric structures, and they play a central role in the classification of Anosov diffeomorphisms.

The two-torus is the simplest nilmanifold, corresponding to the abelian (and hence nilpotent) Lie group ℝ². More complex examples include the Heisenberg nilmanifolds, which are quotients of the three-dimensional Heisenberg group. Dmitri Anosov proved that every Anosov diffeomorphism on a nilmanifold is topologically conjugate to an algebraic automorphism, a result that makes nilmanifolds the testing ground for the broader classification problem.

Nilmanifolds also appear in geometric group theory, harmonic analysis, and the theory of solvmanifolds.

Nilmanifolds are the sandbox of hyperbolic dynamics: complex enough to exhibit genuine chaos, simple enough to classify. The question of whether all Anosov diffeomorphisms live on nilmanifolds remains one of the field's most elegant unsolved problems.