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.

Detection of incompressible surfaces in hyperbolic punctured torus bundles

Detection of twice-punctured tori in hyperbolic knot complements

Incompressible hypersurface, positive scalar curvature and positive mass theorem

Real Places and Surface Bundles

Frankel Conjecture and Sasaki Geometry

Immersed surfaces and Dehn surgery

Fibered 3-manifolds with unique incompressible surfaces

Guts of surfaces in punctured-torus bundles

Totally Geodesic Surfaces in Hyperbolic 3-Manifolds: Algorithms and Examples

Polynomial bounds for surfaces in cusped 3-manifolds

Order-detection, representation-detection, and applications to cable knots

Pants immersed in hyperbolic 3-manifolds

On Negatively Curved Bundles with Hyperbolic Fibers Outside the Igusa Stable Range

Commensurators of cusped hyperbolic manifolds

On constant mean curvature 1-immersions of surfaces into hyperbolic 3-manifolds

Punctured JSJ tori and tautological extensions of Azumaya algebras

Ideal triangulations of 3-manifolds II: taut and angle structures

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

Perturbative invariants of cusped hyperbolic 3-manifolds

Exotically knotted closed surfaces from Donaldson's diagonalization for families

Tubes in Complex Hyperbolic Manifolds