Totaro's cone conjecture for klt Calabi–Yau pairs

Let (X,Δ)(X,\Delta) be a Q\mathbb{Q}-factorial projective klt Calabi–Yau pair, meaning that XX is normal, Δ\Delta is an effective R\mathbb{R}-divisor, KX+ΔK_X+\Delta is R\mathbb{R}-Cartier, and KX+ΔK_X+\Delta is numerically trivial. Let Nefe(X)=Nef(X)Eff(X)\operatorname{Nef^e}(X)=\operatorname{Nef}(X)\cap\operatorname{Eff}(X) be the effective nef cone, and let Move(X)=Mov(X)Eff(X)\operatorname{\overline{Mov}^e}(X)=\operatorname{\overline{Mov}}(X)\cap\operatorname{Eff}(X) be the effective movable cone.

Totaro's cone conjecture. There exists a rational polyhedral cone Π\Pi that is a fundamental domain for the action of Aut(X)\operatorname{Aut}(X) on Nefe(X)\operatorname{Nef^e}(X), namely

Nefe(X)=gAut(X)gΠ,\operatorname{Nef^e}(X)=\bigcup_{g\in\operatorname{Aut}(X)}g^*\Pi,

with IntΠIntgΠ=\operatorname{Int}\Pi\cap\operatorname{Int}g^*\Pi=\emptyset unless g=idg^*=\operatorname{id}. There also exists a rational polyhedral cone Π\Pi' that is a fundamental domain for the action of PsAut(X)\operatorname{PsAut}(X) on Move(X)\operatorname{\overline{Mov}^e}(X).

This is a generalized Morrison–Kawamata cone conjecture for klt Calabi–Yau pairs, concerning the effective nef and movable cones rather than the full cones. The source attributes the formulation to Totaro and does not state a resolution here.

Sources & referencesView supporting material

Primary source

Isabel Stenger and Zhixin Xie, “Cones of divisors on P^3 blown up at eight very general points”, arXiv:2303.12005 (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.