Universal-function numerical conjecture for virtual refined invariants

At least 8 years old · documented by

Let β‾=(β1,β2,β3,β4)∈Z4\underline{\beta}=(\beta_1,\beta_2,\beta_3,\beta_4)\in\mathbb Z^4 satisfy β1≡β2(mod2)\beta_1\equiv\beta_2\pmod 2 and β3≥β4−3\beta_3\geq\beta_4-3, and let n<12(β1−β2)+2β4n<\frac12(\beta_1-\beta_2)+2\beta_4. Let (γ1,γ2)∈Z2(\gamma_1,\gamma_2)\in\mathbb Z^2, and let Aα‾\mathsf A_{\underline\alpha} denote the universal function defined from the seven universal series in the paper. Define

ϕ(x,y):=∏m=1∞1(1−x2m)10(1−x2my)(1−x2my−1).\phi(x,y):=\prod_{m=1}^{\infty}\frac{1}{(1-x^{2m})^{10}(1-x^{2m}y)(1-x^{2m}y^{-1})}.

Universal-function numerical conjecture. The coefficient of x4n−β1−3β4x^{4n-\beta_1-3\beta_4} in the s0s^0-coefficient of the indicated sum of the two universal-function terms equals the coefficient of x4n−β1−3β4x^{4n-\beta_1-3\beta_4} in

8(−1)γ2(ϕ(x,y)2)β4(2η‾(x4)2θ3(x,y1/2))β3(θ3(x,y1/2)θ3(−x,y1/2))γ1,8(-1)^{\gamma_2}\left(\frac{\phi(x,y)}2\right)^{\beta_4}\left(\frac{2\overline\eta(x^4)^2}{\theta_3(x,y^{1/2})}\right)^{\beta_3}\left(\frac{\theta_3(x,y^{1/2})}{\theta_3(-x,y^{1/2})}\right)^{\gamma_1},

where the two universal-function terms are exactly those displayed in the source. This conjecture predicts the numerical identities required for the proposed universal formula and is supported by computer calculations, but remains open.

References

Primary source

Lothar Göttsche and Martijn Kool, “Virtual refinements of the Vafa-Witten formula”, arXiv:1703.07196 (2020).

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.