Vanishing conjecture for PU(2) monopole link intersections

From papers

Let XX be a closed, oriented, smooth four-manifold with b2+(X)>0b_2^+(X)>0. Let s=s0L1{\mathfrak{s}}={\mathfrak{s}}_0\otimes L_1 be a Spinc\operatorname{Spin}^c structure defined by s0{\mathfrak{s}}_0 and a reduction

E=L1(detE)L1,E_{-\ell}=L_1\oplus (\det E)\otimes L_1^*,

where c2(E)=c2(E)c_2(E_{-\ell})=c_2(E)-\ell and 0\ell\geq 0. Let LW,E,L1{\mathbf{L}}_{W,E,L_1} be the link of the ideal Seiberg–Witten moduli space Mssw×Sym(X)M^{sw}_{\mathfrak{s}}\times \operatorname{Sym}^{\ell}(X). Vanishing conjecture. The intersection number

#(Vˉ(z)Wˉ(xna1)LW,E,L1)\#\left({\bar{V}}(z)\cap {\bar{W}}(x^{n_a-1})\cap {\mathbf{L}}_{W,E,L_1}\right)

appearing in the right-hand side of Equation~ is a multiple of SWX(s)SW_X({\mathfrak{s}}) and therefore vanishes when SWX(s)=0SW_X({\mathfrak{s}})=0. This conjecture would reduce the sum over reducible PU(2)\operatorname{PU}(2) monopoles to contributions from Spinc\operatorname{Spin}^c structures with nonzero Seiberg–Witten invariant; the supplied passage gives no resolution status.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Paul M. N. Feehan, Peter B. Kronheimer, Thomas G. Leness and Tomasz S. Mrowka, “PU(2) monopoles and a conjecture of Marino, Moore, and Peradze”, arXiv:math/9812125 (1999).

Solutions 0

No solutions have been posted yet.