Levels of knotting of spatial handlebodies

Benedetti, R.; Frigerio, R.

doi:10.1090/S0002-9947-2012-05707-2

Levels of knotting of spatial handlebodies
HTML articles powered by AMS MathViewer

by R. Benedetti and R. Frigerio PDF

Trans. Amer. Math. Soc. 365 (2013), 2099-2167 Request permission

Abstract:

If $H$ is a spatial handlebody, i.e. a handlebody embedded in the $3$-sphere, a spine of $H$ is a graph $\Gamma \subset S^3$ such that $H$ is a regular neighbourhood of $\Gamma$. Usually, $H$ is said to be unknotted if it admits a planar spine. This suggests that a handlebody should be considered not very knotted if it admits spines that enjoy suitable special properties. Building on this remark, we define several levels of knotting of spatial handlebodies, and we provide a complete description of the relationships between these levels, focusing our attention on the case of genus 2. We also relate the knotting level of a spatial handlebody $H$ to classical topological properties of its complement $M=S^3\setminus H$, such as its cut number. More precisely, we show that if $H$ is not highly knotted, then $M$ admits special cut systems for $M$, and we discuss the extent to which the converse implication holds. Along the way we construct obstructions that allow us to determine the knotting level of several families of spatial handlebodies. These obstructions are based on recent quandle–coloring invariants for spatial handlebodies, on the extension to the context of spatial handlebodies of tools coming from the theory of homology boundary links, on the analysis of appropriate coverings of handlebody complements, and on the study of the classical Alexander elementary ideals of their fundamental groups.

References

R. Benedetti, R. Frigerio, R. Ghiloni, The topology of Helmholtz domains, arXiv:1001.4418 (2010).
Paul Andrew Bellis, Homology boundary links, patterns, and Seifert forms, ProQuest LLC, Ann Arbor, MI, 1996. Thesis (Ph.D.)–Rice University. MR 2694305
Paul Bellis, Realizing homology boundary links with arbitrary patterns, Trans. Amer. Math. Soc. 350 (1998), no. 1, 87–100. MR 1357391, DOI 10.1090/S0002-9947-98-01651-1
R. H. Bing, Mapping a $3$-sphere onto a homotopy $3$-sphere, Topology Seminar (Wisconsin, 1965) Ann. of Math. Studies, No. 60, Princeton Univ. Press, Princeton, N.J., 1966, pp. 89–99. MR 0219071
Joan S. Birman and Hugh M. Hilden, Heegaard splittings of branched coverings of $S^{3}$, Trans. Amer. Math. Soc. 213 (1975), 315–352. MR 380765, DOI 10.1090/S0002-9947-1975-0380765-8
Joan S. Birman, On the equivalence of Heegaard splittings of closed, orientable $3$-manifolds, Knots, groups, and $3$-manifolds (Papers dedicated to the memory of R. H. Fox), Ann. of Math. Studies, No. 84, Princeton Univ. Press, Princeton, N.J., 1975, pp. 137–164. MR 0375318
Jason Cantarella, Dennis DeTurck, and Herman Gluck, Vector calculus and the topology of domains in 3-space, Amer. Math. Monthly 109 (2002), no. 5, 409–442. MR 1901496, DOI 10.2307/2695643
Sangbum Cho and Darryl McCullough, The tree of knot tunnels, Geom. Topol. 13 (2009), no. 2, 769–815. MR 2469530, DOI 10.2140/gt.2009.13.769
David Cimasoni, Studying the multivariable Alexander polynomial by means of Seifert surfaces, Bol. Soc. Mat. Mexicana (3) 10 (2004), no. Special Issue, 107–115. MR 2199342
T. D. Cochran and J. P. Levine, Homology boundary links and the Andrews-Curtis conjecture, Topology 30 (1991), no. 2, 231–239. MR 1098917, DOI 10.1016/0040-9383(91)90009-S
T. D. Cochran and K. E. Orr, Not all links are concordant to boundary links, Bull. Amer. Math. Soc. (N.S.) 23 (1990), no. 1, 99–106. MR 1031581, DOI 10.1090/S0273-0979-1990-15912-9
Tim D. Cochran and Kent E. Orr, Not all links are concordant to boundary links, Ann. of Math. (2) 138 (1993), no. 3, 519–554. MR 1247992, DOI 10.2307/2946555
M. Cohen, Wolfgang Metzler, and A. Zimmermann, What does a basis of $F(a,\,b)$ look like?, Math. Ann. 257 (1981), no. 4, 435–445. MR 639577, DOI 10.1007/BF01465865
Ralph H. Fox, On the imbedding of polyhedra in $3$-space, Ann. of Math. (2) 49 (1948), 462–470. MR 26326, DOI 10.2307/1969291
Ralph H. Fox, Free differential calculus. I. Derivation in the free group ring, Ann. of Math. (2) 57 (1953), 547–560. MR 53938, DOI 10.2307/1969736
Roberto Frigerio, Bruno Martelli, and Carlo Petronio, Complexity and Heegaard genus of an infinite class of compact 3-manifolds, Pacific J. Math. 210 (2003), no. 2, 283–297. MR 1988535, DOI 10.2140/pjm.2003.210.283
Simrat M. Ghuman, Larry M. Granda, and Chichen M. Tsau, Dehn surgery on singular knots, J. Knot Theory Ramifications 18 (2009), no. 4, 547–560. MR 2514548, DOI 10.1142/S0218216509007051
C. McA. Gordon, On primitive sets of loops in the boundary of a handlebody, Topology Appl. 27 (1987), no. 3, 285–299. MR 918538, DOI 10.1016/0166-8641(87)90093-9
M. A. Gutiérrez, Polynomial invariants of boundary links, Rev. Colombiana Mat. 8 (1974), 97–109. MR 0367969
Jonathan Hillman, Algebraic invariants of links, Series on Knots and Everything, vol. 32, World Scientific Publishing Co., Inc., River Edge, NJ, 2002. MR 1932169, DOI 10.1142/9789812776648
Jonathan A. Hillman, Alexander ideals of links, Lecture Notes in Mathematics, vol. 895, Springer-Verlag, Berlin-New York, 1981. MR 653808
Jonathan A. Hillman, Longitudes of a link and principality of an Alexander ideal, Proc. Amer. Math. Soc. 72 (1978), no. 2, 370–374. MR 507341, DOI 10.1090/S0002-9939-1978-0507341-6
Atsushi Ishii, Moves and invariants for knotted handlebodies, Algebr. Geom. Topol. 8 (2008), no. 3, 1403–1418. MR 2443248, DOI 10.2140/agt.2008.8.1403
A. Ishii, M. Iwakiri, Quandle cocycle invariants for spatial graphs and knotted handlebodies, to appear in Canad. J. Math, available at http://iwakiri.web.fc2.com/handlebody.pdf
William Jaco, Three-manifolds with fundamental group a free product, Bull. Amer. Math. Soc. 75 (1969), 972–977. MR 243531, DOI 10.1090/S0002-9904-1969-12320-7
William Jaco and D. R. McMillan Jr., Retracting three-manifolds onto finite graphs, Illinois J. Math. 14 (1970), 150–158 (German). MR 256370
William Jaco, Nonretractable cubes-with-holes, Michigan Math. J. 18 (1971), 193–201. MR 288742
Louis H. Kauffman, Invariants of graphs in three-space, Trans. Amer. Math. Soc. 311 (1989), no. 2, 697–710. MR 946218, DOI 10.1090/S0002-9947-1989-0946218-0
Shin’ichi Kinoshita, On elementary ideals of polyhedra in the $3$-sphere, Pacific J. Math. 42 (1972), 89–98. MR 312485
Sadayoshi Kojima and Yosuke Miyamoto, The smallest hyperbolic $3$-manifolds with totally geodesic boundary, J. Differential Geom. 34 (1991), no. 1, 175–192. MR 1114459
H. W. Lambert, Mapping cubes with holes onto cubes with handles, Illinois J. Math. 13 (1969), 606–615. MR 248787
J.H. Lee, G.T. Gin, Two tunnels of a tunnel number one link, Proceedings of the East Asian school of knots, links and related topics, Seoul, Korea, 2004.
W. B. Raymond Lickorish, An introduction to knot theory, Graduate Texts in Mathematics, vol. 175, Springer-Verlag, New York, 1997. MR 1472978, DOI 10.1007/978-1-4612-0691-0
G. S. Makanin, Equations in a free group, Izv. Akad. Nauk SSSR Ser. Mat. 46 (1982), no. 6, 1199–1273, 1344 (Russian). MR 682490
W. Magnus, A. Karras, B. Solitar, Combinatorial group theory: Presentations in terms of generators and relators, Wiley (Interscience) 1966.
Michael Motto, Inequivalent genus $2$ handlebodies in $S^3$ with homeomorphic complement, Topology Appl. 36 (1990), no. 3, 283–290. MR 1070707, DOI 10.1016/0166-8641(90)90052-4
J. Nielsen, Die Isomorphismen der allgemeinen, unendlichen Gruppe mit zwei Erzeugenden, Math. Ann. 78 (1917), no. 1, 385–397 (German). MR 1511907, DOI 10.1007/BF01457113
R. P. Osborne and H. Zieschang, Primitives in the free group on two generators, Invent. Math. 63 (1981), no. 1, 17–24. MR 608526, DOI 10.1007/BF01389191
John W. Morgan, The Smith conjecture, The Smith conjecture (New York, 1979) Pure Appl. Math., vol. 112, Academic Press, Orlando, FL, 1984, pp. 3–6. MR 758460, DOI 10.1016/S0079-8169(08)61632-3
C. D. Papakyriakopoulos, On Dehn’s lemma and the asphericity of knots, Ann. of Math. (2) 66 (1957), 1–26. MR 90053, DOI 10.2307/1970113
Martin Scharlemann and Abigail Thompson, Detecting unknotted graphs in $3$-space, J. Differential Geom. 34 (1991), no. 2, 539–560. MR 1131443
Martin Scharlemann and Abigail Thompson, Thin position and Heegaard splittings of the $3$-sphere, J. Differential Geom. 39 (1994), no. 2, 343–357. MR 1267894
Martin Scharlemann and Abigail Thompson, Surfaces, submanifolds, and aligned Fox reimbedding in non-Haken 3-manifolds, Proc. Amer. Math. Soc. 133 (2005), no. 6, 1573–1580. MR 2120271, DOI 10.1090/S0002-9939-04-07704-4
Martin Scharlemann, Refilling meridians in a genus 2 handlebody complement, The Zieschang Gedenkschrift, Geom. Topol. Monogr., vol. 14, Geom. Topol. Publ., Coventry, 2008, pp. 451–475. MR 2484713, DOI 10.2140/gtm.2008.14.451
Adam S. Sikora, Cut numbers of 3-manifolds, Trans. Amer. Math. Soc. 357 (2005), no. 5, 2007–2020. MR 2115088, DOI 10.1090/S0002-9947-04-03581-0
N. Smythe, Boundary links, in Topology Seminars, Ann. Math. Studies 60, ed. R.H. Bing, Princeton Univ. Press 1965.
John Stallings, Homology and central series of groups, J. Algebra 2 (1965), 170–181. MR 175956, DOI 10.1016/0021-8693(65)90017-7
John R. Stallings, Problems about free quotients of groups, Geometric group theory (Columbus, OH, 1992) Ohio State Univ. Math. Res. Inst. Publ., vol. 3, de Gruyter, Berlin, 1995, pp. 165–182. MR 1355111
Shin’ichi Suzuki, Alexander ideals of graphs in the $3$-sphere, Tokyo J. Math. 7 (1984), no. 1, 233–247. MR 752125, DOI 10.3836/tjm/1270153006
Scott A. Taylor, Boring split links, Pacific J. Math. 241 (2009), no. 1, 127–167. MR 2485461, DOI 10.2140/pjm.2009.241.127
G. Torres and R. H. Fox, Dual presentations of the group of a knot, Ann. of Math. (2) 59 (1954), 211–218. MR 62439, DOI 10.2307/1969687
William P. Thurston, Three-dimensional geometry and topology. Vol. 1, Princeton Mathematical Series, vol. 35, Princeton University Press, Princeton, NJ, 1997. Edited by Silvio Levy. MR 1435975
Lorenzo Traldi, The determinantal ideals of link modules. I, Pacific J. Math. 101 (1982), no. 1, 215–222. MR 671854
Lorenzo Traldi, The determinantal ideals of link modules. II, Pacific J. Math. 109 (1983), no. 1, 237–245. MR 716299
Yasuyuki Tsukui, On surfaces in $3$-space, Yokohama Math. J. 18 (1970), 93–104. MR 292052
Akira Ushijima, Hyperbolic spatial graphs arising from strongly invertible knots, Topology Appl. 139 (2004), no. 1-3, 253–260. MR 2051109, DOI 10.1016/j.topol.2003.11.001
Friedhelm Waldhausen, Heegaard-Zerlegungen der $3$-Sphäre, Topology 7 (1968), 195–203 (German). MR 227992, DOI 10.1016/0040-9383(68)90027-X
Richard Weidmann, On the rank of amalgamated products and product knot groups, Math. Ann. 312 (1998), no. 4, 761–771. MR 1660235, DOI 10.1007/s002080050244
C. M. Weinbaum, Partitioning a primitive word into a generating set, Math. Ann. 181 (1969), 157–162. MR 245658, DOI 10.1007/BF01350635