arXiv:1506.04726v5 [math.AG] 14 Sep 2017

POSITIVITY OF DIVISORS ON BLOWN-UP PROJECTIVE
SPACES, I
OLIVIA DUMITRESCU AND ELISA POSTINGHEL
Abstract. We study l-very ample, ample and semi-ample divisors on the
blown-up projective space Pn in a collection of points in general position. We
establish Fujita’s conjectures for all ample divisors with the number of points
bounded above by 2n and for an infinite family of ample divisors with an
arbitrary number of points.

Introduction
Ample line bundles are fundamental objects in Algebraic Geometry. From the
geometric perspective, an ample line bundle is one such that some positive multiple
of the underlying divisor moves in a linear system that is large enough to give a
projective embedding. In numerical terms a divisor is ample if and only if it lies
in the interior of the real cone generated by nef divisors (Kleiman). Equivalently,
a divisor is ample if it intersects positively every closed integral subscheme (NakaiMoishezon). In cohomological terms, an ample line bundle is one such that a twist
of any coherent sheaf by some power is generated by global sections (Serre). Over
the complex numbers, ampleness of line bundles is also equivalent to the existence
of a metric with positive curvature (Kodaira).
The very ampleness of divisors on blow-ups of projective spaces and other varieties was studied by several authors, e.g. Beltrametti and Sommese [7], Ballico and
Coppens [3], Coppens [13, 14], Harbourne [20]. The notion of l-very ampleness of
line bundles was introduced by Beltrametti, Francia and Sommese [5] and l-very
ample line bundles on del Pezzo surfaces were classified by Di Rocco [16].
This paper studies ampleness, l-very ampleness and further positivity questions
of divisors on blow-ups of projective spaces of higher dimension in an arbitrary
number of points in general position.
The main tools used are the vanishing theorems for divisors on blown-up projective spaces in points in general position that were proved in [17]. Generalization
of these results to the case of points in arbitrary position are studied in [4].
Vanishing theorems for divisors on blown-up spaces were firstly used in order to
give a solution to the corresponding interpolation problem, namely to compute the
dimension of the linear system of divisors on blown-up projective spaces in points in
general position. The case of linear systems whose base locus consisted only of the
union of the linear cycles spanned by the points with multiplicity was studied in [8]
where, in particular, a formula for the dimension of all linear systems with s ≤ n+2
2010 Mathematics Subject Classification. Primary: 14C20 Secondary: 14E25, 14C17, 14J70.
Key words and phrases. k-very ample line bundles, nef divisors, Fujita’s conjecture.
The first author is a member of the Simion Stoilow Institute of Mathematics of the Romanian
Academy.
1

2

OLIVIA DUMITRESCU AND ELISA POSTINGHEL

points was given. The fact that the strict transform of these linear systems via a
resolution of the base locus is globally generated is proved in a forthcoming paper
[18]. Moreover, in [10] a conjectural formula for the dimension of all linear systems
with n+ 3 points, that takes into account the contributions given by the presence in
the base locus of the (unique) rational normal curve of degree n through the n + 3
points and the joins of its secants with the linear subspaces spanned by the points,
is given. In [9] linear systems in P3 that contain the unique quadric through nine
points in their fixed locus are studied and, moreover, Nagata-type results are given
for planar linear systems.
In this paper we employ the vanishing theorems to prove a a number of positivity
properties. A first application of the vanishing theorems is the description of l-very
ample divisors, in particular globally generated divisors and very ample divisors
contained in Theorem 2.2.
Moreover we establish Fujita’s conjectures for Pn blown-up in s points when
s ≤ 2n, Proposition 3.7, and for an infinite family of divisors for arbitrary s, with
a bound on the coefficients, Proposition 3.8.
This paper is organized as follows. In Section 1 we introduce the general construction, notation and some preliminary facts. Section 2 contains one of the main
results of this article, Theorem 2.2, that concerns l-very ampleness of line bundles
on blown-up projective spaces in an arbitrary number of points in general position.
In Section 3 we characterize other positivity properties of divisors on blown-up
projective spaces at points such as nefness, ampleness, bigness, and we establish
Fujita’s conjecture.
Acknowledgments. The authors would like to thank the Research Center FBKCIRM Trento for the hospitality and financial support during their one month
“Research in Pairs”, Winter 2015. We would also like to express our gratitude to
Edoardo Ballico for several useful discussions.
1. Preliminary results and conjectures
Let K be an algebraically closed field of characteristic zero. Let S = {p1 , . . . , ps }
be a collection of s distinct points in PnK and let S be the set of indices parametrizing
S, with |S| = s.
Let
(1.1)

L := Ln,d (m1 , . . . , ms )

denote the linear system of degree-d hypersurfaces of Pn with multiplicity at least
mi at pi , for i = 1, . . . , s.
1.1. The blow-up of Pn . Assume S consists of points in general position. We
denote by Xs the blow-up of Pn in the points of S and by Ei the exceptional
divisor of pi , for all i. The Picard group of Xs is spanned by the class of a general
hyperplane, H, and the classes of the exceptional divisors Ei , i = 1, . . . , s.
Notation 1.1. Fix positive integers d, m1 , . . . , ms and define the following divisor
on Xs :
(1.2)

dH −

s
X
i=1

mi Ei ∈ Pic (Xs ) .

POSITIVITY OF DIVISORS ON BLOWN-UP PROJECTIVE SPACES, I

3

Ps
In this paper we denote by D a general divisor in |dH − i=1 mi Ei |. Notice that
the global sections of D are in bijection with the elements of the linear system L
defined in (1.1).
Remark 1.2. It is proved in [12, Proposition 2.3] and [11, Lemma 4.2] that for any
divisor D of the form (1.2), the general member of |D| has multiplicity equal to mi
at the point pi . It is important to mention here that even if it is often omitted in
the framework of classical interpolation problems in Pn , the generality hypothesis of
the divisor D is always assumed.
For any effective divisor on Xs denote by s(d) := sD (d) the number of points in
S of which the multiplicity equals d; this number depending on L or, equivalently,
D. We we use the following integer, that was introduced in [8, Theorem 5.3]:
(1.3)

b = b(D) := min{n − s(d), s − n − 2}.

Theorem 1.3 ([8, Theorem 5.3], [17, Theorem 5.12]). Assume that S ⊂ Pn is a
set of points in general position. Let D be as in (1.2). Assume that
0 ≤ mi , ∀i ∈ {1, . . . , s},
(1.4)

mi + mj ≤ d + 1, ∀i, j ∈ {1, . . . , s}, i 6= j, (if s ≥ 2),

s
 n if s ≤ n + 1
X
1 if s = n + 2
mi ≤ nd +

i=1
b
if s ≥ n + 3

Then h1 (Xs , D) = 0.

1.2. Base locus and effectivity of divisors on the blow-up of Pn in points.
We adopt the same notation as in Subsection 1.1. For any integer 0 ≤ r ≤ n − 1
and for any multi-index of cardinality r + 1,
I := {i1 , . . . , ir+1 } ⊆ {1, . . . , s},
we define the integer kI to be the multiplicity of containment of the strict transform
in Xs of the linear cycle spanned by the points parametrized by I, LI ⊂ Pn , in the
base locus of D. Notice that under the generality assumption we have LI ∼
= Pr .
Lemma 1.4 ([17, Proposition 4.2]). For any effective divisor D as in (1.2), the
multiplicity of containment in Bs(|D|) of the strict transform in Xs of the linear
subspace LI , with 0 ≤ r ≤ n − 1, is the integer
(1.5)

kI = kI (D) := max{0, mi1 + · · · + mir+1 − rd}.
2. l-very ample divisors on Xs

Definition 2.1 ([5]). Let X be a complex projective smooth variety. For an integer l ≥ 0, a line bundle OX (D) on X is said to be l-very ample, if for any
0-dimensional subscheme Z ⊂ X of weight h0 (Z, OZ ) = l + 1, the restriction map
H 0 (X, OX (D)) → H 0 (Z, OX (D)|Z ) is surjective.
We will now recall some of the results obtained in the study of positivity of blownup surfaces and higher dimensional projective spaces. Di Rocco [16] classified l-very
ample line bundles on del Pezzo surfaces, namely for P2 blown-up at s ≤ 8 points
in general position. For general surfaces, very ample divisors on rational surfaces
were considered by Harbourne [20]. De Volder and Laface [15] classified l-very

4

OLIVIA DUMITRESCU AND ELISA POSTINGHEL

ample divisors, for l = 0, 1, on the blow-up of P3 at s points lying on a certain
quartic curve. Ampleness and very ampleness properties of divisors on blow-ups at
points of higher dimensional projective spaces in the case of points of multiplicity
one were studied by Angelini [1], Ballico [2] and Coppens [14].
Positivity properties for blown-up Pn in general points were considered by Castravet and Laface. In particular, for small number of points in general position,
s ≤ 2n, the semi-ample and nef cones, that we describe in this paper in Corollary
3.2, were obtained via a different technique (private communication).
We can describe l-very ample line bundles over Xs , the blown-up projective space
at s points in general position, whose underlying divisor is of the form (1.2)
s
X
mi Ei ,
D = dH −
i=1

as follows.
Take l ≥ 0. For any s ≥ n + 3 we introduce the following integer:
(2.1)
bl :=



min{n − 1, s − n − 2} − l − 1
min{n, s − n − 2} − l − 1

if m1 = d − l − 1 and mi = 1, i ≥ 2
elsewise,

while for s ≤ n + 2 define bl := −l − 1
Theorem 2.2 (l-very ample line bundles). Assume that S ⊂ Pn is a collection
of points in general position. Let l be a non-negative integer. Assume that either
s ≤ 2n or s ≥ 2n + 1 and d large enough, namely
s
X
mi − nd ≤ bl ,
(2.2)
i=1

where bl is defined as in (2.1). Then a divisor D of the form (1.2) is l-very ample
if and only if
l ≤ mi , ∀i ∈ {1, . . . , s},
(2.3)
l ≤ d − mi − mj , ∀i, j ∈ {1, . . . , s}, i 6= j.

Remark 2.3. When l = 0 (l = 1), l-very ampleness corresponds to global generation, or spannedness (resp. very ampleness).
Corollary 2.4 (Globally generated line bundles). In the same notation of Theorem
2.2, assume that either s ≤ 2n or s ≥ 2n + 1 and
s
X
mi − nd ≤ b0 .
i=1

Then D is globally generated if and only if
0 ≤ mi , ∀i ∈ {1, . . . , s},
(2.4)
0 ≤ d − mi − mj , ∀i, j ∈ {1, . . . , s}, i 6= j.

Corollary 2.5 (Very ample line bundles). In the same notation of Theorem 2.2,
assume that either s ≤ 2n or s ≥ 2n + 1 and
s
X
mi − nd ≤ b1 .
i=1

POSITIVITY OF DIVISORS ON BLOWN-UP PROJECTIVE SPACES, I

5

Then D is very ample if and only if
(2.5)

1 ≤ mi , ∀i ∈ {1, . . . , s},
1 ≤ d − mi − mj , ∀i, j ∈ {1, . . . , s}, i 6= j.

We present now two examples proving that the bound (2.2) of Theorem 2.2 is
sharp.
Example 2.6. Consider the divisor in P3
D := 2H − E1 − . . . − E8 .
In this case n = 3, d = 2, s = 8, l = 0 and is easy to check that D satisfies
equation (2.3). However, since the bound bl = 1 the divisor D fails to satisfy
inequality (2.2) so hypothesis of Theorem 2.2 does not apply to D. In fact, divisor
D has a curve of degree 4 as base locus so it is not globally generated.
Example 2.7. Let us consider the anticanonical divisor of the blown-up P2 in eight
points in general position
D := 3H − E1 − . . . − E8 .
In this case n = 2, s = 8, d = 3 and l = 0 it satisfies equation (2.3) but it fails
(2.2) since bl = 1. Sections of D correspond to planar cubics passing through eight
simple points. It is well-known that all such cubics meet at a ninth point, therefore
D is not a globally generated divisor. However, D is nef.
2.1. Some technical lemmas. In this section we prove a series of technical lemmas that will be useful in the proofs of the main theorem, Theorem 2.2, that will
be given in Section 2.2. These will also justify the integer bl appearing in (2.1) and
explain why we cannot obtain a better bound than (2.1).
Lemma 2.8. Let D be the divisor defined in (1.2) and assume that (2.3) holds.
Then sD (d) = 0 unless l = 0, s = 1 and m1 = d, in which case sD (d) = 1.
Proof. Assume sD (d) 6= 0; in particular m1 = d. Equations (2.3) imply d ≥
m1 + mi + l = d + mi + l, that gives mi = 0 for all i ≥ 1 and l = 0. In this case
D = dH − dE1 and sD (d) = 1.

Let F be the divisor obtaining by subtracting a sum of l + 1 exceptional divisors
Ei , with repetitions allowed, from D, namely
(2.6)

F := D −

s
X
i=1

where the ǫi ’s are positive integers.

ǫi Ei ,

ǫ :=

s
X

ǫi = l + 1,

i=1

Lemma 2.9. Let D and F be divisors defined respectively as in (1.2) and (2.6)
and assume that D satisfies (2.2) and (2.3), then F satisfies (1.4).
Proof. We first proof the following claim: sF (d) = 0 unless m2 = . . . = ms = 1,
m1 = d − l − 1 and ǫ = ǫ1 = l + 1, in which case sF (d) = 1.
In order to prove the claim, assume first that ǫi ≤ l for all i (in particular l ≥ 1).
Then (2.3) implies mi ≥ 1 and d − mi ≥ mj + l for every i, j. Therefore sF (d) =
0. Otherwise, after permuting the indices if necessary, assume that ǫ1 = l + 1.
Then (2.3) gives d − (m1 + l + 1) ≥ mi − 1 ≥ 0. Notice that sF (d) = 0, unless

6

OLIVIA DUMITRESCU AND ELISA POSTINGHEL

m1 + l + 1 = d. In the latter case we have mi = 1, for all i ≥ 2, therefore we obtain
D = dH − (d − l − 1)E1 − E2 − . . . − Es and F = dH − dE1 − E2 − . . . − Es .
Finally, using the claim we compute the integer b(F ) defined in (1.3) for the
divisor F : we obtain b(F ) = min{n, s − n − 2}, unless divisor D has m1 = d − l − 1
and m2 = 1 and in this case it is b(F ) = min{n − 1, s − n − 2}. It is now a
straightforward computation to prove that the statement holds.

Let us now introduce the following divisors Gi , i = 0, 1, where s̄i = min{s, n−i},
by subtracting l+1 times from D the strict transform on the blow-up of a hyperplane
of Pn containing p1 , . . . , ps̄ :
(2.7)

Gj := (d − l − 1)H −

s̄j
X

(mi − l − 1)Ei −

s
X

mi Ei .

i=s̄j +1

i=1

Lemma 2.10. Let D and Gj be divisors defined respectively as in (1.2) and (2.7)
and assume that D satisfies (2.2) and (2.3).Then Gj satisfies (1.4), for j = 0, 1.
Proof. If sD (d) > 0, then by Lemma 2.8 we have that D = d(H − E1 ). Therefore
s̄0 = s̄1 = s = 1, Gj = (d − l − 1)(H − Ei ), sGj (d − l − 1) = 1 and Gj obviously
satisfies (1.4), for j = 0, 1. Therefore we can assume that sD (d) = 0.
If mi < d − l − 1 for all i’s, then obviously sGj (d − l − 1) = 0. Let us write
Gj = d′ H −

d
X

m′i Ei := (d − l − 1)H −

s̄j
X

(mi − l − 1)Ei −

mi Ei .

i=s̄j +1

i=1

i=1

s
X

First of all take j = 0. It is an easy computation to verify that G0 satisfies (1.4).
Indeed, if s̄ = s < n we have
s̄
X

m′i

′

− nd =

s̄
X

(mi − l − 1) − n(d − l − 1) ≤ 0,

i=1

i=1

because mi ≤ d. Otherwise, if s̄ = n ≤ s, we compute
s
X

m′i − nd′ =

s̄
X

(mi − l − 1) +

i=1

i=1

s
X

mi − n(d − l − 1) =

s
X

mi − nd.

i=1

i=s̄+1

The above number is bounded above by 0 whenever s ≤ 2n, and by min{n, s − n −
2} − l − 1 whenever s ≥ 2n + 1, by the hypotheses. Moreover, in all cases one has
m′i + m′j − d′ ≤ 1, for all i 6= j.
Now, take j = 1. We verify that G1 satisfies (1.4) with a similar computation.
Indeed, if s̄ = s < n − 1 then it is the same computation as before. While if
s̄ = n − 1 ≤ s we have
s
X
i=1

m′i − nd′ =

s̄
X
i=1

(mi − l − 1) +

s
X

i=s̄+1

mi − n(d − l − 1) =

s
X

mi − nd + l + 1.

i=1

The number on the right hand side of the above expression is bounded above by 0
is s ≤ 2n and by and by min{n, s − n − 2} − l − 1 if s ≥ 2n + 1.
Finally, assume that mi = d − l − 1 for some i and assume, without loss of
generality, that i = 1. In this case we have mi = 1 for all i > 0, see the proof of
Lemma 2.9, and sGj (d − l − 1) = 1. In is easy to verify that Gj satisfies (1.4). 

POSITIVITY OF DIVISORS ON BLOWN-UP PROJECTIVE SPACES, I

7

2.2. Proof of Theorem 2.2. In order to give a proof of Theorem 2.2, we first give
the following vanishing theorem, that has its own intrinsic interest.
Let I{ql+1 } denote the ideal sheaf of the fat point of multiplicity l + 1 supported
at q ∈ Pn .
Theorem 2.11. In the same notation as Theorem 2.2, fix integers
d, m1 , . . . , ms , l ≥ 0, s ≥ 1. Assume that either s ≤ 2n or that s ≥ 2n + 1 and that
(2.2) is satisfied. Moreover, assume that
(2.8)

l ≤ mi , ∀i ∈ {1, . . . , s},
l ≤ d − mi − mj , ∀i, j ∈ {1, . . . , s}, i 6= j.

Then h1 (D ⊗ I{ql+1 } ) = 0 for any q ∈ Xs .
Proof. Case (1). Assume first of all that q ∈ Ei , for some i ∈ {1, . . . , s}. We claim
that
(2.9)

h1 (D ⊗ I{ql+1 } ) ≤ h1 (D − (l + 1)Ei ).

Hence we conclude because the latter vanishes, by Theorem 1.3 and Lemma 2.9
with F = D − (l + 1)Ei . We now prove that (2.9) holds. Let π be the blow-up
of Xs at q ∈ Ei and let Eq be the exceptional divisor created. By the projection
formula we have H i (D ⊗ I{ql+1 } ) ∼
= H i (π ∗ (D) − (l + 1)Eq ). For l = 0, consider the
exact sequence
0 → π ∗ (D) − π ∗ (Ei ) → π ∗ (D) − Eq → (π ∗ (D) − Eq )|π∗ (Ei )−Eq → 0.
Notice that π ∗ (Ei ) − Eq is the blow-up of Ei ∼
= Pn−1 at the point q: denote by h, eq
the generators of its Picard group. We have (π ∗ (D) − Eq )|π∗ (Ei )−Eq ∼
= mi h − e q ,
in particular it has vanishing first cohomology group. Hence, looking at the long
exact sequence in cohomologies associated with (2.10), one gets that the map
(2.10)

H 1 (π ∗ (D) − π ∗ (Ei )) → H 1 (π ∗ (D) − Eq )
is surjective, therefore h1 (π ∗ (D) − π ∗ (Ei )) ≥ h1 (π ∗ (D) − Eq ). Finally, by the
projection formula one has H i (π ∗ (D) − π ∗ (Ei )) = H i (D − Ei ), so we conclude. For
l ≥ 1, one can iterate l times the above argument and conclude.
Case (2). Assume q ∈ Xs \ {E1 , . . . , Es }. Hence q is the pull-back of a point
q ′ ∈ Pn \ {p1 , . . . , ps }.
We will prove the statement by induction on n. The case n = 1 is obvious.
Indeed, any such D ⊗ I{ql+1 } corresponds to a linear series on the projective line
given by three points whose sum of the multiplicities is bounded above as follows
m1 + m2 + (l + 1) ≤ d + 1. Hence the first cohomology group vanishes. From now
on we will assume n ≥ 2.
Recall that a set of points S of Pn is said to be in linearly general position if for
each integer r we have ♯(S ∩ L) ≤ r + 1, for all r-dimensional linear subspaces L in
Pn .
Case (2.a). Assume first that the points in S ∪ {q ′ } are not in linearly general
position in Pn . If s ≥ n, q ′ lies on a hyperplane H of Pn spanned by n points of S.
Reordering the points if necessary, assume that q ′ ∈ H := hp1 , . . . , pn i. If s < n, let
H be any hyperplane containing S ∪ {q ′ }. Let H̄ denote the pull-back of H on Xs .
Notice that H̄ is isomorphic to the space Pn−1 blown-up at s̄ := min{s, n} distinct

8

OLIVIA DUMITRESCU AND ELISA POSTINGHEL

points in general position, so that we can write that H̄ ∼
= Xs̄n−1 . Its Picard
Ps̄group
is generated by h := H|H , ei := Ei |H . As a divisor, we have H̄ = H − i=1 Ei .
Consider the restriction exact sequence of line bundles
(2.11)

0 → (D − H̄) ⊗ I{ql } → D ⊗ I{ql+1 } → (D ⊗ I{ql+1 } )|H̄ → 0.

We iterate this restriction procedure l + 1 times. The restriction of the (λ + 1)st
exact sequence, 0 ≤ λ ≤ l, is the complete linear series on Xs̄n−1 given by
!
s̄
X
(mi − λ)ei ⊗ I{ql+1−λ }|H .
(2.12)
(d − λ)h −
i=1

We leave it to the reader to verify that it satisfies the hypotheses of the theorem, for
every 0 ≤ λ ≤ l. Hence we conclude, by induction on n, that the first cohomology
group vanishes.
Moreover, the (last) kernel is the line bundle associated with the following divisor:
(2.13)

d′ H −

d
X

m′i Ei := (d − l − 1)H −

i=1

s̄
X

(mi − l − 1)Ei −

i=1

s
X

mi Ei ,

i=s̄+1

that equals the divisor G0 introduced in (2.7) for i = 0. It satisfies the condition
of Theorem 1.3 by Lemma 2.10, hence we conclude in this case.
Case (2.b). Lastly, assume that S ∪ {q ′ } is in linearly general position in Pn .
If s ≥ n − 1, let H denote the hyperplane hp1 , . . . , pn−1 , q ′ i. If s < n − 1, let H
be any hyperplane containing S ∪ {q ′ }. In both cases such an H exists by the
assumption that points of S are in general position. As in the previous case, let
H̄ denote the pull-back of H on Xs . It is isomorphic to the space Pn−1 blown-up
at s̄ := min{s, n − 1} distinct points in general position, that we may denote by
H̄ ∼
= Xs̄n−1 .
We iterate the same restriction procedure shown in (2.11) l + 1 times as before.
As before the restriction of the (λ + 1)st exact sequence, that is of the form (2.12)
with s̄ differently defined here, verifies the hypotheses of the theorem, so it has
vanishing first cohomology group by induction on n.
Furthermore, the (last) kernel, that is in the shape (2.13), with s̄, d′ , m′i as defined here is the divisor G1 defined in (2.7) with i = 1. It satisfies the condition
of Theorem 1.3 by Lemma 2.10. Indeed, if s̄ = s < n − 1 then it is the same
computation as before. While if s̄ = n − 1 ≤ s we have
s
X
i=1

m′i − nd′ =

s̄
X
i=1

(mi − l − 1) +

s
X

i=s̄+1

mi − n(d − l − 1) =

s
X

mi − nd + l + 1.

i=1

The number on the right hand side of the above expression is bounded above by 0
is s ≤ 2n and by b if s ≥ 2n + 1. This concludes the proof.

Let L = Ln,d (m1 , . . . , ms ) be the linear system of the form (1.1).
Corollary 2.12. Assume that L = Ln,d (m1 , . . . , ms ) satisfies the conditions of
Theorem 2.11. Then the linear system of elements of L that vanish with multiplicity
l + 1 at an arbitrary extra point, Ln,d (m1 , . . . , ms , l + 1), is non-special.

POSITIVITY OF DIVISORS ON BLOWN-UP PROJECTIVE SPACES, I

9

Proof. The projection formula implies that, for all i ≥ 0, H i (Xs , D ⊗ I{ql+1 } ) ∼
=
H i (Pn , Ln,d (m1 , . . . , ms , l + 1)). Therefore Ln,d (m1 , . . . , ms , l + 1) has the expected
dimension.

Before we proceed with the proof of the main result, Theorem 2.2, we need the
following lemmas.
Lemma 2.13. Let X be a complex projective smooth variety and OX (D) a line
bundle. Let Z be a 0-dimensional subscheme of X and let Z0 be a flat degeneration
of Z. Then h1 (OX (D) ⊗ IZ ) ≤ h1 (OX (D) ⊗ IZ0 ).
Proof. It follows from the property of upper semicontinuity of cohomologies, see

e.g, [21, Sect. III.12].
Lemma 2.14. In the same notation of Lemma 2.13, let Z1 ⊆ Z2 be an inclusion
of 0-dimensional schemes. Then h1 (OX (D) ⊗ IZ1 ) ≤ h1 (OX (D) ⊗ IZ2 ).
Proof. If Z1 = Z2 then equality obviously holds. We will assume Z1 ( Z2 . Consider
the following short exact sequence
0 → OX (D) ⊗ IZ2 → OX (D) ⊗ IZ1 → OX (D) ⊗ IZ1 |Z2 \Z1 → 0.
Consider the associated long exact sequence in cohomology. Since h1 (OX (D) ⊗
IZ1 |Z2 \Z1 ) = 0, the map H 1 (OX (D) ⊗ IZ2 ) → H 1 (OX (D) ⊗ IZ1 ) is surjective and
this concludes the proof.

Lemma 2.13 and Lemma 2.14 will allow to reduce the proof of l-very ampleness
for divisors D to the computation of vanishing theorems of the first cohomology
group of the sheaf associated with D tensored by the ideal sheaf of a collection of
fat points, whose multiplicities sum up to l + 1.
Proof of Theorem 2.2. We first prove that (2.3) is sufficient condition for D to be
l-very ample. For every 0-dimensional scheme Z ⊂ Xs of weight l + 1, consider the
exact sequence of sheaves
(2.14)

0 → OXs (D) ⊗ IZ → OXs (D) → OXs (D)|Z → 0.

We will prove that h1 (Xs , OXs (D) ⊗ IZ ) = 0. This will imply the surjectivity of
the map H 0 (Xs , OXs (D)) → H 0 (Z, OXs (D)|Z ), by taking the long exact sequence
in cohomology associated with (2.14).
Let Z0 denote a flat degeneration of Z with support at the union of points
q1 , . . . , qs , qs+1 ∈ Xs , with qi ∈ Ei , for all i = 1, . . . , s, and qs+1 ∈ Xs \{E1 , . . . , Es }.
Since every exceptional divisor Ei as well as Xs \ {E1 , . . . , Es } are homogeneous
spaces, in order to prove that h1 (D ⊗ IZ ) = 0 for all Z ⊂ Xs 0-dimensional schemes
of weight l + 1, by Lemma 2.13 it is enough to prove that the same statement holds
for every such Z0 .
Set µi to be the weight of the irreducible component
Ps+1 of Z0 supported at qi ,
for all i = 1, . . . , s, s + 1. One has that µi ≥ 0,
i=1 µi = l + 1. In order to
prove that h1 (D ⊗ IZ0 ) = 0, by Lemma 2.14, it suffices to prove the a priori
stronger statement that h1 (OX (D) ⊗ IZ̄0 ) = 0, for every Z̄0 collection of fat points
µs+1
}. Indeed, the following containment of schemes supported at qi
{q1µ1 , . . . , qsµs , qs+1
holds for all i = 1, . . . , s, s + 1: Zi |qi ⊆ {qiµi }.
Assume first of all that Z̄0 has support in one point q = qi , namely µi = l + 1
for some i ∈ {1, . . . , s, s + 1} and mj = 0 for all j 6= i. We have h1 (D ⊗ IZ̄0 ) = 0

10

OLIVIA DUMITRESCU AND ELISA POSTINGHEL

by Theorem 2.11. In words, we are completing the scheme Z0 to a scheme Z̄0 that
consists of a disjoint union of fat points and proving that the statement holds for
the latter.
Assume now that Z̄0 is supported in several
Ps points q1 , . . . , qs , qs+1 . We want to
prove that hi (Xs , D ⊗ IZ̄0 ) ≤ hi (Xs , (D − i=1 µi Ei ) ⊗ I{qµs+1 } ) = 0. The first
s+1

inequality follows from (2.9). The equality follows from Theorem 2.11; we leave it
to the reader to verify that the conditions are indeed satisfied.

We now prove that (2.3) is necessary condition for D to be l-very ample, by
induction on l.
Let us first assume l = 0, namely that D is base point free. If mi < 0 then mi Ei
would be contained in the base locus of D. If mi + mj > d for some i 6= j, then
the strict transform of the line hpi , pj i ⊂ Pn would be contained in the base locus
of D. In both cases we would obtain a contradiction.
Assume that l = 1, namely that D is very ample. If mi ≤ 0 (or 0 ≤ d − mi − mj
for some i 6= j), then Ei (resp. the strict transform of the line through pi and pj )
would be contracted by D, a contradiction.
More generally, assume that D is l-very ample and l ≥ 2. Then conditions (2.3)
are satisfied. Indeed, if mi ≤ l − 1 for some i, we can find a 0-dimensional scheme,
Z, of weight l + 1 such that h1 (D ⊗ IZ ) > 0. Let Z ⊂ Ei be an l-jet scheme
centred at q ∈ Ei (see [25]). Consider the restriction D ⊗ IZ |Ei ∼
= m1 h ⊗ IZ ,
where h is the hyperplane class of Ei ∼
= Pn−1 . We have h1 (Ei , D ⊗ IZ |Ei ) ≥ 1,
hence h1 (Xs , D ⊗ IZ ) ≥ 1. To see this, let x1 . . . , xn−1 be affine coordinates for an
affine chart U ⊂ Ei and let Z be the jet-scheme with support q = (0, . . . , 0) ∈ U
given by the tangent directions up to order l along x1 . The space of global sections
of D ⊗ IZ |Ei is isomorphic to the set of degree-mi polynomials f (x1 , . . . , xn−1 ),
whose partial derivatives ∂ λ f /∂xλ1 vanish at q, for 0 ≤ λ ≤ l. On the other hand,
H 1 (Ei , D ⊗ IZ |Ei ) is the “space of linear dependencies” among the l + 1 conditions
imposed by the vanishing of the partial derivatives to the coefficients of f . Since
mi ≤ l − 1 then f is a polynomial of degree at most l − 1, therefore ∂ l f /∂xl1 ≡ 0
for every such a polynomial, and we conclude.
Similarly, if d − mi − mj ≤ l − 1 for some i, j, i 6= j, then one finds a jetscheme Z contained in the pull-back of the line through pi and pj , L, for which
h1 (Xs , D⊗IZ ) ≥ 1. Indeed, if Z is such a scheme, then the restriction is D⊗IZ |L ∼
=
(d − mi − mj )h ⊗ IZ |L , where in this case h is the class of a point in L, and Z|L
is a fat point of multiplicity l in L. One concludes by the Riemann-Roch Theorem
that h1 (L, D ⊗ IZ |L ) ≥ 1 because χ(L, D ⊗ IZ |L ) = (d − mi − mj ) − l ≤ −1 and
h0 (L, D ⊗ IZ |L ) = 0.

2.3. l-jet ampleness. In [5], Beltrametti, Francia and Sommese introduced notions of higher order embeddings, one of these being l-very ampleness (Definition
2.1) with the aim of studying the adjoint bundle on surfaces.
Definition 2.15. In the same notation as Definition 2.1, if for any fat point
Z = {q l+1 }, q ∈ X, the natural restriction map to Z, H 0 (X, OX (D)) →
H 0 (Z, OX (D)|Z ), is surjective, then D is said to be l-jet spanned.
µ1
µσ
PσMoreover, if for any collection of fat points Z = {q1 , . . . , qσ } such that
i=1 µi = l + 1, the restriction map to Z is surjective, then D is said to be ljet ample.

POSITIVITY OF DIVISORS ON BLOWN-UP PROJECTIVE SPACES, I

11

Remark 2.16. Theorem 2.11 can be restated in terms of l-jet spannedness. Namely
any divisor D satisfying the hypotheses is l-jet spanned.
Proposition 2.17 ([6, Proposition 2.2]). In the above notation, if D is l-jet ample,
then D is l-very ample.
The converse of Proposition 2.17 is true for the projective space Pn and for
curves, but not in general. In this section we proved that the converse is true for
lines bundle OXs (D) on Xs , that satisfy the hypotheses of Theorem 2.2.
Theorem 2.18. Assume that s ≤ 2n, or s ≥ 2n + 1 and (2.2). Assume that D is
a line bundle on Xs of the form (1.2). The following are equivalent:
(1) D satisfies (2.3);
(2) D is l-jet ample;
(3) D is l-very ample.
Proof. We proved that the natural restriction map of the global sections of D to
the any fat point of multiplicity l + 1 is surjective in Theorem 2.11, see also Remark
2.16. We showed that the same is true in the case of arbitrary collections of fat
points whose multiplicity sum up to l + 1 in the first part of the proof of Theorem
2.2. This proves that (1) implies (2). Moreover, (2) implies (3) by Proposition 2.17.
Finally, that (3) implies (1) was proved in the second part of the proof of Theorem
2.2.

3. Other positivity properties of divisors on Xs
In this section we will apply Theorem 2.2 to establish further positivity properties
of divisors on Xs . All results we prove in this section apply to Q−divisors on the
blown-up projective space.
We recall here thePnotation introduced in Section 2: for a given divisor D of
s
the form D = dH − i=1 mi Ei , (cfr. (1.2)), we will use the integer b = b(D) :=
min{n − s(d); s − n − 2}, defined in (1.3) and the bound (2.2):
s
X

mi − nd ≤ bl .

i=1

3.1. Semi-ampleness and ampleness. A line bundle is ample if some positive
power is very ample. It is known that for smooth toric varieties a divisor is ample if
and only if is very ample and nef if and only if is globally generated. From Corollary
2.4 and Corollary 2.5, we obtain that this holds for a small number of points s ≤ 2n
too, as well as for arbitrary s under a bound on the coefficients.
A line bundle is called semi-ample, or eventually free, if some positive power is
globally generated. By (2.4), one can see that a divisor is semi-ample if and only if
it is globally generated.
Theorem 3.1. Let Xs be defined as in Section 1. Assume s ≤ 2n.
(1) The cone of semi-ample divisors in N1 (Xs )R is given by (2.4).
(2) The cone of ample divisors in N1 (Xs )R is given by (2.5).
Assume s ≥ 2n + 1.
(1) Divisors satisfying (2.2) with l = 0 are semi-ample if and only if (2.4).
(2) Divisors satisfying (2.2) with l = 1 are ample if and only if (2.5).

12

OLIVIA DUMITRESCU AND ELISA POSTINGHEL

3.2. Nefness. For any projective variety, Kleiman [22] showed that a divisor is
ample if and only if its numerical equivalence class lies in the interior of the nef
cone (see also [23, Theorem 1.4.23]).
For a line bundle, being generated by the global sections implies being nef, but
the opposite is not true in general, see e.g. Example 2.7. However for line bundles
on Xs , with s ≤ 2n, or with arbitrary s under a bound on the coefficients, these
two properties are equivalent.
Theorem 3.2. In the same notation as Theorem 2.2, assume that for D of the
form (1.2) we have that either s ≤ 2n or s ≥ 2n+ 1 and (2.2) with l = 0 is satisfied.
Then D is nef if and only if is globally generated.
Proof. If D is nef, then for effective 1-cycle C, D · C ≥ 0. In particular the divisor
D intersects positively the classes of lines through two points and classes of lines
in the exceptional divisors. This means inequalities (2.4) hold and therefore the
divisor D is globally generated by Corollary 2.4.

Remark 3.3. If s ≤ 2n , the nef cone of Xs is given by (2.4). In fact, if X is
the blow-up of Pn in s = 2n points obtained as intersection of n quadrics of Pn ,
then the class of a quadric on X through 2n points is nef (because the corresponding
linear system is base point free). Therefore the same holds for general points.
Notice that for s ≤ 2n, the description of the nef cone also follows from Theorem
3.2.
Corollary 3.4. The nef cone and the cone of semi-ample divisors on Xs , for
s ≤ 2n, coincide.
Corollary 3.5. The Mori Cone of curves of the blown-up Pn in s ≤ 2n points,
NE(Xs ), is generated by the classes of lines through two points and the classes of
lines in the exceptional divisors.
3.3. Fujita’s conjectures for the blown-up Pn in points.
Conjecture 3.6 (Fujita’s conjectures, [19]). Let X be an n-dimensional projective
algebraic variety, smooth or with mild singularities. Let KX be the canonical divisor
of X and D an ample divisor on X. Then the following holds.
(1) For m ≥ n + 1, mD + KX is globally generated.
(2) For m ≥ n + 2, mD + KX is very ample.
Fujita’s conjecture hold on any smooth variety where all nef divisors are semiample. In particular it holds on Xs with s ≤ 2n.
Proposition 3.7. Let Xs be the blown-up Pn at s points in general position with
s ≤ 2n. Conjecture 3.6 holds for Xs .
Proof. For Xs , s ≤ 2n, global generation (very ampleness) is equivalent to nefness
(resp. ampleness), by Theorem 3.1 and Theorem 3.2. This concludes the proof. 
Using the results from this article, we can extend the above to an infinite family
of divisors with arbitrary s.
Proposition 3.8. Let Xs be the blown-up Pn in an arbitrary number of points in
general position, s, and let D be a divisor on Xs such that
s
X
(3.1)
mi ≤ nd
i=1

POSITIVITY OF DIVISORS ON BLOWN-UP PROJECTIVE SPACES, I

13

Then Conjecture 3.6 holds for D.
Proof. It is enough to consider the case s ≥ 2n + 1. Write X = Xs . Notice that
the divisor mD + KX has the following properties
s
X
i=1

s
X
mi − nd) + n(n + 1) − s(n − 1)
(mmi − n + 1) − n(md − n − 1) = m(
i=1

≤ n(n + 1) − (2n + 1)(n − 1)

= (−n2 + n) + (n + 1)
≤ −2 + n + 1
= n − 1.
Notice that b(mD + KX ) = n − 1, for s = 2n + 1 and b(D) = n for s ≥ 2n + 2,
using the definition (1.3). Therefore mD + KX satisfies conditions of Theorem 3.1.
We now leave it to the reader to check that if D is ample then the divisor mD + KX
satisfies conditions (2.4) and (2.5).

References
[1] F. Angelini, Ample divisors on the blow up of P3 at points, Manuscripta Math. 93, (1997),
39–48.
[2] E. Ballico Ample divisors on the blow up of Pn at points, Proceedings of the American
Mathematical Society, Volume 127, no. 9 (1999), 2527–2528.
[3] E. Ballico, M. Coppens Very ample line bundles on blown - up projective varieties, Bull.
Belg. Math. Soc. Simon Stevin, Volume 4, no. 4 (1997), 437–447.
[4] E. Ballico, O. Dumitrescu and E. Postinghel, On Segre’s bound for fat points in Pn , J. Pure
Appl. Algebra. 220, no. 6, 23072323 (2016)
[5] M. C. Beltrametti, P. Francia and A. J. Sommese, On Reider’s method and higher order
embedding, Duke Math. J. 58, 425–439 (1989)
[6] M. C. Beltrametti and A. J. Sommese, On k-jet ampleness, Complex analysis and geometry,
ed. by V. Ancona and A. Silva, Plenum Press, New York, (1993), 355–376
[7] M. C. Beltrametti and A. J. Sommese, Notes on Embeddings of Blowups, J. Alg., 186:861–871,
(1996)
[8] M.C. Brambilla, O. Dumitrescu and E. Postinghel, On a notion of speciality of linear systems
in Pn , Trans. Am. Math. Soc. no. 8, 5447–5473 (2015).
[9] M.C. Brambilla, O. Dumitrescu and E. Postinghel, On linear systems of P3 with nine base
points, Ann. Mat. Pura Appl, 195, no. 5, 15511574 (2016)
[10] M. C. Brambilla, O. Dumitrescu and E. Postinghel, On the effective cone of Pn blown-up at
n + 3 points, Exp. Math. 25, no. 4, 452465 (2016)
[11] S. Cacciola, M. Donten-Bury, O. Dumitrescu, A. Lo Giudice, J. Park, Cones of divisors of
blow-ups of projective spaces, Matematiche (Catania) 66 (2011), no. 2, 153–187.
[12] L. Chiantini, C. Ciliberto, Weakly defective varieties, Trans. Am. Math. Soc. 354 (2001),
151178.
[13] M. Coppens. Very ample linear systems on blowing-up at general points of projective spaces,
Canad. Math. Bull., 45(3):349–354, (2002).
[14] M. Coppens. Very ample linear systems on blowing-up at general points of smooth projective
varieties, Pacific J. Math., 202(2):313–327, (2002)
[15] C. De Volder, A. Laface, A note on the very ampleness of complete linear systems on
blowings-up of P3 Projective Varieties with Unexpected Properties, de Gruyter, Berlin (2005),
pp. 231–236
[16] S. di Rocco, k-very ample line bundles on del Pezzo surfaces, Math. Nachrichten 179, 47–56,
(1996).

14

OLIVIA DUMITRESCU AND ELISA POSTINGHEL

[17] O. Dumitrescu and E. Postinghel, Vanishing theorems for linearly obstructed divisors, J.
Algebra, 477, 312-359 (2017)
[18] O. Dumitrescu and E. Postinghel, Positivity of divisors on blown-up projective spaces, II ,
preprint.
[19] T. Fujita, On polarized manifolds whose adjoint bundles are not semipositive, Algebraic
geometry, Sendai 1985, Adv. Stud. Pure Math. 10, North-Holland, Amsterdam (1987)
[20] B. Harbourne Very Ample Divisors on Rational Surfaces, Math. Ann. 272, 139–153, (1985)
[21] R. Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52. Springer-Verlag,
New York-Heidelberg, (1977)
[22] S. L. Kleiman, Toward a numerical theory of ampleness, Ann. of Math. (2) 84 (1966), 293–
344.
[23] R. Lazarsfeld. Positivity in algebraic geometry. I, vol. 48 of 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].
Springer-Verlag, Berlin (2004)
[24] S. Mukai, Finite generation of the Nagata invariant rings in A-D-E cases, 2005, RIMS
Preprint # 1502.
[25] M. Mustata. Jet schemes of locally complete intersection canonical singularities, Invent.
Math., 145(3):397–424, (2001)
Olivia Dumitrescu: Central Michigan University, Pearce Hall 209, Mt. Pleasant,
Michigan 48859, US,
and Simion Stoilow Institute of Mathematics, Romanian Academy, 21 Calea Grivitei
Street, 010702 Bucharest, Romania
E-mail address: dumit1om@cmich.edu
Elisa Postinghel: Department of Mathematical Sciences, Loughborough University,
LE11 3TU, UK
E-mail address: E.Postinghel@lboro.ac.uk

