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.

On the resolution of kinks of curves on punctured surfaces

Unknotted Curves on Seifert Surfaces

Automorphisms of the k-curve graph

On the Cohomology of the Mapping Class Group of the Punctured Projective Plane

Construction of the Moduli Space of Vector Bundles on an Orbifold Curve

On k-folding map-germs and hidden symmetries of surfaces in the Euclidean 3-space

Intersection norms on surfaces and Birkhoff cross sections

On the geometry of some strata of uni-singular curves

Deformations of curves with constant curvature

On regular but non-smooth integral curves

Unknotting number 21 knots are slice in K3

Subspace configurations and low degree points on curves

Equisingularity in pencils of curves on germs of reduced complex surfaces

Degrees of closed points on hypersurfaces

Kink-equivalence of matrices, spanning surfaces, 4-manifolds, and quadratic forms

Exotically knotted closed surfaces from Donaldson's diagonalization for families

Characterizing closed curves on Riemann surfaces via homology groups of coverings

A triple coproduct of curves and knots

Immersed surfaces with knot group $\mathbb{Z}$

K3 surfaces with a symplectic action of $(\mathbb Z/2\mathbb Z)^2$

Sweeping Arrangements of Non-Piercing Curves in Plane