arXiv:2009.08249v2 [math.AG] 9 Feb 2021 hoe . sa rainlnme sgvni xml fSe of 4 Example in given is number irrational [5]. an is 1.1 Theorem iebnlsadb ae n hvnki[]frgae linea graded for that [8] assumption Khovanskii the under and both Kaveh below), definition by and bundles line dim(Supp( dimension udeon bundle hoe 1.1 Theorem is this wh Whenever theorem. of is limit. following volume study a the the is to that volume say problem of will fundamental definition sev the where A in 2.2.31], limsup Definition derived. [9, are in properties defined is invariant This xss htis, That exists. hoe . a enpoe yLzrfl n Mustat¸˘a [10] and Lazarsfeld by proven been has 1.1 Theorem neapeo iebnl napoetv ait hr h l the where variety projective a on bundle line a of example An Let 2010 e od n phrases. and words Key X ahmtc ujc Classification. Subject Mathematics omlpit n rjcieshmswoenlaia squa nilradical whose schemes projective dimens zero. maximal and of points components normal their that that schemes subsche such of one varieties classes tive codimension two in reduced: reduce generically limits generically lim on are necessarily a case volumes is the that limsup always show this is We whether this that question shown fundamental been a is It sup. Abstract. OUE FLN UDE SLMT ON LIMITS AS BUNDLES LINE OF VOLUMES eapoe ceeo dimension of scheme proper a be EEIAL ORDCDSCHEMES NONREDUCED GENERICALLY N X d The . )) vrafield a over d < [,Term10.7]) Theorem ([2, vol( h oueo iebnl sdfie ntrso lim- a of terms in defined is bundle line a of volume The Let . volume L vol( ) oueo iebnl,poetv scheme. projective bundle, line of volume L xssa limit. a as exists L ) k n of lim Let . : →∞ ealn udeon bundle line a be i sup lim = L 1. OET N ROBERTO L Introduction xssa ii.I hsdrcin ehave we direction, this In limit. a as exists n dim →∞ sdfie sfollows: as defined is N . k ups that Suppose 1 H etenlaia of nilradical the be 44,14C17. 14C40, dim 0 n ( d X, U ´ k NEZ ˜ d H n L vrafield a over d 0 /d ( n X, ) X ! k hn h limit the Then, . L X sa lerial closed algebraically an is n sapoe ceeof scheme proper a is ) . e fprojec- of mes k Let . X o contain ion schemes. d e equals red suethat Assume . t thas It it. rlinteresting eral r not are h ae we case, the eis(see series r L to of 7 ction te the ether ealine a be mtin imit o big for 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]). The following corollaryF shows that the existence of volumes as limits is preserved by morphisms of sheaves that are isomorphisms away from closed sets of dimension smaller than the dimension of the ambient scheme. Corollary 3.2. Let X be a proper scheme over a field k. Let L be an invertible sheaf. Let

0 0 →K→F→G→C→ be an exact sequence of coherent X -modules. Suppose that and are supported on closed subsets of dimensionO strictly less than dim(K X).C Then the volume of with respect to L exists as a limit if and only if the volume of with respectF to L exists as a limit and then G

volL ( ) = volL ( ). F G Proof. We break up the given exact sequence into the following two exact sequences:

0 / 0 →K→F→F K→ and

0 / 0. → F K→G→C→ If the volume of with respect to L exists as a limit, we apply Lemma 3.1 to the first sequenceF to conclude that the same is true for / and that F K volL ( / ) = volL ( ). Then, by Lemma 3.1 and the second sequence, we F K F see that the volume of with respect to L exists as a limit and volL ( )= G G volL ( / ) = volL ( ). AnF analogousK argumentF shows that if the volume of with respect to L G exists as a limit, then the same is true for and volL ( ) = volL ( ). F F G 

3.2. Non-zero-divisors, Invertible Sheaves, and Cartier Divisors. Lemma 3.3. Let X be a projective scheme over a field. Let M be an invertible sheaf on X and let A be an ample invertible sheaf. Then, there 0 n exists an n0 N such that H (X, A M ) contains a non-zero-divisor for n n . ∈ ⊗ ≥ 0 Proof. Let V1,...,Vs be the associated subvarieties of X and choose closed s points xi Vi. Let = x , where x is the ideal sheaf of the point xi. ∈ I ⊕i=1I i I i We have a short exact sequence of X -modules O s 0 X x 0. →I→O → O i → i M=1 6 ROBERTO NU´ NEZ˜

Tensor this exact sequence with A n M and take cohomology. By Serre’s Vanishing Theorem, for n 0, we have⊗ an exact sequence ≫ s 0 n H (X, A M ) k(xi) 0, ⊗ → → i M=1 where k(xi) is the residue field of the point xi. Thus, there exists a section 0 n s H (X, A L ) which does not vanish at any of the xi. It follows that ∈ ⊗ s is a non-zero-divisor on X since it does not vanish along any of the Vi. O 

For any scheme X, the association D X (D) gives an injective ho- momorphism from the group of Cartier divisors→ O modulo linear equivalence to Pic(X) (see [7, Corollary II.6.14]). Nakai [13] has shown that if X is a projective scheme over an infinite field, then this homomorphism is an iso- morphism. We deduce the known fact that this is still the case for projective schemes over arbitrary fields. Corollary 3.4. Let X be a projective scheme over a field. Then, for any invertible sheaf L , there exists a Cartier divisor D such that L X (D). Moreover, under the identification described above, Pic(X) is generated≃ O by effective divisors. Proof. Choose an ample line bundle A on X. After perhaps replacing A with a positive power of itself, we can use Lemma 3.3 with M = X to find 0 O a non-zero-divisor t H (X, A ). Then A X (H), where H := div(t). Again by Lemma∈ 3.3, for some n N,≃ we O can find a non-zero-divisor 0 ∈ s H (X, X (nH) L ). Thus, X (nH) L X (div(s)). Setting ∈ O ⊗ O ⊗ ≃ O D = div(s) nH, we get that L X (D). For the last− statement of the corollary,≃ O simply notice that D is a difference of effective divisors. 

3.3. A Lemma on Volume. We now show that volumes are unaffected by tensoring with invertible sheaves. Lemma 3.5. Let X be a projective scheme over a field. Let L and M be invertible sheaves on X. Suppose that the volume of L exists as a limit. Then, volL (M ) also exists as a limit and

volL (M ) = vol(L ).

Proof. By Corollary 3.4, we can assume that M = X (D) for some Cartier divisor D. Let us consider first the case where DOis effective. We have a short exact sequence

0 X ( D) X D 0 → O − → O → O → which, after tensoring with X (D), becomes O VOLUMES OF LINE BUNDLES AS LIMITS ON GENERICALLY NONREDUCED SCHEMES7

0 X X (D) D X (D) 0. → O → O → O ⊗ O → Now, volL ( X ) = vol(L ) exists as a limit by assumption. Also, the sheaf O D X (D) is supported on a closed set of dimension smaller than the O ⊗ O dimension of X. Thus, by Lemma 3.1, volL ( X (D)) exists as a limit and O vol(L ) = volL ( X (D)). Suppose nowO that D is an arbitrary Cartier divisor. Thanks to Corol- lary 3.4, we can write D A B where both A and B are effective Cartier divisors. Since B is effective,∼ − we have a short exact sequence

0 X ( B) X B 0. → O − → O → O → We can tensor the sequence above with X (A) and get O

0 X (D) X (A) B X (A) 0. → O → O → O ⊗ O → Since A is effective, we proved above that volL ( X (A)) exists as a limit and O vol(L ) = volL ( X (A)). Moreover, the sheaf B X (A) is supported on a closed set of dimensionO smaller than the dimensionO ⊗ O of X. By Lemma 3.1, we conclude that volL ( X (D)) exists as a limit and O

volL ( X (D)) = volL ( X (A)) = vol(L ). O O 

3.4. Volumes of generically free coherent sheaves with respect to line bundles. Lemma 3.6. Let X be an irreducible projective scheme over a field and let L be a line bundle on X whose volume exists as a limit. Let be a generically free coherent sheaf. Then the volume of with respectF to L exists as a limit and F

volL ( ) = rank( )vol(L ). F F Proof. Let A be an ample line bundle such that A is generated by global sections. Let ξ be the generic point of X. Let n =F⊗ rank( ). Choose n global F sections s1,...,sn such that they form a basis of ( A )ξ over X,ξ. These n F⊗ O n sections induce a map i=1 X , which is an isomorphism at the generic point. We have then⊕ aO short→F⊗A exact sequence

n 0 X A 0, →K→ O →F⊗ →C→ i M=1 where dim(Supp( )) < dim(X) and dim(Supp( )) < dim(X). Tensoring with M := A −1 weK get C

n 0 M M M 0. →K⊗ → →F→C⊗ → i M=1 8 ROBERTO NU´ NEZ˜

Notice that

n volL M = n volL (M ) = rank( ) volL (M ) F i ! M=1 exists as a limit by Lemma 3.5. The result now follows from Corollary 3.2 applied to the second exact sequence. 

4. Existence of Volumes of Linear Series on Varieties In this section we will state a fundamental result regarding volumes of linear series. The main theorems in this paper will depend crucially on this theorem. Theorem 4.1 was proven in [10] for certain linear series on projec- tive varieties over an algebraically closed field and in [8] for arbitrary linear series on projective varieties over algebraically closed fields. The following theorem follows from [2, Theorem 8.1]. Theorem 4.1 (Cutkosky). Let X be a d-dimensional proper variety over a field k. Let L be a graded linear series on X and let m = m(L) be its index. Then,

dim L lim k mn n→∞ nd exists. Let L be a line bundle on a proper variety. It can be shown that if vol(L ) > 0, then the index of L is equal to one (the index of a line bundle is defined in Section 2). We can thus take L = R(L ) in Theorem 4.1 to show that the volume of any line bundle on a proper variety exists as a limit.

5. Nilradicals and Volumes The following proposition refines [4, Proposition 4.1]. The first part of the proof is as in [4], but we repeat it here for the reader’s convenience. Proposition 5.1. Let X be an irreducible projective scheme over a field k. Let be the nilradical of X. Let L be an invertible sheaf on X. Suppose N that volL ( ) exists as a limit. Then, vol(L ) exists as a limit as well and we have theN formula

vol(L ) = vol(L) + volL ( ), N where L is the linear series obtained by restricting the sections of L to Xred. Moreover, either m(L) = 1 or vol(L) = 0. Proof. Let d = dim(X). Fix n N. The short exact sequence ∈

0 X X 0 →N →O → O red → can be tensored with L n to get VOLUMES OF LINE BUNDLES AS LIMITS ON GENERICALLY NONREDUCED SCHEMES9

n n n 0 L L (L X ) 0. →N⊗ → → | red → Taking global sections and using the additivity of dimension we get that

0 n 0 n h (X, L ) h (X, L ) dimk Ln (5.1) = N ⊗ + , nd/d! nd/d! nd/d! 0 n 0 n where Ln = image H (X, L ) H (Xred, (L X ) ) . The k-algebra → | red L = nLn is a graded linear series associated to L X . Fix an ample divi- ⊕ | red
sor A such that there exist sections α H0(X, A ) and β H0(X, A L ) that are non-zero-divisors. The fact that∈ this is possible is∈ a consequence⊗ of Lemma 3.3. We have in particular that the restrictions α X and β X to | red | red Xred are not zero. This is the case since α and β are non-zero-divisors and Xred is an associated subvariety of X. We consider two cases. Case 1. Suppose that there exists n0 > 0 such that the restriction map

0 −1 n0 0 −1 n0 H (X, A L ) H (Xred, A (L X ) ) ⊗ → ⊗ | red 0 −1 n is not zero. Choose γ H (X, A L 0 ) such that γ X = 0. Since ∈ ⊗ | red 6 Xred is a variety,

0 = α X γ X Ln 6 | red ⊗ | red ∈ 0 and

0 = β X γ X Ln . 6 | red ⊗ | red ∈ 0+1 It follows that the index of L is equal to 1. By Theorem 4.1, vol(L) exists as a limit. Recall that volL ( ) exists as a limit by assumption. Taking limits in (5.1) one gets that vol(NL ) exists as a limit and

vol(L ) = vol(L) + volL ( ). N Case 2. Suppose now that for all n> 0 the restriction map

0 −1 n 0 −1 n H (X, A L ) H (Xred, A (L X ) ) ⊗ → ⊗ | red −1 is the zero map. We begin by showing that volL ( A ) exists as a limit and N⊗

−1 (5.2) volL ( A ) = volL ( ). N ⊗ N The global section α of A induces a short exact sequence

−1 (5.3) 0 A X H 0, → → O → O → where H := div(α) is a closed subscheme of dimension smaller than the dimension of X. We can tensor this exact sequence with to get N 10 ROBERTO NU´ NEZ˜

−1 0 A H 0. →K→ ⊗N→N→O ⊗N → We will show that = 0. Let p X and let f X,p be a local equation K ∈ ∈ O for α at p. We have that f is a non-zero-divisor on X,p. Moreover, since O −1 p X,p, then f is a non-zero-divisor on p. Thus, (A )p p is N ⊂ O N ⊗N →N injective and p = 0. Since p was arbitrary, = 0. Therefore,K we have a short exact sequenceK

−1 0 A H 0. → ⊗N→N→O ⊗N → Since volL ( ) exists as a limit by assumption, we can apply Lemma 3.1 to N −1 conclude that volL ( A ) exists as a limit and (5.2) holds. It follows from theN assumption ⊗ of Case 2 that

H0(X, A −1 L n) = H0(X, A −1 L n) N ⊗ ⊗ ⊗ −1 for all n> 0. This shows the volL (A ) exists as a limit and

−1 −1 (5.4) volL (A ) = volL ( A ). N ⊗ Finally, apply Lemma 3.1 to the short exact sequence (5.3) to get that vol(L ) exists as a limit and

−1 (5.5) vol(L ) = volL (A ). Combining (5.2), (5.4), and (5.5), we get the relation

vol(L ) = volL ( ). N Looking back at (5.1), this shows that vol(L) = 0. 

6. Proof of Theorem 1.4 As a first step towards proving Theorem 1.4, we address the case where X is normal and the subscheme Y has an invertible ideal sheaf. So, our first goal is to prove the following proposition. Proposition 6.1. Let X be a normal projective variety over an arbitrary field. Let be a locally principal ideal sheaf with associated closed subscheme Y . Then,I the volume of any invertible sheaf on Y exists as a limit. We will begin by proving a special case of this proposition, but before we need some preliminaries. Let X be a Noetherian scheme. Let X be a prime ideal sheaf, that is, is an ideal sheaf whose associatedP ⊂closed O subscheme Y is integral. Let ξ beP the generic point of Y . We define the nth symbolic power of , denoted (n), to be the ideal sheaf given as the kernel of the natural mapP P VOLUMES OF LINE BUNDLES AS LIMITS ON GENERICALLY NONREDUCED SCHEMES11

X,ξ X O n . O → mξ n We agree that the homomorphism X (U) X,ξ/m is the zero map O → O ξ whenever ξ / U. Thus, if U X is an open set not containing ξ, we have (n) ∈ ⊂ that (U)= X (U). On the other hand, for an affine open subset U X P O ⊂ containing ξ, (n)(U) is equal to the nth symbolic power of the prime ideal P (U) in the ring X (U). P O Proposition 6.2. Let X be a normal projective variety over an arbitrary field. Let be a prime ideal sheaf with associated integral subscheme Y . Assume thatP Y has codimension one. Let m be a positive integer. Denote by Y (m) the subscheme associated to the ideal sheaf (m). Then, the volume of any invertible sheaf on Y (m) exists as a limit. P Proof. We argue by induction on m, where the case m = 1 follows from Theorem 4.1 ([2, Proposition 8.1]) since Y = Y (1) is a projective variety. Fix some m> 1. Let be the nilradical of Y (m) and let L be an invertible sheaf on Y (m). By PropositionN 5.1, since Y (m) is irreducible, it is enough to prove that volL ( ) exists as a limit and we now proceed to do so. N We first show that is generically free of rank one as an Y (m−1) -module. N (m) (m−1) O Notice that = / is a (m−1) = X / -module, since N P P OY O P P · (m−1) (m). Let ξ be the generic point of Y . Since X is normal and PY has codimension⊂ P one, X must be nonsingular at ξ. We then have that (m) m ξ = (f) for some f X,ξ. Since ξ is principal, = and then P ∈ O P Pξ Pξ (m) m ξ = ξ/ ξ = (f)/(f ) is free of rank one as a Y (m−1),ξ-module. N P P L O By induction, the volume of Y (m−1) exists as a limit. By Lemma 3.6, we have that |

L − volL | − ( ) = vol( Y (m 1) ) Y (m 1) N | and these volumes exist as limits. Now, for any n N, since is both an ∈ N (m) -module and an (m−1) -module, we have that OY OY 0 (m) n 0 (m−1) n H (Y , L ) = H (Y , (L (m−1) ) ) N ⊗ N ⊗ |Y and hence the limit

0 (m) L n 0 (m−1) L n h Y , h Y , ( Y (m−1) ) volL ( ) = lim N ⊗ = lim N ⊗ | n d n d N →∞ n /d!
→∞ n /d!
= volL | − ( ) Y (m 1) N exists, where d = dim(Y (m)) = dim(Y (m−1)). By Proposition 5.1, the proof is complete.  12 ROBERTO NU´ NEZ˜

Remark. Notice that we have also shown in the proof that

volL ( ) = vol(L (m−1) ). N |Y By Proposition 5.1, we obtain the relation

(6.1) vol(L ) = vol(L (m−1) ) + vol(L), |Y where L is the linear series obtained by restricting the sections of L to Y . Moreover, either m(L) = 1 or vol(L) = 0. If we assume that L is a nef invertible sheaf, we can refine (6.1). Under this additional assumption, we claim that vol(L Y ) = vol(L). Indeed, let | d = dim(Y (m)) and take cohomology of the short exact sequence

n n n 0 L L Y L 0 →N⊗ → → O ⊗ → to obtain

0 (m) n 0 (m) n 0 n 0 H (Y , L ) H (Y , L ) H (Y, (L Y ) ) Vn 0, → N ⊗ → → | → → 0 n 1 (m) n where Vn is the image of the map H (Y, (L Y ) ) H (Y , L ). In particular, we have the relation | → N ⊗

0 n 0 (m) n 0 (m) n (6.2) h (Y, (L Y ) )= h (Y , L ) h (Y , L )+dimk(Vn). | − N ⊗ Now, by [6, Proposition 1.31], since L is nef, we have that

1 (m) n dimk Vn h (Y , L ) lim lim N ⊗ = 0. n→∞ nd ≤ n→∞ nd Thus, dividing (6.2) by nd/d! and letting n go to infinity we see that

vol(L Y ) = vol(L ) volL ( ), | − N and the quantity on the right is exactly vol(L). Therefore, (6.1) yields by induction the relation

vol(L )= m vol(L Y ). · | It is known [9, Section 2.2.C] that, when L is a nef invertible sheaf,

vol(L ) = (L )d, where (L )d is the top self-intersection of L . The equation above is then equivalent to

d d (L ) = m (L Y ) . · |

Before giving the proof of Proposition 6.1, for lack of a precise reference, we state here as a lemma the following standard fact. VOLUMES OF LINE BUNDLES AS LIMITS ON GENERICALLY NONREDUCED SCHEMES13

Lemma 6.1. Let R be a Noetherian normal domain and let I be a proper nonzero principal ideal. Then, there exist height one prime ideals P1,...,Pt and positive integers n1,...,nt such that

I = P (n1) P (nt). 1 ∩···∩ t Proof. We have an irredundant primary decomposition

I = Q Qt, 1 ∩···∩ where the Qi are primary ideals. By [11, Theorem 11.5], the prime ideals Pi = √Qi have height one. Thus, for any i, we can localize at Pi to get

(6.3) IPi = (Qi)Pi , thanks to [1, Proposition 4.8.(i)]. Since R is normal and Pi has height one, the ring R is a DVR. Thus, I = (P )ni for some positive integer n . We Pi Pi i Pi i can then contract (6.3) back to R and apply [1, Proposition 4.8.(ii)] to get that

(ni) Pi = Qi. 

Proof of Proposition 6.1. Since X is normal and locally principal, there I exist prime ideal sheaves ,..., t such that P1 P = (n1) (nt). I P1 ∩···∩Pt Moreover, the varieties associated to the ideal sheaves i have codimension one in X. This follows from Lemma 6.1 applied to anP affine open cover of (ni) (ni) X. Let Yi be the subscheme associated to the ideal sheaf i . This decomposition gives an exact sequence P

t

0 Y (ni) 0. → O → OYi →C→ i Y=1 The sheaf is supported on a closed subset of dimension smaller than the di- C L t mension of Y . Let be an invertible sheaf on Y . The volume of i=1 (ni) OYi L with respect to exists as a limit by Proposition 6.2. By LemmaQ 3.1, the volume of L exists as a limit and

t

vol(L )= vol L (n ) . |Yi i i X=1    14 ROBERTO NU´ NEZ˜

We are now ready to give a proof of Theorem 1.4. We recall the notation for convenience. In the following, X will represent a variety over an arbitrary field and Y will denote a subscheme of X of codimension one. Moreover, we assume that no codimension one component of Y is contained in the nonnormal locus of X.

Proof of Theorem 1.4. Let V be the nonsingular locus of X and let Z be a codimension one component of Y . We claim that V Z = . To see this, first let W be the normal locus of X. By assumption,∩ W6 ∅ Z is a closed codimension one subset of W . Since W is a normal open subscheme∩ of X, its singular locus has codimension at least two and hence W Z must contain a nonsingular point of W . But this point is also nonsingular∩ in X since W is open and hence V Z = as we claimed. ∩ 6 ∅ Let π : X X be the normalization of the blow-up of the ideal sheaf Y of Y in X.→ By [3, Lemma 6.11] (which is valid over arbitrary fields), thI e morphismeπ is an isomorphism over the open set

U := p X : p is normal and Y,p is a principal ideal . { ∈ I } Notice that every codimension one component of Y intersects U. Indeed, every component of Y contains a nonsingular point of X, nonsingular points are normal, and the ideal sheaf is principal at nonsingular points since Y is of codimension one. I Let Y be the total transform of Y in X, that is, Y is the closed subscheme of X given by the invertible ideal sheaf Y e . The morphism π restricts to I OX a morphisme Y Y , which we also call πe. We havee that π is an isomorphism e → over Y U. Moreover, π∗ Ye is a coherent Y -module since both X and X are projective∩ e varieties (andO hence π is a projectiveO morphism). We have an exact sequence e

0 Y π e 0, →K→O → ∗OY →C→ where the sheaves and are supported on closed subsets of dimension smaller than the dimensionK C of Y . Let L be an invertible sheaf on Y . By N L n ∗L n the projection formula, for any n , we have that π∗ Ye = π∗ (π ) ∈ O ⊗ ∗ ∼ and hence volL (π e ) exists as a limit if and only if vol(π L ) exists as a ∗OY limit. Now, notice that Y is a closed subscheme of the normal projective variety X given by an invertible ideal sheaf. By Proposition 6.1, the volume of π∗L exists as a limit.e By Corollary 3.2 applied to the exact sequence above, thee volume of L exists as a limit. Moreover,

∗ vol(L ) = volL (π e ) = vol(π L ). ∗OY  VOLUMES OF LINE BUNDLES AS LIMITS ON GENERICALLY NONREDUCED SCHEMES15

7. Projective Schemes with 2 = 0 N 7.1. Volumes of Coherent Sheaves on Reduced Schemes. The fol- lowing proposition shows that the volume of a coherent X -module with respect to an invertible sheaf always exists on reduced scheO mes. Together with Proposition 5.1, this result is the main ingredient in the proof of The- orem 1.5 Proposition 7.1. Let X be a reduced projective scheme over an arbitrary field. Let X1,...,Xr be the irreducible components of X of maximal dimen- sion. Let L be an invertible sheaf on X and let be a coherent X -module. Then, the volume of with respect to L existsF as a limit andO we have the formula F

r volL ( )= rank( X ) vol(L X ), F F| j | j j X=1 L where the volumes vol( Xj ) exist as limits since the Xj are projective va- rieties. | This statement can be deduced with a little work from Lemma 3.6. Proof of Proposition 7.1. Let us assume first that X is irreducible and hence a variety. By the comment after Theorem 4.1, we have that vol(L ) exists as a limit. Let ξ be the generic point of X. If ξ = 0, then is supported on a closed set of dimension smaller than dim(F X) and thenF the limit in question equals zero. Thus, given that X is a variety, we can assume that is generically free. By Lemma 3.6, F

volL ( ) = rank( ) vol(L ) F F exists as a limit. If X is not irreducible, let ξ1,...,ξt be the generic points of the irreducible components X1,...,Xt of X and label them in such a way that, for some r t, X1,...,Xr are all the components of maximal dimension. Since X is reduced,≤ we have a short exact sequence

t 0 X X 0, → O → O j →C→ j Y=1 where is supported on a closed subset of dimension less than the dimension of X. ThisC exact sequence can be tensored with to obtain F

t (7.1) 0 X 0. →K→F→ O j ⊗F→C⊗F→ j Y=1 We claim that is supported on a closed set of dimension smaller than the dimension ofK X. Indeed, for any j, since X is reduced, we have that 16 ROBERTO NU´ NEZ˜

X ,ξ = X,ξ . This shows that the map X is injective at ξj. O j j O j F → j O j ⊗F Hence, ξ = 0 for all j 1,...,t and this implies that dim(Supp( )) < K j ∈ { } Q K dim(X). Since we also have that dim(Supp(C )) < dim(X), we can apply Corollary 3.2 to (7.1) and the invertible sheaf⊗ FL to obtain that

t 0 L n h X, Xj volL ( )= lim O ⊗F⊗ F n→∞ nd/d! j=1
X t 0 n h Xj, X L X = lim F| j ⊗ | j , n→∞ nd/d! j=1

X where the limits in the second equality exist by the case treated above since the Xj are projective varieties. Now, the limit

0 L n h Xj, Xj Xj lim F| d ⊗ | n→∞ n /d!

is equal to zero if dim(Xj) < d, by [6, Proposition 1.31], and equal to volL | ( Xj ) whenever dim(Xj ) = d. Thus, we can consider only the Xj F| components of maximal dimension and obtain the formula

r r L volL ( )= volL | ( Xj )= rank( Xj ) vol( Xj ). F Xj F| F| | j j X=1 X=1 

7.2. Proof of Theorem 1.5. We recall for convenience the notation of Theorem 1.5. In what follows, X will denote a d-dimensional projective scheme over a field k. The nilradical of X will be represented by = (X) and L will denote an invertible sheaf on X. We suppose that N2 = 0.N N Proof of Theorem 1.5. Let us consider first the case where X is irreducible. Let Xred be the closed subscheme of X defined by the ideal sheaf . Notice N that Xred is a variety. In order to apply Proposition 5.1, we have to show 2 that volL ( ) exists as a limit. Since = 0, we have that Ann ( ) N N N ⊂ OX N and, in consequence, has the structure of an Xred -module. It follows that N O

0 n 0 n H (X, L ) = H (Xred, X (L X ) ). N ⊗ N | red ⊗ | red Thus, the limit

h0(X , (L )n) red Xred Xred volL ( ) = lim N | ⊗ | N n→∞ nd/d! L exists by Proposition 7.1 with = Xred . By Proposition 5.1, vol( ) exists as a limit. F N | VOLUMES OF LINE BUNDLES AS LIMITS ON GENERICALLY NONREDUCED SCHEMES17

If X is not irreducible, let 0 = 1 t be an irredundant primary decomposition of the zero ideal sheafQ with∩···∩Q respect to a given projective em- bedding (this can be obtained by sheafifying a primary decomposition of the zero ideal in the coordinate ring of X with respect to the given embedding). Let Yi be the irreducible closed subscheme of X determined by the ideal sheaf i. We have a short exact sequence Q t 0 X Y 0, → O → O i →C→ i Y=1 where the cokernel is supported on a closed set of smaller dimension than X. By Lemma 3.1,C in order to show that vol(L ) exists as a limit, it is enough to show that the limits

0 n 0 n h (X, Y L ) h (Yi, (L Y ) ) lim O i ⊗ = lim | i n→∞ nd n→∞ nd exist for all i. By [6, Proposition 1.31], these limits will be equal to zero whenever Yi is not a subscheme of maximal dimension. Thus, let us assume that Yi has maximal dimension d. Notice that Yi is irreducible. By the case considered at the beginning of the proof, it is enough to show that the 2 nilradical (Yi) of Yi satisfies (Yi) = 0. We prove this by working locally. N N Let U = Spec(R) be an affine open subset of X. If U Yi = , then 2 ∩ ∅ (Yi) U = 0 trivially. We can hence assume that U Yi = . Moreover, to N | ∩ 6 ∅ simplify the notation, suppose that U Yj = for all other indices j as well. ∩ 6 ∅ For otherwise, the ideal sheaves j U = U and we can disregard them in Q | O our considerations. We have j = Qj for ideals Qj of R. Let Pj = Qj. Q Then the ideals Qj are Pj-primary. We have that (X) U = N, where N | p N is the nilradical of R and by assumptionf N 2 = 0. Also notice that ^ ^ e Yi U = R/Qi and (Yi) U = Pi/Qi. Thus, it is enough to show that O2 | N | Pi Qi and we now proceed to do so. In⊂R we have the following relation:

2 2 Q Qt =0= N = (P Pt) . 1 ∩···∩ 1 ∩···∩ Since Yi has maximal dimension, Pi is a minimal prime. We can then localize the equation above at Pi and, with the help of [1, Proposition 4.8.(i)], obtain

2 2 (Qi)Pi = (Pi)Pi = (Pi )Pi . 2 2 By [1, Proposition 4.8.(ii)], Qi = (P )P R P . Therefore, we get i i ∩ ⊃ i 2 ^ 2 2 ^ that (Yi) U = (Pi/Qi) = (Pi + Qi)/Qi = 0. Since U was arbitrary, N2 | (Yi) = 0 and the proof is complete. N 

Remark. As in the previous proposition, let X be a projective scheme over a field with nilradical . Suppose that 2 = 0. Assume for simplicity that X N N 18 ROBERTO NU´ NEZ˜ is irreducible. Let L be in invertible sheaf on X. Theorem 1.5 shows that the volume of L exists as a limit. We now give a formula for this volume.

The nilradical is an Xred -module as explained in the proof of Theo- rem 1.5. Then N O

(7.2) volL ( ) = volL | ( X ) = rank( X ) vol(L X ), N Xred N | red N | red | red where the second equality follows form Proposition 7.1. By Proposition 5.1, we conclude that

vol(L ) = vol(L) + rank( X ) vol(L X ), N | red | red where L is the linear series obtained by restricting the sections of L to Xred. If L is a nef invertible sheaf, as shown in the remark after Proposition 6.2, vol(L) = vol(L X ) and we get the relation | red

vol(L ) = (rank( X ) + 1) vol(L X ). N | red | red References [1] Atiyah, M. and Macdonald, I. (2018). Introduction to commutative algebra. CRC Press. [2] Cutkosky, S. D. (2014). Asymptotic multiplicities of graded families of ideals and linear series. Advances in Mathematics, 264, 55-113. [3] Cutkosky, S. D. (2018). Introduction to Algebraic Geometry (Vol. 188). American Mathematical Soc.. [4] Cutkosky, S. D. and N´u˜nez, R. Volumes of line bundles on schemes, arXiv: 2007.12925. [5] Cutkosky, S. D. and V. Srinivas V. (1993), On a problem of Zariski on dimensions of linear systems, Ann. Math. 137, 531 - 559. [6] Debarre, O. (2013). Higher-dimensional algebraic geometry. Springer Science & Business Media. [7] Hartshorne, R. (2013). Algebraic geometry (Vol. 52). Springer Science and Business Media. [8] Kaveh, K., and Khovanskii, A. G. (2012). Newton-Okounkov bodies, semi- groups of integral points, graded algebras and intersection theory. Annals of Mathematics, 925-978. [9] Lazarsfeld, R. K. (2017). Positivity in algebraic geometry I: Classical setting: line bundles and linear series (Vol. 48). Springer. [10] Lazarsfeld, R., and Mustat¸˘a, M. (2009). Convex bodies associated to linear series. In Annales scientifiques de l’Ecole´ normale sup´erieure (Vol. 42, No. 5, pp. 783-835). [11] Matsumura, H. (1989). Commutative ring theory (Vol. 8). Cambridge uni- versity press. Chicago. [12] Mumford, D., and Bergman, G. M. (1966). Lectures on curves on an alge- braic surface (No. 59). Princeton University Press. [13] Nakai, Y. (1963). Some fundamental lemmas on projective schemes. Trans- actions of the American Mathematical Society, 109(2), 296-302. [14] Okounkov, A. (2003). Why would multiplicities be log-concave?, in The orbit method in geometry and physics, Progr. Math. 213, 329-347. VOLUMES OF LINE BUNDLES AS LIMITS ON GENERICALLY NONREDUCED SCHEMES19

Roberto Nu´nez,˜ Department of Mathematics, University of Missouri, Columbia, MO 65211, USA Email address: [email protected]