You are currently browsing the tag archive for the ‘Margulis tube’ tag.
I recently uploaded a paper to the arXiv entitled Knots with small rational genus, joint with Cameron Gordon. The genesis of this paper was a couple of nice (and related) talks at Caltech by Matthew Hedden and Jake Rasmussen in 2007. They both talked about potential applications of the theory of knot Floer homology to the Berge conjecture. A Berge knot is a (tame) knot in the 3-sphere which lies on a genus two Heegaard surface, and with the property that on each side of the Heegaard surface there is a meridian disk that the knot intersects exactly once. Equivalently, the inclusion of the knot into each (closed) handlebody sends the generator of to a generator of . Note that since the 3-sphere admits a unique (up to isotopy) Heegaard splitting of any genus, one may think of such a knot as lying on a specific genus 2 surface in . Such knots were classified by Berge; they admit (Dehn) surgeries which result in (nontrivial) Lens spaces. The Berge conjecture is the converse; i.e.:
Berge Conjecture: Let be a knot in which admits a nontrivial Lens space surgery; i.e. there is a Lens space and a knot in for which is homeomorphic to . Then is a Berge knot.
An equivalent formulation (of course) is to try to classify knots in Lens spaces which admit an surgery, i.e. to identify the knots as in the formulation of the conjecture above. The equivalent formulation says that these knots should be 1-bridge. The strategy of Hedden-Rasmussen (building on work of Ken Baker and Eli Grigsby) to approach the Berge conjecture depends on characterizing such knots by properties which can be detected by topological invariants that behave well under surgery. An example of such a topological invariant is the Casson invariant , a -valued invariant of integer homology spheres which satisfies the surgery formula where denotes the result of surgery on some integral homology sphere along a fixed knot , and is the Arf invariant. For more sophisticated invariants like knot Floer homology, the surgery formula is replaced by an exact triangle. One important piece of topological information that is detected by knot Floer homology is the genus of a knot. The approach to the Berge conjecture thus rests on Ken Baker’s impressive paper showing that small genus knots (in a sense to be made precise) in Lens spaces have small bridge number.
Hedden remarked in his talk that his work, and that of his collaborators “gave the first examples of an infinite family of knots that were characterized by their knot Floer homology”. Though technically true, I think this overstates the role of knot Floer homology in this case, since the knots (1-bridge knots in Lens spaces) are entirely characterized (up to isotopy) by their genus (and therefore by any topological invariant which detects genus). My immediate instinct was to think that knots with small genus in any 3-manifold should always be quite special, and that a complete classification might even be feasible. My paper with Cameron confirms this suspicion, and gives such a classification. Let me admit at this point that I am not especially interested in the Berge conjecture per se, although I find it interesting that new ideas in 3-manifold topology are starting to have something meaningful to say about it. In any case, I shall not have anything else to say about it (meaningful or otherwise) in this post.
First I should say that I have been using the word “genus” in a somewhat sloppy manner. For an oriented knot in , a Seifert surface is a compact oriented embedded surface whose boundary is . The genus of such a surface is a non-negative integer, and the least such genus over all Seifert surfaces is (said to be) the genus of , denoted . Such a surface represents the generator in the relative homology group which equals since has vanishing homology in dimensions 1 and 2. This relative homology group is dual to , which is parameterized by homotopy classes of maps from to a circle (which is a ). The preimage of a regular value under a smooth map dual to the homology class is a smooth proper surface in whose closure is a Seifert surface. It is immediate that if and only if is an unknot; in other words, the unknot is “characterized” by its genus. There are infinitely many knots of any positive genus in ; on the other hand, there are only two fibered genus 1 knots — the trefoil and the figure 8 knot (three if you distinguish the left-handed from the right-handed trefoil), and it is worth remarking (from the point of view of the motivation of characterizing knots by topological invariants) that a theorem of Yi Ni says that fiberedness of knots can be detected by knot Floer homology.
For knots in integral homology -spheres, the situation is very similar: every knot admits a Seifert surface, and the least genus of such a surface is the genus of a knot. The unknot is (always) characterized by the fact that it has genus , but there are infinitely many knots of every positive genus. For a knot in a general -manifold it is not so easy to define genus. A necessary and sufficient condition for to bound an embedded surface in its complement is that in . However, if has finite order, one can find an open properly embedded surface in the complement of whose “boundary” wraps some number of times around . Technically, let be a compact oriented surface, and a map which restricts to an embedding from the interior of into , and which restricts to an oriented covering map from to (note that we allow to have multiple boundary components). If is the degree of the covering map , we call a -Seifert surface, and define the rational genus of to be , where denotes Euler characteristic, and (for a connected surface ). The reason to use Euler characteristic instead of genus is that Euler characteristic is multiplicative under coverings (unlike genus), and behaves well with respect to “local” operations on surfaces like cut-and-paste. Moreover, (negative) Euler characteristic, unlike genus, is a good measure of complexity for surfaces with possibly many boundary components. The coefficient of in the denominator reflects the fact that genus is “almost” times Euler characteristic. With this definition, we say that the rational genus of , for any knot with of finite order in , is the infimum of over all -Seifert surfaces for and all . The purpose of our paper is to give a complete classification of knots with sufficiently small rational genus, and to show that such knots are always “geometric” — i.e. they can be isotoped into a normal form which is sensitive to the geometric decomposition of the ambient -manifold . Thus the concept of rational genus makes contact between the homological world of the Thurston norm, knot Floer homology and such invariants, and the geometric world of hyperbolic structures, JSJ decompositions and so on.
It is worth pointing out at this point that knots with small rational genus are not special by virtue of being rare: if is any knot in (for instance) of genus , and in is obtained by Dehn surgery on , then the knot has order in , and . Since for “most” coprime the integer is arbitrarily large, it follows that “most” knots obtained in this way have arbitrarily small rational genus.
There is a precise connection between rational genus and the Thurston norm. There is an exact sequence in homology, which contains the fragment . Since , the kernel of is generated by some class , and one can define the affine subspace . By excision, we identify with where is a tubular neighborhood of . Under this identification, the rational genus of is equal to where denotes the (relative) Thurston norm, and the infimum is taken over classes in in the affine subspace corresponding to . Since the Thurston norm is a convex piecewise rational function, this infimum is realized at some rational point. In other words, rational genus of any knot is rational, and is realized by some -Seifert surface, where as above divides (note: if is a rational homology sphere, then necessarily , but if the rank of is positive, this is not necessarily true, and might be arbitrarily large). This relationship to the Thurston norm also gives a straightforward algorithm to compute rational genus, since one can compute Thurston norm e.g. by linear programming in normal surface space relative to any triangulation.
The precise statement of results depends on the geometric decomposition of the ambient manifold . By the geometrization theorem (of Perelman), a closed, orientable -manifold is either reducible (i.e. contains an embedded sphere that does not bound a ball), or is a Lens space, or is hyperbolic, or is a small Seifert fiber space, or is toroidal (i.e. contains an essential (-injective) embedded torus). For the record, the complete “classification” is as follows:
Reducible Theorem: Let be a knot in a reducible manifold . Then either
- ; or
- there is a decomposition , and either
- is irreducible, or
Lens Theorem: Let be a knot in a lens space . Then either
- ; or
- lies on a Heegaard torus in ; or
- is of the form and lies on a Klein bottle in as a non-separating orientation-preserving curve.
Hyperbolic Theorem: Let be a knot in a closed hyperbolic -manifold . Then either
- ; or
- is trivial; or
- is isotopic to a cable of the core of a Margulis tube.
Small SFS Theorem: Let be an atoroidal Seifert fiber space over with three exceptional fibers and let be a knot in . Then either
- ; or
- is trivial; or
- is a cable of an exceptional Seifert fiber of ; or
- is a prism manifold and is a fiber in the Seifert fiber structure of over with at most one exceptional fiber.
Toroidal Theorem: Let be a closed, irreducible, toroidal 3-manifold, and let be a knot in . Then either
- ; or
- is trivial; or
- is contained in a hyperbolic piece of the JSJ decomposition of and is isotopic either to a cable of a core of a Margulis tube or into a component of ; or
- is contained in a Seifert fiber piece of the JSJ decomposition of and either
- is isotopic to an ordinary fiber or a cable of an exceptional fiber or into , or
- contains a copy of the twisted bundle over the Möbius band and is contained in as a fiber in this bundle structure;
- is a -bundle over with Anosov monodromy and is contained in a fiber.
The constant is presumably not optimal, but reflects the coarseness of certain geometric estimates at a particular step in the argument. Broadly speaking, there are two cases to consider: when the knot complement is hyperbolic, and when it is not. The complement is hyperbolic unless it contains an essential subsurface of non-negative Euler characteristic.
The case that is hyperbolic is conceptually easiest to analyze. Let be a surface, embedded in and with boundary wrapping some number of times around , realizing the rational genus of . The complete hyperbolic structure on may be deformed, adding back as a cone geodesic. Just as a cone can be obtained from a wedge of paper by gluing the two edges together, the geometry of a cone geodesic is locally modeled on the quotient space obtained from a (3-dimensional hyperbolic) wedge by gluing the two flat faces together. The thinner the wedge, the smaller the cone angle along the geodesic. For all sufficiently small angles , Thurston proved that there exists a unique hyperbolic metric on which is singular along a cone geodesic, isotopic to , with cone angle . Call this metric space . The cone angle can be increased, deforming the geometry in a family of spaces, until one of the following three things happens:
- The cone angle is increased all the way to , resulting in the complete hyperbolic structure on , in which is isotopic to an embedded geodesic; or
- The volume of the family of manifolds goes to zero (and either converges after rescaling to a Euclidean cone manifold, or converges after rescaling to have fixed diameter and injectivity radius going to zero everywhere); or
- The cone locus bumps into itself (this can only happen for ).
As the cone angle along increases, so does the length of the cone geodesic. Simultaneously, the diameter of an embedded tube about this diameter decreases. While the diameter of the tube is big, the deformation can continue. Hodgson-Kerckhoff analyzed the kinds of degenerations that can occur, and obtained universal geometric control on how fast the tube diameter can shrink, or the length of the cone geodesic grow. They showed that the cone angle can be increased (giving rise to a family of singular hyperbolic structures ) either until , or until the product , where is the length of the cone geodesic, is at least , at which point the diameter of an embedded tube about this cone geodesic is at least . Since in the latter case, one obtains a lower bound on both the length of the cone geodesic and the diameter of an embedded tube, independent of or .
Now, one would like to use this big tube to conclude that is large. This is accomplished as follows. Geometrically, one constructs a -form which agrees with the length form on the cone geodesic, which is supported in the tube, and which satisfies pointwise for some (universal) constant . Then one uses this -form to control the topology of . By Stokes theorem, for any surface homotopic to in one has an estimate
In particular, the area of divided by can’t be too small. However, it turns out that one can find a surface as above with ; such an estimate is enough to obtain a universal lower bound on . Such a surface can be constructed either by the shrinkwrapping method of Calegari-Gabai, or the (related) PL-wrapping method of Soma. Roughly speaking, one uses the cone geodesic as an “obstacle”, and finds a surface of least area homotopic to (rel. boundary) subject to the constraint that it cannot cross the geodesic. Away from the cone geodesic, looks like an ordinary minimal surface. In particular, its intrinsic curvature is no more than the extrinsic curvature of hyperbolic space, which is everywhere. Along the geodesic, looks like a bedsheet hanging on a clothesline; in particular, it does not accumulate any corners or atoms of positive curvature along this singularity, so the Gauss-Bonnet theorem gives the desired bound on .
This leaves the case that is not hyperbolic to analyze. As remarked above, this only occurs when contains an essential surface (which might be closed or proper) of non-negative Euler characteristic, i.e. a sphere, a disk, an annulus or a torus. In this case, one tries to make the intersection of with this essential surface as simple as possible; if one arranges this just right, every intersection contributes a definite amount to the topology of , and one can conclude either that is complicated (in which case is large), or that the intersection is simple, and therefore draw some topological conclusion.
To actually do this in practice is quite complicated, but fortunately it relies on (largely combinatorial) methods developed at length by Gabai, Scharlemann, Gordon and others over the last 30 years to analyze (so-called) “exceptional surgeries”. Of course, the argument is still complicated, and this analysis takes up most of the length of the paper. It is also worth pointing out that every case provided for by the classification above actually occurs, with examples of arbitrarily small rational genus.
This paper raises several natural questions, the most obvious of which is whether the explicit (but quite small) constants can be improved in any way. The constant in the statement of the Toroidal Theorem is really only there to take care of a knot sitting inside a hyperbolic piece in the decomposition; a knot that interacts in a meaningful way with an essential torus necessarily has rational genus at least (for a precise statement, see the paper). As remarked above, knots of (ordinary) genus are very plentiful, even in , and do not “see” any of the ambient geometry, so the wildest and most optimistic guess might be that there is a chance of classifying knots of rational genus at most . There are some (very weak) reasons to think that this fraction is critical, at least in some cases, not least of which is the papers of Hedden and Ni mentioned above. But in the hyperbolic case, it is probably not easy to get a better estimate using purely geometric arguments.
Another approach might be to try to substitute another conclusion (again in the hyperbolic case) than that be isotopic to the cable of a core of a Margulis tube. For instance, one might ask for to admit an insulator family (of the kind Gabai used here), or one might merely ask that be unknotted in the universal cover, or satisfy some other condition. This goes to the heart of a very, very difficult and important question, namely how to identify geometric features of codimension 2 objects in (especially hyperbolic) geometric 3-manifolds from purely topological properties. If I am optimistic, then I can imagine that this paper makes a contribution, however small, to this ongoing project.