Finite generation of the canonical algebra near rational surface sections

Let XX be a three-dimensional normal singularity, let HXH\subset X be a Cartier divisor containing a point xx, and assume that (xH)(x\in H) is a normal rational surface singularity. Consider the canonical algebra

m0OX(mKX).\bigoplus_{m\geq 0}\mathcal{O}_X(mK_X).

Finite-generation conjecture. The sheaf m0OX(mKX)\bigoplus_{m\geq 0}\mathcal{O}_X(mK_X) is a finitely generated sheaf of OX\mathcal{O}_X-algebras.

The source says that this conjecture is known when xHx\in H is a quotient singularity or a quadruple point, but gives no resolution in the stated generality. It is presented as apparently distinct from the minimal model program outside the quotient-singularity case.

Sources & referencesView supporting material

Primary source

János Kollár, “Exercises in the birational geometry of algebraic varieties”, arXiv:0809.2579 (2008).

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.