Geometric inflexibility of hyperbolic cone-manifolds
Jeffrey Brock, Kenneth Bromberg
备注：
15 pages. This paper was originally part of our paper `Geometric inflexibility and 3-manifolds that fiber over the circle,' arXiv:0901.3870, appearing in the Journal of Topology, 4 (2011) pp. 1-38
We prove 3-dimensional hyperbolic cone-manifolds are geometrically inflexible: a cone-deformation of a hyperbolic cone-manifold determines a bi-Lipschitz diffeomorphism between initial and terminal manifolds in the deformation in the complement of a standard tubular neighborhood of the cone-locus whose pointwise bi-Lipschitz constant decays exponentially in the distance from the cone-singularity. Estimates at points in the thin part are controlled by similar estimates on the complex lengths of short curves.
A recent preprint of S. Kojima and G. McShane [KM] observes a beautiful explicit connection between Teichmüller translation distance and hyperbolic volume. It relies on a key estimate which we supply here: using geometric inflexibility of hyperbolic 3-manifolds, we show that for $S$ a closed surface, and $ψ\in \text{Mod}(S)$ pseudo-Anosov, the double iteration $Q(ψ^{-n}(X),ψ^n(X))$ has convex core volume differing from $2n \text{vol}(M_ψ)$ by a uniform additive constant, where $M_ψ$ is the hyperbolic mapping torus for $ψ$. We combine this estimate with work of Schlenker, and a branched coverin…
We prove hyperbolic 3-manifolds are geometrically inflexible: a unit quasiconformal deformation of a Kleinian group extends to an equivariant bi-Lipschitz diffeomorphism between quotients whose pointwise bi-Lipschitz constant decays exponentially in the distance form the boundary of the convex core for points in the thick part. Estimates at points in the thin part are controlled by similar estimates on the complex lengths of short curves. We use this inflexibility to give a new proof of the convergence of pseudo-Anosov double-iteration on the quasi-Fuchsian space of a closed surface, and the r…
We prove that a closed 3-orbifold that fibers over a hyperbolic polygonal 2-orbifold admits a family of hyperbolic cone structures that are viewed as regeneration of the polygon, provided that the perimeter is minimal.
In a recent paper Hodgson and Kerckhoff prove a local rigidity theorem for finite volume, three dimensional hyperbolic cone-manifolds. In this paper we extend this result to geometrically finite cone-manifolds. Our methods also give a new proof of a local version of the classical rigidity theorem for geometrically finite hyperbolic 3-manifolds.
Let $Σ$ be a hyperbolic link with $m$ components in a 3-dimensional manifold $X$. In this paper, we will show that the moduli space of marked hyperbolic cone structures on the pair $(X, Σ)$ with all cone angle less than $2π/3$ is an $m$-dimensional open cube, parameterized naturally by the $m$ cone angles. As a corollary, we will give a proof of a special case of Thurston's geometrization theorem for orbifolds.
Recently, Hodgson and Kerckhoff found a small bound on Dehn surgered 3-manifolds from hyperbolic knots not admitting hyperbolic structures using deformations of hyperbolic cone-manifolds. They asked whether the area normalized meridian length squared of maximal tubular neighborhoods of the singular locus of the cone-manifold is decreasing and that summed with the cone angle squared is increasing as we deform the cone-angles. We confirm this near 0 cone-angles for an infinite family of hyperbolic cone-manifolds obtained by Dehn surgeries along the Whitehead link complements. The basic method is…
We consider the relationship between hyperbolic cone-manifold structures on surfaces, and algebraic representations of the fundamental group into a group of isometries. A hyperbolic cone-manifold structure on a surface, with all interior cone angles being integer multiples of $2π$, determines a holonomy representation of the fundamental group. We ask, conversely, when a representation of the fundamental group is the holonomy of a hyperbolic cone-manifold structure. In this paper we build upon previous work with punctured tori to prove results for higher genus surfaces. Our techniques construct…
We consider the relationship between hyperbolic cone-manifold structures on surfaces, and algebraic representations of the fundamental group into a group of isometries. A hyperbolic cone-manifold structure on a surface, with all interior cone angles being integer multiples of $2π$, determines a holonomy representation of the fundamental group. We ask, conversely, when a representation of the fundamental group is the holonomy of a hyperbolic cone-manifold structure. In this paper we prove results for the punctured torus; in the sequel, for higher genus surfaces. We show that a representation of…
We calculate the volumes of the hyperbolic twist knot cone-manifolds using the Schläfli formula. Even though general ideas for calculating the volumes of cone-manifolds are around, since there is no concrete calculation written, we present here the concrete calculations. We express the length of the singular locus in terms of the distance between the two axes fixed by two generators. In this way the calculation becomes easier than using the singular locus directly. The volumes of the hyperbolic twist knot cone-manifolds simpler than Stevedore's knot are known. As an application, we give the vo…
Let O be a three-dimensional Nil-orbifold, with branching locus a knot Sigma transverse to the Seifert fibration. We prove that O is the limit of hyperbolic cone manifolds with cone angle in (pi-epsilon, pi). We also study the space of Dehn filling parameters of O-Sigma. Surprisingly it is not diffeomorphic to the deformation space constructed from the variety of representations of O-Sigma. As a corollary of this, we find examples of spherical cone manifolds with singular set a knot that are not locally rigid. Those examples have large cone angles.
This work is devoted to the study of deformations of hyperbolic cone structures under the assumption that the lengths of the singularity remain uniformly bounded over the deformation. Given a sequence $(M_{i}%, p_{i}) $ of pointed hyperbolic cone-manifolds with topological type $(M,Σ) $, where $M$ is a closed, orientable and irreducible 3-manifold and $Σ$ an embedded link in $M$. If the sequence $M_{i}$ collapses and assuming that the lengths of the singularity remain uniformly bounded, we prove that $M$ is either a Seifert fibered or a $Sol$ manifold. We apply this result to a question stated…
We study the space $C(a_0,a_1,\dots,a_n)$ of hyperbolic 2-spheres with cone points of prescribed apex curvatures $2a_0,2a_1,\dots,2a_n\in]0,2π[$ and some related spaces. For $n=3$, we get a detailed description of such spaces. The euclidean 2-spheres were considered by W. P. Thurston: for $n=4$, the corresponding spaces provide the famous 7 examples of nonarithmetic compact holomorphic 2-ball quotients previously constructed by Deligne-Mostow.
This work is devoted to the study of deformations of hyperbolic cone structures under the assumption that the lengths of the singularity remain uniformly bounded over the deformation. Given a sequence (M_{i},p_{i}) of pointed hyperbolic cone-manifolds with topological type (M,Σ), where M is a closed, orientable and irreducible 3-manifold and Σ an embedded link in M. Assuming that the lengths of the singularity remain uniformly bounded, we prove that either the sequence M_{i} collapses and M is Seifert fibered or a Sol manifold, or the sequence M_{i} does not collapse and in this case a subsequ…
For 3-dimensional hyperbolic cone structures with cone angles $θ$, local rigidity is known for $0 \leq θ\leq 2π$, but global rigidity is known only for $0 \leq θ\leq π$. The proof of the global rigidity by Kojima is based on the fact that hyperbolic cone structures with cone angles at most $π$ do not degenerate in deformations decreasing cone angles to zero. In this paper, we give an example of a degeneration of hyperbolic cone structures with decreasing cone angles less than $2π$. These cone structures are constructed on a certain alternating link in the thickened torus by gluing four copies …
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.
Given a geometrically finite hyperbolic cone-manifold, with the cone singularity sufficiently short, we construct a one parameter family of cone-manifolds decreasing the cone angle to zero. We also control the geometry of this one parameter family via the Schwarzian derivative of the projective boundary and the length of closed geodesics.
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.
In his paper "Shapes of Polyhedra and Triangulations of the Sphere", Thurston found that the set of shapes of convex polyhedra with prescribed cone-deficits has a complex hyperbolic structure. Inspired by his work, this paper studies the set of shapes of centrally symmetric octahedra with prescribed cone-deficits. We show that this set forms a real hyperbolic ideal tetrahedron, whose dihedral angles are half of the prescribed cone-deficits.
We prove the existence of a minimal diffeomorphism isotopic to the identity between two hyperbolic cone surfaces $(Σ,g_1)$ and $(Σ,g_2)$ when the cone angles of $g_1$ and $g_2$ are different and smaller than $π$. When the cone angles of $g_1$ are strictly smaller than the ones of $g_2$, this minimal diffeomorphism is unique.
We give an expository account of our proof that each cusp-free hyperbolic 3-manifold M with finitely generated fundamental group and incompressible ends is an algebraic limit of geometrically finite hyperbolic 3-manifolds.
Let $C(2n, 3)$ be the family of two bridge knots of slope $(4n+1)/(6n+1)$. We calculate the volumes of the $C(2n, 3)$ cone-manifolds using the Schläfli formula. We present the concrete and explicit formula of them. We apply the general instructions of Hilden, Lozano, and Montesinos-Amilibia and extend the Ham, Mednykh, and Petrov's methods. As an application, we give the volumes of the cyclic coverings over those knots. For the fundamental group of $C( 2n, 3)$, we take and tailor Hoste and Shanahan's. As a byproduct, we give an affirmative answer for their question whether their presentation i…
Weiss and, independently, Mazzeo and Montcouquiol recently proved that a 3--dimensional hyperbolic cone-manifold (possibly with vertices) with all cone angles less than $2π$ is infinitesimally rigid. On the other hand, Casson provided 1998 an example of an infinitesimally flexible cone-manifold with some of the cone angles larger than $2π$. In this paper several new examples of infinitesimally flexible cone-manifolds are constructed. The basic idea is that the double of an infinitesimally flexible polyhedron is an infinitesimally flexible cone-manifold. With some additional effort, we are able…
The space of marked n distinct points on the complex projective line up to projective transformations will be called a configuration space in this paper. There are two families of complex hyperbolic structures on the configuration space constructed by Deligne-Mostow and Thurston. We first confirm that these families are the same. Then in view of the deformation theory for real hyperbolic cone 3-manifolds, we review the families for small n.
A generic geodesic on a finite area, hyperbolic 2-orbifold exhibits an infinite sequence of penetrations into a neighborhood of a cone singularity, so that the sequence of depths of maximal penetration has a limiting distribution. The distribution function is the same for all such surfaces and is described by a fairly simple formula.
A negatively curved hyperbolic cone metric is called rigid if it is determined (up to isotopy) by the support of its Liouville current, and flexible otherwise. We provide a complete characterization of rigidity and flexibility, prove that rigidity is a generic property, and parameterize the associated deformation space for any flexible metric. As an application, we parameterize the space of hyperbolic polygons with the same symbolic coding for their billiard dynamics, and prove that generically this parameter space is a point.
We prove global rigidity for compact hyperbolic and spherical cone-3-manifolds with cone-angles $\leq π$ (which are not Seifert fibered in the spherical case), furthermore for a class of hyperbolic cone-3-manifolds of finite volume with cone-angles $\leq π$, possibly with boundary consisting of totally geodesic hyperbolic turnovers. To that end we first generalize our local rigidity result to the setting of hyperbolic cone-3-manifolds of finite volume as above. We then use the geometric techniques developed by Boileau, Leeb and Porti to deform the cone-manifold structure to a complete non-sing…
We study the geometry of hyperbolic cone surfaces, possibly with cusps or geodesic boundaries. We prove that any hyperbolic cone structure on a surface of non-exceptional type is determined up to isotopy by the geodesic lengths of a finite specific homotopy classes of non-peripheral simple closed curves. As an application, we show that the Thurston asymmetric metric is well-defined on the Teichmüller space of hyperbolic cone surfaces with fixed cone angles and boundary lengths. We compare such a Teichmüller space with the Teichmüller space of complete hyperbolic surfaces with punctures, by sho…
A horospherical torus about a cusp of a hyperbolic manifold inherits a Euclidean similarity structure, called a cusp shape. We bound the change in cusp shape when the hyperbolic structure of the manifold is deformed via cone deformation preserving the cusp. The bounds are in terms of the change in structure in a neighborhood of the singular locus alone. We then apply this result to provide information on the cusp shape of many hyperbolic knots, given only a diagram of the knot. Specifically, we show there is a universal constant C such that if a knot admits a prime, twist reduced diagram with …
Let $S$ be a closed surface of genus $g$. In this paper, we investigate the relationship between hyperbolic cone-structure on $S$ and representations of the fundamental group into $\text{PSL}_2\Bbb R$. We consider surfaces of genus greater than $g$ and we show that, under suitable conditions, every representation $ρ:π_1 S\longrightarrow \text{PSL}_2\Bbb R$ with Euler number $\mathcal{E}(ρ)=\pm\big(χ(S)+1\big)$ arises as holonomy of a hyperbolic cone-structure $σ$ on $S$ with a single cone point of angle $4π$. From this result, we derive that for surfaces of genus $2$ every representation with …
We generalise work of Young-Eun Choi to the setting of ideal triangulations with vertex links of arbitrary genus, showing that the set of all (possibly incomplete) hyperbolic cone-manifold structures realised by positively oriented hyperbolic ideal tetrahedra on a given topological ideal triangulation and with prescribed cone angles at all edges is (if non-empty) a smooth complex manifold of dimension the sum of the genera of the vertex links. Moreover, we show that the complex lengths of a collection of peripheral elements give a local holomorphic parameterisation of this manifold.
In this paper we extend Thurston's hyperbolic Dehn surgery theorem to a class of geometrically infinite hyperbolic 3-manifolds. As an application we prove a modest density theorem for Kleinian groups. We also discuss hyperbolic Dehn surgery on geometrically finite hypebolic cone-manifolds.
Recently, the explicit volume formulae for hyperbolic cone-manifolds, whose underlying space is the 3-sphere and the singular set is the knot $4_1$ and the links $5^2_1$ and $6^2_2$, have been obtained by the second named author and his collaborators. In this paper we explicitly find the hyperbolic volume for cone-manifolds with the link $6^2_3$ as singular set. Trigonometric identities (Tangent, Sine and Cosine Rules) between complex lengths of singular components and cone angles are obtained for an infinite family of two-bridge links containing $5^2_1$ and $6^2_3$.
The deformation theory of hyperbolic and Euclidean cone-manifolds with all cone angles less then 2π plays an important role in many problems in low dimensional topology and in the geometrization of 3-manifolds. Furthermore, various old conjectures dating back to Stoker about the moduli of convex hyperbolic and Euclidean polyhedra can be reduced to the study of deformations of cone-manifolds by doubling a polyhedron across its faces. This deformation theory has been understood by Hodgson and Kerckhoff when the singular set has no vertices, and by Weiß when the cone angles are less than π. We pr…
We generalize McShane's identity for the length series of simple closed geodesics on a cusped hyperbolic surface to hyperbolic cone-surfaces (with all cone angles $\le π$), possibly with cusps and/or geodesic boundary. In particular, by applying the generalized identity to the orbifolds obtained from taking the quotient of the one-holed torus by its elliptic involution, and the closed genus two surface by its hyper-elliptic involution, we obtain generalizations of the Weierstrass identities for the one-holed torus, and identities for the genus two surface, also obtained by McShane using differ…
In two former papers, the authors independently proved that the space of hyperbolic cone-3-manifolds with cone angles less than 2π and fixed singular locus is locally parametrized by the cone angles. In this sequel, we investigate the local shape of the deformation space when the singular locus is no longer fixed, i.e. when the singular vertices can be split. We show that the different possible splittings correspond to specific pair-of-pants decompositions of the smooth parts of the links of the singular vertices, and that under suitable assumptions the corresponding subspace of deformations i…
The invariant measured foliations of a pseudo-Anosov homeomorphism induce a natural (singular) Sol structure on mapping tori of surfaces with pseudo-Anosov monodromy. We show that when the pseudo-Anosov $ϕ:S\rightarrow S$ has orientable foliations and does not have 1 as an eigenvalue of the induced cohomology action on the closed surface, then the Sol structure can be deformed to nearby cone hyperbolic structures, in the sense of projective structures. The cone angles can be chosen to be decreasing from multiples of $2π$.
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…
Given a closed orientable Euclidean cone 3-manifold C with cone angles less than or equal to pi, and which is not almost product, we describe the space of constant curvature cone structures on C with cone angles less than pi. We establish a regeneration result for such Euclidean cone manifolds into spherical or hyperbolic ones and we also deduce global rigidity for Euclidean cone structures.
We introduce and study some deformations of complete finite-volume hyperbolic four-manifolds that may be interpreted as four-dimensional analogues of Thurston's hyperbolic Dehn filling. We construct in particular an analytic path of complete, finite-volume cone four-manifolds $M_t$ that interpolates between two hyperbolic four-manifolds $M_0$ and $M_1$ with the same volume $\frac {8}3π^2$. The deformation looks like the familiar hyperbolic Dehn filling paths that occur in dimension three, where the cone angle of a core simple closed geodesic varies monotonically from $0$ to $2π$. Here, the sin…
For two-dimensional orientable hyperbolic orbifolds, we show that the radius of a maximal embedded disk is greater or equal to an explicit constant ρ_T, with equality if and only if the orbifold is a sphere with three cone points of order 2, 3 and 7.
We give explicit formulae for the volumes of hyperbolic cone-manifolds of double twist knots, a class of two-bridge knots which includes twist knots and two-bridge knots with Conway notation $C(2n,3)$. We also study the Riley polynomial of a class of one-relator groups which includes two-bridge knot groups.
We prove the Volume Conjecture for the relative Reshetikhin-Turaev invariants proposed in [29] for all pairs (M,K) such that M\K is homeomorphic to the complement of the figure-8 knot in S^3 with almost all possible cone angles.
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.
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…
Tree-graded spaces are generalizations of R-trees. They appear as asymptotic cones of groups (when the cones have cut points). Since many questions about endomorphisms and automorphisms of groups, solving equations over groups, studying embeddings of a group into another group, etc. lead to actions of groups on the asymptotic cones, it is natural to consider actions of groups on tree-graded spaces. We develop a theory of such actions which generalizes the well known theory of groups acting on R-trees. As applications of our theory, we describe, in particular, relatively hyperbolic groups with …
We call a finitely generated group lacunary hyperbolic if one of its asymptotic cones is an R-tree. We characterize lacunary hyperbolic groups as direct limits of Gromov hyperbolic groups satisfying certain restrictions on the hyperbolicity constants and injectivity radii. Using central extensions of lacunary hyperbolic groups, we solve a problem of Gromov by constructing a group whose asymptotic cone C has countable but non-trivial fundamental group (in fact C is homeomorphic to the direct product of a tree and a circle, so π_1(C)=Z). We show that the class of lacunary hyperbolic groups conta…
We introduce a concept of tree-graded metric space and we use it to show quasi-isometry invariance of certain classes of relatively hyperbolic groups, to obtain a characterization of relatively hyperbolic groups in terms of their asymptotic cones, to find geometric properties of Cayley graphs of relatively hyperbolic groups, and to construct the first example of finitely generated group with a continuum of non-$π_1$-equivalent asymptotic cones. Note that by a result of Kramer, Shelah, Tent and Thomas, continuum is the maximal possible number of different asymptotic cones of a finitely generate…
We propose the Volume Conjecture for the relative Reshetikhin-Turaev invariants of a closed oriented $3$-manifold with a colored framed link inside it whose asymptotic behavior is related to the volume and the Chern-Simons invariant of the hyperbolic cone metric on the manifold with singular locus the link and cone angles determined by the coloring. We prove the conjecture in the case that the ambient $3$-manifold is obtained by doing an integral surgery along some components of a fundamental shadow link and the complement of the link in the ambient manifold is homeomorphic to the fundamental …
We are generalizing to higher dimensions the Bavard-Ghys construction of the hyperbolic metric on the space of polygons with fixed directions of edges. The space of convex d-dimensional polyhedra with fixed directions of facet normals has a decomposition into type cones that correspond to different combinatorial types of polyhedra. This decomposition is a subfan of the secondary fan of a vector configuration and can be analyzed with the help of Gale diagrams. We construct a family of quadratic forms on each of the type cones using the theory of mixed volumes. The Alexandrov-Fenchel inequalitie…
In this paper we develop a new theory of infinitesimal harmonic deformations for compact hyperbolic 3-manifolds with ``tubular boundary''. In particular, this applies to complements of tubes of radius at least $R_0 = \arctanh(1/\sqrt{3}) \approx 0.65848$ around the singular set of hyperbolic cone manifolds, removing the previous restrictions on cone angles. We then apply this to obtain a new quantitative version of Thurston's hyperbolic Dehn surgery theorem, showing that all generalized Dehn surgery coefficients outside a disc of ``uniform'' size yield hyperbolic structures. Here the size of a…
