We show the mapping class group, CAT(0) groups, the fundamental groups of closed 3-manifolds, and certain relatively hyperbolic groups have a local-to-global property for Morse quasi-geodesics. This allows us to generalize combination theorems of Gitik for quasiconvex subgroups of hyperbolic groups to the stable subgroups of these groups. In the case of the mapping class group, this gives combination theorems for convex cocompact subgroups. We show a number of additional consequences of this local-to-global property, including a Cartan-Hadamard type theorem for detecting hyperbolicity locally and discreteness of translation length of conjugacy classes of Morse elements with a fixed gauge. To prove the relatively hyperbolic case, we develop a theory of deep points for local quasi-geodesics in relatively hyperbolic spaces, extending work of Hruska.
We prove that Morse local-to-global groups grow exponentially faster than their infinite index stable subgroups. This generalizes a result of Dahmani, Futer, and Wise in the context of quasi-convex subgroups of hyperbolic groups to a broad class of groups that contains the mapping class group, CAT(0) groups, and the fundamental groups of closed 3-manifolds. To accomplish this, we develop a theory of automatic structures on Morse geodesics in Morse local-to-global groups. Other applications of these automatic structures include a description of stable subgroups in terms of regular languages, ra…
In this paper we exhibit Morse geodesics, often called "hyperbolic directions", in infinite unbounded torsion groups. The groups studied are lacunary hyperbolic groups and constructed using graded small cancellation conditions. In all previously known examples, Morse geodesics were found in groups which also contained Morse elements, infinite order elements whose cyclic subgroup gives a Morse quasi-geodesic. Our result presents the first example of a group which contains Morse geodesics but no Morse elements. In fact, we show that there is an isometrically embedded $7$-regular tree inside such…
A sublinear biLipschitz equivalence (SBE) between metric spaces is a map from one space to another that distorts distances with bounded multiplicative constants and sublinear additive error. Given any sublinear function $κ$, $κ$-Morse boundaries are defined for all geodesic proper metric spaces as a quasi-isometrically invariant and metrizable topological space of quasi-geodesic rays. In this paper, we prove that $κ$-Morse boundaries of proper geodesic metric spaces are invariant under suitable SBEs. A tool in the proof is the use of sublinear rays, that is, sublinear bilispchitz embeddings of…
We prove that in CAT(0) spaces a quasi-geodesic is Morse if and only if it is contracting. Specifically, in our main theorem we prove that for $γ$ a quasi-geodesic in a CAT(0) space X, the following four statements are equivalent: (i) $γ$ is Morse, (ii) $γ$ is (b,c)--contracting, (iii), $γ$ is strongly contracting, and (iv) in every asymptotic cone $X_ω,$ any two distinct points in the ultralimit $γ_ω$ are separated by a cutpoint. As a corollary, we provide a converse to the usual Morse stability lemma in the CAT(0) setting. In addition, as a warm up we include an alternative proof of the fact…
We prove that the sublinearly Morse boundary of every known cubulated group continuously injects in the Gromov boundary of a certain hyperbolic graph. We also show that for all CAT(0) cube complexes, convergence to sublinearly Morse geodesic rays has a simple combinatorial description using the hyperplanes crossed by such sequences. As an application of this combinatorial description, we show that a certain subspace of the Roller boundary continously surjects on the subspace of the visual boundary consisting of sublinearly Morse geodesic rays.
Behrstock and Druţu raised a question about the existence of Morse geodesics in $CAT(0)$ spaces with divergence function strictly greater than $r^n$ and strictly less than $r^{n+1}$, where $n$ is an integer greater than $1$. In this paper, we answer the question of Behrstock and Druţu by showing that for each real number $s\geq 2$, there is a $CAT(0)$ space $X$ with a proper and cocompact action of some finitely generated group such that $X$ contains a Morse bi-infinite geodesic with the divergence equivalent to $r^s$.
We introduce the notion of k-lower divergence for geodesic rays in CAT(0) spaces. Building on the work of Charney and Sultan we give various characterizations of k-contracting geodesic rays using k-lower divergence and k-slim triangles. We also characterize k-contracting geodesic rays in CAT(0) cube complexes using sequences of well-separated hyperplanes.
We introduce and begin a systematic study of sublinearly contracting projections. We give two characterizations of Morse quasi-geodesics in an arbitrary geodesic metric space. One is that they are sublinearly contracting; the other is that they have completely superlinear divergence. We give a further characterization of sublinearly contracting projections in terms of projections of geodesic segments.
The Morse boundary of a proper geodesic metric space is designed to encode hypberbolic-like behavior in the space. A key property of this boundary is that a quasi-isometry between two such spaces induces a homeomorphism on their Morse boundaries. In this paper we investigate when the converse holds. We prove that for $X, Y$ proper, cocompact spaces, a homeomorphism between their Morse boundaries is induced by a quasi-isometry if and only if the homeomorphism is quasi-mobius and 2-stable.
The Morse boundary of a proper geodesic metric space is designed to encode hypberbolic-like behavior in the space. A key property of this boundary is that a quasi-isometry between two such spaces induces a homeomorphism on their Morse boundaries. In this paper we investigate when the converse holds. We prove that for cocompact CAT(0) spaces, a homeomorphism of Morse boundaries is induced by a quasi-isometry if and only if the homeomorphism is quasi-mobius and 2-stable.
For a proper geodesic metric space $X$, the Morse boundary $\partial_*X$ focuses on the hyperbolic-like directions in the space $X$. It is a quasi-isometry invariant. That is, a quasi-isometry between two hyperbolic spaces induces a homeomorphism on their boundaries. In this paper, we investigate additional structures on the Morse boundary $\partial_*X$ which determine $X$ up to a quasi-isometry. We prove that, for $X$ and $Y$ proper, cocompact spaces, a homeomorphism $f$ between their Morse boundaries is induced by a quasi-isometry if and only if $f$ and $f^{-1}$ are bihölder, or quasi-symmet…
For a finitely generated group, there are two recent generalizations of the notion of a quasiconvex subgroup of a word-hyperbolic group, namely a stable subgroup and a Morse or strongly quasiconvex subgroup. Durham and Taylor defined stability and proved stability is equivalent to convex cocompactness in mapping class groups. Another natural generalization of quasiconvexity is given by the notion of a Morse or strongly quasiconvex subgroup of a finitely generated group, studied recently by Tran and Genevois. In general, a subgroup is stable if and only if the subgroup is Morse and hyperbolic. …
The notions of stable and Morse subgroups of finitely generated groups generalize the concept of a quasiconvex subgroup of a word-hyperbolic group. For a word-hyperbolic group $G$, Kapovich provided a partial algorithm which, on input a finite set $S$ of $G$, halts if $S$ generates a quasiconvex subgroup of $G$ and runs forever otherwise. In this paper, we give various detection and decidability algorithms for stability and Morseness of a finitely generated subgroup of mapping class groups, right-angled Artin groups, toral relatively hyperbolic groups, and finitely generated groups discriminat…
We generalize a result of Paulin on the Gromov boundary of hyperbolic groups to the Morse boundary of proper, maximal hierarchically hyperbolic spaces admitting cocompact group actions by isometries. Namely we show that if the Morse boundaries of two such spaces each contain at least three points, then the spaces are quasi-isometric if and only if there exists a 2-stable, quasi-möbius homeomorphism between their Morse boundaries. Our result extends a recent result of Charney-Murray, who prove such a classification for CAT(0) groups, and is new for mapping class groups and the fundamental group…
We study the geometry and dynamics of discrete infinite covolume subgroups of higher rank semisimple Lie groups. We introduce and prove the equivalence of several conditions, capturing "rank one behavior'' of discrete subgroups of higher rank Lie groups. They are direct generalizations of rank one equivalents to convex cocompactness. We also prove that our notions are equivalent to the notion of Anosov subgroup, for which we provide a closely related, but simplified and more accessible reformulation, avoiding the geodesic flow of the group. We show moreover that the Anosov condition can be rel…
We show that the sublinearly Morse directions in the visual boundary of a rank-1 CAT(0) space with a geometric group action are generic in several commonly studied senses of the word, namely with respect to Patterson-Sullivan measures and stationary measures for random walks. We deduce that the sublinearly Morse boundary is a model of the Poisson boundary for finitely supported random walks on groups acting geometrically on rank-1 CAT (0) spaces. We prove an analogous result for mapping class group actions on Teichmüller space. Our main technical tool is a criterion, valid in any unique geodes…
We characterize strongly Morse quasi-geodesics in Outer space as quasi-geodesics which project to quasi-geodesics in the free factor graph. We define convex cocompact subgroups of $Out(F_n)$ as subgroups such that an orbit map in the free factor graph is a quasi-isometric embedding, and we characterize such groups via their action on Outer space in a way which resembles the characterization of convex cocompact subgroups of mapping class groups.
Divergence functions of a metric space estimate the length of a path connecting two points $A$, $B$ at distance $\le n$ avoiding a large enough ball around a third point $C$. We characterize groups with non-linear divergence functions as groups having cut-points in their asymptotic cones. By Olshanskii-Osin-Sapir, that property is weaker than the property of having Morse (rank 1) quasi-geodesics. Using our characterization of Morse quasi-geodesics, we give a new proof of the theorem of Farb-Kaimanovich-Masur that states that mapping class groups cannot contain copies of irreducible lattices in…
The main theorem of this paper classifies the quasi-geodesics in a Coxeter group that are tracked by geodesics. As corollaries, we show that if a Coxeter group acts geometrically on a CAT(0) space X then CAT(0) rays (and lines) are tracked by Cayley graph geodesics, all special subgroups of the Coxeter group are quasi-convex in X, and in Cayley graphs for Coxeter groups, elements of infinite order are tracked by geodesics.
We compare several topologies on the Morse boundary $\partial_M Y$ of a $\mathrm{CAT(0)}$ cube complex $Y$. In particular, we show that the two topologies introduced by Cashen and Mackay are not equal in general and provide a new description of one of them in the language of cube complexes. As a corollary, we obtain a new approach to tackle the question whether the visual topology induces a quasi-isometry-invariant topology on the Morse boundary. This leads to an obstruction to quasi-isometry-invariance in terms of the behaviour of geodesics under quasi-isometries.
Given a sublinear function $κ$, $κ$-Morse boundaries $\pka X$ of proper \CAT spaces are introduced by Qing, Rafi and Tiozzo. It is a topological space that consists of a large set of quasi-geodesic rays and it is quasi-isometrically invariant and metrizable. In this paper, we study the sublinearly Morse boundaries with the assumption that there is a proper cocompact action of a group $G$ on the \CAT space in question. We show that $G$ acts minimally on $\pka G$ and that contracting elements of $G$ induces a weak north-south dynamic on $\pka G$. Furthermore, we show that a homeomorphism $f \fro…
We introduce a new quasi-isometry invariant, called the divergence spectrum, to study finitely generated groups. We compare the concept of divergence spectrum with the other classical notions of divergence and we examine the divergence spectra of relatively hyperbolic groups. We show the existence of an infinite collection of right-angled Coxeter groups which all have exponential divergence but they all have different divergence spectra. We also study Morse boundaries of relatively hyperbolic groups and examine their connection with Bowditch boundaries.
We prove a Morse Lemma for coarsely regular quasigeodesics in nonpositively curved symmetric spaces and euclidean buildings X. The main application is a simpler coarse geometric characterization of Morse subgroups of the isometry groups Isom(X) as undistorted subgroups which are coarsely uniformly regular. We show furthermore that they must be word hyperbolic. We introduced this class of discrete subgroups in our earlier paper, in the context of symmetric spaces, where various equivalent geometric and dynamical characterizations of word hyperbolic Morse subgroups were established, including th…
We study the behaviour of quasi-geodesics in Out(F_n). Given an element f in Out(F_n) there are several natural paths connecting the origin to f in Out(F_n); for example, paths associated to sequences of Stallings folds and paths induced by the shadow of greedy folding paths in Outer Space. We show that none of these paths is, in general, a quasi-geodesic in Out(F_n). In fact, in contrast with the mapping class group setting, we construct examples where any quasi-geodesic in Out(F_n) connecting f to the origin will have to back-track in some free factor of F_n.
To every Gromov hyperbolic space X one can associate a space at infinity called the Gromov boundary of X. Gromov showed that quasi-isometries of hyperbolic metric spaces induce homeomorphisms on their boundaries, thus giving rise to a well-defined notion of the boundary of a hyperbolic group. Croke and Kleiner showed that the visual boundary of non-positively curved (CAT(0)) groups is not well-defined, since quasi-isometric CAT(0) spaces can have non-homeomorphic boundaries. For any sublinear function $κ$, we consider a subset of the visual boundary called the $κ$-Morse boundary and show that …
Stable subgroups and the Morse boundary are two systematic approaches to collect and study the hyperbolic aspects of finitely generated groups. In this paper we unify and generalize these strategies by viewing any geodesic metric space as a countable union of stable subspaces: we show that every stable subgroup is a quasi--convex subset of a set in this collection and that the Morse boundary is recovered as the direct limit of the usual Gromov boundaries of these hyperbolic subspaces. We use this approach, together with results of Leininger--Schleimer, to deduce that there is no purely geometr…
Random walks on spaces with hyperbolic properties tend to sublinearly track geodesic rays which point in certain hyperbolic-like directions. Qing-Rafi-Tiozzo recently introduced the sublinearly Morse boundary and proved that this boundary is a quasi-isometry invariant which captures a notion of generic direction in a broad context. In this article, we develop the geometric foundations of sublinear Morseness in the mapping class group and Teichmüller space. We prove that their sublinearly Morse boundaries are visibility spaces and admit continuous equivariant injections into the boundary of the…
We study Morse subgroups and Morse boundaries of random right-angled Coxeter groups in the Erdős--Rényi model. We show that at densities below $\left(\sqrt{\frac{1}{2}}-ε\right)\sqrt{\frac{\log{n}}{n}}$ random right-angled Coxeter groups almost surely have Morse hyperbolic surface subgroups. This implies their Morse boundaries contain embedded circles and they cannot be quasi-isometric to a right-angled Artin group. Further, at densities above $\left(\sqrt{\frac{1}{2}}+ε\right)\sqrt{\frac{\log{n}}{n}}$ we show that, almost surely, the hyperbolic Morse special subgroups of a random right-angled…
