Groups acting on CAT(0) cube complexes

Graham A. Niblo,Lawrence Reeves
DOI: https://doi.org/10.2140/gt.1997.1.1
1997-02-07
Abstract:We show that groups satisfying Kazhdan's property (T) have no unbounded actions on finite dimensional CAT(0) cube complexes, and deduce that there is a locally CAT(-1) Riemannian manifold which is not homotopy equivalent to any finite dimensional, locally CAT(0) cube complex.
Group Theory,Differential Geometry
What problem does this paper attempt to address?
This paper aims to explore the actions of groups with Kazhdan's property (T) on finite - dimensional CAT(0) cube complexes. Specifically, the author proves that for any group satisfying Kazhdan's property (T), its action on any finite - dimensional CAT(0) cube complex has a global fixed point. An important corollary of this conclusion is that there exists a locally CAT(- 1) Riemannian manifold that is not homotopy - equivalent to any finite - dimensional locally CAT(0) cube complex. By analyzing group actions on spaces with specific geometric structures (such as CAT(0) cube complexes), the paper reveals the profound connections between these spaces and the algebraic properties of groups. In particular, the paper utilizes Kazhdan's property (T), a powerful algebraic tool, to restrict the possible ways in which certain groups can act on specific geometric spaces, thereby obtaining the above - mentioned main results. ### Overview of the Main Theorems 1. **Theorem A**: For any \(n\geq2\), there exists a 4n - dimensional smooth locally CAT(-1) Riemannian manifold \(M\) that is not homotopy - equivalent to any finite - dimensional locally CAT(0) cube complex. 2. **Theorem B**: If \(G\) is a group satisfying Kazhdan's property (T) and \(X\) is a finite - dimensional CAT(0) cube complex, then the cellular action (and thus the isometric action) of \(G\) on \(X\) must have a global fixed point. ### Key Concepts - **Kazhdan's property (T)**: This is an algebraic property of a group, indicating that all conditionally negative kernels of the group are bounded. - **CAT(0) cube complex**: This is a special geometric space where each cell is a Euclidean cube and satisfies the non - positive curvature condition. - **Locally CAT(-1) space**: This is a space with locally strictly negative curvature. - **Conditionally negative kernel**: This is a function defined on a group that satisfies certain specific inequality conditions. ### Main Contributions of the Paper - **Theoretical Contribution**: By proving that the action of a group with Kazhdan's property (T) on a CAT(0) cube complex has a global fixed point, the paper provides a new perspective for understanding the geometric and algebraic properties of these groups. - **Application Value**: This result is helpful for distinguishing different types of geometric spaces, especially providing an important tool when studying the relationship between locally CAT(-1) spaces and locally CAT(0) cube complexes. In conclusion, through in - depth analysis of the properties of group actions and geometric spaces, the paper reveals the complex interactions between these mathematical objects, laying the foundation for further research in related fields.