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

Conway's doughnuts

Square donuts and twistable holes

Theorem Discovery Amongst Cyclic Polygons

The geometry of Deroin-Tholozan representations

Smooth Knots with Odd Quadratic Term of the Conway Polynomial Have Inscribed Trefoils

Thin links and Conway spheres

Sketch of a Proof of an Intriguing Conjecture of Karola Meszaros and Alejandro Morales Regarding the Volume of the $D_n$ Analog of the Chan-Robbins-Yuen Polytope (Or: The Morris-Selberg Constant Term Identity Strikes Again!)

Conway Rational Tangles and the Thompson Group

Conway's Wizards

Conway's law, revised from a mathematical viewpoint

Geometrization in Geometry

Topological Drawings meet Classical Theorems from Convex Geometry

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

A Structural Theorem for Sets With Few Triangles

Conway's Nightmare: Brahmagupta and Butterflies

Calculating the homology and intersection form of a 4-manifold from a trisection diagram

Geometric Combinatorics of Polynomials II: Polynomials and Cell Structures

A geometric interpretation of Kirillov's Conjecture

On the number of digons in arrangements of pairwise intersecting circles

The Burau representation and shapes of polyhedra

Conformal Loxodromes