Cohomology and multiplicative gaps for quasi-isometries of nilpotent groups

Abstract

We construct two word metrics on the same seven-dimensional torsion-free nilpotent lattice whose asymptotic cones are isometric, but for which every quasi-isometry has multiplicative constant at least $1+\varepsilon$, for one fixed $\varepsilon>0$. We use a convex invariant of a fixed quasi-isometry $Ψ:N\to M$. The displacement cocycle of $Ψ$ and the right-invariant means on $N$ determine a compact convex set $\mathcal A(Ψ)\subseteq\operatorname{Hom}(V_N,V_M)$. If $\mathscr G_{\mathrm{pt}}(Ψ)$ denotes the first-layer maps of the graded homomorphisms that occur as blow-downs of $Ψ$ with varying basepoints, then $$ \mathcal A(Ψ)=\operatorname{conv}\mathscr G_{\mathrm{pt}}(Ψ), \qquad\operatorname{Ext}\mathcal A(Ψ)\subseteq\mathscr G_{\mathrm{pt}}(Ψ). $$ For every extreme point $L\in\mathcal A(Ψ)$, the dual map $L^*$ is also the degree-one part of an isomorphism of the full real cohomology rings. This cohomological compatibility, together with the realization of first-layer Pansu differentials by invariant means, yields the multiplicative constant gap stated above.