** Zimmer’s conjecture **

Joint work with Aaron Brown and Sebastian Hurtado.

**1. Actions of lattices on manifolds **

is a higher rank simple Lie group, a lattice in . From Margulis’ superrigidity theorem, we know the classification of unitary representations of . In particular, there are no (infinite image) representations in dimension less than the rank.

In analogy, Zimmer 1983 asked wether one could classify smooth actions of lattices on compact manifolds. He conjectured that no (infinite image) actions exist if , no volume preserving actions if .

**Examples**.

- acts on .
- acts on -torus in a volume preserving manner.

Theorem 1Zimmer’s conjecture is true for cocompact lattices, with the sharp dimension bound for and (a not quite sharp bound yet for other root systems).

Conjecture was known for homeos of the circle (Witte-Morris for certain lattices, Ghys, Burger-Monod in general), for surfaces (Polterovich, Franks-Handel, non-uniform lattices).

**2. Towards the proof **

** 2.1. Why Zimmer believed in it **

Zimmers cocycle superrigidity theorem implies the following. Let act smoothly on . Then for any invariant measure, preserves a measurable Riemannian metric . If were bounded, the conjecture would follow easily. In general, need not define a distance on .

** 2.2. A priori estimate **

Let act smoothly on . Let be a fnite genrating set. Fix a reference smooth Riemannian metric . Then chain rule implies that grows at most exponentially.

Preserving implies that the first Lyapunov exponent

-almost everywhere. Can we exploit this?

Definition 2Say that a smooth action has subexponential growth of derivatives if ; such that

uniformly in .

This does not follow formally from vanishing of the Lyapunov exponent. Nevertheless, the following is encouraging:

Proposition 3A action has subexponential growth of derivatives iff it has 0 Lyapunov exponent for all invariant measures.

Indeed, apply assumption to weak limits of atomic measures on long segments of orbits. Apply Kingman’s subadditive theorem and the chain rule.

Since lattices are nonamenable, no chance for such a trick to work directly.

** 2.3. Recipe **

- Prove subexponential growth of derivatives using
- hyperbolic dynamics
- homogeneous dynamics (Ratner, Shah).
- nonlinear measure rigidity (Brown-Rodriguez-Hertz-Wang).

- Find an invariant smooth metric using
- Strong property (T) (Lafforgue, de la Salle-de Laat),
- Sobolev spaces, estimates on composition (Fischer-Margulis).

** 2.4. Ratner? Where are the unipotents? **

Use suspension, a action, and unipotents of . Pick a -invariant metric. Subexponential growth of derivatives for is equivalent to subexponential growth of fiber derivatives for . This is where we need to be cocompact. The upshot is an -invariant ergodic measure and an element of which has positive Lyapunov exponent.

Next step is to promote to a -invariant measure , preserving positivity of Lyapunov exponent. This contradicts cocycle superrigidity.

For this,

- Use Ratner and Shah to average over unipotent subgroups so the result projects to Haar measure. This is the harder part of the proof.
- Non-linear measure rigidity implies that is -invariant. They do the case where is initially -invariant, we merely need to add one algebraic lemma.

I recommend Ledrappier-Young’s approach to non-linear measure rigidity.

** 2.5. Strong property (T) **

Lafforgue defines -subexponential norm growth for actions on Hilbert spaces as follows: such that

Fix a measure on . Lafforgue (in fact, de la Salle) says that has strong property (T) if such that for all smaller and all actions with -subexponential norm growth, converges exponentially fast to projection on invariant vectors.

We apply this to the action of on Sobolev spaces of metrics,. Using estimates on compositions, subexponential growth of derivatives implies subexponential norm growth on these Hilbert spaces. Starting from , converge to a -invariant metric. Why is it definite? Because is not far from .

**3. Questions **

Valette: do you need the orthogonal projection? No, I take whatever projection Lafforgue gives me.