Effective distance between nested Margulis tubes
We give sharp, effective bounds on the distance between tori of fixed injectivity radius inside a Margulis tube in a hyperbolic 3-manifold.
math.GT↗
arXiv subjects
Jessica S. Purcell
Publications and source records attributed to Jessica S. Purcell.
Cusp shape and tunnel number
We show that the set of cusp shapes of hyperbolic tunnel number one manifolds is dense in the Teichmuller space of the torus. A similar result holds for tunnel number n manifolds. As a consequence, for fixed n, there are infinitely many hyperbolic tunnel number n manifolds with at most one exceptional Dehn filling. This is in contrast to large volume Berge knots, which are tunnel number one manifolds, but with cusp shapes converging to a single point in Teichmuller space.
math.GT↗
Spacious knots
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 as $ε$ approaches zero, this gives a sequence of knots that is said to Benjamini--Schramm converge to hyperbolic space. This answers a question of Brock and Dunfield.
math.GT↗
A survey of hyperbolic knot theory
We survey some tools and techniques for determining geometric properties of a link complement from a link diagram. In particular, we survey the tools used to estimate geometric invariants in terms of basic diagrammatic link invariants. We focus on determining when a link is hyperbolic, estimating its volume, and bounding its cusp shape and cusp area. We give sample applications and state some open questions and conjectures.
math.GT↗
Geometry of planar surfaces and exceptional fillings
If a hyperbolic 3-manifold admits an exceptional Dehn filling, then the length of the slope of that Dehn filling is known to be at most six. However, the bound of six appears to be sharp only in the toroidal case. In this paper, we investigate slope lengths of other exceptional fillings. We construct hyperbolic 3-manifolds that have the longest known slopes for reducible fillings. As an intermediate step, we show that the problem of finding the longest such slope is equivalent to a problem on the maximal density horoball packings of planar surfaces, which should be of independent interest. We also discuss lengths of slopes of other exceptional Dehn fillings, and prove that six is not realized by a slope corresponding to a small Seifert fibered space filling.
math.GT↗
Volume bounds for weaving knots
Weaving knots are alternating knots with the same projection as torus knots, and were conjectured by X.-S. Lin to be among the maximum volume knots for fixed crossing number. We provide the first asymptotically correct volume bounds for weaving knots, and we prove that the infinite weave is their geometric limit.
math.GT↗
Independence of volume and genus $g$ bridge numbers
A theorem of Jorgensen and Thurston implies that the volume of a hyperbolic 3-manifold is bounded below by a linear function of its Heegaard genus. Heegaard surfaces and bridge surfaces often exhibit similar topological behavior; thus it is natural to extend this comparison to ask whether a $(g,b)$-bridge surface for a knot $K$ in $S^3$ carries any geometric information related to the knot exterior. In this paper, we show that (unlike in the case of Heegaard splittings) hyperbolic volume and genus $g$ bridge numbers are completely independent. That is, for any $g$, we construct explicit sequences of knots with bounded volume and unbounded genus $g$ bridge number, and explicit sequences of knots with bounded genus $g$ bridge number and unbounded volume.
math.GT↗
Essential twisted surfaces in alternating link complements
Checkerboard surfaces in alternating link complements are used frequently to determine information about the link. However, when many crossings are added to a single twist region of a link diagram, the geometry of the link complement stabilizes (approaches a geometric limit), but a corresponding checkerboard surface increases in complexity with crossing number. In this paper, we generalize checkerboard surfaces to certain immersed surfaces, called twisted checkerboard surfaces, whose geometry better reflects that of the alternating link in many cases. We describe the surfaces, show that they are essential in the complement of an alternating link, and discuss their properties, including an analysis of homotopy classes of arcs on the surfaces in the link complement.
math.GT↗
Cusp volumes of alternating knots
We show that the cusp volume of a hyperbolic alternating knot can be bounded above and below in terms of the twist number of an alternating diagram of the knot. This leads to diagrammatic estimates on lengths of slopes, and has some applications to Dehn surgery. Another consequence is that there is a universal lower bound on the cusp density of hyperbolic alternating knots.
math.GT↗
Volumes of Montesinos links
We show that the volume of any Montesinos link can be bounded above and below in terms of the combinatorics of its diagram. This was known for Montesinos links with at most two tangles, and those with at least five tangles. We complete the result for the remaining cases.
math.GT↗
Density spectra for knots
We recently discovered a relationship between the volume density spectrum and the determinant density spectrum for infinite sequences of hyperbolic knots. Here, we extend this study to new quantum density spectra associated to quantum invariants, such as Jones polynomials, Kashaev invariants and knot homology. We also propose related conjectures motivated by geometrically and diagrammatically maximal sequences of knots.
math.GT↗
Hyperbolic semi-adequate links
We provide a diagrammatic criterion for semi-adequate links to be hyperbolic. We also give a conjectural description of the satellite structures of semi-adequate links. One application of our result is that the closures of sufficiently complicated positive braids are hyperbolic links.
math.GT↗
Volume and geometry of homogeneously adequate knots
We bound the hyperbolic volumes of a large class of knots and links, called homogeneously adequate knots and links, in terms of their diagrams. To do so, we use the decomposition of these links into ideal polyhedra, developed by Futer, Kalfagianni, and Purcell. We identify essential product disks in these polyhedra.
math.GT↗
Geodesics and compression bodies
We consider hyperbolic structures on the compression body C with genus 2 positive boundary and genus 1 negative boundary. Note that C deformation retracts to the union of the torus boundary and a single arc with its endpoints on the torus. We call this arc the core tunnel of C. We conjecture that, in any geometrically finite structure on C, the core tunnel is isotopic to a geodesic. By considering Ford domains, we show this conjecture holds for many geometrically finite structures. Additionally, we give an algorithm to compute the Ford domain of such a manifold, and a procedure which has been implemented to visualize many of these Ford domains. Our computer implementation gives further evidence for the conjecture.
math.GT↗
Geodesic systems of tunnels in hyperbolic 3-manifolds
It is unknown whether an unknotting tunnel is always isotopic to a geodesic in a finite volume hyperbolic 3-manifold. In this paper, we address the generalization of this problem to hyperbolic 3-manifolds admitting tunnel systems. We show that there exist finite volume hyperbolic 3-manifolds with a single cusp, with a system of at least two tunnels, such that all but one of the tunnels come arbitrarily close to self-intersecting. This gives evidence that systems of unknotting tunnels may not be isotopic to geodesics in tunnel number n manifolds. In order to show this result, we prove there is a geometrically finite hyperbolic structure on a (1;n)-compression body with a system of core tunnels such that all but one of the core tunnels self-intersect.
math.GT↗
Quasifuchsian state surfaces
This paper continues our study, initiated in [arXiv:1108.3370], of essential state surfaces in link complements that satisfy a mild diagrammatic hypothesis (homogeneously adequate). For hyperbolic links, we show that the geometric type of these surfaces in the Thurston trichotomy is completely determined by a simple graph--theoretic criterion in terms of a certain spine of the surfaces. For links with A- or B-adequate diagrams, the geometric type of the surface is also completely determined by a coefficient of the colored Jones polynomial of the link.
math.GT↗
Dehn filling and the geometry of unknotting tunnels
Any one-cusped hyperbolic manifold M with an unknotting tunnel tau is obtained by Dehn filling a cusp of a two-cusped hyperbolic manifold. In the case where M is obtained by "generic" Dehn filling, we prove that tau is isotopic to a geodesic, and characterize whether tau is isotopic to an edge in the canonical decomposition of M. We also give explicit estimates (with additive error only) on the length of tau relative to a maximal cusp. These results give generic answers to three long-standing questions posed by Adams, Sakuma, and Weeks. We also construct an explicit sequence of one-tunnel knots in S^3, all of whose unknotting tunnels have length approaching infinity.
math.GT↗
Explicit Dehn filling and Heegaard splittings
We prove an explicit, quantitative criterion that ensures the Heegaard surfaces in Dehn fillings behave "as expected." Given a cusped hyperbolic manifold X, and a Dehn filling whose meridian and longitude curves are longer than 2pi(2g-1), we show that every genus g Heegaard splitting of the filled manifold is isotopic to a splitting of the original manifold X. The analogous statement holds for fillings of multiple boundary tori. This gives an effective version of a theorem of Moriah-Rubinstein and Rieck-Sedgwick.
math.GT↗