Zimmer's conjecture: Subexponential growth, measure rigidity, and strong property (T)

DOI10.4007/ANNALS.2022.196.3.1arXiv1608.04995WikidataQ122877670 ScholiaQ122877670MaRDI QIDQ6276629FDOQ6276629

Authors: Aaron W. Brown, David Fisher, Sebastian Hurtado 

Publication date: 17 August 2016

Abstract: We prove several cases of Zimmer's conjecture for actions of higher-rank cocompact lattices on low dimensional manifolds. For example, if $Gamma$ is a cocompact lattice in $mathrmSl(n,mathbbR)$, $M$ is a compact manifold, and $omega$ a volume form on $M$ we show that any homomorphism $hocolonGammaightarrowmathrmDiff(M)$ has finite image if the dimension of $M$ is less than $n-1$ and that any homomorphism $hocolonGammaightarrowmathrmDiff(M,omega)$ has finite image if the dimension of $M$ is less than $n$. The key step in the proof is to show any such action has uniform subexponential growth of derivatives. This is established using ideas from the smooth ergodic theory of higher-rank abelian groups, structure theory of semisimple groups and results from homogeneous dynamics. Having established uniform subexponential growth of derivatives, we apply Lafforgue's strong property (T) to establish the existence of an invariant Riemannian metric.

Mathematics Subject Classification ID

Discrete subgroups of Lie groups (22E40) General theory of group and pseudogroup actions (22F05) Dynamics induced by group actions other than (mathbb{Z}) and (mathbb{R}), and (mathbb{C}) (37C85) Nonuniformly hyperbolic systems (Lyapunov exponents, Pesin theory, etc.) (37D25)

This page was built for publication: Zimmer's conjecture: Subexponential growth, measure rigidity, and strong property (T)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6276629)