Finite generation of canonical rings for projective log canonical pairs

Let (X,Δ)(X,\Delta) be a projective log canonical pair. Define the canonical ring by

R(X,KX+Δ)=mNH0(X,OX(m(KX+Δ))).R(X,K_X+\Delta)=\bigoplus_{m\in\mathbb{N}}H^0\bigl(X,\mathcal{O}_X(\lfloor m(K_X+\Delta)\rfloor)\bigr).

Canonical ring finite-generation conjecture. The canonical ring R(X,KX+Δ)R(X,K_X+\Delta) is finitely generated.

Finite generation would imply existence of the associated canonical model and, in the relative setting, existence of flips. The source presents this as a central question in higher-dimensional birational geometry; its status is not resolved in the supplied text.

Sources & referencesView supporting material

Primary source

Vladimir Lazic, “Adjoint rings are finitely generated”, arXiv:0905.2707 (2009).

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.