The 4-dimensional light bulb theorem
HTML articles powered by AMS MathViewer
- by David Gabai
- J. Amer. Math. Soc. 33 (2020), 609-652
- DOI: https://doi.org/10.1090/jams/920
- Published electronically: June 15, 2020
- HTML | PDF
Abstract:
For embedded 2-spheres in a 4-manifold sharing the same embedded transverse sphere homotopy implies isotopy, provided the ambient 4-manifold has no $\mathbb {Z}_2$-torsion in the fundamental group. This gives a generalization of the classical light bulb trick to 4-dimensions, the uniqueness of spanning discs for a simple closed curve in $S^4$ and $\pi _0(Diff_0(S^2\times D^2)/Diff_0(B^4))=1$. In manifolds with $\mathbb {Z}_2$-torsion, one surface can be put into a normal form relative to the other.References
- Selman Akbulut, Isotoping 2-spheres in 4-manifolds, Proceedings of the Gökova Geometry-Topology Conference 2014, Gökova Geometry/Topology Conference (GGT), Gökova, 2015, pp. 264–266. MR 3381446
- Dave Auckly, Hee Jung Kim, Paul Melvin, and Daniel Ruberman, Stable isotopy in four dimensions, J. Lond. Math. Soc. (2) 91 (2015), no. 2, 439–463. MR 3355110, DOI 10.1112/jlms/jdu075
- Scott Carter, Seiichi Kamada, and Masahico Saito, Surfaces in 4-space, Encyclopaedia of Mathematical Sciences, vol. 142, Springer-Verlag, Berlin, 2004. Low-Dimensional Topology, III. MR 2060067, DOI 10.1007/978-3-662-10162-9
- Jean Cerf, Topologie de certains espaces de plongements, Bull. Soc. Math. France 89 (1961), 227–380 (French). MR 140120
- Jean Cerf, Sur les difféomorphismes de la sphère de dimension trois $(\Gamma _{4}=0)$, Lecture Notes in Mathematics, No. 53, Springer-Verlag, Berlin-New York, 1968 (French). MR 0229250
- Jean Cerf, La stratification naturelle des espaces de fonctions différentiables réelles et le théorème de la pseudo-isotopie, Inst. Hautes Études Sci. Publ. Math. 39 (1970), 5–173 (French). MR 292089
- R. D. Edwards, The $4$-Dimensional Light Bulb Theorem (after David Gabai), ArXiv:1709.04306.
- Michael H. Freedman, The disk theorem for four-dimensional manifolds, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Warsaw, 1983) PWN, Warsaw, 1984, pp. 647–663. MR 804721
- Michael H. Freedman and Frank Quinn, Topology of 4-manifolds, Princeton Mathematical Series, vol. 39, Princeton University Press, Princeton, NJ, 1990. MR 1201584
- D. Gabai, 3-spheres in $S^4$ and pseudoisotopies of $S^3\times S^1$, in preparation.
- Charles H. Giffen, Link concordance implies link homotopy, Math. Scand. 45 (1979), no. 2, 243–254. MR 580602, DOI 10.7146/math.scand.a-11839
- Herman Gluck, The embedding of two-spheres in the four-sphere, Bull. Amer. Math. Soc. 67 (1961), 586–589. MR 131877, DOI 10.1090/S0002-9904-1961-10703-9
- Deborah L. Goldsmith, Concordance implies homotopy for classical links in $M^{3}$, Comment. Math. Helv. 54 (1979), no. 3, 347–355. MR 543335, DOI 10.1007/BF02566279
- Allen E. Hatcher, A proof of the Smale conjecture, $\textrm {Diff}(S^{3})\simeq \textrm {O}(4)$, Ann. of Math. (2) 117 (1983), no. 3, 553–607. MR 701256, DOI 10.2307/2007035
- Akio Kawauchi, Tetsuo Shibuya, and Shin’ichi Suzuki, Descriptions on surfaces in four-space. I. Normal forms, Math. Sem. Notes Kobe Univ. 10 (1982), no. 1, 75–125. MR 672939
- Rob Kirby, Problems in low dimensional manifold theory, Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976) Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc., Providence, R.I., 1978, pp. 273–312. MR 520548
- M. Kreck, Isotopy classes of diffeomorphisms of $(k-1)$-connected almost-parallelizable $2k$-manifolds, Algebraic topology, Aarhus 1978 (Proc. Sympos., Univ. Aarhus, Aarhus, 1978), Lecture Notes in Math., vol. 763, Springer, Berlin, 1979, pp. 643–663. MR 561244
- F. Laudenbach, Sur les $2$-sphères d’une variété de dimension $3$, Ann. of Math. (2) 97 (1973), 57–81 (French). MR 314054, DOI 10.2307/1970877
- Rick Litherland, A generalization of the lightbulb theorem and PL $I$-equivalence of links, Proc. Amer. Math. Soc. 98 (1986), no. 2, 353–358. MR 854046, DOI 10.1090/S0002-9939-1986-0854046-2
- Yoshihiko Marumoto, On higher-dimensional light bulb theorem, Kobe J. Math. 3 (1986), no. 1, 71–75. MR 867805
- Paul Michael Melvin, BLOWING UP AND DOWN IN 4-MANIFOLDS, ProQuest LLC, Ann Arbor, MI, 1977. Thesis (Ph.D.)–University of California, Berkeley. MR 2627246
- John Milnor, Lectures on the $h$-cobordism theorem, Princeton University Press, Princeton, N.J., 1965. Notes by L. Siebenmann and J. Sondow. MR 0190942
- R. A. Norman, Dehn’s lemma for certain $4$-manifolds, Invent. Math. 7 (1969), 143–147. MR 246309, DOI 10.1007/BF01389797
- Richard S. Palais, Extending diffeomorphisms, Proc. Amer. Math. Soc. 11 (1960), 274–277. MR 117741, DOI 10.1090/S0002-9939-1960-0117741-0
- Frank Quinn, Isotopy of $4$-manifolds, J. Differential Geom. 24 (1986), no. 3, 343–372. MR 868975
- C. P. Rourke, Embedded handle theory, concordance and isotopy, Topology of Manifolds (Proc. Inst., Univ. of Georgia, Athens, Ga., 1969) Markham, Chicago, Ill., 1970, pp. 431–438. MR 0279816
- Bernard Perron, Pseudo-isotopies de plongements en codimension $2$, Bull. Soc. Math. France 103 (1975), no. 3, 289–339 (French). MR 394701
- Martin Scharlemann, Smooth spheres in $\textbf {R}^4$ with four critical points are standard, Invent. Math. 79 (1985), no. 1, 125–141. MR 774532, DOI 10.1007/BF01388659
- R. Schneiderman and P. Teichner, personal communication.
- R. Schneiderman and P. Teichner, Homotopy versus isotopy: spheres with duals in $4$-manifolds, preprint, arXiv:1904.12350v3.
- H. Schwartz, Equivalent non-isotopic spheres in 4-manifolds, to appear in Journal of Topology, arXiv:1806.07541.
- R. W. Sharpe, Total absolute curvature and embedded Morse numbers, J. Differential Geom. 28 (1988), no. 1, 59–92. MR 950555
- Stephen Smale, A classification of immersions of the two-sphere, Trans. Amer. Math. Soc. 90 (1958), 281–290. MR 104227, DOI 10.1090/S0002-9947-1959-0104227-9
- Stephen Smale, The classification of immersions of spheres in Euclidean spaces, Ann. of Math. (2) 69 (1959), 327–344. MR 105117, DOI 10.2307/1970186
- Stephen Smale, Diffeomorphisms of the $2$-sphere, Proc. Amer. Math. Soc. 10 (1959), 621–626. MR 112149, DOI 10.1090/S0002-9939-1959-0112149-8
- David Spring, The golden age of immersion theory in topology: 1959–1973. A mathematical survey from a historical perspective, Bull. Amer. Math. Soc. (N.S.) 42 (2005), no. 2, 163–180. MR 2133309, DOI 10.1090/S0273-0979-05-01048-7
- Frank J. Swenton, On a calculus for 2-knots and surfaces in 4-space, J. Knot Theory Ramifications 10 (2001), no. 8, 1133–1141. MR 1871221, DOI 10.1142/S0218216501001359
Bibliographic Information
- David Gabai
- Affiliation: Department of Mathematics, Princeton University, Princeton, New Jersey 08544
- MR Author ID: 195365
- Email: gabai@math.princeton.edu
- Received by editor(s): July 14, 2017
- Received by editor(s) in revised form: July 15, 2018, December 21, 2018, and January 31, 2019
- Published electronically: June 15, 2020
- Additional Notes: This research was partially supported by NSF grants DMS-1006553, 1607374
- © Copyright 2020 David Gabai
- Journal: J. Amer. Math. Soc. 33 (2020), 609-652
- MSC (2000): Primary 57N13, 57N35
- DOI: https://doi.org/10.1090/jams/920
- MathSciNet review: 4127900