Abstract:We provide an approach to study exotic phenomena in relatively small 4-manifolds that captures many different exotic behaviors under one umbrella. These phenomena include exotic smooth structures on 4-manifolds with $b_2=1$, examples of strong corks, and exotic codimension-$1$ embeddings into $\mathbb{C} P^2 \# - \mathbb{C} P^2$ that survive external stabilization. We also give a new way to detect a homeomorphism of a 4-manifold that is not topologically isotopic to any diffeomorphism and give lower bounds of relative genera of certain knots. Our primary tools are constraints on diffeomorphisms of 4-manifolds obtained from families Seiberg-Witten theory.

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the study of singular phenomena in 4 - dimensional manifolds, specifically including the following aspects: 1. **Singular 4 - dimensional manifolds with $ b_2 = 1 $**: - The paper provides a method to construct singular 4 - dimensional manifolds with $ b_2 = 1 $ and gives many new examples. These singular structures were not known before. The method of the paper does not depend on the existence of 4 - dimensional manifold invariants but uses family Seiberg - Witten theory, involutive Heegaard Floer theory, and filtered instanton theory. 2. **Detection of Strong Corks**: - Strong corks are fundamental objects in the study of singular smooth structures of closed 4 - dimensional manifolds. The paper shows how to use family Seiberg - Witten theory to detect strong corks. Different from previous detection methods, the method of the paper does not directly involve the action of symmetry on Floer homology nor does it use local equivalence formulas. 3. **Singular embeddings of 3 - dimensional manifolds in 4 - dimensional manifolds**: - The paper proves that there exists a singular embedding of a 3 - dimensional manifold in $ \mathbb{CP}^2 \# -\mathbb{CP}^2 $ and this embedding remains singular after external stabilization. This is the smallest 4 - dimensional manifold currently known to support this property. 4. **Homeomorphisms that are not smoothly isotopic**: - The paper provides new examples, showing that some homeomorphisms are not homotopic to any diffeomorphism on some small 4 - dimensional manifolds. This answers the question of whether the necessary conditions proposed by Baraglia are sufficient. 5. **Estimation of relative genus bounds**: - The paper gives lower bounds for the relative genus of specific knots in certain 4 - dimensional manifolds. These results generalize Bryan's equivariant 10/8 inequality and use diffeomorphisms and family Seiberg - Witten theory. In general, the paper studies singular phenomena in 4 - dimensional manifolds, especially the singular behavior in small 4 - dimensional manifolds, by combining and comparing different tools such as family Seiberg - Witten theory, involutive Heegaard Floer theory, and instanton theory. The application of these tools not only provides new theoretical results but also offers a new perspective for understanding singular phenomena in 4 - dimensional topology.

From diffeomorphisms to exotic phenomena in small 4-manifolds

Exotic Dehn twists on 4-manifolds

Diffeomorphisms of 4-manifolds with boundary and exotic embeddings

Exotic diffeomorphisms on $4$-manifolds with $b_2^+ = 2$

On localizing groups of exotic diffeomorphisms of 4-manifolds

Exotic aspherical 4-manifolds

Some examples of small irreducible exotic 4-manifolds with free abelian fundamental group

From zero surgeries to candidates for exotic definite four-manifolds

Exotically knotted closed surfaces from Donaldson's diagonalization for families

Corks for exotic diffeomorphisms

Irreducible 4-manifolds can admit exotic diffeomorphisms

New constructions and invariants of closed exotic 4-manifolds

Topologically trivial proper 2-knots

Frankel Conjecture and Sasaki Geometry

Exotic definite four-manifolds with non-cyclic fundamental group

New Exotic four-manifolds with $\mathbb{Z}/2\mathbb{Z}$ fundamental group

Collisionless energy absorption in nanoplasma layer in regular and stochastic regimes

Gromoll--Meyer's actions and the geometry of (exotic) spacetimes

On four-dimensional Dehn twists and Milnor fibrations

Cubic Forms, Anomaly Cancellation and Modularity