Finite generation conjecture for log canonical pairs over complex analytic spaces

Let π ⁣:XY\pi\colon X\to Y be a projective morphism of complex analytic spaces and let Δ\Delta be an effective Q\mathbb Q-divisor on XX such that (X,Δ)(X,\Delta) is log canonical. Define the relative log canonical ring by

R(X/Y,KX+Δ):=mNπOX(m(KX+Δ)).R(X/Y,K_X+\Delta):=\bigoplus_{m\in\mathbb N}\pi_*\mathcal O_X(\lfloor m(K_X+\Delta)\rfloor).

Finite generation conjecture. The graded OY\mathcal O_Y-algebra R(X/Y,KX+Δ)R(X/Y,K_X+\Delta) is locally finitely generated.

This is presented as one of the main goals of the minimal model theory for projective morphisms between complex analytic spaces. The supplied context does not state whether finite generation is known or open in the generality above.

Sources & referencesView supporting material

Primary source

Osamu Fujino, “Cone and contraction theorem for projective morphisms between complex analytic spaces”, arXiv:2209.06382 (2023).

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.