Finite generation of multigraded adjoint rings

At least 16 years old · documented by

Let XX be a projective variety, let ℓ\ell be a positive integer, and let

Di=ki(KX+Δi)∈Div⁡(X),i=1,…,ℓ,D_i=k_i(K_X+\Delta_i)\in\operatorname{Div}(X),\qquad i=1,\dots,\ell,

where each kik_i is as in the source and (X,Δi)(X,\Delta_i) is a log canonical pair. Define the adjoint ring by

R(X;D1,…,Dℓ)=⨁(m1,…,mℓ)∈NℓH0(X,OX(m1D1+⋯+mℓDℓ)).R(X;D_1,\dots,D_\ell)=\bigoplus_{(m_1,\dots,m_\ell)\in\mathbb{N}^{\ell}}H^0\bigl(X,\mathcal{O}_X(m_1D_1+\cdots+m_\ell D_\ell)\bigr).

Adjoint-ring finite-generation conjecture. The adjoint ring R(X;D1,…,Dℓ)R(X;D_1,\dots,D_\ell) is finitely generated.

The source presents this conjecture as potentially encoding the main theorems of Mori theory, including existence and termination of flips and abundance, when applied to Mori dream regions. Its status is not resolved in the supplied text.

References

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.