An infinite-type surface $Sigma$ is of type $mathcal{S}$ if it has an isolated puncture $p$ and admits shift maps. This includes all infinite-type surfaces with an isolated puncture outside of two sporadic classes. Given such a surface, we construct
an infinite family of intrinsically infinite-type mapping classes that act loxodromically on the relative arc graph $mathcal{A}(Sigma, p)$. J. Bavard produced such an element for the plane minus a Cantor set, and our result gives the first examples of such mapping classes for all other surfaces of type $mathcal{S}$. The elements we construct are the composition of three shift maps on $Sigma$, and we give an alternate characterization of these elements as a composition of a pseudo-Anosov on a finite-type subsurface of $Sigma$ and a standard shift map. We then explicitly find their limit points on the boundary of $mathcal{A}(Sigma,p)$ and their limiting geodesic laminations. Finally, we show that these infinite-type elements can be used to prove that Map$(Sigma,p)$ has an infinite-dimensional space of quasimorphisms.
In this paper, we prove a combination theorem for indicable subgroups of infinite-type (or big) mapping class groups. Importantly, all subgroups from the combination theorem, as well as those from the other results of the paper, can be constructed so
that they do not lie in the closure of the compactly supported mapping class group and do not lie in the isometry group for any hyperbolic metric on the relevant infinite-type surface. Along the way, we prove an embedding theorem for indicable subgroups of mapping class groups, a corollary of which gives embeddings of pure big mapping class groups into other big mapping class groups that are not induced by embeddings of the underlying surfaces. We also give new constructions of free groups, wreath products with $mathbb Z$, and Baumslag-Solitar groups in big mapping class groups that can be used as an input for the combination theorem. One application of our combination theorem is a new construction of right-angled Artin groups in big mapping class groups.
Recent papers of the authors have completely described the hyperbolic actions of several families of classically studied solvable groups. A key tool for these investigations is the machinery of confining subsets of Caprace, Cornulier, Monod, and Tess
era, which applies, in particular, to solvable groups with virtually cyclic abelianizations. In this paper, we extend this machinery and give a correspondence between the hyperbolic actions of certain solvable groups with higher rank abelianizations and confining subsets of these more general groups. We then apply this extension to give a complete description of the hyperbolic actions of a family of groups related to Baumslag-Solitar groups.
We abstract the notion of an A/QI triple from a number of examples in geometric group theory. Such a triple (G,X,H) consists of a group G acting on a Gromov hyperbolic space X, acylindrically along a finitely generated subgroup H which is quasi-isome
trically embedded by the action. Examples include strongly quasi-convex subgroups of relatively hyperbolic groups, convex cocompact subgroups of mapping class groups, many known convex cocompact subgroups of Out(Fn), and groups generated by powers of independent loxodromic WPD elements of a group acting on a Gromov hyperbolic space. We initiate the study of intersection and combination properties of A/QI triples. Under the additional hypothesis that G is finitely generated, we use a method of Sisto to show that H is stable. We apply theorems of Kapovich--Rafi and Dowdall--Taylor to analyze the Gromov boundary of an associated cone-off. We close with some examples and questions.
The set of equivalence classes of cobounded actions of a group on different hyperbolic metric spaces carries a natural partial order. The resulting poset thus gives rise to a notion of the best hyperbolic action of a group as the largest element of t
his poset, if such an element exists. We call such an action a largest hyperbolic action. While hyperbolic groups admit largest hyperbolic actions, we give evidence in this paper that this phenomenon is rare for non-hyperbolic groups. In particular, we prove that many families of groups of geometric origin do not have largest hyperbolic actions, including for instance many 3-manifold groups and most mapping class groups. Our proofs use the quasi-trees of metric spaces of Bestvina--Bromberg--Fujiwara, among other tools. In addition, we give a complete characterization of the poset of hyperbolic actions of Anosov mapping torus groups, and we show that mapping class groups of closed surfaces of genus at least two have hyperbolic actions which are comparable only to the trivial action.
Coning off a collection of uniformly quasiconvex subsets of a Gromov hyperbolic space leaves a new space, called the cone-off. Kapovich and Rafi generalized work of Bowditch to show this space is still Gromov hyperbolic. We show that the Gromov bound
ary of cone-off embeds in the boundary of the original hyperbolic space. (A stronger version of this result was previously obtained by Dowdall and Taylor; see Note in text.) Moreover, under some acylindricity assumptions we give a precise description of the image. As an application, we are able to characterize the elliptic and loxodromic elements of groups acting on certain cone-offs of acylindrical actions.
We give a complete list of the cobounded actions of solvable Baumslag-Solitar groups on hyperbolic metric spaces up to a natural equivalence relation. The set of equivalence classes carries a natural partial order first introduced by Abbott-Balasubra
manya-Osin, and we describe the resulting poset completely. There are finitely many equivalence classes of actions, and each equivalence class contains the action on a point, a tree, or the hyperbolic plane.
We explore geometric conditions which ensure a given element of a finitely generated group is, or fails to be, generalized loxodromic; as part of this we prove a generalization of Sistos result that every generalized loxodromic element is Morse. We p
rovide a sufficient geometric condition for an element of a small cancellation group to be generalized loxodromic in terms of the defining relations and provide a number of constructions which prove that this condition is sharp.
We prove that every acylindrically hyperbolic group that has no non-trivial finite normal subgroup satisfies a strong ping pong property, the $P_{naive}$ property: for any finite collection of elements $h_1, dots, h_k$, there exists another element $
gamma eq 1$ such that for all $i$, $langle h_i, gamma rangle = langle h_i rangle* langle gamma rangle$. We also obtain that if a collection of subgroups $H_1, dots, H_k$ is a hyperbolically embedded collection, then there is $gamma eq 1$ such that for all $i$, $langle H_i, gamma rangle = H_i * langle gamma rangle$.
The class of acylindrically hyperbolic groups, which are groups that admit a certain type of non-elementary action on a hyperbolic space, contains many interesting groups such as non-exceptional mapping class groups and $operatorname{Out}(mathbb F_n)
$ for $ngeq 2$. In such a group, a generalized loxodromic element is one that is loxodromic for some acylindrical action of the group on a hyperbolic space. Osin asks whether every finitely generated group has an acylindrical action on a hyperbolic space for which all generalized loxodromic elements are loxodromic. We answer this question in the negative, using Dunwoodys example of an inaccessible group as a counterexample.
