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
Additional Information
- R. Benedetti
- Affiliation: Dipartimento di Matematica, Università di Pisa, Largo B. Pontecorvo 5, 56127 Pisa, Italy
- Email: benedett@dm.unipi.it
- R. Frigerio
- Affiliation: Dipartimento di Matematica, Università di Pisa, Largo B. Pontecorvo 5, 56127 Pisa, Italy
- Email: frigerio@dm.unipi.it
- Received by editor(s): March 21, 2011
- Received by editor(s) in revised form: September 2, 2011
- Published electronically: August 21, 2012
- © Copyright 2012
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 365 (2013), 2099-2167
- MSC (2010): Primary 57M27; Secondary 57M15, 57M05
- DOI: https://doi.org/10.1090/S0002-9947-2012-05707-2
- MathSciNet review: 3009654