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.

K-theory and immersions of spatial polygon spaces

Nearly geodesic immersions and domains of discontinuity

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

The space of immersed polygons

On the unordered configuration space C(RP^n,2)

On immersions and embeddings with trivial normal line bundles

Polygon spaces and Grassmannians

A geometric classification of immersions of 3-manifolds into 5-space

K-classes of delta-matroids and equivariant localization

Topologically trivial proper 2-knots

Lipschitz Smoothings of Polyhedral Manifolds

Some new nonimmersion results for real projective spaces

Compactness for immersions of prescribed Gaussian curvature II - geometric aspects

Cohomology and K-theory of generalized Dold manifolds fibred by complex flag manifolds

$\mathbb{T}^n$-invariant Kaehler-Einstein manifolds immersed in complex projective spaces

Immersions of surfaces into SL(2,C) and into the space of geodesics of Hyperbolic space

Involution on Pseudoisotopy Spaces and the Space of Nonnegatively Curved Metrics

The geometry of antisymplectic involutions, I

Exotically knotted closed surfaces from Donaldson's diagonalization for families

A bijection for tuples of commuting permutations and a log-concavity conjecture

On hyperspaces of knots and planar simple closed curves