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.

A note on the involutive invariants of splices

Involutions, links, and Floer cohomologies

New invariants of involutions from Seiberg-Witten Floer theory

A note on cables and the involutive concordance invariants

Involutive Khovanov homology and equivariant knots

Equivariant aspects of singular instanton Floer homology

Equivariant knots and knot Floer homology

Isotopy invariants for closed braids and almost closed braids via loops in stratified spaces

Involutions and the Chern-Simons filtration in instanton Floer homology

Invariant splitting principles for the Lipshitz--Ozsváth--Thurston correspondence

Unoriented skein exact triangles in equivariant singular instanton Floer theory

Sutured Floer homology and invariants of Legendrian and transverse knots

Invariance and naturality of knot lattice homology and homotopy

Involutive bordered Floer homology

The Alexander and Markov theorems for strongly involutive links

The Family Seiberg-Witten Invariant and Nonsymplectic Loops of Diffeomorphisms

2-torsion in instanton Floer homology

An Invariant for Transverse Coassociative 4-Folds

Floer homology and right-veering monodromy

Invariants of surfaces in smooth 4-manifolds from link homology