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>].

Arnold's monotonicity problem

On the degenerate Arnold conjecture on $\mathbb T^{2m}\times \mathbb C\mathbb P^n$

On Milnor-Orlik's theorem and admissible simultaneous good resolutions

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

Milnor numbers of projective hypersurfaces with isolated singularities

Moduli Parameters of Complex Singularities with Non-Degenerate Newton Boundary

Lower Estimate of Milnor Number and Characterization of Isolated Homogeneous Hypersurface Singularities

Geometric monodromies, mixed Hodge numbers of motivic Milnor fibers and Newton polyhedra

The Arnold conjecture for singular symplectic manifolds

Milnor numbers of projective hypersurfaces and the chromatic polynomial of graphs

The spectral genus of an isolated hypersurface singularity and a conjecture relating to the Milnor number

A multiplicity formula for the Milnor number of smoothable curves

A monotonicity formula for minimal connections

Milnor fibrations of arrangements with trivial algebraic monodromy

A Remark on Lower Bound of Milnor Number and Characterization of Homogeneous Hypersurface Singularities

Non-persistence of strongly isolated singularities, and geometric applications

On monodromies of a degeneration of irreducible symplectic Kähler manifolds

On the Kodaira dimension of moduli spaces of Abelian differentials

Vandermonde with Arnoldi

Arithmeticity for integral cohomological dimension of configuration spaces of manifolds

The convergence Newton polygon of a $p$-adic differential equation V : local index theorems