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.
We explore a local combinatorial condition on a simplicial complex, called 8-location. We show that 8-location and simple connectivity imply Gromov hyperbolicity. We mention some applications of such combinatorial negative curvature condition.
Thurston conjectured that a closed triangulated 3-manifold in which every edge has degree 5 or 6, and no two edges of degree 5 lie in a common 2-cell, has word-hyperbolic fundamental group. We establish Thurston's conjecture by proving that such a manifold admits a piecewise Euclidean metric of non-positive curvature and the universal cover contains no isometrically embedded flat planes. The proof involves a mixture of computer computation and techniques from small cancellation theory.
We prove that in various natural models of a random quotient of a group, depending on a density parameter, for each hyperbolic group there is some critical density under which a random quotient is still hyperbolic with high probability, whereas above this critical value a random quotient is very probably trivial. We give explicit characterizations of these critical densities for the various models.
It is conjectured that the central quotient of every irreducible Artin group is either virtually cyclic or acylindrically hyperbolic. We prove this conjecture for Artin groups associated to triangle-free graphs and Artin groups of large type associated to cones over square-free bipartite graphs. In fact, we treat Artin groups that are known to be CAT(0) groups by a result of Brady and McCammond.
Let G be a graph of hyperbolic groups with 2-ended edge groups. We show that G is hierarchically hyperbolic if and only if G has no distorted infinite cyclic subgroup. More precisely, we show that G is hierarchically hyperbolic if and only if G does not contain certain quotients of Baumslag-Solitar groups. As a consequence, we obtain several new results about this class, such as quadratic isoperimetric inequality and finite asymptotic dimension.
We provide a simple, combinatorial criteria for a hierarchically hyperbolic space to be relatively hyperbolic by proving a new formulation of relative hyperbolicity in terms of hierarchy structures. In the case of clean hierarchically hyperbolic groups, this criteria characterizes relative hyperbolicity. We apply our criteria to graphs associated to surfaces and prove that the separating curve graph of a surface is relatively hyperbolic when the surface has zero or two punctures. We also recover a celebrated theorem of Brock and Masur on the relative hyperbolicity of the Weil-Petersson metric …
The main technical result of this paper is to characterize the contracting isometries of a CAT(0) cube complex without any assumption on its local finiteness. Afterwards, we introduce the combinatorial boundary of a CAT(0) cube complex, and we show that contracting isometries are strongly related to isolated points at infinity, when the complex is locally finite. This boundary turns out to appear naturally in the context of Guba and Sapir's diagram groups, and we apply our main criterion to determine precisely when an element of a diagram group induces a contracting isometry on the associated …
We prove that, for any irreducible Artin-Tits group of spherical type $G$, the quotient of $G$ by its center is acylindrically hyperbolic. This is achieved by studying the additional length graph associated to the classical Garside structure on $G$, and constructing a specific element $x_G$ of $G/Z(G)$ whose action on the graph is loxodromic and WPD in the sense of Bestvina-Fujiwara; following Osin, this implies acylindrical hyperbolicity. Finally, we prove that "generic" elements of $G$ act loxodromically, where the word "generic" can be understood in either of the two common usages: as a res…
We prove a combination theorem for hyperbolic groups, in the case of groups acting on complexes displaying combinatorial features reminiscent of non-positive curvature. Such complexes include for instance weakly systolic complexes and C'(1/6) small cancellation polygonal complexes. Our proof involves constructing a potential Gromov boundary for the resulting groups and analyzing the dynamics of the action on the boundary in order to use Bowditch's characterization of hyperbolicity. A key ingredient is the introduction of a combinatorial property that implies a weak form of non-positive curvatu…
Given a finite rank free group $\mathbb{F}$ of $\mathsf{rank}(\mathbb{F})\geq 3$, we show that the mapping torus of $ϕ$ is (strongly) relatively hyperbolic if $ϕ$ is exponentially growing. We combine our result with the work of Button-Kropholler to answer a question asked by Minasyan-Osin regarding the acylindrical hyperbolicity of such free-by-cyclic extensions. As an application we construct new examples of free-by-free hyperbolic extensions where the elements of the quotient group are not necessarily fully irreducible. We also give a new proof of the Bridson-Groves quadratic isoperimetric i…
In this article we prove that the set of torsion-free groups acting by isometries on a hyperbolic metric space whose entropy is bounded above and with a compact quotient is finite. The number of such groups can be estimated in terms of the hyperbolicity constant and of an upper bound of the entropy of the space and of an upper bound of the diameter of its quotient. As a consequence we show that the set of non cyclic torsion-free $δ$-hyperbolic marked groups whose entropy is bounded above by a number $H$ is finite with cardinality depending on $δ$ and $H$ alone. From these results, we draw homo…
We prove that the profinite completion of the fundamental group of a compact 3-manifold $M$ satisfies a Tits alternative: if a closed subgroup $H$ does not contain a free pro-$p$ subgroup for any $p$, then $H$ is virtually soluble, and furthermore of a very particular form. In particular, the profinite completion of the fundamental group of a closed, hyperbolic 3-manifold does not contain a subgroup isomorphic to $\hat{\mathbb{Z}}^2$. This gives a profinite characterization of hyperbolicity among irreducible 3-manifolds. We also characterize Seifert fibred 3-manifolds as precisely those for wh…
This article is part of the program of studying large-scale geometric properties of totally disconnected locally compact groups, TDLC-groups, by analogy with the theory for discrete groups. We provide a characterization of hyperbolic TDLC-groups, in terms of homological isoperimetric inequalities. This characterization is used to prove the main result of the article: for hyperbolic TDLC-groups with rational discrete cohomological dimension $\leq 2$, hyperbolicity is inherited by compactly presented closed subgroups. As a consequence, every compactly presented closed subgroup of the automorphis…
The regular objects in various categories, such as maps, hypermaps or covering spaces, can be identified with the normal subgroups N of a given group Γ, with quotient group isomorphic to Γ/N. It is shown how to enumerate such objects with a given finite automorphism group G, how to represent them all as quotients of a single regular object U(G), and how they are acted on by the outer automorphism group of Γ. Examples constructed include kaleidoscopic maps with trinity symmetry.
In this follow-up to [16], we continue developing the notion of a lego category and its many applications to stratifiable spaces and the computation of their Grothendieck classes. We illustrate the effectiveness of this construction by giving very short derivations of the class of a quotient by the "stratified action" of a discrete group [1], the class of a crystallographic quotient, the class of both a polyhedral product and a polyhedral (or simplicial) configuration space [8], the class of a permutation product [19] and, foremost, the class of spaces of $0$-cycles [11].
We introduce a number of new tools for the study of relatively hyperbolic groups. First, given a relatively hyperbolic group G, we construct a nice combinatorial Gromov hyperbolic model space acted on properly by G, which reflects the relative hyperbolicity of G in many natural ways. Second, we construct two useful bicombings on this space. The first of these, "preferred paths", is combinatorial in nature and allows us to define the second, a relatively hyperbolic version of a construction of Mineyev. As an application, we prove a group-theoretic analog of the Gromov-Thurston 2πTheorem in the …
A proof of non-existence of Lagrangian embeddings of the Klein bottle K in \CP^2 is given. We exploit the existence of a special embedding of K in a symplectic Lefschetz pencil on \CP^2 and study its monodromy. As the main technical tool, we develop the theory of mapping class groups, considered as quotients of special Artin braid groups, and obtain some new results about combinatorial structure of such groups.
We introduce certain directed multigraphs with extra structure, called Weyl graphs, which model quotients of Tits buildings by type-preserving chamber-free group actions. Their advantage over complexes of groups, which are often used for the CAT(0) Davis realization of buildings, is that Weyl graphs exploit the ultimate combinatorial W-metric structure of buildings. Weyl graphs generalize Tits's chambers systems of type M by allowing 2-residues to be quotients of generalized polygons by flag-free group actions, and Weyl graphs are easily constructed by amalgamating such quotients. We develop c…
In this paper we introduce a class of polygonal complexes for which we can define a notion of sectional combinatorial curvature. These complexes can be viewed as generalizations of 2-dimensional Euclidean and hyperbolic buildings. We focus on the case of non-positive and negative combinatorial curvature. As geometric results we obtain a Hadamard-Cartan type theorem, thinness of bigons, Gromov hyperbolicity and estimates for the Cheeger constant. We employ the latter to get spectral estimates, show discreteness of the spectrum in the sense of a Donnelly-Li type theorem and present corresponding…
A major open problem in current Galois theory is to characterize those profinite groups which appear as absolute Galois groups of various fields. Obtaining detailed knowledge of the structure of quotients and subgroup filtrations of Galois groups of $p$-extensions is an important step toward a solution. We illustrate several techniques for counting Galois $p$-extensions of various fields, including pythagorean fields and local fields. An expression for the number of extensions of a formally real pythagorean field having Galois group the dihedral group of order 8 is developed. We derive a formu…
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…
We consider a combinatorial problem occurring naturally in a group theoretical setting and provide a constructive solution in a special case. More precisely, in 1999 the author established a logarithmic bound for the derived length of the quotient of a finite solvable group modulo the second Fitting subgroup in terms of the number of irreducible character degrees of the group. Along the way, in two key lemmas an inductive process was used which at its core required a solution of some weak form of the combinatorial problem studied in this paper. This problem can be stated and studied without an…
