SearcharxivSearch

arXiv subjects

Alessandro Sisto

Publications and source records attributed to Alessandro Sisto.

At least 19 recordsLinked to original sources

Coarse embeddings of products of trees as quasi-isometry invariants

We consider the maximal number of factors of a product of bushy trees that can be quasi-isometrically, or even coarsely embedded into various groups of interest, including mapping class groups, Torelli groups, Johnson kernels, surface braid groups, and Bestvina-Brady groups. We use this to quasi-isometrically distinguish groups from the above classes, and also to rule out coarse embeddings between them. All these are applications of general statements about coarse embeddings of products of bushy trees into hierarchically hyperbolic spaces.

math.GT

Cusped spaces for hierarchically hyperbolic groups, and applications to Dehn filling quotients

We introduce a construction that simultaneously yields cusped spaces of relatively hyperbolic groups, and spaces quasi-isometric to Teichmueller metrics. We use this to study Dehn-filling-like quotients of various groups, among which mapping class groups of punctured spheres. In particular, we show that the mapping class group of a five-holed sphere (resp. the braid group on four strands) has infinite hyperbolic quotients (strongly) not isomorphic to hyperbolic quotients of any other given sphere mapping class group (resp. any other braid group). These quotients are obtained by modding out suitable large powers of Dehn twists, and we further argue that the corresponding quotients of the extended mapping class group have trivial outer automorphism groups. We obtain these results by studying torsion elements in the relevant quotients.

math.GT

On automorphisms, quasimorphisms, and coarse automorphisms of acylindrically hyperbolic groups

We investigate the action of the automorphism group of an acylindrically hyperbolic group G on its space of homogeneous quasimorphisms, and identify its kernel with the subgroup of "strongly commensurating" automorphisms. We deduce that if G has no non-trivial finite normal subgroups then it has sufficiently many quasimorphisms to recognize whether an automorphism is inner. As consequences, we show that Out(G) acts faithfully on the kernel of the comparison map in bounded cohomology and it embeds in (several) groups of coarse automorphisms.

math.GR

Finite Index Rigidity of Relatively Hyperbolic Groups

We prove that, given a torsion-free relatively hyperbolic group G with non-relatively-hyperbolic peripherals, isomorphic finite index subgroups of G have the same index. This applies for instance to fundamental groups of finite-volume negatively curved manifolds, to limit groups, and to free-by-cyclic groups. More generally, we show that if two finite index subgroups of a relatively hyperbolic group are isomorphic via a map that respects their peripheral structures, then their indices in the ambient group are equal. The proof relies on demonstrating that the number of simplices in a simplicial classifying space of a finite index subgroup in a relatively hyperbolic group grows linearly with its index. These results generalize earlier work of the first author in the context of hyperbolic groups.

math.GR

New tools in hierarchical hyperbolicity: A survey

The aim of this short survey is to advertise various tools that have been developed to study hierarchically hyperbolic spaces (HHSs) in recent years, with particular emphasis on those that require little to no knowledge of the HHS machinery to be used.

math.GR

Power quotients of surface groups and mapping class groups

Let $\Gamma$ be the fundamental group of a closed, orientable, hyperbolic surface $S$. The $n$-power quotient, $\Gamma(n)$, is the quotient of $\Gamma$ by the $n$th powers of simple closed curves. We prove an analogue of the Dehn--Nielsen--Baer theorem for suitable large values of $n$: the outer automorphism group of $\Gamma(n)$ is isomorphic to the quotient of the extended mapping class group of $S$ by $n$th powers of Dehn twists. There is also a corresponding description of the automorphism group as the quotient of the extended mapping class group of the corresponding once-punctured surface, and we relate these groups via a Birman-type exact sequence. Along the way, and as consequences, we prove structural properties of $\Gamma(n)$ for suitable large values of $n$, including: $\Gamma(n)$ is virtually torsion-free, acylindrically hyperbolic, infinitely presented, with solvable word problem and finite asymptotic dimension.

math.GR

Bounded cohomology, quotient extensions, and hierarchical hyperbolicity

We call a central extension bounded if its Euler class is represented by a bounded cocycle. We prove that a bounded central extension of a hierarchically hyperbolic group (HHG) is still a HHG; conversely if a central extension is a HHG, then the extension is bounded, and under a further mild assumption the quotient is commensurable to a HHG. Motivated by questions on hierarchical hyperbolicity of quotients of mapping class groups, we therefore consider the general problem of determining when a quotient of a bounded central extension is still bounded, which we prove to be equivalent to an extendability problem for quasihomomorphisms. Finally, we show that quotients of the 4-strands braid group by suitable powers of a pseudo-Anosov are HHG, and in fact bounded central extensions of some HHG. We also speculate on how to extend the previous result to all mapping class groups.

math.GR

Asymptotically CAT(0) metrics, Z-structures, and the Farrell-Jones Conjecture

We show that colorable hierarchically hyperbolic groups (HHGs) admit asymptotically CAT(0) metrics, that is, roughly, metrics where the CAT(0) inequality holds up to sublinear error in the size of the triangle. We use the asymptotically CAT(0) metrics to construct contractible simplicial complexes and compactifications that provide $\mathcal{Z}$-structures in the sense of Bestvina and Dranishnikov. It was previously unknown that mapping class groups are asymptotically CAT(0) and admit $\mathcal{Z}$-structures. As an application, we prove that many HHGs satisfy the Farrell--Jones Conjecture, including extra large-type Artin groups. To construct asymptotically CAT(0) metrics, we show that hulls of finitely many points in a colorable HHGs can be approximated by CAT(0) cube complexes in a way that adding a point to the finite set corresponds, up to finitely many hyperplanes deletions, to a convex embedding.

math.GT

Non-solutions to mixed equations in acylindrically hyperbolic groups coming from random walks

A mixed equation in a group $G$ is given by a non-trivial element $w (x)$ of the free product $G \ast \mathbb{Z}$, and a solution is some $g\in G$ such that $w(g)$ is the identity. For $G$ acylindrically hyperbolic with trivial finite radical (e.g. torsion-free) we show that any mixed equation of length $n$ has a non-solution of length comparable to $\log(n)$, which is the best possible bound. Similarly, we show that there is a common non-solution of length $O(n)$ to all mixed equations of length $n$, again the best possible bound. In fact, in both cases we show that a random walk of appropriate length yields a non-solution with positive probability.

math.GR

Rigidity of mapping class groups mod powers of twists

We study quotients of mapping class groups of punctured spheres by suitable large powers of Dehn twists, showing an analogue of Ivanov's theorem for the automorphisms of the corresponding quotients of curve graphs. Then we use this result to prove quasi-isometric rigidity of these quotients, answering a question of Behrstock, Hagen, Martin, and Sisto in the case of punctured spheres. Finally, we show that the automorphism groups of our quotients of mapping class groups are "small", as are their abstract commensurators. This is again an analogue of a theorem of Ivanov about the automorphism group of the mapping class group. In the process we develop techniques to extract combinatorial data from a quasi-isometry of a hierarchically hyperbolic space, and use them to give a different proof of a result of Bowditch about quasi-isometric rigidity of pants graphs of punctured spheres.

math.GR

On uniqueness of coarse median structures

We show that any product of bushy hyperbolic spaces has a unique coarse median structure, and that having a unique coarse median structure is a property closed under relative hyperbolicity. As a consequence, in contrast with the case of mapping class groups, there are non-hyperbolic pants graphs that have unique coarse median structures.

math.GR

Induced quasi-isometries of hyperbolic spaces, Markov chains, and acylindrical hyperbolicity

We show that quasi-isometries of (well-behaved) hierarchically hyperbolic groups descend to quasi-isometries of their maximal hyperbolic space. This has two applications, one relating to quasi-isometry invariance of acylindrical hyperbolicity, and the other a linear progress result for Markov chains. The appendix, by Jacob Russell, contains a partial converse under the (necessary) condition that the maximal hyperbolic space is one-ended.

math.GR

Short hierarchically hyperbolic groups II: quotients and the Hopf property for Artin groups

We prove that most Artin groups of large and hyperbolic type are Hopfian, meaning that every self-epimorphism is an isomorphism. The class covered by our result is generic, in the sense of Goldsborough-Vaskou. Moreover, assuming the residual finiteness of certain hyperbolic groups with an explicit presentation, we get that all large and hyperbolic type Artin groups are residually finite. We also show that most quotients of the five-holed sphere mapping class group are hierarchically hyperbolic, up to taking powers of the normal generators of the kernels. The main tool we use to prove both results is a Dehn-filling-like procedure for short hierarchically hyperbolic groups (these also include e.g. non-geometric 3-manifolds, and triangle- and square-free RAAGs).

math.GR

Cohomological characterisation of hyperbolicity

For any geodesic metric space $X$, we give a complete cohomological characterisation of the hyperbolicity of $X$ in terms of vanishing of its second $\ell^{\infty}$-cohomology. We extend this result to the relative setting of $X$ with a collection of uniformly hyperbolic subgraphs. As an application, we give a cohomological characterisation of acylindrical hyperbolicity.

math.GR