A canonical linear system associated to adjoint divisors in characteristic \(p>0\) (Q475829): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(X\) be a normal variety over an \(F\)-finite field of positive characteristic and \(\Delta\) an \(\mathbb Q\)-divisor such that \(K_X + \Delta\) is \(\mathbb Q\)-Cartier. In characteristic zero one can associate the multiplier ideal \(\mathcal J(X, \Delta)\) while in positive characteristic one can associate the test ideal \(\tau(X, \Delta)\). Let \(L\) be an ample divisor. The paper under review study certain linear system in \(|K_X + L|\) which behaves like the global section associated to multiplier ideal \(H^0(X, \mathcal J(X, \Delta) \otimes L)\). He proved analogous results in positive characteristic using test ideal. In particular, in corollary 4.5, he proved that if \(L - K_X - \Delta\) is big and nef then \(\tau(X,\Delta) \otimes_{\mathcal O_X} (L + nM)\) is globally generated for all globally generated ample Cartier divisor \(M\). As mentioned by the author, the strategy of the proof is similar to that of [\textit{D. S. Keeler}, Am. J. Math. 130, No. 5, 1327--1336 (2008; Zbl 1159.14003)]. He also improved the bound in the case of curves. | |||
Property / review text: Let \(X\) be a normal variety over an \(F\)-finite field of positive characteristic and \(\Delta\) an \(\mathbb Q\)-divisor such that \(K_X + \Delta\) is \(\mathbb Q\)-Cartier. In characteristic zero one can associate the multiplier ideal \(\mathcal J(X, \Delta)\) while in positive characteristic one can associate the test ideal \(\tau(X, \Delta)\). Let \(L\) be an ample divisor. The paper under review study certain linear system in \(|K_X + L|\) which behaves like the global section associated to multiplier ideal \(H^0(X, \mathcal J(X, \Delta) \otimes L)\). He proved analogous results in positive characteristic using test ideal. In particular, in corollary 4.5, he proved that if \(L - K_X - \Delta\) is big and nef then \(\tau(X,\Delta) \otimes_{\mathcal O_X} (L + nM)\) is globally generated for all globally generated ample Cartier divisor \(M\). As mentioned by the author, the strategy of the proof is similar to that of [\textit{D. S. Keeler}, Am. J. Math. 130, No. 5, 1327--1336 (2008; Zbl 1159.14003)]. He also improved the bound in the case of curves. / 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: 14G17 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6374637 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
test ideal | |||
Property / zbMATH Keywords: test ideal / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
globally generated | |||
Property / zbMATH Keywords: globally generated / rank | |||
Normal rank |
Revision as of 18:52, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A canonical linear system associated to adjoint divisors in characteristic \(p>0\) |
scientific article |
Statements
A canonical linear system associated to adjoint divisors in characteristic \(p>0\) (English)
0 references
27 November 2014
0 references
Let \(X\) be a normal variety over an \(F\)-finite field of positive characteristic and \(\Delta\) an \(\mathbb Q\)-divisor such that \(K_X + \Delta\) is \(\mathbb Q\)-Cartier. In characteristic zero one can associate the multiplier ideal \(\mathcal J(X, \Delta)\) while in positive characteristic one can associate the test ideal \(\tau(X, \Delta)\). Let \(L\) be an ample divisor. The paper under review study certain linear system in \(|K_X + L|\) which behaves like the global section associated to multiplier ideal \(H^0(X, \mathcal J(X, \Delta) \otimes L)\). He proved analogous results in positive characteristic using test ideal. In particular, in corollary 4.5, he proved that if \(L - K_X - \Delta\) is big and nef then \(\tau(X,\Delta) \otimes_{\mathcal O_X} (L + nM)\) is globally generated for all globally generated ample Cartier divisor \(M\). As mentioned by the author, the strategy of the proof is similar to that of [\textit{D. S. Keeler}, Am. J. Math. 130, No. 5, 1327--1336 (2008; Zbl 1159.14003)]. He also improved the bound in the case of curves.
0 references
test ideal
0 references
globally generated
0 references