Topologically trivial proper 2-knots

Gompf, Robert E¹

¹ Department of Mathematics, The University of Texas at Austin, Austin, TX, United States

Geometry & topology, Tome 29 (2025) no. 1, pp. 71-125.

Résumé

We study smooth, proper embeddings of noncompact surfaces in $4$-manifolds, focusing on exotic planes and annuli, ie embeddings pairwise homeomorphic to the standard embeddings of ${ℝ}^2$ and ${ℝ}^2-\mathrm{int}{D}^2$ in  ${ℝ}^4$. We encounter two uncountable classes of exotic planes, with radically different properties. One class is simple enough that we exhibit explicit level diagrams of them without $2$-handles. Diagrams from the other class seem intractable to draw, and require infinitely many $2$-handles. We show that every compact surface embedded rel nonempty boundary in the $4$-ball has interior pairwise homeomorphic to infinitely many smooth, proper embeddings in ${ℝ}^4$. We also see that the almost-smooth, compact, embedded surfaces produced in $4$-manifolds by Freedman theory must have singularities requiring infinitely many local minima in their radial functions. We construct exotic planes with uncountable group actions injecting into the pairwise mapping class group. This work raises many questions, some of which we list.

Détail

DOI : 10.2140/gt.2025.29.71

Keywords: exotic embedding, 4-manifold, knotted surface, Casson handle

Bibliographie

[1] S Akbulut, R Kirby, Branched covers of surfaces in 4-manifolds, Math. Ann. 252 (1980) 111 | DOI

[2] S Baader, F Kutzschebauch, E F Wold, Knotted holomorphic discs in C2, J. Reine Angew. Math. 648 (2010) 69 | DOI

[3] R I Baykur, N Sunukjian, Knotted surfaces in 4-manifolds and stabilizations, J. Topol. 9 (2016) 215 | DOI

[4] Ž Bižaca, A reimbedding algorithm for Casson handles, Trans. Amer. Math. Soc. 345 (1994) 435 | DOI

[5] Ž Bižaca, R E Gompf, Elliptic surfaces and some simple exotic R4’s, J. Differential Geom. 43 (1996) 458

[6] M Brown, Locally flat imbeddings of topological manifolds, Ann. of Math. 75 (1962) 331 | DOI

[7] J S Calcut, R E Gompf, On uniqueness of end sums and 1-handles at infinity, Algebr. Geom. Topol. 19 (2019) 1299 | DOI

[8] J S Calcut, C R Guilbault, P V Haggerty, Extreme nonuniqueness of end-sum, J. Topol. Anal. 14 (2022) 461 | DOI

[9] J C Cantrell, Almost locally flat embeddings of Sn−1 in Sn, Bull. Amer. Math. Soc. 69 (1963) 716 | DOI

[10] A J Casson, Three lectures on new infinite constructions in 4-dimensional manifolds, (1973–76)

[11] B Chantraine, Lagrangian concordance is not a symmetric relation, Quantum Topol. 6 (2015) 451 | DOI

[12] S Demichelis, M H Freedman, Uncountably many exotic R4’s in standard 4-space, J. Differential Geom. 35 (1992) 219

[13] S K Donaldson, An application of gauge theory to four-dimensional topology, J. Differential Geom. 18 (1983) 279

[14] S K Donaldson, Polynomial invariants for smooth four-manifolds, Topology 29 (1990) 257 | DOI

[15] S Finashin, Exotic embeddings of #6RP2 in the 4-sphere, from: "Proceedings of Gökova geometry–topology conference 2008" (editors S Akbulut, T Önder, R J Stern), GGT (2009) 151

[16] S M Finashin, M Kreck, O Y Viro, Nondiffeomorphic but homeomorphic knottings of surfaces in the 4-sphere, from: "Topology and geometry : Rohlin Seminar" (editor O Y Viro), Lecture Notes in Math. 1346, Springer (1988) 157 | DOI

[17] R H Fox, E Artin, Some wild cells and spheres in three-dimensional space, Ann. of Math. 49 (1948) 979 | DOI

[18] M H Freedman, The topology of four-dimensional manifolds, J. Differential Geom. 17 (1982) 357

[19] M H Freedman, F Quinn, Topology of 4-manifolds, 39, Princeton Univ. Press (1990)

[20] M H Freedman, L R Taylor, A universal smoothing of four-space, J. Differential Geom. 24 (1986) 69

[21] M Furuta, Monopole equation and the -conjecture, Math. Res. Lett. 8 (2001) 279 | DOI

[22] R E Gompf, Infinite families of Casson handles and topological disks, Topology 23 (1984) 395 | DOI

[23] R E Gompf, An infinite set of exotic R4’s, J. Differential Geom. 21 (1985) 283

[24] R E Gompf, Smooth concordance of topologically slice knots, Topology 25 (1986) 353 | DOI

[25] R E Gompf, An exotic menagerie, J. Differential Geom. 37 (1993) 199

[26] R E Gompf, Stein surfaces as open subsets of C2, J. Symplectic Geom. 3 (2005) 565 | DOI

[27] R E Gompf, Minimal genera of open 4-manifolds, Geom. Topol. 21 (2017) 107 | DOI

[28] R E Gompf, Quotient manifolds of flows, J. Knot Theory Ramifications 26 (2017) 1740005 | DOI

[29] R E Gompf, Group actions, corks and exotic smoothings of R4, Invent. Math. 214 (2018) 1131 | DOI

[30] R E Gompf, Creating Stein surfaces by topological isotopy, J. Differential Geom. 125 (2023) 121 | DOI

[31] R E Gompf, A I Stipsicz, 4-manifolds and Kirby calculus, 20, Amer. Math. Soc. (1999) | DOI

[32] W C Hsiang, R H Szczarba, On embedding surfaces in four-manifolds, from: "Algebraic topology" (editor A Liulevicius), Proc. Sympos. Pure Math. 22, Amer. Math. Soc. (1971) 97

[33] R C Kirby, L C Siebenmann, Foundational essays on topological manifolds, smoothings, and triangulations, 88, Princeton Univ. Press (1977)

[34] M Kreck, On the homeomorphism classification of smooth knotted surfaces in the 4-sphere, from: "Geometry of low-dimensional manifolds, I" (editors S K Donaldson, C B Thomas), Lond. Math. Soc. Lect. Note Ser. 150, Cambridge Univ. Press (1990) 63 | DOI

[35] J M Mcpherson, Wild arcs in three-space, I : Families of Fox–Artin arcs, Pacific J. Math. 45 (1973) 585 | DOI

[36] F Quinn, Ends of maps, III : Dimensions 4 and 5, J. Differential Geom. 17 (1982) 503

[37] L Rudolph, Embeddings of the line in the plane, J. Reine Angew. Math. 337 (1982) 113 | DOI

[38] C H Taubes, Gauge theory on asymptotically periodic 4-manifolds, J. Differential Geom. 25 (1987) 363

[39] L R Taylor, An invariant of smooth 4-manifolds, Geom. Topol. 1 (1997) 71 | DOI

[40] G A Venema, Local homotopy properties of topological embeddings in codimension two, from: "Geometric topology" (editor W H Kazez), AMS/IP Stud. Adv. Math. 2.1, Amer. Math. Soc. (1997) 388 | DOI