Cox ring conjecture for universal torsors of log Calabi–Yau pairs

About 2 years old · traced to

Let U′⊂Y′U'\subset Y' be an snc minimal model of an affine log Calabi–Yau variety with maximal boundary, let Y→Y′Y\to Y' be the universal torsor, and let U⊂YU\subset Y be its restriction. Let VV be a fibre of the canonical mirror to UU, let CY⊂Sk⁡(V)C_Y\subset\operatorname{Sk}(V) be the cone defined by the tropicalization of the sum of the boundary theta functions, and let

Cox⁡(Y′)=⨁L∈Pic⁡(Y′)H0(Y′,L).\operatorname{Cox}(Y')=\bigoplus_{L\in\operatorname{Pic}(Y')}H^0(Y',L).

For L∈Pic⁡(Y′)L\in\operatorname{Pic}(Y'), write PL=p−1(L)P_L=p^{-1}(L). Cox ring conjecture. Spec⁡(Cox⁡(Y′))\operatorname{Spec}(\operatorname{Cox}(Y')) is one fibre of

Spec⁡(ACY)→Spec⁡(RV).\operatorname{Spec}(A_{C_Y})\to\operatorname{Spec}(R_V).

In particular, CYC_Y parameterizes a canonical theta-function basis for Cox⁡(Y′)\operatorname{Cox}(Y'), and the integer points PL(Z)P_L(\mathbb Z) parameterize a canonical theta-function basis for H0(Y′,L)H^0(Y',L). This would recover canonical bases simultaneously for the Cox ring and each graded section space. The supplied text gives no evidence of resolution.

References

Primary source

Sean Keel, Logan White and Tony Yue YU, “Log Calabi-Yau mirror symmetry and non-archimedean disks”, arXiv:2411.04067 (2026).

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.