Property (T) with respect to non-commutative Lp-spaces

Baptiste Olivier
DOI: https://doi.org/10.48550/arXiv.1107.1394
2011-07-07
Abstract:We show that a group with Kazhdan's property $(T)$ has property $(T_{B})$ for $B$ the Haagerup non-commutative $L_{p}(\mathcal{M})$-space associated with a von Neumann algebra $\mathcal{M}$, $1
Group Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the generalization of Kazhdan's property (T) in non - commutative \(L^p\) spaces. Specifically, the author attempts to prove that if a group has Kazhdan's property (T), then this group also has the property \((T_B)\) for Haagerup non - commutative \(L^p(M)\) spaces, where \(M\) is a von Neumann algebra and \(1 < p <\infty\). In addition, the author also explores the fixed - point property \((F_{L^p(M)})\) of high - rank groups and their lattices on these non - commutative \(L^p\) spaces. ### Core problems of the paper 1. **Generalization from property (T) to property \((T_B)\)**: - Prove that if a group has property (T), then it also has property \((T_B)\) on Haagerup non - commutative \(L^p(M)\) spaces. - Specifically, if a pair of topological groups \((G, H)\) has relative property (T), then for any von Neumann algebra \(M\), this pair of groups also has relative property \((T_{L^p(M)})\) on non - commutative \(L^p(M)\) spaces. 2. **Property \((F_{L^p(M)})\) of high - rank groups**: - Prove that high - rank groups and their lattices have the fixed - point property \((F_{L^p(M)})\) on non - commutative \(L^p(M)\) spaces. ### Main results - **Theorem 1.3**: Let \(G\) be a topological group and \(H\) be a closed normal subgroup of \(G\). Assume that the pair \((G, H)\) has relative property (T). For every von Neumann algebra \(M\), the pair \((G, H)\) also has relative property \((T_{L^p(M)})\) on non - commutative \(L^p(M)\) spaces, where \(1 < p <\infty\). - **Theorem 1.6**: Let \(G\) be a high - rank group and \(M\) be a von Neumann algebra. Then \(G\) and each of its lattices have the fixed - point property \((F_{L^p(M)})\) on non - commutative \(L^p(M)\) spaces, where \(1 < p <\infty\). ### Methods and techniques - **Mazur mapping**: The Mazur mapping is used in the paper to study group representations on non - commutative \(L^p\) spaces. The local uniform continuity of the Mazur mapping is a key tool in the proof. - **Sherman's description**: Sherman's description of surjective isometries on non - commutative \(L^p\) spaces is used to transfer group representations on \(L^p(M)\) to representations on \(L^2(M)\). - **Howe - Moore theorem**: By a method similar to the Howe - Moore theorem, it is proved that high - rank groups have the fixed - point property under certain conditions. ### Conclusion The paper successfully generalizes Kazhdan's property (T) from Hilbert spaces to non - commutative \(L^p\) spaces and further proves that high - rank groups and their lattices have the fixed - point property on these spaces. This result provides a new perspective for understanding the rigidity properties of high - rank groups.