Vanishing conjecture for PU(2) monopole link intersections

At least 27 years old · documented by

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

E−ℓ=L1⊕(det⁡E)⊗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ˉ(xna−1)∩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 Spin⁡c\operatorname{Spin}^c structures with nonzero Seiberg–Witten invariant; the supplied passage gives no resolution status.

References

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.