SearcharxivSearch

arXiv subjects

Carolyn Abbott

Publications and source records attributed to Carolyn Abbott.

17 recordsLinked to original sources

Homotopy types of complexes of hyperplanes in quasi-median graphs and applications to right-angled Artin groups

In this article, we prove that, given two finite connected graphs $Γ_1$ and $Γ_2$, if the two right-angled Artin groups $A(Γ_1)$ and $A(Γ_2)$ are quasi-isometric, then the infinite pointed sums $\bigvee_\mathbb{N} Γ_1^{\bowtie}$ and $\bigvee_\mathbb{N} Γ_2^{\bowtie}$ are homotopy equivalent, where $Γ_i^{\bowtie}$ denotes the simplicial complex whose vertex-set is $Γ_i$ and whose simplices are given by joins. These invariants are extracted from a study, of independent interest, of the homotopy types of several complexes of hyperplanes in quasi-median graphs (such as one-skeleta of CAT(0) cube complexes). For instance, given a quasi-median graph $X$, the \emph{crossing complex} $\mathrm{Cross}^\triangle(X)$ is the simplicial complex whose vertices are the hyperplanes (or $θ$-classes) of $X$ and whose simplices are collections of pairwise transverse hyperplanes. When $X$ has no cut-vertex, we show that $\mathrm{Cross}^\triangle(X)$ is homotopy equivalent to the pointed sum of the links of all the vertices in the prism-completion $X^\square$ of $X$.

math.GR

Gromov boundary of the Grand Arc graph

We describe a dense subset of the Gromov boundary of the grand arc graph of an infinite-type surface as a space of geodesic laminations, analogous to Klarreich's description of the Gromov boundary of the curve complex. After showing that the grand arc graph satisfies a bounded geodesic image theorem, we also prove that the boundary is not compact.

math.GT

Connections between the topology of the Morse boundary, the Morse local-to-global property and acylindrical hyperbolicity

We relate the topology of the Morse boundary of a group to geometric and algorithmic properties of the group. In particular, we show that a group has $σ$-compact Morse boundary if and only if it is Morse local-to-global. We also provide tools such as the geodesic Morse local-to-global property to show that groups are (not) Morse local-to-global. Our strategy generalizes tools from small cancellation theory, such as the intersection of relators, to arbitrary finitely generated groups. Further, we introduce a class of groups akin to graded small-cancellation groups and show that, for groups in this class, a geodesic is Morse if and only if its intersection with relators grows sublinearly in the length of the relators. We use this to construct the first example of a non-virtually cyclic Morse local-to-global group with an infinite-order Morse element that is not acylindrically hyperbolic.

math.GR

Random quotients preserve acylindrical and hierarchical hyperbolicity

We propose a new model for random quotients of groups using independent random walks. In this model, we show that random quotients of acylindrical hyperbolic groups asymptotically almost surely remain acylindrically hyperbolic. Our main tools relate the theories of spinning families and projection complexes to random walks. In the presence of a hierarchical hyperbolic structure on the group, we leverage the fine control of projections to show that this structure is preserved in the quotient asymptotically almost surely. The same techniques yield that random quotients of a non-elementary hyperbolic group (relative to any finite collection of finitely generated peripheral subgroups) are asymptotically almost surely hyperbolic (relative to commensurable peripheral subgroups). Finally, we also prove that any two groups that are both acylindrically and hierarchically hyperbolic have a common quotients which is itself acylindrically and hierarchically hyperbolic. This produces "exotic" hierarchically hyperbolic groups with strong fixed point properties, such as Kazhdan's property (T).

math.GR

Uniform undistortion from barycentres, and applications to hierarchically hyperbolic groups

We show that infinite cyclic subgroups of groups acting uniformly properly on injective metric spaces are uniformly undistorted. In the special case of hierarchically hyperbolic groups, we use this to study translation lengths for actions on the associated hyperbolic spaces. We then use quasimorphisms to produce examples where these latter results are sharp.

math.GT

The quasi-isometry invariance of the Coset Intersection Complex

For a pair $(G,\mathcal{P})$ consisting of a group and finite collection of subgroups, we introduce a simplicial $G$-complex $\mathcal{K}(G,\mathcal{P})$ called the coset intersection complex. We prove that the quasi-isometry type and the homotopy type of $\mathcal{K}(G,\mathcal{P})$ are quasi-isometric invariants of the group pair $(G,\mathcal{P})$. Classical properties of $\mathcal{P}$ in $G$ correspond to topological or geometric properties of $\mathcal{K}(G,\mathcal{P})$, such as having finite height, having finite width, being almost malnormal, admiting a malnormal core, or having thickness of order one. As applications, we obtain that a number of algebraic properties of $\mathcal{P}$ in $G$ are quasi-isometry invariants of the pair $(G,\mathcal{P})$. For a certain class of right-angled Artin groups and their maximal parabolic subgroups, we show that the complex $\mathcal{K}(G,\mathcal{P})$ is quasi-isometric to the Extension graph; in particular, it is quasi-isometric to a tree.

math.GR

Conjugator lengths in hierarchically hyperbolic groups

In this paper, we establish upper bounds on the length of the shortest conjugator between pairs of infinite order elements in a wide class of groups. We obtain a general result which applies to all hierarchically hyperbolic groups, a class which includes mapping class groups, right-angled Artin groups, Burger--Mozes-type groups, most $3$--manifold groups, and many others. In this setting we establish a linear bound on the length of the shortest conjugator for any pair of conjugate Morse elements. For a subclass of these groups, including, in particular, all virtually compact special groups, we prove a sharper result by obtaining a linear bound on the length of the shortest conjugator between a suitable power of any pair of conjugate infinite order elements.

math.GR

Relative hyperbolicity, thickness, and the hierarchically hyperbolic boundary

We study the boundaries of relatively hyperbolic HHGs. Using the simplicial structure on the hierarchically hyperbolic boundary, we characterize both relative hyperbolicity and being thick of order 1 among HHGs. In the case of relatively hyperbolic HHGs, we show that the Bowditch boundary of the group is the quotient of the HHS boundary obtained by collapsing the limit sets of the peripheral subgroups to a point. In establishing this, we give a construction that allows one to modify an HHG structure by including a collection of hyperbolically embedded subgroups into the HHG structure.

math.GR

Largest hyperbolic actions of 3--manifold groups

The set of equivalence classes of cobounded actions of a group G on different hyperbolic metric spaces carries a natural partial order. Following Abbott--Balasubramanya--Osin, the group G is H--accessible if the resulting poset has a largest element. In this paper, we prove that every non-geometric 3--manifold has a finite cover with H--inaccessible fundamental group and give conditions under which the fundamental group of the original manifold is H--inaccessible. We also prove that every Croke--Kleiner admissible group (a class of graphs of groups that generalizes fundamental groups of 3--dimensional graph manifolds) has a finite index subgroup that is H--inaccessible.

math.GT

Structure invariant properties of the hierarchically hyperbolic boundary

We prove several topological and dynamical properties of the boundary of a hierarchically hyperbolic group are independent of the specific hierarchically hyperbolic structure. This is accomplished by proving that the boundary is invariant under a "maximization" procedure introduced by the first two authors and Durham.

math.GR

Hyperbolic projections and topological invariance of sublinearly Morse boundaries

We show that the sublinearly Morse boundary of a CAT(0) cubical group with a factor system is well-defined up to homeomorphism with respect to the visual topology. The key tool used in the proof is a new topology on sublinearly Morse boundaries that is induced by group actions on hyperbolic spaces that are sufficiently nice, for example, largest acylindrical actions. Using the same techniques, we obtain a explicit description of this new topology on the sublinearly Morse boundary of any hierarchically hyperbolic group in terms of medians. Finally, we explicitly describe the sublinear Morse boundaries of graph manifolds using their actions on Bass-Serre trees.

math.GT

Shifts maps are not type-preserving

For a surface $S$ of sufficient complexity, Dehn twists act elliptically on the arc, curve, and relative arc graph of $S$. We show that composing a Dehn twist with a shift map results in a loxodromic isometry of the relative arc graph $\mathcal{A}(S,p)$ for any surface $S$ with an isolated puncture $p$ admitting a shift map. Therefore, shift maps are not type-preserving.

math.GT

Hierarchically hyperbolic groups and uniform exponential growth

We give several sufficient conditions for uniform exponential growth in the setting of virtually torsion-free hierarchically hyperbolic groups. For example, any hierarchically hyperbolic group that is also acylindrically hyperbolic has uniform exponential growth. In addition, we provide a quasi-isometric characterization of hierarchically hyperbolic groups without uniform exponential growth. To achieve this, we gain new insights on the structure of certain classes of hierarchically hyperbolic groups. Our methods give a new unified proof of uniform exponential growth for several examples of groups with notions of non-positive curvature. In particular, we obtain the first proof of uniform exponential growth for certain groups that act geometrically on CAT(0) cubical spaces of dimension 3 or more. Under additional hypotheses, we show that a quantitative Tits alternative holds for hierarchically hyperbolic groups.

math.GR

Largest acylindrical actions and stability in hierarchically hyperbolic groups

We consider two manifestations of non-positive curvature: acylindrical actions on hyperbolic spaces and quasigeodesic stability. We study these properties for the class of hierarchically hyperbolic groups, which is a general framework for studying many important families of groups, including mapping class groups, right-angled Coxeter and Artin groups, most 3-manifold groups, and many others. A group that admits an acylindrical action on a hyperbolic space may admit many such actions on different hyperbolic spaces, so it is natural to search for a "best" one. The set of all cobounded acylindrical actions on hyperbolic spaces admits a natural poset structure; in this paper we prove that all hierarchically hyperbolic groups admit a unique action which is the largest in this poset. The action we construct is also universal in the sense that every element which acts loxodromically in some acylindrical action on a hyperbolic space does so in this one. Special cases of this result are themselves new and interesting. For instance, this is the first proof that right-angled Coxeter groups admit universal acylindrical actions. The notion of quasigeodesic stability of subgroups provides a natural analogue of quasiconvexity outside the context of hyperbolic groups. We provide a complete classification of stable subgroups of hierarchically hyperbolic groups, generalizing and extending results that are known for mapping class groups and right-angled Artin groups. We also provide a characterization of contracting quasigeodesics; interestingly, in this generality the proof is much simpler than in the special cases where it was already known. In the appendix, it is verified that any space satisfying the a priori weaker property of being an "almost hierarchically hyperbolic space" is actually a hierarchically hyperbolic space. The results of the appendix are used to streamline the proofs in the main text.

math.GR

Hyperbolic structures on groups

For every group $G$, we introduce the set of hyperbolic structures on $G$, denoted $\mathcal{H}(G)$, which consists of equivalence classes of (possibly infinite) generating sets of $G$ such that the corresponding Cayley graph is hyperbolic; two generating sets of $G$ are equivalent if the corresponding word metrics on $G$ are bi-Lipschitz equivalent. Alternatively, one can define hyperbolic structures in terms of cobounded $G$-actions on hyperbolic spaces. We are especially interested in the subset $\mathcal{AH}(G)\subseteq \mathcal{H}(G)$ of acylindrically hyperbolic structures on $G$, i.e., hyperbolic structures corresponding to acylindrical actions. Elements of $\mathcal{H}(G)$ can be ordered in a natural way according to the amount of information they provide about the group $G$. The main goal of this paper is to initiate the study of the posets $\mathcal{H}(G)$ and $\mathcal{AH}(G)$ for various groups $G$. We discuss basic properties of these posets such as cardinality and existence of extremal elements, obtain several results about hyperbolic structures induced from hyperbolically embedded subgroups of $G$, and study to what extent a hyperbolic structure is determined by the set of loxodromic elements and their translation lengths.

math.GR

Actions of small cancellation groups on hyperbolic spaces

We generalize Gruber--Sisto's construction of the coned--off graph of a small cancellation group to build a partially ordered set $\mathcal{TC}$ of cobounded actions of a given small cancellation group whose smallest element is the action on the Gruber--Sisto coned--off graph. In almost all cases $\mathcal{TC}$ is incredibly rich: it has a largest element if and only if it has exactly 1 element, and given any two distinct comparable actions $[G\curvearrowright X] \preceq [G\curvearrowright Y]$ in this poset, there is an embeddeding $ι:P(ω)\to\mathcal{TC}$ such that $ι(\emptyset)=[G\curvearrowright X]$ and $ι(\mathbb N)=[G\curvearrowright Y]$. We use this poset to prove that there are uncountably many quasi--isometry classes of finitely generated group which admit two cobounded acylindrical actions on hyperbolic spaces such that there is no action on a hyperbolic space which is larger than both.

math.GR