Transverse invariants and exotic surfaces in the \(4\)-ball (Q2058828): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.2140/gt.2021.25.2963 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.2140/GT.2021.25.2963 / rank
 
Normal rank

Latest revision as of 22:38, 16 December 2024

scientific article
Language Label Description Also known as
English
Transverse invariants and exotic surfaces in the \(4\)-ball
scientific article

    Statements

    Transverse invariants and exotic surfaces in the \(4\)-ball (English)
    0 references
    0 references
    0 references
    0 references
    10 December 2021
    0 references
    Two smooth surfaces \(S\) and \(S'\) in a smooth \(4\)-manifold \(X\) are an \textit{exotic pair} if \(S\) and \(S'\) are topologically, but not smoothly, isotopic. The main result in the paper under review is that there are infinitely many knots in \(\mathbb{S}^3\) each bounding countably many properly embedded, compact, orientable, smooth surfaces in the \(4\)-dimensional disc \(\mathbb{D}^4\) which are pairwise topologically isotopic but which cannot be sent one into the other via a diffeomorphism of \(\mathbb{D}^4\). In particular, one obtains infinitely many exotic pairs of properly embedded, smooth, orientable surfaces in \(\mathbb{D}^4\). The construction of these surfaces is based on \(1\)-twist rim surgery. This technique was introduced by \textit{H. J. Kim} [Geom. Topol. 10, 27--56 (2006; Zbl 1104.57018)] to produce compact oriented surfaces in \(\mathbb{CP}^2\) which are smoothly knotted, but topologically unknotted. Roughly speaking, twist rim surgery combines Zeeman twist-spinning construction of \(2\)-knots [\textit{E. C. Zeeman}, Trans. Am. Math. Soc. 115, 471--495 (1965; Zbl 0134.42902)] and \textit{R. Fintushel} and \textit{R. J. Stern}'s rim surgery [Math. Res. Lett. 4, No. 6, 907--914 (1997; Zbl 0894.57014)]. Twist rim surgery allows the author to produce surfaces which are topologically isotopic, potentially not smoothly isotopic, without conditions on the fundamental group of their complement. To obstruct two surfaces being sent one to the other via a diffeomorphism of \(\mathbb{D}^4\), the authors introduce a numerical invariant of properly embedded surfaces \[ \Omega(S)\in \mathbb{Z} \cup \{ -\infty \},\quad S\subset \mathbb{D}^4. \] This invariant is defined in terms of induced maps in Heegaard-Floer homology. The invariant \(\Omega\) behaves in a controlled way under twist rim surgery, and vanishes for quasi-positive surfaces pushed in the \(4\)-disk. A key point in the proof of the main theorem is the non-vanishing of certain maps in Heegaard-Floer homology. To this end the authors prove that the (transverse version of the) LOSS invariant (see [\textit{P. Lisca} et al., J. Eur. Math. Soc. (JEMS) 11, No. 6, 1307--1363 (2009; Zbl 1232.57017)] and [\textit{J. A. Baldwin} et al., Geom. Topol. 17, No. 2, 925--974 (2013; Zbl 1285.57005)]) is preserved under the maps induced by some link cobordisms which are ascending surfaces in Weinstein manifolds. This is an interesting result on its own, and fits into a family of similar results due to various authors, e.g. \textit{P. Ozsváth} and \textit{Z. Szabó} [Duke Math. J. 129, No. 1, 39--61 (2005; Zbl 1083.57042)], \textit{A. Juhász} [Adv. Math. 299, 940--1038 (2016; Zbl 1358.57021)], \textit{J. A. Baldwin} and \textit{S. Sivek} [J. Symplectic Geom. 16, No. 4, 959--1000 (2018; Zbl 1411.57019); Geom. Topol. 25, No. 3, 1087--1164 (2021; Zbl 1479.53080)].
    0 references
    0 references
    \(4\)-manifolds
    0 references
    exotic surfaces
    0 references
    Heegaard Floer homology
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references