Applications of the disk complex of the genus-2 handlebody to knot theory Darryl McCullough University of Oklahoma Special Session on Mapping Class Groups and Handlebodies Joint Mathematics Meetings New Orleans January 5–8, 2007 1
(joint work with Sangbum Cho, in “The tree of knot tunnels”, ArXiv math.GT/0611921) H = genus-2 handlebody D ( H ) = complex of nonseparating disks in H — D ( H ) is 2-dimensional and looks like this: — D ( H ) has countably many 2-simplices at- tached along each edge — D ( H ) is contractible (McC 1991, better proof Cho 2006). In fact, it deformation retracts to a bipartite tree T which has valence-3 vertices corresponding to triples of disks and countable-valence vertices cor- responding to pairs of disks in H — D ( H ) imbeds naturally in the curve com- plex C ( ∂H ) 2
When H is a standard (unknotted) handlebody in the 3-sphere S 3 , D ( H ) obtains extra struc- ture: A disk D ⊂ H is primitive if there exists a “dual” disk D ′ ⊂ S 3 − H such that ∂D and ∂D ′ cross in one point. Here are two primitive disks in H : The vertices represented by primitive disks span the primitive subcomplex P ( H ) of D ( H ). Theorem 1 (S. Cho 2006) P ( H ) is contractible, and deformation retracts to the tree P ( H ) ∩ T . 3
The Goeritz group Γ is the group of orientation- preserving homeomorphisms of S 3 that pre- serve H , modulo isotopy through homeomor- phisms preserving H . Theorem 2 (M. Scharlemann, E. Akbas) Γ is finitely presented. — The action of Γ on D ( H ) preserves P ( H ), and has been used by S. Cho to give a new proof of the Scharlemann-Akbas theorem. — Using the work of Akbas and Cho, we can completely understand the action of Γ on D ( H ), and describe the quotient D ( H ) / Γ, which looks like this: 4
Let τ be a nonseparating disk in H . Cutting H along τ gives a solid torus, whose core circle K τ is a knot in S 3 . Here are disks for which K τ is a trefoil knot and a figure-8 knot: K τ is the trivial knot if and only if τ is primitive. 5
From the viewpoint of K τ , τ is the cocore disk of a 1-handle attached to a regular neighbor- hood Nbd( K τ ). In the language of classical knot theory: — K τ is a tunnel number 1 knot. — The 1-handle of which τ is the cocore 2-disk is a tunnel of K τ . Tunnels are equivalent when there is an orienta- tion-preserving homeomorphism of S 3 taking knot to knot and tunnel to tunnel. The equivalence classes of tunnels correspond to the homeomorphism classes of genus-2 Hee- gaard splittings of knot spaces. 6
Different (isotopy classes of) disks in H can give equivalent tunnels. For example, we have mentioned that any primitive disk gives a tun- nel of the trivial knot, and all of these tunnels are equivalent. It is a matter of checking definitions to see that two disks in H give equivalent tunnels exactly when they are equivalent under the action of the Goeritz group. That is: The equivalence classes of tunnels of tunnel number 1 -knots correspond exactly to the ver- tices of D ( H ) / Γ . By analyzing D ( H ) / Γ and the tree T/ Γ, we can obtain a lot of information about tunnel number 1 knots and their tunnels. 7
It turns out that starting at the vertex of T/ Γ corresponding to the primitive triple and mov- ing through T/ Γ corresponds to performing a sequence of simple “cabling operations” that produce new knots and tunnels. The following figure illustrates how this works: τ 0 π π π π π 0 1 0 1 π π 1 π 1 π 0 τ τ 0 0 τ 1 π π τ 0 τ 1 0 0 8
Some consequences: — Since T/ Γ is a tree, every tunnel can be ob- tained by starting from the tunnel of the trivial knot and performing a unique se- quence of cabling operations. — Since cabling operations can be described by rational “slope” parameters (a Q / Z -valued parameter for the very first cabling in the sequence), this leads to a parametrization of all tunnels by finite sequences of rational numbers (plus a bit more data). — The slope of the final cabling operation is (up to details of definition) the tunnel in- variant discovered by M. Scharlemann and A. Thompson. 9
More consequences: Theorem 3 (D. Futer) Let α be a tunnel arc for a nontrivial knot K ⊂ S 3 . Then α is fixed pointwise by a strong inversion of K if and only if K is a two-bridge knot and α is its upper or lower tunnel. Theorem 4 (Adams-Reid, Kuhn) The only tunnels of a 2 -bridge link are its upper and lower tunnels. Theorem 5 Let τ be a tunnel of a tunnel num- ber 1 knot or link. Suppose that τ is equiva- lent to itself by an orientation-reversing equiv- alence. Then τ is the tunnel of the trivial knot, the trivial link, or the Hopf link. 10
For a tunnel τ , the distance in the 1-skeleton of D ( H ) / Γ from the (orbit of the) primitive disk π 0 to τ is called the depth of τ . Here is a picture of a depth-4 tunnel τ : θ 0 π 0 τ The depth-1 tunnels are exactly the “(1 , 1)” tunnels (i. e. some tunnel arc plus one of the arcs in the knot is an unknotted circle). 11
A difficult geometric theorem of H. Goda-M. Scharlemann-A. Thompson, called “tunnel lev- eling”, allows us to easily prove the following estimate on bridge number of K τ as a function of depth( τ ): Theorem 6 If τ has depth d ≥ 1 , then the bridge number of K τ is at least b 2 d , where b n is given by the recursion b 2 = 2 , b 3 = 2 b 2 n = b 2 n − 1 + b 2 n − 2 b 2 n +1 = b 2 n + b 2 n − 2 Corollary 1 For any sequence of tunnels, the asymptotic growth rate of the bridge number of K τ as a function of depth( τ ) is at least pro- √ 2) d . portional to (1 + This rate is the smallest possible, in general: There is a sequence of tunnels of torus knots that achieves this rate (it achieves the above recursion with b 2 = 2 and b 3 = 3). 12
Another measure of complexity for a tunnel has been studied by J. Johnson, A. Thompson, and others: The Heegaard distance dist( τ ) is the distance in the curve complex C ( ∂H ) from ∂τ to a loop that bounds a disk in S 3 − H . Distance is related to depth by dist( τ ) − 1 ≤ depth( τ ) (so our previous lower bound on growth rate of bridge number holds if Heegaard dis- tance is used in place of depth). In fact, depth is a finer invariant than Heegaard distance: There is a sequence of distance-3 tunnels whose depths go to ∞ (they are the “short” or “edge” tunnels of certain torus knots). 13
Here is a schematic picture of D ( H ) sitting in the curve complex: 3 D(S − H) < 3 π 0 D(H) distance 6 "stable" region −− unique tunnels (J. Johnson, using results of Scharlemann−Tomova) depth 14
Some questions: — What is C ( ∂H ) / Γ like? — How do D ( H ) and D ( S 3 − H ) sit in C ( ∂H )? And modulo Γ? — How is distance in D ( H ) related to Hee- gaard distance? In particular, are there some natural conditions, in terms of tun- nels, that ensure large Heegard distance? — Is there a tunnel number 1 knot that has more than one equivalence class of tunnel of depth greater than 1? — For the higher-genus analogues, what is the subcomplex of primitive disks like? Note: for genus ≥ 3, it has not even been proven that the Goeritz group is finitely generated. 15
Recommend
More recommend