Abstract:We prove an analogue of the Kotschick-Morgan conjecture in the context of SO(3) monopoles, obtaining a formula relating the Donaldson and Seiberg-Witten invariants of smooth four-manifolds using the SO(3)-monopole cobordism. The main technical difficulty in the SO(3)-monopole program relating the Seiberg-Witten and Donaldson invariants has been to compute intersection pairings on links of strata of reducible SO(3) monopoles, namely the moduli spaces of Seiberg-Witten monopoles lying in lower-level strata of the Uhlenbeck compactification of the moduli space of SO(3) monopoles [<a class="link-https" data-arxiv-id="dg-ga/9710032" href="https://arxiv.org/abs/dg-ga/9710032">arXiv:dg-ga/9710032</a>]. In this monograph, we prove --- modulo a gluing theorem which is an extension of our earlier work in [<a class="link-https" data-arxiv-id="math/9907107" href="https://arxiv.org/abs/math/9907107">arXiv:math/9907107</a>] --- that these intersection pairings can be expressed in terms of topological data and Seiberg-Witten invariants of the four-manifold. This conclusion is analogous to the Kotschick-Morgan conjecture concerning the wall-crossing formula for Donaldson invariants of a four-manifold with $b_2^+=1$; that wall-crossing formula and the resulting structure of Donaldson invariants for four-manifolds with $b_2^+=1$ were established, assuming the Kotschick-Morgan conjecture, by Goettsche [<a class="link-https" data-arxiv-id="alg-geom/9506018" href="https://arxiv.org/abs/alg-geom/9506018">arXiv:alg-geom/9506018</a>] and Goettsche and Zagier [<a class="link-https" data-arxiv-id="alg-geom/9612020" href="https://arxiv.org/abs/alg-geom/9612020">arXiv:alg-geom/9612020</a>]. In this monograph, we reduce the proof of the Kotschick-Morgan conjecture to an extension of previously established gluing theorems for anti-self-dual SO(3) connections (see [<a class="link-https" data-arxiv-id="math/9812060" href="https://arxiv.org/abs/math/9812060">arXiv:math/9812060</a>] and references therein). Since the first version of our monograph was circulated, applications of our results have appeared in the proof of Property P for knots by Kronheimer and Mrowka [<a class="link-https" data-arxiv-id="math/0311489" href="https://arxiv.org/abs/math/0311489">arXiv:math/0311489</a>] and work of Sivek on Donaldson invariants for symplectic four-manifolds [<a class="link-https" data-arxiv-id="1301.0377" href="https://arxiv.org/abs/1301.0377">arXiv:1301.0377</a>].

On the Frøyshov Invariant and Monopole Lefschetz Number

On the Monopole Lefschetz Number of Finite-Order Diffeomorphisms

A Splitting Theorem for the Seiberg-Witten Invariant of a Homology S^1 × S^3

The Family Seiberg-Witten Invariant and Nonsymplectic Loops of Diffeomorphisms

New invariants of involutions from Seiberg-Witten Floer theory

Spectral invariants and equivariant monopole Floer homology for rational homology three-spheres

Unoriented skein exact triangles in equivariant singular instanton Floer theory

Involutions, links, and Floer cohomologies

Monopole Floer homology and invariant theta characteristics

Equivariant aspects of singular instanton Floer homology

Lattice homology and Seiberg-Witten-Floer spectra

Real Monopole Floer Homology and Skein Exact Triangles

Involutions and the Chern-Simons filtration in instanton Floer homology

An SO(3)-monopole cobordism formula relating Donaldson and Seiberg-Witten invariants

Monopole Invariants for Webs and Foams

Connected Heegaard Floer homology of sums of Seifert fibrations

Rabinowitz Floer homology and mirror symmetry

On four-dimensional Dehn twists and Milnor fibrations

The monodromy diffeomorphism of weighted singularities and Seiberg--Witten theory

Connected sums and directed systems in knot Floer homologies