VOLUMES OF LINE BUNDLES AS LIMITS ON GENERICALLY NONREDUCED SCHEMES ROBERTO NU´ NEZ˜ Abstract. The volume of a line bundle is defined in terms of a lim- sup. It is a fundamental question whether this limsup is a limit. It has been shown that this is always the case on generically reduced schemes. We show that volumes are limits in two classes of schemes that are not necessarily generically reduced: codimension one subschemes of projec- tive varieties such that their components of maximal dimension contain normal points and projective schemes whose nilradical squared equals zero. 1. Introduction Let X be a proper scheme of dimension d over a field k. Let L be a line bundle on X. The volume of L is defined as follows: 0 L n L dimk H (X, ) vol( ) := limsup d . n→∞ n /d! This invariant is defined in [9, Definition 2.2.31], where several interesting properties are derived. A fundamental problem to study is whether the limsup in the definition of volume is a limit. Whenever this is the case, we will say that the volume of L exists as a limit. In this direction, we have the following theorem. Theorem 1.1 ([2, Theorem 10.7]). Suppose that X is a proper scheme of dimension d over a field k. Let be the nilradical of X. Assume that dim(Supp( )) < d. Let L be a lineN bundle on X. Then, the limit N arXiv:2009.08249v2 [math.AG] 9 Feb 2021 dim H0(X, L n) lim k n→∞ nd exists. That is, vol(L ) exists as a limit. An example of a line bundle on a projective variety where the limit in Theorem 1.1 is an irrational number is given in Example 4 of Section 7 of [5]. Theorem 1.1 has been proven by Lazarsfeld and Mustat¸˘a[10] for big line bundles and by Kaveh and Khovanskii [8] for graded linear series (see definition below), both under the assumption that k is an algebraically closed 2010 Mathematics Subject Classification. 14C40, 14C17. Key words and phrases. volume of line bundle, projective scheme. 1 2 ROBERTO NU´ NEZ˜ field. These proofs use a method invented by Okounkov [14] which reduces the situation to a problem of counting points in an integral semigroup. In these proofs, the assumption that the base field is algebraically closed is necessary. The proof of Theorem 1.1 also uses Okounkov’s technique. Recall that X is a proper scheme over a field k. To any line bundle L on X we can associate a section ring R(L ) := H0(X, L n). n M≥0 Under the inclusion k X (X), this is a graded k-algebra. One is naturally led to consider graded⊂ subalgebras O of this section ring. For example, fix a line bundle L and let Xred be the reduced scheme associated to X. For N L n all n , the natural morphism X Xred can be tensored with to induce∈ maps of vector spaces O → O 0 n 0 n Φn : H (X, L ) H (Xred, (L X ) ). → | red Since the global section functor is not right-exact, it is not in general true that the k-algebra 0 n L := Φn H (X, L ) n M≥0 L is equal to the section ring associated to Xred on Xred. It is however the L | case that L is a k-subalgebra of R( Xred ). A graded linear series on X, often simply| called a linear series, is a graded k-subalgebra L = n≥0Ln of a section ring R(L ) of some line bundle L on X. The linear series⊕ L is said to be complete if L = R(L ). We define the volume of a linear series L on X as follows: dimk Ln vol(L) := limsup d . n→∞ n /d! Notice that when L is a complete linear series, we recover the definition of volume of the corresponding line bundle. The following theorem is a consequence of [2, Theorem 1.4] and [2, The- orem 10.3]. Theorem 1.2. Suppose that X is a d-dimensional projective scheme over a field k with d> 0. Let be the nilradical of X. Then, the following are equivalent: N 1) For every graded linear series L on X there exists a positive integer r (depending on L) such that the limit dim L lim k rn n→∞ nd exists. 2) dim(Supp( )) < d. N VOLUMES OF LINE BUNDLES AS LIMITS ON GENERICALLY NONREDUCED SCHEMES3 The implication 1) = 2) of Theorem 1.2 is proven by constructing, on any given projective scheme⇒ not satisfying 2), a linear series L such that the limit in 1) does not exist (for any r). In particular, the volume vol(L) does not exist as a limit. This linear series, however, is not a complete linear series. Therefore, the following question was raised in [4]. Question 1.3. Let X be a projective scheme over a field and let L be a line bundle on X. Does the volume of L exist as a limit? This question has a positive answer whenever dim(Supp( )) < d by The- orem 1.1. In [4], Question 1.3 was answered affirmativelyN for codimension one subschemes of nonsingular varieties. In this paper, we also give a posi- tive answer in the following two situations. Theorem 1.4. Let X be a (d + 1)-dimensional projective variety over an arbitrary field. Let Y X be a subscheme of codimension one. Assume that no component of Y of⊂ maximal dimension is contained in the nonnormal locus of X. Let L be a line bundle on Y . Then, the limit dim H0(Y, L n) lim k n→∞ nd exists. That is, vol(L ) exists as a limit. Theorem 1.5. Let X be a d-dimensional projective scheme over an arbi- trary field. Suppose that the nilradical of X has the property that 2 = 0. Let L be a line bundle on X. Then, theN limit N dim H0(X, L n) lim k n→∞ nd exists. That is, vol(L ) exists as a limit. I thank my advisor Dale Cutkosky for his invaluable help during the preparation of this work. 2. Notation and Terminology Let X be a d-dimensional proper scheme over an arbitrary field. The scheme X is said to be a variety if it is integral. For any coherent X - module , we will use the following notation: O F i i h (X, ) = dimk H (X, ). F F Let L and represent an invertible sheaf and a coherent sheaf on X, respectively.F We define the volume of with respect to L to be F h0 (X, L n) volL ( ) := limsup Fd ⊗ . F n→∞ n /d! We say that the volume of with respect to L exists as a limit if the F limsup above is actually a limit. Notice that volL ( X ) = vol(L ) is the O 4 ROBERTO NU´ NEZ˜ volume of the invertible sheaf L as defined in Section 1. In fact, Lemma 3.5 shows that if vol(L ) exists as a limit, then volL ( ) = vol(L ) whenever is invertible. F F The nilradical of a scheme X is the kernel of the natural surjection X O → Xred , where Xred is the reduced scheme associated to X. The nilradical of XO will be denoted (X) or simply if there is no danger of confusion. Following [12, LectureN 9], we sayN that a global section s of a line bundle L on a scheme X is a non-zero-divisor if the map X L induced by s is injective. Locally, this means that for any point Op →X and some (any) ∈ trivialization ϕ: Lp X,p, the element ϕ(s) is a non-zero-divisor in the → O local ring X,p. Let L beO a linear series on X. When X is a variety, we define the index of L to be natural number m(L) := [Z : G], where G is the group generated by the semi-group n N: Ln = 0 . We define the index of a line bundle L on a variety to{ be∈ the index6 } of the complete linear series R(L ). If X is an irreducible scheme, we define the rank of any generically free coherent X -module to be the rank of the free X,ξ-module ξ, where ξ is the genericO point ofFX. O F Throughout this paper, the term “divisor” will always refer to a Cartier divisor. For divisors A and B, we will write A B to indicate linear equivalence. ∼ We will often use the term “line bundle” to refer to invertible sheaves. 3. Preliminary Results 3.1. Volumes and Exact Sequences. Lemma 3.1. Let X be a proper scheme over a field k. Let L be an invertible sheaf. Let 0 0 → F1 → F2 → F3 → be an exact sequence of coherent X -modules. Let 1, 2, 3 = i, j, k . Sup- O { } { } pose that the volume of i with respect to L exists as a limit and that k is supported on a closed subsetF of dimension strictly less than dim(X). Then,F the volume of j with respect to L exists as a limit as well. Moreover, F volL ( i) = volL ( j). F F The proof of Lemma 3.1 consists of tensoring the given exact sequence with powers of L , taking cohomology, and using the fact that for any co- herent X -module and for all i we have that O F hi(X, L n) lim F ⊗ = 0 n→∞ ndim(X) VOLUMES OF LINE BUNDLES AS LIMITS ON GENERICALLY NONREDUCED SCHEMES5 whenever dim(Supp( )) < dim(X) ([6, Proposition 1.31]).