The function on the Teichmueller space of complete, orientable, finite-area hyperbolic surfaces of a fixed topological type that assigns to a hyperbolic surface its maximal injectivity radius has no local maxima that are not global maxima.
We show that there is an upper bound on the injectivity radius of a hyperbolic 3-manifold in terms of the the number of generators of its fundamental group.
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 sharp upper bounds on the injectivity radii of complete hyperbolic surfaces of finite area with some geodesic boundary components. The given bounds are over all such surfaces with any fixed topology; in particular, boundary lengths are not fixed. This extends the first author's result to the with-boundary setting. In the second part of the paper we comment on another direction for extending this result, via the systole of loops function.
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. We will give a proof in the case when M is an I-bundle over a closed surface, taking into account the possibility of cusps.
We give lower bounds on the maximal injectivity radius for a closed orientable hyperbolic 3-manifold M with first Betti number 2, under some additional topological hypotheses. A corollary of the main result is that if M has first Betti number 2 and contains no fibroid surface then its maximal injectivity radius exceeds 0.32798. For comparison, Andrew Przeworski showed, with no topological restrictions, that the maximal injectivity radius exceeds arcsinh(1/4) = 0.247..., while the authors showed that if M has first Betti number at least 3 then the maximal injectivity exceeds log(3)/2 = 0.549...…
We define the injectivity radius of a Coxeter polyhedron in H^3 to be half the shortest translation length among hyperbolic/loxodromic elements in the orientation-preserving reflection group. We show that, for finite-volume polyhedra, this number is always less than 2.6339..., and for compact polyhedra it is always less than 2.1225... .
We give sharp upper bounds on the maximal injectivity radius of finite-area hyperbolic surfaces and use them, for each g at least 2, to identify a constant r_{g-1,2} with the property that the set of closed genus-g hyperbolic surfaces with maximal injectivity radius at least r is compact if and only if r > r_{g-1,2}. The main tool is a version of the "centered dual complex" that we introduced earlier, a coarsening of the Delaunay complex of a locally finite set. In particular, we bound the area of a compact centered dual two-cell below given lower bounds on its side lengths.
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…
We construct hyperbolic integer homology 3-spheres where the injectivity radius is arbitrarily large for nearly all points of the manifold. As a consequence, there exists a sequence of closed hyperbolic 3-manifolds which Benjamini-Schramm converge to H^3 whose normalized Ray-Singer analytic torsions do not converge to the L^2-analytic torsion of H^3. This contrasts with the work of Abert et. al. who showed that Benjamini-Schramm convergence forces convergence of normalized betti numbers. Our results shed light on a conjecture of Bergeron and Venkatesh on the growth of torsion in the homology o…
This article is devoted to the variational study of two functions defined over some Teichmueller spaces of hyperbolic surfaces. One is the systole of geodesic loops based at some fixed point, and the other one is the systole of arcs.\par For each of them we determine all the critical points. It appears that the systole of arcs is a topological Morse function, whereas the systole of geodesic loops have some degenerate critical points. However, these degenerate critical points are in some sense the obvious one, and they do not interfere in the variational study of the function.\par At a nondegen…
We show that there exist hyperbolic knots in the 3-sphere such that the set of points of large injectivity radius in the complement take up the bulk of the volume. More precisely, given a finite volume hyperbolic manifold, for any bound R>0 on injectivity radius, consider the set of points with injectivity radius at least R; we call this the R-thick part of the manifold. We show that for any $ε>0$, there exists a knot K in the 3-sphere so that the ratio of the volume of the R-thick part of the knot complement to the volume of the knot complement is at least $1-ε$. As R approaches infinity, and…
We show that for a closed hyperbolic 3-manifold the size of the first eigenvalue of the Hodge Laplacian acting on coexact 1-forms is comparable to an isoperimetric ratio relating geodesic length and stable commutator length with comparison constants that depend polynomially on the volume and on a lower bound on injectivity radius, refining estimates of Lipnowski and Stern. We use this estimate to show that there exist sequences of closed hyperbolic 3-manifolds with injectivity radius bounded below and volume going to infinity for which the 1-form Laplacian has spectral gap vanishing exponentia…
We give a diameter bound for fundamental domains for isometric actions of the fundamental group of a closed hyperbolic surface on a delta-hyperbolic space, where the bound depends on the hyperbolicity constant delta, the genus of the surface, and the injectivity radius of the action, which we assume to be strictly positive.
In our previous paper, we discussed the hyperbolization of the configuration space of n(> 4) marked points with weights in the projective line up to projective transformations. A variation of the weights induces a deformation. It was shown that this correspondence of the set of the weights to the Teichmüller space when n = 5 and to the Dehn filling space when n= 6 is locally one-to-one near the equal weight. In this paper, we establish its global injectivity.
A finite subset S of a closed hyperbolic surface F canonically determines a "centered dual decomposition" of F: a cell structure with vertex set S, geodesic edges, and 2-cells that are unions of the corresponding Delaunay polygons. Unlike a Delaunay polygon, a centered dual 2-cell Q is not determined by its collection of edge lengths; but together with its combinatorics, these determine an "admissible space" parametrizing geometric possibilities for the Delaunay cells comprising Q. We illustrate its application by using the centered dual decomposition to extract combinatorial information about…
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 the following: 1. Let epsilon>0 and let S_1,S_2 be two closed hyperbolic surfaces. Then there exists locally-isometric covers S'_i of S_i (for i=1,2) such that there is a (1+ε) bi-Lipschitz homeomorphism between S'_1 and S'_2 and both covers S'_i have bounded injectivity radius. 2. Let M be a closed hyperbolic 3-manifold. Then there exists a map j: S -> M where S is a surface of bounded injectivity radius and j is a pi_1-injective local isometry onto its image.
We study the relationship between two norms on the first cohomology of a hyperbolic 3-manifold: the purely topological Thurston norm and the more geometric harmonic norm. Refining recent results of Bergeron, Şengün, and Venkatesh as well as older work of Kronheimer and Mrowka, we show that these norms are roughly proportional with explicit constants depending only on the volume and injectivity radius of the hyperbolic 3-manifold itself. Moreover, we give families of examples showing that some (but not all) qualitative aspects of our estimates are sharp. Finally, we exhibit closed hyperbolic 3-…
We study relatively hyperbolic Coxeter groups of type $HM$ with maximal Euclidean Coxeter subgroups of codimension 1. Our main result in this paper is that the dimension of these groups is bounded above.
We study principal curvatures of fibers and Heegaard surfaces smoothly embedded in hyperbolic 3-manifolds. It is well known that a fiber or a Heegaard surface in a hyperbolic 3-manifold cannot have principal curvatures everywhere less than one in absolute value. We show that given an upper bound on the genus of a minimally embedded fiber or Heegaard surface and a lower bound on the injectivity radius of the hyperbolic 3-manifold, there exists a $δ> 0$ such that the fiber or Heegaard surface must contain a point at which one of the principal curvatures is greater than $1 + δ$ in absolute value.
For a hyperbolic knot in the 3-sphere, the distance between toroidal surgeries is at most 5, except the figure eight knot. In this paper, we determine all hyperbolic knots that admit two toroidal surgeries with distance 5.
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…
For a hyperbolic 3-manifold M with a torus boundary component, all but finitely many Dehn fillings on the torus component yield hyperbolic 3-manifolds. In this paper, we will focus on the situation where M has two exceptional Dehn fillings, both of which yield toroidal manifolds. For such situation, Gordon gave an upper bound for the distance between two slopes of Dehn fillings. In particular, if M is large, then the distance is at most 5. We show that this upper bound can be improved by 1 for a broad class of large manifolds.
Let $Γ$ be a torsion-free lattice of $\text{PU}(p,1)$ with $p \geq 2$ and let $(X,μ_X)$ be an ergodic standard Borel probability $Γ$-space. We prove that any maximal Zariski dense measurable cocycle $σ: Γ\times X \longrightarrow \text{SU}(m,n)$ is cohomologous to a cocycle associated to a representation of $\text{PU}(p,1)$ into $\text{SU}(m,n)$, with $1 < m \leq n$. The proof follows the line of Zimmer' Superrigidity Theorem and requires the existence of a boundary map, that we prove in a much more general setting. As a consequence of our result, it cannot exist a maximal measurable cocycle wi…
Baker showed that 10 of the 12 classes of Berge knots are obtained by surgery on the minimally twisted 5-chain link. In this article we enumerate all hyperbolic knots in S^3 obtained by surgery on the minimally twisted 5 chain link that realize the maximal known distances between slopes corresponding to exceptional (lens, lens), (lens, toroidal), (lens, Seifert fibred spaces) pairs. In light of Baker's work, the classification in this paper conjecturally accounts for 'most' hyperbolic knots in S^3 realizing the maximal distance between these exceptional pairs. All examples obtained in our clas…
We classify the complete hyperbolic 3-manifolds admitting a maximal cusp of volume at most 2.62. We use this to show that the figure-8 knot complement is the unique 1-cusped hyperbolic 3-manifold with nine or more non-hyperbolic fillings; to show that the figure-8 knot complement and its sister are the unique hyperbolic 3-manifolds with minimal volume maximal cusps; and to extend results on determining low volume closed and cusped hyperbolic 3-manifolds.
The main theorem of this article provides sufficient conditions for a degree $d$ finite cover $M'$ of a hyperbolic 3-manifold $M$ to be a surface-bundle. Let $F$ be an embedded, closed and orientable surface of genus $g$, close to a minimal surface in the cover $M'$, splitting $M'$ into a disjoint union of $q$ handlebodies and compression bodies. We show that there exists a fiber in the complement of $F$ provided that $d$, $q$ and $g$ satisfy some inequality involving an explicit constant $k$ depending only on the volume and the injectivity radius of $M$. In particular, this theorem applies to…
We study the Teichmüller metric on the Teichmüller space of a surface of finite type, in regions where the injectivity radius of the surface is small. The main result is that in such regions the Teichmüller metric is approximated up to bounded additive distortion by the sup metric on a product of lower dimensional spaces. The main technical tool in the proof is the use of estimates of extremal lengths of curves in a surface based on the geometry of their hyperbolic geodesic representatives.
In the paper, we consider the harmonic maps between surfaces $Σ$ and $S$ in the homotopy class of a (branched) covering map $u_0$. We prove the uniqueness of critical points of energy function and the injectivity of Hopf differential if $u_0$ is a covering map. On the other hand, if $u_0$ is a branched covering, we show that the uniqueness of critical points fails if $u_0$ is a non-simple branched covering, and prove the injectivity of Hopf differential $Φ:\mc{T}(S)\to \op{QD}(Σ,g)$ when $g=[u_0^* h]$ for some hyperbolic metric $h$ on $S$.
We consider globally hyperbolic maximal anti de Sitter 3-manifolds $M$ with a closed Cauchy surface $S$ of genus greater than one and prove that any pair of hyperbolic metrics on $S$ can be realized as the boundary metrics of the convex core of a maximal globally hyperbolic anti de Sitter 3-manifold structure on $M$. This answers the existence part of a question of Mess about the unique realization of such metrics. Our theorem has a nice formulation purely in terms of 2-dimensional Teichmüller theory and earthquakes.
Concerning the set of exceptional surgery slopes for a hyperbolic knot, Lackenby and Meyerhoff proved that the maximal cardinality is 10 and the maximal diameter is 8. Their proof is computer-aided in part, and both bounds are achieved simultaneously. In this note, it is observed that the diameter bound 8 implies the maximal cardinality bound 10 for exceptional surgery slope sets. This follows from the next known fact: For a hyperbolic knot, there exists a slope on the peripheral torus such that all exceptional surgery slopes have distance at most two from the slope. We also show that, in gene…
We prove a volume-rigidity theorem for fuchsian representations of fundamental groups of hyperbolic k-manifolds into Isom(H^n). Namely, we show that if M is a complete hyperbolic k-manifold with finite volume, then the volume of any representation of its fundamental group into Isom(H^n), 3 <= k <= n, is less than the volume of M, and the volume is maximal if and only if the representation is discrete, faithful and ``k-fuchsian''.
These notes are an extended version of a talk given by the author in the seminar "Theorie Spectrale et Geometrie" at the Institut Fourier in No- vember 2016. We present here some aspects of a work in collaboration with B. Collier and N. Tholozan (arXiv:1702.08799). We describe how Higgs bundle theory and pseudo-hyperbolic geometry interfere in the study of maximal representations into Hermitian Lie groups of rank 2.
A three-dimensional orthoscheme is defined as a tetrahedron whose base is a right-angled triangle and an edge joining the apex and a non-right-angled vertex is perpendicular to the base. A generalization, called complete orthoschemes, of orthoschemes is known in hyperbolic geometry. Roughly speaking, complete orthoschemes consist of three kinds of polyhedra; either compact, ideal or truncated. We consider a particular family of hyperbolic complete orthoschemes, which share the same base. They are parametrized by the "height", which represents how far the apex is from the base. We prove that th…
Let $Σ$ be a connected, oriented surface with punctures and negative Euler characteristic. We introduce wild globally hyperbolic anti-de Sitter structures on $Σ\times \mathbb{R}$ and provide two parameterisations of their deformation space: as a quotient of the product of two copies of the Teichmüller space of crowned hyperbolic surfaces and as the bundle over the Teichmüller space of $Σ$ of meromorphic quadratic differentials with poles of order at least $3$ at the punctures.
Let $Σ$ be a connected, oriented surface with punctures and negative Euler characteristic. We introduce regular globally hyperbolic anti-de Sitter structures on $Σ\times \mathbb{R}$ and provide two parameterisations of their deformation space: as an enhanced product of two copies of the Fricke space of $Σ$ and as the bundle over the Teichmüller space of $Σ$ whose fibre consists of meromorphic quadratic differentials with poles of order at most $2$ at the punctures.
Froyshov invariants are numerical invariants of rational homology three-spheres derived from gradings in monopole Floer homology. In the past few years, they have been employed to solve a wide range of problems in three and four-dimensional topology. In this paper, we look at connections with hyperbolic geometry for the class of minimal $L$-spaces. In particular, we study relations between Froyshov invariants and closed geodesics using ideas from analytic number theory. We discuss two main applications of our approach. First, we derive effective upper bounds for the Froyshov invariants of mini…
We study random elements of subgroups (and cosets) of the mapping class group of a closed hyperbolic surface, in part through the properties of their mapping tori. In particular, we study the distribution of the homology of the mapping torus (with rational, integer, and finite field coefficients, the hyperbolic volume (whenever the manifold is hyperbolic), the dilatation of the monodromy, the injectivity radius, and the bottom eigenvalue of the Laplacian on these mapping tori. We also study mapping tori of punctured surface bundles, and various invariants of their Dehn fillings. We also study …
We study the volume of maximal globally hyperbolic Anti-de Sitter manifolds containing a closed orientable Cauchy surface $S$, in relation to some geometric invariants depending only on the two points in Teichmüller space of $S$ provided by Mess' parameterization - namely on two isotopy classes of hyperbolic metrics $h$ and $h'$ on $S$. The main result of the paper is that the volume coarsely behaves like the minima of the $L^1$-energy of maps from $(S,h)$ to $(S,h')$. The study of $L^p$-type energies had been suggested by Thurston, in contrast with the well-studied Lipschitz distance. A corol…
We study maximal representations of surface groups $ρ:π_1(Σ)\to\mathrm{SO}_0(2,n+1)$ via the introduction of $ρ$-invariant pleated surfaces inside the pseudo-Riemannian space $\mathbb{H}^{2,n}$ associated to maximal geodesic laminations of $Σ$. We prove that $ρ$-invariant pleated surfaces are always embedded, acausal, and possess an intrinsic pseudo-metric and a hyperbolic structure. We describe the latter by constructing a shear cocycle from the cross ratio naturally associated to $ρ$. The process developed to this purpose applies to a wide class of cross ratios, including examples arising fr…
A group of isometries of a hyperbolic $n$-space is called a reflection group if it is generated by reflections in hyperbolic hyperplanes. Vinberg gave a semi-algorithm for finding a maximal reflection sublattice in a given arithmetic subgroup of $O(n,1)$ of the simplest type. We provide an effective termination condition for Vinberg's semi-algorithm with which it becomes an algorithm for finding maximal reflection sublattices. The main new ingredient of the proof is an upper bound for the number of faces of an arithmetic hyperbolic Coxeter polyhedron in terms of its volume.
We compute the Cheeger constants of a collection of hyperbolic surfaces corresponding to maximal non-compact arithmetic Fuchsian groups, and to subgroups which are the rotation subgroup of maximal reflection groups. The Cheeger constants are geometric quantities, but relate to the smallest eigenvalues of Maass cusp forms. From geometrical considerations, we find evidence for the existence of small eigenvalues. We search for these small eigenvalues and compute the corresponding Maass cusp forms numerically.
We prove the existence of a unique maximal surface in each anti-de Sitter (AdS) convex Globally Hyperbolic Maximal (GHM) manifold with particles (that is, with conical singularities along time-like lines) for cone angles less than $π$. We interpret this result in terms of Teichmüller theory, and prove the existence of a unique minimal Lagrangian diffeomorphism isotopic to the identity between two hyperbolic surfaces with cone singularities when the cone angles are the same for both surfaces and are less than $π$.