The \(\mathrm{SO}(3)\) monopole cobordism and superconformal simple type (Q2326677): Difference between revisions

The authors continue their research line developed in several papers (see the bibliography in this paper). See also the related paper by the same authors [Adv. Math. 356, Article ID 106821, 35 p. (2019; Zbl 1430.53026)]. Let \(X\) be a smooth, closed, connected orientable four-manifold with \(b^1 (X) = 0\) and \(b^+ (X) = 2 m + 1 \) with \(m\) integer and \(m \ge 1\), i.e., let \(X\) be \textit{standard}. All known standard four-manifolds have Seiberg-Witten simple type [\textit{P. Kronheimer} and \textit{T. Mrowka}, Monopoles and three-manifolds. Cambridge: Cambridge University Press (2007; Zbl 1158.57002)]. Marino, Moore and Peradze conjecture that all standard four-manifolds of simple Seiberg-Witten type also have superconformal simple type; for the meaning of this notion and the conjecture, see [\textit{M. Mariño} et al., Math. Res. Lett. 6, No. 3--4, 429--437 (1999; Zbl 0974.57018); Commun. Math. Phys. 205, No. 3, 691--735 (1999; Zbl 0988.57019)]. In a previous paper by the authors et al. [Math. Res. Lett. 6, No. 2, 169--182 (1999; Zbl 0967.57027)], it was shown that \(X\) has superconformal simple type under a certain hypothesis. Here they focus on the following hypothesis: the local gluing map, defined in a previous work by the authors [``\(\mathrm{PU}(2)\) monopoles. III: Existence of gluing and obstruction maps'', Preprint, \url{arXiv:math/9907107}], gives a continuous parametrization of a neighborhood of \(M_s \times \Sigma\) in \(\widetilde{\mathcal{M}}_t\) for each smooth stratum \(\Sigma \subset \mathrm{Sym}^\ell (X)\). The main result of the paper is the following theorem: Let \(X\) be a standard four-manifold of Seiberg-Witten simple type and assume the hypothesis above. Then \(X\) has superconformal simple type.