We study discrete groups from the view point of a dimension gap in connection to CAT(0) geometry. Developing studies by Brady-Crisp and Bridson, we show that there exist finitely presented groups of geometric dimension 2 which do not act properly on any proper CAT(0) spaces of dimension 2 by isometries, although such actions exist on CAT(0) spaces of dimension 3.
Another example is the fundamental group, G, of a complete, non-compact, complex hyperbolic manifold M with finite volume, of complex-dimension n > 1. The group G is acting on the universal cover of M, which is isometric to H^n_C. It is a CAT(-1) space of dimension 2n. The geometric dimension of G is 2n-1. We show that G does not act on any proper CAT(0) space of dimension 2n-1 properly by isometries.
We also discuss the fundamental groups of a torus bundle over a circle, and solvable Baumslag-Solitar groups.
We show that the translation length of any parabolic isometry on a complete semi-uniformly visible CAT(0) space is always zero. As a consequence, we will classify the isometries on visible CAT(0) spaces in terms of translation lengths. We will also show that the moduli space $\mathbb{M}(S_{g,n})$ of surface $S_{g,n}$ of $g$ genus with $n$ punctures admits no complete visible CAT(0) Riemannian metric if $3g+n\geq 5$, which answers the Brock-Farb-McMullen question in the visible case.
It is well-known that $\mathrm{SL}_{n}(\mathbf{Q}_{p})$ acts without fixed points on an $(n-1)$-dimensional $\mathrm{CAT}(0)$ space (the affine building). We prove that $n-1$ is the smallest dimension of $\mathrm{CAT}(0)$ spaces on which matrix groups act without fixed points. Explicitly, let $R$ be an associative ring with identity and $E_{n}^{\prime }(R)$ the extended elementary subgroup. Any isometric action of $E_{n}^{\prime }(R)$ on a complete $\mathrm{CAT(0)}$ space $X^{d}$ of dimension $d<n-1$ has a fixed point. Similar results are discussed for automorphism groups of free groups. Furth…
The main technical result of this paper is to characterize the contracting isometries of a CAT(0) cube complex without any assumption on its local finiteness. Afterwards, we introduce the combinatorial boundary of a CAT(0) cube complex, and we show that contracting isometries are strongly related to isolated points at infinity, when the complex is locally finite. This boundary turns out to appear naturally in the context of Guba and Sapir's diagram groups, and we apply our main criterion to determine precisely when an element of a diagram group induces a contracting isometry on the associated …
Given a discrete subgroup of the isometries of n-dimensional hyperbolic space there is always a region kept precisely invariant under the stabilizer of a parabolic fixed point, called the Margulis region. While in dimensions 2 and 3 this region is a horoball, it has in general a more complicated shape due to the existence of screw parabolic elements in higher dimensions. In fact, P. Susskind has shown that in a discrete group acting on hyperbolic 4-space containing a screw parabolic element with irrational rotation, the corresponding Margulis region does not contain a horoball. In this paper w…
Let S be an orientable surface of finite type and let Mod(S) be its mapping class group. We consider actions of Mod(S) by semisimple isometries on complete CAT(0) spaces. If the genus of S is at least 3, then in any such action all Dehn twists act as elliptic isometries. The action of Mod(S) on the completion of Teichmüller space with the Weil-Petersson metric shows that there are interesting actions of this type. Whenever the mapping class group of a closed orientable surface of genus g acts by semisimple isometries on a complete CAT(0) space of dimension less than g it must fix a point. The …
We consider a cocompact discrete reflection group $W$ of a CAT(0) space $X$. Then $W$ becomes a Coxeter group. In this paper, we study an analogy between the Davis-Moussong complex $Σ(W,S)$ and the CAT(0) space $X$, and show several analogous results about the limit set of a parabolic subgroup of the Coxeter group $W$.
We give positive answers for questions by Berestovskii. Namely, we prove that every bijection of locally compact geodesically complete and connected at infinity CAT(0)-space $X$ onto itself preserving some fixed distance or satellite relations is an isometry of this space. The proof of this theorem is based on another result stated by Berestovskii as a problem: the metric of the space $X$ may be recovered from its diagonal tube corresponding to an arbitrary number $r > 0$.
If X is a proper CAT(-1)-space and $Γ$ a non-elementary discrete group of isometries acting properly discontinuously on X, it is shown that the geodesic flow on the quotient space Y=X/$Γ$ is topologically mixing, provided that the generalized Busemann function has zeros on the boundary $\partial X$ and the non-wandering set of the flow equals the whole quotient space of geodesics GY:=GX/$Γ$ (the latter being redundant when Y is compact). Applications include the proof of topological mixing for (A) compact negatively curved polyhedra, (B) compact quotients of proper geodesically complete CAT(-1…
In this paper, based on research on rank-one isometries by W.Ballmann and M.Brin and recent research on rank-one isometries of Coxeter groups by P.Caprace and K.Fujiwara, we study a topological fractal structure of boundaries of Coxeter groups. We also show that the limit-point set is dense in a boundary of a Coxeter group and introduce some remarks on boundaries of CAT(0) groups with rank-one isometries.
The main result of this paper is that given a group $G$ acting geometrically by isometries on a CAT(0) space $X$ and a cyclic subgroup $H$ of $G$ generated by a rank-1 isometry of $X$, $H$ has bounded packing in $G$. We give two proofs of this result. The first one is by a characterization of rank-$1$ isometries by Hamenstadt. The second proof follows directly from some results of Dahmani-Guirardel-Osin and Sisto. Then using Mihailova's construction, we show the existence of a finitely generated subgroup of the direct product of two free groups $\mathbb F_2\times \mathbb F_2$ without the bound…
Let $X$ be a CAT(0) space, and $G$ a discrete cyclic group of isometries of $X$. We investigate the domain of discontinuity for the action of $G$ on the boundary $\partial X$.
Whenever the mapping class group of a closed orientable surface of genus g acts by semisimple isometries on a complete CAT(0) space of dimension less than g it fixes a point.
We investigate the Tits boundary of locally compact CAT(0) 2-complexes. In particular we show that away from the endpoints, a geodesic segment in the Tits boundary is the ideal boundary of an isometrically embedded Euclidean sector. As applications, we provide sufficient conditions for two points in the Tits boundary to be the endpoints of a geodesic in the 2-complex and for a group generated by two hyperbolic isometries to contain a free group. We also show that if two CAT(0) 2-complexes are quasi-isometric then the cores of their Tits boundaries are bi-Lipschitz.
We consider properly discontinuous, isometric, convex cocompact actions of surface groups on a CAT(-1) space. We show that the limit set of such an action, equipped with the canonical visual metric, is a (weak) quasicircle in the sense of Falconer and Marsh. It follows that the visual metrics on such limit sets are classified, up to bi-Lipschitz equivalence, by their Hausdorff dimension. This result applies in particular to boundaries at infinity of the universal cover of a locally CAT(-1) surface. We show that any two periodic CAT(-1) metrics on $\mathbb H^2$ can be scaled so as to be almost-…
We study groups acting on CAT(0) square complexes. In particular we show if Y is a nonpositively curved (in the sense of A. D. Alexandrov) finite square complex and the vertex links of Y contain no simple loop consisting of five edges, then any subgroup of the fundamental group of Y either is virtually free abelian or contains a free group of rank two. In addition we discuss when a group generated by two hyperbolic isometries contains a free group of rank two and when two points in the ideal boundary of a CAT(0) 2-complex at Tits distance $π$ apart are the endpoints of a geodesic in the 2-comp…
In this paper, we study CAT(0) groups and Coxeter groups whose boundaries are scrambled sets. Suppose that a group $G$ acts geometrically (i.e. properly and cocompactly by isometries) on a CAT(0) space $X$. (Such group $G$ is called a {\it CAT(0) group}.) Then the group $G$ acts by homeomorphisms on the boundary $\partial X$ of $X$ and we can define a metric $d_{\partial X}$ on the boundary $\partial X$. The boundary $\partial X$ is called a {\it scrambled set} if for any $α,β\in\partial X$ with $α\neqβ$, (1) $\limsup\{d_{\partial X}(gα,gβ) | g\in G\}>0$ and (2) $\liminf\{d_{\partial X}(gα,gβ)…
We give a criterion for a set of $n$ hyperbolic isometries of a $\mathrm{CAT}(0)$ metric space $X$ to generate a free group on $n$ generators. This extends a result by Alperin, Farb and Noskov who proved this for 2 generators under the additional assumption that $X$ is complete and has no fake zero angles. Moreover, when $X$ is locally compact, the group we obtain is also discrete.
We show that for $X$ a proper $\mathrm{CAT}(-1)$ space there is a maximal open subset of the horofunction compactification of $X\times X$ with respect to the maximum metric that compactifies the diagonal action of an infinite quasi-convex group of the isometries of $X$. We also consider the product action of two quasi-convex representations of an infinite hyperbolic group on the product of two different proper $\mathrm{CAT}(-1)$ spaces.
We study lattices in non-positively curved metric spaces. Borel density is established in that setting as well as a form of Mostow rigidity. A converse to the flat torus theorem is provided. Geometric arithmeticity results are obtained after a detour through superrigidity and arithmeticity of abstract lattices. Residual finiteness of lattices is also studied. Riemannian symmetric spaces are characterised amongst CAT(0) spaces admitting lattices in terms of the existence of parabolic isometries.
Given a probability measure on a finitely generated group, its Martin boundary is a way to compactify the group using the Green's function of the corresponding random walk. We give a complete topological characterization of the Martin boundary of finitely supported random walks on relatively hyperbolic groups with virtually abelian parabolic subgroups. In particular, in the case of nonuniform lattices in the real hyperbolic space H n , we show that the Martin boundary coincides with the CAT (0) boundary of the truncated space, and thus when n = 3, is homeomorphic to the Sierpinski carpet.
