Abstract:We introduce a method to detect exotic surfaces without explicitly using a smooth 4-manifold invariant or an invariant of a 4-manifold-surface pair in the construction. Our main tools are two versions of families (Seiberg-Witten) generalizations of Donaldson's diagonalization theorem, including a real and families version of the diagonalization. This leads to an example of a pair of exotically knotted $\mathbb{R}P^2$'s embedded in a closed 4-manifold whose complements are diffeomorphic, making it the first example of a non-orientable surface with this property. In particular, any invariant of a 4-manifold-surface pair (including invariants from real Seiberg-Witten theory such as Miyazawa's invariant) fails to detect such an exotic $\mathbb{R} P^2$. One consequence of our construction reveals that non-effective embeddings of corks can still be useful in pursuit of exotica. Precisely, starting with an embedding of a cork $C$ in certain a 4-manifold $X$ where the cork-twist does not change the diffeomorphism type of $X$, we give a construction that provides examples of exotically knotted spheres and $\mathbb{R}P^2$'s with diffeomorphic complements in $ C \# S^2 \times S^2 \subset X \# S^2 \times S^2$ or $C \# \mathbb{C}P^2 \subset X \# \mathbb{C}P^2 $. In another direction, we provide infinitely many exotically knotted embeddings of orientable surfaces, closed surface links, and 3-spheres with diffeomorphic complements in once stabilized corks, and show some of these surfaces survive arbitrarily many internal stabilizations. By combining similar methods with Gabai's 4D light-bulb theorem, we also exhibit arbitrarily large difference between algebraic and geometric intersections of certain family of 2-spheres, embedded in a 4-manifold.

Khovanov homology and exotic $4$-manifolds

Kirby belts, categorified projectors, and the skein lasagna module of $S^{2}\times{S^{2}}$

Involutive Khovanov homology and equivariant knots

Knot invariants arising from homological operations on Khovanov homology

New constructions and invariants of closed exotic 4-manifolds

From diffeomorphisms to exotic phenomena in small 4-manifolds

Exotically knotted closed surfaces from Donaldson's diagonalization for families

From zero surgeries to candidates for exotic definite four-manifolds

Knot lattice homology and $q$-series invariants for plumbed knot complements

Exotic Dehn twists on 4-manifolds

Fixed-point-free pseudo-Anosov homeomorphisms, knot Floer homology and the cinquefoil

On geometric realizations of the extreme Khovanov homology of pretzel links

Stable Khovanov homology and Volume

Knots, Perturbative Series and Quantum Modularity

Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

Pseudoholomorphic quilts and Khovanov homology

Near extremal Khovanov homology of Turaev genus one links

Computing the Khovanov homology of 2 strand braid links via generators and relations

A recipe for exotic 2-links in closed 4-manifolds whose components are topological unknots

Discrete Morse Theory for Khovanov Homology

New Exotic four-manifolds with $\mathbb{Z}/2\mathbb{Z}$ fundamental group