Nonorientable slice genus can be arbitrarily large

From MaRDI portal



Abstract: The nonorientable four-ball genus of a knot K is the smallest first Betti number of any smoothly embedded, nonorientable surface F in B^4 bounding K. In contrast to the orientable four-ball genus, which is bounded below by the Murasugi signature, the Ozsvath-Szabo tau-invariant, the Rasmussen s-invariant, the best lower bound in the literature on the nonorientable four-ball genus for any K is 3. We find a lower bound in terms of the signature of K and the Heegaard-Floer d-invariant of the integer homology sphere given by -1 surgery on K. In particular, we prove that the nonorientable four-ball genus of the torus knot T(2k,2k-1) is k-1.


Every knot \(K\) in 3-space can be realized as a cross-section of some surface smoothly embedded in 4-space. However, if the surface is required to satisfy certain conditions, including orientability, then there appear obstructions to the realization. In this paper, the author investigates the case when the surface is nonorientable. The main result is that if a knot \(K \subset S^3\) is a cross-section of a smoothly embedded nonorientable surface \(F \subset B^4\), then \(b_1(F) \geq \sigma(K)/2-d(S^3_{-1}(K))\), where \(b_1\) is the first Betti number, \(\sigma\) is the Murasugi signature and \(d\) is the Heegaard-Floer \(d\)-invariant of the integer homology sphere \(S^3_{-1}(K)\) given by \(-1\) surgery on \(K\). This result gives a lower bound of the nonorientable slice genus of a knot \(K\). In particular, if the \((2k, 2k-1)\) torus knot is a cross-section of a smoothly embedded surface \(F \subset \mathbb{R}^4\), then \(b_1(F) \geq 2k-2\). In the proof, the author replaces the non-orientable surface \(F \subset B^4\) with an orientable surface in another manifold by using a result due to Yasuhara, and attaches a \(-1\)-framed 2-handle along \(K\) and removes a neighborhood of a certain surface to obtain a 4-manifold \(W\). Then, by considering the Heegaard-Floer \(d\)-invariants of the two boundaries of \(W\) and using an inequality due to Gordon and Litherland concerning the first Betti number, the signature and the Euler number, the required inequality follows.




Cited in
(31)








This page was built for publication: Nonorientable slice genus can be arbitrarily large

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q477932)