Generation of \(k\)-jets on toric varieties (Q1297973): Difference between revisions

Let \(X\) be a nonsingular complete algebraic variety over the field of complex numbers. Generalizing a notion introduced by \textit{J. P. Demailly} [in: Complex Algebraic Varieties, Proc. Conf., Bayreuth 1990, Lect. Notes Math. 1507, 87-104 (1992; Zbl 0784.32024)], \textit{M. C. Beltrametti} and \textit{A. J. Sommese} [in: Complex Analysis and Geometry, The Univ. Ser. Math., 355-376 (1993; Zbl 0806.14014)] introduced the notion of \(k\)-jet ampleness: A line bundle \(L\) on X is said to be \(k\)-jet ample if for any finite collection of points \(\{x_1,\ldots,x_r\}\subset X\) and any \(r\)-tuple of positive integers \((k_1,\ldots,k_r)\) with \(\sum k_i=k+1\), the natural map \[ H^0(X,L)\rightarrow\bigoplus_{1\leq j\leq r} L\otimes_{{\mathcal O}_{X,x_i}}{\mathcal O}_{X,x_i}/{\mathfrak m}_{x_i}^{k_i} \] is surjective, where \({\mathfrak m}_{x_i}\) is the maximal ideal of the local ring \({\mathcal O}_{X,x_i}\) at \(x_i\). For \(k'\leq k\), we easily see that \(k\)-jet ampleness implies \(k'\)-jet ampleness. \(L\) is easily seen to be \(0\)-jet ample (resp.\ \(1\)-jet ample) if and only if \(L\) is generated by global sections (resp.\ very ample). When \(X\) is a nonsingular complete toric variety corresponding to a fan \(\Delta\), a line bundle \(L\) can be described in terms of a \(\Delta\)-linear support function \(\psi_L\). Generalizing the ampleness criterion in terms of the convexity of \(\psi_L\) and the toric Nakai criterion, found, for instance, in the reviewer's book [\textit{T. Oda}, ``Convex bodies and algebraic geometry. An introduction to the theory of toric varieties'' (1988; Zbl 0628.52002)], the author shows the equivalence of the following: (1) \(L\) is \(k\)-jet ample; (2) \(L\cdot C\geq k\) for any \(T\)-invariant curve \(C\), where \(T\) is the algebraic torus for the toric variety \(X\); (3) \(\psi_L\) is \(k\)-convex; (4) the Seshadri constant \(\varepsilon(L,x)\geq k\) for each \(x\in X\).