Showing 1–50 of 71 results for author: Sisto, A

Drilling hyperbolic groups

Authors: Daniel Groves, Peter Haïssinsky, Jason F. Manning, Damian Osajda, Alessandro Sisto, Genevieve S. Walsh

Abstract: Given a hyperbolic group $G$ and a maximal infinite cyclic subgroup $\langle g \rangle$, we define a 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 dr… ▽ More Given a hyperbolic group $G$ and a maximal infinite cyclic subgroup $\langle g \rangle$, we define a 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. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: 83 pages, 2 figures. Comments welcome

MSC Class: 20F67; 20F65

(Non-)existence of Cannon-Thurston maps for Morse boundaries

Authors: Ruth Charney, Matthew Cordes, Antoine Goldsborough, Alessandro Sisto, Stefanie Zbinden

Abstract: We show that the Morse boundary exhibits interesting examples of both the existence and non-existence of Cannon-Thurston maps for normal subgroups, in contrast with the hyperbolic case. We show that the Morse boundary exhibits interesting examples of both the existence and non-existence of Cannon-Thurston maps for normal subgroups, in contrast with the hyperbolic case. △ Less

Submitted 27 May, 2024; originally announced May 2024.

Comments: 7 pages

MSC Class: 20F65; 20F67; 20E07; 57M07

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

Authors: Antoine Goldsborough, Mark Hagen, Harry Petyt, Jacob Russell, Alessandro Sisto

Abstract: 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 t… ▽ More 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. △ Less

Submitted 13 September, 2023; originally announced September 2023.

Comments: 36 pages, 1 figure. Main paper by A. Goldsborough, M. Hagen, H. Petyt and A. Sisto; appendix by J. Russell

A Combinatorial Structure for Many Hierarchically Hyperbolic Spaces

Authors: Mark Hagen, Giorgio Mangioni, Alessandro Sisto

Abstract: 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 combinatoria… ▽ More 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. △ Less

Submitted 30 August, 2023; originally announced August 2023.

Comments: 64 pages, 10 figures

Hyperbolic Heegaard splittings and Dehn twists

Authors: Peter Feller, Alessandro Sisto, Gabriele Viaggi

Abstract: We consider the family of Heegaard splittings of genus $g$ at least three which are defined via a glueing 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 close… ▽ More We consider the family of Heegaard splittings of genus $g$ at least three which are defined via a glueing 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 $0.7/(n^2g^2)$ and at most $34.3/n^2$. △ Less

Submitted 12 April, 2023; originally announced April 2023.

Comments: 8 pages. Comments welcome!

MSC Class: 57K32

On the Čech cohomology of Morse boundaries

Authors: Elia Fioravanti, Annette Karrer, Alessandro Sisto, Stefanie Zbinden

Abstract: We consider cusped hyperbolic $n-$manifolds, and compute Čech cohomology groups of the Morse boundaries of their fundamental groups. In particular, we show that the reduced Čech cohomology with real coefficients vanishes in dimension at most $n-3$ and does not vanish in dimension $n-2$. A similar result holds for relatively hyperbolic groups with virtually nilpotent peripherals and Bowditch bounda… ▽ More We consider cusped hyperbolic $n-$manifolds, and compute Čech cohomology groups of the Morse boundaries of their fundamental groups. In particular, we show that the reduced Čech cohomology with real coefficients vanishes in dimension at most $n-3$ and does not vanish in dimension $n-2$. A similar result holds for relatively hyperbolic groups with virtually nilpotent peripherals and Bowditch boundary homeomorphic to a sphere; these include all non-uniform lattices in rank$-1$ simple Lie groups. △ Less

Submitted 27 February, 2024; v1 submitted 28 March, 2023; originally announced March 2023.

Comments: 41 pages, 8 figures; minor edits, accepted in Advances in Mathematics

Report number: MPIM-Bonn-2023

Random divergence of groups

Authors: Antoine Goldsborough, Alessandro Sisto

Abstract: The divergence of a group is a quasi-isometry invariant defined in terms of pairs of points and lengths of paths avoiding a suitable ball around the identity. In this paper we study "random divergence'', meaning the divergence at two points chosen according to independent random walks or Markov chains; the Markov chains version can be turned into a quasi-isometry invariant. We show that in many ca… ▽ More The divergence of a group is a quasi-isometry invariant defined in terms of pairs of points and lengths of paths avoiding a suitable ball around the identity. In this paper we study "random divergence'', meaning the divergence at two points chosen according to independent random walks or Markov chains; the Markov chains version can be turned into a quasi-isometry invariant. We show that in many cases, such as for relatively hyperbolic groups, mapping class groups, and right-angled Artin groups, the divergence at two randomly chosen points is with high probability equivalent to the divergence of the group. That is, generic points realise the largest possible divergence. △ Less

Submitted 17 March, 2023; originally announced March 2023.

Comments: 21 pages. 2 figures

Property (NL) for group actions on hyperbolic spaces

Authors: Sahana Balasubramanya, Francesco Fournier-Facio, Anthony Genevois, Alessandro Sisto

Abstract: We introduce Property (NL), which indicates that a group does not admit any (isometric) action on a hyperbolic space with loxodromic elements. In other words, such a group $G$ can only admit elliptic or horocyclic hyperbolic actions, and consequently its poset of hyperbolic structures $\mathcal{H}(G)$ is trivial. It turns out that many groups satisfy this property; and we initiate the formal study… ▽ More We introduce Property (NL), which indicates that a group does not admit any (isometric) action on a hyperbolic space with loxodromic elements. In other words, such a group $G$ can only admit elliptic or horocyclic hyperbolic actions, and consequently its poset of hyperbolic structures $\mathcal{H}(G)$ is trivial. It turns out that many groups satisfy this property; and we initiate the formal study of this phenomenon. Of particular importance is the proof of a dynamical criterion in this paper that ensures that groups with rich actions on compact Hausdorff spaces have Property (NL). These include many Thompson-like groups, such as $V, T$ and even twisted Brin--Thompson groups, which implies that every finitely generated group quasi-isometrically embeds into a finitely generated simple group with Property (NL). We also study the stability of the property under group operations and explore connections to other fixed point properties. In the appendix (by Alessandro Sisto) we describe a construction of cobounded actions on hyperbolic spaces starting from non-cobounded ones that preserves various properties of the initial action. △ Less

Submitted 1 September, 2023; v1 submitted 29 December, 2022; originally announced December 2022.

Comments: 48 pages. Main paper by the first three authors, appendix by the fourth author. v3: final version, to appear in Groups, Geometry and Dynamics

Rigidity of mapping class groups mod powers of twists

Authors: Giorgio Mangioni, Alessandro Sisto

Abstract: 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 s… ▽ More 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. △ Less

Submitted 25 May, 2023; v1 submitted 21 December, 2022; originally announced December 2022.

Comments: 63 pages, 27 figures. V2: Minor improvements and clarifications. Comments are welcome!

Morse subsets of injective spaces are strongly contracting

Authors: Alessandro Sisto, Abdul Zalloum

Abstract: We show that a quasi-geodesic in an injective metric space is Morse if and only if it is strongly contracting. Since mapping class groups and, more generally, hierarchically hyperbolic groups act properly and coboundedly on injective metric spaces, we deduce various consequences relating, for example, to growth tightness and genericity of pseudo-Anosovs/Morse elements. Moreover, we show that injec… ▽ More We show that a quasi-geodesic in an injective metric space is Morse if and only if it is strongly contracting. Since mapping class groups and, more generally, hierarchically hyperbolic groups act properly and coboundedly on injective metric spaces, we deduce various consequences relating, for example, to growth tightness and genericity of pseudo-Anosovs/Morse elements. Moreover, we show that injective metric spaces have the Morse local-to-global property and that a non-virtually-cyclic group acting properly and coboundedly on an injective metric space is acylindrically hyperbolic if and only it contains a Morse ray. △ Less

Submitted 25 April, 2023; v1 submitted 29 August, 2022; originally announced August 2022.

Comments: Added a corollary that hierarchically hyperbolic spaces are Morse local-to-global without a bounded domain dichotomy assumption. Furthermore, we slighted edited the proof that injective spaces have the Morse local-to-global property

Characterising acylindrical hyperbolicity via permutation actions

Authors: Uri Bader, Alessandro Sisto

Abstract: We characterise acylindrical hyperbolicity of a group in terms of properties of an action of the group on a set (without any extra structure). In particular, this applies to the action of the group on itself by left multiplication, as well as the action on a (full measure subset of the) Furstenberg-Poisson boundary. We characterise acylindrical hyperbolicity of a group in terms of properties of an action of the group on a set (without any extra structure). In particular, this applies to the action of the group on itself by left multiplication, as well as the action on a (full measure subset of the) Furstenberg-Poisson boundary. △ Less

Submitted 6 July, 2022; originally announced July 2022.

Comments: 10 pages

Equivariant hierarchically hyperbolic structures for 3-manifold groups via quasimorphisms

Authors: Mark Hagen, Jacob Russell, Alessandro Sisto, Davide Spriano

Abstract: Behrstock, Hagen, and Sisto classified 3-manifold groups admitting a hierarchically hyperbolic space structure. However, these structures were not always equivariant with respect to the group. In this paper, we classify 3-manifold groups admitting equivariant hierarchically hyperbolic structures. The key component of our proof is that the admissible groups introduced by Croke and Kleiner always ad… ▽ More Behrstock, Hagen, and Sisto classified 3-manifold groups admitting a hierarchically hyperbolic space structure. However, these structures were not always equivariant with respect to the group. In this paper, we classify 3-manifold groups admitting equivariant hierarchically hyperbolic structures. The key component of our proof is that the admissible groups introduced by Croke and Kleiner always admit equivariant hierarchically hyperbolic structures. For non-geometric graph manifolds, this is contrary to a conjecture of Behrstock, Hagen, and Sisto and also contrasts with results about CAT(0) cubical structures on these groups. Perhaps surprisingly, our arguments involve the construction of suitable quasimorphisms on the Seifert pieces, in order to construct actions on quasi-lines. △ Less

Submitted 10 August, 2023; v1 submitted 24 June, 2022; originally announced June 2022.

Comments: Version to appear in Annales de l'Institut Fourier

MSC Class: 20F65; 20F67; 20E08

Some examples of separable convex-cocompact subgroups

Authors: Mark Hagen, Alessandro Sisto

Abstract: Reid asked whether all convex-cocompact subgroups of mapping class groups are separable. Using a construction of Manning-Mj-Sageev, we give examples of separable convex-cocompact subgroups that are free of arbitrary finite rank, while prior examples seem to all be virtually cyclic. Reid asked whether all convex-cocompact subgroups of mapping class groups are separable. Using a construction of Manning-Mj-Sageev, we give examples of separable convex-cocompact subgroups that are free of arbitrary finite rank, while prior examples seem to all be virtually cyclic. △ Less

Submitted 23 March, 2023; v1 submitted 22 June, 2022; originally announced June 2022.

Comments: 14 pages, 4 figures. Revised following referee reports. To appear in Bull. Lond. Math. Soc

Hyperbolic actions of higher-rank lattices come from rank-one factors

Authors: Uri Bader, Pierre-Emmanuel Caprace, Alex Furman, Alessandro Sisto

Abstract: We study actions of higher rank lattices $Γがんま<G$ on hyperbolic spaces, and we show that all such actions satisfying mild properties come from the rank-one factors of $G$. In particular, all non-elementary actions on an unbounded hyperbolic space are of this type. Our results also apply to lattices in products of trees, so that for example Burger--Mozes groups have exactly two non-elementary actions… ▽ More We study actions of higher rank lattices $Γがんま<G$ on hyperbolic spaces, and we show that all such actions satisfying mild properties come from the rank-one factors of $G$. In particular, all non-elementary actions on an unbounded hyperbolic space are of this type. Our results also apply to lattices in products of trees, so that for example Burger--Mozes groups have exactly two non-elementary actions on a hyperbolic space, up to a natural equivalence. △ Less

Submitted 13 June, 2022; originally announced June 2022.

Comments: 20 pages

The word problem for free groups cannot be solved in linear time*

Authors: Alessandro Sisto

Abstract: *by a standard (one-tape) Turing machine. It is well-known that the word problem for hyperbolic groups, whence in particular for free groups, can be solved in linear time. However, these algorithms run on machines more complicated than a standard Turing machine. By contrast, in this note we show that a standard Turing machine cannot solve the word problem for the free group on two generators in le… ▽ More *by a standard (one-tape) Turing machine. It is well-known that the word problem for hyperbolic groups, whence in particular for free groups, can be solved in linear time. However, these algorithms run on machines more complicated than a standard Turing machine. By contrast, in this note we show that a standard Turing machine cannot solve the word problem for the free group on two generators in less than quadratic time. △ Less

Submitted 10 February, 2022; originally announced February 2022.

Comments: 2 pages

Markov chains on hyperbolic-like groups and quasi-isometries

Authors: Antoine Goldsborough, Alessandro Sisto

Abstract: We propose the study of Markov chains on groups as a "quasi-isometry invariant" theory that encompasses random walks. In particular, we focus on certain classes of groups acting on hyperbolic spaces including (non-elementary) hyperbolic and relatively hyperbolic groups, acylindrically hyperbolic 3-manifold groups, as well as fundamental groups of certain graphs of groups with edge groups of subexp… ▽ More We propose the study of Markov chains on groups as a "quasi-isometry invariant" theory that encompasses random walks. In particular, we focus on certain classes of groups acting on hyperbolic spaces including (non-elementary) hyperbolic and relatively hyperbolic groups, acylindrically hyperbolic 3-manifold groups, as well as fundamental groups of certain graphs of groups with edge groups of subexponential growth. For those, we prove a linear progress result and various applications, and these lead to a Central Limit Theorem for random walks on groups quasi-isometric to the ones we consider. △ Less

Submitted 23 November, 2022; v1 submitted 18 November, 2021; originally announced November 2021.

Comments: Corrected some typos and added minor clarifications. Accepted in Crelle

Extensions of Veech groups II: Hierarchical hyperbolicity and quasi-isometric rigidity

Authors: Spencer Dowdall, Matthew G. Durham, Christopher J. Leininger, Alessandro Sisto

Abstract: We show that for any lattice Veech group in the mapping class group $\mathrm{Mod}(S)$ of a closed surface $S$, the associated $πぱい_1 S$--extension group is a hierarchically hyperbolic group. As a consequence, we prove that any such extension group is quasi-isometrically rigid. We show that for any lattice Veech group in the mapping class group $\mathrm{Mod}(S)$ of a closed surface $S$, the associated $πぱい_1 S$--extension group is a hierarchically hyperbolic group. As a consequence, we prove that any such extension group is quasi-isometrically rigid. △ Less

Submitted 7 March, 2024; v1 submitted 1 November, 2021; originally announced November 2021.

Comments: v2: 60 pages, 10 figures. This is the sequel to arXiv:2006.16425. Updates to incorporate referee comments. Final version accepted for publication in Commentarii Mathematici Helvetici

MSC Class: 20F67; 20F65; 30F60; 57M60; 57M07

Journal ref: Comment. Math. Helv. 99 (2024), no. 1, pp. 149-228

Extra-large type Artin groups are hierarchically hyperbolic

Authors: Mark Hagen, Alexandre Martin, Alessandro Sisto

Abstract: We show that Artin groups of extra-large type, and more generally Artin groups of large and hyperbolic type, are hierarchically hyperbolic. This implies in particular that these groups have finite asymptotic dimension and uniform exponential growth. We prove these results by using a combinatorial approach to hierarchical hyperbolicity, via the action of these groups on a new complex that is quas… ▽ More We show that Artin groups of extra-large type, and more generally Artin groups of large and hyperbolic type, are hierarchically hyperbolic. This implies in particular that these groups have finite asymptotic dimension and uniform exponential growth. We prove these results by using a combinatorial approach to hierarchical hyperbolicity, via the action of these groups on a new complex that is quasi-isometric both to the coned-off Deligne complex introduced by Martin-Przytycki and to a generalisation due to Morris-Wright of the graph of irreducible parabolic subgroups of finite type introduced by Cumplido-Gebhardt-González-Meneses-Wiest. △ Less

Submitted 9 September, 2021; originally announced September 2021.

Comments: 62 pages, 4 figures

MSC Class: 20F65; 20F36; 20F67

ChainCQG: Flow-Aware Conversational Question Generation

Authors: Jing Gu, Mostafa Mirshekari, Zhou Yu, Aaron Sisto

Abstract: Conversational systems enable numerous valuable applications, and question-answering is an important component underlying many of these. However, conversational question-answering remains challenging due to the lack of realistic, domain-specific training data. Inspired by this bottleneck, we focus on conversational question generation as a means to generate synthetic conversations for training and… ▽ More Conversational systems enable numerous valuable applications, and question-answering is an important component underlying many of these. However, conversational question-answering remains challenging due to the lack of realistic, domain-specific training data. Inspired by this bottleneck, we focus on conversational question generation as a means to generate synthetic conversations for training and evaluation purposes. We present a number of novel strategies to improve conversational flow and accommodate varying question types and overall fluidity. Specifically, we design ChainCQG as a two-stage architecture that learns question-answer representations across multiple dialogue turns using a flow propagation training strategy.ChainCQG significantly outperforms both answer-aware and answer-unaware SOTA baselines (e.g., up to 48% BLEU-1 improvement). Additionally, our model is able to generate different types of questions, with improved fluidity and coreference alignment. △ Less

Submitted 4 February, 2021; originally announced February 2021.

Comments: EACL 2021

Maps between relatively hyperbolic spaces and between their boundaries

Authors: John M. Mackay, Alessandro Sisto

Abstract: We study relations between maps between relatively hyperbolic groups/spaces and quasisymmetric embeddings between their boundaries. More specifically, we establish a correspondence between (not necessarily coarsely surjective) quasi-isometric embeddings between relatively hyperbolic groups/spaces that coarsely respect peripherals, and quasisymmetric embeddings between their boundaries satisfying s… ▽ More We study relations between maps between relatively hyperbolic groups/spaces and quasisymmetric embeddings between their boundaries. More specifically, we establish a correspondence between (not necessarily coarsely surjective) quasi-isometric embeddings between relatively hyperbolic groups/spaces that coarsely respect peripherals, and quasisymmetric embeddings between their boundaries satisfying suitable conditions. Further, we establish a similar correspondence regarding maps with at most polynomial distortion. We use this to characterise groups which are hyperbolic relative to some collection of virtually nilpotent subgroups as exactly those groups which admit an embedding into a truncated real hyperbolic space with at most polynomial distortion, generalising a result of Bonk and Schramm for hyperbolic groups. △ Less

Submitted 12 September, 2023; v1 submitted 22 December, 2020; originally announced December 2020.

Comments: v1: 51 pages, 3 figures; v2: 54 pages, 3 figures. Minor updates

MSC Class: 20F65; 20F67; 20F69; 31L10; 51F99

Stable cubulations, bicombings, and barycenters

Authors: Matthew G. Durham, Yair N. Minsky, Alessandro Sisto

Abstract: We prove that the hierarchical hulls of finite sets of points in mapping class groups and Teichmüller spaces are stably approximated by a CAT(0) cube complexes, strengthening a result of Behrstock-Hagen-Sisto. As applications, we prove that mapping class groups are semihyperbolic and Teichmüller spaces are coarsely equivariantly bicombable, and both admit stable coarse barycenters. Our results app… ▽ More We prove that the hierarchical hulls of finite sets of points in mapping class groups and Teichmüller spaces are stably approximated by a CAT(0) cube complexes, strengthening a result of Behrstock-Hagen-Sisto. As applications, we prove that mapping class groups are semihyperbolic and Teichmüller spaces are coarsely equivariantly bicombable, and both admit stable coarse barycenters. Our results apply to the broader class of "colorable" hierarchically hyperbolic spaces and groups. △ Less

Submitted 28 September, 2020; originally announced September 2020.

Comments: 80 pages, 25 figures

MSC Class: 20F67; 20F65; 30F60; 57M60; 57M07

Journal ref: Geom. Topol. 27 (2023) 2383-2478

Large deviations for random walks on Gromov-hyperbolic spaces

Authors: Adrien Boulanger, Pierre Mathieu, Cagri Sert, Alessandro Sisto

Abstract: Let $Γがんま$ be a countable group acting on a geodesic Gromov-hyperbolic metric space $X$ and $μみゅー$ a probability measure on $Γがんま$ whose support generates a non-elementary subsemigroup. Under the assumption that $μみゅー$ has a finite exponential moment, we establish large deviations results for the distance and the translation length of a random walk with driving measure $μみゅー$. From our results, we deduce a speci… ▽ More Let $Γがんま$ be a countable group acting on a geodesic Gromov-hyperbolic metric space $X$ and $μみゅー$ a probability measure on $Γがんま$ whose support generates a non-elementary subsemigroup. Under the assumption that $μみゅー$ has a finite exponential moment, we establish large deviations results for the distance and the translation length of a random walk with driving measure $μみゅー$. From our results, we deduce a special case of a conjecture regarding large deviations of spectral radii of random matrix products. △ Less

Submitted 13 July, 2021; v1 submitted 5 August, 2020; originally announced August 2020.

Comments: V1 --> V2: Modifications and small corrections after the referee reports, to appear in Ann. Sci. Ec. Norm. Super. (50 pages)

Extensions of Veech groups I: A hyperbolic action

Authors: Spencer Dowdall, Matthew G. Durham, Christopher J. Leininger, Alessandro Sisto

Abstract: Given a lattice Veech group in the mapping class group of a closed surface $S$, this paper investigates the geometry of $Γがんま$, the associated $πぱい_1S$--extension group. We prove that $Γがんま$ is the fundamental group of a bundle with a singular Euclidean-by-hyperbolic geometry. Our main result is that collapsing "obvious" product regions of the universal cover produces an action of $Γがんま$ on a hyperbolic spac… ▽ More Given a lattice Veech group in the mapping class group of a closed surface $S$, this paper investigates the geometry of $Γがんま$, the associated $πぱい_1S$--extension group. We prove that $Γがんま$ is the fundamental group of a bundle with a singular Euclidean-by-hyperbolic geometry. Our main result is that collapsing "obvious" product regions of the universal cover produces an action of $Γがんま$ on a hyperbolic space, retaining most of the geometry of $Γがんま$. This action is a key ingredient in the sequel where we show that $Γがんま$ is hierarchically hyperbolic and quasi-isometrically rigid. △ Less

Submitted 7 March, 2024; v1 submitted 29 June, 2020; originally announced June 2020.

Comments: v3: 45 pages; minor revisions incorporating referee comments; final version accepted for publication in the Journal of Topology; v4: corrected citation for Lemma 4.10

MSC Class: 20F67; 20F65; 30F60; 57M60; 57M07

Journal ref: J. Topol., 16(2023), no.2, 757-805

A combinatorial take on hierarchical hyperbolicity and applications to quotients of mapping class groups

Authors: Jason Behrstock, Mark Hagen, Alexandre Martin, Alessandro Sisto

Abstract: We give a simple combinatorial criterion, in terms of an action on a hyperbolic simplicial complex, for a group to be hierarchically hyperbolic. We apply this to show that quotients of mapping class groups by large powers of Dehn twists are hierarchically hyperbolic (and even relatively hyperbolic in the genus 2 case). Under residual finiteness assumptions, we construct many non-elementary hyperbo… ▽ More We give a simple combinatorial criterion, in terms of an action on a hyperbolic simplicial complex, for a group to be hierarchically hyperbolic. We apply this to show that quotients of mapping class groups by large powers of Dehn twists are hierarchically hyperbolic (and even relatively hyperbolic in the genus 2 case). Under residual finiteness assumptions, we construct many non-elementary hyperbolic quotients of mapping class groups. Using these quotients, we reduce questions of Reid and Bridson-Reid-Wilton about finite quotients of mapping class groups to residual finiteness of specific hyperbolic groups. △ Less

Submitted 21 June, 2024; v1 submitted 1 May, 2020; originally announced May 2020.

Comments: Revised according to referee comments. This version accepted in Journal of Topology

Large deviation principles for non-elementary random walks on hyperbolic spaces

Authors: Cagri Sert, Alessandro Sisto

Abstract: We show that the displacement and translation distance of non-elementary random walks on isometry groups of hyperbolic spaces satisfy large deviation principles with the same rate function $I$. Roughly, this means that there exists function $I(t)$ which accurately predicts the exponential decay rate of the probability that the translation distance of a random product of length $n$ is $tn$, and sim… ▽ More We show that the displacement and translation distance of non-elementary random walks on isometry groups of hyperbolic spaces satisfy large deviation principles with the same rate function $I$. Roughly, this means that there exists function $I(t)$ which accurately predicts the exponential decay rate of the probability that the translation distance of a random product of length $n$ is $tn$, and similarly for the displacement. This settles a special case of a conjecture concerning the large deviation principle for the spectral radius of random matrix products. In a second part, we give a characterization of the effective support of the rate function only in terms of the deterministic notion of joint stable length. Finally, as a by-product of our techniques, we deduce some further deterministic results on the asymptotics of a bounded set of isometries. Some of the results in this paper were obtained simultaneously and independently by Boulanger--Mathieu as we discuss in the introduction. △ Less

Submitted 19 August, 2020; v1 submitted 29 April, 2020; originally announced April 2020.

Comments: arXiv:2004.14315 and arXiv:2004.14277 have been withdrawn and merged into the new paper arXiv:2008.02709

Central extensions and bounded cohomology

Authors: Roberto Frigerio, Alessandro Sisto

Abstract: It was shown by Gersten that a central extension of a finitely generated group is quasi-isometrically trivial provided that its Euler class is bounded. We say that a finitely generated group $G$ satisfies Property QITB (quasi-isometrically trivial implies bounded) if the Euler class of any quasi-isometrically trivial central extension of $G$ is bounded. We exhibit a finitely generated group $G$ wh… ▽ More It was shown by Gersten that a central extension of a finitely generated group is quasi-isometrically trivial provided that its Euler class is bounded. We say that a finitely generated group $G$ satisfies Property QITB (quasi-isometrically trivial implies bounded) if the Euler class of any quasi-isometrically trivial central extension of $G$ is bounded. We exhibit a finitely generated group $G$ which does not satisfy Property QITB. This answers a question by Neumann and Reeves, and provides partial answers to related questions by Wienhard and Blank. We also prove that Property QITB holds for a large class of groups, including amenable groups, right-angled Artin groups, relatively hyperbolic groups with amenable peripheral subgroups, and 3-manifold groups. Finally, we show that Property QITB holds for every finitely presented group if a conjecture by Gromov on bounded primitives of differential forms holds as well. △ Less

Submitted 14 November, 2022; v1 submitted 2 March, 2020; originally announced March 2020.

Comments: v3: Final version to appear on Annales Henri Lebesgue

Uniform models and short curves for random 3-manifolds

Authors: Peter Feller, Alessandro Sisto, Gabriele Viaggi

Abstract: We provide two constructions of hyperbolic metrics on 3-manifolds with Heegaard splittings that satisfy certain topological conditions, which both apply to random Heegaard splittings with asymptotic probability 1. These constructions provide a lot of control on the resulting metric, allowing us to prove various results about the coarse growth rate of geometric invariants, such as diameter and in… ▽ More We provide two constructions of hyperbolic metrics on 3-manifolds with Heegaard splittings that satisfy certain topological conditions, which both apply to random Heegaard splittings with asymptotic probability 1. These constructions provide a lot of control on the resulting metric, allowing us to prove various results about the coarse growth rate of geometric invariants, such as diameter and injectivity radius, and about arithmeticity and commensurability in families of random 3-manifolds. For example, we show that the diameter of a random Heegaard splitting grows coarsely linearly in the length of the associated random walk. The constructions only use tools from the deformation theory of Kleinian groups, that is, we do not rely on the solution of the Geometrization Conjecture by Perelman. In particular, we give a proof of Maher's result that random 3-manifolds are hyperbolic that bypasses Geometrization. △ Less

Submitted 14 May, 2022; v1 submitted 21 October, 2019; originally announced October 2019.

Comments: 68 pages, 4 figures. Version 3: Rewritten introduction with focus on the applications to injectivity radius, diameter, and non-arithmeticity and non-commesurability of random 3-manifolds. Fundamentally reworked the proof concerning the model metrics

MSC Class: 58C40; 30F60; 20P05

Complete topological descriptions of certain Morse boundaries

Authors: Ruth Charney, Matthew Cordes, Alessandro Sisto

Abstract: We study direct limits of embedded Cantor sets and embedded \sier curves. We show that under appropriate conditions on the embeddings, all limits of Cantor spaces give rise to homeomorphic spaces, called $ωおめが$-Cantor spaces, and similarly, all limits of \sier curves give homeomorphic spaces, called to $ωおめが$-\sier curves. We then show that the former occur naturally as Morse boundaries of right-angled… ▽ More We study direct limits of embedded Cantor sets and embedded \sier curves. We show that under appropriate conditions on the embeddings, all limits of Cantor spaces give rise to homeomorphic spaces, called $ωおめが$-Cantor spaces, and similarly, all limits of \sier curves give homeomorphic spaces, called to $ωおめが$-\sier curves. We then show that the former occur naturally as Morse boundaries of right-angled Artin groups and fundamental groups of non-geometric graph manifolds, while the latter occur as Morse boundaries of fundamental groups of finite-volume, cusped hyperbolic 3-manifolds. △ Less

Submitted 18 September, 2020; v1 submitted 9 August, 2019; originally announced August 2019.

Comments: 24 pages, 1 figure; added theorem that certain graph of group decompositions have $ωおめが$-Cantor space boundary, including fundamental groups of non-geometric graph manifolds

MSC Class: 20F65

Dehn filling Dehn twists

Authors: François Dahmani, Mark Hagen, Alessandro Sisto

Abstract: Let $Σしぐま_{g,p}$ be the genus--$g$ oriented surface with $p$ punctures, with either $g>0$ or $p>3$. We show that $MCG(Σしぐま_{g,p})/DT$ is acylindrically hyperbolic where $DT$ is the normal subgroup of the mapping class group $MCG(Σしぐま_{g,p})$ generated by $K^{th}$ powers of Dehn twists about curves in $Σしぐま_{g,p}$ for suitable $K$. Moreover, we show that in low complexity $MCG(Σしぐま_{g,p})/DT$ is in fact hyperbo… ▽ More Let $Σしぐま_{g,p}$ be the genus--$g$ oriented surface with $p$ punctures, with either $g>0$ or $p>3$. We show that $MCG(Σしぐま_{g,p})/DT$ is acylindrically hyperbolic where $DT$ is the normal subgroup of the mapping class group $MCG(Σしぐま_{g,p})$ generated by $K^{th}$ powers of Dehn twists about curves in $Σしぐま_{g,p}$ for suitable $K$. Moreover, we show that in low complexity $MCG(Σしぐま_{g,p})/DT$ is in fact hyperbolic. In particular, for $3g-3+p\leq 2$, we show that the mapping class group $MCG(Σしぐま_{g,p})$ is fully residually non-elementary hyperbolic and admits an affine isometric action with unbounded orbits on some $L^q$ space. Moreover, if every hyperbolic group is residually finite, then every convex-cocompact subgroup of $MCG(Σしぐま_{g,p})$ is separable. The aforementioned results follow from general theorems about composite rotating families that come from a collection of subgroups of vertex stabilisers for the action of a group $G$ on a hyperbolic graph $X$. We give conditions ensuring that the graph $X/N$ is again hyperbolic and various properties of the action of $G$ on $X$ persist for the action of $G/N$ on $X/N$. △ Less

Submitted 23 December, 2018; originally announced December 2018.

Comments: 26 pages, 1 figure

Journal ref: Proc. Royal. Soc. Edinburgh, Sec. A (2020)

Divergence and quasi-isometry classes of random Gromov's monsters

Authors: Dominik Gruber, Alessandro Sisto

Abstract: We show that Gromov's monsters arising from i.i.d. random labellings of expanders (that we call random Gromov's monsters) have linear divergence along a subsequence, so that in particular they do not contain Morse quasigeodesics, and they are not quasi-isometric to Gromov's monsters arising from graphical small cancellation labellings of expanders. Moreover, by further studying the divergence func… ▽ More We show that Gromov's monsters arising from i.i.d. random labellings of expanders (that we call random Gromov's monsters) have linear divergence along a subsequence, so that in particular they do not contain Morse quasigeodesics, and they are not quasi-isometric to Gromov's monsters arising from graphical small cancellation labellings of expanders. Moreover, by further studying the divergence function, we show that there are uncountably many quasi-isometry classes of random Gromov's monsters. △ Less

Submitted 10 May, 2018; originally announced May 2018.

Comments: 17 pages, 1 figure

Acylindrical actions on projection complexes

Authors: Mladen Bestvina, Ken Bromberg, Koji Fujiwara, Alessandro Sisto

Abstract: We simplify the construction of projection complexes due to Bestvina-Bromberg-Fujiwara. To do so, we introduce a sharper version of the Behrstock inequality, and show that it can always be enforced. Furthermore, we use the new setup to prove acylindricity results for the action on the projection complexes. We also treat quasi-trees of metric spaces associated to projection complexes, and prove an… ▽ More We simplify the construction of projection complexes due to Bestvina-Bromberg-Fujiwara. To do so, we introduce a sharper version of the Behrstock inequality, and show that it can always be enforced. Furthermore, we use the new setup to prove acylindricity results for the action on the projection complexes. We also treat quasi-trees of metric spaces associated to projection complexes, and prove an acylindricity criterion in that context as well. △ Less

Submitted 23 November, 2017; originally announced November 2017.

What is a hierarchically hyperbolic space?

Authors: Alessandro Sisto

Abstract: The first part of this survey is a heuristic, non-technical discussion of what an HHS is, and the aim is to provide a good mental picture both to those actively doing research on HHSs and to those who only seek a basic understanding out of pure curiosity. It can be read independently of the second part, which is a detailed technical discussion of the axioms and the main tools to deal with HHSs. The first part of this survey is a heuristic, non-technical discussion of what an HHS is, and the aim is to provide a good mental picture both to those actively doing research on HHSs and to those who only seek a basic understanding out of pure curiosity. It can be read independently of the second part, which is a detailed technical discussion of the axioms and the main tools to deal with HHSs. △ Less

Submitted 30 June, 2017; originally announced July 2017.

Comments: 21 pages, 4 figures

Gromov's random monsters do not act non-elementarily on hyperbolic spaces

Authors: Dominik Gruber, Alessandro Sisto, Romain Tessera

Abstract: We show that Gromov's monster groups arising from i.i.d. labelings of expander graphs do not admit non-elementary actions on geodesic hyperbolic spaces. The proof relies on comparing properties of random walks on randomly labeled graphs and on groups acting non-elementarily on hyperbolic spaces. We show that Gromov's monster groups arising from i.i.d. labelings of expander graphs do not admit non-elementary actions on geodesic hyperbolic spaces. The proof relies on comparing properties of random walks on randomly labeled graphs and on groups acting non-elementarily on hyperbolic spaces. △ Less

Submitted 29 May, 2017; originally announced May 2017.

Comments: 6 pages

Quasiflats in hierarchically hyperbolic spaces

Authors: Jason Behrstock, Mark F Hagen, Alessandro Sisto

Abstract: The rank of a hierarchically hyperbolic space is the maximal number of unbounded factors in a standard product region. For hierarchically hyperbolic groups, this coincides with the maximal dimension of a quasiflat. Examples for which the rank coincides with familiar quantities include: the dimension of maximal Dehn twist flats for mapping class groups, the maximal rank of a free abelian subgroup f… ▽ More The rank of a hierarchically hyperbolic space is the maximal number of unbounded factors in a standard product region. For hierarchically hyperbolic groups, this coincides with the maximal dimension of a quasiflat. Examples for which the rank coincides with familiar quantities include: the dimension of maximal Dehn twist flats for mapping class groups, the maximal rank of a free abelian subgroup for right-angled Coxeter and Artin groups, and, for the Weil--Petersson metric, the rank is the integer part of half the complex dimension of Teichmüller space. We prove that any quasiflat of dimension equal to the rank lies within finite distance of a union of standard orthants (under a mild condition satisfied by all natural examples). This resolves outstanding conjectures when applied to various examples. For mapping class group, we verify a conjecture of Farb; for Teichmüller space we answer a question of Brock; for CAT(0) cubical groups, we handle special cases including right-angled Coxeter groups. An important ingredient in the proof is that the hull of any finite set in an HHS is quasi-isometric to a CAT(0) cube complex of dimension bounded by the rank. We deduce a number of applications. For instance, we show that any quasi-isometry between HHSs induces a quasi-isometry between certain simpler HHSs. This allows one, for example, to distinguish quasi-isometry classes of right-angled Artin/Coxeter groups. Another application is to quasi-isometric rigidity. Our tools in many cases allow one to reduce the problem of quasi-isometric rigidity for a given hierarchically hyperbolic group to a combinatorial problem. We give a new proof of quasi-isometric rigidity of mapping class groups, which, given our general quasiflats theorem, uses simpler combinatorial arguments than in previous proofs. △ Less

Submitted 22 August, 2020; v1 submitted 13 April, 2017; originally announced April 2017.

Comments: 58 pages, 6 figures. Revised according to referee comments. This is the final pre-publication version; to appear in Duke Math. Jour

The zero norm subspace of bounded cohomology of acylindrically hyperbolic groups

Authors: Federico Franceschini, Roberto Frigerio, Maria Beatrice Pozzetti, Alessandro Sisto

Abstract: We construct combinatorial volume forms of hyperbolic three manifolds fibering over the circle. These forms define non-trivial classes in bounded cohomology. After introducing a new seminorm on exact bounded cohomology, we use these combinatorial classes to show that, in degree 3, the zero norm subspace of the bounded cohomology of an acylindrically hyperbolic group is infinite dimensional. In the… ▽ More We construct combinatorial volume forms of hyperbolic three manifolds fibering over the circle. These forms define non-trivial classes in bounded cohomology. After introducing a new seminorm on exact bounded cohomology, we use these combinatorial classes to show that, in degree 3, the zero norm subspace of the bounded cohomology of an acylindrically hyperbolic group is infinite dimensional. In the appendix we use the same techniques to give a cohomological proof of a lower bound, originally due to Brock, on the volume of the mapping torus of a cobounded pseudo-Anosov homeomorphism of a closed surface in terms of its Teichmüller translation distance. △ Less

Submitted 10 March, 2017; originally announced March 2017.

Comments: 46 pages, 4 figures

Groups with no coarse embeddings into hyperbolic groups

Authors: David Hume, Alessandro Sisto

Abstract: We introduce an obstruction to the existence of a coarse embedding of a given group or space into a hyperbolic group, or more generally into a hyperbolic graph of bounded degree. The condition we consider is "admitting exponentially many fat bigons", and it is preserved by a coarse embedding between graphs with bounded degree. Groups with exponential growth and linear divergence (such as direct pr… ▽ More We introduce an obstruction to the existence of a coarse embedding of a given group or space into a hyperbolic group, or more generally into a hyperbolic graph of bounded degree. The condition we consider is "admitting exponentially many fat bigons", and it is preserved by a coarse embedding between graphs with bounded degree. Groups with exponential growth and linear divergence (such as direct products of two groups one of which has exponential growth, solvable groups that are not virtually nilpotent, and uniform higher-rank lattices) have this property and hyperbolic graphs do not, so the former cannot be coarsely embedded into the latter. Other examples include certain lacunary hyperbolic and certain small cancellation groups. △ Less

Submitted 18 October, 2017; v1 submitted 13 February, 2017; originally announced February 2017.

Comments: 13 pages, 1 figure, accepted for publication in NYJM

MSC Class: 20F65; 20F67

Bounded cohomology and virtually free hyperbolically embedded subgroups

Authors: Tobias Hartnick, Alessandro Sisto

Abstract: Using a probabilistic argument we show that the second bounded cohomology of an acylindrically hyperbolic group $G$ (e.g., a non-elementary hyperbolic or relatively hyperbolic group, non-exceptional mapping class group, ${\rm Out}(F_n)$, \dots) embeds via the natural restriction maps into the inverse limit of the second bounded cohomologies of its virtually free subgroups, and in fact even into th… ▽ More Using a probabilistic argument we show that the second bounded cohomology of an acylindrically hyperbolic group $G$ (e.g., a non-elementary hyperbolic or relatively hyperbolic group, non-exceptional mapping class group, ${\rm Out}(F_n)$, \dots) embeds via the natural restriction maps into the inverse limit of the second bounded cohomologies of its virtually free subgroups, and in fact even into the inverse limit of the second bounded cohomologies of its hyperbolically embedded virtually free subgroups. This result is new and non-trivial even in the case where $G$ is a (non-free) hyperbolic group. The corresponding statement fails in general for the third bounded cohomology, even for surface groups. △ Less

Submitted 3 January, 2017; originally announced January 2017.

Comments: 12 pages, 0 figures. Comments are welcome!

Random subgroups of acylindrically hyperbolic groups and hyperbolic embeddings

Authors: Joseph Maher, Alessandro Sisto

Abstract: Let G be an acylindrically hyperbolic group. We consider a random subgroup H in G, generated by a finite collection of independent random walks. We show that, with asymptotic probability one, such a random subgroup H of G is a free group, and the semidirect product of H acting on E(G) is hyperbolically embedded in G, where E(G) is the unique maximal finite normal subgroup of G. Let G be an acylindrically hyperbolic group. We consider a random subgroup H in G, generated by a finite collection of independent random walks. We show that, with asymptotic probability one, such a random subgroup H of G is a free group, and the semidirect product of H acting on E(G) is hyperbolically embedded in G, where E(G) is the unique maximal finite normal subgroup of G. △ Less

Submitted 1 January, 2017; originally announced January 2017.

Intersection properties of stable subgroups and bounded cohomology

Authors: Yago Antolín, Mahan Mj, Alessandro Sisto, Samuel J. Taylor

Abstract: We show that a finite collection of stable subgroups of a finitely generated group has finite height, finite width and bounded packing. We then use knowledge about intersections of conjugates to characterize finite families of quasimorphisms on hyperbolically embedded subgroups that can be to simultaneously extended to the ambient group. We show that a finite collection of stable subgroups of a finitely generated group has finite height, finite width and bounded packing. We then use knowledge about intersections of conjugates to characterize finite families of quasimorphisms on hyperbolically embedded subgroups that can be to simultaneously extended to the ambient group. △ Less

Submitted 3 February, 2017; v1 submitted 21 December, 2016; originally announced December 2016.

Comments: Version 2 has a new title, added applications to bounded cohomology, and two additional authors. 16 pages

Boundaries of Dehn fillings

Authors: Daniel Groves, Jason Fox Manning, Alessandro Sisto

Abstract: We begin an investigation into the behavior of Bowditch and Gromov boundaries under the operation of Dehn filling. In particular we show many Dehn fillings of a toral relatively hyperbolic group with 2-sphere boundary are hyperbolic with 2-sphere boundary. As an application, we show that the Cannon conjecture implies a relatively hyperbolic version of the Cannon conjecture. We begin an investigation into the behavior of Bowditch and Gromov boundaries under the operation of Dehn filling. In particular we show many Dehn fillings of a toral relatively hyperbolic group with 2-sphere boundary are hyperbolic with 2-sphere boundary. As an application, we show that the Cannon conjecture implies a relatively hyperbolic version of the Cannon conjecture. △ Less

Submitted 18 December, 2017; v1 submitted 11 December, 2016; originally announced December 2016.

Comments: v2: 52 pages, 2 figures. Moved some technical material to an appendix. Added outline and Theorem 4.8 about free product structure

MSC Class: 20F67

Journal ref: Geom. Topol. 23 (2019) 2929-3002

Largest projections for random walks and shortest curves in random mapping tori

Authors: Alessandro Sisto, Samuel J. Taylor

Abstract: We show that the largest subsurface projection distance between a marking and its image under the nth step of a random walk grows logarithmically in n, with probability approaching 1 as n tends to infinity. Our setup is general and also applies to (relatively) hyperbolic groups and to $\mathrm{Out}(F_n)$. We then use this result to prove Rivin's conjecture that for a random walk $(w_n)$ on the map… ▽ More We show that the largest subsurface projection distance between a marking and its image under the nth step of a random walk grows logarithmically in n, with probability approaching 1 as n tends to infinity. Our setup is general and also applies to (relatively) hyperbolic groups and to $\mathrm{Out}(F_n)$. We then use this result to prove Rivin's conjecture that for a random walk $(w_n)$ on the mapping class group, the shortest geodesic in the hyperbolic mapping torus $M_{w_n}$ has length on the order of $1/ \log^2(n)$. △ Less

Submitted 11 June, 2017; v1 submitted 22 November, 2016; originally announced November 2016.

Comments: Version 2: Added application to systole of random mapping tori. 19 pages. To appear in Math. Res. Lett

Many Haken Heegaard splittings

Authors: Alessandro Sisto

Abstract: We give a simple criterion for a Heegaard splitting to yield a Haken manifold. As a consequence, we construct many Haken manifolds, in particular homology spheres, with prescribed properties, namely Heegaard genus, Heegaard distance and Casson invariant. Along the way we give simpler and shorter proofs of the existence of splittings with specified Heegaard distance, originally proven by Ido-Jang… ▽ More We give a simple criterion for a Heegaard splitting to yield a Haken manifold. As a consequence, we construct many Haken manifolds, in particular homology spheres, with prescribed properties, namely Heegaard genus, Heegaard distance and Casson invariant. Along the way we give simpler and shorter proofs of the existence of splittings with specified Heegaard distance, originally proven by Ido-Jang-Kobayashi, of the existence of hyperbolic manifolds with prescribed Casson invariant, originally due to Lubotzky-Maher-Wu, and of a result about subsurface projections of disc sets (for which we even get better constants), originally due to Masur-Schleimer. △ Less

Submitted 6 August, 2018; v1 submitted 31 October, 2016; originally announced November 2016.

Comments: The genus 2 case of Theorem 1.1 had to be dropped due to a mistake in Lemma 4.1 pointed out by the referee. Final version to appear in Journal of Topology and Analysis. 13 pages, 3 figures

Boundaries and automorphisms of hierarchically hyperbolic spaces

Authors: Matthew G. Durham, Mark F. Hagen, Alessandro Sisto

Abstract: Hierarchically hyperbolic spaces provide a common framework for studying mapping class groups of finite type surfaces, Teichmüller space, right-angled Artin groups, and many other cubical groups. Given such a space $\mathcal X$, we build a bordificationcompatible with the hierarchically hyperbolic structure. If $\mathcal X$ is proper, we get a compactification of $\mathcal X$; we also prove that o… ▽ More Hierarchically hyperbolic spaces provide a common framework for studying mapping class groups of finite type surfaces, Teichmüller space, right-angled Artin groups, and many other cubical groups. Given such a space $\mathcal X$, we build a bordificationcompatible with the hierarchically hyperbolic structure. If $\mathcal X$ is proper, we get a compactification of $\mathcal X$; we also prove that our construction generalizes the Gromov boundary of a hyperbolic space. In our first main set of applications, we introduce a notion of geometrical finiteness for hierarchically hyperbolic subgroups of hierarchically hyperbolic groups in terms of boundary embeddings. As primary examples of geometrical finiteness, we prove that the natural inclusions of finitely generated Veech groups and the Leininger-Reid combination subgroups extend to continuous embeddings of their Gromov boundaries into the boundary of the mapping class group, both of which fail to happen with the Thurston compactification of Teichmüller space. Our second main set of applications are dynamical and structural, built upon our classification of automorphisms of hierarchically hyperbolic spaces and analysis of how the various types of automorphisms act on the boundary. We prove a generalization of the Handel-Mosher "omnibus subgroup theorem" for mapping class groups to all hierarchically hyperbolic groups, obtain a new proof of the Caprace-Sageev rank-rigidity theorem for many CAT(0) cube complexes, and identify the boundary of a hierarchically hyperbolic group as its Poisson boundary; these results rely on a theorem detecting \emph{irreducible axial} elements of a group acting on a hierarchically hyperbolic space (which generalize pseudo-Anosov elements of the mapping class group and rank-one isometries of a cube complex not virtually stabilizing a hyperplane). △ Less

Submitted 8 February, 2017; v1 submitted 4 April, 2016; originally announced April 2016.

Comments: 67 pages. Various corrections in light of referee's comments

Journal ref: Geom. Topol. 21 (2017) 3659-3758

Asymptotic dimension and small-cancellation for hierarchically hyperbolic spaces and groups

Authors: Jason Behrstock, Mark F. Hagen, Alessandro Sisto

Abstract: We prove that all hierarchically hyperbolic spaces have finite asymptotic dimension and obtain strong bounds on these dimensions. One application of this result is to obtain the sharpest known bound on the asymptotic dimension of the mapping class group of a finite type surface: improving the bound from exponential to at most quadratic in the complexity of the surface. We also apply the main resul… ▽ More We prove that all hierarchically hyperbolic spaces have finite asymptotic dimension and obtain strong bounds on these dimensions. One application of this result is to obtain the sharpest known bound on the asymptotic dimension of the mapping class group of a finite type surface: improving the bound from exponential to at most quadratic in the complexity of the surface. We also apply the main result to various other hierarchically hyperbolic groups and spaces. We also prove a small-cancellation result namely: if $G$ is a hierarchically hyperbolic group, $H\leq G$ is a suitable hyperbolically embedded subgroup, and $N\triangleleft H$ is "sufficiently deep" in $H$, then $G/\langle\langle N\rangle\rangle$ is a relatively hierarchically hyperbolic group. This new class provides many new examples to which our asymptotic dimension bounds apply. Along the way, we prove new results about the structure of HHSs, for example: the associated hyperbolic spaces are always obtained, up to quasi-isometry, by coning off canonical coarse product regions in the original space (generalizing a relation established by Masur--Minsky between the complex of curves of a surface and Teichmüller space). △ Less

Submitted 14 February, 2017; v1 submitted 18 December, 2015; originally announced December 2015.

Comments: Minor revisions in Section 6. This is the version accepted for publication

Hierarchically hyperbolic spaces II: Combination theorems and the distance formula

Authors: Jason Behrstock, Mark F. Hagen, Alessandro Sisto

Abstract: We introduce a number of tools for finding and studying \emph{hierarchically hyperbolic spaces (HHS)}, a rich class of spaces including mapping class groups of surfaces, Teichmüller space with either the Teichmüller or Weil-Petersson metrics, right-angled Artin groups, and the universal cover of any compact special cube complex. We begin by introducing a streamlined set of axioms defining an HHS.… ▽ More We introduce a number of tools for finding and studying \emph{hierarchically hyperbolic spaces (HHS)}, a rich class of spaces including mapping class groups of surfaces, Teichmüller space with either the Teichmüller or Weil-Petersson metrics, right-angled Artin groups, and the universal cover of any compact special cube complex. We begin by introducing a streamlined set of axioms defining an HHS. We prove that all HHSs satisfy a Masur-Minsky-style distance formula, thereby obtaining a new proof of the distance formula in the mapping class group without relying on the Masur-Minsky hierarchy machinery. We then study examples of HHSs; for instance, we prove that when $M$ is a closed irreducible $3$--manifold then $πぱい_1M$ is an HHS if and only if it is neither $Nil$ nor $Sol$. We establish this by proving a general combination theorem for trees of HHSs (and graphs of HH groups). We also introduce a notion of "hierarchical quasiconvexity", which in the study of HHS is analogous to the role played by quasiconvexity in the study of Gromov-hyperbolic spaces. △ Less

Submitted 28 November, 2018; v1 submitted 2 September, 2015; originally announced September 2015.

Comments: Revised in view of various referee and reader comments. Accepted in Pacific J. Math

Journal ref: Pacific J. Math. 299 (2019) 257-338

A note on acylindrical hyperbolicity of Mapping Class Groups

Authors: Piotr Przytycki, Alessandro Sisto

Abstract: The aim of this note is to give the simplest possible proof that Mapping Class Groups of closed hyperbolic surfaces are acylindrically hyperbolic, and more specifically that their curve graphs are hyperbolic and that pseudo-Anosovs act on them as loxodromic WPDs. The aim of this note is to give the simplest possible proof that Mapping Class Groups of closed hyperbolic surfaces are acylindrically hyperbolic, and more specifically that their curve graphs are hyperbolic and that pseudo-Anosovs act on them as loxodromic WPDs. △ Less

Submitted 7 February, 2015; originally announced February 2015.

Comments: 8 pages, 2 figures

Hierarchically hyperbolic spaces I: curve complexes for cubical groups

Authors: Jason Behrstock, Mark F. Hagen, Alessandro Sisto

Abstract: In the context of CAT(0) cubical groups, we develop an analogue of the theory of curve complexes and subsurface projections. The role of the subsurfaces is played by a collection of convex subcomplexes called a \emph{factor system}, and the role of the curve graph is played by the \emph{contact graph}. There are a number of close parallels between the contact graph and the curve graph, including h… ▽ More In the context of CAT(0) cubical groups, we develop an analogue of the theory of curve complexes and subsurface projections. The role of the subsurfaces is played by a collection of convex subcomplexes called a \emph{factor system}, and the role of the curve graph is played by the \emph{contact graph}. There are a number of close parallels between the contact graph and the curve graph, including hyperbolicity, acylindricity of the action, the existence of hierarchy paths, and a Masur--Minsky-style distance formula. We then define a \emph{hierarchically hyperbolic space}; the class of such spaces includes a wide class of cubical groups (including all virtually compact special groups) as well as mapping class groups and Teichmüller space with any of the standard metrics. We deduce a number of results about these spaces, all of which are new for cubical or mapping class groups, and most of which are new for both. We show that the quasi-Lipschitz image from a ball in a nilpotent Lie group into a hierarchically hyperbolic space lies close to a product of hierarchy geodesics. We also prove a rank theorem for hierarchically hyperbolic spaces; this generalizes results of Behrstock--Minsky, Eskin--Masur--Rafi, Hamenstädt, and Kleiner. We finally prove that each hierarchically hyperbolic group admits an acylindrical action on a hyperbolic space. This acylindricity result is new for cubical groups, in which case the hyperbolic space admitting the action is the contact graph; in the case of the mapping class group, this provides a new proof of a theorem of Bowditch. △ Less

Submitted 11 November, 2016; v1 submitted 5 December, 2014; originally announced December 2014.

Comments: To appear in "Geometry and Topology". This version incorporates the referee's comments

Journal ref: Geom. Topol. 21 (2017) 1731-1804

Deviation inequalities and CLT for random walks on acylindrically hyperbolic groups

Authors: Pierre Mathieu, Alessandro Sisto

Abstract: We study random walks on groups with the feature that, roughly speaking, successive positions of the walk tend to be "aligned". We formalize and quantify this property by means of the notion of deviation inequalities. We show that deviation inequalities have several consequences including Central Limit Theorems, the local Lipschitz continuity of the rate of escape and entropy, as well as linear up… ▽ More We study random walks on groups with the feature that, roughly speaking, successive positions of the walk tend to be "aligned". We formalize and quantify this property by means of the notion of deviation inequalities. We show that deviation inequalities have several consequences including Central Limit Theorems, the local Lipschitz continuity of the rate of escape and entropy, as well as linear upper and lower bounds on the variance of the distance of the position of the walk from its initial point. In a second part of the paper, we show that the (exponential) deviation inequality holds for measures with exponential tail on acylindrically hyperbolic groups. These include non-elementary (relatively) hyperbolic groups, Mapping Class Groups, many groups acting on CAT(0) spaces and small cancellation groups. △ Less

Submitted 23 September, 2019; v1 submitted 28 November, 2014; originally announced November 2014.

Comments: v2: several new results, including a Central Limit Theorem for random walks on acylindrically hyperbolic groups; v3: final version, to appear in Duke Mathematical Journal

Journal ref: Duke Math. J. 169, no. 5 (2020), 961-1036

Characterising actions on trees yielding non-trivial quasimorphisms

Authors: Alessandra Iozzi, Cristina Pagliantini, Alessandro Sisto

Abstract: We study the construction of quasimorphisms on groups acting on trees introduced by Monod and Shalom, that we call median quasimorphisms, and in particular we fully characterise actions on trees that give rise to non-trivial median quasimorphisms. Roughly speaking, either the action is highly transitive on geodesics, it fixes a point in the boundary, or there exists an infinite family of non-trivi… ▽ More We study the construction of quasimorphisms on groups acting on trees introduced by Monod and Shalom, that we call median quasimorphisms, and in particular we fully characterise actions on trees that give rise to non-trivial median quasimorphisms. Roughly speaking, either the action is highly transitive on geodesics, it fixes a point in the boundary, or there exists an infinite family of non-trivial median quasimorphisms. In particular, in the last case the second bounded cohomology of the group is infinite dimensional as a vector space. As an application, we show that a cocompact lattice in a product of trees only has trivial quasimorphisms if and only if both closures of the projections on the two factors are locally $\infty$-transitive. △ Less

Submitted 28 November, 2014; originally announced November 2014.

Comments: 22 pages, 12 figures

Infinitely presented graphical small cancellation groups are acylindrically hyperbolic

Authors: Dominik Gruber, Alessandro Sisto

Abstract: We prove that infinitely presented graphical $Gr(7)$ small cancellation groups are acylindrically hyperbolic. In particular, infinitely presented classical $C(7)$-groups and, hence, classical $C'(\frac{1}{6})$-groups are acylindrically hyperbolic. We also prove the analogous statements for the larger class of graphical small cancellation presentations over free products. We construct infinitely pr… ▽ More We prove that infinitely presented graphical $Gr(7)$ small cancellation groups are acylindrically hyperbolic. In particular, infinitely presented classical $C(7)$-groups and, hence, classical $C'(\frac{1}{6})$-groups are acylindrically hyperbolic. We also prove the analogous statements for the larger class of graphical small cancellation presentations over free products. We construct infinitely presented classical $C'(\frac{1}{6})$-groups that provide new examples of divergence functions of groups. △ Less

Submitted 9 February, 2016; v1 submitted 19 August, 2014; originally announced August 2014.

Comments: 32 pages, 11 figures, v2: added references, v3: expanded proofs, improved exposition, reorganized subsections

MSC Class: 20F06 (Primary); 20F65; 20F67 (Secondary)