Superconformal simple type and Witten's conjecture
Let be a smooth, closed, connected, orientable four-manifold with and and odd. We show that if has Seiberg-Witten simple type, then the SO(3)-monopole cobordism formula of Feehan and Leness (2002) implies Witten's Conjecture relating the Donaldson and Seiberg-Witten invariants.