The finite generation conjecture for log canonical algebras

Let (X/Z,B)(X/Z,B) be a log canonical (lc) pair such that KX+BK_X+B is a Q\mathbb Q-divisor, and let f ⁣:XZf\colon X\to Z be the given morphism. Define the log canonical algebra by

R(X/Z,KX+B):=m0fOX(m(KX+B)).\mathcal R(X/Z,K_X+B):=\bigoplus_{m\ge 0}f_*\mathcal O_X\left(\left\lfloor m(K_X+B)\right\rfloor\right).

Finite generation conjecture. The algebra R(X/Z,KX+B)\mathcal R(X/Z,K_X+B) is a finitely generated OZ\mathcal O_Z-algebra. The source explains that this is closely related to the minimal model and abundance conjectures and is expected to be essentially equivalent to them together. Its general status is not resolved in the supplied text.

Sources & referencesView supporting material

Primary source

Caucher Birkar, “Lectures on birational geometry”, arXiv:1210.2670 (2012).

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.