Cobordism maps in Khovanov homology and singular instanton homology II
Hayato Imori, Taketo Sano, Kouki Sato, Masaki Taniguchi
TL;DR
We extend the cobordism-map framework to immersed link cobordisms, defining Kh^{low}, Kh^{bal}, and related immersed maps on Khovanov homology and proving their compatibility with Kronheimer–Mrowka’s immersed instanton maps via a Khovanov–Floer type spectral sequence. The construction uses crossing-change maps and a Hopf-link formalism to realize immersed cobordism maps on Kh_{h,t}, and is complemented by instanton-cube computations and equivariant instanton theory to anchor the E^2-term and grading constraints. Two key applications follow: (i) a concordance injectivity result for negative two-bridge torus knots with a left inverse given by reversal, extended to I^♯ and generalized Kh; (ii) a detection result showing that relatively exotic slice surfaces remain exotic under positive twist moves, as witnessed by their Kh and I^♯ maps. Section 4 ties the Kh-side maps to the instanton cube maps with explicit Hopf-link calculations, while Section 5 leverages equivariant instanton theory to obtain structural and concordance-compatibility results for two-bridge torus knots, including left-inverse phenomena and generalized Kh extensions.
Abstract
This paper is a continuation of our previous work, where we defined an embedded cobordism map on the instanton cube complex that recovers the cobordism maps both in Khovanov homology and singular instanton theory. In this paper, we extend this construction to immersed cobordisms, where we define an immersed cobordism map on Khovanov homology and prove that it is compatible with the immersed cobordism map on singular instanton homology. We give two applications: (i) For any smooth, oriented concordance $C$ from a two-bridge torus knot, the induced map $\mathit{Kh}(C)$ on Khovanov homology is injective, and its left inverse is given by the reversal of $C$. (ii) Any pair of relatively exotic surfaces in $D^4$ that are detected by the embedded cobordism map in $\mathit{Kh}$ remain exotic even after applying any number of positive twist moves.
