arXiv:1703.09980v1 [math.AG] 29 Mar 2017

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES
ALEX KÜRONYA AND VICTOR LOZOVANU

C ONTENTS
Introduction
1. Positivity and Newton–Okounkov bodies
1.1. Prerequisites
1.2. A crash course on positivity
1.3. Local positivity
1.4. Newton–Okounkov bodies, nefness, and restricted base loci
1.5. Newton–Okounkov bodies, ampleness, and augmented base loci
2. Newton–Okounkov bodies on surfaces
2.1. Zariski decomposition on surfaces
2.2. Newton–Okounkov polygons
2.3. Rationality questions regarding Newton–Okounkov polygons
2.4. Infinitesimal Newton–Okounkov polygons
3. Construction of singular divisors and higher syzygies on abelian surfaces
3.1. Generalities on syzygies and property (N p )
3.2. Green’s theorem and stability
3.3. Higher syzygies on abelian surfaces — main result and overview
3.4. On the existence of singular divisors
3.5. Singular divisors via Newton–Okounkov bodies on arbitrary surfaces
3.6. Singular divisors at very general points.
3.7. Proof of Theorem 3.3.2
References

1
2
2
3
15
17
22
28
28
36
41
44
47
47
48
50
55
57
60
64
67

I NTRODUCTION
This is a survey article on Newton–Okounkov bodies in projective geometry focusing on the relationship
between positivity of divisors and Newton–Okounkov bodies. The inspiration for this writing came from the
first author’s lectures at the workshop ’Asymptotic invariants of linear series’ in Cracow, at the same time it
has its roots in earlier talks and lecture series of the authors including the RTG workshop at the University of
Illinois at Chicago, the CRM workshop ’Positivity and valuations’ in Barcelona, at the Universitá di Milano
Bicocca, and the first author’s habilitation thesis. While it is mostly an expository effort, it sporadically
contains small amounts of new material. Such an overview is necessarily biased, and by no means is the
manuscript meant as a complete account of the current state of affairs in the area.
1

2

A. KÜRONYA AND V. LOZOVANU

The intended audience is modelled on the heterogenous crowd participating in the Cracow workshop: it
ranges from interested graduate students to senior researchers in and around algebraic geometry. The style
will necessarily reflect this variation, in particular, the level of detail is by no means uniform. This writing
is not intended as a systematic account of the theory, much rather an overview of the main ideas that tries to
identify new lines of research as well.
Nevertheless, as prerequisites we expect that the reader is familiar with the basics of algebraic geometry,
and the technical baggage of schemes and cohomology roughly on the level of Chapters II and III of [Har77],
or at least can make up for it in mathematical maturity. The precise requirements vary from section to section,
the overall mathematical difficulty is weakly increasing. Exercises denoted by an asterisk are believed to be
more demanding and/or require some extra knowledge.
Acknowledgements. The authors are grateful to Thomas Bauer, Lawrence Ein, Sándor Kovács, Rob Lazarsfeld, Catriona Maclean, John C. Ottem, and Quim Roé for helpful discussions. We would like to use this
opportunity to thank the organizers of the RTG Workshop on Newton–Okounkov bodies at the University of
Illinois at Chicago (Izzet Coskun, Lawrence Ein, and Kevin Tucker), and the organizers of the miniPAGES
Workshop ’Asymptotic invariants attached to linear series’ (Jarosław Buczyński, Piotr Pokora, Sławomir
Rams, and Tomasz Szemberg). The lecture notes of Brian Harbourne and Quim Roé written for the same
workshop were a great inspiration.
The illustrations were done using the TikZ package.
1. P OSITIVITY

AND

N EWTON –O KOUNKOV

BODIES

Let X be an n-dimensional smooth projective variety over the complex numbers, L a Cartier divisor on X .
Studying positivity properties — both global and local near a point x ∈ X — of L has been a central topic
of algebraic geometry for over 150 years. The main tool we use for this purpose are Newton–Okounkov
bodies, a collection of convex bodies inside Rn associated to the pair (X , L).
This section is devoted to a quick introduction to notions of positivity for line bundles and their interaction
with Newton–Okounkov bodies. Although the two could in theory be presented independently of each other,
it is our firm belief that a description intertwining the two is the most natural way from both perspectives.
The material in this section that is not about Newton–Okounkov bodies can be find mostly in Chapters 1 and
2 of [Laz04a].
Very roughly speaking ’positivity’ of a line bundle means that it has ’many global sections’, whatever
this should mean at this point; in any case such properties have strong implications of geometric/cohomological/numerical nature.
1.1. Prerequisites. We will work exclusively over the complex number field. Many of the statements,
including the basics of Newton–Okounkov bodies remain true over an algebraically closed field of arbitrary
characteristic, nevertheless, we will not follow this path.
Varieties will be generally assumed to be smooth for simplicity, unless otherwise mentioned. Again, this
restriction is not necessary from a purely mathematical point of view, but saves us some trouble. Throughout
these notes divisors are always meant to be Cartier divisors. We will often makes use of Cartier divisors
with rational or real coefficients, meaning elements of
def

def

CDiv(X )Q = CDiv(X ) ⊗Z Q , and CDiv(X )R = CDiv(X ) ⊗Z R ,

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

3

respectively. Note that intersecting curves with Q- or R-divisors makes sense just the way one would think.
As customary, we will use divisor and line bundle language interchangeably.
Definition 1.1.1. With notation as above, two Cartier divisors (possibly with Q- or R-coefficients L1 and
L2 are called numerically equivalent (notation: L1 ≡ L2 ), if (L1 · C) = (L2 · C) for all curves C ⊆ X . The
group of numerical equivalence classes of integral Cartier divisors is called the Néron–Severi group, and it
def
is denoted by N 1 (X ). We will write N 1 (X )R = N 1 (X ) ⊗Z R and call it the (real) Néron–Severi space.
Remark 1.1.2. Note that there is another natural candidate for the real Néron–Severi space, namely the real
vector space CDiv(X )R / ≡. Luckily, there is a natural isomorphism
∼

CDiv(X )R / ≡ −→ N 1 (X ) ⊗Z R

therefore no confusion about this notion can arise.

Exercise 1.1.3. Prove the statement of Remark 1.1.2.
Remark 1.1.4. We will say that a property of divisors is ’numerical’, if it respects the numerical equivalence
of divisors.
Remark 1.1.5. It is a general tendency one has been observing since the study of volumes of line bundles
that properties of divisors that are defined using ’large enough multiples’ or in terms of limits over all
multiples tend to be numerical.
1.2. A crash course on positivity. We give a quick outline of basic positivity concepts. This serves several
purposes, including fixing terminology and notation, and to introduce Newton–Okounkov bodies in their
natural habitat from the very beginning. For more detailed information we refer the interested reader to
[Laz04a, Chapter 1 & 2]] and [Har77, Section II.7] and the references therein.
As a first approximation, the positivity of a line bundle means that the associated Kodaira map

φL : X 99K P
is a morphism. Here we explain what this means.
Example 1.2.1. Let X ⊆ Pn be a projective variety, f0 , . . . , fm ∈ C[x0 , . . . , xn ] homogeneous polynomials
of the same degree with the property that for every point P ∈ X there exists an index 0 6 i 6 m such that
fi (P) 6= 0.
Then

φ: X
P

−→ Pm

( f0 (P) : . . . : fm (P))

7→

is a morphism of varieties; this is the baby case of the Kodaira map.
Remark 1.2.2. Homogeneous polynomials of degree d on P are elements of H 0 (P, OP (d)), hence we have
fi ∈ H 0 (X , OP (d)|X ) in the above example.
What happens in general is that given X and L as above, let s0 , . . . , sm ∈ H 0 (X , OX (L)), then

φs0 ,...,sm : X 99K Pm
P

7→

(s0 (P) : . . . : sm (P))

4

A. KÜRONYA AND V. LOZOVANU

gives rise to a rational map, the so-called Kodaira map associated to the global sections s0 , . . . , sm . If
s0 , . . . , sm form a vector space basis of H 0 (X , OX (L)), then the associated φ : X 99K P is uniquely determined by L (up to a projective automorphism of P), and we will simply write φL for it.
The rational map φL is defined at a point P ∈ X if not all elements of H 0 (X , OX (L)) vanish at P.
Definition 1.2.3 (Base points and global generation). With notation as above, we say that a point P ∈ X is
a base point of L (or more precisely: it is a base point of the complete linear series |L|, if s(P) = 0 for every
s ∈ H 0 (X , OX (L)). We write Bs L for the set of base points of L, we call it the base locus of L.
The Cartier divisor L is called globally generated or base-point free if |L| has no base points, equivalently,
if the associated Kodaira map φL is a morphism. We say that L is semi-ample if some multiple mL of L is
globally generated.
Example 1.2.4. While being globally generated for a line bundle presupposes that it has global sections,
this is not the case for semi-ample ones. As an example, the divisor consisting of a point on an elliptic curve
is semi-ample, but the associated line bundle has a base point.
def

Exercise 1.2.5. Let X be a non-hyperelliptic curve, P, Q, R ∈ X distinct points, and L = P + Q − R. Verify
that H 0 (OX (L)) = 0, even though L is ample.
Example 1.2.6. For an interesting example in dimension two, consider Mumford’s fake projective plane
[Mum79]. This a surface X with ample canonical class such that (KX2 ) = 9, pg = 0, and H 0 (X , OX (KX )) = 0.
Exercise 1.2.7. If L is semi-ample, then in fact there exists a positive integer m0 = m0 (L) such that mL is
globally generated for every m > m0 .
Remark 1.2.8. The base locus Bs L in fact carries a natural scheme structure; this is seen as follows: let
V ⊆ H 0 (X , OX (L)) be a linear subspace, then evaluating sections gives rise to a morphism of vector bundles
evV : V ⊗C OX −→ OX (L) ,

which in turn yields the morphism of vector bundles

evV∗ : V ⊗C OX (−L) −→ OX .

The image b(V ) of evV∗ is called the base ideal of the linear series V , one can prove that indeed BsV is the
closed subscheme associated to V . In any case, the scheme structure of base loci will be irrelevant for us for
the most part.
Definition 1.2.9. Let X be a projective variety, L a Cartier divisor on X . The stable base locus of L is defined
as
def

B(L) =

∞
\

Bs(mL) .

m=1

Exercise 1.2.10. Show that B(L) = Bs(mL) for sufficiently large and divisible m ∈ N, conclude that B(L) =
B(mL) for all m > 1.
Definition 1.2.11. A divisor L is called very ample, if φL is a closed embedding, L is called ample if there
exists a multiple mL which is very ample.
Ampleness turns out to be one of the central concepts of projective geometry.

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

5

Exercise 1.2.12. Use the above definition of ampleness to verify that mL is very ample for all m ≫ 0
whenever L is ample.
Example 1.2.13. Consider the case X = Pn , and L = OX (d). Then L is globally generated precisely if d > 0,
and very ample whenever d > 0. For d > 0 the closed embedding φL is the d th Veronese embedding of Pn .
If X is a smooth curve, then the Riemann–Roch theorem yields a good answer. Recall the statement: with
notation as above,

χ (X , L) = degX L + 1 − g(X ) .

With a bit of work one obtains reasonably precise sufficient conditions.
Proposition 1.2.14 (Global generation and very ampleness on curves). Let X be a smooth projective curve,
L a Cartier divisor on X .
(1) If degX L > 2g(X ), then L is base-point free;
(2) if degX L > 2g(X ) + 1, then L is very ample.
Corollary 1.2.15. A divisor L on a curve is ample if and only if semi-ample if and only if degX L > 0.
Proof. We will indicate how to verify the first statement; for a full proof see [Har77, Section V.1]. Let P ∈ X
be an arbitrary point, note that we can identify H 0 (X , L − P) with the subspace of H 0 (X , OX (L)) consisting
of global sections vanishing at P. Consequently, it will suffice to prove that h0 (X , L) > h0 (X , L − P).
Since deg L, deg(L − P) > 2g(X ) − 2 by assumption, we have
deg(KX − L) , deg(KX − (L − P)) < 0 .

Therefore H 0 (X , OX (KX − L)) = H 0 (X , OX (KX − (L − P))) = 0, and

H 1 (X , L) = H 1 (X , L − P) = 0

by Serre duality.
As a consequence,
and

h0 (X , OX (L)) = χ (X , L) = deg L + 1 − g(X ) ,
h0 (X , OX (L − P)) = χ (X , L − P) = deg(L − P) + 1 − g(X ) ,

which implies h0 (X , OX (L)) > h0 (X , OX (L − P)).



Remark 1.2.16. The higher-dimensional generalizations of the above innocent-looking statement gave rise
to a large body of interesting research in projective geometry. Realizing that the condition
degX L > 2g(X )
(or in other words degX (L − KX ) > 0), can be reinterpreted as L = KX + mA for an ample divisor A on
X where m > dim X + 1, Fujita proposed the following conjectures: let X be an n-dimensional smooth
projective variety, A an ample line bundle on X . Then
(1) KX + mA is globally generated whenever m > dim X + 1,
(2) KX + mA is very ample provided m > dim X + 2.

6

A. KÜRONYA AND V. LOZOVANU

Fujita’s conjectures have been completely proven by Reider in the surface case [Rei88]; in higher dimensions
the global generation statement has been verified by Ein–Lazarsfeld [EL93a] in dimension three, Kawamata
and Helmke in dimension four, and very recently by [YZ15] in dimension five. There is a very interesting
connection to Bridgeland stability conditions put forward by Arcara–Bertram [AB11], and explored further
by [BBMT14].
The case of X = Pn and A the hyperplane divisor shows that the conjectured bounds are optimal in general.
Exercise 1.2.17. ⋆ Prove Fujita’s conjectures in the case when A itself is globally generated.
Example 1.2.18 (Elliptic curves). Let X be an elliptic curve (a smooth projective curve of genus one), then
deg L > 2 implies that L is globally generated, while L is very ample if deg L > 3. Note that these bounds
are sharp: if deg L = 2, then φL : X → P1 is not very ample; if deg L = 1, then L is not globally generated as
h0 (X , L) = h0 (X , L) − h0 (X , −L) = h0 (X , L) − h1 (X , L) = χ (X , L) = 1

shows that (up to multiplication by a constant) L has a single non-zero global section.

The way ampleness and semi-ampleness are defined makes it plausible that it is a good idea to look at all
multiples of a given divisor L.
Goal. Given X and L, study all global sections of all multiples of L at the same time.
Remark 1.2.19. To achieve the goal above we will need an organizing principle; this will come from order
of vanishing of global sections along a complete flag Y• of subvarieties of X . This will lead to a collection
of convex bodies ∆Y• (L) ⊆ Rn that will provide a universal numerical invariant for sufficiently positive line
bundles.
Construction 1.2.20 (Newton–Okounkov bodies). Let X be a projective variety of dimension n, L a Cartier
divisor on X , 0 6= s ∈ H 0 (X , OX (L)). Fix in addition a complete flag of (irreducible) subvarieties
Y• : X = Y0 ⊃ Y1 ⊃ . . . ⊃ Yn

subject to the conditions that
(1) codimX Yi = i for all 0 6 i 6 n;
(2) Yi is smooth at the point Yn for all 0 6 i 6 n.
Such a flag will be called admissible.
Set
def
def s
ν1 (s) = ordY1 (s) , and s1 = ν1 |Y1 ,
f1
where f1 is a local equation of Y1 in Y0 in a neighbourhood of Yn . Note that since Y0 = X is smooth at
Yn , the latter will have at least an open neighbourhood U0 in which Y1 will be a Cartier divisor. The order
of vanishing along Y1 is measured at its generic point, hence as far as determining the value of ν1 (s) is
concerned, we can safely restrict our attention to U0 .
Next, set
def
def s1
ν2 (s) = ordY2 (s1 ) , and s2 = ν (s) Y2 ,
f2 2
and so on. This way we associate to s an n-tuple
def

s 7→ νY• (s) = (ν1 (s), . . . , νn (s)) ∈ Nn .

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

7

With this notation we define the Newton–Okounkov body of L with respect to the admissible flag Y• as
∞
[
1
def
νY• | 0 6= s 6= H 0 (X , mL) ⊆ Rn .
∆Y• (L) = closed convex hull of
m
m=1

Remark 1.2.21 (Flags centered at a given point). We say that a flag Y• is centered at a point x ∈ X if Yn = {x}.
We will see in Subsections 2.4 and 2.5, the totality of flags centered at a certain point x ∈ X determine local
positivity of line bundles at x to a large degree.
Example 1.2.22 (Complete intersection flags). Let X be a projective variety of dimension n, L a very ample
line bundle (ample and base-point free in dimension at least two would suffice). By Bertini’s theorem general
elements H1 , . . . , Hn ∈ |L| give rise to an admissible flag Y• via the following construction:
(
if 0 6 i 6 n − 1,
def H1 ∩ . . . ∩ Hi
Yi =
a point in H1 ∩ · · · ∩ Hn if i = n.
Note that we cannot just set Yn to be equal to H1 ∩ . . . ∩ Hn , since this latter consists in more than one point
in general.
Exercise 1.2.23. Provide the details in the previous example.
Remark 1.2.24 (History). Newton–Okounkov bodies in the current context and generality were first introduced by Kaveh–Khovanskii [KK12] and Lazarsfeld–Mustaţă [LM09] at about the same time. Both works
were building on earlier ideas of Okounkov [Oko96, Oko03] who introduced these bodies in a representationtheoretic context.
Remark 1.2.25 (More general point of view). Construction 1.2.20 consists of two parts: first one build a
rank n valuation of the function field C(X ) using the flag Y• and then uses the arising normalized valuation
vectors to construct the Newton–Okounkov body associated to the Cartier divisor L.
In fact the above process goes through verbatim if we start directly with a rank n valuation v of C(X ), one
can simply define
def

∆v (L) = closed convex hull of

∞
[
1

m
m=1

v(s) | 0 6= s ∈ H 0 (X , mL)

⊆ Rn .

The added flexibility lets one consider flags on birational models of X , or even more generally, to associate
convex bodies to graded subalgebras of C(X ). This is the point of view taken in [KK12, Roé16, CFK+ 16]
for instance.
On the other hand, at the expense of changing the model we work on, we can be content with working
with valuations arising from flags. According to [CFK+ 16], Proposition 2.8 and Theorem 2.9, for every rank
n valuation v of the function field C(X ) of a smooth variety X of dimension n there exists a proper birational
morphism π : Xe → X and a flag Y• on Xe such that νY• and v coincide.
The territory in which Newton–Okounkov bodies are most useful is the cone of divisors with ’sufficiently
many sections’.

Definition 1.2.26 (Big divisors). Let X be an n-dimensional projective variety, L a Cartier divisor on X . We
say that L is big if
h0 (X , mL)
def
volX (L) = lim sup
> 0.
mn /n!
m→∞

8

A. KÜRONYA AND V. LOZOVANU

The quantity volX (L) is called the volume of L.
Theorem 1.2.27 (Characterizations of big divisors). Let X be a projective variety, L a Cartier divisor on X .
Then the following are equivalent.
(1) L is big.
(2) There exists m ≫ 0 with the property that the rational map φmL : X 99K P is birational onto its image.
(3) There exists a natural number m0 = m0 (L) such that φmL : X 99K P is birational onto its image for all
m > m0 .
(4) (Kodaira’s lemma) There exists a natural number m such that mD ≃ A + E where A is an ample, E is an
effective integral Cartier divisor.
Proof. All results are proven in Section 2.2 of [Laz04a].



Remark 1.2.28. Note that it follows from the bigness of L the the sequence n!h0 (X , mL) /mn in fact converges to volX (L).
Theorem 1.2.29 (Properties of the volume). Let X be a projective variety of dimension n, L a Cartier divisor
on X . Then the following hold.
(1) volX (aL) = an · volX (L) for all natural numbers a ∈ N.
(2) If L1 ≡ L2 , then volX (L1 ) = volX (L2 ).
(3) The volume induces a continuous log-concave function volX : N 1 (X )R → R>0 .

Proof. The original proofs are found in [Laz04a, Section 2.3]. For big divisor classes most of the listed
properties follow immediately from the formal properties of Newton–Okounkov bodies.


Remark 1.2.30 (Volume and bigness for rational and real divisors). As numerically trivial divisors have
equal volumes, it makes sense define the volume of an element of N 1 (X ) as the common value of volX (D)
of any representative. For an element α ∈ N 1 (X )Q , let m ∈ N be such that mα is integral. Set
def 1
volX (α ) = n · volX (mα ) .
m
A quick check will convince that the homogeneity of the volume implies that this way we obtain a welldefined function on N 1 (X )R .
A more elaborate argument will lead to the observation that volX (α ) is a locally uniformly continuous
function on N 1 (X )Q , hence can be extended uniquely to N 1 (X )R in a continous fashion.
Once this is in place, we can define bigness for elements α ∈ N 1 (X )R .

Definition 1.2.31. With notation as above, an R-divisor class α ∈ N 1 (X )R is called big, if volX (α ) > 0

Exercise 1.2.32. Prove the following extension of Kodaira’s Lemma to big divisor classes: a divisor class
δ ∈ N 1 (X )R is big precisely if it can be written as δ = α + ε , where α is ample, and ε is effective (note that
we have not yet defined what ample or effective mean for an R-divisor class).

Remark 1.2.33 (Volume of ample divisors). The asymptotic version of the Riemann–Roch theorem says
that
(Ln ) n
χ (X , OX (mL)) =
· m + O(mn−1 )
n!
for a divisor L on X . If L is ample, then Serre vanishing implies
H 1 (X , OX (mL)) = 0 for all m ≫ 0,

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

9

which yields volX (L) = (Ln ).
Exercise 1.2.34. Compute the volume function for the blow-ups of P2 in one and two points.
Remark 1.2.35 (Higher asymptotic cohomology). Analogously to the volume of a divisor, one can measure
the asymptotic rate of growth of higher cohomology groups of divisors by considering
hi (X , OX (mL))
def
b
.
hi (X , L) = lim sup
mn /n!
m→∞

The asymptotic cohomology functions defined this way enjoy many of the formal properties of the volume;
in particular, they extend to continuous functions N 1 (X )R → R. Their theory is developed in [Kür06], some
applications are given in [dFKL07, Dem11, Dem10].
As opposed to the situation for volumes of divisors, at the time of writing it is an open question whether
the upper limits b
hi (X , L) are in fact limits or not. Equally missing is a convex geometric interpretation of
b
hi (X , L), which would likely yield a positive answer to the previous question.

Theorem 1.2.36 (Formal properties of Newton–Okounkov bodies). Let X be a projective variety of dimension n, L a line bundle on X .
(1) The subset ∆Y• (L) ⊆ Rn is a compact, convex, and has non-empty interior if L is big.
(2) n! · volRn (∆Y• (L)) = volX (L), in particular, the volume of the Newton–Okounkov body ∆Y• (L) is independent of the choice of the flag Y• .
(3) ∆Y• (aL) = a · ∆Y• (L) ⊆ Rn for all a ∈ N.
(4) ∆Y• ( ) is invariant with respect to numerical equivalence.
Proof. We refer the reader to [LM09].



Remark 1.2.37. Part (3) implies that ∆Y• (L) makes sense when L is a Q-divisor, while (4) yields that the
notion descends to numerical equivalence classes. These claims put together let us define ∆Y• (α ) for an
arbitrary Q-divisor class α .
As it turns out, one can go even further. Lazarsfeld–Mustaţă [LM09] use a continuity argument to extend
∆Y• (α ) to arbitrary big classes in N 1 (X )R . It is important to point out that their proof does not imply
continuity of Newton–Okounkov bodies as one converges to the boundary of Big(X ), not in the least since
this latter is false (see [CHPW15a], and Remark 1.2.38 below about Newton–Okounkov bodies of non-big
divisors).
Remark 1.2.38 (Newton–Okounkov bodies for non-big divisors). It is immediate from their definition that
Newton–Okounkov bodies make sense for arbitrary divisors, nevertheless, most of the good properties are
valid only for big ones.
In [CHPW15a, CHPW16] the authors study Newton–Okounkov bodies for not necessary big divisor
classes. An important point to make is that for non-big classes one has two a priori different options: one
can make use of the original definition of Newton–Okounkov bodies (this is called a ’valuative Newton–
Okounkov body’ by the authors), or one can try to force continuity and use limits of Newton–Okounkov
bodies of big classes (so-called ’limiting Newton–Okounkov bodies’).
One of the lessons of [CHPW15a] is that even in dimension two, these two notions might and will differ,
in particular, as mentioned above, forming Newton–Okounkov bodies is not a continuous operation as one
converges towards non-big classes.

10

A. KÜRONYA AND V. LOZOVANU

Remark 1.2.39. One of the first interesting applications of Newton–Okounkov bodies was that they give a
simple and formal explanation for the continuity of the volume function for big divisors, its log-concavity
[LM09, Corollary 4.12], and the existence of Fujita approximations [LM09, Theorem 3.5].
An interesting turn of events is that the collection of all Newton–Okounkov bodies forms a ’universal
numerical invariant’ in the following sense.
Theorem 1.2.40 (Jow [Jow10]). Let X be a projective variety, L and L′ big (integral) Cartier divisors on X .
If ∆Y• (L) = ∆Y• (L′ ) for every admissible flag Y• , then L ≡ L′ .
Remark 1.2.41. Along the lines of [Jow10], Roé [Roé16] introduced the concept of local numerical equivalence on surfaces, and studied its connection with Newton–Okounkov bodies.
As a consequence, morally speaking every property or invariant of divisors that is invariant with respect
to numerical equivalence should be observable from the function
∆(L) : Y• 7→ ∆Y• (L) .

This motivates the question that will guide our investigations in these notes.
Question 1.2.42. How can we read off positivity properties of line bundles from the collection of its Newton–
Okounkov bodies? In particular, how do we decide if the given line bundle is ample?
Example 1.2.43 (Case of curves, [LM09, Example 1.13]). Let X be a smooth projective curve of genus g.
An admissible flag Y• then consists of X itself and the choice of a point P ∈ X . For a Q-effective divisor L
on X and a natural number m we have
im νY•

:
=
=

H 0 (X , OX (mL)) −→ N

the vanishing sequence of mL at P
the complement of the Weierstraß gaps sequence of mL at P .

From the Riemann–Roch theorem we obtain that for every 0 6 i 6 deg(mL) − 2g − 1 there exists a global
section s ∈ H 0 (X , OX (mL)) such that ordP (s) = i. This leads to
∆Y• (L) = [0, deg L] .

Definition 1.2.44 (Valuative point). Let X be a projective variety, Y• an admissible flag, L a Cartier divisor
on X . We say that a point v ∈ ∆Y• (L) ∩ Qn ⊆ Rn is valuative, if there is a section s ∈ H 0 (X , OX (mL)) for
some m > 1 such that v = m1 · νY• (s) .
Exercise 1.2.45. Show that all rational points in the interior of ∆Y• (L) are valuative.
Exercise 1.2.46. Let X be a smooth curve of genus g, L a divisor with deg L > 0, Y• : X ⊃ {P} an admissible
flag on X . Give a necessary and sufficient criterion for deg L ∈ ∆Y• (L) to be valuative.

Example 1.2.47 (Projective space). Let X = Pn with homogeneous coordinates T0 , . . . , Tn . Set
def

Yi = V (T0 , . . . , Ti−1 ) ⊆ Pn ,

and consider the resulting admissible flag Y• consisting of coordinate subspaces.
Then νY• is the lexicographic ordering given on monomials by
def

νY• (T0a0 . . . Tnan ) = (a0 , . . . , an−1 ) ,

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

hence
∆Y• (OP (1)) =

(

n

11

)

x ∈ Rn | x > 0 , ∑ xi 6 1
i=1

is a simplex.
Remark 1.2.48 (Toric varieties). As pointed out in [LM09, Section 6.1], the connection to toric geometry
observable in the example of projective spaces carrier over to arbitrary smooth toric varieties. More precisely,
if X is a toric variety, Y• an admissible flag consisting of T -invariant subvarieties, L a T -invariant integral
Cartier divisor, then ∆Y• (L) is a shift of the moment polytope associated to (X , L).
In the light of this example one could think of the theory of Newton–Okounkov bodies as trying to do
toric geometry without a torus action. The analogy can in fact be made more concrete. The torus action
on a toric variety gives rise to a compatible set of gradings on all space H 0 (X , OX (L)). In the absence of
such a group action, the theory of toric varieties replaces this grading by an infinite collection of compatible
filtrations (one filtration for every rank n valuation of the function field) on the spaces of global sections.
The following a slightly different definition of Newton–Okounkov bodies. It has already appeared in print
in [KLM12], and although it is an immediate consequence of [LM09], a complete proof was first given in
[Bou12, Proposition 4.1].
Proposition 1.2.49 (Equivalent definition of Newton-Okounkov bodies). Let ξ ∈ N1 (X )R be a big R-class
and Y• be an admissible flag on X . Then
∆Y• (ξ ) = closed convex hull of {νY• (D) | D ∈ Div>0 (X )R , D ≡ ξ },

where the valuation νY• (D), for an effective R-divisor D, is constructed inductively as in the case of integral
divisors.
Remark 1.2.50. Just as in the case of the original definition of Newton–Okounkov bodies, it becomes a
posteriori clear that valuation vectors νY• (D) form a dense subset of
closed convex hull of {νY• (D) | D ∈ Div>0 (X )R , D ≡ ξ } ,

hence it would suffice to take closure in Proposition 1.2.49.

Next, we give a convex-continuity statement for Newton–Okounkov bodies.
Lemma 1.2.51. Let D be a big R-divisor, Y• an admissible flag on X . Then the following hold.
(1) For any real number ε > 0 and any ample R-divisor A on X , we have ∆Y• (D) ⊆ ∆Y• (D + ε A).
(2) If α is an arbitrary nef R-divisor class, then ∆Y• (D) ⊆ ∆Y• (D + α ).
(3) If αm is any sequence of nef R-divisor classes with the property that αm − αm+1 is nef and kαm k → 0 as
m → ∞ with respect to some norm on N 1 (X )R , then
∆Y• (D) =

\
m

∆Y• (D + αm ) .

Proof. For the first claim, since A is an ample R-divisor, one can find an effective R-divisor M ∼R A with
Yn ∈
/ Supp(M). Then for any arbitrary effective divisor F ∼R D one has F + ε M ≡R D+ ε A and νY• (F +M) =
νY• (F). Therefore
{νY• (ξ ) | ξ ∈ Div>0 (X )R , D ≡ ξ } ⊆ {νY• (ξ ) | ξ ∈ Div>0 (X )R , D + ε A ≡ ξ }

and we are done by Proposition 1.2.49.

12

A. KÜRONYA AND V. LOZOVANU

For (ii), note first that whenever α is ample, we can write α = ∑ri=1 εi Ai for suitable real numbers εi > 0
and ample integral classes Ai , therefore an interated application of (i) gives the claim. The general case then
follows by continuity and and approximating a nef R-divisor class by a sequence of ample ones.
The equality in (iii) is a consequence of (ii) and the continuity of Newton–Okounkov bodies.

Back to ampleness: part of the usefulness of the notion stems from the existence of characterizations in
terms of geometric/cohomological/numerical terms. Most of the results below (and much more) are proven
in [Laz04a, Sections 1.2 – 1.4].
Theorem 1.2.52 (Cartan–Grothendieck–Serre). Let X be a complete variety, L a Cartier divisor on X . Then
the following are equivalent.
(1) L is ample.
(2) For every coherent sheaf F on X there exists a positive integer m0 = m0 (L, F ) such that F ⊗ OX (mL)
is globally generated for all m > m0 .
(3) For every coherent sheaf F on X there exists a positive integer m1 = m1 (L, F ) such that
H i (X , F ⊗ OX (mL)) = 0
for all i > 1 and m > m1 .
Theorem 1.2.53 (Nakai–Moishezon–Kleiman). Let X be a projective variety, L a Cartier divisor on X .
Then L is ample if and only if (LdimV ·V ) > 0 for every positive dimensional irreducible subvariety V ⊆ X
(including X itself).
Remark 1.2.54. If X is a curve, then L is ample precisely if deg L > 0, which happens exactly if L is Qeffective. On a surface X a divisor L is ample if and only if (L ·C) > 0 for every curve C ⊆ X and (L2 ) > 0.
Note that the latter condition is not superfluous.
Remark 1.2.55 (Extension of ampleness). The results above let one extend the notion of ampleness to Q- or
R-divisors in a natural way; in addition we can make sense of ampleness for numerical equivalence classes:
a class α ∈ N 1 (X ) is ample, if it is represented by an ample divisor, similarly for Q- and R-divisor classes.
Remark 1.2.56. It follows that ampleness is a numerical property, that is, if L1 ≡ L2 , then L1 is ample if and
only if L2 is ample. An interesting consequence is that being an adjoint divisor is also a numerical property.
Recall that a divisor is called adjoint if it has the form KX + A with A ample. If L ≡ KX + A, then L − KX ≡ A,
that is, L − KX is numerically equivalent to an ample divisor, hence it is itself ample.
As a consequence, we can see that ampleness becomes a notion for classes α ∈ N 1 (X )R .
Exercise 1.2.57. Check that ampleness is a convex property: for α1 , α2 ∈ N 1 (X )R ample, t1 ,t2 > 0 with
t1 + t2 = 1 we have that t1 α1 + t2 α2 is ample again.
Definition 1.2.58 (Ample cone). Let X be a projective variety. The ample cone Amp(X ) ⊆ N 1 (X )R of X is
the convex cone consisting of all ample R-divisor classes.
Exercise 1.2.59. Let X be a projective variety. Show that the ample cone equals the convex cone spanned
by all ample classes α ∈ N 1 (X ). Check that the ample cone is strictly convex (it does not contain a line),
and it has non-empty interior.

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

13

It is well-known that in toric geometry ampleness can be read off the polytope associated to a line bundle. An important fact about the relationship between positivity and Newton–Okounkov bodies is that an
analogous result holds.
Theorem 1.2.60 (Ampleness via Newton–Okounkov bodies). Let X be a projective variety, L a big divisor
(potentially with rational or real coefficients). Then the following are equivalent.
(1) L is ample.
(2) For every admissible flag Y• there exists a positive real number λ > 0 such that ∆λ ⊆ ∆Y• (L).
(3) For every point x ∈ X there exists an admissible flag Y• with Yn = {x} and Y1 ample, and a positive real
number λ > 0 such that ∆λ ⊆ ∆Y• (L).
Proof. We prove the result in Subsection 2.5.



Example 1.2.61. Let π : X → P2 be the blowing-up of P2 at a point P ∈ P2 with exceptional divisor E; we
write H for the pullback of the hyperplane class. The Néron–Severi space N 1 (X )R has {H, E} as a basis,
and a divisor aH + bE is ample if and only if a > 0 and 0 < −b < a.
It is an unfortunate fact that H is not ample, in fact, more generally, the pullback of an ample divisor
under a proper birational morphism (that is not an isomorphism) is never ample. On the other hand, one can
see that (H ·C) > 0 for all curves C on X .
Remark 1.2.62 (Ampleness in families). Ampleness is open in families in a very general sense. More
precisely, let f : X → T be a proper morphism of varieties (or schemes), L a line bundle on X . Write
def
Xt for f −1 (t) (t ∈ T ) and Lt = L |Xt . If Lt0 for some t0 ∈ T , then there exist an open neighbourhood
t0 ∈ U ⊆ T such that Lt is ample for all t ∈ U .
Definition 1.2.63 (Nefness). Let X be a complete variety. An R-divisor L on X is nef if (L ·C) > 0 for every
curve C ⊆ X . Nef R-divisor classes are defined analogously.
Theorem 1.2.64 (Kleiman). Let X be a complete variety of dimension n, L a nef R-divisor on X . Then
(Lm ·V ) > 0

for every m-dimensional irreducible subvariety V ⊆ X .

Exercise 1.2.65. Verify that ample, globally generated, or semi-ample line bundles are nef.
Remark 1.2.66. The nef cone Nef(X ) ⊆ N 1 (X )R of a complete variety X is defined analogously to the
ample cone: it is simply the cone consisting of all nef R-divisor classes (or, equivalently, it is the cone
spanned in N 1 (X )R by all integral nef classes).
Exercise 1.2.67. For a nef R-divisor L and an ample R-divisor A on a projective variety X , verify that
L + ε A is ample for all ε > 0. Conversely, if L and A are R-divisors on X , A is ample, and L + ε A is ample
for all ε > 0, then L is nef.
Use these observations to show that the nef cone is the (topological) closure of the ample cone inside
N 1 (X )R , and Amp(X ) is the interior of Nef(X ).
Remark 1.2.68 (Birational nature of big and nef). Note that the pullback of an ample divisor under a proper
birational morphism is nef, at the same time the pullback of a nef divisor under an arbitrary proper morphism
remains nef.

14

A. KÜRONYA AND V. LOZOVANU

By the Leray spectral sequence pulling back by a proper birational morphism preserves volumes, hence
the pullback of an ample divisor is big and nef; this latter property is however remains unchanged after
proper birational pullbacks, hence this is the ’right’ notion of positivity in birational geometry.
To support this point note that many of the main building blocks of the Mori program are proven for big
and nef divisors and not only for ample ones.
Remark 1.2.69 (Nefness in families). As opposed to ampleness, the question whether nefness is open in
families, is a lot more subtle (cf. [Laz04a, Proposition 1.4.14]). Lesieute in [Les14] gave an example where
nefness is not open for a family of R-divisors. Nevertheless, the more geometric case of families of big
integral divisors is still open to the best of our knowledge.
Exercise 1.2.70. ⋆ Let L be a family of big line bundles over a flat family of smooth projective surfaces.
Show that nefness is open in L (cf. [Mor92]).
Remark 1.2.71 (Positivity of higher-codimension cycles). Fulger and Lehmann [FL17b] have recently developed an extremely interesting theory of positivity and Zariski decomposition for (co)cycles of higher
codimension. One of the main points of interest is that nefness falls apart into four different notions.
Exercise 1.2.72. Prove that a Cartier divisor is nef if and only if it is universally pseudo-effective. More
specifically, let L be a line bundle on a projective variety X . Show that L is nef if and only if for every
morphism of projective varieties f : Y → X with Y smooth, f ∗ L is pseudo-effective.
Just as in the case of ampleness, nef divisors also have a description in terms of Newton–Okounkov
bodies. The proof is referred to Section 2.4.
Theorem 1.2.73 ([KL15a]). For a big R-divisor L on a smooth projective variety X , the following are
equivalent.
(1) D is nef.
(2) For every point x ∈ X there exists an admissible flag Y• on X centered at x such that 0 ∈ ∆Y• (D) ⊆ Rn .
(3) One has 0 ∈ ∆Y• (D) for every admissible flag Y• on X .
•
•
•
•

Before moving on, here is a quick summary of notions of positivity for divisors.
Ample, nef, big, and pseudo-effective are numerical properties, and they make sense for elements of
N 1 (X )R . In comparison, the properties very ample, globally generated, semi-ample, effective, and Qeffective are not numerical1 .
Ample & big are open (inside the real vector space N 1 (X )R ), while nef & pseudo-effective are closed.
Ample implies big, nef implies pseudo-effective, but in general not the other way around.
Globally generated/semi-ample imply nef, and effective/Q-effective imply pseudo-effective.

Remark 1.2.74. It is a very important and equally difficult question in higher-dimensional geometry to decide when a nef divisor is globally generated/semi-ample or a pseudo-effective divisor is Q-effective/effective.
The general yoga is that problems of ’numerical’ nature are more approachable than ’geometric’ ones.
Exercise 1.2.75. Upon looking at the list of positivity properties, one is clearly missing, the variant of
bigness that corresponds to very ample divisors. Come up with a definition of ’birationally very ample’ or
’very big’.
1This means that there exist divisors L ≡ L′ where one is for instance globally generated while the other one is not.

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

15

Remark 1.2.76. The following simplistic argument can provide an initial justification for the shape of the
results we expect. Let X be a smooth projective curve, Y• an admissible flag on X , which simply means the
specification of Y1 = {P}, and L a line bundle on X . Then
L is nef

⇔ degX L > 0 ⇔ 0 ∈ ∆Y• (L) = [0, degX L] ,

and
L is ample

⇔ degX L > 0 ⇔ [0, ε ) ∈ ∆Y• (L) = [0, degX L] for some ε > 0.

Finally a quick note about the question when Newton–Okounkov bodies of line bundles can be rational
polytopes. They always are in dimension one, and are very close to being so in dimension two. In fact, as
shown in Theorem 2.2.11, Newton–Okounkov bodies on surfaces are always polygons.
Here the dependence on the flag starts becoming an issue. As proven in Proposition 2.3.5 below, if L is
a big line bundle on a surface, then one will always be able to find a flag with respect to which ∆Y• (L) is
a rational polygone, but there is an abundant cash of examples that show that this is not always the case.
Nonetheless, there is no known global obstruction to ∆Y• (L) being a rational polygone in dimension two, the
volume of a line bundle is for instance always a rational number.
The situation changes drastically in dimension three and above. It is known that volX (L) is no longer
necessarily rational, and by Theorem 1.2.29 (2), this implies that ∆Y• (L) cannot be a rational polytope (this
is observed in [LM09]). Going down this road, it is possible to construct examples of Mori dream spaces
X with ample line bundles L (see [KLM12] for instance) such that ∆Y• (L) is not polyhedral for a suitable
choice of a flag.
In the other direction, one would expect that divisors with finitely generated section rings would possess
rational polytopes are Newton–Okounkov bodies. While this is false in general (as mentioned above), one
can prove that under a judicious choice of the flag, the associated Newton–Okounkov body will indeed be a
rational polytope.
Theorem 1.2.77 ([AKL13]). Let X be a smooth projective variety, L a line bundle on X with R(X , L) finitely
generated. Then there exists an admissible flag Y• on X such that ∆Y• (L) is a rational polytope.
Remark 1.2.78. The algebraic object whose finite generation guarantees that ∆Y• (L) is a rational polytope
is the valuation semigroup ΓY• (L) (or, equivalently, the associated semigroup algebra). Note that this latter
happens to be finitely generated a lot less often.
1.3. Local positivity. In order to study positivity questions in terms of Newton–Okounkov bodies, we need
to be able to talk about positivity at or in a neighbourhood of a point.
Definition 1.3.1 (Local ampleness). Let X be a projective variety, x ∈ X an arbitrary point. We say that L is
ample at x, if x possesses an open neighbourhood U ⊆ X such that

φ|L⊗m |

U

: U −→ P

is an embedding for some (or, equivalanetly, for all) large enough m ∈ N.
Recall that global generation/semi-ampleness can be expressed in terms of subvarieties of X : for instance
L is semi-ample if and only if B(L) = 0.
/ We wish to obtain analogous characterizations of ample/nef/etc.
eventually.

16

A. KÜRONYA AND V. LOZOVANU

Definition 1.3.2 (Augmented base locus, [ELM+ 06]). Let X be a projective variety, L a line bundle, A an
ample line bundle on X , x ∈ X arbitrary. We set
def

B+ (L) = B(L − tA) for some 0 < t ≪ 1.
One of the reasons for using augmented (and soon restricted or diminished base loci) of divisors instead
of stable base loci is that the stable base locus of a line bundle does not respect numerical equivalence. We
briefly summarize some important basic properties of augmented base loci.
Lemma 1.3.3 (Properties of the augmented base locus). With notation as above, we have the following.
(1) B+ (L) does not depent on the choice of A nor the actual value of t as long as it is taken to be small
enough (in terms of L and A).
(2) If L ≡ L′ , then B+ (L) = B+ (L′ ).
(3) L is ample precisely if B+ (L) = 0.
/
(4) L is big precisely if B+ (L) 6= X .
(5) B(L) ⊆ B+ (L) ⊆ X Zariski closed.

Proof. All proofs can be found in [ELM+06, Section 1].



Remark 1.3.4 (Augmented base locus for R-divisors). Since B(mL) = B(L), one immediately obtains
B+ (mL) = B+ (L), and hence we can extend the definition of augmented base loci for Q-divisors by setting
def
B+ (D) = B+ (mD)
for some natural number m for which mD is integral. For an R-divisor class δ we define
def

B+ (δ ) = B+ (δ − t α )

for α an arbitrary ample class, t > 0 sufficiently positive and such that δ − t α is rational.
The relationship between local ampleness and the augmented base locus is quickly explained by a result
of Boucksom, Cacciola and Lopez.
Theorem 1.3.5 (Boucksom–Cacciola–Lopez [BCL14], Theorem A). Let X be a normal (do we really need
this?) projective variety, x ∈ X , L an line bundle on X . Then
L is ample at x ⇔ x 6∈ B+ (L) .

An analogous result for R-divisors is given in [Lop15]. In a slightly different direction, since ampleness can be characterized by the existence of certain resolutions (cf. [Laz04a, Example 1.2.21]), it is not
unexpected that augmented base loci can be described in the same terms.
Proposition 1.3.6 ([Kür13], Proposition 3.6). Let L be an integral Cartier divisor on a projective variety.
Then B+ (L) is the smallest subset of X such that for all coherent sheaves F there exists a possibly infinite
sequence of sheaves of the form
· · · −→

ri
M
i=1

OX (−mi L) −→ · · · −→

with all mi > 1, which is exact off B+ (L).

r0
M
i=1

OX (−m0 L) −→ F ,

Augmented base loci have a counterpart describing nefness/pseudo-effectivity.

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

17

Definition 1.3.7 (Restricted base locus, [ELM+ 06]). Let X be a projective variety, x ∈ X , L an integral
Cartier divisor, A an ample line bundle on X . We define
def

B− (L) =

∞
[

B(L + m1 A) .

m=1

Remark 1.3.8 (Terminology). In various sources (see [Les14] for instance) restricted base loci are called
’diminished’. We will stick to the original terminology of [ELM+ 06].
Lemma 1.3.9 (Properties of the restricted base locus). With notation as above, restricted base loci have the
following properties.
(1) B− (L) is independent of the choice of A.
(2) B− (L) = 0/ if and only if L is nef.
(3) B− (L) 6= X if and only if L is pseudo-effective.
(4) If L ≡ L′ , then B− (L) = B− (L′ ).
(5) B− (L) ⊆ B(L)
Proof. Verifications of these statements can be found in [ELM+ 06, Section 2].



Remark 1.3.10 (Restricted base loci are not always Zariski closed). Lesieutre [Les14] has produced various
examples of divisors with real coefficients whose restricted base loci are not Zariski closed.
Exercise 1.3.11. ⋆ Let X be a normal projective variety, L a big line bundle on X with R(X , L) finitely
generated. Show that B− (L) = B(L).
Exercise 1.3.12. Let X be a projective variety, x ∈ X an arbitrary point. Then
def 
(1) B+ (x) = α ∈ N 1 (X )R | x ∈ B+ (α ) ⊆ N 1 (X )R is closed,
def 
(2) B− (x) = α ∈ N 1 (X )R | x ∈ B− (α ) ⊆ N 1 (X )R is open,
both with respect to the metric topology of N 1 (X )R .

Exercise 1.3.13. ⋆ Let f : Y → X be a proper birational morphism between smooth projective varieties, L a
big line bundle on X . Determine B+ ( f ∗ L) in terms of B+ (L), and likewise for restricted base loci.
1.4. Newton–Okounkov bodies, nefness, and restricted base loci. Our immediate plan now is to describe
augmented/restricted base loci in terms of Newton–Okounkov bodies. Here we will deal with restricted base
loci and the closely related notions of nefness and pseudo-effectivity. Most of the discussion is taken almost
verbatim from [KL15a]. The fundamental result connecting restricted base loci is the following.
Theorem 1.4.1 ([KL15a]). Let X be a smooth projective variety, D a big R-Cartier divisor on X , x ∈ X .
Then the following are equivalent.
(1) x ∈
/ B− (D).
(2) There exists an admissible flag Y• centered at x such that 0 ∈ ∆Y• (D).
(3) One has 0 ∈ ∆Y• (D) for all admissible flags Y• centered at x.
The connection between base loci and nefness comes from combining Theorem 1.4.1 with Lemma 1.3.9.
Corollary 1.4.2. With notation as above the following are equivalent for a big R-divisor D.
(1) D is nef.

18

A. KÜRONYA AND V. LOZOVANU

(2) For every point x ∈ X there exists an admissible flag Y• on X centered at x such that 0 ∈ ∆Y• (D) ⊆ Rn .
(3) One has 0 ∈ ∆Y• (D) for every admissible flag Y• on X .
Proof. Immediate from Theorem 1.4.1 and Lemma 1.3.9.



Remark 1.4.3. In fact, the proof of Theorem 1.4.1 yields somewhat more: assuming (as we have to) that
x ∈ X is smooth, one can in fact see that the implication (1) ⇒ (3) holds on an arbitrary projective variety
both in Theorem 1.4.1 and Corollary 1.4.2.
Exercise 1.4.4. Comb through the proof of Theorem 1.4.1 in order to verify the claim of Remark 1.4.3.
Remark 1.4.5 (Pseudo-effective R-divisors). In [CHPW15b, Theorem 4.2] the authors observe Theorem 1.4.1
and Corollary 1.4.2 to limiting Newton–Okounkov bodies of pseudo-effective R-divisors.
Exercise 1.4.6. Prove that Theorem 1.4.1 holds for limiting Newton–Okounkov bodies of divisors using the
definition
def

∆Ylim
(D) =
•

∞
\

m=1

∆Y• (D + αm ) ,

where (αm )m∈N ց 0 is a decreasing sequence of ample R-divisor classes. Check first that the definition is
independent of the choice of the sequence αm .
The essence of the proof of Theorem 1.4.1 is to connect the asymptotic multiplicity of D at x to a certain
function defined on the Newton-Okounkov body of D. Before turning to the actual proof, we will quickly
recall the notion of the asymptotic multiplicity (or the asymptotic order of vanishing) of a Q-divisor F at a
point x ∈ X .

Definition 1.4.7 (Asymptotic multiplicity). Let F be an effective Cartier divisor on X , defined locally by
the equation f ∈ OX,x . Then multiplicity of F at x is defined to be multx (F) = max{n ∈ N| f ∈ mnX,x }, where
mX,x denotes the maximal ideal of the local ring OX,x . If |V | is a linear series, then the multiplicity of |V | is
defined to be
def
multx (|V |) = min {multx (F)} .
F∈|V |

The asymptotic multiplicity of a Q-divisor D at x is then defined to be
multx (|pD|)
def
.
multx (||D||) = lim
p→∞
p
Remark 1.4.8. By semicontinuity minF∈|V | {multx (F)} equals the multiplicity of a general element in |V |
at x. The multiplicity at x coincides with the order of vanishing at x, given in Definition 2.9 from [ELM+ 06].
In what follows we will talk about the multiplicity of a divisor, but the order of vanishing of a section of a
line bundle.
An important technical ingredient of the proof of Theorem 1.4.1 is a result of [ELM+ 06], which we now
recall. In some sense this is the counterpart of the geometric descriptions we had earlier for augmented base
loci in Theorem 1.3.5 and Proposition 1.3.6.
Proposition 1.4.9. ([ELM+ 06, Proposition 2.8]) Let D be a big Q-divisor on a smooth projective variety X ,
x ∈ X an arbitrary (closed) point. Then the following are equivalent.
(1) There exists C > 0 having the property that multx (|pD|) < C, whenever |pD| is nonempty for some
positive integer p..

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

19

(2) multx (kDk) = 0.
(3) x ∈
/ B− (D).

The connection between asymptotic multiplicity and Newton–Okounkov bodies comes from the claim
below.
Lemma 1.4.10. Let M be an integral Cartier divisor on a projective variety X (not necessarily smooth),
s ∈ H 0 (X , OX (M)) a non-zero global section. Then
i=n

(1.10.1)

ordx (s) 6

∑ νi (s),

i=1

for any admissible flag Y• centered x, where νY• = (ν1 , . . . , νn ) is the valuation map arising from Y• .
Proof. Since Y• is an admissible flag and the question is local, we can assume without loss of generality that
each element in the flag is smooth, thus Yi ⊆ Yi−1 is Cartier for each 1 6 i 6 n.
As the local ring OX,x is regular, order of vanishing is multiplicative. Therefore
ordx (s) = ν1 (s) + ordx (s − ν1 (s)Y1 ) 6 ν1 (s) + ordx ((s − ν1 (s)Y1 )|Y1 )

by the very definition of νY• (s), and the rest follows by induction.



Remark 1.4.11. Note that the inequality in (1.10.1) is not in general an equality for the reason that the
zero locus of s might not intersect an element of the flag transversally. For the simplest example of this
phenomenon set X = P2 , and take s = xz − y2 ∈ H 0 (P2 , OP2 (2)), Y1 = {x = 0} and Y2 = [0 : 0 : 1]. Then
clearly ν1 (s) = 0, and ν2 (s) = ordY2 (−y2 ) = 2, but since Y2 is a smooth point of (s)0 = {xz − y2 = 0},
ordY2 (s) = 1 and hence ordY1 (s) < ν1 (s) + ν2 (s).
For a compact convex body ∆ ⊆ Rn , we define the sum function σ : ∆ → R+ by σ (x1 , . . . , xn ) = x1 + . . . +
xn . Being continuous on a compact topological space, it takes on its extremal values. If ∆Y• (D) ⊆ Rn be a
Newton–Okounkov body, then we denote the sum function by σD , even though it does depend on the choice
of the flag Y• .
Proposition 1.4.12. Let D be a big Q-divisor on a projective variety X (not necessarily smooth) and let
x ∈ X a point. Then
(1.12.2)

multx (||D||) 6 min σD .

for any admissible flag Y• centered at x.
Proof. Since both sides of (1.12.2) are homogeneous of degree one in D, we can assume without loss of
generality that D is integral. Fix a natural number p > 1 such that |pD| =
6 ∅, and let s ∈ H 0 (X , OX (pD)) be
a non-zero global section. Then
1
1
1
multx (|pD|) 6 ordx (s) 6
p
p
p

i=n



∑ νi (s)

i=1

by Lemma 1.4.10.
Multiplication of sections and the definition of the multiplicity of a linear series then yields multx (|qpD|) 6
q multx (|pD|) for any q > 1, which, after taking limits leads to
multx (||D||) 6

1
1
multx (|pD|) 6
p
p

i=n



∑ νi (s)

i=1

.

20

A. KÜRONYA AND V. LOZOVANU

Varying the section s and taking into account that ∆Y• (D) is the closure of the set of normalized valuation
vectors of sections, we deduce the required statement.

Example 1.4.13. The inequality in (1.12.2) is usually strict. For a concrete example take X = BlP (P2 ),
D = π ∗ (H) + E and the flag Y• = (C, x), where C ∈ |3π ∗ (H) − 2E| is the proper transform of a rational curve
with a single cusp at P, and {x} = C ∩ E, i.e. the point where E and C are tangent to each other. Then
 mult (|pE|) 
 mult (|pD|) 
x
x
= lim
= 1.
multx (||D||) = lim
p→∞
p→∞
p
p
On the other hand, a direct computation using [LM09, Theorem 6.4] shows that

1
∆Y• (D) = {(t, y) ∈ R2 | 0 6 t 6 , and 2 + 4t 6 y 6 5 − 5t} .
3
As a result, min σD = 2 > 1.
For more on this phenomenon in the surface case, see [KL15a, Proposition 2.10].
Remark 1.4.14. We note here a connection with functions on Okounkov bodies coming from divisorial
valuations. With the notation of [BKMS15, KMS12], Lemma 1.4.10 says that φordx 6 σD , and a quick
computation shows that we obtain equality in the case of projectice spaces, hyperplane bundles, and linear
flags. Meanwhile, Example 1.4.13 illustrates that min φordx 6= multx kDk in general.
Exercise 1.4.15. Let X = P2 , D = kH with H being the hyperplane class, Y• a linear flag (i.e. a flag
consisting of linear subspaces of P2 ). Show that every vanishing behaviour along Y• can be realized by a
collection of lines. More precisely, for every vector v in the image of

νY• : H 0 (OP2 (mD)) −→ N2

there exists a global section s ∈ H 0 (OP2 (mD)) whose zero locus is a collection of lines, and νY• (s) = v. What
happens if Y• is an arbitrary (admissible) flag? What happens in Pn for a linear flag?
/ B− (D); let us fix a sequence of ample R-divisor
Proof of Theorem 1.4.1. (1) ⇒ (3) We are assuming x ∈
classes αm with the properties that αm − αm+1 is ample for all m > 1, kαm k → 0 as m → ∞, and such that
D + αm is a Q-divisor. Let Y• be an arbitrary admissible flag centered at x.
Then x ∈
/ B(D + αm ) for every m > 1, furthermore, Lemma 1.2.51 yields
(1.15.3)

∆Y• (D) =

∞
\

m=1

∆Y• (D + αm ) .

Because x ∈
/ B(D + αm ) holds for any m > 1, there must exist a sequence of natural numbers nm > 1 and a
sequence of global sections sm ∈ H 0 (X , OX (nm (D + αm ))) such that sm (x) 6= 0. This implies that νY• (sm ) = 0
for each m > 1. In particular, 0 ∈ ∆Y• (D + αm ) for each m > 1. By (1.15.3) we deduce that ∆Y• (D) contains
the origin as well.
The implication (3) ⇒ (2) being trivial, we will now take care of (2) ⇒ (1). To this end assume that Y•
is an admissible flag centered at x having the property that 0 ∈ ∆Y• (D), αm a sequence of ample R-divisor
classes such that αm − αm+1 is nef, kαm k → 0 as m → ∞, and D + αm is a Q-divisor for all m > 1.
By Lemma 1.2.51,
0 ∈ ∆Y• (D) ⊆ ∆Y• (D + αm )

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

21

for all m > 0, whence min σD+αm = 0 for all sum functions σD+αm : ∆Y• (D + αm ) → R+ . By Proposition 1.4.12 this forces multx (||D + αm ||) = 0 for all m > 1, hence [ELM+ 06, Proposition 2.8] leads to
x∈
/ B− (D + αm ) for all m > 1.
As
[
[
B− (D) = B− (D + αm ) = B(D + αm )
m

according to

[ELM+ 06,

m

Proposition 1.19], we are done.



It turns out that one can use Newton–Okounkov bodies to study varieties from an infinitesimal point of
view. Let X again be a projective variety, x ∈ X a smooth point on X . Since centers of admissible flags are
supposed to be smooth, we are not losing anything with this assumption.
We will denote by π : X ′ → X the blow-up of X at x with exceptional divisor E. As x is smooth, X ′ is
again a projective variety, and E is an irreducible Cartier divisor on X ′ , which is smooth as a subvariety of
X ′.
Definition 1.4.16 (Infinitesimal Newton–Okounkov bodies). With notation as above, we call a flag Y• an
infinitesimal flag over the point x, if Y1 = E and each Yi is a linear subspace in E ≃ Pn−1 of dimension n − i.
We will often write Yn = {z}. An infinitesimal flag over X is an infinitesimal flag over x ∈ X for some smooth
point x.
eY (D) stands for an infinitesiLet D be a line bundle, or more generally, an R-divisor on X . The symbol ∆
•
mal Newton–Okounkov body of D, that is,
where Y• is an infinitesimal flag over x.

eY (D) def
∆
= ∆Y• (π ∗ D) ⊆ Rn+ ,
•

Remark 1.4.17. (Difference in terminology) One should be careful here, as our terminology deviates from
that of [LM09, Section 5.2]. What Lazarsfeld and Mustaţă call an infinitesimal Newton–Okounkov body, is
in our terms (following [KL14]) the generic infinitesimal Newton–Okounkov body.
Theorem 1.4.18 (KL15b). Let X be a smooth projective variety, D a big R-divisor and x ∈ X an arbitrary
point on X . Then the following are equivalent.
(1) x 6∈ B− (D).
eY (D).
(2) There exists an infinitesimal flag Y• over x such that 0 ∈ ∆
•
e
(3) For every infinitesimal flag Y• over x, one has 0 ∈ ∆Y• (D).

Corollary 1.4.19 (KL15b). Let X be a smooth projective variety, D a big R-divisor on X . Then the following
are equivalent.
(1) D is nef.
eY (D).
(2) For every point x ∈ X there exists an infinitesimal flag Y• over x such that 0 ∈ ∆
•
e
(3) The origin 0 ∈ ∆Y• (D) for every infinitesimal flag over X .

We will not go into detail about the proofs, since they are close to those in the non-infinitesimal case (for
details we refer the reader to [KL17]).

Remark 1.4.20. Again, the implication (1) ⇒ (3) remains true under the weaker assumptions that X is a
projective variety and x ∈ X a smooth point, and just as in the non-infinitesimal case, the converse is unclear

22

A. KÜRONYA AND V. LOZOVANU

since the proof of (2) ⇒ (1) uses [ELM+ 06, Proposition 2.8], which relies on multiplier ideals and Nadel
vanishing.
Nevertheless, there is something one can say in the case when x ∈ X is a smooth point on a normal variety.
Let µ : Y → X be a resolution of singularities of X obtained by blowing up smooth centers contained in the
singular locus of X ; note that µ ends up being an isomorphism around x. Then there will exist an effective
µ -exceptional divisor F such that −F is π -ample.
def
def
Write x′ = µ −1 (x), D′ = µ ∗ (D), and let Y•′ be the strict transform of the infinitesimal flag Y• on the
eY ′ (D′ ) = ∆
eY (D).
blow-up of X at x. Note that ∆
•
•
Assume now that x ∈ B(D + A) for some small ample divisor A on X such that D + A is a Q-divisor. Then
def
necessarily x′ ∈ B(D′ + A′ ) = µ −1 (B(D + A)). Note that H = A′ − tF is ample for 0 < t ≪ 1 rational. Then
B(D′ + A′ ) ⊆ B(D′ + H) ∪ F ,

and hence x′ ∈ B(D′ + H) ⊆ B− (D′ ), as required.

Remark 1.4.21. For the purposes of this remark, let D be a pseudo-effective R-divisor, and following
[CHPW16] define
elim (D) def
∆
=
Y•

∞
\

m=1

eY (D + αm ) ,
∆
•

where αm is a sequence of ample R-divisor classes converging to 0. It follows from this definition (easily seen to be independent of the choice of the sequence αm ) and Theorem 1.4.18 that the statement of
Theorem 1.4.18 remains valid for pseudo-effective divisor classes as well.
Exercise 1.4.22. ⋆ Find out to what extent the contents of this subsection(except the results requiring multiplier ideals) work in positive characteristic.
1.5. Newton–Okounkov bodies, ampleness, and augmented base loci. Here we discuss the how Newton–
Okounkov bodies can be used to describe local positivity of R-divisors. Again, the exposition follows
[KL15a, KL17] very closely.
As explained in [ELM+ 06, Example 1.16], one has inclusions
B− (D) ⊆ B(D) ⊆ B+ (D) ,
consequently, we expect that whenever x ∈
/ B+ (D), Newton–Okounkov bodies attached to D should contain
more than just the origin. As we shall see below, it will turn out that under the condition above, in fact they
contain small neighbourhoods of 0 ∈ Rn>0 (or, equivalently, small simplices).
We will write
def
∆ε = {(x1 , . . . , xn ) ∈ Rn+ | x1 + . . . + xn 6 ε }
for the standard ε -simplex.
As preparation we recall

Proposition 1.5.1 ([KL15a], Proposition 1.6). Suppose ξ is a big R-class and Y• is an admissible flag on X .
Then for any t ∈ [0, µ (ξ ,Y1 )), we have
∆Y• (ξ )ν1 >t = ∆Y• (ξ − tY1 ) + te1 ,

where µ (ξ ,Y1 ) = sup{µ > 0|ξ − µY1 is big} and e1 = (1, 0, . . . , 0) ∈ Rn .

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

23

Analogously to the case of restricted base loci, our main result is a characterisation of B+ (D) in terms of
augmented base loci.
Theorem 1.5.2 ([KL15a]). Let D be a big R-divisor on X , x ∈ X be an arbitrary (closed) point. Then the
following are equivalent.
(1) x ∈
/ B+ (D).
(2) There exists an admissible flag Y• centered at x with Y1 ample such that ∆ε0 ⊆ ∆Y• (D) for some ε0 > 0.
(3) For every admissible flag Y• centered at x there exists ε > 0 (possibly depending on Y• ) such that ∆ε ⊆
∆Y• (D).
Combining Theorem 1.5.2 with Lemma 1.3.3 yields the desired characterization of ampleness.

Corollary 1.5.3 ([KL17]). Let X be a smooth projective variety, D a big R-divisor on X . Then the following
are equivalent.
(1) D is ample.
(2) For every point x ∈ X there exists an admissible flag Y• centered at x with Y1 ample such that ∆ε0 ⊆ ∆Y• (D)
for some ε0 > 0.
(3) For every admissible flag Y• there exists ε > 0 (possibly depending on Y• ) such that ∆ε ⊆ ∆Y• (D).

Remark 1.5.4. We can consider Corollary 1.5.3 as a variant of Seshadri’s criterion for ampleness (see
[Laz04a, Theorem 1.4.13]) in the language of convex geometry.

Remark 1.5.5. It is shown in [KL14, Theorem 2.4] and [KL14, Theorem A] that in dimension two one can
in fact discard the condition above that Y1 should be ample. Note that the proofs of the cited results rely
heavily on surface-specific tools and in general follow a line of thought different from the present one.
Remark 1.5.6. In [CHPW15b], the authors claim a result with a different condition on the flag using the
heavy machinery of [ELM+ 09]. According to loc. cit. Theorem 3.6, it suffices to check condition (2) of
Theoorem 1.5.2 for flags where Yk becomes an irreducible component of B+ (D) for some k > 0.
Moving on to the proof, we prove a helpful lemma first.
Lemma 1.5.7. Let X be a projective variety (not necessarily smooth), A an ample Cartier divisor, Y• an
admissible flag on X . Then for all m >> 0 there exist global sections s0 , . . . , sn ∈ H 0 (X , OX (mA)) for which

νY• (s0 ) = 0 and νY• (si ) = ei , for each i = 1, . . . , n,

where {e1 , . . . , en } ⊆ Rn denotes the standard basis.

Proof. First, by the admissibility of the flag Y• , we know that there is an open neighbourhood U of x such
that Yi |U is smooth for all 0 6 i 6 n.
Since A is ample, OX (mA) becomes globally generated for m >> 0. For all such m there exists a non-zero
section s0 ∈ H 0 (X , OX (mA)) with s0 (Yn ) 6= 0, in particular, νY• (s0 ) = 0, as required.
It remains to show that for all m >> 0 and i = 1 6 i 6 n we can find non-zero sections si ∈ H 0 (X , OX (mA))
with νY• (si ) = ei . To this end, fix i and let y ∈ Yi \Yi+1 be a smooth point. Having chosen m large enough,
Serre vanishing yields H 1 (X ,IYi|X ⊗ OX (mA)) = 0, hence the map φm in the diagram
H 0 (X , OX (mA))
φm

0

/ H 0 (Yi , OY (m(A|Y ) −Yi+1 ))
i
i

ψm


/ H 0 (Yi , OY (mA))
i

24

A. KÜRONYA AND V. LOZOVANU

is surjective.
Again, by making m high enough, we can assume |m(A|Yi ) −Yi+1 | to be very ample on Yi , thus, there will
exist 0 6= s̃i ∈ H 0 (Yi , OYi (mA) ⊗ OYi (−Yi+1 )) not vanishing at x or y. Since s̃i (x) 6= 0, the section s̃i does not
vanish along Y j for all j = i + 1, . . . , n. Also, the image ψm (s̃i ) ∈ H 0 (Yi , OYi (mA)) of s̃i vanishes at x, but not
at the point y.
By the surjectivity of the map φm there exists a section si ∈ H 0 (X , OX (mA)) such that s|Yi = ψm (s̃i ) and
s(y) 6= 0. In particular, si does not vanish along any of the Y j ’s for 1 6 i 6 j, therefore νY• (s) = ei , as
promised.

Proof of Theorem 1.5.2. (1) ⇒ (3). First we treat the case when D is Q-Cartier. Assume that x ∈
/ B+ (D),
which implies by definition that x ∈
/ B(D − A) for some small ample Q-Cartier divisor A. Choose a positive integer m large and divisible enough such that mA becomes integral, and satisfies the conclusions of
Lemma 1.5.7. Assume furthermore that B(D − A) = Bs(m(D − A)) set-theoretically.
Since x ∈
/ Bs(m(D − A)), there exists a section s ∈ H 0 (X , OX (mD − mA)) not vanishing at x, and in
particular νY• (s) = 0. At the same time, Lemma 1.5.7 provides the existence of global sections s0 , . . . , sn ∈
H 0 (X , OX (mA)) with the property that νY• (s0 ) = 0 and νY• (si ) = ei for all 1 6 i 6 n.
But then the multiplicativity of the valuation map νY• gives

νY• (s ⊗ s0 ) = 0, and νY• (s ⊗ si ) = ei for all 1 6 i 6 n.
By the construction of Newton–Okounkov bodies, then ∆ 1 ⊆ ∆Y• (D).
m
Next, let D be a big R-divisor for which x ∈
/ B+ (D), and let A be an ample R-divisor with the property
that D − A is a Q-divisor and B+ (D) = B+ (D − A). Then we have x ∈
/ B+ (D − A), therefore
∆ε ⊆ ∆Y• (D − A) ⊆ ∆Y• (D)
according to the Q-Cartier case and Lemma 1.2.51.
Again, the implication (3) ⇒ (2) is trivial, hence we only need to take care of (2) ⇒ (1). As Y1 is ample,
[ELM+ 06, Proposition 1.21] gives the equality B− (D− ε Y1 ) = B+ (D). for all 0 < ε << 1. Fix an ε as above,
subject to the additional condition that D − ε Y1 is a big Q-divisor. Then, according to Proposition 1.5.1, we
have
∆Y• (D)ν1 >ε = ∆Y• (D − ε Y1 ) + ε e1 ,

which yields 0 ∈ ∆Y• (D − ε Y1 ). By Theorem 1.4.1, this means that x ∈
/ B− (D − ε Y1 ) = B+ (D), which
completes the proof.

Remark 1.5.8. The condition that X be smooth can again be dropped for the implication (1) ⇒ (3) both in
Theorem 1.5.2 and Corollary 1.5.3 (cf. Remark 1.4.3). This way, one obtains the statement that whenever A
is an ample R-Cartier divisor on a projective variety X , then every Newton–Okounkov body of A contains a
small simplex.
Example 1.5.9. Let P2 = Y0 ⊃ Hm ⊃ {P}, where Hm ∈ |OP2 (m)| is a smooth hypersurface, L the hyperplane
divisor. Then ∆Y• (L) is a triangle with vertices (0, 0),(1/m, 0), and (0, m). This way we see that we can very
easily make the simplex ∆λ ⊆ ∆Y• (L) to be as small as we wish.
The question of interest is therefore how large a simplex we can fit into some Newton–Okounkov body
of a given divisor L.

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

25

Definition 1.5.10 (Largest simplex constant [KL14, KL15a]). Let X be an arbitrary projective variety, x ∈ X
a smooth point, A an ample R-divisor on X . For an admissible flag Y• on X centered at x, we set
def

λY• (A; x) = sup {λ > 0 | ∆λ ⊆ ∆Y• (A)} .
Then the largest simplex constant λ (A; x) is defined as
def

λ (A; x) = sup {λY• (A; x) | Y• is an admissible flag centered at x} .
Remark 1.5.11. It follows from Remark 1.5.8 that λ (A; x) > 0. The largest simplex constant is a measure of
local positivity, and it is known in dimension two that λ (A; x) 6 ε (A; x) (where the right-hand side denotes
the appropriate Seshadri constant) with strict inequality in general (cf. [KL14, Proposition 4.7] and [KL14,
Remark 4.9]).
Exercise 1.5.12. * Let X be a smooth projective variety, L an ample line bundle on X , x ∈ X .

(1) Prove that λ ( ; x) is subadditive, and λ (mL; x) = m · λ (L; x) for m ∈ N.
(2) Show that λ (L; x) 6 ε (L; x).
(3) Find examples of ample divisors L on X for which λ (L; x) < ε (L; x).

Analogously to the case of restricted base loci, we will now have a look at how augmented base loci
can be determined in terms of infinitesimal Newton–Okounkov bodies (for the necessary definitions see
Subsection 2.4).
We start with an observation explaining the shapes of the ’right’ kind of simplices that play the role of
standard simplices in the infinitesimal theory.
Lemma 1.5.13. (cf. [KL17, Lemma 3.4]) Let X be a projective variety, x ∈ X a smooth point, and A an
ample Cartier divisor on X . Then there exists m0 ∈ N such that for any infinitesimal flag Y• over x and for
every m > m0 there exist global sections s′0 , . . . , s′n ∈ H 0 (X ′ , OX ′ (π ∗ (mA))) for which

νY• (s′0 ) = 0 , νY• (s′1 ) = e1 , and νY• (s′i ) = e1 + ei , for every 2 6 i 6 n,

where {e1 , . . . , en } ⊆ Rn denotes the standard basis.
Proof. The line bundle A is ample, therefore there exists a natural number m′0 > 0 such that (m′0 + m)A
is very ample for any m > 0. In particular, each linear series |(m′0 + m)A| defines an embedding. As
|m′0 A| separates tangent directions as well, Bertini’s theorem yields the existence of hyperplane sections
H1 , . . . , Hn−1 ∈ |m′0 A| intersecting transversally at x, and H̃1 ∩ . . . ∩ H̃i ∩ E = Yi+1 for all i = 1, . . . , n − 1,
where H̃i denotes the strict transform of Hi through the blow-up map π .
At the same time observe that for any m > m0 there exists a global section t ∈ H 0 (X , OX (mA)) not passing
def

through x. By setting s′i = π ∗ (t ⊗ si−1 ) where si ∈ H 0 (X , OX (m0 A)) is a section associated to Hi , then the
sections s′0 , . . . , s′n satisfy the requirements, where we chose m0 = 2m′0 .


Definition 1.5.14. For a positive real number ξ > 0, the inverted standard simplex of size ξ , denoted by
∆ξ−1 , is the convex hull of the set
def

= {0, ξ e1 , ξ (e1 + e2 ), . . . , ξ (e1 + en )} ⊆ Rn .
∆−1
ξ
When ξ = 0, then ∆ξ−1 = 0.

26

A. KÜRONYA AND V. LOZOVANU

Notice that one can find a different description of an inverted standard simplex as follows
n
∆−1
ξ = {(x1 , . . . , xn ) ∈ R+ | 0 6 x1 6 ξ , 0 6 x2 + . . . + xn 6 x1 }

A major difference from the non-infinitesimal case is the fact that infinitesimal Newton–Okounkov bodies
are also contained in inverted simplices in a very natural way.
Proposition 1.5.15. Let D be a big R-divsor X , then ∆Y• (π ∗ (D)) ⊆ ∆−1
for any infinitesimal flag Y• over
µ (D;x)
the point x.
Proof. By the continuity of Newton–Okounkov bodies inside the big cone it suffices to treat the case when
D is a big Q-divisor. Homogeneity then lets us assume that D is integral. Set µ = µ (D; x).
We will follow the line of thought of the proof of [KL14, Proposition 3.2]. Recall that E ≃ Pn−1 ; we will
write [y1 : . . . : yn ] ∈ Pn−1 for a set of homogeneous coordinates in E such that
Yi = Zeroes(y1 , . . . , yi−1 ) ⊆ Pn−1 = E for all 2 6 i 6 n.

With respect to a system of local coordinates (u1 , . . . , un ) at the point x, the blow-up X ′ can be described
(locally around x) as


X ′ = (u1 , . . . , un ); [y1 : . . . : yn ] | ui y j = u j yi for any 1 6 i < j 6 n .

We can then write a global section s of D in the form

s = Pm (u1 , . . . , un ) + Pm+1(u1 , . . . , un ) + . . . + Pm+k (u1 , . . . un )
around x, where Pi are homogeneous polynomials of degree i.
We will perform the computation in the open subset Un = {yn 6= 0}, where we can take yn = 1 and the
defining equations of the blow-up are given by ui = un yi for 1 6 i 6 n − 1. Then

k
s|Un = um
n · Pm (y1 , . . . , yn−1 , 1) + un Pm+1 (y1 , . . . , yn−1 , 1) + . . . + un Pm+k (y1 , . . . , yn−1 , 1) ,

in particular, ν1 (s) = m. Notice that for the rest of νi (s)’s we have to restrict to the exceptional divisor un = 0
and thus the only term arising in the computation is Pm (y1 , . . . , yn−1 , 1).
As deg Pm 6 m, taking into account the algorithm for constructing the valuation vector of a section one
can see that indeed
ν2 (s) + . . . + νn (s) 6 ν1 (s) ,
and this finishes the proof of the proposition.



Theorem 1.5.16 ([KL17]). Let X be a smooth projective variety, D a big R-divisor on X and x ∈ X an
arbitrary (closed) point. Then the following are equivalent.
(1) x ∈
/ B+ (D).
eY (D).
(2) For every infinitesimal flag Y• over x there is ξ > 0 such that ∆−1
⊆∆
•
ξ
−1
e
(3) There exists an infinitesimal Y• over x and ξ > 0 such that ∆ ⊆ ∆Y (D).
ξ

•

As an immediate consequence via the equivalence of ampleness and B+ being empty, we obtain

Corollary 1.5.17 ([KL17]). Let X be a smooth projective variety and D a big R-divisor on X . Then the
following are equivalent.
(1) D is ample.

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

27

(2) For every point x ∈ X and every infinitesimal flag Y• over x there exists a real number ξ > 0 for which
eY (D).
∆ξ−1 ⊆ ∆
•
(3) For every point x ∈ X there exists an infinitesimal flag Y• over x and a real number ξ > 0 such that
eY (D).
⊆∆
∆−1
•
ξ

Remark 1.5.18. Along the lines of Remark 1.4.20, Theorem 1.5.16 extends to the case when x ∈ X is a
smooth point on a normal projective variety. Using the notation of Remark 1.4.20, this follows from the
observation found in [BBP13, Proposition 2.3] that B+ (D′ ) = µ −1 (B+ (D)) ∪ Exc(µ ) whenever µ : Y → X
is a resolution of singularities of X that is an isomorphism over x ∈ X .
/ B+ (D)
Analogously to the non-infinitesimal case (and as observed in dimension two in [KL14]), x ∈
e
implies that ∆Y• (D) will contain an inverted standard simplex of some size, hence it makes sense to ask how
large these simplices can become.

Definition 1.5.19. (Largest inverted simplex constant) Let X be a smooth projective variety, x ∈ X , and D a
big R-divisor with x ∈
/ B− (D). Let us first assume that x ∈
/ B+ (D). For an infinitesimal flag Y• over x write
n
o
def
eY (D) .
ξY• (D; x) = sup ξ > 0 | ∆ξ−1 ⊆ ∆
•

The largest inverted simplex constant ξ (D; x) of D at x is then defined as
def

ξ (D; x) = sup ξY• (D; x) ,
Y•

where Y• runs through all infinitesimal flags over x. If x ∈ B+ (D) but x ∈
/ B− (D), then we set ξ (D; x) = 0.
Remark 1.5.20. As Newton–Okounkov bodies are homogeneous, so will be ξ ( · ; x) as a function on
N 1 (X )R . More importantly, the function ξ ( · ; x) is continuous on the domain where x ∈
/ B+ (D). Indeed,
one can show (cf. [KL17]) that ξY• (D; x) is in fact independent of Y• , therefore we can use one flag for all
R-divisor classes. The natural inclusion
∆Y• (D) + ∆Y• (D′ ) ⊆ ∆Y• (D + D′)

shows that ξ (·; x) is in fact a concave function on Big(X ) \ B+ (x). This latter is an open subset of N1 (X )R ,
therefore ξ ( · ; x) is continuous on its domain. For further results regarding continuity, the reader should
consult [KL17, Section 5].
One of the main steps of the proof of Theorem 1.5.16 is the observation that the largest inverted simplex
constant governs the asymptotic behaviour of jet separation. With this in hand one can prove that the largest
inverted simplex constant is equal to the moving Seshadri constant.
Theorem 1.5.21 ([KL17], Proposition 4.10). Let D be a big R-divisor on a smooth projective variety X and
x ∈ X a closed point. If ξ (D; x) > 0, then ξ (D; x) = ε (||D||; x).

28

A. KÜRONYA AND V. LOZOVANU

2. N EWTON –O KOUNKOV

BODIES ON SURFACES

2.1. Zariski decomposition on surfaces. The main tool to compute Newton–Okounkov bodies of divisors
on surfaces is Zariski decomposition, whose variation inside the big cone determines their shapes. This phenomenon is strongly related to decompositions of big or effective cones of varieties (see [HK00, KKL17]).
In fact, along with toric varieties, this is the class of non-trivial examples that is the best understood. As such,
the study of variation of Zariski decomposition on surfaces serves as a model case for higher-dimensional
investigations of positive cones associated to divisors or even higher-codimension cycles [FL17a].
In its original form put forth by Zariski [Zar62], Zariski decomposition gives a unique way of decomposing an effective Q-divisor into a positive (nef) part carrying all the sections for all multiples of the divisor
in question, and a negative part which is either zero or a so-called negative cycle, an effective divisor with
negative definite intersection form. Zariski’s proof made essential use of the fact that the divisor we wish to
decompose is effective. A particularly clear proof along similar lines is given by Bauer in [Bau09], where
he defines the positive part as the maximal nef subdivisor.
Subsequently, Fujita provided an alternative proof relying on linear algebra in hyperbolic vector spaces
(and Riemann–Roch), thus producing two essential improvements: Fujita’s version of Zariski decomposition
is valid for pseudo-effective R-divisors.
Variation of Zariski decomposition has been first explored in [BKS04]. The upshot is that by looking at
the way the support of the negative part of the Zariski decomposition changes as we move through the cone
of big divisors, we obtain a locally finite decomposition of Big(X ) into locally rational polyhedral chambers.
On the individual chambers the support of the stable base loci remains constant, and asymptotic cohomology
functions (in particular the volume) are given by a single polynomial.
The decomposition obtained this way is quite close to the one discussed in [HK00] or [KKL17], in fact,
when the surface under consideration is a Mori dream space, the open parts of the chambers in the respective
decompositions agree. However, it is a significant difference that here we do not rely on any kind of finite
generation hypothesis, the decomposition of the cone of big divisors that we present always exists. The
self-duality between curves and divisors enables us to carry out this analysis with the help of linear algebra
in hyperbolic vector spaces. It is this property of surfaces that makes the proofs particularly transparent.
Since we consider variation of Zariski decomposition on surfaces to be very important, we give a fairly
detailed account. Most of the material presented here is borrowed freely from [BKS04]. For reference, here
is the statement of Zariski in the version generalized by Fujita.
Theorem 2.1.1 (Existence and uniqueness of Zariski decompositions for R-divisors, [KMM87], Theorem
7.3.1). Let D be a pseudo-effective R-divisor on a smooth projective surface. Then there exists a unique
effective R-divisor
m

ND = ∑ ai Ni
i=1

such that
(i) PD = D − ND is nef,
(ii) ND is either zero or its intersection matrix (Ni · N j ) is negative definite,
(iii) PD · Ni = 0 for i = 1, . . . , m.
Furthermore, ND is uniquely determined by the numerical equivalence class of D, and if D is a Q-divisor,
then so are PD and ND . The decomposition
D = PD + ND

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

29

is called the Zariski decomposition of D.
First we give an example to illustrate the kind of picture we have in mind.
Example 2.1.2 (Blow-up of two points in the plane). Let X be the blow-up of the projective plane at two
points; the corresponding exceptional divisors will be denoted by E1 and E2 . We denote the pullback of the
hyperplane class on P2 by L. These divisor classes generate the Picard group of X and their intersection
numbers are: L2 = 1, (L.Ei ) = 0 and (Ei .E j ) = −δi j for 1 6 i, j 6 2.
There are three irreducible negative curves: the two exceptional divisors, E1 , E2 and the strict transform
of the line through the two blown-up points, L − E1 − E2 , and the corresponding hyperplanes determine the
chamber structure on the big cone. They divide the big cone into five regions on each of which the support
of the negative part of the Zariski decomposition remains constant.
In this particular case the chambers are simply described as the set of divisors that intersect negatively
the same set of negative curves 2.
We will parametrize the chambers with big and nef divisors (in actual fact with faces of the nef cone
containing big divisors). In our case, we pick big and nef divisors A, Q1 , Q2 , L, P based on the following
criteria:
A :

ample

Q1 :

(Q1 · E1 ) = 0 , (Q1 ·C) > 0 for all other curves

Q2 :

(Q2 · E2 ) = 0 , (Q2 ·C) > 0 for all other curves

L : (L · E1 ) = 0 , (L · E2 ) = 0 , (L ·C) > 0 for all other curves

P :

(P · L − E1 − E2 ) = 0 , (P ·C) > 0 for all other curves .

The divisors L, P, Q1 , Q2 are big and nef divisors in the nef boundary (hence necessarily non-ample) which
are in the relative interiors of the indicated faces. For one of these divisors, say P, the corresponding chamber
consists of all R-divisor classes whose negative part consists of curves orthogonal to P. This is listed in the
following table. Observe that apart from the nef cone, the chambers do not contain the nef divisors they are
associated to.
Note that not all possible combinations of negative divisors occur. This in part is accounted for by the
fact that certain faces of the nef cone do not contain big divisors.
Chamber Supp Neg(D) (D ·C) < 0
ΣA
0/
none
Σ Q1
E1
E1
Σ Q2
E2
E2
ΣL
E1 , E2
E1 , E2
ΣP
L − E1 − E2 L − E1 − E2

The following picture describes a cross section of the effective cone of X with the chamber structure
indicated.
2It happens for instance on K3 surfaces that the negative part of a divisor D contains irreducible curves intersecting D non-

negatively.

30

A. KÜRONYA AND V. LOZOVANU

L − E1 − E2

ΣP
ΣA
L − E1

P

L − E2
Σ Q1

A
Q1

Q2

L

E1

Σ Q2
ΣL

E2

Let D = aL − b1 Ei − b2 E2 be a big R-divisor. Then one can express the volume of D in terms of the
coordinates a, b1 , b2 as follows:
 2
D = a2 − b21 − b22
if D is nef, i.e. D ∈ ΣA


 2

if D · E1 < 0 and D · E2 > 0 i.e. D ∈ ΣQ1
 a − b22
volD (=) a2 − b21
if D · E2 < 0 and D · E1 > 0 i.e. D ∈ ΣQ2

2


a
if D · E1 < 0 and D · E2 < 0 i.e. D ∈ ΣL

 2
2a − 2ab1 − 2ab2 + 2b1 b2 if D · (L − E1 − E2 ) < 0 i.e. D ∈ ΣP .
On an arbitrary smooth projective surface we obtain the following statement.

Theorem 2.1.3 ([BKS04]). Let X be smooth projective surface. Then there exists a locally finite rational
polyhedral decomposition of the cone of big divisors such that on each of the resulting chambers that support
of the negative part of the Zariski decomposition is constant.
In particular, on every such region, all asymptotic cohomology functions are given by homogeneous
polynomials, and the stable base locus is constant.
It turns out that the existence of a locally finite polyhedral decomposition is relatively simple; most of the
work is required for the rationality, and the explicit description of the chambers. For this reason, we give a
separate proof for local finiteness.
First, we establish some notation. If D is an R-divisor, we will write
D = PD + ND
for its Zariski decomposition, and we let
Null(D) = {C C irreducible curve with D ·C = 0 }
and
Neg(D) = {C C irreducible component of ND } .

It is immediate that Neg(D) ⊂ Null(PD ).

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

31

Given a big and nef R-divisor P, the Zariski chamber associated to P is defined as
def

ΣP = { D ∈ Big(X ) Neg(D) = Null(P) } .
Theorem 2.1.4. The subsets ΣP ⊆ Big(X ) are convex cones. As P runs through all big and nef divisors, they
form a locally finite polyhedral decomposition of Big(X ).
Proof. Once we check that the decomposition of Big(X ) into the convex ΣP ’s is locally finite, the locally
polyhedral property comes for free from an observation in convex geometry (Lemma 2.1.5).
The convexity of the chambers ΣP follows from the uniqueness of Zariski decomposition: if
r

r

i=1

i=1
D′ ,

D = P + ∑ ai Ei and D′ = P′ + ∑ a′i Ei
are the respective Zariski decompositions of the big divisors D and

then

r

D + D′ = (P + P′ ) + ∑ (ai + a′i )Ei
i=1

D + D′

is the unique way to decompose
satisfying all the necessary requirements of 2.1.1.
Next, we need to show that given a big divisor D, there exists a big and nef divisor P with
Neg(D) = Null(P) .
Assume that Neg(D) = {E1 , . . . , Er }, and let A be an arbitrary ample divisor on X . We claim that a divisor
P as required can be constructed explicitly in the form A + ∑ki=1 λiCi with suitable non-negative rational
numbers λi . In fact, the conditions to be fulfilled are
!
k

A + ∑ λiCi ·C j = 0

for j = 1, . . . , k .

i=1

This is a system of linear equations with negative definite coefficient matrix (Ci ·C j ), and [BKS04, Lemma
4.1] guarantees that all components λi of its solution are non-negative. In fact all λi ’s must be positive as A
is ample.
Last, we verify that the decomposition is locally finite. Every big divisor has an open neighborhood in
Big(X ) of the form
D + Amp(X )
for some big divisor D. Since
Neg(D + A) ⊆ Neg(D)

for all ample divisors A by [BKS04, Lemma 1.12], only finitely many chambers ΣP can meet this neighborhood.

Lemma 2.1.5. Let U ⊆ Rn be a convex open subset, and let S = {Si | i ∈ I} be a locally finite decomposition
of U into convex subsets. Then every point x ∈ U has an open neighbourhood V ⊆ U such that each Si ∩V
is either empty, or given as the intersection of finitely many half-spaces.
Proof. It is known that any two disjoint convex subsets of Rn can be separated by a hyperplane. Let x ∈ U be
an arbitrary point, x ∈ V ⊆ U a convex open neighbourhood such that only finitely many of the Si ’s intersect
V , call them S1 , . . . , Sr . For any pair 1 6 i < j 6 r let Hi j be a hyperplane separating Si ∩V and S j ∈ V .
Then for every 1 6 i 6 r, Si ∩V equals the the intersection of all half-spaces Hi+j and V , as required. 

32

A. KÜRONYA AND V. LOZOVANU

Corollary 2.1.6. With notation as above, the part of the nef cone, which sits inside the cone of big divisors
is locally polyhedral.
Example 2.1.7. The question whether the chambers are indeed only locally finite polyhedral comes up
naturally. Here we present an example with a non-polyhedral chamber. Take a surface X with infinitely
many (−1)-curves C1 ,C2 , . . . , and blow it up at a point that is not contained in any of the curves Ci . On the
blow-up consider the exceptional divisor E and the proper transforms Ci′ . Since the divisor E +Ci′ is negative
definite, we can proceed to construct for every index i a big and nef divisor Pi with Null(Pi ) = { E,Ci′ }, and
also a divisor P such that Null(P) = { E }. But then Face(P) meets contains all faces Face(Pi ), and therefore
it is not polyhedral.
We now move on to explaining why the chamber decomposition is rational. This depends on two facts:
(1) The intersection of the nef cone with the big cone is locally finite rational polyhedral.
(2) If F is a face of the nef cone containing a big divisor P, then
Big(X ) ∩ ΣP = (Big(X ) ∩ F) + the cone generated by Null(P) .

Of these, the proof of the second statement involves lengthy linear algebra computations with the help of
Zariski decomposition. We will not go down this road here, a detailed proof can be found in [BKS04, Proof
of Proposition 1.8]
We will prove the first one here; it gives a strong generalization of the Campana–Peternell theorem on the
structure of the nef boundary.
Denote by I (X ) the set of all irreducible curves on X with negative self-intersection. Note that if D is a
big divisor, then by the Hodge index theorem we have Null(D) ⊂ I (X ). For C ∈ I (X ) denote
def 
C>0 = D ∈ NR1 (X ) D ·C ≥ 0 ,
and

def 
C⊥ = D ∈ NR1 (X ) D ·C = 0

.

Proposition 2.1.8 ([BKS04]). The intersection of the nef cone and the big cone is locally rational polyhedral,
that is, for every R-divisor P ∈ Nef(X ) ∩ Big(X ) there exists a neighborhood U and curves C1 , . . . ,Ck ∈
I (X ) such that


U ∩ Nef(X ) = U ∩ C1>0 ∩ · · · ∩Ck>0

Proof. The key observation is that given a big and nef R-divisor P on X , there exists a neighborhood U of
P in NR1 (X ) such that for all divisors D ∈ U one has
Null(D) ⊂ Null(P) .

As the big cone is open, we may choose big (and effective) R-divisors D1 , . . . , Dr such that P lies in the
interior of the cone ∑ri=1 R+ Di .
We can have Di ·C < 0 only for finitely many curves C. Therefore, after possibly replacing Di with η Di
for some small η > 0, we can assume that
(P + Di) ·C > 0

for all curves C with P ·C > 0. We conclude then from (∗) that
!
r

Null

∑ αi (P + Di)

i=1

⊂ Null(P)

(∗)

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

for any αi > 0. So the cone

33

r

U =

∑ R+(P + Di)

i=1

is a neighborhood of P with the desired property.
Let now U be a neighborhood of P as above . Observe that
Big(X ) ∩ Nef(X ) = Big(X ) ∩
and therefore
U ∩ Nef(X ) = U ∩

\

\

C>0

C∈I (X)

C>0 .

(∗)

C∈I (X)

For every C ∈ I (X ) we have either U ⊂ C>0 , in which case we may safely omit C>0 from the intersection
in (∗), or else U ∩C⊥ 6= 0.
/ By our choice of U , the second option can only happen for finitely many curves
C.
In fact,
\
U ∩ Nef(X ) = U ∩
C>0 .
C∈Null(P)


A fun application of Theorem 2.1.3 is the continuity of Zariski decomposition inside the big cone.
Corollary 2.1.9 ([BKS04]). Let (Dn ) be a sequence of big divisors converging in NR1 (X ) to a big divisor D.
If Dn = Pn + Nn is the Zariski decomposition of Dn , and if D = P + N is the Zariski decomposition of D, then
the sequences (Pn ) and (Nn ) converge to P and N respectively.
Proof. We consider first the case where all Dn lie in a fixed chamber ΣP . In that case we have by definition
Neg(Dn ) = Null(P) for all n, so that
Nn ∈ hNull(P)i

and hence Pn ∈ Null(P)⊥ . As

NR1 (X ) = Null(P)⊥ ⊕ hNull(P)i

we find that both sequences (Pn ) and (Nn ) are convergent. The limit class lim Pn is certainly nef. Let
(n)
(n)
E1 , . . . , Em be the curves in Null(P). Then every Nn is of the form ∑m
i=1 ai Ei with ai > 0. Since the Ei
are numerically independent, it follows that lim Nn is of the form ∑m
i=1 ai Ei with ai ≥ 0, and hence is either
negative definite or zero. Therefore D = lim Pn + lim Nn is actually the Zariski decomposition of D, and by
uniqueness the claim is proved.
Consider now the general case where the Dn might lie in various chambers. Since the decomposition into
chambers is locally finite, there is a neighborhood of D meeting only finitely many of them. Thus there are
finitely many big and nef divisors P1 , . . . , Pr such that
Dn ∈

r
[

ΣPi

i=1

for all n. So we may decompose the sequence (Dn ) into finitely many subsequences to which the case above
applies.


34

A. KÜRONYA AND V. LOZOVANU

Exercise 2.1.10. Prove that Zariski decomposition is continuous on Eff(X ) provided there exist only finitely
many negative curves on X . Find a counterexample to the continuity of Zariski decomposition on Eff(X ) in
general.
The connection between Zariski decompositions and asymptotic cohomological functions comes from
the following result.
Proposition 2.1.11 (Section 2.3.C., [Laz04a]). Let D be a big integral divisor, D = PD + ND the Zariski
decomposition of D. Then
(i) H 0 (X , kD) = H 0 (X , kPD ) for
 all k > 1 such that kPD is integral, and
(ii) volX (D) = volX (PD ) = PD2 .

By homogeneity and continuity of the volume weobtain that for an arbitrary big R-divisor D with Zariski
decomposition D = PD + ND we have vol(D) = PD2 = (D − ND)2 .
Let D be an R-divisor on X . In determining the asymptotic cohomological functions on X , we distinguish
three cases, according to whether D is pseudo-effective, −D is pseudo-effective or none.
Proposition 2.1.12. With notation as above, if D is pseudo-effective then

2
if i = 0

(PD )
i
2
b
h (X , D) = −(ND ) if i = 1


0
if i = 2 .

If −D is pseudo-effective with Zariski decomposition −D = PD + ND then

if i = 0

0
i
2 )
b
h (X , D) = −(N−D
if i = 1

 2
(P−D )
if i = 2 .

When neither D nor −D are pseudo-effective, one has


0
i
b
h (X , D) = −(D2 )


0

if i = 0
if i = 1
if i = 2 .

Proof. We treat the case of pseudo-effective divisors in detail, the case −D pseudo-effective follows from
Serre duality for asymptotic cohomology, while the third instance is immediate from Serre duality, asymptotic Riemann–Roch, and the fact that non-big divisors have zero volume.
Let us henceforth assume that D is pseudo-effective.
If D = PD + ND is the Zariski decomposition of the

0
2
b
h2 (X , D) = 0.
pseudo-effective divisor D, then h (X , D) = PD . Furthermore, if D is pseudo-effective then b
1
In order to compute ĥ , consider the equality

This implies that

h1 (X , mD) = h0 (X , mD) + h2 (X , mD) − χ (X , mD) .


 0
h (X , mD) h2 (X , mD) χ (X , mD)
1
b
+
−
.
h (X , D) = lim sup
m2 /2
m2 /2
m2 /2
m

All three sequences on the right-hand side are convergent. The h0 sequence by the fact that the volume
function is in general a limit. The h2 sequence converges by b
h2 (X , D) = 0. Finally, the convergence of

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

35

the sequence of Euler characteristics follows from the Asymptotic Riemann–Roch theorem. Therefore the

lim sup on the right-hand side is a limit, and b
h1 (X , D) = −(ND2 ).
Applying Theorem 2.1.3 we arrive at the following.

Theorem 2.1.13. With notation as above, there exists a locally finite decomposition of Big(X ) into rational
locally polyhedral subcones such that on each of those the asymptotic cohomological functions are given by
a single homogeneous quadratic polynomial.
We illustrate the theory outlined above by determining the volume functions of del Pezzo surfaces. Note
that by Proposition 2.1.12 this will then provide an answer for all asymptotic cohomology functions.
Let us establish some notation. We denote by X = BlΣ (P2 ) the blow-up of the projective plane at Σ ⊆ P2
where Σ consists of at most eight points in general position. The exceptional divisors corresponding to the
points in Σ are denoted by E1 , . . . , Er (r 6 8). We denote the pullback of the hyperplane class on P2 by L.
These divisor classes generate the Picard group of X and their intersection numbers are L2 = 1, (L.Ei ) = 0
and (Ei .E j ) = −δi j for 1 6 i, j 6 r. For each 1 6 r 6 8 one can describe explicitly all extremal rays on X

Proposition 2.1.14. With notation as above, the set E ⊥ |E ∈ I determines the chambers for the volume
function. More precisely, we obtain the chambers by dividing the big cone into finitely many parts by the
hyperplanes E ⊥ .
Proof. Observe that as the only negative curves on a del Pezzo surface are (−1)-curves, the support of every
negative divisor consists of pairwise orthogonal curves. This can be seen as follows. Take a negative divisor
N = ∑m
i=1 ai Ni . Then, as the self-intersection matrix of N is negative definite, for any 1 6 i < j 6 m one has
0 > (Ni + N j )2 = Ni2 + 2(Ni · N j ) + N 2j = 2(Ni · N j ) − 2 .
As Ni · N j > 0, this can only hold if Ni · N j = 0.
According to [BKS04, Proposition 1.5], a big divisor D is in the boundary of a Zariski chamber if and
only if
Neg(D) 6= Null(PD ) .

From [BKS04, 4.3] we see that if C ∈ Null(PD ) − Neg(D) for an irreducible negative curve C then ND + C
forms a negative divisor. By the previous reasoning, this implies that ND · C = 0 hence D · C = 0, that is,
D ∈ C⊥ as required.
Going the other way, if D ∈ C⊥ for an irreducible negative curve C then either PD · C = 0, that is, C ∈
Null(PD ) or PD ·C > 0.
In the first case, C 6∈ Neg(D), as otherwise we would have ND ·C < 0 and consequently D ·C < 0 contradicting D ∈ C⊥ . Therefore C ∈ Null(PD ) − Neg(D) and D is in the boundary of some Zariski chamber.
In the second case, D ·C = 0 and PD ·C > 0 imply ND ·C < 0. From this we see that C ∈ Neg(D) but this
would mean PD ·C = 0 which is again a contradiction.
The conclusion is that on a surface on which the only negative curves are (−1)-curves, a big divisor D is
in the boundary of a Zariski chamber if and only if there exists an (−1)-curve C with D ∈ C⊥ .

One can in fact ask for more, and enumerate all the Zariski chambers on a given del Pezzo surface. The
number of Zariski chambers (defined in [BFN10])
z(X ) = # { Zariski chambers on X } ∈ N ∪ {∞ }

36

A. KÜRONYA AND V. LOZOVANU

on a surface X measures how complicated X is from the point of view of linear series. At the same time it
tells us
• the number of different stable base loci of big divisors on X ;
• the number of different possibilities for the support of the negative part of the Zariski decomposition of a
big divisor;
• the number of maximal regions of polynomiality for the volume function.
Bauer–Funke–Neumann in [BFN10] calculate z(X ) when X is a del Pezzo surface.

Theorem 2.1.15. Let Xr be the blow-up of P2 in r general points with 1 ≤ r ≤ 8.
(i) The number z(Xr ) of Zariski chambers on Xr is given by the following table:

r
1 2 3 4
5
6
7
8
z(Xr ) 2 5 18 76 393 2 764 33 645 1 501 681
(ii) The maximal number of curves that occur in the support of a Zariski chamber on Xr is r.
2.2. Newton–Okounkov polygons. Here we discuss how to determine Newton–Okounkov bodies on surfaces using variation of Zariski decomposition. The locally finite rational polyhedral nature of Zariski
chamber decomposition already hints at the possibility of obtaining Newton–Okounkov bodies with locally
rational polygonal structure, but Fujita’s extension of Zariski decomposition to pseudo-effective R-divisors
will yield that Newton–Okounkov bodies on surfaces are in fact polygons.
Let X be a smooth projective surface, D a big Cartier divisor on X . An admissible flag Y• on X consists
now of three elements X = Y0 ⊃ Y1 ⊃ Y2 , where admissibility implies that
Y1 = C irreducible curve , Y2 = {x} ∈ C a smooth point.

We will often write ∆(C,x) (D) for ∆Y• (D) or even ∆C (D) if the point x ∈ X is either irrelevant or taken to be
very general.
Before launching into the description of Newton–Okounkov bodies on surfaces, we establish some notation.
Definition 2.2.1. Let δ and γ be big R-divisors classes on X , assume that δ is big. We set
def

µγ (δ ) = sup {t > 0 | δ − t γ is big} .

If D and C are divisors, we write µC (D) for µ[C] ([D]).

One typically takes C to be an effective divisor or even an irreducible curve; µC (D) measures the distance
from the boundary of the pseudo-effective cone in the direction of −C. Note the analogy with Seshadri
constants. The invariant µC (D) is very interesting in itself, its rationality is a very tricky question.
The starting point of our discussion is the following fundamental result.
Theorem 2.2.2 (Lazarafeld–Mustaţă, [LM09], Theorem 6.4). Let X be a smooth projective surface, D a
big divisor (or more generally, a big R-divisor class) Y• = (C, x) an admissible flag on X . Then there exist
def

continuous functions α , β : [ν , µ ] → R>0 such that 0 6 ν 6 µ = µC (D) are real numbers,
- ν = the coefficient of C in ND ,
- α (t) = ordx ND−tC |C ,
- β (t) = α (t) + (PD−tC ·C),

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

and

37


∆(C,x) (D) = (t, y) ∈ R2 | ν 6 t 6 µ , α (t) 6 y 6 β (t) .

Remark 2.2.3. As defined in the previous section, PD−tC and ND−tC stand for the positive and negative parts
of the divisor D − tC, respectively.
Remark 2.2.4. In addition, it has been observed in [LM09] that the functions α (t) and β (t) are piecewise
affine linear with rational coefficients on every interval [ν , µ ′ ] with µ ′ < µ . As a consequence the intersection
of ∆Y• (D) with the [ν , µ ′ ] × R is a rational polygon.
Later in Theorem2.2.11 we will see that somewhat more is true: Newton–Okounkov bodies are surfaces
are polygons that are very close to being rational.

Remark 2.2.5. The proof of Theorem 2.2.2 relies on studying restricted linear series on curves, while the
qualitative results about Newton–Okounkov bodies come from variation of Zariski decomposition [BKS04].
Remark 2.2.6. Note that Supp ND−tC consists of finitely many irreducible curves for any given t, and does
not contain C for t > ν . By [BKS04, ???], the cardinality of curves occurring in ND−tC for all t is still
countable, hence
def
α (t) = ordx ND−tC |C ≡ 0
x does not lie on any of them. Therefore α (t) ≡ 0 if x ∈ C is very general. If there exist only finitely many
negative curves on X , then a general point will have the same property.
Lemma 2.2.7. Let X be a smooth projective surface, D a big divisor, C an irreducible curve on X . If
C 6⊆ B− (D), then C 6⊆ B+ (D − tC) for all 0 < t < µC (D).

Proof. Recall that B− (D) = Neg(D), and B+ (D − tC) = Null(D − tC). Let us first assume that (C2 ) < 0.
By Lemma [KLM12] we have C 6⊆ B− (D − tC). But then PD−tC + aC + ∑i ai Ei is the Zariski decomposition
of D − tC, and the statement follows.
Suppose now that (C2 ) = 0, and t > 0. Then
B+ (D − tC) = B+ (PD−tC ) ∪ Supp ND−tC ,

and since C is not a negative curve, it is not contained in Supp ND−tC . The divisor PD−tC is big and nef,
therefore
B+ (D − tC) = {Γ | (PD−tC · Γ) = 0} .
2
Again by PD−tC being big and nef, (PD−tC
) > 0, hence by the Hodge index theorem (C2 ) < 0 holds whenever
(PD−tC ·C) = 0. But this would contradict our assumption on (C2 ).

In the following we explain how to use variation of Zariski decomposition to

Example 2.2.8. Let X be the blow-up of the projective plane at a point P, then the Néron–Severi space of
X has the basis consisting of H, the pullback of the hyperplane class, and E, the class of the exceptional
divisor. The intersection form is given by
(H 2 ) = 1 , (H · E) = 0 , (E 2 ) = −1 .

The (pseudo-)effective cone of X is spanned by E and H − E, while the nef cone of X is spanned by the
classes H and H − E.
def
Let L be the ample divisor 2H − E, C = H − E (the proper transform of a line through the point P), and
x ∈ C a point not lying on E. Then α (t) ≡ 0, and we will only need to worry about computing β (t).

38

A. KÜRONYA AND V. LOZOVANU

Let us compute how long L − tC stays in the pseudo-effective cone.
def

µC (L) = sup {t > 0 | L − tC is big}

= sup {t > 0 | ((L − tC) · H) and ((L − tC) · (H − E))}

as the classes H and H − E span the nef cone of X . As L − tC = (2 − t)H + (t − 1)E, we see that

µC (L) = sup {2, 3} = 2 .

The essential information we need is the Zariski decomposition of divisors along the ray L − tC for t > 0.
By the openness of amplitude in the Néron–Severi space, L − tC is an ample R-divisor class for small t > 0.
As long as L − tC is ample, we have PL−tC = L − tC, therefore
def

β (t) = (PL−tC ·C) = (L ·C) − t(C2 ) .

Taking into account that (C2 ) = ((H − E)2 ) = 0, we obtain

β (t) ≡ (L ·C) = ((2H − E) · (H − E)) = 1 .

By the Kleiman–Nakai–Moishezon criterion the fact that E is the only negative curve on X implies that
L − tC is nef if and only if ((L − tC) · E) > 0. As
((L − tC) · E) = (((2H − E) − t(H − E)) · E) = (((2 − t)H + (t − 1)E) · E) = 1 − t ,

we see that L − tC is nef precisely when 0 6 t 6 1.
For values 1 6 t 6 2, the negative part of L − tC will be supported on E, this being the only non-trivial
possibility for the support of a negative cycle. We are now in luck since
L − tC = (2 − t)H + (t − 1)E
| {z } | {z }
PL−tC

NL−tC

satisfies the conditions for being a Zariski decomposition, by uniqueness this is the only one. Hence, over
the interval 1 6 t 6 2 we obtain

β (t) = ((2 − t)H · (H − E)) = 2 − t .

Exercise 2.2.9. Let X be the blow-up of P2 at two distinct point P and Q. Using Example 2.1.2, compute
examples of Newton–Okounkov bodies, and try to find ones with as many vertices as possible.
Remark 2.2.10. The moral of the story is that our ability to determine Newton–Okounkov bodies on surfaces relies on our knowledge about the variation of Zariski decomposition of divisors. This in turn depends
on knowing the set of negative curves on the surface X and the intersection form.
Note however that one does not need to know how Zariski decomposition varies over the whole of Big(X ),
only along the line segment [L, L − µC (L)] ⊆ Big(X ). This observation will turn out to be essential for
determining shapes of Newton–Okounkov bodies in dimension two precisely.
Up until now all examples we have seen were rational polygons. We will now see that this is not far from
the truth.
Theorem 2.2.11 ([KLM12], Theorem B). The Newton–Okounkov body of a big Q-divisor L on a smooth
projective surface is a polygon with rational slopes. All vertices not lying on the vertical line t = µC (L) are
rational.

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

39

Corollary 2.2.12. Let X be a smooth projective surface, L a big Q-divisor, Y• = (C, x) an admissible flag on
X . Then ∆Y• (L) is a rational polygon if and only if µC (L) ∈ Q.
Remark 2.2.13. The idea of the proof is to study the variation of Zariski decomposition along the line segment [L, L − µC (L)]. At this point it becomes crucial that Zariski decomposition exists for pseudo-effective
R-divisors, since the support of (the a priori only pseudo-effective R-divisor class) NL−µC (L) acts as a natural
upper bound for the negative parts of all the divisors L − tC. The other key observation is that NL−tC is in
fact increasing with t.
The technical core of the proof of Theorem 2.2.11 is the following statement about negative parts of
def
def
divisors. Beforehand, we introduce some notation. Set µ = µC (L) and L′ = L − µC; the divisor D′ is then
def
pseudo-effective but not big by the definition of µ . For any t ∈ [ν , µ ] we write s = µ − t, and define
def

L′s = L′ + sC = L′ + (t − µ )C = L − tC .

We will consider the line segment {Lt | ν 6 t 6 µ } in the form
 ′
Ls | 0 6 s 6 µ − ν .
Let

D′s = Ps′ + Ns′
be the Zariski decomposition of D′s .
Proposition 2.2.14 ([KLM12, Proposition 2.1]). With notation as above, the function s 7→ Ns′ is decreasing
along the interval s ∈ [0, µ − ν ], that is, for each 0 6 s′ < s 6 µ − ν the divisor Ns − Ns′ is effective.
If n is the number of irreducible components of N0′ , then there is a partition (pi )06i6k of the interval
[0, µ − ν ] for some k 6 n, and there exist divisors Ai and Bi with the latter having rational coefficients such
that
Ns′ = Ai + sBi for all s ∈ [pi , pi+1 ].
Proof. Let C1 , . . . ,Cn be the irreducible components of Supp(N ′ ), where N ′ = N0′ . Choose real numbers s′ , s
such that 0 6 s′ < s 6 µ − ν . We can then write
Ps′′ = D′s′ − Ns′′ = (D′s − (s − s′ )C) − Ns′′ = D′s − ((s − s′ )C + Ns′′ ).

As Ps′′ is nef and the negative part of the Zariski decomposition is minimal, the divisor (s − s′ )C + Ns′′ − Ns′
is effective and it remains only to show that C is not in the support of Ns′ for any s ∈ [0, µ − ν ]. If C
were in the support of Ns′ for some s, then for any λ > 0 the Zariski decomposition of D′s+λ would be
D′s+λ = Ps′ + (Ns′ + λ C). In particular, C would be in the support of Nµ′ −ν , contradicting the definition of ν .
Rearranging the Ci ’s, we assume that the support of Nµ′ −ν consists of Ck+1 , . . . ,Cn . We set
def

pi = sup{s | Ci ⊆ Supp(Ns′ )} for all i = 1 . . . k .

Without loss of generality 0 < p1 6 . . . 6 pk−1 6 pk 6 µ − ν . We will show that Ns′ is linear on [pi , pi+1 ]
for this choice of pi ’s. By the continuity of the Zariski decomposition (see [BKS04, Proposition 1.14]), it
is enough to show that Ns′ is linear on the open interval (pi , pi+1 ). If s ∈ (pi , pi+1 ) then the support of Ns′ is
contained in {Ci+1 , . . . ,Cn }, and Ns′ is determined uniquely by the equations
Ns′ ·C j = (D′ + sC) ·C j , for i + 1 6 j 6 n .

40

A. KÜRONYA AND V. LOZOVANU

As the intersection matrix of the curves Ci+1 , . . . ,Cn is non-degenerate, there are unique divisors Ai and Bi
supported on ∪nl=i+1Cl such that
Ai ·C j = D′ ·C j and Bi ·C j = C ·C j for all i + 1 6 j 6 n .

Note that Bi is a rational divisor. By [BL92, Lemma 14.9] (first proved in [Zar62]) both Ai and Bi are
effective and it follows that Ns′ = Ai + sBi for any s ∈ (pi , pi+1 ).


Proof of Theorem 2.2.11. To begin with [LM09, Theorem 6.4] implies that the function α is convex, β is
concave and α 6 β all the time. Next, Proposition 2.2.14 yields that the functions α and β are piecewise
linear with only finitely many breakpoints which occur when we cross walls of Zariski chambers, hence for
rational values of t.
Finally, α is an increasing function of t by Proposition 2.2.14, because Nt = Nµ′ −s, and α (t) = ordx (Nt |X ),
therefore we are done.

Exercise 2.2.15. Let X be a smooth projective surface, L a big R-divisor, Y• an admissible flag on X . Show
that the number of vertices of the polygon ∆Y• (L) is at most 2ρ (X ) + 2. Verify that this bound is sharp.
Conjecture 2.2.16. (who do I attribute this to?) Let X be a smooth projective surface, L a big R-divisor.
Let f : X̃ → X be a proper birational morphism, Y• an admissible flag on X̃. Then ∆Y• ( f ∗ L) has at most
2ρ (X ) + 2 vertices.
The essential information one needs to answer questions like Conjecture 2.2.16 is how many Zariski
chambers the line segment [L, L − µC (L)C] crosses. This kind of information is on the other hand hard to
obtain in general, they are very closely related to the rationality of Seshadri constants. As an illustration,
here is an equivalent formulation of Nagata’s conjecture.
Conjecture 2.2.17 (Nagata). Let X be the blow-up of P2 at a set of n general points, let H be the hyperplane
def

class, E = E1 + . . . + En the exceptional divisor. Then the ray H − tE (t > 0) only crosses one Zariski
chamber before it leaves Eff(X ).
Surprisingly enough, it is not difficult to show that the ray H − tE in the Nagata situation only goes
through at most two chambers before leaving Eff(X ).
Proposition 2.2.18 ([DKMS16, Proposition 2.5]). Let f : X → P2 be the blowup of P2 at n general points
def

with exceptional divisor E = E1 + . . . + En . Let H be the pull-back of the hyperplane bundle, then the ray
R = H − tE meets at most two Zariski chambers on X .
def

Proof. If the multi-point Seshadri constant ε = ε (O¶2 (1); n) is maximal, that is, equal to √1n , then the ray
crosses only the nef cone.
If ε is submaximal, then there is a curve C = dH − ∑ mi Ei computing this Seshadri constant, i.e. ε = ∑dmi .
def

If this curve is homogeneous, i.e. m = m1 = · · · = ms , then we put Γ = C. Otherwise we define Γ = γ H −
M ·E as a symmetrization of C as in [DKMS16, Lemma 2.2], that is, we sum the curves Ck = dH − ∑ mσ k (i) Ei
over a length n cycle σ ∈ Σn .
Let µ = Mγ . Note that µ = µ (L; E). Indeed, it is in any case µ 6 µ (L; E) by the construction of Γ and a
strict inequality would contradict the fact that Γ computes the Seshadri constant.
Now, we claim that
µ −t
t −ε
Γ
(H − ε E) +
H − tE =
µ −ε
γ (µ − ε )

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

41

is the Zariski decomposition of H −tE for ε 6 t 6 µ . Indeed, H − ε E is nef by definition and it is orthogonal
to all components of Γ, which together with the Index Theorem implies that the intersection matrix of Γ is
negative definite.
Thus the ray R after leaving the nef chamber remains in a single Zariski chamber.

At the other extreme, one can quickly come up with examples with rays meeting a maximal number of
chambers.
+
Example 2.2.19 ([DKMS16, Example 2.6]). Keeping the notation from Proposition 2.2.18 let L = ( n(n+1)
2
1)H − E1 − 2E2 − . . . − nEn . Then L is an ample divisor on X and the ray R = L + λ E crosses s + 1 = ρ (X )
Zariski chambers. Indeed, with λ growing, exceptional divisors E1 , E2 , . . . , En join the support of the Zariski
decomposition of L − λ E one by one.
Although the rays H − tE in the Nagata example are not of the form L − tC for an irreducible curve C,
together with Theorem 2.2.2 they inspire the following definition.
Definition 2.2.20 (Numerical Newton–Okounkov bodies on surfaces). Let X be a smooth projective surface,
L a big R-divisor, α ∈ NR1 an arbitrary class. We set
def 
2
∆num
α (L) = (t, y) ∈ R | 0 6 t 6 µα (L) , 0 6 y 6 (PL−t α · α ) ,
def

where µα (L) = sup {t > 0 | L − t α is big}.

Exercise 2.2.21. With notation as above,
(1) if −α is not pseudo-effective, then ∆num
α (L) is a convex polygon.
(2) The construction is homogeneous respects numerical equivalence of divisors.
(3) Explore the continuity properties of ∆num
α (L) in α and L.
(4) For which α is it true that vol R2 ∆num
(L)
= 2 · vol X L?
α
2.3. Rationality questions regarding Newton–Okounkov polygons. Next, we look at the question what
kind of a number can µC (L) can be. Let us see first that it is not always rational.
Example 2.3.1. (Taken from [LM09]) Let X = Y × Y be an abelian surface where Y is an elliptic curve
without complex multiplicaton, then the classes F1 , F2 of the fibres of the two projections and the diagonal
form a basis of N 1 (X )R . The nef and pseudo-effective cones coincide, and are described by

Eff(X ) = α ∈ N 1 (X ) | (α 2 ) > 0 , (α · H) > 0

for some (or, equivalently, all) ample classes H. The source of the irrationality is the fact that equalities of
the form ((L − tC)2 ) = 0 tend to have irrational roots.
Let L be an ample Cartier divisor, C ⊆ X and ample curve, and x ∈ X an arbitrary point. Then α (t) ≡ 0,
for X has no negative curves at all.
Then
µC (L) = the smaller root of the polynomial ((L − tC)2 ).
For most choices of L and C, µC (L) 6∈ Q. Based on this information, one can quickly compute that

β (t) = (L ·C) − t(C2 ) .

Theorem 2.3.2 ([KLM12]). With notation as above,
(1) µC (L) ∈ Q or it satisfies a quadratic equation over Q.

42

A. KÜRONYA AND V. LOZOVANU

(2) If α ∈ R>0 satisfies a quadratic equation and it is the smaller of the two roots, then α = µC (L) for
suitable X , L,C.
Proof. We only prove the first statement and refer the reader for a verification of the second one to [KLM12].

Exercise 2.3.3. Find a smooth projective surface X , an ample Cartier divisor L, and a curve C, such that
µC (L) 6∈ Q, and ∆Y• (L) has an inner breakpoint.
Although the following rationality result can be deduced from Corollary 2.2.12, it is educational to see a
stand-alone proof.
Proposition 2.3.4. All Okounkov bodies of big divisors on the nine-point blow-up of the projective plane
are rational polygones.
Proof. Let L be a big divisor on the nine-point blow-up X , C an irreducible curve on X , we take the point in
the flag to be a very general point on C.
def
With this setup we want to show that ∆ = ∆C (L) is a rational polygone. By the results of [KLM12] ∆ is
def

certainly a polygone, which is rational if and only if µ = µC (L) is rational. This is what we will prove now.
Let
r

L − µC = P + N = P + ∑ ai Ei
i=1

be the Zariski decomposition of the pseudo-effective (but not big!) divisor L − µC.
C ASE 1: Suppose N = 0. Then L − µC is a nef but not big divisor, hence a non-negative real multiple of
−KX : P = b(−KX ). However, since L,C, and −KX are all rational (in fact, integral) points in the Néron–
Severi space, b must be rational as well, hence so i µ .
Note: here we make very heavy use of the special nature of the situation: more precisely , that we know
that the only nef but not big divisor is integral (namely −KX ).
C ASE 2: Suppose P = 0, hence L − µC = ∑i=1 ai Ei . In this case µ is the ’time’ when L − tC hits the rational
plane spanned by the integral vectors E1 , . . . , Er , hence it must be rational again.
C ASE 3: Suppose that none of P and N are zero. Then again, since L − µC is not big, neither is P, so again,
P = b(−KX ) for some positive real number b. However, −KX is not perpendicular to any negative curve on
X (it has positive intersection with all of them), hence N must be zero, a contradiction.

Proposition 2.3.5. Let X be a smooth projective surface and L be a big and nef line bundle on X . Then
there exists an irreducible curve Y1 ⊆ X such that the Okounkov body ∆Y• (L) is a rational simplex, where Y2
is a general point on the curve Y1 .
Proof. If L is semi-ample, this follows from Theorem 1.2.77. We can therefore assume that L is not semiample, i.e. the stable base locus B(L) is nonempty. Let C1 , . . . ,Cr be the irreducible curves contained in B(L).
Then there exist positive integers m, a1 , . . . , ar ∈ Z such that the base locus of the divisor mL − ∑i=r
i=1 aiCi is a
finite set. By the Zariski-Fujita theorem [Laz04a, Remark 2.1.32] this divisor is semi-ample. Consequently,
taking large enough multiples, we can assume that mL − ∑i=r
i=1 aiCi is a base point-free divisor and B(L) =
C1 ∪ . . . ∪Cr . Taking this into account we choose Y1 ∈ |mL − ∑i=r
i=1 aiCi | to be an irreducible curve.

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

43

The matrix ||(Ci .C j )||i, j is negative-definite. To see this, first observe that (L.Ci ) = 0 for all i = 1, . . . , r,
because B(L) ⊆ B+ (L) = Null(L). (The inclusion follows from [Laz04b, Definition 10.3.2], and the equality
from [Laz04b, Theorem 10.3.5].) Therefore any linear combination D = ∑ biCi has (L.D) = 0. Since
(L2 ) > 0 (as L is big and nef), the Hodge Index Theorem implies (D2 ) < 0, which shows the matrix is
negative-definite. It follows that for any bi ∈ R+ , the divisor ∑ biCi is pseudo-effective but not big.
Now consider the family of divisors Dt = L −tY1 for all t > 0. We claim that Dt is effective iff 0 6 t 6 1/m.
For this, notice that
r

r

Dt = L − tY1 ∼ L − t(mL − ∑ aiCi ) = (1 − mt)L + t · ∑ aiCi .
i=1

i=1

By this description Dt = L − tY1 is effective for 0 6 t 6 1/m. If t > 1/m, set ε = t − 1/m. Since (L ·Ci ) = 0
for all i = 1, . . . , r, and (L2 ) > 0, then the intersection number
r

(Dt · L) = ((−ε L + (1 + ε ) ∑ aiCi ) · L) = −ε (L2 ) < 0 .
i=1

Since L is nef, this implies that Dt is not effective when t > 1/m.
Above, we have seen that Dt ∼ (1 − mt)L + t · ∑ri=1 aiCi . Thus the divisors Pt = (1 − mt)L and Nt =
t ∑ri=1 aiCi form the Zariski decomposition of Dt for all 0 6 t 6 1/m. This follows since Dt = Pt + Nt , (Pt ·
Nt ) = 0, Pt is nef (since L is), Nt is a negative definite cycle, and the uniqueness of Zariski decompositions.
This and the claim above say that the divisor Dt = L − tY1 stays in the same Zariski chamber for all 0 6 t 6
1/m.
Finally, we know by [LM09, Theorem 6.4] that if we choose a smooth point x ∈ Y1 , we have the following
description of the Okounkov body:
∆(Y1 ,x) (L) = {(t, y) ∈ R2 | a 6 t 6 µY1 (L), and α (t) 6 y 6 β (t) }.
The choice of Y1 forces a = 0 and the discussion in the previous paragraph imply that µY1 (L) = 1/m. The
proof of [LM09]Theorem 6.4 says that α (t) = ordx (Nt |Y1 ) and β (t) = ordx (Nt |Y1 ) + (Y1 .Pt ). By choosing
x∈
/ B(L), which is always possible since the curve Y1 moves in base point free linear series, we obtain
α (t) = 0 and β (t) = (1 − mt)(Y1 .L). Thus ∆Y• (L) is a simplex.

Corollary 2.3.6. Let X be a smooth projective surface, D a big divisor on X . Then there exists an admissible
flag Y• with respect to which ∆Y• (L) is a rational simplex.
Proof. Let D = P + N be the Zariski decomposition of D. By [ŁŚS14]Corollary 2.2, ∆Y• (D) is a rational
translate of ∆Y• (P). By Proposition 2.3.5 there exists a flag Y• for which ∆Y• (P) is a rational simplex, but
then so is ∆Y• (D) for the same flag.

Remark 2.3.7. If L is big and nef, but not semi-ample, then R(X , L) is not finitely generated. Proposition 2.3.5 yields a significant class of examples of line bundles that are not finitely generated, but possess
Newton–Okounkov bodies that are rational polygones. Observe that the above proof is very surface-specific,
it is an interesting question to construct big and nef, but non-finitely generated divisors with rational polytopes as Okounkov bodies if the dimension of the underlying variety is at least three.
def

def

Exercise 2.3.8. ⋆ In the situation of Proposition 2.3.5, set Y = X × P1 , and D = L ⊠ OP1 (1). Check if
R(Y, D) is finitely generated, and find flags Y• for which ∆Y• (D) is a rational polytope.

44

A. KÜRONYA AND V. LOZOVANU

2.4. Infinitesimal Newton–Okounkov polygons. Infinitesimal Newton–Okounkov bodies have been treated
in Subsections 2.5 and 2.6 (the original sources are [KL14, KL17]), here we will take a closer look at the
infinitesimal theory in dimension two. First we set up notation. Let X be a smooth projective surface, x ∈ X
an arbitrary point, D a divisor on X , possibly with Q- or R-coefficients. Write π : X̃ → X for the blowing up
of X at x, and write E for the exceptional divisor of π .
An infinitesimal Newton–Okounkov polygon of D at x ∈ X is a polygon of the form ∆(E,z) (π ∗ D), where
z ∈ E is an arbitrary point. As it turns out, one has more control over infinitesimal Newton–Okounkov
polygons than in general.
Proposition 2.4.1 ([KL14, Proposition 3.1]). With notation as above, one has
(1) ∆(E,z)(π ∗ D) ⊆ ∆−1
µ ′ (D,x) for any z ∈ E;
(2) there exist finitely many points z1 , . . . , zk ∈ E such that the polygon ∆(E,z) (π ∗ D) is independent of z ∈
E \ {z1 , . . . , zk }, with base the whole line segment [0, µ ′ ] × {0},
def

where µ ′ = sup {t > 0 | π ∗ D − tE is big }.
Remark 2.4.2. The invariant µ ′ (D, x) is a slight variation of the usual Seshadri constant with respect to the
pseudo-effective cone:
def

µ ′ (D, x) = µ (π ∗ D, z) ,
where we take into account that the latter turns out to be independent of the choice of z ∈ E.
Proof. (1) This statement we have already proved in all dimensions. (2) Let
def

Dt′ = π ∗ (D) − tE = Pt′ + Nt′
be the appropriate Zariski decomposition. Neither of the coefficient ν ′ of E in the negative part N0′ and
µ ′ (D, x) depend on the choice of z ∈ E, hence ∆(E,z) (π ∗ (D)) ⊆ [ν ′ , µ ′ ] × R+ for any z ∈ E.
For any ξ ∈ [ν ′ , µ ′ ] the length of the vertical slice ∆(E,z) (π ∗ (D))t=ξ is independent of z ∈ E. Thus, to
finish up, it suffices to show that there exist finitely many points z1 , . . . , zk ∈ E such that [ν ′ , µ ′ ] × {0} ⊆
∆(E,z) (π ∗ (D)) for all z ∈ E \ {z1 , . . . , zk }.
This, however, is a consequence of Proposition 2.2.14, which states that the function t ∈ [ν ′ , µ ′ ] −→ Nt′ is
increasing: in particular, the divisor Nµ′ ′ − Nt′ is effective for any t ∈ [ν ′ , µ ′ ]. Consequently, the function α

is identically zero on the whole interval [ν ′ , µ ′ ] whenever x ∈
/ Supp(Nµ′ ′ ) ∩ E, as stated.
The second part of the Proposition implies that it makes sense to talk about the generic infinitesimal
Newton–Okounkov polygon of D at the point x ∈ X , which we denote by ∆x (D).
It is a useful observation that local positivity at very general points is somewhat less difficult to control.
Our starting point is a result of Nakamaye, based on the ideas from [EKL95].
Lemma 2.4.3 (Nakamaye). Let x ∈ X be a very general point and D be an effective integral divisor on X .
Suppose W ⊆ X be an irreducible curve passing through x. Let W be the proper transform of W through the
blow-up π : X ′ → X of the point x. Also, define

α (W ) = infβ ∈Q {W ⊆ Null(π ∗ (D) − β E)} .
Then multW (||π ∗ (D) − β E||) > β − α (W ) for all β > α (W ).

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

45

Lemma 2.4.3 forces the generic infinitesimal Newton–Okounkov polygon of very generic points to land
in certain area of the plane, depending on the Seshadri constant. The resulting convex-geometric estimate
has manifold applications, here we will focus on the connection with lower bounds on Seshadri constants.
Proposition 2.4.4 ([KL14, Proposition 4.2]). Let L be an ample Cartier divisor on X and x ∈ X be a very
general point. Then the following mutually exclusive cases can occur.
(1) µ ′ (L; x) = ε (L; x), then ∆x (L) = ∆ε−1
(L;x) .
′
(2) µ (L, x) > ε (L, x), then there exists an irreducible curve F ⊆ X with (L · F) = p and multx (F) = q such
that ε (L; x) = p/q. Under these circumstances,
(a) If q > 2, then ∆x (L) ⊆ △ODR , where O = (0, 0), D = (p/q, p/q) and R = (p/(q − 1), 0).
(b) If q = 1, then the polygon ∆x (L) is contained in the area below the line y = t, and between the
horizontal lines y = 0 and y = ε (L; x).
Proof. If ε (L, x) = µ ′ (L, x), then one has automatically ∆ = ∆−1
µ ′ (L,x) . Therefore we can assume without
′
loss of generality that µ (L, x) > ε (L, x). In particular, there exists a curve C ⊆ X with (L · C) = p and
multx (C) = q such that ε (L, x) = p/q.
Let C be the proper transform of C on X̃. The idea is to calculate the length of the vertical segment in the
polygon ∆(L, x) at t = t0 for any t0 > ε (A, L):

length ∆(L)t=t0 = (Pt0 · E) = t0 − (Nt0 · E) ,

where π ∗ (L) − t0 E = Pt0 + Nt0 is the corresponding Zariski decomposition. By Lemma 2.4.3, one can write
Nt0 = (t0 − ε (L, x))C + Nt′0 , where Nt′0 remains effective. This implies the inequality


(2.4.4)
length ∆(L)t=t0 = t0 − (t0 − ε (A, x))C + Nt′0 · E 6 t0 − (t0 − ε (A, x))q .

The vertical line segment ∆(L; x)t=t0 starts on the t-axis at the point (t0 , 0) for any t0 > 0. Therefore, by
(2.4.4), the polygon sits below the line
y = t0 − (t0 − ε (L, x))q = (1 − q)t0 + ε (L, x)q .

When q = 1, then this line is the horizontal line y = ε (L, x) and when q > 2 then it is the line passing through
the points D = (p/q, p/q) and B = (p/(q − 1), 0). This finishes the proof.

As a first corollary, we recover a result of Ein and Lazarsfeld [EL93a] about lower bounds on Seshadri
constants. The idea of the proof is to use areas comparisons between the relevant convex objects in the place.
Corollary 2.4.5. Let L be an ample line bundle on a smooth projective surface. If x ∈ X is very general,
then ε (L, x) > 1.
Proof. By the definition of Seshadri constants and Proposition 2.4.4, it suffices to consider the case (2a).
Thus, we know that ∆(L; x) ⊆ △ODB , and as a consequence
Area(∆(L; x)) =
In particular, ε (L, x) >

q

p2
L2
6 Area(ODB) =
.
2
2q(q − 1)

(L2 )(1 − q1 ). Hence, if we assume ε (L, x) < 1, then by the rationality of ε (L; x),

2
we also have ε (L, x) 6 q−1
q . Using the inequality between the areas, we arrive at (L ) < 1, which stands in
contradiction with the assumption that L is an ample Cartier divisor.


46

A. KÜRONYA AND V. LOZOVANU

A small twist of the above argument delivers a new angle on an interesting conjecture of Szemberg
[Sze12].
Conjecture 2.4.6 (Szemberg [Sze12]). Let X be a smooth projective surface with ρ (X ) = 1, L the ample
generator of N 1 (X ) with (L2 ) = N. Assume that N is not a square. Let (p0 , q0 ) be the primitive solution of
the Pell equation y2 − dx2 = 1, then
p0 N
ε (L; x) >
q0
for a very general point x ∈ X .
The argument of Corollary 2.4.5 yields the following result.
Theorem 2.4.7 ([FSSTG16]). Let X be a smooth projective surface, x ∈ X a very general point , L an ample
line bundle on X such that (L2 ) = N is ample, and N is not a square. Let (p, q) be an arbitrary solution of
the Pell equation y2 − dx2 = 1. Then either

ε (L; x) > 1 ,

or there exists an effectively computable finite set Exc(N, p, q) such that ε (L; x) = a/b implies (a, b) ∈
Exc(N, p, q).
The following inequality is useful for giving lower bounds on Seshadri constants at very general points
(cf. [Xu95]).
Proposition 2.4.8 ([Bas09, KSS09]). Let X be a smooth projective surface, (Ct , xt )t∈T a non-trivial family
of pointed curves on X such that there exists an integer m > 2 with multxt Ct > 2 for some t ∈ T . Then
(Ct2 ) > m(m − 1) + gon(Ct ) .

Exercise 2.4.9 (cf. [FSSTG16]). ⋆ Let X be a smooth projective surface with ρ (X ) = 1, write L for the
ample generator of N 1 (X ), and set (L2 ) = N. Verify that Conjecture 2.4.6 holds whenever N = n2 − 1 or
N = n2 + n for some positive integer n. More concretely, prove that under the given conditions
n2 − 1
n
respectively, for x ∈ X a very general point.

ε (L; x) >

and

ε (L; x) >

2(n2 + n)
,
2n + 1

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

3. C ONSTRUCTION

47

OF SINGULAR DIVISORS AND HIGHER SYZYGIES ON ABELIAN SURFACES

3.1. Generalities on syzygies and property (N p ). A very effective way to study varieties is via their possible embeddings into projective spaces of various dimensions. As we saw earlier, a very ample line bundle
L on a projective variety X gives rise to an embedding

φL : X ֒→ PN = P(H 0 (X , L)) .
The homogeneous coordinate ring of the image is the main algebraic invariant associated to the pair (X , L),
this can be identified with the section ring
R(X , L) =

M

H 0 (X , L⊗m )

m∈N

of L. There is an exciting interplay between the algebraic properties of the section ring R(X , L) and the
geometry of the embedding φL , which has long been an important area of research.
The algebraic behavior of R(X , L) is best studied in the category of graded modules over the polynomial
ring
def
S = C[x0 , . . . , xN ] = Sym• (H 0 (X , L)) .
As all finitely generated graded S-modules, R(X , L) admits a minimal graded free resolution E• of the shape
. . . → Ei → Ei−1 → . . . → E2 → E1 → E0 → Rl → 0 ,

where each Ei = ⊕ j S(−ai, j ) is a free graded S-module. Beside its obvious geometric relevance, studying
the set of numbers (ai, j ), or equivalently, the Betti diagram that arises, is of great interest.
Building on ideas of Castelnuovo and later Mumford [Mum70], Green and Lazarsfeld [GL85] introduced
a sequence of properties requiring the first p terms in E• to be as simple as possible.
Definition 3.1.1 (Property (N p )). With notation as above, we say that the pair (X , L) (or simply that L)
satisfies property (N p ), if E0 = S and
ai, j = i + 1 for all j and all 1 6 i 6 p.
Remark 3.1.2 (Koszul cohomology). Still keeping the notation from above, observe that we can rewrite
Ei =

M
q∈Z

S(−i − q) ⊗C Ki,q (X , L) ,

where the vector spaces Ki,q (X , L) are called that Koszul cohomology groups of (X , L) in the appropriate
bidegree.
Remark 3.1.3. In geometric terms, property (N0 ) holds for L if and only if φL defines a projectively normal
embedding, while property (N1 ) is equivalent to asking for property (N0 ) and that the homogenous ideal
IX|PN of X in PN be generated by quadrics.
Due to its classical roots and its obvious relevance for projective geometry, the area surrounding property
(N p ) has generated a significant amount of work in the last thirty years or so with some of the highlights
being [BEL91, EL93b, EL14, Par00, Voi02]. As it can be seen from the state of affairs, controlling higher
syzygies has always been a notoriously difficult question. For more details about this circle of ideas the
reader is kindly referred to [Laz04a, Section 1.8.D] and [Eis05] for a more algebraic treatment.
One of the early results on property (N p ) that shaped the field to a large extent is Green’s theorem [MG84]
on property (N p ) for curves.

48

A. KÜRONYA AND V. LOZOVANU

Theorem 3.1.4 (Green). Let p be a natural number, X a smooth curve of genus g, L an ample line bundle
on X . If degX L > 2g + 1 + p, then L has property (N p ).
In Subsection 3.2 we show how a simple stability argument leads to a slightly weaker version of Green’s
theorem.
Inspired by Fujita’s influential conjectures on global generation and very ampleness, and Green’s theorem
on the other hand, Mukai formulated a series of conjectures for the properties (N p ).
Conjecture 3.1.5 (Mukai). Let p be a natural number, X a smooth projective variety, L an ample line bundle
on X . Then KX + mL has property (N p ), whenever m > dim(X ) + p + 2.
Although non-trivial work has been done in dimension two (see [GP99] for a nice overview, and [GP00]
for further interesting work), the conjecture in its entirety appears to be way out of reach even for surfaces
currently. One of the few class of varieties where the Fujita-Mukai conjecture has been successfully treated
in all dimensions is that of abelian varieties. Based on earlier work of Kempf [Kem89], Pareschi [Par00]
proved a conjecture of Lazarsfeld that gives a Fujita-type answer to syzygy questions on abelian varieties.
Theorem 3.1.6 (Pareschi). Let (X , L) be a polarized abelian variety, p a natural number. If m > p + 3, then
mL satisfies property (N p ).
The idea behind the statement is a general principle conjecture by Lazarsfeld: syzygies on abelian varieties should behave roughly the same way as on elliptic curves. Pareschi’s Theorem is a particularly precise
instance of this phenomenon.
Remark 3.1.7. An interesting feature of abelian varieties is that the bound for property (N p ) is independent
of dim(X ). Note at the same time that as far as taking multiples of given ample divisors goes, Pareschi’s
theorem is sharp already in the case of elliptic curves. If X is an elliptic curve, then a divisor of degree 1 is
effective, but has a base point. A divisor of degree two is base-point free, in fact it defines a double cover of
P1 , but not very ample. This pattern continues, see the exercise below (cf. [GP99]).
Exercise 3.1.8. Let p be a natural number, X an elliptic curve, D a divisor of degree p + 3 on X . Show that
D satisfies property (N p ), but not (N p+1 ).
Remark 3.1.9. Observe that Fujita–Mukai type conjectures are not quite satisfactory from the point of view
that they do not scale well under taking multiples. More concretely, let L be an ample line bundle on an
abelian variety X , p a natural number. By Pareschi’s theorem (p + 3)L satisfies property (N p ). Let us now
def

write L′ = (p + 3)L and ask which multiples of L′ satisfy property (N p ). If we turn to Pareschi’s theorem
again, the answer is > p + 3, which is now very far from the truth, which we know to be > 1. The conclusion
we can draw is that Mukai-type results tend to be unprecise for non-primitive line bundles.
In general Kollár’s suggestion [Kol97] (see also [Laz04b]) to try and control positivity in terms of intersection numbers appears to be more precise.
3.2. Green’s theorem and stability. As an interlude we show that at the cost of weakening the bound in
Green’s theorem for curves one can buy a simplified treatment by studying syzygy bundles. This proof was
motivated by the paper [AB11] of Arcara and Bertram.
Theorem 3.2.1 ([KKM]). Let C be a smooth projective curve of genus g, L a line bundle on C, p a natural
number. If
p
g + p − 2 + (g + p − 2)2 + 4(g(p − 2) + 2)
,
deg L > g +
2

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

49

then L satisfies property N p .
Remark 3.2.2. If we fix g, and let p tend towards infinity, in the limit we obtain deg L > p + O(p1/2+ε ) for
ε > 0 arbitrarily small. In this sense, our bound is asymptotically optimal.
Our primary tools are syzygy bundles. If E is a globally generated vector bundles, then the syzygy bundle
ME associated to E is defined by the short exact sequence
0 −→ ME −→ H 0 (X , E) ⊗C OX −→ E −→ 0

obtained from the evaluation map on global sections.
The main technical tools connected to the bundles ME we use are the following
Theorem 3.2.3 ([EL93b]). Let X be a projective variety, L a globally generated ample line bundle on X . If

H 1 X , ∧i+1 ML ⊗ L⊗s = 0
for all 0 6 i 6 p, and all s > 1, then L has the property N p .

We can control the stability of syzygy bundles using the following result.
Theorem 3.2.4 (Butler, [But94]). Let C be a smooth projective curve of genus g, E a semi-stable globally
generated vector bundle on C. If µ (E) > 2g, then ME is semi-stable as well.
Theorem 3.2.1 is a consequence of a vanishing statement related to slope stability. The basic idea is that
a semistable vector bundle of negative slope has no sections. In what follows C is a smooth projective curve
of genus g, and L is a line bundle on C. We denote the rank of ML by r.
Proposition 3.2.5. Assume that deg L > 2g, and let i > 0, s > 1 be arbitrary integers. Then




r
r−1
· (2g − 2 − s · deg L) +
· deg L < 0
i+1
i
implies

H 1 C, ∧i+1 ML ⊗ L⊗s = 0 .

Corollary 3.2.6. With notation as above, if deg L > 2g, and




r
r−1
· (2g − 2 − s · deg L) +
· deg L < 0
i+1
i
for all 0 6 i 6 p and s > 1, then L has property N p .

Proof of Proposition 3.2.5. First of all, deg L > 2g implies by [Har77]Corollary IV.3.2 (a) that L is globally
generated, hence the syzygy bundle ML is defined. By Serre duality,


H 1 C, ∧i+1 ML ⊗ L⊗s = H 0 C, ωC ⊗ ∧i+1 ML∗ ⊗ L⊗−s .

Note that all line bundles are semistable, and so is ML by Theorem 3.2.4, hence ML∗ and ∧i+1 ML∗ for all i > 0.
In particular, the vector bundles ωC ⊗ ∧i+1 ML∗ ⊗ L⊗−s are all semistable. As




r
r−1
i+1 ∗
i+1 ∗
rk ∧ ML =
and deg ∧ ML =
,
i+1
i
this latter by [Ful98]Remark 3.2.3 (c)S, we have that




r
1
r−1
µ (ωC ⊗ ∧i+1 ML∗ ⊗ L⊗−s ) = r  · (
· (2g − 2 − s · deg L) +
· deg L) .
i+1
i
i+1

50

A. KÜRONYA AND V. LOZOVANU

Since a semistable vector bundle of negative slope cannot have a non-zero global section, the condition in
the Proposition guarantees that

H 0 C, ωC ⊗ ∧i+1 ML∗ ⊗ L⊗−s = 0
as required.



Proof of Theorem 3.2.1. We will check that the assumption
p
g + p − 2 + (g + p − 2)2 + 4(g(p − 2) + 2)
,
deg L > g +
2
guarantees that the conditions of Corollary 3.2.6 are satisfied in the required range.
First of all, observe that to verify




r
r−1
· (2g − 2 − s · deg L) +
· deg L < 0
i+1
i

for all 0 6 i 6 p and s > 1, it suffices to treat the case s = 1. The conditon is then equivalent to




r
r−1
· (2g − 2) <
· deg L ,
i+1
i+1
and hence to

As

r
· (2g − 2) < deg L .
r−i−1

r+1
r
>
,
r−i−1
(r + 1) − i − 1
it suffices to treat the case when we have equality in the Riemann–Roch formula
r = h0 (C, L) − 1 > deg L + 1 − g ,

hence we will assume r = deg L + 1 − g. This leads to the equivalent formulation
(deg L − g + 1)(2g − 2) < deg L · (deg L − g − p) .

We set λ = deg L − g, and arrive at the quadratic inequality

λ 2 + (−g − p + 2)λ + (−gp − 2g − 2) > 0 .

A routine check will show that the inequality indeed holds under the assumption of the Theorem.



3.3. Higher syzygies on abelian surfaces — main result and overview. Motivated by Kollár’s line of
thought regarding Fujita-type conjectures, it is natural to ask whether it is feasible to study property (N p ) for
a given line bundle with certain numerics instead. Such a new line of attack in the case of abelian varieties
has been recently initiated by Hwang–To [HT11] where complex analytic techniques (more precisely upper
bounds on volumes of tubular neighbourhoods of subtori of abelian varieties) were used to control projective
normality of line bundles on abelian varieties in terms of Seshadri constants.
The next step was taken by Lazarsfeld–Pareschi–Popa [LPP10], who used multiplier ideal methods to
extend the results of [HT11] to higher syzygies on abelian varieties. The essential contribution of [LPP10]
is that property (N p ) can be guaranteed via constructing effective divisors with prescribed multiplier ideals
and numerics. Our approach builds in part on the method of proof developed in [LPP10]. For the record we
state the final result of [LPP10].

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

51

Theorem 3.3.1 (Lazarsfeld–Pareschi–Popa). Let (X , L) be a polarized abelian variety of dimension n. Assume that ε (L; o) > (p + 2)n. Then L satisfies property (N p ).
The main goal of this section is to study property (N p ) for divisors on abelian surfaces, and sketch the
ideas behind the following fairly precise result, which is the central result of this section. The proof will be
given over the last four subsections of Section 3.
Theorem 3.3.2. [KL15b] Let p > 0 be a natural number, X a complex abelian surface, L an ample line
bundle on X with (L2 ) > 5(p + 2)2 . Then the following are equivalent.
(1) X does not contain an elliptic curve C with (C2 ) = 0 and 1 6 (L ·C) 6 p + 2.
(2) The line bundle L satisfies property N p .
Remark 3.3.3. Part of the added value of Theorem 3.3.2 comes from treating the cases where (L2 ) is large,
but ε (L; o) is small. As seen in [BS08] such line bundles abound. Here is a concrete family. In order to
be in the situation of [BS08, Theorem 1], let C be an elliptic curve without complex multiplication, and
let L = a1 F1 + a2 F2 + a3 ∆ be an ample line bundle on C × C, where the Fi ’s are fibres of the two natural
projections and ∆ ⊆ C ×C stands for the class the diagonal. The self-intersection is then computed by
(L2 ) = 2a1 a2 + 2a1 a3 + 2a2 a3 .

We will take a1 , a2 , a3 > 0, hence [BS08, Example 2.1] applies. Set a2 = 3 and a3 = 2, our plan is to take
a1 ≫ a2 , a3 ; in any case if a1 > 4 then

ε (L; o) = min {a1 + a2 , a1 + a3 , a2 + a3 } = 5 ,

and there is no elliptic curve of L-degree less than 5 on C ×C. Our choice of a2 and a3 forces the line bundle
L to be primitive as well.
As explained above, the sequence of properties (N p ) is best considered as increasingly stronger geometric
versions of positivity for line bundles along the lines of global generation and very ampleness. From this
point of view, Theorem 3.3.2 is a natural generalization of Reider’s celebrated result [Rei88].
Theorem 3.3.4 (Reider). [Rei88, Laz97] Let L be a nef line bundle on a smooth projective surface X .
(1) Assume that (L2 ) > 5, and let x ∈ X be a base-point of the linear series |KX + L. Then there exists an
effective divisor D passing through x such that
either
or

(D · L) = 0 and (D2 ) = −1 ,

(D · L) = 1 and (D2 ) = 0 .

(2) Assume that (L2 ) > 10, and x, y ∈ X are two points (possibly infinitely near) that are not separated by
the linear series |KX + L|. Then there must exist an effective divisor D passing through x and y such that
either

or
or

(D · L) = 0 and (D2 ) ∈ {−1, −2} ,

(D · L) = 1 and (D2 ) ∈ {0, −1} ,

(D · L) = 2 and (D2 ) = 0 .

Remark 3.3.5. Among many others (see [Laz97] for more examples) one can draw the following conclusions from Reider’s theorem that are particularly relevant for us: Let (X , L) be a polarized abelian surface.
(1) If (L2 ) > 5 then L is globally generated if and only if there is no elliptic curve C ⊆ X with (L ·C) = 1
and (C2 ) = 0.

52

A. KÜRONYA AND V. LOZOVANU

(2) In a similar manner, if (L2 ) > 10, then L is very ample exactly if X does not contain an elliptic curve C
with (C2 ) = 0 and 1 6 (L ·C) 6 2.

It is worth pointing it out here that not every very ample line bundle defines a projectively normal embedding, hence the discrepancy between between Reider’s theorem for very ample line bundles and Theorem 3.3.2 in the case of p = 0. For a concrete example, one can take a general abelian surface X with a
principal polarization L of type (1, 6) and hence (L2 ) = 12. By Reider’s theorem, L is very ample. In order
to be projectively normal however, the multiplication map
Sym2 (H 0 (X , L)) → H 0 (X , L⊗2 )
needs to be surjective. It follows from the Riemann–Roch theorem that the dimension of the first vector
space is 21, while that of the second one is 24. Thus L is very ample but not projectively normal.
Exercise 3.3.6. Let (X , L) be a polarized abelian surface of polarization type (1, 5). Show that L is very
ample, but not projectively normal.
Remark 3.3.7. Returning to Theorem 3.3.2: while the proofs of the theorems of Reider (Theorem 3.3.4)
and Pareschi (Theorem 3.1.6) both rely mostly on vector bundle techniques, our approach in confirming
property (N p ) relies in addition on multiplier ideals and the associated vanishing theorems together with the
theory of infinitesimal Newton–Okounkov polygons.
The essential novelty of our proof is the use of infinitesimal Newton–Okounkov polygons to construct
effective Q-divisors whose multiplier ideal coincides with the maximal ideal of the origin; this replaces the
straightforward genericity argument of [LPP10].
The implication (2) =⇒ (1) on the other hand is achieved by a method introduced in [GLP83] and developed further in [EGHP05]. The strategy is that property (N p ) for the line bundle L implies vanishing of
certain higher cohomology group of the ideal sheaf of the scheme-theoretical intersection X ∩ Λ, where Λ is
a plane of small dimension inside the projective space |L|∗ . This is explained in detail in [KL15b], however,
since Newton–Okounkov bodies do not enter in any way, we will not discuss it here.
Exercise 3.3.8. Derive Theorem 3.3.1 from Theorem 3.3.2 for abelian surfaces.
Let us see how we can use Theorem 3.3.2 to recover classical results on linear series on abelian surfaces.
Corollary 3.3.9. Let X be an abelian surface and L an ample line bundle with L2 > 5. Then
(1) (Pareschi) The line bundle L⊗(p+3) satisfies condition property (N p ).
(2) The line bundle L⊗(p+2) satisfies property (N p ) if and only if (X , L) ≇ (C1 ×C2 , L1 ⊠ L2 ), where L1 is a
principal polarization of the elliptic curve C1 and L2 is of type (d) on the elliptic curve C2 .
Proof. Part (i) is immediate. For part (ii), by a result of Nakamaye [Nak96, Lemma 2.6] we know that there
exists an elliptic curve C1 ⊆ X with (L.C1 ) = 1 if and only if X is the product of C1 and another elliptic
curve C2 and L ≃ OC1 ×C2 (P, D) where P ∈ C1 a point and D a divisor on E2 . Then (ii) is immediate from

Theorem 3.3.2.
Remark 3.3.10. In connection with their theory of M-regularity on abelian varieties, Pareschi and Popa
[PP04] obtain that for an ample line bundle L with no fixed components on an abelian variety X , L p+2
already has property (N p ). Thus Corollary 3.3.9.(ii) is a numerical counterpart of [PP04, Theorem 6.2] in
dimension two.

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

53

One of the applications of [EGHP05] is that property (N p ) implies (p + 1)-very ampleness. A line bundle
L is called k-very ample if the restriction map H 0 (X , L) → H 0 (L|Z ) is surjective for any 0-dimensional
subscheme Z ⊆ X of length at most k + 1. As a consequence of [EGHP05, Remark 3.9], we can draw the
following consequence.
Corollary 3.3.11. Under the assumptions of Theorem 3.3.2, the following are equivalent:
(1) X does not contain an elliptic curve C with (C2 ) = 0 and 1 6 (L ·C) 6 p + 2.
(2) The line bundle L is (p + 1)-very ample.
Remark 3.3.12. The implication (2) =⇒ (1) was first proven by Terakawa. Note that the condition (L2 ) >
5(p + 2)2 and the Hodge index theorem imply that the result of Terakawa is equivalent to Corollary 3.3.11.
Terakawa obtained his result as a consequence of the work of Beltrametti-Francia-Sommese from Duke,
which in turn uses Reider’s theorem.
The main results along these lines are due to Bauer and Szemberg. In [BS97a] they prove for powers of
an ample line bundle on an arbitrary abelian variety. In [BS97b], they tackle the case when X is an abelian
surface with Picard number one and the line bundle is primitive. Thus the benefit of Collary 3.3.11 is that it
does not restrict itself to powers of line bundles, or to primitve ones.
From a technical point of view, the essential contribution of the work [LPP10] can be summarized in the
following statement.
Theorem 3.3.13. ([LPP10]) Let X be an abelian surface, L an ample line bundle on X , and p a positive
integer such that there exists an effective Q-divisor F0 on X satisfying
(1) F0 ≡ 1−c
p+2 L for some 0 < c ≪ 1, and
(2) J(X ; F0 ) = I0 , the maximal ideal at the origin.
Then L satisfies the property N p .
For the sake of clarity we give a quick outline of the argument in [LPP10]; to this end, we quickly
recall some terminology. As above, p will denote a natural number, one studies sheaves on the (p + 2)-fold
self-product X ×(p+2). Following Green [Gre84, §3], the N p property for the line bundle L holds provided
H i(X ×(p+2) , ⊠ p+2 L ⊗ N ⊗IΣ) = 0 for all i > 0,

(3.13.5)

and for any nef line bundle N, where IΣ is the ideal sheaf of the reduced algebraic subset
def

Σ = {(x0 , . . . , x p+1 | x0 = xi for some 1 6 i 6 p + 1} .

This is the vanishing condition one intends to verify.
def
Observe that Σ ⊆ X ×(p+2) can be realized in the following manner. Upon forming the self-product Y =
X ×(p+1) with projection maps pri : Y → X , one considers the subvariety
def

Λ=

p+1
[
i=1

pr−1
i (0) = {(x1 , . . . , x p+1 ) | xi = 0 for some 1 6 i 6 p + 1} .

Next, look at the morphism
then

δ : X ×(p+2) → X ×(p+1) , (x0 , . . . , x p+1 ) 7→ (x0 − x1 , . . . , x0 − x p+1 ) ,
Σ = δ −1 (Λ)

54

A. KÜRONYA AND V. LOZOVANU

scheme-theoretically. Consider the divisors
def

E0 =

p+1

∑ pr∗i F0

def

and E = δ ∗ E0 ,

i=1

as forming multiplier ideals commutes with taking pullbacks by smooth morphisms (cf. [Laz04b, 9.5.45]),
one observes that
J(X ×p+2 ; E) = J(X ×p+2; δ ∗ E0 ) = δ ∗J(X ×p+1; E0 ) = δ ∗IΛ = IΣ .
p+2
The divisor (⊠i=1
L) − E is ample by [LPP10, Proposition 1.3], therefore

H i(X ×(p+2) , ⊠ p+2 L ⊗ N ⊗IΣ) = H i(X ×(p+2) , ⊠ p+2 L ⊗J(X ×p+2; E)) = 0 for all i > 0

by Nadel vanishing, where one sets N = 0.
The rest of the subsection is devoted to an outline of the ideas behind the implication (1) =⇒ (2) in
Theorem 3.3.2 in the simplest case p = 0, that is, for projective normality.
Assume henceforth that X is an abelian surface, and L an ample line bundle on X with (L2 ) > 20. Suppose
in addition that X does not contain any elliptic curve C with (C2 ) = 0 and 1 6 (L · C) 6 2. To ease the
presentation we assume that there exists a Seshadri-exceptional curve F ⊆ X passing through the origin
def
def
o ∈ X with the property that r = (L · F) > q = multo (F) > 2 and ε = ε (L; o) = r/q.
Our starting point is the method of [LPP10], which builds on the following observation of Green [Gre84]
(see also [Ina97]): consider the diagonal ∆ ⊆ X × X with ideal sheaf I∆ . Projective normality of L is
equivalent to the vanishing condition
(3.13.6)

H 1 (X × X , L ⊠ L ⊗I∆) = 0 .

The authors of [LPP10] then go on to show that in order to guarantee the vanishing in (3.13.6), it suffices to
verify the existence of an effective Q-divisor
D ≡

1−c
L , for some 0 < c ≪ 1 ,
2

such thatJ(X , D) = IX,o .
Assuming one can do so, using the difference morphism δ : X × X → X given by δ (x, y) = x − y, one
deduces that
I∆ = f ∗ (J(X ; D)) = J(X × X , f ∗ (D)) ,

which in turn leads to (3.13.6) via Nadel vanishing for multiplier ideals.
While directly constructing divisors with a given multiplier ideal is quite difficult in general, a simple
observation from homological algebra ensures that at least in the case of projective normality it is enough to
exhibit such a divisor D withJ(X , D) = IX,o locally around o ∈ X .
This is where the main new ingredient of the paper comes into play: it turns out that one can use infinitesimal Newton–Okounkov polygons to show the existence of suitable Q-divisors D withJ(X , D) = IX,o
over an open subset containing o.
def
Write π : X ′ → X for the blowing-up of X at the origin o with exceptional divisor E, and let B = 21 L.
The first step is to find a criterion in terms of infinitesimal Newton–Okounkov polygons that guarantee the
existence of divisors D as above. In Theorem 3.5.1 we show that if
interior ∆(E,z) (π ∗ (B)) ∩ {(t, y) | t > 2, 0 6 y 6 2t}

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

55

F IGURE 1. An infinitesimal Newton–Okounkov body and the region Λ
y
y=t

∆(E,z0 ) (π ∗ B)

y = 2t
(2, 1)
Λ

O

(ε , 0)

t

is non-empty for any z ∈ E, then one always find an effective Q-divisor D = (1− c)B so thatJ(X ; D) = IX,o
in a neighborhood of the origin o.
Suppose the opposite, i.e. that for some z0 ∈ E the Newton–Okounkov polygon ∆(E,z0 ) (π ∗ (B)) does not
intersect the interior of the region
def

Λ = {(t, y) ∈ R2 | t > 2, 0 6 y 6 2t}

(for an illustration see Figure 1 (a)).
This implies that the polygon ∆(E,z0 ) (π ∗ (D)) sits above a certain line that passes through the point (2, 1).
But since the area of ∆(E,z0 ) (π ∗ (B)) is quite big, namely equal to (B2 )/2 > 5/2, the Seshadri constant
ε (B; o) is then forced to be small by convexity, for it is equal to the size of the largest inverted simplex inside
∆(E,z0 ) (π ∗ (B)) by [KL14, Theorem 3.11]. A more precise computation gives the upper bound ε (B; o) 6
√
5− 5
2 .

In order to obtain a contradiction, notice that X carries a transitive group action, thus the origin o ∈ X
behaves like a very general point. By the work of Ein, Küchle, and Lazarsfeld (see [EL93a] and [EKL95]),
one knows that the Seshadri constant at a very generic point for a line bundle has to be quite big, especially
when it is a non-integral rational number, as assumed.
Relying on [EKL95] and [Nak05], the authors show in [KL14, Proposition 4.2] the inclusion
∆(E,z) (π ∗ (B)) ⊆ △OAC, for generic point z ∈ E ,

where O = (0, 0), A = (r/2q, r/2q) and C = r/2(q − 1). The area of the polygon
q on the right-hand side
is (B2 )/2 > 5/2, hence a simple area comparison gives ε (B; o) = 12 ε (L; o) > 52 (see Figure 2), which
q
√
immediately leads to a contradiction since 5−2 5 < 52 .

3.4. On the existence of singular divisors. The construction of effective Q-divisors with prescribed singularities and numerical behaviour is a very strong tool in projective geometry. To indicate its power, it can be
used to prove many of the classical ’big theorems’ of the minimal model program, at the same time it also
delivers some of the most powerful general positivity theorems in existence, like the results of Angehrn–Siu
and Kollár–Matsusaka. A large part of its strength comes from the fact that it provides a way to extend
global sections of adjoint line bundles from subvarieties.

56

A. KÜRONYA AND V. LOZOVANU

y

y=t

∆(π ∗ B)

O

A

(ε , 0)

C

t

F IGURE 2. The containment ∆(E,z) (π ∗ (B)) ⊆ △OAC
Illustrated in a simple setting, the basic idea goes as follows: let X be a smooth projective variety, Z ⊂ X
a subvariety, L an ample line bundle on X . It is natural to consider the restriction map
resXZ : H 0 (X , OX (KX + L)) −→H 0 (Z, OZ (KX + L)) .

One would like resXZ to be surjective, since that would imply that we can lift global sections of KX + L from
Z to X .
Since L is ample, Kodaira vanishing yields that resZX is surjective precisely if

H 1 X , OX (KX + L) ⊗IZ/X = 0 .

The upshot is that assuming that Z can be realized as the zero scheme of the multiplier idealJ(X ; D) of an
effective Q-divisor D, Nadel vanishing will often do the trick.
Theorem 3.4.1 (Nadel vanishing). Let X be a smooth projective variety, L an integral Cartier divisor, D an
effective Q-divisor such that L − D is big and nef. Then
H i (X , OX (KX + L) ⊗J(X ; D)) = 0 for all i > 1.

Corollary 3.4.2. Let X be a smooth projective variety, Z ⊂ X a subvariety, L an ample line bundle on X . If
there exists an effective Q-divisor D for which
(1) L − D is big and nef
(2) J(X ; D) = IZ/X
then the restriction map resXZ : H 0 (X , OX (KX + L)) → H 0 (Z, OZ (KX + L)) is surjective.
Remark 3.4.3. The difficulty lies in satisfying the conditions L − D ample andJ(X ; D) = IZ/X at the same
time: the more elbow room we need in the construction of D, the more positive it becomes, hence the less
likely it is that L − D is big and nef, and conversely.
Another type of question where construction of singular divisors appears as a very useful tool is to confirm vanishing results for the higher cohomology of vector bundles. This type of problem often occurs in
connection with syzygy bundles á la Lazarsfeld–Mukai; here the issue is to reduce vanishing for twisted
syzygy bundles to the a similar question for line bundles. As one would expect a correction term comes in,
which happens to be the ideal sheaf of certain partial diagonals on Cartesian self-products of X .

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

57

For now let X be a smooth projective variety, L a big and nef line bundle, Z ⊆ X a subvariety. We are
interested in constructing effective Q-divisors D with the properties that
(1) L − D is big and nef,
(2) J(X ; D) = IZ/X .
Example 3.4.4. (Points in the projective plane) As a first instance of the construction problem, let us look
at the case when X = P2 , Z = {P}, and L = dH an integral divisor with d a positive integer. Let x, y, z be
homogeneous coordinates on P2 , and assume without loss of generality that P = {x = y = 0}. Consider the
curve
def
C = Zeroes(x3 − y2 z) ,
then [Laz04b, Example 9.2.15] shows that
(
mP = (x, y) ⊆ OX if c = 65
J(X ; c ·C) =
OX
if 0 < c < 65 ,
hence J(X ; D) = mP for D = 56 C. As deg 65 C = 52 , the construction problem in our case can be definitely
solved for d > 3.
Question 3.4.5. In the situation of the above example, what is the infimum of positive rational numbers α
such that there exists an effective Q-divisor D with J(X ; D) = mP and D ≡ α H? What comes from the
curves xn − ym zn−m with n > m?
Remark 3.4.6. Note that it often suffices to construct a Q-divisor D such that
for some neighbourhood Z ⊆ U .

J(X ; D)|U = IZ/X |U

Remark 3.4.7. The excellent survey article [CKL11] provides proofs using the construction of singular
divisors to the non-vanishing, base-point free, and rationality theorems. The main extra ingredient is Kawamata’s subadjunction theorem.
3.5. Singular divisors via Newton–Okounkov bodies on arbitrary surfaces. Here we show how to use
infinitesimal Newton–Okounkov bodies to construct singular divisors. and as such, contains the technical
core of our proof of Theorem 3.3.2. More precisely, we will present a method that proves the existence
of an effective Q-divisor D from a given numerical equivalence class such that the multiplier ideal of D
coincides with the maximal ideal sheaf of a point, at least in an open neighborhood of our point of interest.
Naturally, the existence of such an object is conditional; in our case the condition will be in terms of the
relative position of convex subsets in the plane.
For the duration of this subsection let X be an arbitrary smooth projective surface, x ∈ X an arbitrary point,
B an ample Q-divisor on X . Let π : X ′ → X stand for the blowing up of X at x with exceptional divisor E.
Points on E will be denoted by variants of the letter z. Write
def 
Λ = (t, y) ∈ R2 | t > 2, y > 0, and t > 2y .

The promised result goes as follows.

Theorem 3.5.1. Let B be an ample Q-divisor on X . Then, if
(3.1.7)

interior of ∆(E,z) (π ∗ B)

\


Λ 6= ∅, ∀z ∈ E ,

58

A. KÜRONYA AND V. LOZOVANU

then there exists an effective Q-divisor D ≡ (1 − c)B for any 0 < c ≪ 1 such thatJ(X ; (1 − c)D) = Ix in a
neighborhood of the point x.
Proof. Let us fix a point z ∈ E, hence an infinitesimal flag (E, z). We will first work on the blowing up
X ′ of X , and show there for any 0 < c ≪ 1 condition (3.1.7) implies the existence of a Q-effective divisor
D′ ≡ (1 − c)π ∗ B withJ(X ′ , D′ )|U = OU (−2E) for some open neighborhood U of the exceptional divisor.
Note that (3.1.7) is an open condition, hence it is also satisfied for the divisor class π ∗ ((1− c)B) whenever
def
0 < c ≪ 1. In what follows, fix a rational number c > 0 such that the above property holds, and set B′ =
π ∗ ((1 − c)B) − 2E.
Condition (3.1.7) yields that ∆(E,z) (π ∗ B) contains an interior point (t, y) ∈ Λ with 2 6 t < µE (π ∗ B),
therefore π ∗ B − 2E is a big Q-divisor on X ′ . By [KL14, Remark 1.7] we know that
∆(E,z) (B′ ) = ∆(E,z) (π ∗ ((1 − c)B)) ∩ {(t, y) | t > 2} + 2e1 .

Write B′ = P + N for the Zariski decomposition of B′ ; we will look for the divisor D′ in the form
D′ = P′ + N + 2E ( ≡ π ∗ ((1 − c)B) ) ,

with P′ ≡ P an effective divisor3.
Since P is big and nef, [Laz04a, Theorem 2.3.9] shows that one can find an effective divisor N ′ and a
sequence of ample Q-divisors Ak with the property that
P = Ak + 1k N ′ for k ≫ 0.

Choose P′ ≡ P to be an effective Q-divisor such that Ak = P′ − 1k N is general and effective. Indeed, a very
general element in its linear series will do. This yields
1
1
J(X ′ , D′ ) = J(X ′, Ak + N ′ + N + 2E) = J(X ′, N ′ + N + 2E) = J(X ′ , N) ⊗ OX ′ (−2E) ,
k
k
for k ≫ 0. The second equality is an application of the Kollár–Bertini theorem [Laz04b, Example 9.2.29],
the third one comes from invariance under small perturbations (see [Laz04b, Example 9.2.30]) and [Laz04b,
Proposition 9.2.31].
Thus, it remains to check thatJ(X ′ , N) is trivial at any point z ∈ E. Since
∆(E,z) (B′ )

[LM09, Theorem 6.4] implies

\

{0} × [0, 1) 6= ∅, ∀z ∈ E ,

1 > α (0) = ordz (N|E ), ∀z ∈ E .
On the other hand, ordz (N|E) > ordz (N) yields
ordz (N) < 1, for all z ∈ E .

In the light of [Laz04b, Proposition 9.5.13] this implies thatJ(X ′ , N) is trivial at any z ∈ E, as needed.
Back on X , by Lemma 3.5.7 there exists an effective Q-divisor D ≡ (1 − c)B on X with D′ = π ∗ D. Hence
the birational transformation rule for muliplier ideals (see [Laz04b, Theorem 9.2.33]) we have the sequence
of equalities

J(X , D) = π∗ OX ′ (KX ′ /X ) ⊗J(X ′ , D′ ) = π∗ (J(X ′ , N)) ⊗Ix ,
where KX ′ /X = E. SinceJ(X ′ , N) is trivial at any z ∈ E, this means thatJ(X , D) = Ix in a neighborhood
of the point x ∈ X .

3Note that the above expression is in general not the Zariski decomposition of D′

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

59

Theorem 3.5.2. With notation as above, assume that B2 > 5. If
interior of ∆(E,z0 ) (π ∗ B)

(3.2.8)

for some point z0 ∈ E, then the Seshadri constant ε (B; x) 6

\


Λ = ∅,

√
5− 5
2 .

def

Proof. Set ε = ε (B; x) and observe that [KL14, Theorem D] yields the containement
△OAA′ ⊆ ∆(E,z0 ) (π ∗ B), where O = (0, 0), A = (ε , 0), and A′ = (ε , ε ) .
If ε > 2, then
interior ∆(E,z0 ) (π ∗ B)

\



Λ ⊇ interior △OAA′ ∩ Λ 6= ∅

contradicting condition (3.2.8). The case ε = 2 is equally impossible since that would imply via (3.2.8) that
∆(E,z0 ) (π ∗ B) lies to the left of the line t = 2; as it lies underneath the diagonal anyway, it would have volume
less than 2, contradicting (B2 ) > 5. Therefore we can safely assume ε < 2.
Now, condition (3.2.8) implies that the segment {2} × [0, 1) does not intersect ∆(E,z0 ) (π ∗ B). Since the
latter is convex, it must lie above some line ℓ that passes through the point (2, 1) and below the diagonal. Let
(δ , 0) be the point of intersection of ℓ and the t-axis. It follows that δ > ε , since we know that the inverted
simplex △OAA′ is contained in ∆(E,z0 ) (π ∗ B). So, our goal is now to find an upper bound on δ .
We can assume that both ε , δ > 1, since ε 6 1 already implies our statement. In this case we have 2−1 δ > 1
δ
δ
, δ −1
) in the first quadrant.
for the slope of the line ℓ, therefore the diagonal and ℓ intersect at the point ( δ −1
The triangle formed by ℓ, the diagonal, and the t-axis includes our Newton–Okounkov polygon,
therefore
√
5− 5
∗

its area is no smaller than the area of ∆(E,z0 ) (π B) > 5/2. Hence, we obtain ε (B; x) 6 δ 6 2 .
Exercise 3.5.3. In the situation of Theorem 3.5.2, give a lower bound for the Seshadri constant ε (B; x) if we
know that (B2 ) > d(> 5).
Remark 3.5.4. In his seminal work [Dem92] Demailly introduced Seshadri constants with the aim of controlling the asymptotic growth of separation of jets by an ample line bundle at the given point. Our Theorem 3.5.1 can be viewed as a more effective version of Demailly’s idea as explained in [Laz04a, Theorem 5.1.17] and[Laz04a, Proposition 5.1.19].
To see this note that ε (B; x) equals the largest inverted simplex ∆λ−1 embedded in ∆(E,z) (π ∗ B) for any
z ∈ E.
Coupled with Nadel vanishing we obtain the following Reider-tpye effective global generation result, in
the spirit of Demailly’s original train of thought.
Corollary 3.5.5.
Let X be a smooth projective surface, x ∈ X , L an ample line bundle on X with (L2 ) > 5.
√
If ε (L; x) > 5−2 5 , then x is not a base point of the adjoint linear series |KX + L|.
Remark 3.5.6. Note that conditions (3.1.7) and (3.2.8) are complementary whenever (L2 ) > 5.
Lemma 3.5.7. Let Y be a smooth projective variety, Z ⊆ X a smooth subvariety, π : Y ′ → Y the blowing-up
of Y along Z. Furthermore, let B a Cartier divisor on Y , D′ a Cartier divisor on Y ′ . If D′ ≡ π ∗ B, then there
exists a divisor D ≡ B on Y such that D′ = π ∗ D.
Exercise 3.5.8. Prove Lemma 3.5.7 with the help of the Negativity Lemma.

60

A. KÜRONYA AND V. LOZOVANU

3.6. Singular divisors at very general points. It is an important guiding principle that local positivity of a
line bundle is considerably easier to control at a general or a very general point. This observation is manifest
in the work of Ein–Küchle–Lazarsfeld [EKL95] (see also [EL93a]), where the authors give a lower bound
on Seshadri constants at very general points depending only on the dimension of the ambient space.
Later, Nakamaye [Nak05] elaborated some of the ideas of [EKL95], while translating them to the language of multiplicities. This thread was in turn picked up in [KL14], and further developed in the framework of infinitesimal Newton–Okounkov bodies of surfaces, as seen in Proposition 2.4.4. It is hence not
surprising that one can expect stronger-than-usual results on singular divisors at very general points.
Theorem 3.6.1. Let p be a positive integer, X a smooth projective surface, L an ample line bundle on X with
(L2 ) > 5(p + 2)2 . Let x ∈ X be a very general point, and assume that there is no irreducible curve C ⊆ X
smooth at x with 1 6 (L ·C) 6 p + 2.
Then, for every some (or, equivalently, every) point z ∈ E


(3.1.9)
length ∆(E,z) (π ∗ B) ∩ {2} × R > 1 ,
def

where as usual we write B =

1
p+2 L.

Corollary 3.6.2. Under the assumptions of Theorem 3.6.1, there always exists an effective Q-divisor D ≡
(1 − c)B for some 0 < c ≪ 1 such thatJ(X ; D) = IX,x in a neighborhood of the point x.

Proof. By Proposition 2.4.4 any infinitesimal Newton–Okounkov polygon sits under the diagonal in R2 .

Therefore (3.1.9) implies that condition (3.1.7) from Theorem 3.5.1 is satisfied, hence the claim.
Remark 3.6.3. As abelian surfaces are homogeneous, Theorem 3.6.1 holds for all points on them.
def

Before proceeding with the proof, we make some preparations. Let ε = ε (L; x), and write ε1 = ε (B; x) =
1
∗
p+2 ε . As Zariski decompositions of the divisors π B − tE along the line segment t ∈ [ε1 , 2) will play a
decisive role, we will fix notation for them as well.
By [KLM12, Proposition 2.1] there exist only finitely many curves Γ1 , . . . , Γr that occur in the negative
part of π ∗ B − tE for any t ∈ [ε1 , 2). Write εi for the value of t where Γi first appears. We can obviously
def

assume that ε1 6 ε2 6 . . . 6 εr , in addition we put εr+1 = 2. Denote also by mi = (Γi · E) = multx (Γi ) for
1 6 i 6 r, where Γi = π (Γi ). For any t ∈ [ε1 , 2) let π ∗ B − tE = Pt + Nπ ∗ (B)−tE be the Zariski decomposition
of the divisor.
Lemma 3.6.4. With notation as above, we have
r

Nπ ∗ B−tE =

∑ multΓ (kπ ∗ B − tEk)Γi

i=1

i

for all t ∈ [ε1 , 2).

Proof. It follows from the definition of asymptotic multiplicity and the existence and uniqueness of Zariski
decomposition that for an arbitrary big and nef R-divisor D and an irreducible curve C, the expression
multC kDk picks up the coefficient of C in the negative part of D.

Lemma 3.6.5. With notation as above, if x ∈ X is a very general point, then


i
i
def
length ∆(E,z) (π ∗ B) ∩ {t} × R = (Pt · E) 6 li (t) = (1 − ∑ m j )t + ∑ ε j m j ,
j=1

j=1

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

61

for all t ∈ [εi , εi+1 ] and all z ∈ E.
Remark 3.6.6. Lemma 3.6.5 is essentially a restatement of [Nak05, Lemma 1.3] in the context of Newton–
Okounkov bodies. Note that Nakamaye’s claim is strongly based on [EKL95, §2] (see also [Laz04a, Proposition 5.2.13]), providing a way of “smoothing divisors in affine families” using differential operators. This
observation will play an important role in the proof of Theorem 3.6.1 and consequently in that of Theorem 3.3.2.
Returning to the verification of Lemma 3.6.5, let Ai stand for the point of intersection of the lines t = εi
and li (here we identify the function li with its graph). Note that the function ℓ : [ε1 , 2] → R+ given by
def
ℓ(t) = li (t) on each interval [εi , εi+1 ] is continuous, and satisfies (εi , ℓ(εi )) = Ai . Let Ti be the polygon
spanned by the origin, the points A1 , . . . , Ai , and the intersection point Fi of the horizontal axis with the line
li .
Remark 3.6.7. Since the upper boundary of the polygon ∆x (B) is concave, we have
∆x (B) ⊆ Ti , for all 1 6 i 6 r .
An explicit computation using the definition will convince that the subsequent slopes of the functions li are
decreasing, therefore one has Ti ⊇ Ti+1 for all 1 6 i 6 r as well.
Proof of Lemma 3.6.5. It follows from [KL14, Remark 1.9] that


length ∆(E,z) (π ∗ B) ∩ {t} × R = (Pt · E), for all points z ∈ E .

The point x ∈ X was chosen to be very general, therefore one has multΓi (kπ ∗ (B) − tΓi k) > t − εi for all
1 6 i 6 r and all t > εi by Nakamaye’s Lemma [KL14, Lemma 4.1] (see also [Nak05, Lemma 1.3]). As a
consequence, we obtain via Lemma 3.6.4 that
(Pt · E) =

r
 
(π ∗ B − tE) − ∑ multΓi (kπ ∗ B − tEk)Γi · E
i=1

i

i

i

6 t − ∑ (t − ε j )m j = (1 − ∑ m j )t + ∑ ε j m j
j=1

j=1

j=1

for all εi 6 t < 2, as required.



Proof of Theorem 3.6.1. We will subdivide the proof into several cases depending on the size and nature of
def
the Seshadri constant ε = ε (L; x).
Case 1: ε (L; x) > 2(p + 2). Observe that [KL14, Theorem D] yields

length ∆(E,z) (π ∗ B) ∩ {2} × R > 1 ,
since ε1 = ε (B; x) =

1
p+2 ε

−1
> 2, and ∆(E,z) (π ∗ B) ⊇ ∆−1
ε (B;x) ⊇ ∆2 .

def

def

(L.F)
Case 2: ε (L; x) = mult
for some irreducible curve F ⊆ X with r = (L.F) > q = multx (F) > 2 (note that
x (F)
r > q follows from the main result of [EL93a]).
The point x ∈ X was chosen to be very general, therefore Proposition 2.4.4 implies ∆x (B) ⊆ △OMN,
r
r
r
, (p+2)q)
) and N = ( (p+2)(q−1)
, 0). Since the area of the first polygon is B2 /2 >
where O = (0, 0), M = ( (p+2)q

62

A. KÜRONYA AND V. LOZOVANU

y=t

t=2

y

∆(E,z0 ) (π ∗ B)
S
D
C
A
t

T

O

F IGURE 3. ∆(E,z0 ) (π ∗ B) and the triangles △STC and △ADC
5/2, we obtain the inequality
1
r2
·
> 5.
(p + 2)2 q(q − 1)

Remembering that q > 2, we arrive at the following lower bound on the Seshadri constant
s 
 r
5
r
1
> 5 1−
,
>
ε (B; x) =
(3.7.10)
(p + 2)q
q
2
Next, fix a point z0 ∈ E, and let S = (ε1 , ε1 ), T = (ε1 , 0), S′ = (2, 2) and T ′ = (2, 0). The triangle △OST is
the largest inverted standard simplex inside ∆(E,z0 ) (π ∗ B). Let
def

[AD] = ∆(E,z0 ) (π ∗ B) ∩ {2} × R ,
and aiming at a contradiction, suppose ||AD|| 6 1 (for a visual guide see Figure 3).
Note first that by (3.7.10), one has ε1 > 1 and thus ||ST || > 1. Together with the assumption ||AD|| 6 1,
this implies that the lines TA and SD intersect to the right of the vertical line t = 2, let us call the point
of intersection C. Denote by x = dist(C,t = 2). Since both line segments [TA] and [SD] are contained in
∆(E,z0 ) (π ∗ B), convexity yields the inclusion
def

△ADC ⊇ ∆(E,z0 ) (π ∗ B)t>2 = ∆(E,z0 ) (π ∗ B) ∩ {t > 2} × R .
An area comparison yields the string of inequalities
Area(△ADC) > Area(∆(E,z0 ) (π ∗ (B))t>2 = Area(∆(E,z0 ) (π ∗ (B)) − Area(∆(E,z0 ) (π ∗ (B))t62
>

volX (B)
5 4
1
− Area(△OS′ T ′ ) > − = .
2
2 2
2

By the similarity between △ADC and △T SC, we see that
||AD|| =

ε1 x
.
x + 2 − ε1

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

63

Along with the condition ||AD|| 6 1 this implies
x+2
> ε1 .
(3.7.11)
x+1
On the other hand, by the above we also have
Area(△ADC) =
which gives

1
ε1 x2
> ,
)
2(x + 2 − ε1
2

x+2
.
x2 + 1
Combining this inequality with (3.7.11), we arrive at
x+2
x+2
> 2
,
x+1
x +1

ε1 >

forcing x > 1. Since the function f (x) = x+2
is decreasing for x > 1, the inequality (3.7.11) implies that
p x+1
ε1 6 f (1) = 3/2, contradicting ε1 > 5/2 from (3.7.10). Thus ||AD|| > 1, as required.
Case 3: Here we assume that ε = ε (L; x) ∈ N with 1 6 ε 6 2p + 3, and that there exists an irreducible curve
Γ1 ⊆ X with multx (Γ1 ) = 1 and ε (L; x) = (L · Γ1 ) = ε . Denote by Γ1 the proper transform via π of Γ1 .
We point out that when 1 6 ε 6 p + 2, our assumptions reduces to the condition in the statement of our
theorem with Γ1 playing the role of C. Whence, in what follows we can assume that in addition p + 3 6 ε 6
2p + 3. Secondly, since multx (Γ1 ) = 1, (L · Γ1 ) = ε 6 2p + 3, and L2 > 5(p + 2)2 , the Hodge Index Theorem
yields (Γ21 ) 6 0.
Since the point x ∈ X is very general, Proposition 2.4.4 (2.b) shows that the slope of the linear function
t 7−→ (Pt .E) is non-positive. By (3.7.12), the only way this can happen is when m1 = 1 and (Γ21 ) = 0 (since
(Γ21 ) 6 0).
We consider two sub-cases.
Case 3(a): Γ1 is the only curve appearing in the negative part of the divisor π ∗ B − tE for any t ∈ [ε1 , 2).
Note first that by above we have that multx (Γ1 ) = 1 and thus Γ1 = π ∗ Γ1 − E. Since the curve Γ1 is the
only curve appearing in the negative part of π ∗ B − tE for any t ∈ [1, 2), we can apply the algorithm for
finding the negative part of the Zariski decomposition for each divisor π ∗ B − tE and deduce that

π ∗ B − tE = Pt + (t − ε1 )Γ1

is indeed the appropriate Zariski decomposition for any t ∈ [ε1 , 2). In particular, we obtain that

(3.7.12)

(Pt .E) = ε1 for all t ∈ [ε1 , 2).

Having positive self-intersection π ∗ B − tE is big for all t ∈ [ε1 , 2], therefore the Zariski decomposition
along this line segment is continuous by [BKS04, Proposition 1.16]. Accordingly, (3.7.12) yields

ε
> 1
length ∆(E,z) (π ∗ B) ∩ {2} × R = (P2 .E) = ε1 =
p+2

for we assumed that ε ∈ {p + 3, . . . , 2p + 3}.
Case: 3(b) Assume that the negative part of π ∗ B − tE contains other curve(s) beside Γ1 for some t ∈ [ε1 , 2).
Denote these other curves that appear in the negative part of the segment line π ∗ B − tE for t ∈ [ε , 2) by
Γ2 , . . . , Γr for some r > 2. Our main tool is going to be the generic infinitesimal Newton–Okounkov polygon

64

A. KÜRONYA AND V. LOZOVANU

∆x (B). An important property of ∆x (B) is that the vertical line segment ∆x (B) ∩ {t} × R starts on the t-axis
for any t > 0 (see [KL14, Theorem 3.1]).
Aiming at a contradiction, suppose that length(∆x (B) ∩ {2} × R) 6 1. Note first that this is equivalent to
having the point (2, 1) outside the interior of the polygon ∆x (B), as its lower boundary sits on the t-axis.
As x ∈ X was chosen to be a very general point, by Remark 3.6.7 we have ∆x (B) ⊆ T2 , where the latter
polygon denotes the convex hull of the vertices O, A1 , A2 , F2 , where O = (0, 0) and A1 = (ε1 , ε1 ). We will
focus on the slope of the line A2 F2 . If A2 = A1 then by Lemma 3.6.5, we know that
slope of A2 F2 6 slope of ℓ(t) = (1 − m1 − m2 )t + ε1 m1 + ε2 m2 .

In particular, the slope of A2 F2 is at most −1, since m1 = 1 and m2 > 1.
In the non-degenerate case A1 6= A2 , since we have m1 = 1, then

slope of A2 F2 6 slope of ℓ(t) = −m2t + ε1 + ε2 m2 6 −1

again. Note also that in this case, based on the proof of Case 3(a), we know for sure that the segment [A1 A2 ]
is actually an edge of the convex polygon ∆x (B).
Since the upper boundary of the polygon ∆x (B) is concave by [KLM12, Theorem B], then all the supporting lines of the edges on this boundary, besides [OA1 ] and [A1 A2 ], have slope at most −1. However, we
initially assumed that (2, 1) ∈
/ interior ∆x (B), thus convexity yields that the first edge of the polygon ∆x (B)
intersecting the region [2, ∞) × R will do so at a point on the line segment {2} × [0, 1]. Furthermore, this
edge and all the other edges of the upper boundary in the region [2, ∞) × R will have slope at most −1.
Now, set A = (2, 1),C = (3, 0) and D = (2, 0). Since the line AC has slope −1, then by what we said just
above, we have the following inclusions due to convexity reasons
∆x (B) ∩ [2, ∞) × R ⊆ △ADC .

Write R = (2, 2); since Area(∆x (B)) > 5/2, the above inclusion implies
5
1
1
> Area(∆x (B)) − Area(△ODR) > − 2 =
Area(△ADC) =
2
2
2
contradicting (2, 1) ∈
/ interior ∆x (B). In particular, length(∆x (B) ∩ {2} × R) > 1, and we are done.



3.7. Proof of Theorem 3.3.2. In this subsection we prove the direct implication of Theorem 3.3.2. As
opposed to the case of projective normality it is no longer clear whether finding an effective divisor D with
J(X ; D) = Io will suffice to verify (N p ). We show however, that with a bit more work one can in fact
control the multiplier ideal of the divisor found in Theorem 3.5.1 over the whole abelian surface X . Again,
π : X ′ → X denotes the blow-up of o with exceptional divisor E.
The main goal of this subsection is to prove the following theorem.
Theorem 3.7.1. Let X be an abelian surface and B an ample Q-divisor on X . Suppose that

(3.1.13)
length ∆(E,z0 ) (π ∗ (B)) ∩ {2} × R > 1 ,

for some point z0 ∈ E. Then there exists an effective Q-divisor D ≡ (1 − c)B for some 0 < c < 1 such that
J(X , D) = IX,o over the whole of X .

Proof of Theorem 3.3.2, (1) ⇒ (2). By Theorem 3.3.13 it suffices to find a divisor as produced by Theorem 3.7.1. Since X is abelian, it is enough to treat the case when the origin o behaves like a very general
point. By Theorem 3.6.1 the condition (3.1.13) is automatically satisfied whenever X does not contain an
elliptic curve C with (C2 ) = 0 and 1 6 (L ·C) 6 p + 2.

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

65

It remains to show that the exceptions in Theorem 3.6.1 correspond to the exceptions in the statement
in Theorem 3.3.2. For a curve C ⊆ X which is smooth at the point x and satisfies 1 6 (L ·C) 6 p + 2 one
has (C2 ) 6 0 by the Hodge index theorem since (L2 ) > 5(p + 2)2 . Since we are on an abelian surface, then
automatically we have that (C2 ) = 0 and by adjunction this indeed forces C to be an elliptic curve.

Proof of Theorem 3.7.1. To start with, [KL14, Proposition 3.1] gives the inclusion
∆(E,z) (π ∗ (B)) ∩ {2} × R ⊆ {2} × [0, 2], for any z ∈ E .
Hence, according to [KL14, Remark 1.9], condition (3.1.13) implies (3.1.7) in Theorem 3.5.1 for any z ∈ E.
By Theorem 3.5.1 we know how to find a divisor D ≡ B so thatJ(X , D) = IX,0 locally around a point.
It remains to show that this equality in fact holds over the whole of X .
Recall that D is the image of a divisor D′ on X ′ , where (revisiting the proof of Theorem 3.5.1)
i=r

D′ ≡ P + ∑ ai Ei′ + 2E ,
i=1

and π ∗ (B) − 2E = P + ∑ ai Ei′ is the appropriate Zariski decomposition.
Writing Ei for the image of Ei′ under π , the first step in the proof is to show the following claim:
Claim: Assume that o 6= y ∈ X such thatJ(X , D)y 6= OX,y . Then
i=r

i=r

(3.1.14)

∑ ai multo(Ei)

<

∑ ai multy (Ei ) .

i=1

i=1

Proof of Claim. First observe that by [Laz04b, Proposition 9.5.13], the conditionJ(X , D)y 6= OX,y implies
multy (D) > 1. Since the morphism π is an isomorphism around the point y, considering y as a point on X ′ ,
we actually have multy (D′ ) > 1. In the proof of Theorem 3.5.1 we were able to write P = Ak + 1k N, where
Ak is ample and N ′ is an effective Q-divisor for any k ≫ 0.
Thus, we chose D′ = P′ + ∑ ai Ei′ + 2E, where P′ = A + 1k N ′ , A ≡ Ak is a generic choice, and k ≫ 0. Since
Ak is ample, a generic choice of A does not pass through the point y, in particular multy (P′ ) → 0 as k → ∞.
Since multy (D′ ) > 1, this implies that
multy (∑ ai Ei ) =

∑ ai multy (Ei ) > 1 .

i

i

As a consequence, it suffices to check that

∑ ai multo (Ei)

< 1.

i

To this end recall that Ei′ = π ∗ Ei − multo (Ei )E, and therefore
2 = ((π ∗ B − 2E) · E) = (P · E) + ∑ ai (Ei′ · E) = (P · E) + ∑ ai multo (Ei ) .
i

Because (P · E) is equal to the length of the vertical segment ∆(E,z)
implies that ∑i ai multo (Ei ) < 1 as we wanted.
End of Proof of the Claim

i

(π ∗ B) ∩ {2} × R

for any z ∈ E, (3.1.13)

66

A. KÜRONYA AND V. LOZOVANU

We return to the proof of the main statement. We will argue by contradiction and suppose that there exists a
point y ∈ Y for whichJ(X ; D)x 6= OX,y . In other words, by the claim above, we have the inequality

∑ ai multo (Ei) < ∑ ai multy(Ei ) .
i

i

This yields the existence of a curve Ei with multo (Ei ) < multy (Ei ).
By our assumptions Ei′ is a negative curve on X ′ ; let Eiy denote the proper transform of Ei with respect to
the blow-up πy : Xy → X . Since multo (Ei ) < multy (Ei ), we obtain
(Eiy )2 = Ei2 − (multy (Ey ))2 < Ei2 − (multo (Ei ))2 = Ei′2 < 0 ,

in particular, we deduce that Eiy remains a negative curve on Xy , just as Ei′ on X ′ . However, Lemma 3.7.2
shows that Ei must then be a smooth elliptic curve passing through o and y. Therefore, multo Ei = multy Ei =
1, which contradicts the inequality above.

Lemma 3.7.2. Let X be an abelian surface, C ⊆ X a curve passing through two distinct points x1 , x2 ∈ X .
If the proper transforms of C for the respective blow-ups of X at the xi both become negative curves, then C
must be the smooth elliptic curve that is invariant under the translation maps Tx1 −x2 or Tx2 −x1 .
Proof. Denote by C1 and C2 the proper transforms of C with respect to the blow-up of X at x1 and x2 ,
respectively. Aiming at a contradiction suppose that Tx2 −x1 (C) 6= C. Since both proper transforms C1 and C2
are negative curves, one has
0 > (C12 ) = (C2 ) − (multx1 (C))2 and 0 > (C22 ) = (C2 ) − (multx2 (C))2 ,

or, equivalently (C2 ) < min{multx1 (C)2 , multx2 (C)2 }. On the other hand observe that

(C2 ) = (C · Tx2 −x1 (C)) > multx2 (C) · multx2 (Tx2 −x1 (C)) = multx2 (C) · multx1 (C) ,

for C is algebraically equivalent to its translate Tx2 −x1 (C). This is a contradiction, so we conclude that C is
invariant under both of the translation maps Tx1 −x2 or Tx2 −x1 , and is indeed an elliptic smooth curve.


GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

67

R EFERENCES
[AB11] Daniele Arcara and Aaron Bertram, Reider’s theorem and Thaddeus pairs revisited, Grassmannians, moduli spaces and
vector bundles, Clay Math. Proc., vol. 14, Amer. Math. Soc., Providence, RI, 2011, pp. 51–68. MR2807848
[AKL13] Dave Anderson, Alex Küronya, and Victor Lozovanu, Okounkov bodies of finitely generated divisors, International Mathematics Research Notices 132 (2013), no. 5, 1205–1221.
[Bas09] F. Bastianelli, Remarks on the nef cone on symmetric products of curves, Manuscripta Math. 130 (2009), no. 1, 113–120.
[Bau09] Thomas Bauer, A simple proof for the existence of Zariski decompositions on surfaces, J. Algebraic Geom. 18 (2009),
no. 4, 789–793.
[BFN10] Thomas Bauer, Michael Funke, and Sebastian Neumann, Counting Zariski chambers on del Pezzo surfaces, J. Algebra
324 (2010), no. 1, 92–101.
[BKS04] Thomas Bauer, Alex Küronya, and Tomasz Szemberg, Zariski chambers, volumes, and stable base loci, Journal für die
reine und angewandte Mathematik 576 (2004), 209–233.
[BS97a] Thomas Bauer and Tomasz Szemberg, Higher order embeddings of abelian varieties, Math.Z. 224 (1997), 449–455.
[BS97b]
, Primitive higher order embeddings of abelian surfaces, Trans. Amer. Math. Soc. 349 (1997), 1675–1683.
[BS08] Thomas Bauer and Christoph Schulz, Seshadri constants on the self-product of an elliptic curve, Journal of Algebra 320
(2008), 2981–3005.
[BBMT14] Arend Bayer, Aaron Bertram, Emanuele Macrì, and Yukinobu Toda, Bridgeland stability conditions of threefolds II:
An application to Fujita’s conjecture, J. Algebraic Geom. 23 (2014), no. 4, 693–710.
[BEL91] Aaron Bertam, Lawrence Ein, and Robert Lazarsfeld, Vanishing theorems, a theorem of Severi, and the equations defining
projective varieties, J. Amer. Math. Soc. 4 (1991), no. 3, 587–602.
[BL92] Christina Birkenhake and Herbert Lange, Complex Abelian Varieties, Grundlehren Math. Wiss., vol. 302, Springer-Verlag,
Berlin, 1992.
[Bou12] Sébastien Boucksom, Corps D’Okounkov, Séminaire Bourbaki 65 (2012), no. 1059, 1–38.
[BBP13] Sébastien Boucksom, Amaël Broustet, and Gianluca Pacienza, Uniruledness of stable base loci of adjoint linear systems
via Mori theory, Math. Z. 275 (2013), no. 1-2, 499–507.
[BCL14] Sébastien Boucksom, Salvatore Cacciola, and Angelo Felice Lopez, Augmented base loci and restricted volumes on
normal varieties, Math. Z. 278 (2014), no. 3-4, 979–985.
[BKMS15] Sébastien Boucksom, Alex Küronya, Catriona Maclean, and Tomasz Szemberg, Vanishing sequences and Okounkov
bodies, Math. Ann. 361 (2015), no. 3-4, 811–834.
[But94] David C. Butler, Normal generation of vector bundles over a curve, J. Differential Geom. 39 (1994), no. 1, 1–34.
MR1258911
[CFK+ 16] Ciro Ciliberto, Michal Farnik, Alex Küronya, Victor Lozovanu, Joaquim Roé, and Constantin Shramov, Newton–
Okounkov bodies sprouting on the valuative tree (2016). arXiv:1602.02074.
[CHPW15a] Sung Rak Choi, Yoonsuk Hyun, Jinhyung Park, and Joonyeong Won, Okounkov bodies associated to pseudoeffective
divisors (2015). arXiv:1508.03922.
[CHPW15b]
, Asymptotic base loci via Okounkov bodies (2015). arXiv:1507.00817v1.
[CHPW16]
, Okounkov bodies associated to pseudoeffective divisors II. (2016). arXiv:1608.00221.
[CKL11] Alessio Corti, Anne-Sophie Kaloghiros, and Vladimir Lazić, Introduction to the minimal model program and the existence of flips, Bull. Lond. Math. Soc. 43 (2011), no. 3, 415–418, DOI 10.1112/blms/bdq126. MR2820135
[dFKL07] Tommaso de Fernex, Alex Küronya, and Robert Lazarsfeld, Higher cohomology of divisors on a projective variety,
Math. Ann. 337 (2007), no. 2, 443–455.
[Dem92] Jean-Pierre Demailly, Singular Hermitian metrics on positive line bundles, Complex Algebraic Varieties (Bayreuth,
1990), 1992, pp. 87–104. Lect. Notes in Math., vol. 1507.
, A converse to the Andreotti-Grauert theorem, Ann. Fac. Sci. Toulouse Math. (6) 20 (2011), no. Fascicule Spécial,
[Dem11]
123–135 (English, with English and French summaries).
[Dem10]
, Holomorphic Morse inequalities and asymptotic cohomology groups: a tribute to Bernhard Riemann, Milan J.
Math. 78 (2010), no. 1, 265–277 (English, with English and French summaries).
[DKMS16] M. Dumnicki, A. Küronya, C. Maclean, and T. Szemberg, Rationality of Seshadri constants and the Segre-HarbourneGimigliano-Hirschowitz conjecture, Adv. Math. 303 (2016), 1162–1170, DOI 10.1016/j.aim.2016.05.025.
[EKL95] Lawrence Ein, Oliver Küchle, and Robert Lazarsfeld, Local positivity of ample line bundles, J. Differential Geom. 42
(1995), no. 2, 193–219.

68

A. KÜRONYA AND V. LOZOVANU

[EL93a] Lawrence Ein and Robert Lazarsfeld, Seshadri constants on smooth surfaces, Astérisque 218 (1993), 177–186. Journées
de Géométrie Algébrique d’Orsay (Orsay, 1992).
, Syzygies and Koszul cohomology of smooth projective varieties of arbitrary dimension, Invent. Math. 111 (1993),
[EL93b]
no. 1, 51–67.
[EL14]
, The gonality conjecture on syzygies of algebraic curves of large degree (2014). arXiv:1407.4445.
[ELM+ 06] Lawrence Ein, Robert Lazarsfeld, Mircea Mustaţă, Michael Nakamaye, and Mihnea Popa, Asymptotic invariants of
base loci, Ann. Inst. Fourier (Grenoble) 56 (2006), no. 6, 1701–1734 (English, with English and French summaries).
, Restricted volumes and base loci of linear series, Amer. J. Math. 131 (2009), no. 3, 607–651.
[ELM+ 09]
[Eis05] David Eisenbud, The geometry of syzygies, Graduate Texts in Mathematics, vol. 229, Springer-Verlag, New York, 2005. A
second course in commutative algebra and algebraic geometry.
[EGHP05] David Eisenbud, Mark Green, Klaus Hulek, and Sorin Popescu, Restricting linear syzygies: algebra and geometry,
Compositio Math. 141 (2005), 1460–1478.
[FSSTG16] Łucja Farnik, Tomasz Szemberg, Justyna Szpond, and Halszka Tutaj-Gasińska, Restrictions on Seshadri constants on
surfaces (2016). arXiv:1602.08984.
[FL17a] Mihai Fulger and Brian Lehmann, Zariski decompositions of numerical cycle classes, J. Algebraic Geom. 26 (2017), no. 1,
43–106.
[FL17b]
, Positive cones of dual cycle classes, Algebr. Geom. 4 (2017), no. 1, 1–28.
[Ful98] William Fulton, Intersection theory, 2nd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of
Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in
Mathematics], vol. 2, Springer-Verlag, Berlin, 1998.
[GP99] Francisco Gallego and Bangere Purnaprajna, Syzygies of projective surfaces: an overview, J. Ramanujan Math. Soc. 14
(1999), no. 1, 65–93.
[GP00] F. J. Gallego and B. P. Purnaprajna, Vanishing theorems and syzygies for K3 surfaces and Fano varieties, J. Pure Appl.
Algebra 146 (2000), no. 3, 251–265.
[MG84] Mark Green, Koszul cohomology and the geometry of projective varieties, J. Differential Geom. 19 (1984), no. 1, 125–171.
[Gre84] Mark Green, Koszul cohomology and the geometry of projective varieties II., J. Diff. Geom. 20 (1984), 279–289.
[GL85] Mark Green and Robert Lazarsfeld, On the projective normality of complete linear series on an algebraic curve, Invent.
Math. 83 (1985), no. 1, 73–90.
[GLP83] Laurent Gruson, Robert Lazarsfeld, and Christian Peskine, On a theorem of Castelnuovo, and the equations defining
space curves, Invent. Math. 72 (1983), 491–506.
[Har77] Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, vol. 52, Springer-Verlag, New York, 1977.
[HK00] Yi Hu and Sean Keel, Mori dream spaces and GIT, Michigan Math. J. 48 (2000), 331–348, DOI 10.1307/mmj/1030132722.
Dedicated to William Fulton on the occasion of his 60th birthday. MR1786494
[HT11] Jun-Muk Hwang and Wing-Keung To, Buser-Sarnak invariant and projective normality of abelian varieties, Complex and
differential geometry, Springer Proc. Math., vol. 8, Springer, Heidelberg, 2011, pp. 157–170.
[Ina97] S.P. Inamdar, On syzygies of projective varieties, Pacific J. Math. 177 (1997), no. 1, 71-76.
[Jow10] Shin-Yao Jow, Okounkov bodies and restricted volumes along very general curves, Adv. Math. 223 (2010), no. 4, 1356–
1371.
[KKL17] Anne-Sophie Kaloghiros, Alex Küronya, and Vladimir Lazić, Finite generation and geography of models (2017).
arXiv:1202.1164v2, to appear in "Minimal models and extremal rays", Advanced Studies in Pure Mathematics, Mathematical Society of Japan, Tokyo.
[KK12] Kiumars Kaveh and Askold Khovanskii, Newton–Okounkov bodies, semigroups of integral points, graded algebras and
intersection theory, Annals of Mathematics 176 (2012), 925–978.
[KMM87] Yujiro Kawamata, Katsumi Matsuda, and Kenji Matsuki, Introduction to the minimal model problem, Algebraic geometry, Sendai, 1985, Adv. Stud. Pure Math., vol. 10, North-Holland, Amsterdam, 1987, pp. 283–360.
[Kem89] George Kempf, Projective coordinate rings of abelian varieties, Algebraic Analysis, Geometry, and Number Theory,
1989, pp. 225–236.
[Kol97] János Kollár, Singularities of pairs, Algebraic Geometry, Santa Cruz 1995, 1997, pp. 221–287.
[KSS09] Andreas Leopold Knutsen, Wioletta Syzdek, and Tomasz Szemberg, Moving curves and Seshadri constants, Math. Res.
Lett. 16 (2009), no. 4, 711–719.
[Kür06] Alex Küronya, Asymptotic cohomological functions on projective varieties, Amer. J. Math. 128 (2006), no. 6, 1475–1519.

GEOMETRIC ASPECTS OF NEWTON–OKOUNKOV BODIES

[Kür13]

69

, Positivity on subvarieties and vanishing of higher cohomology, Ann. Inst. Fourier (Grenoble) 63 (2013), no. 5,
1717–1737 (English, with English and French summaries).
[KKM] Alex Küronya, Sarah Kitchen, and Yusuf Mustopa. in preparation.
[KL14] Alex Küronya and Victor Lozovanu, Local positivity of linear series on surfaces. (2014). arXiv:1411.6205.
[KL15a] Alex Küronya and Victor Lozovanu, Positivity of line bundles and Newton–Okounkov bodies (2015). arXiv:1506.06525.
, A Reider-type theorem on higher syzygies on abelian surfaces (2015). arXiv:1509:08621.
[KL15b]
[KL17]
, Infinitesimal Newton–Okounkov bodies and jet separation (2017). arXiv:1507.04339, to appear in the Duke Math.
J.
[KLM12] Alex Küronya, Victor Lozovanu, and Catriona Maclean, Convex bodies appearing as Okounkov bodies of divisors, Adv.
Math. 229 (2012), no. 5, 2622–2639.
[KMS12] Alex Küronya, Catriona Maclean, and Tomasz Szemberg, Functions on Okounkov bodies coming from geometric valuations (with an appendix by SÃl’bastien Boucksom) (2012). arXiv:1210.3523.
[Laz86] Robert Lazarsfeld, Brill-Noether-Petri without degenerations, Journal of Differential Geometry 23 (1986), 299–307.
[Laz89]
, A sampling of vector bundle techniques in the study of linear series, Lectures on Riemann surfaces (Trieste,
1987), World Sci. Publ., Teaneck, NJ, 1989, pp. 500–559. MR1082360 (92f:14006)
, Lectures on linear series, Complex algebraic geometry (Park City, UT, 1993), IAS/Park City Math. Ser., vol. 3,
[Laz97]
Amer. Math. Soc., Providence, RI, 1997, pp. 161–219. With the assistance of Guillermo Fernández del Busto.
[LM09] Robert Lazarsfeld and Mircea Mustaţă, Convex bodies associated to linear series, Ann. Sci. Éc. Norm. Supér. (4) 42
(2009), no. 5, 783–835.
[LPP10] Robert Lazarsfeld, Giuseppe Pareschi, and Mihnea Popa, Local positivity, multiplier ideals, and syzygies of abelian varieties, Algebra and Number Theory (2010).
[Les14] John Lesieutre, The diminished base locus is not always closed, Compos. Math. 150 (2014), no. 10, 1729–1741.
[Lop15] Angelo Felice Lopez, Augmented base loci and restricted volumes on normal varieties, II: The case of real divisors, Math.
Proc. Cambridge Philos. Soc. 159 (2015), no. 3, 517–527.
[ŁŚS14] Patrycja Łuszcz-Świdecka and David Schmitz, Minkowski decomposition of Okounkov bodies on surfaces, J. Algebra 414
(2014), 159–174.
[Mor92] Atsushi Moriwaki, A criterion of openness of a family of nef line bundles, Manuscripta Math. 75 (1992), no. 3, 327–331.
[Mum70] David Mumford, Varieties defined by quadratic equations (1970), 29–100. Questions on Algebraic Varieties (C.I.M.E.,
III Ciclo, Varenna, 1969), Edizioni Cremonese, Rome, 1970.
[Mum79] D. Mumford, An algebraic surface with K ample, (K 2 ) = 9, pg = q = 0, Amer. J. Math. 101 (1979), no. 1, 233–244.
[Nak96] Michael Nakamaye, Seshadri constants on abelian varieties, Amer. J. Math. 118 (1996), 621–635.
[Nak05]
, Seshadri constants at very general points, Trans. Amer. Math. Soc. 357 (2005), no. 8, 3285–3297 (electronic).
[Laz04a] Robert Lazarsfeld, Positivity in algebraic geometry. I, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge.,
vol. 48, Springer-Verlag, Berlin, 2004.
[Laz04b]
, Positivity in algebraic geometry. II, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., vol. 49,
Springer-Verlag, Berlin, 2004.
[Oko96] Andrei Okounkov, Brunn-Minkowski inequality for multiplicities, Invent. Math. 125 (1996), no. 3, 405–411.
, Why would multiplicities be log-concave?, The orbit method in geometry and physics (Marseille, 2000), Progr.
[Oko03]
Math., vol. 213, Birkhäuser Boston, Boston, MA, 2003, pp. 329–347.
[Par00] Guiseppe Pareschi, Syzygies of abelian varieties, Journal of the American Mathematical Society 13 (2000), no. 3, 651–664.
[PP04] Guiseppe Pareschi and Mihnea Popa, Regularity on abelian varieties II: basic results on linear series and defining equations, Journal of Algebraic Geometry 13 (2004), 167–193.
[Rei88] Igor Reider, Vector bundles of rank 2 and linear systems on algebraic surfaces, Ann. of Math. (2) 127 (1988), no. 2,
309–316, DOI 10.2307/2007055.
[Roé16] Joaquim Roé, Local positivity in terms of Newton-Okounkov bodies, Adv. Math. 301 (2016), 486–498.
[Sze12] Tomasz Szemberg, Bounds on Seshadri constants on surfaces with Picard number 1, Comm. Algebra 40 (2012), no. 7,
2477–2484.
[Voi02] Claire Voisin, Green’s syzygy conjecture for curves of even genus lying on a K3 surface, Journal of the Eur. Math. Soc. 4
(2002), 363–404.
[Xu95] Geng Xu, Ample line bundles on smooth surfaces, J. Reine Angew. Math. 469 (1995), 199–209.
[YZ15] Fei Ye and Zhixian Zhu, On Fujita’s freeness conjecture in dimension 5 (2015). arXiv:1511.09154.

70

A. KÜRONYA AND V. LOZOVANU

[Zar62] Oscar Zariski, The theorem of Riemann-Roch for high multiples of an effective divisor on an algebraic surface, Ann. of
Math. (2) 76 (1962), 560–615, DOI 10.2307/1970376. MR0141668
A LEX K ÜRONYA , J OHANN -W OLFGANG -G OETHE U NIVERSITÄT F RANKFURT, I NSTITUT
M AYER -S TRASSE 6-10., D-60325 F RANKFURT AM M AIN , G ERMANY

FÜR

M ATHEMATIK , ROBERT-

B UDAPEST U NIVERSITY OF T ECHNOLOGY AND E CONOMICS , D EPARTMENT OF A LGEBRA , E GRY J ÓZSEF U . 1., H-1111
B UDAPEST, H UNGARY
E-mail address: kuronya@math.uni-frankfurt.de
V ICTOR L OZOVANU , L EIBNIZ -U NIVERSITÄT H ANNOVER , I NSTITUT FÜR A LGEBRAISCHE G EOMETRIE
E-mail address: victor.lozovanu@gmail.com

