Informal discussion on spectral gaps for isometric group actions
1. Finite Kazhdan data
1.1. Banach Kazhdan data ?
Cornelia Drutu wants a finite subset of a Lie group which is a Kazhdan set for every affine isometric action of on a Banach space from a certain class. This means there exists such that if there exists a point such that , then there is a fixed point.
Shalom provides one for which does the job for Hilbert spaces. Cornulier generalized this to all Kazhdan Lie groups.
Bader-Furman-Gelander-Monod establish for products of higher rank simple Lie groups, and this passes to lattices.
Here is how examples of lattices are obtained. Let be an algebraic group defined over a number field . Let be the Archimedean completions of . can be compact or not. For instance, if , a quadratic form, then is compact iff is -anisotropic, i.e. does not represent 0 over .
Then (Borel-Harish Chandra) is a lattice in the real Lie group
and is cocompact iff one of the factors is compact. Remove the compact factors. This is a source of lattices. One can arrange that each remaining factor has higher rank. Then BFGM applies, a finite generating set of does the job for the family of spaces.
For a specific example, let and
Then , up to finite index, is a lattice of rank 2 Lie group .
PP: aren’t we making our life harder? If generates a dense subgroup, it should be easier ?
AV: Some of it remains for lattices in products of rank one groups ? Property is sometimes known.
1.2. Search for expanders
EB: In other words, what is looked for is a source of especially strong expanders.
CD: From Goulnara Arzhantseva’s point of view, a good expander should also have a large girth, proportional to diameter. This is required for counterexamples to Baum-Connes conjecture. Such graphs can be embedded into groups, by Gromov’s ansatz.
EB: Cayley graphs of finite simple groups are expected to behave in this way, for suitable generating sets. Babai’s conjecture states that for all generating sets, the diameter of the alternating group grows at most polynomially. On the other hand, for generic generating sets, girth is at least . Babai’s conjecture is not even known for generic generating sets (best result by Helfgott and Seres is not far).
Babai’s conjecture for finite simple groups is
For bounded rank, much better is expected,
Known for . Furthermore, in this case, for random generators, both diameter and girth .
EB: Akhmedov shows that if is a linear group, not virtually solvable, then there exist finite generating sets with arbitrarily large girth.
Conjecture. For , for all generating sets, the Cayley graphs have a uniform lower bound on .
It is known for prime with a small family of exceptions.
Conjecture. has uniform property (T).
This would imply trivially a lot of recent results for , ,… So it is pretty strong and should not generalize much. For instance, lattices in product cannot have this property, since they map onto dense subgroups of factors, which can be generated by small elements, and thus violate any uniformity.
It is hard since an arbitrary generating set need not contain unipotents, which are crucial to classical arguments (Shalom,…).
Fixed point properties. Is there a strong property ? Yes, see Lafforgue.
2. Finite simple groups
EB: This emerged from Lubotzky’s 1,2,3 question. 1 and 2 is classical, 3 is due to Bourgain-Gamburd. Historically, this goes back to Pimsker and Margulis. This question showed how few tools one had to obtain spectral gaps. Property (T), Selberg’s theorem (applies to congruence covers of the modular surface, but converts into an estimate for finite Cayley graphs, see my survey in Groups St Andrews 2013). Zig-zag products. Random graphs. Zuk’s criterion and applications by Dymara-Januskiewicz, Kassabov.
The Bourgain-Gamburd method was a revolution. It starts from the exponential mixing interpretation, i.e. behaviour of random walks. In short time, girth tells that things behave like on a tree. At larger time scales, additive combinatorics enters. The norm of the convolution product of measures must decay fast unless measures charge approximate subgroups. To conclude, use Sarnak-Xue’s multiplicity trick: because of symmetry, eigenspaces are representations, their dimensions are quite large.
The spectral gap for compact Lie groups was present in people’s minds, since Lubotzky-Philips-Sarnak, see Sarnak’s book. There is a motivation from quantum computation. One need to explore all of by combining a finite number of gates, i.e. multiplying elements from of fixed finite set. To get a -dense subset of , one needs words of length polylog in , see the book of …