arxiv: v2 [math.ag] 1 Jan 2011

Transcription

1 Okounkov bodies on projectivizations of rank two toric vector bundles José Luis González 1 Department of Mathematics, University of Michigan, Ann Arbor, MI 48109, USA arxiv: v2 [math.ag] 1 Jan 2011 Abstract The global Okounkov body of a projective variety is a closed convex cone that encodes asymptotic information about every big line bundle on the variety. In the case of a rank two toric vector bundle E on a smooth projective toric variety, we use its Klyachko filtrations to give an explicit description of the global Okounkov body of P(E). In particular, we show that this is a rational polyhedral cone and that P(E) is a Mori dream space. Keywords: Okounkov bodies, toric vector bundles, Klyachko filtrations, toric varieties, Cox rings, Mori dream spaces. Contents 1 Introduction 2 2 Okounkov bodies and toric vector bundles 4 3 The Klyachko filtrations for tensor products and Schur functors 8 4 Vanishing orders on P(E) 11 5 The global Okounkov body of P(E) 17 6 Examples 24 address: jgonza@umich.edu (José Luis González) 1 The author was partially supported by the NSF under grant DMS and by the David and Lucile Packard Foundation under M. Mustaţă s fellowship. Preprint submitted to Elsevier October 30, 2018

2 1. Introduction In his work on log-concavity of multiplicities, e.g. [14], [15], A. Okounkov introduced a procedure to associate convex bodies to linear systems on projective varieties. This construction was systematically studied by R. Lazarsfeld and M. Mustaţă in the case of big line bundles in [11]. The construction of these Okounkov bodies depends on a fixed flag of subvarieties and produces a convex compact set for each Cartier divisor on a projective variety. The Okounkov body of a divisor encodes asymptotic invariants of the divisor s linear system, and it is determined solely by the divisor s numerical equivalence class. Moreover, these bodies vary as fibers of a linear map defined on a closed convex cone as one moves in the space of numerical equivalence classes of divisors on the variety. As a consequence, one can expect to obtain results about line bundles by applying methods from convex geometry to the study of these Okounkov bodies. Let us consider an n-dimensional projective variety X over an algebraically closed field, endowed with a flag X : X = X n X 0 = {pt}, where X i is an i-dimensional subvariety that is nonsingular at the point X 0. In [11], Lazarsfeld and Mustaţă established the following: (a) For each big rational numerical divisor class ξ on X, Okounkov s construction yields a convex compact set (ξ) in R n, now called the Okounkov body of ξ, whose Euclidean volume satisfies ( ) 1 vol R n (ξ) = n! vol X(ξ). The quantity vol X (ξ) on the right is the volume of the rational class ξ, which is defined by extending the definition of the volume of an integral Cartier divisor D on X, namely, vol X (D) = def lim m h 0 (X, O X (md)). m n /n! We recall that the volume is an interesting invariant of big divisors which plays an important role in several recent developments in higher dimensional geometry. For basic properties of volumes we refer to [12]. (b) Moreover, there exists a closed convex cone (X) R n N 1 (X) R characterized by the property that in the diagram (X) R n N 1 (X) R N 1 (X) R, the fiber (X) ξ R n {ξ} = R n of (X) over any big class ξ N 1 (X) Q is (ξ). This is illustrated schematically in Figure 1. (X) is called the global Okounkov body of X. 2

3 N 1 (X) R, the fiber (X) ξ R n {ξ} = R n of (X) over any big class ξ N 1 (X) Q is (ξ). This is illustrated schematically in Figure 1. (X) is called the global Okounkov body of X. (ξ) (X) 0 ξ N 1 (X) Figure 1. The global Okounkov body. Lazarsfeld and Mustaţă have used this theory to reprove and generalize results about volumes Lazarsfeld of divisors, and Mustaţă including havefujita s used this Approximation theory to reprove Theorem. and generalize From (b), results they about canvolumes additionally divisors, give including alternative Fujita s proofs Approximation of propertiestheorem. of the volume Using function (b), theyvol can X : additionally Big(X) R, give of alternative defined in proofs the setof of properties big classesof of the R-divisors. volume function For example, vol X : itbig(x) follows that R, vol defined X is of in class thec set 1 of and bigsatisfies classes the of R-divisors. log-concavity For relation example, it follows that vol X is of class C 1 and satisfies the log-concavity relation vol (ξ +vol X (ξ + ξ ) 1/n vol X (ξ) 1/n + X (ξ ) 1/n, for any two big classes ξ, ξ N 1 (X) R. It is worth mentioning that in [7], K. Kaveh and A. Khovanskii use a similar procedure to associate convex bodies to finite dimensional subspaces of the function field K(X) of a variety X. In their work, they use the bridge between convex and algebraic geometry provided by their construction to obtain results in both areas. The explicit description of Okounkov bodies in concrete examples can be rather difficult. One easy case is that of smooth projective toric varieties. If D is an invariant divisor on such a variety, and if the flag consists of invariant subvarieties, then it is shown in [11] that the Okounkov body of D is the polytope P D that one usually associates to D in toric geometry, up to a suitable translation. In this paper, we are interested in describing the Okounkov bodies of the divisors on the projectivization P(E) of a toric vector bundle E on the smooth projective toric variety X. Such vector bundles were described by A. Klyachko in [8] in terms of certain filtrations of a suitable vector space, and they have been the focus of some recent activity, e.g. [5], [16], [17]. As we will see, these filtrations can be used to compute the sections of all line bundles on P(E). For our main result, we restrict to the case of rank two toric vector bundles, where the Klyachko filtrations are considerably simpler. Using the data from the filtrations, we construct a flag of torus invariant subvarieties on P(E) and produce finitely many linear inequalities defining the global Okounkov body of P(E) with respect to this flag. In particular, we see that this is a rational polyhedral cone. As an application we show that the Cox ring of P(E) is finitely generated, giving an alternative proof in a special case of a result of Knop (see [9] and [4]). This article is organized as follows. In 2 we review Okounkov s construction and Klyachko s description of toric vector bundles. Next, in 3 we describe the Klyachko filtrations for tensor products and Schur functors of toric vector bundles of arbitrary rank. This allows us to compute the global sections of any line bundle on P(E), a fact of independent interest. The main point in the description of Okounkov bodies is the computation of the vanishing orders of all sections of 3

4 certain line bundles along the subvarieties in a fixed flag. In 4 we construct a flag of invariant subvarieties Y in P(E), and show that in this setting it is enough to compute the vanishing orders of a special collection of isotypical sections with respect to the torus action. Finally, in 5 we describe the global Okounkov body of P(E) with respect to the flag Y and prove that the variety P(E) is a Mori dream space. In the last section, we give some examples to illustrate our main result. Acknowledgments I would like to thank W. Fulton, M. Hering, R. Lazarsfeld and S. Payne, from whom I learned some of the topics relevant to this article. I express my gratitude to the anonymous referee for his/her careful reading of this paper and his/her useful suggestions. I would especially like to thank M. Mustaţă for many insightful conversations and for his comments on earlier versions of this manuscript. 2. Okounkov bodies and toric vector bundles In this section, we review the construction of Okounkov bodies and Klyachko s classification of toric vector bundles. Unless explicitly stated otherwise, the notation introduced here will be used throughout the paper. All our varieties are assumed to be defined over a fixed algebraically closed field k. By a divisor on a variety Z we always mean a Cartier divisor on Z. We denote the group of numerical equivalence classes of divisors on Z by N 1 (Z), and we denote the spaces N 1 (Z) Q and N 1 (Z) R by N 1 (Z) Q and N 1 (Z) R, respectively. By a line bundle on a variety Z, we mean a locally free sheaf of rank one on Z. We follow the convention that the geometric vector bundle associated to the locally free sheaf F is the variety V(F) = Spec m 0 Symm F, whose sheaf of sections is F. Also, by the fiber of F over a point z Z, we mean the fiber over z of the projection f : V(F) Z. Lastly, by the projectivization P(F) of F, we mean the projective bundle Proj m 0 Symm F over Z. This bundle is endowed with a projection π : P(F) Z and an invertible sheaf O P(F) (1) (see II.7 in [3]) Okounkov bodies Let us consider a normal l-dimensional variety Z with a fixed flag Y : Z = Y l Y 0, where each Y i is an i-dimensional normal subvariety that is nonsingular at the point Y 0. Given a big divisor D on Z, we will describe a procedure to assign a compact convex set with nonempty interior Y (D) in R l to D. First, given any divisor F on Z and a nonzero section s = s l H 0 (Y l, O Yl (F )), we can associate an l-tuple of nonnegative integers ν Y,F (s) = (ν 1 (s),..., ν l (s)) to s as follows. By restricting to a neighborhood of Y 0 we can assume that each Y i is smooth. We define ν 1 (s) to be the vanishing order ord Yl 1 (s) of s along Y l 1. Then, s determines a section s l H 0 (Y l, O Yl (F ) O Yl ( ν 1 (s)y l 1 )) that does not vanish along Y l 1. By restricting, we get a nonzero section s l 1 H 0 (Y l 1, O Yl (F ) Yl 1 O Yl ( ν 1 (s)y l 1 ) Yl 1 ), and we iterate this procedure. More precisely, assume that we have defined nonnegative integers ν 1 (s),..., ν h (s), and nonzero sections s l H 0 (Y l, O Yl (F )),..., s l h H 0 (Y l h, O Yl (F ) Yl h h O Y l i+1 ( ν i (s)y l i ) Yl h ), 4

5 for some nonnegative integer h < l. We define ν h+1 (s) as the vanishing order ord Yl h 1 (s l h ) of s l h along Y l h 1 ; then, s l h determines a section h+1 s l h H 0 (Y l h, O Yl (F ) Yl h O Yl i+1 ( ν i (s)y l i ) Yl h ) that does not vanish along Y l h 1 ; and finally, by restricting, we get a nonzero section h+1 s l h 1 H 0 (Y l h 1, O Yl (F ) Yl h 1 O Yl i+1 ( ν i (s)y l i ) Yl h 1 ). We repeat this procedure until we obtain nonnegative integers ν 1 (s),..., ν l (s). This construction gives us a function ν Y = ν Y,F : H 0 (Z, O Z (F )) {0} Z l s (ν 1 (s),..., ν l (s)). We denote the image of ν Y,F by either ν(f ) or ν(o Z (F )). The function ν Y satisfies the following valuation-like properties: For any nonzero sections s 1, s 2 H 0 (Z, O Z (F )), we have that ν Y,F (s 1 + s 2 ) lex min lex {ν Y,F (s 1 ), ν Y,F (s 2 )}, where lex denotes the lexicographic order in Z l. For any divisors F 1 and F 2 in Z, and nonzero sections s 1 H 0 (Z, O Z (F 1 )) and s 2 H 0 (Z, O Z (F 2 )), we have ν Y,F 1 +F 2 (s 1 s 2 ) = ν Y,F 1 (s 1 ) + ν Y,F 2 (s 2 ). Remark 2.1. If W is a finite dimensional subspace of H 0 (Z, O Z (F )), then the number of valuation vectors arising from nonzero sections in W is equal to the dimension of W. For example, when Z is complete, ν(f ) is a finite set with cardinality dim k H 0 (Z, O Z (F )). A more general statement is proven by Lazarsfeld and Mustaţă as Lemma 1.3 in [11]. Finally, Y (F ) = Y (O Z (F )) is defined to be the following closed convex hull in R l : ( 1 ) Y (F ) = Conv m ν(mf ). m Z + We will denote the set Y (F ) simply by either (F ) or (O Z (F )) whenever the corresponding flag is understood. In [11], Lazarsfeld and Mustaţă proved that when Z is a projective variety and D is a big divisor, (D) is a compact convex subset of R l with nonempty interior, i.e. a convex body. In this case, (D) is called the Okounkov body of D. Since Y (mf ) = m Y (F ) for any divisor F and any m Z +, this definition extends in a natural way to associate an Okounkov body to any big divisor with rational coefficients. As it turns out, the outcome depends only on the numerical equivalence class of the divisor. We refer to (a) and (b) in the introduction for some of the main properties of this construction, including the existence of the global Okounkov body of a projective variety Z. This global Okounkov body is a closed convex cone (Z) R l N 1 (Z) R characterized by the property that the fiber of the second projection over any big class D N 1 (Z) Q is the Okounkov body (D). For proofs of these assertions, as well as of (a) and (b), we refer to [11]. 5

6 Example 2.2. Let Z = P l with homogeneous coordinates z 0,..., z l. Let Y be the flag of linear subspaces defined by Y i = {z 1 = = z l i = 0} for each i. If D is the linear system of hypersurfaces of degree m, then ν Y,D is the lexicographic valuation determined on monomials of degree m by ν Y (z α 0 0 z α l l ) = (α 1,..., α l ), and the Okounkov body (D) is the simplex (D) = {(λ 1,..., λ l ) R l λ 1 0,..., λ l 0, 2.2. Toric vector bundles and Klyachko filtrations l λ i m}. Let X be an n-dimensional toric variety corresponding to a fan in the lattice N. We denote the algebraic torus acting on X by T, and the character lattice Hom(N, Z) of T by M. Thus, T = Spec k[m] = Spec k[ χ u u M ] and X has an open covering given by the affine toric varieties U σ = Spec k[ σ M ] corresponding to the cones σ. We denote the rays in by ρ 1,..., ρ d. For each ray ρ j, we denote its primitive lattice generator by v j and its associated codimension one torus invariant subvariety by D j. Let t 0 denote the unit element of the torus. For a detailed treatment of toric varieties we refer to [1]. If T acts on a vector space V in such a way that each element of V belongs to a finite dimensional T -invariant subspace, we get a decomposition V = u M V u, where V u = def {v V tv = χ u (t)v for each t T }. The spaces V u and their elements are called isotypical summands and isotypical elements, respectively. This motivates the use of the following terminology. If T acts on the space of sections of a vector bundle on some variety, we say that a section s is T -isotypical if there exists u M such that ts = χ u (t)s for each t T. Likewise, if T acts on a variety, we say that a rational function f on the variety is T -isotypical if there exists u M such that tf = χ u (t)f for each t T, i.e. the domain dom(f) of f is T -invariant and (tf)(z) = def f(t 1 z) = χ u (t)f(z) for each z dom(f) and each t T. When T acts algebraically on an affine variety Z, the induced action of T on H 0 (Z, O Z ) satisfies the above finiteness condition, and we get a decomposition H 0 (Z, O Z ) = u M H0 (Z, O Z ) u as before (see I.6.3 in [10]). A toric vector bundle on the toric variety X is a locally free sheaf E together with an action of the torus T on the variety V(E), such that the projection f : V(E) X is equivariant and T acts linearly on the fibers of f. In general, if E is a toric vector bundle, V(E) and P(E) need not be toric varieties. Given any T -invariant open subset U of X, there is an induced action of T on H 0 (U, E), defined by the equation (t s)(x) = def t(s(t 1 x)), for any s H 0 (U, E), t T and x X. This action induces a direct sum decomposition H 0 (U, E) = u M H 0 (U, E) u, where H 0 (U, E) u = {s H 0 (U, E) t s = χ u (t)s for each t T }, as before. 6

7 Example 2.3. For each torus invariant Cartier divisor D on a toric variety X, the line bundle O X (D) has a natural toric vector bundle structure. For each w M, the isotypical summands in the decomposition of H 0 (U σ, O X (div χ w )) over U σ are given by { H 0 (U σ, O X (div χ w kχ u if w u σ M, )) u = 0 otherwise, for each cone σ and each u M. A toric vector bundle over an affine toric variety is equivariantly isomorphic to a direct sum of toric line bundles (see Proposition 2.2 in [17]). Every line bundle L on X admits a T-equivariant structure, and choosing one such structure is equivalent to choosing a torus invariant divisor D such that L = O X (D). The classification of toric vector bundles of higher rank is considerably more complicated. Let E be the fiber over t 0 of the toric vector bundle E on X. For each ray ρ j and each u M, the evaluation map at t 0 gives an inclusion H 0 (U ρj, E) u E. If u, u M satisfy u, v j u, v j, then Im(H 0 (U ρj, E) u E) Im(H 0 (U ρj, E) u E). Therefore the images of these maps depend only on u, v j, or equivalently, only on the class of u in M/ρ j M = Z. Hence, we may denote the image of the map H 0 (U ρj, E) u E simply by E ρ j ( u, v j ). Note that for each u M the image of the evaluation map H 0 (X, E) u E is equal to E ρ 1 ( u, v 1 ) E ρ d ( u, vd ) E. The ordered collection of finite dimensional vector subspaces E ρ j = def {E ρ j (i) i Z} gives a decreasing filtration of E. The filtrations {E ρ j j = 1,..., d } are called the Klyachko filtrations associated to E. For each σ, by equivariantly trivializing E over the affine open subset U σ of X, one can show that there exists a decomposition E = ū M/σ M E ū, such that E ρ (i) = ū,v E ρ i ū, for each ray ρ σ and each i Z. Klyachko proved in [8] that the vector space E together with these filtrations, satisfying the above compatibility condition, completely describe E. More precisely, Theorem (Klyachko). The category of toric vector bundles on the toric variety X is equivalent to the category of finite dimensional k-vector spaces E with collections of decreasing filtrations {E ρ (i) i Z}, indexed by the rays of, satisfying the following compatibility condition: For each cone σ, there is a decomposition E = ū M/σ M E ū such that E ρ (i) = Eū, for every ray ρ σ and every i Z. ū,v ρ i Example 2.4. Let m 1 D m d D d be a torus invariant Cartier divisor on X, for some m 1,..., m d Z. Denote by L the line bundle O X (m 1 D m d D d ) on X. The Klyachko filtrations for L are given by { L ρ j k if i m j, (i) = 0 if i > m j, for each ray ρ j. 7

8 Example 2.5. The projective plane P 2 can be represented as the toric variety associated to the fan in N R = R 2 with maximal cones σ 1 = v 2, v 3, σ 2 = v 3, v 1 and σ 3 = v 1, v 2, where v 1 = (1, 0), v 2 = (0, 1) and v 3 = ( 1, 1). The tangent bundle T P 2 of P 2 is naturally a toric vector bundle on P 2. This bundle can be equivariantly trivialized as T P 2 Uσ1 = O P 2(D 2 ) Uσ1 O P 2(D 3 ) Uσ1, T P 2 Uσ2 = O P 2(D 3 ) Uσ2 O P 2(D 1 ) Uσ2, T P 2 Uσ3 = O P 2(D 1 ) Uσ3 O P 2(D 2 ) Uσ3. It follows that the Klyachko filtrations associated to T P 2 are E if i 0, E if i 0, T ρ 1 P (i) = V 2 1 if i = 1, T ρ 2 P (i) = V 2 2 if i = 1, 0 if i 2, 0 if i 2, T ρ 3 P 2 (i) = E if i 0, V 3 if i = 1, 0 if i 2, where V 1, V 2 and V 3 are distinct one-dimensional subspaces of the fiber E of T P 2 over t 0. For any toric vector bundle E over X of rank at least two, we have an isomorphism N 1 (X) Z = Pic X Z = Pic P(E) = N 1 (P(E)), which is induced by (L, m) O P(E) (m) π L, where π is the projection map π : P(E) X. 3. The Klyachko filtrations for tensor products and Schur functors As we reviewed in 2.2, Klyachko proved that the category of toric vector bundles on a toric variety X is equivalent to the category of finite dimensional vector spaces endowed with a collection of filtrations that satisfy a certain compatibility condition. Klyachko s result allows us to carry out some explicit computations in this category, including the description of the space of sections of a toric vector bundle over any invariant open subset of X. Throughout this section X denotes an arbitrary toric variety. Using the notation introduced in 2, each line bundle on P(E) is isomorphic to a line bundle of the form O P(E) (m) π (O X (D)) for some T -invariant Cartier divisor D on X. For such an isomorphic representative we have a toric vector bundle structure on π ( OP(E) (m) π O X (D) ) = (Sym m E) O X (D), and we have H 0 (P(E), O P(E) (m) π (O X (D)) = H 0 (X, (Sym m E) O X (D)). From this, we see that the Klyachko filtrations associated to tensor products and symmetric powers of toric vector bundles can be used to describe the spaces of global sections of line bundles on projectivized toric vector bundles. The goal of this section is to provide appropriate descriptions of these filtrations for toric vector bundles of arbitrary rank. We present the filtrations for tensor products in Lemma 3.1 and its Corollary 3.2. The filtrations for symmetric powers are given in Corollary 3.5 to Lemma 3.4. More generally, in that lemma we describe the filtrations for any Schur functor, e.g. symmetric and wedge products. We start by presenting the filtrations for tensor products. 8

9 Lemma 3.1. Let E and F be toric vector bundles on the toric variety X. Then the Klyachko filtrations for their tensor product E F are given by ( ) ρ(i) E F = E ρ (i 1 ) F ρ (i 2 ), for each ray ρ and each i Z. i 1 +i 2 =i Proof. Since the filtration corresponding to the ray ρ only depends on U ρ, it suffices to consider the case when X = U ρ for some ray ρ. Hence we can assume that E and F equivariantly trivialize as E = O X (d 1 D ρ ) O X (d 2 D ρ ) O X (d r D ρ ) F = O X (e 1 D ρ ) O X (e 2 D ρ ) O X (e s D ρ ) for some d 1,..., d r, e 1,..., e s Z. Now we note that ( OX (d j1 D ρ ) O X (e j2 D ρ ) ) ρ (i) = O X (d j1 D ρ ) ρ (i 1 ) O X (e j2 D ρ ) ρ (i 2 ) i 1 +i 2 =i for each i Z and each j 1 {1,..., r} and j 2 {1,..., s}. Since the Klyachko filtrations for a direct sum are the direct sums of the filtrations for the summands, the result now follows. Corollary 3.2. Let E 1,..., E s be toric vector bundles on the toric variety X. Then the Klyachko filtrations for their tensor product E 1 E s are given by ( ) ρ(i) E1 E s = E ρ 1 (i 1 ) Es ρ (i s ), for each i Z and each ray ρ. i 1 + +i s=i Proof. The conclusion follows from the previous lemma by induction on s. Example 3.3. Let E be a toric vector bundle on the toric variety X, and let D = m 1 D m d D d be a torus invariant Cartier divisor on X, for some m 1,..., m d Z. Let us denote the fiber over t 0 of the line bundle O X (D) by G. From the previous lemma and Example 2.4, it follows that the Klyachko filtrations of E O X (D) are given by for each i Z and each ray ρ j. (E O X (D)) ρ j (i) = E ρ j (i m j ) G, In the following lemma we describe the Klyachko filtrations for the toric vector bundle obtained by applying a Schur functor to another toric vector bundle. As a corollary, we state the case of symmetric products, which will be used in 5. For the definition and basic properties of Schur functors we refer to 6 in [2]. 9

10 Lemma 3.4. Let E be a toric vector bundle on the toric variety X, and let S λ be the Schur functor associated to a Young tableau λ with m entries. Then the Klyachko filtrations for S λ E are given by ( Sλ E ) ρ (i) = Im ( E ρ (i 1 ) E ρ (i m ) S λ (E) ), for each ray ρ and each i Z. i 1 + +i m=i Proof. Since S λ E is a quotient of E m, it follows that (S λ E) ρ (i) is the image of (E m ) ρ (i) under the natural map E m S λ (E), for each ray ρ and each i Z. Now, the result follows at once from Corollary 3.2. Corollary 3.5. Let E be a toric vector bundle on the toric variety X. Then for each m Z +, the Klyachko filtrations for Sym m E are given by ( Sym m E ) ρ (i) = Im ( E ρ (i 1 ) E ρ (i m ) Sym m E ), for each ray ρ and each i Z. i 1 + +i m=i Proof. This is a particular case of the previous lemma. Example 3.6. Let D = m 1 D m d D d be a torus invariant Cartier divisor on the toric variety X, and let us denote the fiber over t 0 of the line bundle O X (D) by G. The Klyachko filtration associated to a rank two toric vector bundle E on X corresponding to a ray ρ j has one of the following two forms: E ρ j (i) = { E if i a j, 0 if i > a j, E if i a j, E ρ j (i) = V if a j < i b j, 0 if i > b j, where V is some one-dimensional subspace of the fiber E of E over t 0, and a j and b j are some integers. For each positive integer m the corresponding Klyachko filtration associated to (Sym m E) O X (D) has respectively one of the forms: { ((Sym m E) O X (D)) ρ j (Sym m E) G if i a j m + m j, (i) = 0 if i > a j m + m j, (Sym m E) G if i a j m + m j, ((Sym m E) O X (D)) ρ j ( i aj m m j (i) = Sym m E V b j a ) j G if aj m + m j < i b j m + m j, 0 if i > b j m + m j, where denotes the ceiling function, and Sym m E (V c ) = def Im(V c E (m c) Sym m E) for each integer 0 c m. This convenient notation will be generalized in the next section. 10

11 4. Vanishing orders on P(E) The description of the global Okounkov body of a projective variety Z, with respect to a flag Y, involves identifying the image of the map ν Y : H 0 (Z, L) {0} Z dim Z for each line bundle L on Z. In this section we study these images for a suitable flag Y, when Z is the projectivization P(E) of a rank two toric vector bundle E on a smooth projective toric variety X. First, in 4.1 we introduce a flag of torus invariant subvarieties Y in P(E), essentially by pulling back a flag of invariant subvarieties from X. Next, in Definition 4.3 we present a collection of sections W L for each line bundle L on P(E). We consider these sections since we can compute their images under ν Y using the formulas in Lemma 4.4, and because they map onto ν Y (H 0 (P(E), L) {0}), as we prove in Proposition 4.8. In passing, we prove that after choosing an isomorphic representative of L so as to have an induced torus action on H 0 (P(E), L), the isotypical sections with respect to this action also map onto the image of ν Y. Throughout we use the notation from 2 and additionally assume that the toric variety X is smooth and projective A flag of invariant subvarieties in a projectivized rank two toric vector bundle Given a toric vector bundle E of rank two, we construct a flag of smooth T -invariant subvarieties Y : P(E) = Y n+1... Y 0 in P(E), as follows. Let X : X = X n... X 0 be a flag in X, where each X i is an i-dimensional T -invariant subvariety. By reordering the rays in if necessary, we can assume that X n i = i j=1 D j for each i {1,..., n}. Note that this implies that the rays ρ 1,..., ρ n span a maximal cone τ in. Let u 1 and u 2 in M be such that we can equivariantly trivialize E over U τ as E Uτ = O X (div χ u 1 ) Uτ O X (div χ u 2 ) Uτ. The lexicographic order lex in Z n induces an order lex in M, via the isomorphism M = Z n induced by v 1,..., v n. By reordering u 1 and u 2 if necessary, we can assume that u 1 lex u 2. In other words, either u 1 = u 2, or the first nonzero number in the list u 1 u 2, v 1,..., u 1 u 2, v n is positive. For each i {1,..., n + 1}, we define Y i = P(E Xi 1 ) = π 1 (X i 1 ) P(E). To define Y 0, note that the isomorphism E Uτ = OX (div χ u 1 ) Uτ O X (div χ u 2 ) Uτ induces an isomorphism Y 1 = P(OX0 O X0 ). Hence, we get an isomorphism µ: Y 1 P 1 between Y 1 and the projective space P 1 = P(OX0 O X0 ) with homogeneous coordinates x, y. We take Y 0 to be the point in Y 1 corresponding under µ to the point (0 : 1), defined by the ideal (x) in P 1. Note that the flag Y : P(E) = Y n+1... Y 0 in P(E) consists of smooth T -invariant subvarieties Computing vanishing orders In this subsection we introduce the collection of T -isotypical sections W L and compute their vanishing vectors. We continue working in the setting of 4.1. Notation 4.1. We denote by E 1 and E 2 the fibers over t 0 of O X (div χ u 1 ) and O X (div χ u 2 ). We identify E 1 and E 2 with subspaces of the fiber E of E over t 0 in the natural way. We denote by L 1,..., L p the distinct one-dimensional subspaces of E that are different from E 1, but are equal to E ρ (i) for some ray ρ and some i Z. We fix once and for all a one-dimensional 11

12 subspace L of E, different from each of the subspaces E 1, L 1,..., L p of E. This is done just as an alternative to ad hoc choices at different points in our discussion. Notation 4.2. Let V 1,..., V l be subspaces of a vector space V. For any nonnegative integers m, α 1,..., α l, we define the notation Sym m V (V α 1 1, V α 2 2,..., V α l l ) to represent either the subspace of Sym m V equal to the image of the composition of the natural maps V α 1 1 V α 2 2 V α l l V (m l α i) if m l α i, or the subspace 0 of Sym m V, otherwise. V m Sym m V, On the toric variety X, the map defined by (m n+1,..., m d ) d i=n+1 m id i induces an isomorphism between Z d n and Pic X = N 1 (X). Hence, each line bundle L on P(E) is isomorphic to a unique line bundle of the form O P(E) (m) π O X ( d i=n+1 m id i ). Definition 4.3. Let L be the line bundle O P(E) (m) π O X ( d i=n+1 m id i ) on P(E), where m, m n+1,..., m d Z. Let us consider the torus action on H 0( P(E), L ) = H 0( X, (Sym m E) O X ( d i=n+1 m id i ) ), induced by the T -equivariant structure on (Sym m E) O X ( d i=n+1 m id i ). Let G be the fiber over t 0 of O X ( d i=n+1 m id i ). We define the following subsets of H 0( P(E), L ) : V L = { s H 0( P(E), L ) s H 0( P(E), L ) {0}, for some u M} u W L = { s V L s(t 0 ) lies in the subspace Sym m E (E α 0 1, L α 1 1,..., L αp p, L α ) G p of Sym m E, for some α 0,..., α p, α Z 0, satisfying α j + α = m }. In the following lemma we give some formulas for the vanishing vector ν Y (s) of a section s W L. Lemma 4.4. Let L be the line bundle O P(E) (m) π O X ( d i=n+1 m id i ) on P(E), for some m, m n+1,..., m d Z. Let G be the fiber over t 0 of O X ( d i=n+1 m id i ). Let s be a nonzero section in H 0( P(E), L ) = H0( X, (Sym m E) O u X ( d i=n+1 m id i ) ), for some u M, and let u ν Y (s) = (ν 1,..., ν n+1 ) Z n+1. Then: (a) For each j {1,..., n} we have ν j = ν n+1 u 1 + (m ν n+1 )u 2 u, v j. (b) If s(t 0 ) lies in the subspace Sym m E (Eα 0 1, L α 1 1,..., L αp p, L α ) G of (Sym m E) G, for some α 0,..., α p, α Z 0 such that p i=0 α i + α = m, then ν n+1 = α 0. Proof. (a) The vector ν Y (s) can be computed in any neighborhood of Y 0 in P(E). Hence we can assume that X = U τ, that E = O X (div χ u 1 ) O X (div χ u 2 ), and that s is a section in H 0( X, Sym m E ). u Note that Sym m E = m i=0 O X(div χ (m i)u 1+iu 2 ), and so s corresponds to the section ( c0 χ u,..., c i χ u,..., c m χ u) m H 0( X, O X (div χ (m i)u 1+iu 2 ) ) = H0( X, Sym m E ), u u i=0 12 j=0

13 for some c 0,..., c m k. Let us denote O X O X by E. By combining the natural isomorphisms in each component, we get an isomorphism E = O X (div χ u 1 ) O X (div χ u 2 ) = O X O X = E. This isomorphism induces a commutative diagram, P(E) = P ( O X (div χ u 1 ) O X (div χ u 2 ) ) ϕ P ( ) O X O X = P(E ) where the map ϕ is an isomorphism. Let Y : Y n+1 Y n Y 0 be the T -invariant flag in P ( E ), as defined in 4.1. Note that the T -invariant flags in P(E) and P(E ) correspond to each other under ϕ. On Y i = P(E Xi 1 ), let us denote O P(E Xi 1 )(m) by O Y i (m) for each i {1,..., n + 1}. Under the isomorphism ϕ, s corresponds to the section s = s n+1 = ( c 0 χ mu1 u,..., c i χ (m i)u 1+iu 2 u,..., c m χ ) m mu 2 u H 0( ) X, O X = H 0( X, Sym m (E ) ) = H 0( P(E ), O P(E )(m) ) = H 0( Y n+1, O Y n+1 (m) ). Note that (ν 1,..., ν n+1 ) = ν Y (s) = ν Y (s ). Let us set h = max {i 0 i m and c i 0}, and let v 1,..., v n be the basis of M dual to the basis v 1,..., v n of N. It is straightforward to see that when we follow the procedure to compute ν Y (s ) outlined in 2.1, for each 0 l n, the section obtained in the step when we restrict to Y n+1 l corresponds to the section s n+1 l = ( c 0 χ mu 1 u l j=1 ν jvj Xn l,..., c i χ (m i)u 1+iu 2 u l j=1 ν jvj Xn l,..., c m χ mu 2 u l ) m j=1 ν jvj Xn l H 0( ) X n l, O ( Xn l = H 0 X n l, Sym m (E Xn l ) ) under the natural identification. i=0 = H 0( P(E Xn l ), O P(E Xn l )(m) ) = H 0( Y n+1 l, O Y n+1 l (m) ), Assume now that for some 0 l < n, we have proven that ν j = (m h)u 1 + hu 2 u, v j, for each j {1,..., l}. Note that for each a Z 0 we have the following commutative diagram H 0( Y n+1 l, O Y n+1 l (m) O Y n+1 l ( ay n l )) ϕ ( a H 0 Y n+1 l, O Y n+1 l (m) ) H 0( X n l, Sym m (E Xn l ) O Xn l ( ax n l 1 ) ) H 0( X n l, Sym m (E Xn l ) ), and denote the map in its top row by ϕ a. Next, we note that ν l+1 = max {a Z 0 s n+1 l Im(ϕ a )} = max {a Z 0 c i χ (m i)u 1+iu 2 u l j=1 ν jv j Xn l Im(H 0 (X n l, O Xn l ( ax n l 1 )) H 0 (X n l, O Xn l )) for each i = 0,..., m} = max {a Z 0 a (m i)u 1 + iu 2 u, v l+1 for each i such that X c i χ (m i)u 1+iu 2 u l j=1 ν jv j Xn l 0}. 13 i=0 (4.1) (4.2)

14 We also note that c h χ (m h)u 1+hu 2 u l j=1 ν jvj Xn l 0. Now, if u 1 u 2, v l+1 < 0, then there exists q {1,..., l}, such that u 1 u 2, v q > 0. In this case, for each i {0,..., h 1}, it follows that c i χ (m i)u 1+iu 2 u l j=1 ν jvj Xn q = 0. Hence, either u 1 u 2, v l+1 0, or c i χ (m i)u 1+iu 2 u l j=1 ν jvj Xn l = 0 for each i {0,..., h 1}. In either case, it follows from (4.2) that ν l+1 = (m h)u 1 + hu 2 u, v l+1. Therefore we can iterate this procedure, and in this way we obtain that for each j {1,..., n}, ν j = (m h)u 1 + hu 2 u, v j. Now, ν n+1 is equal to the vanishing order along Y 0 of the section s 1 H 0 (Y 1, O Y 1 (m)) described in (4.1) for l = n. We have a natural isomorphism µ: Y 1 P 1 between Y 1 = P(O X0 O X0 ) and the projective space P 1 = P(OX0 O X0 ) with homogeneous coordinates x, y. Recall that under µ, Y 0 corresponds to the point (0 : 1), defined by the ideal (x) in P 1. Under µ, O Y 1 (m) corresponds to O P 1(m). Depending on whether or not u 1 = u 2, there are two possibilities for the section in H 0 (P 1, O P 1(m)) that corresponds to s 1. Namely, s 1 corresponds to c h x m h y h if u 1 u 2, and it corresponds to m i=0 c ix m i y i if u 1 = u 2. In either case, we obtain that ν n+1 = m h, and then part (a) is proven. (b) As in part (a), we can reduce to the case when X = U τ, E = O X (div χ u 1 ) O X (div χ u 2 ), s H 0( X, Sym m E ), and s(t u 0) lies in the subspace Sym m E (Eα 0 1, L α 1 1,..., L αp p, L α ) of Sym m E. Let x, y E be such that E 1 = kx and E 2 = ky. Then x and y form a basis for E, and x m i y i for i = 0,..., m form a basis for Sym m E. Let β 1,..., β p, β k be such that L = k(βx + y) and L i = k(β i x + y) for each i {1,..., p}. For c 0,..., c m k, defined as in part (a), we proved that max {i 0 i m and c i 0} = m ν n+1. On the one hand, we see that the image of s at t 0 is s(t 0 ) = m i=0 c ix m i y i Sym m E. On the other hand, m α 0 1 s(t 0 ) Sym m E (E α 0 1, L α 1 1,..., L αp p, L α ) = k( β ix m i y i + x α 0 y m α 0 ), for some β 0,..., β m α 0 1 k. From this it follows that ν n+1 = α 0 as desired. i= The image of ν Y In this subsection we prove that ν Y maps the collection of T -isotypical sections W L onto ν Y (H 0 (P(E), L) {0}). We continue working in the setting of We start by proving that if a line bundle L and a flag Y on an affine variety Z are suitably compatible with the action of a torus T on Z, then the nonzero T -isotypical sections of L map onto the image of ν Y. Lemma 4.5. Let Z be an affine variety with an algebraic action of a torus T, and a flag Y : Z = Y l Y l 1... Y 0, where each Y i is a normal i-dimensional T -invariant subvariety. Assume that for each i {1,..., l}, there is a T -isotypical rational function h i on Y i, such that Y i 1 = div h i. Let g be a T -isotypical rational function on Z and let s 1,..., s q H 0 (Z, O Z (div g)) be nonzero T -isotypical sections corresponding to distinct characters of T. Then ν Y (s s q ) {ν Y (s 1 ),..., ν Y (s q )}. 14

15 Proof. We proceed by induction on the dimension of Z. Let Z : Y l 1 = Z l 1 Z l 2... Z 0 be the flag of normal T -invariant subvarieties in Y l 1 defined by Z i = Y i, for each i. Using the natural isomorphism H 0 (Z, O Z (div g)) = H 0 (Z, O Z ), we can reduce to the case when g = 1 and the sections are identified with regular functions. Let s = s s q. For each a Z 0 the natural inclusion map ϕ a : H 0 (Y l, O Yl ( ay l 1 )) H 0 (Y l, O Z ) is compatible with the decomposition of these spaces into T -isotypical summands. It follows that ν 1 (s) = ord Yl 1 (s) = min{ord Yl 1 (s 1 ),..., ord Yl 1 (s q )} = min{ν 1 (s 1 ),..., ν 1 (s q )}. If we reorder the sections so that ν 1 (s) = ν 1 (s i ) for 1 i e, and ν 1 (s) < ν 1 (s i ) for e + 1 i q, for some e {1,..., q}, then (h ν 1(s) l s) Yl 1 = e (h ν 1(s) l s i ) Yl 1 and using the induction hypothesis we get ν Y (s) = ( ( ν ν 1 (s), ν Z (h 1 (s) )) {( ( ν l s) Yl 1 ν1 (s), ν Z (h 1 (s) )) } l s i ) Yl 1 i = 1,..., e = {ν Y (s 1 ),..., ν Y (s e )} {ν Y (s 1 ),..., ν Y (s q )}. Recall that any line bundle on P(E) is isomorphic to a unique line bundle of the form O P(E) (m) π O X ( d i=n+1 m id i ). In the following proposition, we prove that for a line bundle on P(E) of that form, the T -isotypical sections map onto the image of ν Y. Proposition 4.6. Let L be the line bundle O P(E) (m) π O X ( d i=n+1 m id i ) on P(E) for some m, m 1,..., m d Z, and let s be a nonzero global section of L. Let s 1,..., s q H 0 (P(E), L) be the unique nonzero T -isotypical sections corresponding to distinct characters of T such that s = s s q. Then ν Y (s) {ν Y (s 1 ),..., ν Y (s q )}. Proof. It is enough to consider the case X = U τ. There is a natural choice of coordinates X = Spec k[x 1,..., x n ] = A n and P(E) = Spec k[x 1,..., x n ] Proj k[x, y] = A n P 1, which is induced by the ordering of the rays of τ and the trivialization of E over U τ. In these coordinates we have that X i = {(x 1,..., x n ) A n x j = 0 for 1 j n i}, and Y i+1 = X i P 1 for 0 i n and Y 0 = X 0 {(0 : 1)}. We also have that T = Spec k[x 1,..., x n ] x1 x n = (k ) n acts on A n by componentwise multiplication, and that an element t = (t 1,..., t n ) T acts on P = ( (x 1,..., x n ), (x : y) ) A n P 1 by tp = ( (t 1 x 1,..., t n x n ), (t u 1,v 1 1 t u 1,v n n x : t u 2,v 1 1 t u 2,v n n y) ). If U P 1 is the complement of (1 : 0), it is enough to prove that in the T - invariant affine open set Z = A n U the restriction of the flag Y and the line bundle L satisfy the hypotheses of Lemma 4.5. We show that O P(E) (1) Z = O Z (div g) for some T -isotypical rational function g on Z, since from this all the assertions follow at once. The surjection E O X (div χ u 2 ) corresponds to a geometric section θ of the projection π : P(E) X, i.e. a morphism θ : X P(E) such that π θ = id X. If we set X = θ(x), then π (O P(E) (1) O X ) = O X (div χ u 2 ) and we have the exact sequence 0 O P(E) (1) O P(E) ( X ) O P(E) (1) O P(E) (1) O X 0. (4.3) 15

16 By Grauert s theorem (see III.12.9 in [3]) R 1 π (O P(E) (1) O P(E) ( X )) = 0. Then applying π to (4.3) gives π (O P(E) (1) O P(E) ( X )) = O X (div χ u 1 ). Since O P(E) (1) O P(E) ( X ) has degree zero along the fibers of π, O P(E) (1) O P(E) ( X ) = π π (O P(E) (1) O P(E) ( X )) = π O X (div χ u 1 ). And since in local coordinates X = A n (0 : 1), we can take g = (x/y)π (χ u 1 ). The following lemma will be used in the proofs of Proposition 4.8 and Theorem 5.2. Lemma 4.7. Let V 1,..., V l be distinct one-dimensional subspaces of a two-dimensional vector space V. Let m, α 1,..., α l be nonnegative integers. Then Sym m V (V α 1 1 ) Sym m V (V α 2 2 ) Sym m V (V α l l ) = Sym m V (V α 1 1, V α 2 2,..., V α l l ). Furthermore, this subspace of Sym m V is nonzero precisely when m l α i, and in that case its dimension is m + 1 l α i. Proof. We fix an isomorphism of k-algebras between h 0 Sym h V and the polynomial ring in two variables k[x, y]. The subspaces V 1,..., V l of V correspond to the linear spans of some distinct linear forms f 1,..., f l. The subspaces l Sym m V (V α i i ) and Sym m V (V α 1 1,..., V α l l ) of Sym m V both correspond to the homogeneous polynomials of degree m divisible by f α 1 1 f α l l. From this observation the conclusion follows. In the next proposition we prove that for every line bundle L on P(E), in order to find the image of ν Y, we can restrict our attention to the sections in W L. Proposition 4.8. Let L be the line bundle L = O P(E) (m) π O X ( d i=n+1 m id i ) on P(E), for some m, m n+1,..., m d Z. Then we have the following equality of subsets of Z n+1 : ν Y (H 0( P(E), L ) {0}) = ν Y (V L ) = ν Y (W L ). Proof. From their definitions, we have that ν Y (H 0( P(E), L ) {0}) ν Y (V L ) ν Y (W L ). The sets ν Y (H 0( P(E), L ) {0}) and ν Y (V L ) are equal by Proposition 4.6. Let us consider ν Y (s) ν Y (H 0( P(E), L ) {0}) = ν Y (V L ). We can assume that s H 0( P(E), L ), for some u M. By u Remark 2.1, the set ν Y (H 0 (P(E), L) u {0}) is finite with cardinality dim k H 0( P(E), L ). Let u us denote the fiber over t 0 of O X ( d i=n+1 m id i ) by G. From Example 3.6 and Lemma 4.7 we see that there exist α 0,..., α p Z 0 such that ( Im H 0( P(E), L ) = H0( X, π u L ) ) u (Symm E) G = (π L) ρ 1 ( u, v 1 ) (π L) ρ 2 ( u, v 2 ) (π L) ρ d ( u, v d ) = (Sym m E (E α 0 1 ) G) (Sym m E (L α 1 1 ) G) (Sym m E (L αp p ) G) = Sym m E (E α 0 1, L α 1 1, L α 2 2,..., L αp p ) G. 16

17 Using again Lemma 4.7 we see that α = def m p i=0 α i is a non negative integer and α + 1 = dim k H 0( P(E), L ). For each j {0,..., α}, let s u j H 0( X, π L ) {0} = H0( P(E), L ) {0} u u be such that s j (t 0 ) Sym m E (E α 0+j 1, L α 1 1, L α 2 2,..., L αp p, L α j ) G. From Lemma 4.4 it follows that ν Y (s 0 ),..., ν Y (s α ) ν Y (H 0( P(E), L ) {0}) are pairwise u distinct, so ν Y (s) ν Y (H 0( P(E), L ) u {0}) = {ν Y (s 0 ),..., ν Y (s α )} ν Y (W L ), and this completes the proof of the proposition. 5. The global Okounkov body of P(E) In this section we describe the global Okounkov body of the projectivization of a rank two toric vector bundle over a smooth projective toric variety, with respect to the flag of invariant subvarieties constructed in 4.1. We introduce the relevant terminology in 5.1, and we prove our result describing this global Okounkov body in terms of linear inequalities in 5.2. Throughout this section we use the notation and constructions from 2 and Supporting hyperplanes of the global Okounkov body of P(E) Let E be a toric vector bundle of rank two over the smooth projective toric variety X. Let u 1, u 2 M, with u 1 lex u 2, be as defined in 4.1, and let the subspaces E 1, L 1,..., L p of the fiber E of E over t 0 be as defined in 4.2. Let us classify the filtrations {E ρ j j = 1,..., d} associated to E by defining A = def {j {1,..., d} dim k E ρ j (i) 1 for all i Z} B = def {j {1,..., d} E ρ j (i) = E 1 for some i Z} C h = def {j {1,..., d} E ρ j (i) = L h for some i Z} for each h {1,..., p}. And let us define a nonempty set J {1,..., d} to be admissible if it has one of the following three forms: J = {j} for some j A. J = {j} for some j B. J = {j 1,..., j l } for some j 1,..., j l {1,..., d} such that there exist distinct indices i 1,..., i l {1,..., p} with j h C ih, for each h {1,..., l}. Note that each admissible subset of {1,..., d} is contained in exactly one of the sets A, B and C = def p C i. For each ray ρ j we define integers a j and b j as follows. Let a j = max{i Z E ρ j (i) = E}, and let { a j + 1 if j A, b j = max{i Z dim k E ρ j (i) = 1} if j B C. 17

18 Example 5.1. In the case of T P 2, the tangent bundle of the projective plane (see Example 2.5), if we take the T -invariant flag P 2 D 1 D 1 D 2 in P 2, we get τ = σ 3, u 1 = (1, 0) and u 2 = (0, 1). We get a 1 = a 2 = a 3 = 0 and b 1 = b 2 = b 3 = 1. We also get E 1 = V 1, L 1 = V 2 and L 2 = V 3, and then A = { }, B = {1} and C = {2, 3}. Hence, in this case the admissible subsets of {1, 2, 3} are {1}, {2}, {3} and {2, 3}. The isomorphisms N 1 (P(E)) = N 1 (X) Z and N 1 (X) = Z d n, described in 2.2 and 4.2, induce an isomorphism between N 1 (P(E)) R and R d n+1, which we use to identify these spaces hereafter. Likewise, we identify R n+1 N 1 (P(E)) R with R d+2, with coordinates (x 1,..., x n+1, w n+1,..., w d, w). Let v 1,..., v n be the basis of M R = def M R dual to the basis v 1,..., v n of N R = def N R. Note that we have an isomorphism ψ : R d+2 M R R d n+2 (x 1,..., x n, x n+1, w n+1,..., w d, w) ( n x ivi + x n+1 u 1 + (w x n+1 )u 2, x n+1, w n+1,..., w d, w ) For each j {1,..., d} we define the linear function: γ E,j : M R R d n+2 R (u, x n+1, w n+1,..., w d, w) u,v j a j w w j b j a j for any u M R, and any x n+1, w n+1,..., w d, w R, and where w j = 0 for each j n. We will denote this function simply by γ j, when no confusion is likely to arise. Finally, for each admissible set J {1,..., d}, we define the linear function I J : R d+2 R by declaring its value at P = (x 1,..., x n+1, w n+1,..., w d, w) R d+2 to be: γ j ψ(p ), if J = {j} A, I J (P ) = γ j ψ(p ) x n+1, if J = {j} B, j J γ j ψ(p ) w + x n+1, if J C. For notational convenience, we define for each admissible set J {1,..., d} the linear function I J : M R R d n+2 R to be I J = I J ψ The global Okounkov body of P(E) Theorem 5.2. Let E be a toric vector bundle of rank two on the smooth projective toric variety X. The global Okounkov body (P(E)) of P(E) is the rational polyhedral cone in R n+1 N 1 (P(E)) R R d+2 given by { = (x 1,..., x n+1, w n+1,..., w d, w) R d+2 w x n+1 0 and } I J (x 1,..., x n+1, w n+1,..., w d, w) 0 for all admissible J {1,..., d}. 18

19 Proof. From the characterization of the global Okounkov body in terms of its fibers over big classes in N 1 (P(E)) Q, it suffices to show the following stronger assertion: For every class L N 1 (P(E)) Q, the fiber L of over L is equal to (L) {L}. To prove the assertion, we consider a class L N 1 (P(E)) Q. Note that L m = m L and (L m ) {L m } = m( (L) {L}), for each m Z +. Hence, we can assume that L N 1 (P(E)). Let w n+1,..., w d, w Z be the unique integers such that L = O P(E) (w) π O X ( d i=n+1 w i D i ). For notational convenience, we set w i = 0 for each i {1,..., n}. We first show that (L) {L} L. For this, it is enough to see that the set ( 1 (L) {L} = Conv m ν( L m)) (w n+1,..., w d, w) m Z + is contained in. Since is closed and convex, it suffices show that ( 1 m ν(lm ) ) (w n+1,..., w d, w), for each m Z +. Furthermore, since is a cone, it is enough to prove that this inclusion holds when m = 1. With this in mind, we consider P = (x 1,..., x n+1, w n+1,..., w d, w) ν(l) (w n+1,..., w d, w). Note that the existence of P implies that w 0. Let Q = ψ(p ), i.e. Q = ( n x i vi + x n+1 u 1 + (w x n+1 )u 2, x n+1, w n+1,..., w d, w) M R R d n+2. By replacing L with a suitable tensor power, we can assume that γ j (Q) Z for all j {1,..., d}. By the projection formula we have π L = (Sym w E) O X ( d w id i ). If we denote the fiber of O X ( d w id i ) over the unit of the torus by G, then by Example 3.3 we get (π L) ρ j (i) = (Sym w E) ρ j (i w j ) G, for all j {1,..., d} and all i Z. Since (x 1,..., x n+1 ) ν(l), Proposition 4.8 implies that there exist u M and a nonzero section s H 0 (P(E), L) u = H 0 (X, π L) u such that ν Y (s) = (x 1,..., x n+1 ), and such that s(t 0 ) V = def Sym w E(E α 0 1, L α 1 1,..., L αp p, L α ) G, for some one-dimensional subspace L of E different from E 1, L 1,..., L p and for some α 0,..., α p, α Z 0 with p i=0 α i + α = w. Note now that ( 0 V Im H 0( X, π L ) ) u (Symw E) G = 19 d (π L) ρ i ( u, v i ) (π L) ρ j ( u, v j ),

20 for each j {1,..., d}. By Lemma 4.4, we have that α 0 = x n+1 and x i = u + α 0 u 1 + (w α 0 )u 2, v j for each i {1,..., n}. In particular, we see that Q = (u, x n+1, w n+1,..., w d, w). From α 0 = x n+1 we get w x n+1 0. (5.1) Hence, we are reduced to proving that I J (P ) 0 for each admissible set J {1,..., d}, or equivalently, to proving that I J (Q) 0 for every such J. Let us consider an admissible set J {1,..., d}. Then either J = {j} for some j A, J = {j} for some j B, or J = {j 1,..., j l } for some j 1,..., j l C such that there exist distinct indices i 1,..., i l {1,..., p}, with j h C ih for each h {1,..., l}. In the first case 0 V (π L) ρ j ( u, v j ) gives u, v j a j w + w j, and then I J(Q) 0. (5.2) In the second case 0 V (π L) ρ j ( u, v j ) = Sym w E (Emax{0,γ j(q)} 1 ) G, and this implies 0 V = V (Sym w E(E max{0,γ j(q)} 1 ) G) (Sym w E(E max{0,γ j(q)} 1 ) G) (Sym w E(L α 1 1 ) G) (Sym w E(L αp ) G) (Sym w E(L α ) G), and then from Lemma 4.7 we get γ j (Q) max{0, γ j (Q)} w p α i α = x n+1, so p I J(Q) 0. (5.3) In the third case, we have γ jh (Q) α jh for each h {1,..., l}. Otherwise we would have 0 V (π L) ρ j h ( u, v jh ) = Sym w E (Lγ j h (Q) i h ) G, and from Lemma 4.7 we would get V = V (Sym w E(L γ j h (Q) i h ) G) = (Sym w E(E α 0 1 ) G) (Sym w E(L α 1 1 ) G) (Sym w E(L α i h 1 i h 1 ) G) (Symw E(L γ j h (Q) i h ) G) (Sym w E(L α i h +1 i h +1 ) G) (Sym w E(L αp p ) G) (Sym w E(L α ) G) = 0, which is a contradiction. By adding these inequalities over j h J, we get γ j (Q) j J l α jh h=1 p α i = w α 0 α w x n+1, and therefore From (5.1), (5.2), (5.3) and (5.4), it follows that P. I J(Q) 0. (5.4) As we have completed the proof of (L) {L} L, we now prove that L (L) {L}. For this, we note that L = L (Q n+1 N 1 (P(E)) Q ), since L is defined by rational linear inequalities. Thus, it suffices to show that L ( Q n+1 N 1 (P(E)) Q ) (L) {L}. 20

21 To prove this, let us consider and define Q to be ψ(p ), i.e. Q = ( P = (x 1,..., x n+1, w n+1,..., w d, w) L ( Q n+1 N 1 (P(E)) Q ), n x i vi + x n+1 u 1 + (w x n+1 )u 2, x n+1, w n+1,..., w d, w) M Q Q N 1 (P(E)) Q. By replacing L with a suitable tensor power, we can assume that Q M Z N 1 (P(E)) and γ j (Q) Z for each j {1,..., d}. We have w x n+1 0, and I J (Q) = I J(P ) 0 for each admissible set J {1,..., d}. Let us define u = n x i vi + x n+1 u 1 + (w x n+1 )u 2 M, and note that Q = (u, x n+1, w n+1,..., w d, w). We will show the existence of a nonzero section s H 0 (P(E), L) u = H 0 (X, π L) u, satisfying ν (s) = (x 1,..., x n+1 ), which will give us P ν(l) (w n+1,..., w d, w) (L) {L}. By the projection formula we have π L = (Sym w E) O X ( d w id i ). If we denote the fiber of O X ( d w id i ) over the unit of the torus by G, then by Example 3.3 we get (π L) ρ j (i) = (Sym w E) ρ j (i w j ) G, for all j {1,..., d} and all i Z. For each i {1,..., p}, define α i Z 0 by α i = def max ({0} {γ j (Q) j C i }). We claim that α = def w x n+1 p α i is a nonnegative integer. Indeed, this is clear if α i = 0 for each i {1,..., p}. On the other hand, if α i 0 for some i {1,..., p}, let i 1,..., i l {1,..., p} be the distinct indices such that for i {1,..., p}, α i 0 if and only if i {i 1,..., i l }. For each h {1,..., l}, let us choose j h {1,..., d} such that j h C ih and α ih = γ jh (Q). Then the set J = {j 1..., j l } is admissible, and we have I J (Q) 0. Hence p α i = l h=1 α ih = j J γ j (Q) w x n+1. In either case, it follows that α is a nonnegative integer. Let L be a one-dimensional subspace of E different from E 1, L 1,..., L p. From Lemma 4.7, we see that V = def Sym w E(E x n+1 1, L α 1 1,..., L αp, L α ) G is a one-dimensional subspace of (Sym w E) G. We now prove that V (π L) ρ j ( u, v j ) for each j {1,..., d}, considering separately the cases j A, j B and j C. If j A, then J = {j} is admissible, and I J (Q) 0. This gives u, v j a j w + w j, and therefore V (Sym w E) G = (π L) ρ j ( u, v j ). 21 p