A Frobenius variant of Seshadri constants
type: Item
instance of: scholarly article
title: A Frobenius variant of Seshadri constants
zbMATH Open document ID: 1296.14007
author: Mircea Mustaţă
author: Karl Schwede
published in: Mathematische Annalen
publication date: 2014-04-30T00:00:00Z
full work available at URL: https://arxiv.org/abs/1203.1081
review text: Let \(X\) be a projective variety of dimension \(n\) over an algebraically closed field of \(\text{char\,}p> 0\) and let \(L\) be an ample line bundle over \(X\). The authors define and study a new version of Seshadri constants for \(L\). They prove that ower bounds for this constant imply the global generation or very ampleness of the corresponding adjoint line bundle. Specifically, for any smooth point \(x\in X\), let \(s_F(L^m; x)\) be the largest integer \(e\) such that the restriction map \[ H^0(X, L^m)\to H^0(X, L^m\otimes O_X/{\mathfrak m}^{[p^e]}_x) \] is surjective, where \({\mathfrak m}^{[p^e]}_x\) is the ideal locally generated by the \(p^e\)-powers of the generators of the maximal ideal \({\mathfrak m}_x\) of the local ring of \(X\) at \(x\). Now, the authors define the Frobenius-Seshadri constant by: \[ \varepsilon_F(L; x):= \sup_{m\geq 1} {p^{s_F(L^m; x)}- 1\over m}. \] The main result of the paper asserts that if \(X\) is smooth and (a) if \(\varepsilon_F(L; x)> 1\), then \(\omega_X\otimes L\) is globally generated at \(x\), and (b) if \(\varepsilon_F(L; x)> 2\) for each \(x\in X\), then \(\omega_X\otimes L\) is very ample. Let \(\varepsilon(L; x)\) be the (classical) Seshadri constant introduced by Damailly. Then, it is easy to see that \(\varepsilon_F(L; x)\geq\varepsilon(L; x)/n\). Thus, from the above result, one deduces that (a') if \(\varepsilon(L; x)> n\), then \(\omega_X\otimes L\) is globally generated at \(x\), and (b') if \(\varepsilon(L; x)> 2n\) for each \(x\in X\), then \(\omega_X\otimes L\) is very ample. The characteristic zero analogues of (a') and (b') were obtained easily as consequences of the Kawamata-Viehweg vanishing theorem. The authors compare the two Seshadri and Frobenius-Seshadri constants in the case of torus-invariant points on smooth toric varieties in terms of the polytope combinatorics.
reviewed by: Shrawan Kumar
Mathematics Subject Classification ID: 14C20
Mathematics Subject Classification ID: 13A35
zbMATH DE Number: 6290723
zbMATH Keywords: Seshadri constant
zbMATH Keywords: Frobenius-Seshadri constant
zbMATH Keywords: globally generated
MaRDI profile type: Publication
OpenAlex ID: W3106215370
arXiv ID: 1203.1081
cites work: A primer on Seshadri constants
cites work: Frobenius splitting methods in geometry and representation theory
cites work: Q4027238
cites work: Generation of \(k\)-jets on toric varieties
cites work: Local positivity of ample line bundles
cites work: Q4296924
cites work: Q3672104
cites work: Introduction to Toric Varieties. (AM-131)
cites work: Characterizations of Regular Local Rings of Characteristic p
cites work: Seshadri constants via toric degenerations
cites work: Q4821063
DOI: 10.1007/S00208-013-0976-4
Recommended article: Q4650877
Recommended article: Seshadri Constants on Abelian Varieties
Recommended article: On Seshadri constants of non-simple abelian varieties
Recommended article: Frobenius-Seshadri constants and characterizations of projective space
Recommended article: Seshadri constants on some Quot schemes
Recommended article: On a Generalization of the Frobenius Number
Recommended article: The Frobenius number and \(a\)-invariant
Recommended article: Seshadri constants, Diophantine approximation, and Roth's theorem for arbitrary varieties
Recommended article: Seshadri constants and periods of polarized abelian varieties
Recommended article: Seshadri constants on abelian surfaces
description: scientific article