At infinity of finite-dimensional CAT\((0)\) spaces (Q2655146): Difference between revisions
From MaRDI portal
Latest revision as of 10:21, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | At infinity of finite-dimensional CAT\((0)\) spaces |
scientific article |
Statements
At infinity of finite-dimensional CAT\((0)\) spaces (English)
0 references
22 January 2010
0 references
Let \(X\) be a finite-dimensional CAT\((0)\) space. The geometric dimension \(\dim(X)\) is defined as \(\dim(X)=\sup\{\dim(S_xX)+1;\;x\in X\}\), where \(S_xX\) denotes the space of directions at the point \(x\). It is equivalent to the fact that the topological dimension of all compact subsets of \(X\) is bounded above by \(n\). The space \(X\) is said to have telescopic dimension \(\leq n\) if every asymptotic cone has geometric dimension \(\leq n\). A family \({\mathcal F}\) of subsets of a given set is called filtering if for all \(E,F\in{\mathcal F}\) there exists \(D\in{\mathcal F}\) such that \(D\subset E\cap F\). In this paper, the authors study properties of CAT\((0)\) spaces. They show that if \(X\) is a complete CAT\((0)\) space of finite telescopic dimension and \(\{X_\alpha\}\) is a filtering family of closed convex subspaces, then either the intersection \(\bigcap_\alpha X_\alpha\) is non-empty, or the intersection of the visual boundaries \(\bigcap_\alpha \partial X_\alpha\) is a non-empty subset of \(\partial X\) of intrinsic radius at most \(\pi/2\). Using this fact, the authors extend many results known for proper CAT\((0)\) spaces to finite-dimensional spaces, including the existence of canonical fixed points at infinity for parabolic isometries, algebraic and geometric restrictions on amenable group actions, and geometric superrigidity for non-elementary actions of irreducible uniform lattices in products of locally compact groups.
0 references
CAT\((0)\)
0 references
geometric dimension
0 references
telescopic dimension
0 references
filtering
0 references
topologically locally finite group
0 references
visual bordification
0 references
canonical fixed points at infinity
0 references