Actions of higher rank groups on uniformly convex Banach spaces

Tim de Laat,Mikael de la Salle

2023-03-08

Abstract:We prove that all isometric actions of higher rank simple Lie groups and their lattices on arbitrary uniformly convex Banach spaces have a fixed point. This vastly generalises a recent breakthrough of Oppenheim. Combined with earlier work of Lafforgue and of Liao on strong Banach property (T) for non-Archimedean higher rank simple groups, this confirms a long-standing conjecture of Bader, Furman, Gelander and Monod. As a consequence, we deduce that sequences of Cayley graphs of finite quotients of a higher rank lattice are super-expanders.

Group Theory,Functional Analysis

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to prove that all higher - rank simple Lie groups and their lattices have a fixed point in any uniformly convex Banach space under isometric actions. Specifically, the author aims to prove the following points:

1. **Prove the existence of fixed points**: For all higher - rank simple Lie groups and their lattices, there exist fixed points in their affine isometric actions on any uniformly convex Banach space.

2. **Generalize previous results**: In particular, the author hopes to generalize Oppenheim's breakthrough result, that is, for all \(n \geq 4\), the group \(SL_n(\mathbb{R})\) and its lattices have the property \(F_E\) in all super - reflexive Banach spaces.

3. **Confirm the long - standing conjecture**: By combining the earlier work of Lafforgue and Liao on the strong Banach property (T) of non - Archimedean higher - rank simple groups, the author hopes to confirm the long - standing conjecture proposed by Bader, Furman, Gelander and Monod, that higher - rank groups and their lattices have the property \(F_E\) in every super - reflexive Banach space.

4. **Study the super - expander property of Cayley graphs**: As a corollary of Theorem A, the author also studies whether the sequence of Cayley graphs of finite quotient groups of higher - rank groups form super - expanders.

### Formula representation

Some key formulas and concepts involved in the paper are represented in Markdown format as follows:

- **Property \(F_E\) on a uniformly convex Banach space \(E\)**:
\[
\text{If every continuous affine isometric action } G \curvearrowright E \text{ has a fixed point, then the group } G \text{ is said to satisfy property } F_E.
\]

- **Super - reflexive Banach space \(E\)**:
\[
E \text{ is super - reflexive if and only if it carries an equivalent uniformly convex norm.}
\]

- **Existence of fixed points**:
\[
\text{For every continuous affine isometric action } G \curvearrowright E \text{ and any lattice } \Gamma \subset G, \text{ there exists a vector } \xi \in E \text{ such that } g\cdot\xi = \xi \text{ for all } g \in G.
\]

- **Convolution measures**:
\[
\nu_{abc}=X(\gamma_a)Z(\gamma_b)Y(\gamma_c)\quad\text{and}\quad\tilde{\nu}_{abc}=Y(\gamma_a)Z(\gamma_b)X(\gamma_c)
\]

The correctness and readability of these formulas ensure that readers can understand the mathematical reasoning process in the paper.