On diagrammatic bounds of knot volumes and spectral invariants

On diagrammatic bounds of knot volumes and spectral invariants

David Futer Efstratia Kalfagianni  and  Jessica S. Purcell Department of Mathematics, Temple University, Philadelphia, PA 19122 Department of Mathematics, Michigan State University, East Lansing, MI, 48824 Department of Mathematics, Brigham Young University, Provo, UT 84602
Abstract.

In recent years, several families of hyperbolic knots have been shown to have both volume and (first eigenvalue of the Laplacian) bounded in terms of the twist number of a diagram, while other families of knots have volume bounded by a generalized twist number. We show that for general knots, neither the twist number nor the generalized twist number of a diagram can provide two–sided bounds on either the volume or . We do so by studying the geometry of a family of hyperbolic knots that we call double coil knots, and finding two–sided bounds in terms of the knot diagrams on both the volume and on . We also extend a result of Lackenby to show that a collection of double coil knot complements forms an expanding family iff their volume is bounded.

E.K. is supported in part by NSF grant DMS–0306995 and NSF–FRG grant DMS-0805942.
J.P. is supported in part by NSF grant DMS-0704359.
July 17, 2019

]dfuter@math.temple.edu

]kalfagia@math.msu.edu

]jpurcell@math.byu.edu

1. Introduction

For any diagram of a knot, there is an associated 3–manifold: the complement of the knot in the 3–sphere. In the 1980’s, Thurston proved that the complement of any non-torus, non-satellite knot admits a hyperbolic metric [bonahon:geometries], which is necessarily unique up to isometry. As a result, geometric information about a knot complement, such as volume and the spectrum of the Laplacian, gives topological knot invariants. However, in practice, these invariants have been difficult to estimate with only a diagram of a knot.

Recently, there has been some progress in estimating geometric information from particular classes of diagrams. For volumes, Lackenby showed that the volume of an alternating knot complement is bounded above and below in terms of the twist number of an alternating diagram [lackenby:volume] (see Definition 1.1 below). We extended these results to highly twisted knots [fkp:volume] and to sums of alternating tangles [fkp:tangles]. Purcell used a generalization of the twist number to find volume lower bounds for additional classes of knots [purcell:aug-ref-tw], while in [fkp:farey] we showed that the volume of a closed 3–braid is bounded above and below in terms of the generalized twist number of the braid. More recently, Lackenby showed that for alternating and highly twisted knots, the first eigenvalue of the Laplacian can be estimated in terms of the twist number [lackenby:spectrum]. Based on these examples, one might hope that a suitable generalization of the twist number of a diagram controls the geometry of all hyperbolic knot complements.

In this paper, we show that the twisting in a diagram cannot give two–sided geometric bounds for general knots. We do so by presenting a class of knots, called double coil knots, for which the volume can be made bounded while the twist number becomes arbitrarily large, or the volume can be made unbounded while the generalized twist number stays constant. Similarly, we show that can stay bounded while the twist number becomes arbitrarily large, or can approach while the generalized twist number stays constant.

To state our results more precisely, we need a few definitions.

Definition 1.1.

A diagram of a knot is a –valent graph with over–under crossing information at each vertex. A twist region of a diagram is a portion of the diagram consisting of bigons arranged end to end, which is maximal in the sense that there are no additional bigons adjacent to either end. A single crossing not adjacent to any bigons is also a twist region. See Figure 1, left. Note that a twist region containing crossings corresponds to full twists of the two strands.

The number of twist regions in a particular diagram is called the twist number of . The minimum of the twist numbers of as ranges over all diagrams of a knot is defined to be the twist number of , and is denoted .

Definition 1.2.

A generalized twist region on strands, , is a region of a knot diagram consisting of strands twisted maximally. That is, if the innermost strands are removed from a generalized twist region on strands, then the remaining two strands form a twist region as in Definition 1.1. These two outermost strands bound a twisted, rectangular ribbon. The additional strands are required to run parallel to the two outermost strands, embedded on this ribbon. By definition, a twist region is a generalized twist on strands. See Figure 1, right.

In a given diagram , there is typically more than one way to partition the crossings of into generalized twist regions. For example, a single generalized twist region can contain many ordinary twist regions. The generalized twist number of is defined to be the smallest number of generalized twist regions, minimized over all partitions of into generalized twist regions.

Definition 1.3.

A double coil knot is a knot with exactly two generalized twist regions, where each twist region contains strands and an integral number of full twists. At each end of each generalized twist region, strands split off to the right, while strands split off to the left. A knot with this description is called a double coil knot. Note that will be a knot precisely when and are relatively prime.

The integers and , together with the number of full twists in each generalized twist region, completely specify a diagram of a double coil knot. See Figure 2 for two examples.

Note that when and one of the two generalized twist regions contains exactly one full twist, then corresponding double coil knot is a twist knot. See Figure 2, left. Thus double coil knots can be seen as a generalization of twist knots.

Every double coil knot is also a special case of a double torus knot: it can be embedded on an unknotted genus–2 surface in . To visualize this genus–2 surface, start with the sphere obtained by compactifying the projection plane, and add one handle for each generalized twist region. Then, in each region of Figure 2, the coils run around the cylinder of the handle. The family of double torus knots has been studied extensively (see e.g. [hill:double-torus, hill-murasugi:double-torus, hirasawa-murasugi:survey]).

In Section 2, we prove the following two–sided, combinatorial estimate on the volumes of double coil knots.

Theorem 2.9.

Let and be relatively prime integers with , and let be the length of the continued fraction expansion of . Let be a double coil knot, in which each generalized twist region has at least full twists. Then is hyperbolic, and

 0.9718k−0.3241≤vol(S3∖K)<4v8k,

where is the volume of a regular ideal octahedron in .

The length of the continued fraction expansion of turns out to be unrelated to either the twist number or the generalized twist number of a double coil knot. As a result, we can show that neither of those quantities predicts the volume of .

Theorem 3.3.

The volumes of hyperbolic double coil knots are not effectively predicted by either the twist number or generalized twist number. More precisely:

1. For any , and any relatively prime to , there exists a sequence of double coil knots such that while stays bounded.

2. All double coils have generalized twist number , but their volumes are unbounded.

Theorem 3.3 implies that the known upper bounds on volume in terms of twist number can be quite ineffective. Lackenby initially found an upper bound on volume that was linear in terms of twist number [lackenby:volume]. Agol and D. Thurston improved the constants in Lackenby’s estimate, and showed that the upper bound is asymptotically sharp for a particular family of alternating links [lackenby:volume, Appendix]. However, for the double coil knots of Theorem 3.3, the volume is bounded but the estimate in terms of twist number will become arbitrarily large. This phenomenon occurs in much greater generality: see Theorem 3.1 for the most general statement, and Corollary 3.2 for an application to –braids.

For a Riemannian manifold , is defined to be the smallest positive eigenvalue of the Laplace–Beltrami operator . It turns out that the volume and of a double coil knot are closely related. In Section 4, we show the following result.

Theorem 4.3.

Let be a hyperbolic double coil knot. Then

 A1vol(S3∖K)2≤λ1(S3∖K)≤A2vol(S3∖K),

where and .

Combining Theorem 3.3 with Theorem 4.3 immediately gives the following.

Corollary 4.5.

The first eigenvalue of the Laplacian of hyperbolic double coil knots is not effectively predicted by either the twist number or generalized twist number. More precisely:

1. For any , and any relatively prime to , there exists a sequence of double coils such that while is bounded away from and .

2. All double coil knots have generalized twist number , but the infimum of is zero.

Theorem 4.3 also extends a result of Lackenby about expanding families. Recall that a collection of Riemannian manifolds is called an expanding family if . Lackenby showed that knots whose volumes are bounded above and below by the twist number form an expanding family if and only if their volumes are bounded [lackenby:spectrum, Theorem 1.7]. Even though the volumes of double coil knots are very far from being governed by the twist number, Theorem 4.3 implies that a sequence of double coil knots forms an expanding family if and only if their volumes are bounded.

This paper is organized as follows. In section 2, we study the geometry and combinatorics of a certain surgery parent of double coil knots. The volume estimates for these parent links lead to volume estimates for double coil knots in Theorem 2.9. In Section 3, we construct hyperbolic knots that have bounded volume but arbitrarily large twist number. In Section 4, we describe the connection between the volume of a double coil knot and its first eigenvalue . Our main tool here is Theorem 4.1, which gives two–sided bounds for of a finite–volume hyperbolic 3–manifold, in terms of the volume and the Heegaard genus.

2. Volume estimates for double coil knots

In this section, we study the volumes of double coil knots. We begin by showing that a double coil knot is obtained by Dehn filling a certain 3–component link, closely related to the 2–bridge link of slope . Next, we obtain two sided diagrammatic bounds on volumes of these parent links. Finally, we apply a result of the authors [fkp:volume] to bound the change in volume under Dehn filling, obtaining two-sided diagrammatic estimates on the volume of the double coil knots.

2.1. Augmentations of double coil knots

A twist knot as in Figure 2(a) may be viewed as a Dehn filling of the Whitehead link, which is itself a Dehn filling of the Borromean rings. Similarly, we may view double coil knots as Dehn fillings of a class of link complements in . The idea is as follows. At each of the two generalized twist regions of a double coil knot, insert a crossing circle , namely a simple closed curve encircling all strands of the generalized twist. The complement of the resulting three–component link is homeomorphic to the complement of the three–component link with all full twists removed from each twist region. Examples of such links are shown in Figure 3. We call such a link the augmentation of a double coil knot.

The augmentation of a double coil knot has a simple description in terms of the rational number , as follows. The augmentation consists of three components. Two, namely and , can be isotoped to lie orthogonal to the projection plane, bounding simple disjoint disks and in . The third component can be isotoped to be a nontrivial simple closed curve embedded on the projection plane, disjoint from the intersections of and with the projection plane. We adopt the convention that the projection plane contains a point at infinity, forming a sphere in . Note that the projection sphere minus the four points of intersection with and is a 4–punctured sphere . Once we have determined a framing for , any simple closed curve can be described by a number in .

We choose our framing as follows. Let be the simple closed curve on that is disjoint from and , and separates those disks from each other. Now, draw a straight arc connecting one of the punctures of with one of , as in Figure 4(a). Let the simple closed curve encircling this arc be . Note that, in choosing , there is a –worth of choices up to isotopy; by Lemma 2.2, this ambiguity turns out to be immaterial.

Given a fixed meaning for and , as well as an orientation on the –punctured projection sphere , every curve on is determined by a number , where and are relatively prime. Concretely, this curve can be drawn by marking ticks on the arcs corresponding to and , and ticks on the arcs and of Figure 4(a), and then connecting the dots, as in Figure 4(b).

Definition 2.1.

The three–component link consisting of , , and the curve of slope will be denoted . Thus Figure 3 depicts and . Note that for relatively prime and , is the augmentation of a double coil knot. The double coil knot with full twists in one generalized twist region and full twists in the other generalized twist region can be recovered from by performing Dehn filling on .

Lemma 2.2.

The link is isotopic to , by an isotopy that preserves the projection plane.

Proof.

In the projection plane, the curves of slope and are related by performing half–Dehn twists about the closed curve of slope . Note that this curve of slope is the intersection between the projection plane and a –sphere that separates from . Thus, because is disjoint from and , the Dehn twists about its equator can be realized by an isotopy in that preserves the projection plane and carries to . ∎

Thus we may assume , provided . The cases in which or do not lead to hyperbolic links, and so we will assume .

Lemma 2.3.

The augmentations of double coil knots have the following symmetries:

1. admits an orientation–reversing involution, namely reflection in the projection plane.

2. admits an orientation–preserving involution interchanging and .

3. is homeomorphic to .

Proof.

The involution in (a) is immediately visible in Figure 3. The involution in (b) is a –rotation about an axis perpendicular to . Within , the involution is a –rotation about two points (in Figure 4, the center of the parallelogram and the point at infinity), which sends the curve of slope to an isotopic curve. Finally, statement (c) is immediate because becomes when viewed from the other side of the projection plane. ∎

The links are related in a fundamental way to 2–bridge links. In order to show this relationship, we present the following method for constructing links.

Let denote the 4–punctured sphere. Consider embedded in , with the framing on as above, for all .

Recall that we may obtain (the complement of) any 2–bridge link by attaching two 2–handles to , one along the slope on , and one along a slope on . Since Dehn twisting along gives a homeomorphic link, we may assume . The continued fraction expansion of now describes an alternating diagram of the 2–bridge link. See [burde-zieschang, Proposition 12.13]. One example is depicted in Figure 5(a).

We modify this construction slightly. Attach a 2–handle to along the slope as before. However, on , chisel out the slope . This separates into two 2–punctured disks. Glue one 2–punctured disk to the other, gluing the boundary corresponding to the slope to itself, and gluing the other boundary components in pairs. We call this link the clasped 2–bridge link of slope . See Figure 5(b) for an example.

(Note that up to homeomorphism, there are two ways to glue the 2–punctured disks so that the boundary is glued to itself. Either way is acceptable and leads to the same results below: any extra crossing cancels with its mirror image in Proposition 2.5.)

Remark 2.4.

Note that the clasped 2–bridge link of slope has a diagram similar to the diagram of the regular 2–bridge link of slope , as in Figure 5. In particular, the diagrams will be identical “above” the embedded surface , and here we take both diagrams to agree with the standard alternating diagram of the 2–bridge link. On , the clasped 2–bridge link will have an extra link component, the clasp component, which bounds two embedded 2–punctured disks in . Below , both diagrams consist of two simple arcs, but they are attached to differing punctures of for the 2–bridge link and for the clasped 2–bridge link. Compare the examples in Figure 5(a) and (b).

Note also that by performing Dehn filling about the clasp component, we replace the clasp and the two strands it encircles by full twists of those two strands (in other words, a twist region with crossings). By choosing the sign of the Dehn filling appropriately, we can ensure that the result is the alternating diagram of a 2–bridge link of some new slope. Thus the clasped 2–bridge link of slope can be viewed as an augmented 2–bridge link of some other slope, where we are using the term augmented in the sense of Adams [adams:aug].

There is a standard way to add two manifolds containing embedded 2–punctured disks, explored by Adams [adams:3-punct]. This is the belted sum. We recall the definition.

Let be the complement of the link in with the following presentation. is some tangle in a –punctured sphere. The four punctures of this sphere are connected in a manner as shown on the left in Figure 6, with a simple closed unknotted curve encircling the two strands. Note bounds a 2–punctured disk in the complement of the link. We will call the link component the belt component of the link. We will call the link consisting of and the component a belted link. We will only be interested in belted links admitting hyperbolic structures.

Given two hyperbolic belted links with complements and , consisting of tangles and , belt components and , and 2–punctured disks and , we form the complement of a new belted link as follows. Cut each manifold and along and , respectively. We obtain two manifolds, and , each with two 2–punctured disks as boundary. There is a unique hyperbolic structure on a 2–punctured disk, hence any two are isometric. This allows us to glue to by isometries of their boundaries, gluing to . The result is the complement of a new belted link. See Figure 6. We call this new belted link the belted sum of and .

Proposition 2.5.

is homeomorphic to the belted sum of a clasped 2–bridge link of slope and a clasped 2–bridge link of slope . (See Figure 7.)

Proof.

Slice along the projection plane. This cuts the manifold into two pieces, which we call the top half and bottom half, each bounded by a 4–punctured sphere. Let be a 4–punctured sphere. Note we can embed in the top half in such that is embedded on the projection plane, and the punctures of correspond to points on the crossing circles and .

Alternately, give the same framing as above, so that corresponds to the curve encircling (or ), and attach a 2–handle to along the slope . By our choice of framing, the result is homeomorphic to capping off the halves of arcs and . When we chisel out the slope on the projection plane , the result is a manifold with boundary consisting of two 2–punctured disks. This is homeomorphic to the top half of , as in the left of Figure 5. Thus the top half of sliced along the projection plane is homeomorphic to a clasped 2–bridge link of slope sliced open along the 2–punctured disk bounded by the clasp component.

Similarly, when we consider the bottom half of sliced along the projection plane, we see it is homeomorphic to the clasped 2–bridge link of slope , sliced open along the 2–punctured disk bounded by the clasp component.

Since we glue the 2–punctured disks of the top half to those of the bottom half such that the chiseled–out curve is glued to itself, this is, by definition, a belted sum of the two manifolds. ∎

2.3. Volume bounds for the parent links

Recall that every rational number can be expressed as a finite length continued fraction. When and all the terms of the continued fraction are positive, this expression is unique. We define the length of the continued fraction to be the number of denominators in this unique continued fraction where all denominators are positive.

Theorem 2.6.

Let be the length of the continued fraction expansion of , with and . Then is hyperbolic, and

 4kv3−1.3536≤vol(S3∖Lp/q)≤4kv8,

where is the volume of a regular ideal tetrahedron and is the volume of a regular ideal octahedron in .

Proof.

By Proposition 2.5, is homeomorphic to the belted sum of two clasped 2–bridge links, one of slope and one of slope . By Remark 2.4, a portion of the diagram of each clasped 2–bridge link (essentially, everything away from the clasp) agrees with the alternating diagram of the regular 2–bridge link of slope or respectively. It is well known that these 2–bridge links will have exactly twist regions (see, for example Burde and Zieschang [burde-zieschang, Proposition 12.13]). Thus the clasped 2–bridge links will contain twist regions as well as a separate clasp component. By our restrictions on and , .

Now, again by Remark 2.4, the clasped 2–bridge link can be Dehn filled, along slope on the clasp component, to give a diagram of a new alternating 2–bridge link . The link will have twist regions, with crossings in the new -st twist region. As approaches infinity, the limit in the geometric topology of the will be the original clasped 2–bridge link [thurston:notes]. Because , each link is hyperbolic (see e.g. [gf:two-bridge, Theorem A.1]). Thus its geometric limit is also hyperbolic. Finally, the belted sum of hyperbolic manifolds is hyperbolic. So is hyperbolic.

Futer and Guéritaud have found bounds on the volumes of 2–bridge knots. By [gf:two-bridge, Theorem B.3], the complement of a 2–bridge knot whose standard alternating diagram has twist regions has volume at least and at most . Since the clasped 2–bridge link of slope is the geometric limit of such manifolds, it satisfies the same volume bounds. Adams observed that the volume of a belted sum of two hyperbolic manifolds is equal to the sum of the volumes of the two pieces [adams:3-punct]. Thus the volume of is at least and at most . ∎

2.4. Volume bounds for double coil knots

Let be a double coil knot. Then, by Definition 2.1, is obtained by filling on the component of , . We may bound the volume of by bounding the change in volume under Dehn filling. Our main tool is the following recent result of the authors, Theorem 1.1 of [fkp:volume].

Theorem 2.7 ([fkp:volume]).

Let be a complete, finite–volume hyperbolic manifold with cusps. Suppose are disjoint horoball neighborhoods of some subset of the cusps. Let be slopes on , each with length greater than . Denote the minimal slope length by . Then the manifold , obtained by Dehn filling along , is hyperbolic, and

 vol(M(s1,…,sk))≥(1−(2πℓmin)2)3/2vol(M).

We also need the following additional notation. Let , , be integers. Define

 (1) n:=min{|n1|,|n2|}andℓ:=max{14+4n2,32√2k2n27203}.

Note that the right–hand term of the maximum becomes greater when . We may now give volume bounds on double coil knots.

Theorem 2.8.

Let be a double coil knot, where one generalized twist region contains positive full twists, and the other region contains twists. Let denote the length of the continued fraction expansion of , and let be as in (1) above. Suppose that at least one of the following holds:

1. for .

2. for .

Then is hyperbolic with volume

 (1−4π2ℓ)3/2(4kv3−1.3536)≤vol(S3∖K)<4v8k,

where is the volume of a regular ideal tetrahedron and is the volume of a regular ideal octahedron in .

Proof.

By Definition 2.1, is obtained by filling on the component of . Thus the upper bound on volume follows immediately from Theorem 2.6 and the fact that the volume decreases under Dehn filling [thurston:notes, Theorem 6.5.6].

For the lower bound, let denote the minimum of the lengths of and in some horoball expansion about the cusps corresponding to and . Provided , Theorem 2.7 implies that is hyperbolic and:

 vol(S3∖K) ≥ (1−(2πℓmin)2)3/2vol(S3∖Lp/q) ≥ (1−(2πℓmin)2)3/2(4kv3−1.3536).

Thus we determine some admissible values of , , and , for which the slopes and are both guaranteed to have length at least under some horoball expansion. First, recall that by Lemma 2.3(a) we may arrange the diagram of such that the link is fixed under reflection in the projection plane. It follows immediately from [purcell:aug-ref-tw, Proposition 3.5] that there exists a horoball expansion about these cusps such that the slope has length at least

 (2) ℓi≥√1/4+4n2i.

This quantity is greater than when . Hence the conclusion follows in this case.

On the other hand, when is relatively large, we can get a better estimate on the lengths of the slopes and . In [fkp:farey, Theorem 4.8], we found bounds on the length of certain arcs on the cusps of 2–bridge knots. In particular, the shortest non-trivial arc running from a meridian back to that meridian in a 2–bridge knot with twist regions has length at least . In other words, the area of the maximal cusp about the knot is at least , where is the length of the meridian. Since a clasped –bridge link of slope is the geometric limit of –bridge knots with twist regions, the same estimate applies to the clasped link.

Now, by Proposition 2.5, is obtained as the belted sum of clasped –bridge links of slope and . Consider what happens to the cusps during the gluing process. The cusps about and come from the knot component(s) of the clasped link, i.e. the component(s) which form the 2–bridge link rather than the clasp. The meridians of and agree with meridians of the 2–bridge link, and both have length . Furthermore, the total area of the cusps about and is equal to twice the area of the cusp about the –bridge knot, namely at least . But by Lemma 2.3(b), there is a symmetry of interchanging and , hence each of those cusps has area at least . As a result, in each of and , the shortest non-trivial arc running from a meridian back to that meridian has length at least .

Finally, note that the slope crosses the meridian exactly times. Since each non-trivial arc from the meridian to the meridian has length bounded as above, the total length of the slope is at least . When , the slope will be longer than , and the desired volume estimate follows. ∎

Theorem 2.9, stated in the introduction, is now an immediate corollary of Theorem 2.8.

Theorem 2.9.

Let and be relatively prime integers with , and let be the length of the continued fraction expansion of . Let be a double coil knot, in which each generalized twist region has at least full twists. Then is hyperbolic, and

 0.9718k−0.3241≤vol(S3∖K)<4v8k,
Proof.

If for , then in equation (1). Plugging this estimate into Theorem 2.8, and substituting the numerical values of all the constants in the lower bound on volume, gives the desired result. ∎

3. Volume and twist number

The twist number of a knot , denoted by , is defined to be the minimum twist number over all knot diagrams of ; it is clearly an invariant of . In this section, we describe a general construction of hyperbolic knots with bounded volume and arbitrarily large twist number.

Theorem 3.1.

Let be a knot in , and let be an unknot in with the property that is hyperbolic. Suppose that every disk bounded by intersects at least three times. Let be the knot obtained by surgery on . Then, for sufficiently large, is a hyperbolic knot, with

 vol(S3∖Kn)
Proof.

By Thurston’s hyperbolic Dehn surgery theorem [thurston:notes], is hyperbolic for large enough. Furthermore, because volume decreases strictly under Dehn filling [thurston:notes, Theorem 6.5.6], we have . Now the complement is the geometric limit of , as . By the proof of the hyperbolic Dehn surgery theorem, for large enough, the core of the Dehn filling torus (that is, ) is the unique minimum–length geodesic in , and the length of this geodesic goes to as . Note that, since is obtained from by twisting about the disk bounded by , this disk intersects the same number of times as , namely at least three.

Now we argue that . Suppose not: assume that is bounded independently of . Then consider the knot . Take a diagram of for which the twist number is minimal, equal to . Encircle each twist region of the diagram by a crossing circle. The result is a fully augmented link, and the knot is obtained by Dehn filling this fully augmented link. (For an example with two twist regions, compare Figure 2, left to Figure 3, left.)

To obtain the standard diagram of a fully augmented link, we remove all pairs of crossings (full twists) from each crossing circle. (See also, for example, Figure 6 of [fkp:volume].) Thus the standard diagram of a fully augmented link with twist regions consists of crossing circles encircling two strands each, possibly with a single crossing at each crossing circle. This can be represented by a 4-valent graph with vertices, and a choice of crossing at each vertex. Since is bounded independently of , there are only finitely many such 4-valent graphs, so only finitely many fully augmented links. As a result, there must be an infinite subsequence of knots that is obtained by surgery on a single augmented link.

Recall that this subsequence converges geometrically to . Thus, in each twist region in this infinite subsequence, the number of crossings either becomes eventually constant or goes to infinity. Since infinitely many of the are distinct knots, there is at least one twist region whose number of crossings goes to infinity. Furthermore, since the geometric limit of is the manifold with exactly two cusps, there must be exactly one twist region whose number of crossings goes to infinity, for if the number of crossings goes to infinity, the geometric limit yields an additional cusp [thurston:notes].

Hence we have an infinite subsequence of the knots that is obtained from a 2–component link by Dehn filling along an unknotted component . Furthermore, the subsequence converges geometrically to , and the crossing circle bounds a disc whose interior is pierced exactly twice by . Furthermore, under this convergence the core eventually becomes the unique minimal geodesic in .

Now recall that for sufficiently large, is also the unique minimal–length geodesic in . We conclude that for large enough there must be an isometry that maps onto . However, bounds a disk whose interior is punctured twice by , whereas does not. This is a contradiction. ∎

One way to construct a sequence of knots satisfying Theorem 3.1 is the following.

Corollary 3.2.

Fix an integer . Then there is a sequence of hyperbolic closed –braids, such that is bounded but is unbounded.

Proof.

Given a closed –braid , let be the braid axis of . That is: is a solid torus swept out by meridian disks, with each disk intersecting in points. The complement is a fiber bundle over , with fiber an –punctured disk. By a theorem of Thurston [thurston:fibered-manifolds], this manifold will be hyperbolic whenever the monodromy is pseudo–Anosov. Furthermore, since the fiber minimizes the Thurston norm within its homology class, the unknot does not bound a disk meeting in fewer than points. Thus Theorem 3.1 applies, and the sequence of knots obtained by filling on has bounded volume but unbounded twist number. ∎

For the double coil knots studied in the last section, Theorem 3.1 applies to give:

Theorem 3.3.

The volumes of hyperbolic double coil knots are not effectively predicted by either the twist number or generalized twist number. More precisely:

1. For any , and any relatively prime to , there exists a sequence of double coil knots such that while stays bounded.

2. All double coils have generalized twist number , but their volumes are unbounded.

Proof.

Statement (b) is an immediate consequence of Definition 1.3 and Theorem 2.9.

For statement (a), consider the sequence of double coil knots obtained from by filling on the circle and filling on . When , Theorem 2.9 implies that each is hyperbolic. The volumes of are bounded above by the volume of . To apply Theorem 3.1 and show that the twist number of is unbounded, we need to show that every disk bounded by meets at least three times.

Suppose, for a contradiction, that is a disk in whose boundary is , and such that . Since is hyperbolic, it cannot contain any essential disks or annuli. Thus meets exactly twice. We assume that has been moved by isotopy into a position that minimizes its intersection number with , and consider two cases.

Case 1: is disjoint from . Then when and are drilled out of , becomes a disk in that intersects twice, where is the planar curve of slope that will become after Dehn filling on and . Consider the standard diagram of , with all full–twists removed from generalized twist regions. Isotope so that it intersects the projection plane of this diagram transversely a minimal number of times. Then the intersection between and the –punctured projection sphere consists of some number of simple closed curves, as well as exactly one arc connecting two of the punctures of . (These punctures are the intersections between and the projection plane — see Figure 4.)

Since intersects twice, and lies in the projection plane as a curve of slope , this arc must intersect the curve of slope at most twice. On the other hand, since lies in a disk whose boundary is , must be isotopic to one half of , in other words to an arc of slope in . But it is well–known (for example, by passing to the universal abelian cover ) that in a –punctured sphere, the arc of slope and the closed curve of slope must intersect at least times. Since , this is a contradiction.

Case 2: is not disjoint from . Let . Then is a sphere with holes, where one boundary circle is at the cusp of , two boundary components are at the cusp of , and boundary components are at the cusp of . Consider the length of the Dehn filling slope along , where boundary circles of run in parallel along the cusp. A result of Agol and Lackenby (see [agol:6theorem, Theorem 5.1] or [lackenby:surgery, Lemma 3.3]) implies that the total length of those circles is

 rℓ≤−6χ(E)=6(r+1)≤12r.

Thus . On the other hand, since we are filling along slope , equation (2) above implies that

 ℓ≥√1/4+4⋅62=√144.25>12.

Therefore, in this case as well as in Case 1, we obtain a contradiction. ∎

4. Spectral geometry

In this section, we investigate the spectral geometry of double coil knot complements. Recall that, for a Riemannian manifold , is defined to be the smallest positive eigenvalue of the Laplace–Beltrami operator . When is a hyperbolic –manifold, it is known that has many connections to the volume of . The following result is essentially a combination of theorems by Schoen [schoen:spectrum], Dodziuk and Randol [dodziuk-randol], Lackenby [lackenby:gradient], and Buser [buser].

Theorem 4.1.

Let be an oriented, finite–volume hyperbolic –manifold. Then

 π2/250vol(M)2≤λ1(M)≤32πg(M)−1vol(M)+640π2(g(M)−1)2vol(M)2,

where is the Heegaard genus of .

To write down the proof of Theorem 4.1, we need the following fact.

Lemma 4.2.

An oriented, finite–volume hyperbolic –manifold satisfies .

Proof.

Gabai, Meyerhoff, and Milley recently showed [gmm:smallest-cusped] that the unique lowest–volume orientable hyperbolic –manifold is the Weeks manifold of volume . This is the culmination of many increasingly sharp estimates, by a number of hyperbolic geometers. In fact, Meyerhoff’s 1984 result [meyerhoff:first-estimate] that that is several orders of magnitude larger than necessary for this lemma. ∎

Proof of Theorem 4.1.

Dodziuk and Randol [dodziuk-randol] showed that for all finite–volume, hyperbolic –manifolds (where ), , where the constant depends only on the dimension . To estimate for dimension , we rely on the work of Schoen, who gave an explicit estimate for when is closed and negatively curved [schoen:spectrum]. In the special case where is a closed, hyperbolic –manifold, his theorem says that

 λ1(M)≥min{1,π2250⋅1vol(M)2}≥π2/250vol(M)2,

where the second inequality is Lemma 4.2. This completes the proof of the lower bound on in the case where is closed.

Now, suppose that has cusps. We may assume that ; otherwise, already satisfies the desired lower bound by Lemma 4.2. Let be a sequence of closed manifolds obtained by Dehn filling , along slopes whose lengths tend to infinity. Thurston’s Dehn surgery theorem [thurston:notes] implies that the manifolds approach in the geometric topology; in particular, . Meanwhile, assuming that , Colbois and Courtois [colbois-courtois, Theorem 3.1] showed that . Thus, since the lower bound on holds for each closed , it also holds for .

The upper bound on is a combination of results by Buser [buser] and Lackenby [lackenby:gradient]. Buser proved an inequality relating to the Cheeger constant , defined by

 h(M):=inf{area(S)min(V1,V2)},

where is a separating surface in , and , are the volumes of the two pieces separated by . Buser’s result [buser] says that

 λ1(M)≤4h(M)+10h(M)2.

More recently, Lackenby showed [lackenby:gradient, Theorem 4.1] that if a hyperbolic manifold has a genus– Heegaard splitting,

 h(M)≤8π(g−1)vol(M).

Plugging this estimate into Buser’s inequality yields the upper bound on . ∎

For double coil knots, Theorem 4.1 implies the following result.

Theorem 4.3.

Let be a hyperbolic double coil knot. Then

 A1vol(S3∖K)2≤λ1(S3∖K)≤A2vol(S3∖K),

where and .

Proof.

The lower bound on is a restatement of Theorem 4.1. Note

To establish the upper bound on , we bound the Heegaard genus of . Recall that is obtained by Dehn filling two components of the link depicted in Figure 7. Since each of the boxes in Figure 7 contains a braid, the figure is a –bridge diagram of . It is well–known that a –bridge link has Heegaard genus at most . (One standard way to obtain a Heegaard surface is to connect the maxima in a –bridge diagram of by arcs, thicken the union of and these arcs, and take the boundary of the resulting genus– handlebody. The exterior of this handlebody is unknotted, because was in bridge position. See [sakuma:survey, Figure 1].) Thus has Heegaard genus at most . Since Heegaard genus can only go down under Dehn filling, also has Heegaard genus at most .

Plugging into Theorem 4.1, we obtain

 λ1(S3∖K) ≤ 64πvol(S3∖K)+2560π2vol(S3∖K)2 ≤ 64πvol(S3∖K)+2560π2vol(S3∖K)⋅2v3 < 12650vol(S3∖K),

where the second inequality follows because the smallest–volume knot is the figure–8 knot, with [cao-meyerhoff]. ∎

A collection of hyperbolic –manifolds is called an expanding family if , that is, is bounded away from . With this notation, Theorem 4.3 has the following immediate corollary.

Corollary 4.4.

Let be a collection of hyperbolic double coil knots. Then is bounded away from if and only if is bounded above. In other words, the knots form an expanding family if and only if their volumes are bounded.

Corollary 4.4 is significant in light of recent work of Lackenby [lackenby:spectrum]. He showed that for two large families of hyperbolic links (namely, alternating links and highly twisted links), is bounded above in terms of the inverse of the twist number of a sufficiently reduced diagram. Because the volumes of these links are also governed by the twist number [fkp:volume, lackenby:volume], it follows that alternating and highly twisted links form an expanding family if and only if their volumes are bounded [lackenby:spectrum, Corollary 1.7]. Corollary 4.4 is the analogous result for double coil knots.

On the other hand, by Theorem 3.3, the volumes of double coil knots are not governed by the twist number in any meaningful sense. Thus, combining Theorem 3.3 with Corollary 4.4 yields the following result.

Corollary 4.5.

The spectrum of the Laplacian of hyperbolic double coil knots is not effectively predicted by either the twist number or generalized twist number. More precisely:

1. For any , and any relatively prime to , there exists a sequence of double coils such that while is bounded away from and .

2. All double coil knots have generalized twist number , but the infimum of is zero.

Proof.

Each part of this corollary follows by combining Theorem 4.3 with the corresponding part of Theorem 3.3. ∎

References

You are adding the first comment!
How to quickly get a good reply:
• Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
• Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
• Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
The feedback must be of minimum 40 characters and the title a minimum of 5 characters