Effective finite generation for adjoint rings (Q486743): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: D.-Q. Zhang / rank | |||
Property / author | |||
Property / author: D.-Q. Zhang / rank | |||
Normal rank | |||
Property / review text | |||
One of the central problems in birational geometry is to prove the finite generation of graded rings of the form \(R(X, D) :=\bigoplus_{n=0}^\infty H^0(\mathcal{O}_X(nD))\), where \(D\) is a Cartier divisor on a projective variety \(X\). \newline In fact, if such ring is finitely generated, then one could try to study the geometry of \(X\) by reducing to the study of the variety \(Y :=\mathrm{Proj}(R(X, D))\) and the study of the fibers of the natural rational map \(X \dashrightarrow Y\) induced by the Iitaka fibration of \(D\). After the seminal work of Birkar--Cascini--Hacon--McKernan [\textit{C. Birkar} et al., J. Am. Math. Soc. 23, No. 2, 405--468 (2010; Zbl 1210.14019)], it is now a standard result that if \(D \sim_\mathbb{Q} a(K_X+\Delta), \; a \in \mathbb{Z}_{>0}\) then \(R(X, D)\) is indeed finally generated if the pair \((X, \Delta)\) has mild singularities and either \(\Delta\) or \(K_X+\Delta\) are big. In view of this result, one may wonder if it is possible to provide effective bounds on the degree of the generators with respect to the standard grading. In particular, the existence of such a bound immediately provides also an effective way of computing the stable base locus of \(D, \; Bs(D):= \bigcap_{m \geq 0} |mD|\). The paper under review is concerned with this question for projective varieties of dimension 2 and 3. The main theorem states that on a smooth projective threefold \(X\) if \(D = a(K_X+\Delta), \; a \in \mathbb{Z}_{>0}\) is a Cartier divisor then the ring \(R(X, D)\) is generated by elements of degree at most \(5q\), where \(q\) is a natural number that can be effectively computed in terms of the rank of the Néron-Severi group of \(X\), provided that the pair \((X, \Delta)\) satisfies the assumptions of the previous paragraph and moreover \(\Delta\) is numerically effective. \newline In their proof, the authors consider a minimal model \(f : X \dashrightarrow Y\) for \((X, \Delta)\) and show that the index of the singularities that appear on \(Y\) can be bounded in terms of the rank of the Néron-Severi group. This nice observation then reduces the proof to a generalization of Kollár's Effective Base Point Free Theorem [\textit{J. Kollár}, Math. Ann. 296, No. 4, 595--605 (1993; Zbl 0818.14002)] together with the analysis of the multiplicative structure of \(R(X, D)\). The latter is carried out by means of a Mumford regularity-type of argument. \newline In the case of surfaces the authors obtain a similar but more general statement. | |||
Property / review text: One of the central problems in birational geometry is to prove the finite generation of graded rings of the form \(R(X, D) :=\bigoplus_{n=0}^\infty H^0(\mathcal{O}_X(nD))\), where \(D\) is a Cartier divisor on a projective variety \(X\). \newline In fact, if such ring is finitely generated, then one could try to study the geometry of \(X\) by reducing to the study of the variety \(Y :=\mathrm{Proj}(R(X, D))\) and the study of the fibers of the natural rational map \(X \dashrightarrow Y\) induced by the Iitaka fibration of \(D\). After the seminal work of Birkar--Cascini--Hacon--McKernan [\textit{C. Birkar} et al., J. Am. Math. Soc. 23, No. 2, 405--468 (2010; Zbl 1210.14019)], it is now a standard result that if \(D \sim_\mathbb{Q} a(K_X+\Delta), \; a \in \mathbb{Z}_{>0}\) then \(R(X, D)\) is indeed finally generated if the pair \((X, \Delta)\) has mild singularities and either \(\Delta\) or \(K_X+\Delta\) are big. In view of this result, one may wonder if it is possible to provide effective bounds on the degree of the generators with respect to the standard grading. In particular, the existence of such a bound immediately provides also an effective way of computing the stable base locus of \(D, \; Bs(D):= \bigcap_{m \geq 0} |mD|\). The paper under review is concerned with this question for projective varieties of dimension 2 and 3. The main theorem states that on a smooth projective threefold \(X\) if \(D = a(K_X+\Delta), \; a \in \mathbb{Z}_{>0}\) is a Cartier divisor then the ring \(R(X, D)\) is generated by elements of degree at most \(5q\), where \(q\) is a natural number that can be effectively computed in terms of the rank of the Néron-Severi group of \(X\), provided that the pair \((X, \Delta)\) satisfies the assumptions of the previous paragraph and moreover \(\Delta\) is numerically effective. \newline In their proof, the authors consider a minimal model \(f : X \dashrightarrow Y\) for \((X, \Delta)\) and show that the index of the singularities that appear on \(Y\) can be bounded in terms of the rank of the Néron-Severi group. This nice observation then reduces the proof to a generalization of Kollár's Effective Base Point Free Theorem [\textit{J. Kollár}, Math. Ann. 296, No. 4, 595--605 (1993; Zbl 0818.14002)] together with the analysis of the multiplicative structure of \(R(X, D)\). The latter is carried out by means of a Mumford regularity-type of argument. \newline In the case of surfaces the authors obtain a similar but more general statement. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Roberto Svaldi / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14E30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14C20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14E99 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6387268 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
minimal model program | |||
Property / zbMATH Keywords: minimal model program / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
log canonical ring | |||
Property / zbMATH Keywords: log canonical ring / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite generation | |||
Property / zbMATH Keywords: finite generation / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2964156712 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1203.5204 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The moduli b-divisor of an lc-trivial fibration / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Existence of minimal models for varieties of log general type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rationale Singularitäten komplexer Flächen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: New outlook on the minimal model program. I. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Explicit birational geometry of 3-folds of general type. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Explicit birational geometry of threefolds of general type, I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Factoring 3-fold flips and divisorial contractions to curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The canonical ring of a variety of general type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boundedness of pluricanonical maps of varieties of general type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Blowing ups of 3-dimensional terminal singularities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Blowing ups of 3-dimensional terminal singularities. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4895027 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Subadjunction of log canonical divisors, II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Effective base point freeness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4212603 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4650504 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On 3-dimensional terminal singularities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Towards the second main theorem on complements / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3772328 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite generation of canonical ring by analytic method / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pluricanonical systems on algebraic varieties of general type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Effectiveness of the log Iitaka fibration for 3-folds and 4-folds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Effective Iitaka fibrations / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:19, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Effective finite generation for adjoint rings |
scientific article |
Statements
Effective finite generation for adjoint rings (English)
0 references
16 January 2015
0 references
One of the central problems in birational geometry is to prove the finite generation of graded rings of the form \(R(X, D) :=\bigoplus_{n=0}^\infty H^0(\mathcal{O}_X(nD))\), where \(D\) is a Cartier divisor on a projective variety \(X\). \newline In fact, if such ring is finitely generated, then one could try to study the geometry of \(X\) by reducing to the study of the variety \(Y :=\mathrm{Proj}(R(X, D))\) and the study of the fibers of the natural rational map \(X \dashrightarrow Y\) induced by the Iitaka fibration of \(D\). After the seminal work of Birkar--Cascini--Hacon--McKernan [\textit{C. Birkar} et al., J. Am. Math. Soc. 23, No. 2, 405--468 (2010; Zbl 1210.14019)], it is now a standard result that if \(D \sim_\mathbb{Q} a(K_X+\Delta), \; a \in \mathbb{Z}_{>0}\) then \(R(X, D)\) is indeed finally generated if the pair \((X, \Delta)\) has mild singularities and either \(\Delta\) or \(K_X+\Delta\) are big. In view of this result, one may wonder if it is possible to provide effective bounds on the degree of the generators with respect to the standard grading. In particular, the existence of such a bound immediately provides also an effective way of computing the stable base locus of \(D, \; Bs(D):= \bigcap_{m \geq 0} |mD|\). The paper under review is concerned with this question for projective varieties of dimension 2 and 3. The main theorem states that on a smooth projective threefold \(X\) if \(D = a(K_X+\Delta), \; a \in \mathbb{Z}_{>0}\) is a Cartier divisor then the ring \(R(X, D)\) is generated by elements of degree at most \(5q\), where \(q\) is a natural number that can be effectively computed in terms of the rank of the Néron-Severi group of \(X\), provided that the pair \((X, \Delta)\) satisfies the assumptions of the previous paragraph and moreover \(\Delta\) is numerically effective. \newline In their proof, the authors consider a minimal model \(f : X \dashrightarrow Y\) for \((X, \Delta)\) and show that the index of the singularities that appear on \(Y\) can be bounded in terms of the rank of the Néron-Severi group. This nice observation then reduces the proof to a generalization of Kollár's Effective Base Point Free Theorem [\textit{J. Kollár}, Math. Ann. 296, No. 4, 595--605 (1993; Zbl 0818.14002)] together with the analysis of the multiplicative structure of \(R(X, D)\). The latter is carried out by means of a Mumford regularity-type of argument. \newline In the case of surfaces the authors obtain a similar but more general statement.
0 references
minimal model program
0 references
log canonical ring
0 references
finite generation
0 references