Ozsváth–Szabó's conjecture relating absolute and Seiberg–Witten invariants

Let XX be a closed oriented smooth 4-manifold with b2+(X)2b_2^+(X)\geq 2, let sSpinc(X)\mathfrak{s}\in\operatorname{Spin}^c(X), and let d(s)d(\mathfrak{s}) be the expected dimension of the Seiberg–Witten moduli space. Let ΦX,s\Phi_{X,\mathfrak{s}} be the absolute invariant defined from the mixed Heegaard Floer cobordism map. If b1(X)=kb_1(X)=k and b1,,bkb_1,\dots,b_k is a basis of H1(X)/TorsH_1(X)/\operatorname{Tors}, choose nn so that Un(b1bk)U^n\otimes(b_1\wedge\dots\wedge b_k) has degree d(s)d(\mathfrak{s}). Ozsváth–Szabó's conjecture.

SW(X,s)=ΦX,s(Un(b1bk)).SW(X,\mathfrak{s})=\Phi_{X,\mathfrak{s}}\bigl(U^n\otimes(b_1\wedge\dots\wedge b_k)\bigr).

The conjecture proposes that the absolute Heegaard Floer invariant recovers the Seiberg–Witten invariant; the source gives no resolution status.

Sources & referencesView supporting material

Primary source

Andras Juhasz, “A survey of Heegaard Floer homology”, arXiv:1310.3418 (2014).

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.