Calculus of Variations and Geometric Measure Theory

G. Antonelli - R. Young

Ergodic quasi-isometries and the cohomology of nilpotent Lie groups

created by antonelli on 30 May 2024



Inserted: 30 may 2024
Last Updated: 30 may 2024

Year: 2024

ArXiv: 2405.18598 PDF


We give a simplified and self-contained proof of the following result due to Shalom, Sauer, and Gotfredsen-Kyed: two quasi-isometric simply connected nilpotent Lie groups $G$ and $H$ have isomorphic cohomology algebras. Our proof is based on considering maps which induce an ergodic measure on the space of functions from $G$ to $H$ (ergodic maps), and we show that, given an ergodic quasi-isometry, one can construct an explicit isomorphism from $H^*(H)$ to $H^*(G)$. Specifically, when $\psi$ is an ergodic quasi-isometry, the pullback $\psi^*\omega$ of a differential form $\omega$ has a well-defined amenable average $\overline{\psi^*}\omega$, and we show that $\overline{\psi^*}$ is the desired isomorphism. A key observation in our proof is that quasi-isometries of nilpotent groups are coarsely volume-preserving, so the amenable average of the pullback of the volume form is always nonzero