Let N be a compact, orientable hyperbolic 3-manifold with connected, totally geodesic boundary of genus 2. If N has Heegaard genus at least 5, then its volume is greater than 6.89. The proof of this result uses the following dichotomy: either N has a long return path (defined by Kojima-Miyamoto), or N has an embedded, codimension-0 submanifold X with incompressible boundary $T \sqcup \partial N$, where T is the frontier of X in N, which is not a book of I-bundles. As an application of this result, we show that if M is a closed, orientable hyperbolic 3-manifold such that H_1(M;Z_2) has dimension at least 5, and if the image in H^2(M;Z_2) of the cup product map has image of dimension at most 1, then M has volume greater than 3.44.
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.
We survey work on the topology of the space AH(M) of all (marked) hyperbolic 3-manifolds homotopy equivalent to a fixed compact 3-manifold M with boundary. The interior of AH(M) is quite well-understood, but the topology of the entire space can be quite complicated. However, the topology is well-behaved at many points in the boundary of AH(M).
We investigate relation between Dehn fillings and commensurability of hyperbolic 3-manifolds. The set consisting of the commensurability classes of hyperbolic 3-manifolds admits the quotient topology induced by the geometric topology. We show that this quotient space satisfies some separation axioms. Roughly speaking, this means that commensurablity classes are sparsely distributed in the space consisting of the hyperbolic 3-manifolds.
Let M be a compact 3-manifold whose interior admits a complete hyperbolic structure. We let Lambda(M) be the supremum of the bottom eigenvalue of the Laplacian of N, where N varies over all hyperbolic 3-manifolds homeomorphic to the interior of M. Similarly, we let D(M) be the infimum of the Hausdorff dimensions of limit sets of Kleinian groups whose quotients are homeomorphic to the interior of M. We observe that Lambda(M)=D(M)(2-D(M)) if M is not handlebody or a thickened torus. We characterize exactly when Lambda(M)=1 and D(M)=1 in terms of the characteristic submanifold of the incompressib…
Bounded-type 3-manifolds arise as combinatorially bounded gluings of irreducible 3-manifolds chosen from a finite list. We prove effective hyperbolization and effective rigidity for a broad class of 3-manifolds of bounded type and large gluing heights. Specifically, we show the existence and uniqueness of hyperbolic metrics on 3-manifolds of bounded type and large heights, and prove existence of a bilipschitz diffeomorphism to a combinatorial model described explicitly in terms of the list of irreducible manifolds, the topology of the identification, and the combinatorics of the gluing maps.
We study geometry, topology and deformation spaces of noncompact complex hyperbolic manifolds (geometrically finite, with variable negative curvature), whose properties make them surprisingly different from real hyperbolic manifolds with constant negative curvature. This study uses an interaction between Kähler geometry of the complex hyperbolic space and the contact structure at its infinity (the one-point compactification of the Heisenberg group), in particular an established structural theorem for discrete group actions on nilpotent Lie groups.
For a single cusped hyperbolic 3-manifold, Hodgson proved that there are only finitely many Dehn fillings of it whose trace fields have bounded degree. In this paper, we conjecture the same for manifolds with more cusps, and give the first positive results in this direction. For example, in the 2-cusped case, if a manifold has linearly independent cusp shapes, we show that the manifold has the desired property.To prove the results, we use the proof of the Bounded Height Conjecture in arithmetic geometry.
This is an expository note intended to illustrate current research in topological study of partially hyperbolic diffeomorphisms in dimension 3 with a beautiful result due to Margulis and Plante-Thurston on topological obstructions for a manifold to admit an Anosov flow.
We show the existence of an infinite collection of hyperbolic knots where each of which has in its exterior meridional essential planar surfaces of arbitrarily large number of boundary components, or, equivalently, that each of these knots has essential tangle decompositions of arbitrarily large number of strings. Moreover, each of these knots has in its exterior meridional essential surfaces of any positive genus and (even) number of boundary components. That is, the compact surfaces that have a meridional essential embedding into a hyperbolic knot exterior have meridional essential embedding…
We construct a geometric decomposition for the convex core of a thick hyperbolic 3-manifold M with bounded rank. Corollaries include upper bounds in terms of rank and injectivity radius on the Heegaard genus of M and on the radius of any embedded ball in the convex core 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.
The space AH(M) of marked hyperbolic 3-manifold homotopy equivalent to a compact 3-manifold with boundary M sits inside the PSL_2(C)-character variety X(M) of π_1(M). We study the dynamics of the action of Out(π_1(M)) on both AH(M) and X(M). The nature of the dynamics reflects the topology of M. The quotient AI(M)=AH(M)/Out(π_1(M)) may naturally be thought of as the moduli space of unmarked hyperbolic 3-manifolds homotopy equivalent to M and its topology reflects the dynamics of the action.
We prove that the bijective correspondence between the space of bounded measured laminations $ML_b(\mathbb{H})$ and the universal Teichmüller space $T(\mathbb{H})$ given by $λ\mapsto E^λ|_{S^1}$ is a homeomorphism for the Fréchet topology on $ML_b(\mathbb{H})$ and the Teichmüller topology on $T(\mathbb{H})$, where $E^λ$ is an earthquake with earthquake measure $λ$. A corollary is that earthquakes with discrete earthquake measures are dense in $T(\mathbb{H})$. We also establish infinitesimal versions of the above results.
In this paper, we prove the Bounded Height Conjecture which the author formulated in [2]. As a corollary, it follows that there are only a finite number of hyperbolic three manifolds of bounded volume and trace field degree.
In this paper, we classify completely hyperbolic 3-manifolds corresponding to geometric limits of Kleinian surface groups isomorphic to $π_1(S)$ for a finite-type hyperbolic surface $S$. In the first of the three main theorems, we construct bi-Lipschitz model manifolds for such hyperbolic 3-manifolds, which have a structure called brick decomposition and are embedded in $S \times (0,1)$. In the second theorem, we show that conversely, any such model manifold admitting a brick decomposition with reasonable conditions is bi-Lipschitz homeomorphic to a hyperbolic manifold corresponding to some ge…
We give a bounded runtime solution to the homeomorphism problem for closed hyperbolic 3-manifolds. This is an algorithm which, given two triangulations of hyperbolic 3-manifolds by at most $t$ tetrahedra, decides if they represent the same hyperbolic 3-manifold with runtime bounded by \[ 2^{2^{t^{O(t)}}}.\] We do this by first finding a hyperbolic structure on each manifold given as a geometric triangulation and then comparing the two as geometric manifolds.
In this paper, we show that any open orientable surface S can be properly embedded in H^3 as a minimizing H-surface for any 0<=H<1. We obtained this result by proving a version of the bridge principle at infinity for H-surfaces. We also show that any open orientable surface S can be nonproperly embedded in H^3 as a minimal surface, too.
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 gro…
We give the topological obstructions to be a leaf in a minimal lamination by hyperbolic surfaces whose generic leaf is homeomorphic to a Cantor tree. Then, we show that all allowed topological types can be simultaneously embedded in the same lamination. This result, together with results of Alvarez-Brum-Martínez-Potrie and Blanc, complete the panorama of understanding which topological surfaces can be leaves in minimal hyperbolic surface laminations when the topology of the generic leaf is given. In all cases, all possible topologies can be realized simultaneously.
In 1978, W. Thurston revolutionized low diemsional topology with his work on hyperbolic 3-manifolds. In this paper, we discuss what is currently known about knots in the 3-sphere with hyperbolic complements. Then focus is on geometric invariants coming out of the hyperbolic structures. This is one of a collection of articles to appear in the Handbook of Knot Theory.
We prove that, if a group is relatively hyperbolic, the parabolic subgroups are virtually nilpotent if and only if there exists a hyperbolic space with bounded geometry on which it acts geometrically finitely. This provides, by use of M. Bonk and O. Schramm embedding theorem, a very short proof of the finiteness of asymptotic dimension of relatively hyperbolic groups with virtually nilpotent parabolic subgroups (which is known to imply Novikov conjectures
We obtain some restrictions on the topology of infinite volume hyperbolic manifolds. In particular, for any n and any closed negatively curved manifold M of dimension greater than 2, only finitely many hyperbolic n-manifolds are total spaces of orientable vector bundles over M.
We prove that the cardinality of the torsion subgroups in homology of a closed hyperbolic manifold of any dimension can be bounded by a doubly exponential function of its diameter. It would follow from a conjecture by Bergeron and Venkatesh that the order of growth in our bound is sharp. We also determine how the number of non-commensurable closed hyperbolic manifolds of dimension at least 3 and bounded diameter grows. The lower bound implies that the fraction of arithmetic manifolds tends to zero as the diameter goes up.
We construct a quasiconformally homogeneous hyperbolic Riemann surface-other than the hyperbolic plane-that does not admit a bounded pants decomposition. Also, given a connected orientable topological surface of infinite type with compact boundary components, we construct a complete hyperbolic metric on the surface that has bounded geometry but does not admit a bounded pants decomposition.
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 show that the sublinearly Morse boundary of a CAT(0) cubical group with a factor system is well-defined up to homeomorphism with respect to the visual topology. The key tool used in the proof is a new topology on sublinearly Morse boundaries that is induced by group actions on hyperbolic spaces that are sufficiently nice, for example, largest acylindrical actions. Using the same techniques, we obtain a explicit description of this new topology on the sublinearly Morse boundary of any hierarchically hyperbolic group in terms of medians. Finally, we explicitly describe the sublinear Morse bou…
Let N^h be a hyperbolic 3-manifold of bounded geometry corresponding to a hyperbolic structure on a pared manifold (M,P). Further, suppose that (\partial{M} - P) is incompressible, i.e. the boundary of M is incompressible away from cusps. Further, suppose that M_{gf} is a geometrically finite hyperbolic structure on (M,P). Then there is a Cannon- Thurston map from the limit set of M_{gf} to that of N^h. Further, the limit set of N^h is locally connected. This answers in part a question attributed to Thurston.
We construct minimal laminations by hyperbolic surfaces whose generic leaf is a disk and contain any prescribed family of surfaces and with a precise control of the topologies of the surfaces that appear. The laminations are constructed via towers of finite coverings of surfaces for which we need to develop a relative version of residual finiteness which may be of independent interest. The main step in establishing this relative version of residual finiteness is to obtain finite covers with control on the \emph{second systole} of the surface, which is done in the appendix. In a companion paper…
It was proved by Mineyev and Yaman that, if $(Γ, Γ')$ is a relatively hyperbolic pair, the comparison map $$ H_b^k(Γ, Γ'; V) \to H^k(Γ, Γ'; V) $$ is surjective for every $k \ge 2$, and any bounded $Γ$--module $V$. By exploiting results of Groves and Manning, we give another proof of this result. Moreover, we prove the opposite implication under weaker hypotheses than the ones required by Mineyev and Yaman.
We use our new type of bounded locally homeomorphic quasiregular mappings in the unit 3-ball to address long standing problems for such mappings. The construction of such mappings comes from our construction of non-trivial compact 4-dimensional cobordisms $M$ with symmetric boundary components and whose interiors have complete 4-dimensional real hyperbolic structures. Such bounded locally homeomorphic quasiregular mappings are defined in the unit 3-ball $B^3\subset \mathbb{R}^3$ as mappings equivariant with the standard conformal action of uniform hyperbolic lattices $Γ\subset \operatorname{Is…
In this paper we prove a theorem describing the local topology of the boundary of a hyperbolic group in terms of its global topology: the boundary is locally simply connected if and only if the complement of any point in the boundary is simply connected. This generalises a theorem of Bestvina and Mess.
A symplectic form is called hyperbolic if its pull-back to the universal cover is a differential of a bounded one-form. The present paper is concerned with the properties and constructions of manifolds admitting hyperbolic symplectic forms. The main results are: * If a symplectic form represents a bounded cohomology class then it is hyperbolic. * The symplectic hyperbolicity is equivalent to a certain isoperimetric inequality. * The fundamental group of symplectically hyperbolic manifold is non-amenable. We also construct hyperbolic symplectic forms on certain bundles and Lefschetz fibrations,…
In 1992, Reid asked whether hyperbolic 3-manifolds with the same geodesic length spectra are necessarily commensurable. While this is known to be true for arithmetic hyperbolic 3-manifolds, the non-arithmetic case is still open. Building towards a negative answer to this question, Futer and Millichap recently constructed infinitely many pairs of non-commensurable, non-arithmetic hyperbolic 3-manifolds which have the same volume and whose length spectra begin with the same first $m$ geodesic lengths. In the present paper, we show that this phenomenon is surprisingly common in the arithmetic set…
The main result of this paper is that given a group $G$ acting geometrically by isometries on a CAT(0) space $X$ and a cyclic subgroup $H$ of $G$ generated by a rank-1 isometry of $X$, $H$ has bounded packing in $G$. We give two proofs of this result. The first one is by a characterization of rank-$1$ isometries by Hamenstadt. The second proof follows directly from some results of Dahmani-Guirardel-Osin and Sisto. Then using Mihailova's construction, we show the existence of a finitely generated subgroup of the direct product of two free groups $\mathbb F_2\times \mathbb F_2$ without the bound…
We introduce the quasi-hyperbolicity constant of a metric space, a rough isometry invariant that measures how a metric space deviates from being Gromov hyperbolic. This number, for unbounded spaces, lies in the closed interval $[1,2]$. The quasi-hyperbolicity constant of an unbounded Gromov hyperbolic space is equal to one. For a CAT$(0)$-space, it is bounded from above by $\sqrt{2}$. The quasi-hyperbolicity constant of a Banach space that is at least two dimensional is bounded from below by $\sqrt{2}$, and for a non-trivial $L_p$-space it is exactly $\max\{2^{1/p},2^{1-1/p}\}$. If $0 < α< 1$ …
This book provides a self-contained introduction to the topology and geometry of surfaces and three-manifolds. The main goal is to describe Thurston's geometrisation of three-manifolds, proved by Perelman in 2002. The book is divided into three parts: the first is devoted to hyperbolic geometry, the second to surfaces, and the third to three-manifolds. It contains complete proofs of Mostow's rigidity, the thick-thin decomposition, Thurston's classification of the diffeomorphisms of surfaces (via Bonahon's geodesic currents), the prime and JSJ decomposition, the topological and geometric classi…
We prove that the supremum of principal curvatures of a minimal embedded disc in hyperbolic three-space spanning a quasicircle in the boundary at infinity is estimated in a sublinear way by the norm of the quasicircle in the sense of universal Teichmüller space, if the quasicircle is sufficiently close to being the boundary of a totally geodesic plane. As a by-product we prove that there is a universal constant C independent of the genus such that if the Teichmüller distance between the ends of a quasi-Fuchsian manifold $M$ is at most C, then $M$ is almost-Fuchsian. The main ingredients of the…
