This is the first in a series of papers showing that Haken manifolds have hyperbolic structures; this first was published, the second two have existed only in preprint form, and later preprints were never completed. This eprint is only an approximation to the published version, which is the definitive form for part I, and is provided for convenience only. All references and quotations should be taken from the published version, since the theorem numbering is different and not all corrections have been incorporated into the present version.
Parts II and III will be made available as eprints shortly.
We prove that the automorphism group of every infinitely-ended finitely generated group is acylindrically hyperbolic. In particular $\mathrm{Aut}(\mathbb{F}_n)$ is acylindrically hyperbolic for every $n\ge 2$. More generally, if $G$ is a group which is not virtually cyclic, and hyperbolic relative to a finite collection $\mathcal{P}$ of finitely generated proper subgroups, then $\mathrm{Aut}(G,\mathcal{P})$ is acylindrically hyperbolic. As a consequence, a free-by-cyclic group $\mathbb{F}_n\rtimes_φ\mathbb{Z}$ is acylindrically hyperbolic if and only if $φ$ has infinite order in $\mathrm{Out}(…
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.
We provide new examples of acylindrically hyperbolic groups arising from actions on simplicial trees. In particular, we consider amalgamated products and HNN-extensions, 1-relator groups, automorphism groups of polynomial algebras, 3-manifold groups and graph products. Acylindrical hyperbolicity is then used to obtain some results about the algebraic structure, analytic properties and measure equivalence rigidity of groups from these classes.
We prove that the group STame($k^3$) of special tame automorphisms of the affine 3-space is not simple, over any base field of characteristic zero. Our proof is based on the study of the geometry of a 2-dimensional simply-connected simplicial complex C on which the tame automorphism group acts naturally. We prove that C is contractible and Gromov-hyperbolic, and we prove that Tame($k^3$) is acylindrically hyperbolic by finding explicit loxodromic weakly proper discontinuous elements.
The class of acylindrically hyperbolic groups, which are groups that admit a certain type of non-elementary action on a hyperbolic space, contains many interesting groups such as non-exceptional mapping class groups and $\operatorname{Out}(\mathbb F_n)$ for $n\geq 2$. In such a group, a generalized loxodromic element is one that is loxodromic for some acylindrical action of the group on a hyperbolic space. Osin asks whether every finitely generated group has an acylindrical action on a hyperbolic space for which all generalized loxodromic elements are loxodromic. We answer this question in the…
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 …
We prove that every finitely presented group with positive first $\ell^2$-Betti number that virtually surjects onto $\mathbb Z$ is acylindrically hyperbolic. In particular, this implies acylindrical hyperbolicity of finitely presented residually finite groups with positive first $\ell^2$-Betti number as well as groups of deficiency at least $2$.
We consider two manifestations of non-positive curvature: acylindrical actions on hyperbolic spaces and quasigeodesic stability. We study these properties for the class of hierarchically hyperbolic groups, which is a general framework for studying many important families of groups, including mapping class groups, right-angled Coxeter and Artin groups, most 3-manifold groups, and many others. A group that admits an acylindrical action on a hyperbolic space may admit many such actions on different hyperbolic spaces, so it is natural to search for a "best" one. The set of all cobounded acylindric…
Let $M$ be a geometrically finite acylindrical hyperbolic 3-manifold and let $M^*$ denote the interior of the convex core of M. We show that any geodesic plane in $M^*$ is either closed or dense, and that there are only countably many closed geodesic planes in $M^*$. These results were obtained earlier by McMullen, Mohammadi, and the second named author when M is convex cocompact. As a corollary we obtain that when $M$ covers an arithmetic hyperbolic 3-manifold $M_0$, the topological behavior of a geodesic plane in $M^*$ is governed by that of the corresponding plane in $M_0$. We construct a c…
Let $M$ be a convex cocompact acylindrical hyperbolic 3-manifold of infinite volume, and let $M^*$ denote the interior of the convex core of $M$. In this paper we show that any geodesic plane in $M^*$ is either closed or dense. We also show that only countably many planes are closed. These are the first rigidity theorems for planes in convex cocompact 3-manifolds of infinite volume that depend only on the topology of M.
In this paper, we find lower bounds for volumes of hyperbolic 3-manifolds with various topological conditions. Let V_3 = 1.01494 denote the volume of a regular ideal simplex in hyperbolic 3-space. As a special case of the main theorem, if a hyperbolic manifold M contains an acylindrical surface S, then Vol(M)>= -2 V_3 chi(S). We also show that if beta_1(M)>= 2, then Vol(M)>= 4/5 V_3.
We prove that there exists a positive, explicit function $F(k, E)$ such that, for any group $G$ admitting a $k$-acylindrical splitting and any generating set $S$ of $G$ with $\mathrm{Ent}(G,S)<E$, we have $|S| \leq F(k, E)$. We deduce corresponding finiteness results for classes of groups possessing acylindrical splittings and acting geometrically with bounded entropy: for instance, $D$-quasiconvex $k$-malnormal amalgamated products acting on $δ$-hyperbolic spaces or on $CAT(0)$-spaces with entropy bounded by $E$. A number of finiteness results for interesting families of Riemannian or metric …
Closed hyperbolic manifolds are proven to minimize volume over all Alexandrov spaces with curvature bounded below by -1 in the same bilipschitz class. As a corollary compact convex cores with totally geodesic boundary are proven to minimize volume over all hyperbolic manifolds in the same bilipschitz class. Also, closed hyperbolic manifolds minimize volume over all hyperbolic cone manifolds in the same bilipschitz class with cone angles not greater than 2pi. The proof uses techniques developed by Besson-Courtois-Gallot. In 3 dimensions, this result provides a partial solution to a conjecture i…
Let $P$ be a geodesic plane in a convex cocompact, acylindrical hyperbolic 3-manifold $M$. Assume that $P^*=M^*\cap P$ is nonempty, where $M^*$ is the interior of the convex core of $M$. Does this condition imply that $P$ is either closed or dense in $M$? A positive answer would furnish an analogue of Ratner's theorem in the infinite volume setting. In arXiv:1802.03853 it is shown that $P^*$ is either closed or dense in $M^*$. Moreover, there are at most countably many planes with $P^*$ closed, and in all previously known examples, $P$ was also closed in $M$. In this note we show more exotic b…
We show that the diameter of the skinning map of an acylindrical hyperbolic 3-manifold M is bounded on thick Teichmueller geodesic rays by a constant depending only on the thickness of the ray and the topological type of the boundary of M.
We prove that the deformation space AH(M) of marked hyperbolic 3-manifolds homotopy equivalent to a fixed compact 3-manifold M with incompressible boundary is locally connected at minimally parabolic points. Moreover, spaces of Kleinian surface groups are locally connected at quasiconformally rigid points. Similar results are obtained for deformation spaces of acylindrical 3-manifolds and Bers slices.
This is the third in a series of papers constructing hyperbolic structures on all Haken three-manifolds. This portion deals with the mixed case of the deformation space for manifolds with incompressible boundary that are not acylindrical, but are more complicated than interval bundles over surfaces. This is a slight revision of a 1986 preprint, with a few figures added, and slight clarifications of some of the text, but with no attempt to connect this to later developments such as groups acting on R-trees, etc.
In this note, we study deformations of a non-uniform real hyperbolic lattice in quaternionic hyperbolic spaces. Specially we show that the representations of the fundamental group of the figure eight knot complement into PU(2,1) cannot be deformed in $PSp(2,1)$ out of PU(2,1) up to conjugacy.
We prove that the deformation space $AH(M)$ of marked hyperbolic 3-manifolds homotopy equivalent to a fixed compact 3-manifold $M$ with incompressible boundary is locally connected at quasiconformally rigid points.
By using Klein's model for hyperbolic geometry, hyperbolic structures on orbifolds or manifolds provide examples of real projective structures. By Andreev's theorem, many 3-dimensional reflection orbifolds admit a finite volume hyperbolic structure, and such a hyperbolic structure is unique. However, the induced real projective structure on some such 3-orbifolds deforms into a family of real projective structures that are not induced from hyperbolic structures. In this paper, we find new classes of compact and complete hyperbolic reflection 3-orbifolds with such deformations. We also explain n…
Let $S$ be a torus with a hyperbolic metric admitting one puncture or cone singularity. We describe which infinitesimal deformations of $S$ lengthen (or shrink) all closed geodesics. We also study how the answer degenerates when $S$ becomes Euclidean, i.e. very small.
In this note, we study deformations of discrete and Zariski dense subgroups of SU(2, 1) in quaternionic hyperbolic space. Specifi- cally we consider two examples coming from representations of 3-manifold groups (the figure eight knot and Whitehead links complement) and show opposite behavior: one is not deformable outside U(2,1), while the other has a big space of deformations in Sp(2, 1).
Let $N$ be a hyperbolic 3-manifold and $B$ a component of the interior of $AH(π_1(N))$, the space of marked hyperbolic 3-manifolds homotopy equivalent to $N$. We will give topological conditions on $N$ sufficient to give $ρ\in \bar{B}$ such that for every small neighborhood $V$ of $ρ$, $V \cap B$ is disconnected. This implies that $\bar{B}$ is not manifold with boundary.
In a paper of Menasco and Reid, it is conjectured that there exist no hyperbolic knots in S^3 for which the complement contains a closed embedded totally geodesic surface. In this note, we show that one can get "as close as possible" to a counter-example. Specifically, we construct a sequence of hyperbolic knots {K_n} with complements containing closed embedded essential surfaces having principal curvatures converging to zero as n tends to infinity. We also construct a family of two-component links for which the complements contain closed embedded totally geodesic surfaces of arbitrarily large…
A version of a conjecture of McMullen is as follows: Given a hyperbolizable 3-manifold M with incompressible boundary, there exists a uniform constant K such that if N is a hyperbolic 3-manifold homeomorphic to the interior of M, then the injectivity radius based at points in the convex core of N is bounded above by K. This conjecture suggests that convex cores are uniformly congested. In previous work, the author has proven the conjecture for $I$-bundles over a closed surface, taking into account the possibility of cusps. In this paper, we establish the conjecture in the case that M is a book…
This paper gives an exposition of the authors' harmonic deformation theory for 3-dimensional hyperbolic cone-manifolds. We discuss topological applications to hyperbolic Dehn surgery as well as recent applications to Kleinian group theory. A central idea is that local rigidity results (for deformations fixing cone angles) can be turned into effective control on the deformations that do exist. This leads to precise analytic and geometric versions of the idea that hyperbolic structures with short geodesics are close to hyperbolic structures with cusps. The paper also outlines a new harmonic defo…
We show that any compact orientable hyperbolic 3-cone-manifold with cone angle at most πcan be continuously deformed to a complete hyperbolic manifold homeomorphic to the complement of the singularity. This together with the local rigidity by Hodgson and Kerckhoff implies the global rigidity for compact orientable hyperbolic 3-cone-manifolds under the same angle assumption.
We develop the deformation theory of hyperbolic cone-3-manifolds with cone-angles less than $2π$, i.e. contained in the interval $(0,2π)$. In the present paper we focus on deformations keeping the topological type of the cone-manifold fixed. We prove local rigidity for such structures. This gives a positive answer to a question of A. Casson.
