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.

High-codimensional knots spun about manifolds

Spin(7)-Manifolds as Generalized Connected Sums and 3d N=1 Theories

Graphing, homotopy groups of spheres, and spaces of long links and knots

Topologically trivial proper 2-knots

Calegari's homotopy 4-spheres from fibered knots are standard

Smooth structures on non-orientable $4$-manifolds via twisting operations

Totally Geodesic Spanning Surfaces of Knots and Links in 3-Manifolds

Spin(7) metrics from Kähler Geometry

Complete non-compact $\operatorname{Spin}(7)$-manifolds from $T^2$-bundles over AC Calabi Yau manifolds

$\mathbb Z_2$-Harmonic Spinors and 1-forms on Connected sums and Torus sums of 3-manifolds

Seiberg-Witten Floer K-theory and cyclic group actions on spin four-manifolds with boundary

Exotically knotted closed surfaces from Donaldson's diagonalization for families

A space level light bulb theorem in all dimensions

Distinguishing 2-knots admitting circle actions by fundamental groups

$n$-knots in $S^n\times S^2$ and contractible $(n+3)$-manifolds

Symplectically knotted codimension-zero embeddings of domains in R4

Examples of topologically unknotted tori

Handle numbers of guts of sutured manifolds and nearly fibered knots

New Complete Noncompact Spin(7) Manifolds

The 4-Planes of Spin(7) Manifolds

Knots and 4-manifolds