The smaller-ring refinement of the perverse stable-pair functional equation

About 5 years old · traced to

Let XX be the Calabi–Yau threefold under consideration, let β∈H2(X,Z)\beta\in H_2(X, {\mathbb{Z}}), and let pPT⁡β(eiu,Q){}^p\operatorname{PT}_\beta(e^{iu},Q) be the perverse stable-pair generating function. Define

R=C[Q±1,11−Q][u−1,u]].R={\mathbb{C}}\left[Q^{\pm 1}, \frac{1}{1-Q}\right][u^{-1},u]].

Smaller-ring refinement. The preceding proposition still holds with this smaller ring RR in place of the ring allowing all factors (1−Qj)−1(1-Q^j)^{-1}; in particular,

pPT⁡β(eiu,Q)∈Rw⋅β,{}^p\operatorname{PT}_\beta(e^{iu},Q)\in R_{\mathsf{w}\cdot\beta},

where Ra=f∈R:f(Q,u)=Qaf(Q−1,−u)R_a=\\{f\in R:f(Q,u)=Q^a f(Q^{-1},-u)\\}.

This asserts a stronger form of the proposition's symmetry statement, namely that only the factor (1−Q)−1(1-Q)^{-1} is needed in the coefficient ring. The supplied text does not state whether this refinement is proved or remains open, so its status is recorded as open.

References

Primary source

Tim-Henrik Buelles and Miguel Moreira, “Weyl symmetry for curve counting invariants via spherical twists”, arXiv:2108.06751 (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.