No Arabic abstract
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 geometric obstruction to the existence of a non-virtually--free convex cocompact subgroup of a mapping class group. In addition, we define two new quasi--isometry invariant notions of dimension: the stable dimension, which measures the maximal asymptotic dimension of a stable subset; and the Morse capacity dimension, which naturally generalises Buyalos capacity dimension for boundaries of hyperbolic spaces. We prove that every stable subset of a right--angled Artin group is quasi--isometric to a tree; and that the stable dimension of a mapping class group is bounded from above by a multiple of the complexity of the surface. In the case of relatively hyperbolic groups we show that finite stable dimension is inherited from peripheral subgroups. Finally, we show that all classical small cancellation groups and certain Gromov monster groups have stable dimension at most 2.
In this paper we survey many of the known results about Morse boundaries and stability.
In this article, we show that the Goldman-Iwahori metric on the space of all norms on a fixed vector space satisfies the Helly property for balls. On the non-Archimedean side, we deduce that most classical Bruhat-Tits buildings may be endowed with a natural piecewise $ell^infty$ metric which is injective. We also prove that most classical semisimple groups over non-Archimedean local fields act properly and cocompactly on Helly graphs. This gives another proof of biautomaticity for their uniform lattices. On the Archimedean side, we deduce that most classical symmetric spaces of non-compact type may be endowed with a natural piecewise $ell^infty$ metric which is coarsely Helly. We also prove that most classical semisimple groups over Archimedean local fields act properly and cocompactly on injective metric spaces. The only exception is the special linear group: if $n geq 3$ and $mathbb{K}$ is a local field, we show that $operatorname{SL}(n,mathbb{K})$ does not act properly and coboundedly on an injective metric space.
Let $X$ be a geodesic metric space with $H_1(X)$ uniformly generated. If $X$ has asymptotic dimension one then $X$ is quasi-isometric to an unbounded tree. As a corollary, we show that the asymptotic dimension of the curve graph of a compact, oriented surface with genus $g ge 2$ and one boundary component is at least two.
The contracting boundary of a proper geodesic metric space consists of equivalence classes of geodesic rays that behave like rays in a hyperbolic space. We introduce a geometrically relevant, quasi-isometry invariant topology on the contracting boundary. When the space is the Cayley graph of a finitely generated group we show that our new topology is metrizable.
For any smooth Riemannian metric on an $(n+1)$-dimensional compact manifold with boundary $(M,partial M)$ where $3leq (n+1)leq 7$, we establish general upper bounds for the Morse index of free boundary minimal hypersurfaces produced by min-max theory in the Almgren-Pitts setting. We apply our Morse index estimates to prove that for almost every (in the $C^infty$ Baire sense) Riemannan metric, the union of all compact, properly embedded free boundary minimal hypersurfaces is dense in $M$. If $partial M$ is further assumed to have a strictly mean convex point, we show the existence of infinitely many compact, properly embedded free boundary minimal hypersurfaces whose boundaries are non-empty. Our results prove a conjecture of Yau for generic metrics in the free boundary setting.