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
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.