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.

Seifert forms and slice Euler characteristic of links

On elementary invariants of genus one knots and Seifert surfaces

Knot concordance and Blanchfield duality

SO(3) Monopoles, Level-One Seiberg-Witten Moduli Spaces, and Witten's Conjecture in Low Degrees

Balanced algebraic unknotting, linking forms, and surfaces in three- and four-space

A lower bound for the genus of a knot using the Links-Gould invariant

On $χ-$slice pretzel links

The Iwasawa invariants of $\mathbb{Z}_p^{\,d}$-covers of links

Unknotted Curves on Seifert Surfaces

On the Monopole Lefschetz Number of Finite-Order Diffeomorphisms

Chern-Simons functional, singular instantons, and the four-dimensional clasp number

Unoriented skein exact triangles in equivariant singular instanton Floer theory

A diagrammatic computation of abelian link invariants

Involutions, links, and Floer cohomologies

The Skein Polynomial for Links

Invariance and naturality of knot lattice homology and homotopy

Evaluations of link polynomials and recent constructions in Heegaard Floer theory

Codimension 2 embeddings, algebraic surgery and Seifert forms

The mod 2 Seiberg-Witten invariants of spin structures and spin families

The Family Seiberg-Witten Invariant and Nonsymplectic Loops of Diffeomorphisms

A 4-dimensional rational genus bound