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.

Hidden symmetries and Dehn surgery on tetrahedral links

Hidden symmetries via hidden extensions

Exploring topological entanglement through Dehn surgery

Dehn twists exact sequences through Lagrangian cobordism

Exceptional Dehn Surgeries on Some Infinite Series of Hyperbolic Knots and Links

Canonical triangulations of Dehn fillings of the Borromean rings link complement

Symmetry groups of hyperbolic links and their complements

Profinite rigidity witnessed by Dehn fillings of cusped hyperbolic 3-manifolds

A Dehn surgery description of regular finite cyclic covering spaces of rational homology spheres

Non Degenerating Dehn Fillings on Genus Two Heegaard Splittings of Knots′ Complements

Geometry of fundamental shadow link complements and applications to the 1-loop conjecture

Exotically knotted closed surfaces from Donaldson's diagonalization for families

Deficiency Symmetries of Surgeries in $S^3$

The infinitesimal projective rigidity under Dehn filling

Constructions of $q$-hyperbolic knots

On cabled knots, Dehn surgery, and left-orderable fundamental groups

On four-dimensional Dehn twists and Milnor fibrations

Dynamics of composite symplectic Dehn twists

An Sl2(C) Algebro-Geometric Invariant of Knots

Computer Assisted Projective Rigidity

Bounding the Dehn surgery number by 10/8