Universal-function numerical conjecture for virtual refined invariants

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β43\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=11(1x2m)10(1x2my)(1x2my1).\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β13β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β13β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.

Sources & referencesView supporting material

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.