Property $(FL_p)$ implies property $(FL_q)$ for $1<q<p<\infty$

Alan Czuron

DOI: https://doi.org/10.48550/arXiv.1409.4609

2016-11-17

Abstract:It is known that for $\sigma$-compact groups Kazhdan's Property $(T)$ is equivalent to Serre's Property $(FH)$. Generalized versions of those properties, called properties $(T_{B})$ and $(F_{B})$, can be defined in terms of the isometric representations of a group on an arbitrary Banach space $B$. Property $(F_{B})$ implies $(T_{B})$. It is known that a group with Property $(T_{l_p})$ shares some properties with Kazhdan's groups, for example compact generation and compact abelianization. Moreover in the case of discrete groups, Property $(T_{l_p})$ implies Lubotzky's Property $(\tau)$. In this paper we prove that in the case of discrete groups and $1<p<q<\infty$ and $p\not=2$, Property $(F_{l_q})$ implies Property $(F_{l_p})$.

Group Theory,Functional Analysis

What problem does this paper attempt to address?

The problem that this paper attempts to solve is whether property \(F\ell^q\) implies property \(F\ell^p\) in discrete groups and \(\ell^p\) spaces when \(1 < p < q <\infty\) and \(p\neq2\). Specifically, the author aims to prove that for every discrete countable group, if the group has property \(F\ell^q\), then it also has property \(F\ell^p\). This result partially answers the question about the fixed - point property when groups act on general \(L^p\) spaces, especially in the case of \(p > 2\), where the study of these properties is relatively scarce.

The main contribution of the paper lies in providing a conversion mechanism from \(F\ell^q\) to \(F\ell^p\), which not only deepens the understanding of the rigidity properties of groups but also provides a theoretical basis for further research on the actions of groups on different \(L^p\) spaces. By proving this conversion, the author provides a new perspective for understanding the relationship between Kazhdan's property (T) and other related properties.