Strong property (T), subexponential growth of derivatives and invariant metrics
Theorem 1 (Brown-Fisher-Hurtado) Let be a cocompact lattice of acting smoothly on a compact manifold of dimension . Then action factors through a finite group.
Definition 2 Say a smooth action of on a manifold has subexponential growth of derivatives if , such that , ,
The proof of the theorem has two steps. First establish subexponential growth of derivatives. Second prove that subexponential growth of derivatives implies finiteness. Today, I focus on the second step.
Theorem 3 If has strong property (T) of Lafforgue and action has subexponential growth of derivatives, then action preserves a smooth Riemannian metric.
Hence we rely on
Theorem 4 (Lafforgue, de la Salle, de la Salle-de Laat) Let be a lattice of a higher rank simple Lie group then has strong property (T) of Lafforgue.
1. What is strong property (T)?
1.1. Measure characterization of Property (T)
Property (T) states that for unitary representations without invariant vectors, every unit vector is moved a definite amount by some element of a fixed generating system.
The following is an equivalent definition. Let be a finitely supported probability measure on . Let be a unitary representation. Let denote the orthogonal projector onto invariant vectors. Then has property (T) iff for all unitary representations,
Indeed, merely convexity of balls is used.
Strong refers to generalizing from unitary to slow exponential growth. Say a inear action by bounded operators on a Hilbert space has -subexponential norm growth if such that ,
Definition 5 has strong property (T) if , a sequence of measures such that , for all representations with -subexponential norm growth, and and a projection onto invariant vectors such that
This is not Lafforgue’s definition, which encompasses a larger class of Banach spaces. However, we need it only for Hilbert spaces. There are subtle points about the definition: why does it merely provide some sequence of measures? some projection? This is what de la Salle’s proof provides us. Hopefully, the theory will develop and converge to a more robust definition.
Lafforgue’s motivation was to show that a certain strategy to prove Baum-Connes conjecture for higher rank lattices could not work. Also, to produce universal expanders, i.e. collections of graphs which do not embed uniformly in large classes of Banach spaces.
1.3. How to use it
Let be a compact manifold. Riemannian metrics for a convex cone in the space of section of . We use the action of on this vectorspace. Specifically, fix a volume form and consider .
Proposition 6 Subexponential growth of derivatives implies subexponential norm growth of the action on .
1.4. Estimates on compositions
Next let denote the Sobolev space of metrics with derivatives in . Then Proposition extends to this space. This follows from estimates on compositions, to be found in Fisher-Margulis. Indeed, subexponential growth of first derivatives implies subexponential growth of all derivatives. Indeed,
we see that only first derivatives get multiplied, second derivatives appear only linearly.
Therefore, the representation on has -subexponential norm growth (subexponential growth of Jacobians also enters). Sobolev embedding implies that quadratic forms there are differentiable several times.
Let be the probability measures provided by strong property (T). Let be some Riemannian metric, and . Then converges to a smooth invariant nonnegative quadratic form . Because convergence is exponential and, for every tangent vector , shrinks at worst subexponentially, is definite, hence a metric.
Why not use the space of metrics, on which the action is isometric? We have tried this, this works if one has an invariant volume form to start with.