Wall-crossing conjecture for perverse coherent systems on the local resolved conifold

About 6 years old · traced to

Let X=OP1(−1,−1,0)X=\mathcal{O}_{\mathbb{P}^1}(-1,-1,0), let T0T_0 be the Calabi–Yau torus acting on XX, and let Θ\Theta lie on one of the walls L±−(k)L_{\pm}^{-}(k) or L±+(k)L_{\pm}^{+}(k). For a T0T_0-fixed Θ\Theta-stable perverse coherent system I0I_0, let Sk−1S_{k-1} be the wall-supported T0T_0-fixed Θ\Theta-stable perverse coherent sheaf and set

Pk−1,rI0={I0⊕Sk−1⊕r[−1]},r⩾0.P_{k-1,r}^{I_0}=\left\{I_0\oplus S_{k-1}^{\oplus r}[-1]\right\},\qquad r\geqslant0.

Write Θ±=(θ0∓0+,θ1)\Theta_{\pm}=(\theta_0\mp0^+,\theta_1), let π+\pi_+ and π−\pi_- be the maps from the adjacent chambers to the wall, and let λ3\lambda_3 be as above.

Wall-crossing conjecture. If Θ∈L−−(k)\Theta\in L_-^-(k) or L+−(k)L_+^-(k) with k⩾1k\geqslant1, then there exist choices of signs such that

∑rtr∑I∈π+−1(Pk−1,rI0)eT0(χX(I,I)012)⋅eT0×C∗(χX(F)∨⊗em)∑rtr∑I∈π−−1(Pk−1,rI0)eT0(χX(I,I)012)⋅eT0×C∗(χX(F)∨⊗em)=(1−t)kmλ3.\frac{\sum_r t^r\sum_{I\in\pi_+^{-1}(P_{k-1,r}^{I_0})}e_{T_0}(\chi_X(I,I)^{\frac12}_0)\cdot e_{T_0\times\mathbb{C}^*}(\chi_X(F)^\vee\otimes e^m)}{\sum_r t^r\sum_{I\in\pi_-^{-1}(P_{k-1,r}^{I_0})}e_{T_0}(\chi_X(I,I)^{\frac12}_0)\cdot e_{T_0\times\mathbb{C}^*}(\chi_X(F)^\vee\otimes e^m)}=(1-t)^{k\frac{m}{\lambda_3}}.

If Θ∈L−+(k)\Theta\in L_-^+(k) or L++(k)L_+^+(k) with k⩾0k\geqslant0, then there exist choices of signs such that the same ratio equals

(1−t−1)kmλ3.(1-t^{-1})^{k\frac{m}{\lambda_3}}.

This conjecture predicts that the wall-crossing factor is independent of the initial stable object I0I_0. It is motivated by the analogous wall-crossing formula of Nagao and Nakajima for the resolved conifold and is intended as its fourfold analogue.

References

Primary source

Yalong Cao and Yukinobu Toda, “Counting perverse coherent systems on Calabi-Yau 4-folds”, arXiv:2009.10909 (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.