Abstract:By extending a result of Kronheimer-Mrowka to the family setting, we prove a gluing formula for the family Seiberg-Witten invariant. This formula allows one to compute the invariant for a smooth family of 4-manifolds by cutting it open along a product family of 3-manifolds and studying the induced maps on monopole Floer (co)homology. When the cutting 3-manifold is an L-space, this formula implies a relation between the family Seiberg-Witten invariant, the Seiberg-Witten invariant of the fiber and the index of the family Dirac operator. We use this relation to calculate the Seiberg-Witten invariant of families of 4-manifolds that arise when resolving an ADE singularity using a hyperkähler family of complex structures near the singularity. Several applications are obtained. First, we establish a large family of simply-connected 4-manifolds M (e.g. all elliptic surfaces) such that π_1(Diff(M)) has a ℤ^∞-summand . For such M, the product S^2× M smoothly fibers over S^2 with fiber M in infinitely many distinct ways. Second, we show that on any closed symplectic 4-manifold that contains a smoothly embedded sphere of self-intersection -1 or -2, there is a loop of diffeomorphisms that is not homotopic to a loop of symplectormorphisms. This generalizes a previous result by Smirnov and confirms a conjecture by McDuff in dimension 4. It also provides many new examples of 4-manifolds whose space of symplectic forms has a nontrivial fundamental group or first homology group.

Infinite families of standard Cappell-Shaneson spheres

Calegari's homotopy 4-spheres from fibered knots are standard

Infinitely many families of Sasaki-Einstein metrics on spheres

New infinite families in the stable homotopy groups of spheres

Frankel Conjecture and Sasaki Geometry

Diffeomorphisms of the 4-sphere, Cerf theory and Montesinos twins

Families of nondiffeomorphic 4-manifolds with the same Seiberg-Witten invariants

Grasper families of spheres in $S^2 \times D^2$ and barbell diffeomorphisms of $S^1\times S^2 \times I$

3-Spheres in the 4-Sphere and Pseudo-Isotopies of $S^1\times S^3$

Higher dimensional geometries related to fuzzy odd-dimensional spheres

New look at Milnor Spheres

Cappell-Shaneson's 4-dimensional s-cobordism

Circle bundles with PSC over some four manifolds

Finite rigid sets in sphere complexes

On homology planes and contractible $4$-manifolds

Bounded cohomology of diffeomorphism groups of higher dimensional spheres

On homology planes and contractible 4‐manifolds

The homology of moduli spaces of 4-manifolds may be infinitely generated

Symplectic fillings of unit cotangent bundles of spheres and applications

Homology spheres yielding lens spaces

The Family Seiberg-Witten Invariant and Nonsymplectic Loops of Diffeomorphisms