A vanishing theorem for the homology of discrete subgroups of $\mathrm{Sp}(n,1)$ and $\mathrm{F}_4^{-20}$

TL;DR

This paper proves vanishing results for certain homology groups of discrete subgroups of $ ext{Sp}(n,1)$ and $ ext{F}_4^{-20}$, using new bounds on the barycenter map's p-Jacobian, and relates critical exponent to homological dimension.

Contribution

Introduces a new bound on the p-Jacobian of the barycenter map, leading to homology vanishing theorems and improved inequalities between critical exponent and homological dimension.

Findings

Proves $H_{4n-1}( ext{Gamma};V)=0$ for $ ext{Sp}(n,1)$ groups.

Establishes $H_i( ext{Gamma};V)=0$ for $i=13,14,15$ in $ ext{F}_4^{-20}$ groups.

Provides an improved inequality relating critical exponent and homological dimension.

Abstract

For any discrete, torsion-free subgroup $\Gamma$ of $\mathrm{Sp}(n,1)$ (resp.\ $\mathrm{F}_4^{-20}$) with no parabolic elements, we prove that $H_{4n-1}(\Gamma;V)=0$ (resp.\ $H_i(\Gamma;V)=0$ for $i=13,14,15$) for any $\Gamma$--module $V$. The main technical advance is a new bound on the $p$--Jacobian of the barycenter map of Besson--Courtois--Gallot. We also apply this estimate to obtain an inequality between the critical exponent and homological dimension of $\Gamma$, improving on work of M.~Kapovich.