Genericity of sublinearly Morse directions in general metric spaces

Yulan Qing,Wenyuan Yang
2024-04-29
Abstract:In this paper, we show that for any proper statistically convexcocompact actions on proper metric spaces, the sublinearly Morse boundary has full Patterson-Sullivan measure in the horofundction boundary.
Group Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether, in a general metric space, for any proper statistically convex - compact action, the Patterson - Sullivan measure of the sub - linear Morse boundary has full measure in the boundary of the horofunction. Specifically, the main goal of the paper is to prove that under appropriate conditions, the set of sub - linear Morse directions is a full - measure set under the Patterson - Sullivan measure. ### Background of the Paper and Related Work 1. **Historical Background**: - In the process of proving what is now known as the Mostow Rigidity Theorem, G. Mostow proposed a two - step strategy: 1. A quasi - isometry induces a homeomorphism, called a boundary map, acting between the horofunction boundaries. 2. By using the ergodicity of the geodesic flow, prove that this boundary map is actually conformal. In the two - dimensional case, the non - singular property of this map is a remarkable feature. - Searching for quasi - isometry - invariant boundaries has been an active research topic in geometric group theory. The well - known Croke - Kleiner counterexample has sparked interest in the horofunction boundaries of CAT(0) spaces, especially those hyperbolic - like directions as quasi - isometry - invariant boundaries. 2. **Related Work**: - Charney - Sultan introduced the contracting boundary of CAT(0) spaces, and this concept has attracted extensive research interest in recent years. - Qing and Rafi showed that a larger class of sub - linear Morse geometric rays (equipped with an appropriate topology, called the sub - linear Morse boundary \(\partial_\kappa X\)) are still quasi - isometry - invariant. - In [8], the author proved that under certain conditions, the set of regularly contracting directions on the visual boundary of CAT(0) spaces has full measure under the Patterson - Sullivan measure. ### Main Results - **Theorem A**: - Let \( G \curvearrowright X \) be a proper non - elementary statistically convex - compact (SCC) action, and \( X \) be a proper geodesic metric space containing a contracting element. Let \(\mu_o\) be an \(\omega_G\)-dimensional conformal density on the horofunction boundary \(\partial_h X\). Then, the set of sub - linear Morse directions is a \(\mu_o\)-full - measure subset. - **Theorem B**: - If \( X \) is a proper CAT(0) space, and \( G \curvearrowright X \) is a proper non - elementary SCC action containing an element of rank 1. Let \(\mu_o\) be an \(\omega_G\)-dimensional conformal density on the horofunction boundary \(\partial_h X\). Then, the set of sub - linear Morse directions is \(\mu_o\)-full - measure. ### Conclusion - The main contribution of the paper lies in generalizing the results in [8] to conformal measures on the horofunction boundaries of arbitrary proper metric spaces. This not only extends the existing theory but also provides a new perspective for understanding the measure characteristics of sub - linear Morse directions on different boundaries.