The curve analogue of Nekrasov's conjecture for the resolved conifold

About 7 years old · traced to

Let X=Tot⁡P1(O(−1)⊕O(−1)⊕O)X=\operatorname{Tot}_{\mathbb P^1}(\mathcal O(-1)\oplus\mathcal O(-1)\oplus\mathcal O), and let ZX(y,q,Q)=∑n,dPn,d[P1](O,y)qnQd\mathcal Z_X(y,q,Q)=\sum_{n,d}P_{n,d[\mathbb P^1]}(\mathcal O,y)q^nQ^d be its stable-pairs generating series. Let t4−1t_4^{-1} be the torus weight of O\mathcal O over P1\mathbb P^1, and let [x]=x1/2−x−1/2[x]=x^{1/2}-x^{-1/2}. The curve analogue of Nekrasov's conjecture. There exist unique choices of signs such that

ZX(y,q,Q)=Exp⁡(Q[y][t4][y12q][y12q−1]).\mathcal Z_X(y,q,Q)=\operatorname{Exp}\left(\frac{Q[y]}{[t_4][y^{\frac12}q][y^{\frac12}q^{-1}]}\right).

Here the plethystic exponential is applied to all variables. The formula is presented as a new conjectural expression for stable-pairs invariants of the resolved conifold, analogous to the empty fourfold vertex formula.

References

Primary source

Yalong Cao, Martijn Kool and Sergej Monavari, “K-theoretic DT/PT correspondence for toric Calabi-Yau 4-folds”, arXiv:1906.07856 (2022).

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.