Explicit canonical cycle at the virtual cohomological dimension of $\mathrm{SL}_n(\mathbb{Z})$ through Voronoi complex

TL;DR

The paper constructs an explicit canonical cycle in the top homology of the Voronoi complex related to SL_n(Z), providing an intrinsic generator for its cohomology at the virtual cohomological dimension.

Contribution

It introduces a geometric rigidity-based method to explicitly construct a canonical cycle in the Voronoi complex, linking it to the cohomology of SL_n(Z).

Findings

Constructed an explicit canonical cycle in the Voronoi complex.

Established an abstract framework for polyhedral tessellations under group actions.

Connected the cycle to the cohomology of SL_n(Z) at the virtual cohomological dimension.

Abstract

We construct an explicit canonical cycle in the top-dimensional homology of the Voronoi complex associated with an arithmetic group. This cycle relates to the cohomology of SL$_n(\mathbb{Z})$ with rational coefficients at the virtual cohomological dimension. This cycle has been previously identified in computational works and conjectured to provide an intrinsic generator. Our approach relies on a geometric rigidity property of Voronoi tessellations. Furthermore, an abstract framework for polyhedral tessellations of convex cones under group actions is established, elucidating the underlying mechanism of the construction of such cycles.