Proper -actions and weak amenability for relatively hyperbolic groups
1. Weak amenability
Start with the following characterization of amenability. is amenable iff there is a sequence of finitely supported positive definite functions tending to 1 pointwise as tends to .
We can relax finitely supported into . This gives Haaerup’s property.
We can instead relax positive definite into bounded. This gives weak amenability.
Positive definite functions coincide with coefficients of unitary representations (for instance, characteristic functions of Folner sets in the regular representation).
Completely bounded functions arise as , where and are maps to some Hilbert space with , .
Therefore Amenability implies Haagerup (and thus existence of a proper affine isometric action on a Hilbert space). Also, amenability implies weak amenability with constant (and thus weak amenability with an arbitrary constant ).
1.1. General results
Yu: Hyperbolic groups act properly on spaces for large enough.
Ozawa: Hyperbolic groups are weakly amenable.
1.2. A class of groups for which much is known
Theorem 1 (Haagerup) If is a lattice in a simple Lie group, then is weakly amenable iff rank is 1. Constant is 1 for and , for and
As far as proper -actions are concerned, higer rank lattices have fixed points on -spaces. and are Haagerup. acts properly on iff .
Free groups are Haagerup and weakly amenable with .
2. Permanence properties
2.1. Free product
Haagerup, proper -actions and weak amenability with (Jolissaint, Ricard-Xu).
2.2. Graph product
Haagerup, proper -actions and weak amenability with (Antolin-Dreesen, Rechwerdt).
Theorem 2 (Guentner-Rechwerdt-Tessera) If is relatively hyperbolic with parabolic subgroups of polynomial growth, then is weakly amenable and acts properly on .
The following example does not follow from earlier results.
Corollary 3 If is hyperbolic, is weakly amenable.
(In fact, it does, since weak amenability is preserved under measure-equivalence, and Gaboriau’s theorem implies that free product with an amenable group preserves measure equivalence, dixit Ozawa).
3. Proof of Yu’s theorem, according to Alvarez-Lafforgue
As a baby case, assume is free. Let denote the usual Cayler graph. We design a map
as follows: is the Dirac measure on the neighbour of closest to . then
- The support of is contained in ,
- for , otherwise,
- and have disjoint support iff .
Form a cocycle . Then .
Theorem 4 (Mineyev, Alvarez-Lafforgue) Let be a -hyperbolic bounded degree graph. There exists , there exists a family of measures such that
- The support of is contained in ,
- for ,
- and have disjoint support for a number of values of which is at least ..
Form a cocycle for large enough (depending on volume growth).
4. The relative hyperbolic case.
The above argument required bounded degree. Beware that the coned-off graph of relatively hyperboliv does not have this property.
The Groves-Manning space (close to an idea of Gromov’s) is the Cayley graph together with combinatorial horoballs glued to it along the cosets of parabolic subgroups. Combinatorial horoball is coset of parabolic subgroup times with edges joining vertices of distance on the same level . The resulting space is -hyperbolic.
If has polynomial growth, has exponential growth, and one finds large enough that the cocycle is bounded in .
does not have bounded degree. Fortunately, if has polynomial growth, is is quasi-isoperimetric to a graph of bounded geometry. But we loose equivariance. The space of graphs of degree , quasi-isometric to is compact. Does it carry a -invariant measures?
Pick a -invariant measure and let . This is the required invariant measure.