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

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.