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

Let UYU'\subset Y' be an snc minimal model of an affine log Calabi–Yau variety with maximal boundary, let YYY\to Y' be the universal torsor, and let UYU\subset Y be its restriction. Let VV be a fibre of the canonical mirror to UU, let CYSk(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)=LPic(Y)H0(Y,L).\operatorname{Cox}(Y')=\bigoplus_{L\in\operatorname{Pic}(Y')}H^0(Y',L).

For LPic(Y)L\in\operatorname{Pic}(Y'), write PL=p1(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.

Sources & referencesView supporting material

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.