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.
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.
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 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 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 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 give a lower bound on the boundary injectivity radius of the Margulis tubes with smooth boundary constructed by Buser, Colbois, and Dodziuk. This estimate depends on the dimension and a curvature bound only.
The first algorithm for sampling the space of thick equilateral knots, as a function of thickness, will be described. This algorithm is based on previous algorithms of applying random reflections. To prove the existence of the algorithm, we describe a method for turning any knot into the regular planar polygon using only thickness non-decreasing moves. This approach ensures that the algorithm has a positive probability of connecting any two knots with the required thickness constraint and so is ergodic. This ergodic sampling unlocks the ability to analyze the effects of thickness on properties…
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 prove that there are only finitely many closed hyperbolic 3-manifolds with injectivity radius and first eigenvalue of the Laplacian bounded below whose fundamental groups can be generated by a given number of elements. An application to arithmetic manifolds is also given.
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.
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 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.
In this paper we study the injectivity radius based at a fixed point along Weil-Petersson geodesics. We show that the square root of the injectivity radius based at a fixed point is $ 0.3884$-Lipschitz on Teichmüller space endowed with the Weil-Petersson metric. As an application we reprove that the square root of the systole function is uniformly Lipschitz on Teichmüller space endowed with the Weil-Petersson metric, where the Lipschitz constant can be chosen to be $0.5492$. Applications to asymptotic geometry of moduli space of Riemann surfaces for large genus will also be discussed.
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 obtain upper and lower bounds on the difference between the renormalized volume and the volume of the convex core of a convex cocompact hyperbolic 3-manifold which depend on the injectivity radius of the boundary of the universal cover of the convex core and the Euler characteristic of the boundary of the convex core. These results generalize results of Schlenker obtained in the setting of quasifuchsian hyperbolic 3-manifolds.
For any given natural number $k$, this paper gives upper bounds on the radius of a packing of a complete hyperbolic surface of finite area by $k$ equal-radius disks in terms of the surface's topology. We show that the bounds given here are sharp in some cases and not sharp in others.
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…
In the preceding paper, Calegari and Dunfield exhibit a sequence of hyperbolic 3-manifolds which have increasing injectivity radius, and which, subject to some conjectures in number theory, are rational homology spheres. We prove unconditionally that these manifolds are rational homology spheres, and give a sufficient condition for a tower of hyperbolic 3-manifolds to have first Betti number 0 at each level. The methods involved are purely pro-p group theoretical.
We use assembly maps to study $\mathbf{TC}(\mathbb{A}[G];p)$, the topological cyclic homology at a prime $p$ of the group algebra of a discrete group $G$ with coefficients in a connective ring spectrum $\mathbb{A}$. For any finite group, we prove that the assembly map for the family of cyclic subgroups is an isomorphism on homotopy groups. For infinite groups, we establish pro-isomorphism, (split) injectivity, and rational injectivity results, as well as counterexamples to injectivity and surjectivity. In particular, for hyperbolic groups and for virtually finitely generated abelian groups, we…
By use of H. C. Wang's bound on the radius of a ball embedded in the fundamental domain of a lattice of a semisimple Lie group, we construct an explicit lower bound for the volume of a quaternionic hyperbolic orbifold that depends only on dimension.
We study the size of the isometry group Isom(M, g) of Riemannian manifolds (M, g) as g varies. For M not admitting a circle action, we show that the order of Isom(M, g) can be universally bounded in terms of the bounds on Ricci curvature, diameter, and injectivity radius of M. This generalizes results known for negative Ricci curvature to all manifolds. More generally we establish a similar universal bound on the index of the deck group pi_1(M) in the isometry group Isom(X, g) of the universal cover X in the absence of suitable actions by connected groups. We apply this to characterize locally…
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 show that if the totally geodesic boundary of a compact hyperbolic 3-manifold M has a large collar of depth d, then the diameter of the skinning map of M is no more than A exp(-d) for some A depending only on the genus and injectivity radius of the boundary of M.
In this paper we construct arbitrarily large families of smooth projective varieties and closed Riemannian manifolds that share many algebraic and analytic invariants. For instance, every non-arithmetic, closed hyperbolic $3$--manifold admits arbitrarily large collections of non-isometric finite covers which are strongly isospectral, length isospectral, and have isomorphic integral cohomology where the isomorphisms commute with restriction and co-restriction. We can also construct arbitrarily large collections of pairwise non-isomorphic smooth projective surfaces where these isomorphisms in co…
In this article we show that for every finite area hyperbolic surface $X$ of type $(g,n)$ and any harmonic Beltrami differential $μ$ on $X$, then the magnitude of $μ$ at any point of small injectivity radius is uniform bounded from above by the ratio of the Weil-Petersson norm of $μ$ over the square root of the systole of $X$ up to a uniform positive constant multiplication. We apply the uniform bound above to show that the Weil-Petersson Ricci curvature, restricted at any hyperbolic surface of short systole in the moduli space, is uniformly bounded from below by the negative reciprocal of the…