arXiv Science⌕ Search

arXiv subjects

Alessandro Sisto

Publications and source records attributed to Alessandro Sisto.

At least 19 recordsLinked to original sources
arXiv2026

Hyperbolic Heegaard splittings and Dehn twists

We consider the family of Heegaard splittings of genus $g$ at least two which are defined via a gluing map that is the $n$-th power of the Dehn twist along a curve that satisfies a natural topological assumption, namely pared acylindricity. We show that if $n$ is at least 14, then the Heegaard splitting has a hyperbolic metric for which the simple closed curve defining the Dehn twist is a closed geodesic of length at least $1.24/(n^2g)$ and at most $37.5/n^2$

math.GT↗
arXiv2026

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↗
arXiv2026

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↗
arXiv2026

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↗
arXiv2026

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↗
arXiv2026

Drilling hyperbolic groups

Given a hyperbolic group $G$ and a maximal infinite cyclic subgroup $\langle g \rangle$, we define a {\it drilling of $G$ along $g$}, which is a relatively hyperbolic group pair $(\widehat{G}, P)$. This is inspired by the well-studied procedure of drilling a hyperbolic $3$--manifold along an embedded geodesic. We prove that, under suitable conditions, a hyperbolic group with $2$-sphere boundary admits a drilling where the resulting relatively hyperbolic group pair $(\widehat{G}, P)$ has relatively hyperbolic boundary $S^2$. This allows us to reduce the Cannon Conjecture (in the residually finite case) to a relative version, which is likely to be more tractable.

math.GT↗
arXiv2026

A Combinatorial Structure for Many Hierarchically Hyperbolic Spaces

The combinatorial hierarchical hyperbolicity criterion is a very useful way of constructing new hierarchically hyperbolic spaces (HHSs). We show that, conversely, HHSs satisfying natural assumptions (satisfied, for example, by mapping class groups) admit a combinatorial HHS structure. This can be useful in constructions of new HHSs, and also our construction clarifies how to apply the combinatorial HHS criterion to suspected examples. We also uncover connections between HHS notions and lattice theory notions.

math.GR↗
arXiv2026

Nearly-linear solution to the word problem for 3-manifold groups

We show that the word problem for any 3-manifold group is solvable in time $O(n\log^3 n)$. Our main contribution is the proof that the word problem for admissible graphs of groups, in the sense of Croke and Kleiner, is solvable in $O(n\log n)$; this covers fundamental groups of non-geometric graph manifolds. Similar methods also give that the word problem for free products can be solved ``almost as quickly'' as the word problem in the factors.

math.GR↗
arXiv2026

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↗
arXiv2025

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↗
arXiv2025

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↗
arXiv2025

Power quotients of surface groups and mapping class groups

Let $Γ$ be the fundamental group of a closed, orientable, hyperbolic surface $S$. The $n$-power quotient, $Γ(n)$, is the quotient of $Γ$ 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 $Γ(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 $Γ(n)$ for suitable large values of $n$, including: $Γ(n)$ is virtually torsion-free, acylindrically hyperbolic, infinitely presented, with solvable word problem and finite asymptotic dimension.

math.GR↗
arXiv2025

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↗
arXiv2025

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↗
arXiv2025

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↗
arXiv2025

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↗
arXiv2025

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↗