The Effect of Points Fattening on del Pezzo Surfaces

In this paper, we study the fattening effect of points over the complex numbers for del Pezzo surfaces Sr\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {S}_r$$\end{document} arising by blowing-up of P2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {P}^2$$\end{document} at r general points, with r∈{1,⋯,8}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ r \in \{1, \dots , 8 \}$$\end{document}. Basic questions when studying the problem of points fattening on an arbitrary variety are what is the minimal growth of the initial sequence and how are the sets on which this minimal growth happens characterized geometrically. We provide a complete answer for del Pezzo surfaces.


Introduction
In this paper, we follow the approach to fat point schemes initiated by Bocci and Chiantini in [3]. The initial degree α(I ) of a homogeneous ideal I ⊂ C[P n ] is the least degree t such that the homogeneous component I t in degree t is nonzero. Although this notion was known since 1981 (see [4]), Bocci and Chiantini used this invariant for the first time in order to study fat point subschemes in the projective plane.
This definition can be extended to symbolic powers I (m) of I ; namely, α(I (m) ) is the least degree t such that the homogeneous component (I (m) ) t in degree t is nonzero.
Let Z ⊂ P 2 (C) be a set of points and I be its radical ideal. By Nagata-Zariski theorem ( [7], Theorem 3.14), the ideal of scheme m Z is the mth symbolic power of I . Bocci and Chiantini proved, among others, that sets of points Z in P 2 (C) such that α(I (2) ) − α(I ) = 1, Results of Bocci and Chiantini have been generalized in [6] by Dumnicki, Szemberg and Tutaj-Gasińska. They were studying configurations of points in P 2 (C) with α(I (m+1) ) − α(I (m) ) = 1 for some m ≥ 2 and obtained their full characterization (see [6], Theorem 3.4).
These considerations were extended for another types of spaces. Except for spaces P n , the problem of points fattening was considered among others by me in [1] for the space P 1 × P 1 and by Di Rocco, Lundman and Szemberg in [5] for Hirzebruch surfaces (with appropriately modified definition of the initial degree).
The aim of this paper is to make similar classification with respect to points fattening on del Pezzo surfaces. In this paper, a del Pezzo surface is a smooth complex surface X with the ample anticanonical bundle −K X .
In fact, considerations on points fattening effect were initiated on del Pezzo surface P 2 (C) and this path of research was continued to another one, namely P 1 × P 1 . Over C, there are exactly ten del Pezzo surfaces: P 2 , P 1 ×P 1 and eight surfaces S r arising by blowing-up of P 2 in r general points, where 1 ≤ r ≤ 8. In this paper, we complete the picture for the last eight del Pezzo surfaces. More precisely, for each of the surfaces S r we establish the maximal integer m, such that α(I ) = α(I (2) ) = · · · = α(I (m) ) = 1 holds and we describe subschemes realizing this sequence of equalities. We focus mainly on the smallest possible value of α(I ), namely 1. In the case of the surfaces S 1 and S 2 , we additionally give characterization of subschemes satisfying a more general condition, namely α(I (m) ) = α(I (m+1) ) · · · = α(I (m+a) ) for some integers m and a. We conclude our paper presenting a Chudnovsky-type inequality.

Basic Notions and Auxiliary Facts
The original definition of the initial degree given in [3] was extended in [5] for an arbitrary smooth projective variety with an ample class. Definition 2.1 (Initial degree) Let X be a smooth projective variety with an ample line bundle L on X and let Z be a reduced subscheme of X defined by the ideal sheaf I Z ⊂ O Z . For a positive integer m, the initial degree (with respect to L) of the subscheme m Z is the integer Analogously, the initial sequence (with respect to L) of a subscheme Z is the sequence The initial sequence is a sequence of positive integers with the following properties: 1) The initial sequence is weakly growing, i.e., α(m Z) ≤ α(n Z) for n ≥ m.
Properties in Fact 2.2 are generally known facts; thus, we take them for granted. The choice of a line bundle L strictly depends on the variety X . In the projective plane, the initial degree was taken with respect to the line bundle O P 2 (1). This line bundle is 1 3 of the anticanonical bundle −K P 2 = O P 2 (3). Similarly, on P 1 × P 1 it is natural to work with the α-invariant taken with respect to the line bundle O P 1 ×P 1 (1, 1). In this case, the line bundle is half of the anticanonical divisor as on P 1 × P 1 we have The most natural choice of an ample line bundle on del Pezzo surfaces S r seems to be the anticanonical bundle which for r ≥ 1 is not divisible in the Picard group Pic(S r ).
The fattening effect can be also considered more generally for graded linear series.
be a graded linear system. We define Then, we have the following property.

Lemma 2.3 Let V • ⊆ W • be graded linear systems. Then,
Proof It follows immediately from the fact that W • has more sections than V • .

Corollary 2.4 Let t ≥ s and let V
can be regarded as either α(m Z) on S t or α(m Z) on S s . This allows us to compare α's computed on various del Pezzo surfaces, provided that it makes sense to consider the underlying set Z on both surfaces.
The study of sequences of minimal growth can be paralleled by the investigation of ratios of the type There are some estimates for such quotients. The first result of this kind, appears in a work of Chudnovsky, and it concerns finite sets of points Z in the projective plane (see [9], Proposition 3.1 and [8]). It was generalized to other spaces, i.e., P 3 , P 1 × P 1 and Hirzebruch surfaces (see [1,2,5,6,10]). All these inequalities are known under the common name Chudnovsky-type results. In Section 4, we present our result of this kind for del Pezzo surfaces S r with r ≤ 6. Our paper is concluded by a comparison of points fattening effect for surface S 1 considered as a del Pezzo surface and on the other hand as a Hirzebruch surface.

The Points Fattening Effect on S r
In this section, we present some results concerning the fattening effect on S r . Let us recall that S r arises as the blowing-up of the complex projective plane in fixed r general points P 1 , . . . , P r . We denote by f r : S r → P 2 the blow-up, where E 1 , . . . , E r are the exceptional divisors. If r is fixed, then we write simply f instead of f r .
In further considerations, we will use the following observations about blow-ups.

Definition 3.2 (Adapted transform)
We keep the notation as in Remark 3.1. The adapted transform of F is the divisor where F denotes the proper transform of F.
First, we consider the situation, when The multiplicity of the singular point of the plane curve can be at most the degree of this curve; thus, f r (D) may have at most 3k-tuple points, which finishes the proof of statement (2).
We assume now that But mult Q ( F) ≤ mult P i (F); thus, we finally obtain statement (1).
A natural consequence of Lemma 3.3 is the following property for surfaces S r .
for some positive integers m and t ≥ 3, then Z ⊂ E 1 ∪ · · · ∪ E r . Now we turn to the main subject of this paper, namely a characterization of subschemes Z with We begin with surfaces S 1 and S 2 .

Surfaces S 1 and S 2
Theorem 3.5 Let Z ⊂ S 1 be a finite set of points. Then, the following conditions are equivalent Proof The implication from i) to ii) is obvious. It is enough to consider the nonreduced curve F = 3L ⊂ P 2 for some line passing through point P 1 . Indeed, it gives rise to In order to prove the reverse implication, let Z = {Q 1 , . . . , Q s } and we assume that Let us consider possible types of cubic curves in the projective plane and their adapted transforms. The curve F has to pass through point P 1 , and in order to get the highest possible multiplicities along the exceptional divisor E 1 , it should have the highest possible multiplicity at P 1 . We have the following types of cubic curves in P 2 : a) an irreducible cubic (possibly singular); b) a union of an irreducible conic and a line; c) a union of three lines (possibly not distinct).
In case a), the divisor A(F) on S 1 has points of multiplicity at most two. In case b), the highest possible multiplicity of a point on E 1 is three, and this happens in the case when the line is tangent to the conic at point P 1 .
Let us pass to the case c). We know that the adapted transform of a curve F consisting of some triple line L has a quintuple point. Except this arrangement of three lines, we never get the quintuple points, which completes the proof.

Remark 3.6
In fact, one can weaken condition ii) in Theorem 3.5. Assuming Let us denote by F = f (D). Since F is of degree 3k, its multiplicity at P 1 is at most 3k. Hence, the multiplicity of E 1 in D is at most 2k. This contributes to the multiplicity of D at every point Q 1 , . . . , Q t . The remaining multiplicity at these points must come from components of F passing through P 1 at directions corresponding to Q 1 , . . . , Q t . We have On the other hand, since α(m Z) = k, it must be since otherwise one could find 3(k − 1) lines through P 1 . Their images in P 2 would show α(m Z) ≤ k − 1 contradicting the assumption. Combining (3) and (4), we get that and thus t < 3 2 , which finally means that Z is a single point.
On S 1 , there also exist infinitely many sets satisfying a weaker condition, namely and these sets are not necessarily the same as in Theorem 3.5.
Proof The sets in ii) satisfy the condition for example, with m = 1 and m = 4, respectively. We will prove the opposite implication. Suppose now that Z = {Q 1 , . . . , Q t } is a set such that α(m Z) = · · · = α((m + 3)Z ) = k for some integers k and t and let D ∈ | − k K S 1 | be a divisor such that mult Q i (D) ≥ m + 3 for any point Q i ∈ Z . Let us denote by F = f (D), with deg(F) = 3k. In fact, we can repeat reasoning used in the proof of Remark 3.6, but this time with the following estimates By (5) combined with (6), we get which gives t < 3. Proof Suppose to the contrary that Z = {Q 1 , . . . , Q t } is such that α(m Z) = · · · = α((m + 5)Z ) = k for some integers k and t, and let D ∈ | − k K S 1 | be a divisor such In the spirit of the proof of Remark 3.6, we get estimates Combining (7) and (8), we obtain t < 1, but t is a positive integer, a contradiction.
One may also consider sets with three initial values equal to 1. The list of possible types gets much longer, but the arguments used to obtain their classification are similar to those used above. We refer the interested reader to [11] (Subchapter 6.1).
In further considerations, lines joining points P 1 , . . . , P r play an important role. From now on, we denote by L i j the line passing through points P i and P j for fixed distinct i, j ∈ {1, . . . , r }. We are ready to formulate analogous results concerning the fattening effect on S 2 .

Theorem 3.9
The following conditions are equivalent:   All theorems from 3.9 to 3.13 can be proved analogously as in the case of surface S 1 , or the reader can find alternative proofs in [11]. In subchapter 2.4 of [11], reader can also find a description of sets satisfying the condition Question about the maximal integer a satisfying condition is not trivial, and it is still an open problem for some of studied before surfaces. For example, fattening effect for the Hirzebruch surfaces is described in [5] only with respect to the condition α(Z ) = · · · = α(m Z) = 1.
The available tools are not useful in the case of greater r , in particular when considered sets have some points on the exceptional divisors. For that reason, for remaining surfaces S r we only establish maximal m, for which α(Z ) = · · · = α(m Z) = 1 hold and we describe sets Z with that property.

Surfaces S r for r ≥ 3
The natural sequence of inclusions between linear systems suggests that the sequence of equalities α(Z ) = α(2Z ) = · · · = 1 should become shorter with r growing. In the case of r = 1 and r = 2, we had α(5Z ) = 1 and we proved, moreover, that there it is not possible to obtain more than five consecutive initial values equal.
We present now such a characterization for remaining surfaces S r .
Theorem 3.14 Let Z ⊂ S 3 be a finite set of points. The following conditions are equivalent: where C is an irreducible conic curve passing through points P 1 , P 2 , P 3 , P 4 and L is the line tangent to C at point P i for i ∈ {1, 2, 3, 4}.
where C j is a conic curve determined by five points of P 1 , . . . , P 6 excluding P j and L i j is of course the line passing through points P i and P j , but simultaneously L i j is the tangent line to the curve C j at point P i .
Let us note that S 6 is the first example of surfaces S r , where the existence of a set Z satisfying the condition depends on the geometry of points P 1 , . . . , P 6 . For given six points in general position in the projective plane, there always exists a cubic curve consisting of three lines, passing through these points. But these lines do not have to intersect at one point ( Fig. 1). It is a rather strong condition. Similarly, when the cubic splits into a conic and a line, each five points determine a conic curve in a unique way. But the line joining the sixth point with one of the previous five does not necessarily need to be tangent to this conic (Fig. 2). It is also a situation, which may happen or not, and it depends on the arrangement of the starting six points (although they are always in general position). It is a quite interesting phenomenon. Especially that for remaining two surfaces S r , i.e., S 7 and S 8 , the condition is never satisfied.
passing through the five points of P 1 , . . . , P 7 , distinct from P i and P j .
Proofs of Theorems 3.14 to 3.18 are based on a review of plane cubics passing through points P 1 , . . . , P r (analogously as in the proof of Theorem 3.5). Thus, we skip details here. We refer the curious reader to [11].
The line bundle −K S 8 has the least number of sections of all line bundles −K S r considered so far, namely h 0 (−K S 8 ) = 1. For that reason, we expected that α(2Z ) ≥ 2 here. Thus, the fact that there exists a set Z , where α(Z ) = α(2Z ) = 1, was surprising. Let us focus on the opposite implication. Let D ∈ |−K S 8 | be such that mult Q (D) ≥ 2 for any point Q ∈ Z . The curve F = f (D) has degree 3 and passes through eight distinct points P 1 , . . . , P 8 in general position. Then, F is irreducible. Irreducible cubic has at most one singular point, and it cannot be any of P i s (general points). Thus, it must be f (Q).
To finish the proof, we need to show that there always exists a singular cubic curve passing through eight given general points.
Recall that cubics passing through eight fixed points form a pencil, if no four points lie on a line and no seven lie on a conic. Since P 1 , . . . , P 8 are in general position, the family of cubics passing through these points is a pencil. We denote it by S. Every two cubics in S meet in nine points; thus, the set {P 1 , . . . , P 8 } determines a new point. This point is determined uniquely (Cayley-Bacharach theorem, see [12], Theorem 1). Let us denote it by P 9 .
Let S be a blow-up of P 2 in all nine points P 1 , . . . , P 9 . Then, S is the total space of the pencil S, and we have the morphism ϕ : S → P 1 , whose fibers are the elements of S. Let e(·) be the topological Euler characteristic. Thus, we have e(S) = e(P 2 ) + 9 = 12.
Suppose now, to the contrary, that ϕ has only smooth fibers. Then, from the topological point of view we have where E is an elliptic curve. We have then e(S) = e(P 1 ) · e(E) = 2 · 0 = 0.
Thus, S must contain singular fibers. Since points P 1 , . . . , P 8 are in general position, these singular fibers are irreducible cubics, which ends the proof.
condition α(Z ) ≥ 2. The assumption of very ampleness of line bundle −K S r is significant; thus, our result concerns surfaces S r with r ≤ 6. Theorem 4.1 Let 1 ≤ r ≤ 6 and Z ⊂ S r be a finite set of points such that α := α(Z ) ≥ 2. Then, we have We choose a minimal subset W ⊆ Z , such that α(W ) = α, i.e., there is no element in (α − 1) · (−K S r ). The minimality of W is taken with respect to the inclusion. (Thus, there can be several sets satisfying this condition.) It follows that the points in W impose independent conditions on the space of sections in |(α − 1) · (−K S r )|. Then, We claim that |α ·(−K S r )⊗ I W | has no additional base points on S r , i.e., not contained in W . Let W = {Q 1 , . . . , Q t }. For any Q i , there exists a curve C i ∈ (α − 1) · (−K S r ), such that C i does not vanish at Q i and it does vanish at all points in W \ {Q i }. Let s i denote the section in H 0 (S r , (α −1)·(−K S r )) corresponding to C i . Then, the sections s 1 , . . . , s t form a basis of H 0 (S r , (α − 1) · (−K S r )). Suppose that R ∈ S r \ W is a base point of |α · (−K S r ) ⊗ I W |. There exists a section s i ∈ {s 1 , . . . , s t } not vanishing at R. Indeed, otherwise R would be a common zero of |(α − 1) · (−K S r )|, which is not possible by the choice of W . Since −K S r is very ample, the system | − K S r ⊗ I Q i | is then base point free away from Q i . Hence, there exists a section s ∈ H 0 (S r , −K S r ⊗ I Q i ) not vanishing at R. Then, in particular, |α · (−K S r ) ⊗ I W | has no base component. Thus, is a section not vanishing at R. Let A ∈ |α · (−K S r )| and B ∈ |α(m Z) · (−K S r )|. Using Bezout theorem, we obtain which finally implies This ends the proof.
The divisor F = 3k L for the line L passing through P 1 and corresponding to point Q ∈ E 1 gives rise to D = 3k L + 2k E 1 ∈ |3k H − k E 1 | on the blow-up S 1 and mult Q (D) = 5k for any Q ∈ Z . Hence, α(5k Z) ≤ k for any positive integer k.
Using the same argumentation for the next k, we finally conclude that the initial sequence in this case is α(m Z) = By Lemma 2.3, we conclude that estimate α(m Z) m ≥ 1 5 concerns any initial sequence {α(m Z)} with α(Z ) = 1 for all surfaces S r . In the case of surfaces S 1 and S 2 , we were able to show that this estimate is optimal (in the sense that 1 5 is the borderline value). Probably, this estimate is not sharp for r ≥ 3.

Surface S 1 as a del Pezzo Surface and as a Hirzebruch Surface
The surface S 1 was considered with respect to the fattening effect in [5] as a Hirzebruch surface. An interesting phenomenon is that from the point of view of Hirzebruch surfaces, the most natural choice of the reference line bundle for S 1 is while if we consider it as a del Pezzo surface, we work with the anticanonical line bundle, i.e., Di Rocco, Lundman, and Szemberg proved in [5] that on the Hirzebruch surface S 1 (denoted there by F 1 ) with 2H − E 1 , there does not exist any finite set Z , such that α(Z ) = α(2Z ) = α(3Z ) = α(4Z ) (see [5], Proposition 4.1). From point of view of del Pezzo surfaces with the bundle −K S 1 , we can even get α(Z ) = α(2Z ) = α(3Z ) = α(4Z ) = α(5Z ), and moreover, there exist infinitely many sets satisfying it (all singletons Z = {Q} with Q ∈ E 1 ). Thus, the choice of line bundle is a fundamental factor affecting the shape of the initial sequence.