Log canonical algebras and modules (Q392590): Difference between revisions

The author shows that if \((X,B)\) is a log canonical pair and \(f:X\to Z\) is a projective morphism to an affine variety \(Z=\text{Spec}(A)\) such that \(K_X+B\) is pseudo-effective over \(Z\), then \((X,B)\) has a good minimal model over \(Z\) if and only if its log canonical algebra and modules are finitely generated. This means that if \(I>0\) is an integer such that \(L=I(K_X+B)\) is Cartier then the \(A\) algebra \(R(L)=\bigoplus _{m\geq 0}H^0(X,\mathcal O _X(mL))\) is finitely generated and for any fixed ample divisor \(G\) and any integer \(p\), then \(M^p_G(L)=\bigoplus _{m\geq p}H^0(X,\mathcal O _X(mL+G))\) is a finitely generated \(R(L)\) module.