Log canonical algebras and modules (Q392590): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Christopher Derek Hacon / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14E30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6245071 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
minimal models | |||
Property / zbMATH Keywords: minimal models / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
log canonical algebra | |||
Property / zbMATH Keywords: log canonical algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite generation | |||
Property / zbMATH Keywords: finite generation / rank | |||
Normal rank |
Revision as of 15:29, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Log canonical algebras and modules |
scientific article |
Statements
Log canonical algebras and modules (English)
0 references
14 January 2014
0 references
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.
0 references
minimal models
0 references
log canonical algebra
0 references
finite generation
0 references