Printer Friendly

Seshadri constants and surfaces of minimal degree.

Introduction and the main result

Given a smooth projective variety X and a nef line bundle L on X, Demailly defines the Seshadri constant of L at a point P [member of] X as the real number

[epsilon](L;P) : = inf L.C/C [mu1t.sub.P]C,

where the infimum is taken over all reduced and irreducible curves passing through P (see [3] and [7, Chapt. 5]).

This concept was extended by Xu [13] to finite subsets of a given variety. Let r be an integer and [P.sub.1],..., [P.sub.r] points in X. Then the r-tuple Seshadri constant of L at the set [P.sub.1], ..., [P.sub.r] is the real number

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII],

where the infimum is taken over all irreducible curves passing through at least one of the points [P.sub.1], ..., [P.sub.r].

There is an alternative and useful description of Seshadri constants in terms of the nef cone of a blown up variety. Specifically, let f : [gamma] [right arrow] X be the blowing up of [P.sub.1],..., [P.sub.r] E X with exceptional divisors [E.sub.1], ..., [E.sub.r]. Then the Seshadri constant can be computed as

[epsilon] (L;[P.sub.1], ..., [P.sub.r]) = sup {[lamda] > 0 : [f.sup.*] L - [lambda]. [r.summation over (i=1)][E.sub.i] is nef}.

The Kleiman criterion of ampleness implies then that the multiple point Seshadri constants are subject to the following upper bound which depends only on the degree of L and the number of points

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

Whenever there is a strong inequality

[epsilon](L; [P.sub.1], ..., [P.sub.r]) < [alpha] (L;r) (1)

then the Seshadri constant is actually computed by a curve and not approximated by a sequence of curves. For Seshadri constants at a single point this follows from [1, Lemma 5.2] and the argument easily modifies to the multiple point case. We call any curve C with

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

a Seshadri curve for L at the r-tuple [P.sub.1], ..., [P.sub.r].

Oguiso (see [9]) studied the behavior of Seshadri constants [epsilon] (L; P) under the variation of the point P. He showed that the Seshadri function

[[epsilon].sub.1] : X [contains as member] P [right arrow] [epsilon] (L;P) [member of] R

is semi-continuous and that it attains its maximal value at a set which is a complement of an at most countable union of Zariski closed proper subsets of X i.e. for a very general point P. Oguiso arguments can be easily adapted to finite subsets. By [epsilon](L; r) we will abbreviate the maximal value of the function

[[epsilon].sub.r] : [X.sup.r] [contains as member] ([P.sub.1], ..., [P.sub.r]) [right arrow] [epsilon] (L;[P.sub.1] , ..., [P.sub.r]) [member of] R

i.e. [epsilon](L;r): = max [[epsilon].sub.r].

Nakamaye (see [8, Corollary 3]) observed that in case of surfaces an inequality of type

[epsilon](L;1) < [lambda] x [alpha] (L;1)

with a small factor [lambda] has strong consequences for the geometry of the surface. Namely there exists a non-trivial fibration of X over a curve B whose fibers are Seshadri curves for L. On surfaces this was studied in more detail by Tutaj-Gasinska and the second author [12]. Hwang and Keum passed from surfaces to varieties of arbitrary dimension (see [5]). In [11] we started research along the same lines for multiple point Seshadri constants. In particular we proved the following theorem.

Theorem on fibrations. Let X be a smooth projective surface, L a nef and big line bundle on X and r [greater than or equal to] 2 a fixed integer. If

[epsilon](L;r)< [square root of r - 1/r x [alpha](L;r) (2)

then there exists a fibration f : X [right arrow] B over a curve B such that given [P.sub.1], ..., [P.sub.r] [member of] X very general, for arbitrary i = 1, ..., r the fiber [f.sup.-1] (f([P.sub.i])) computes [epsilon] (L;[P.sub.1], ..., [P.sub.r]) i.e. the fiber is a Seshadri curve of L.

Furthermore we showed that the bound in the Theorem is sharp in the sense that for every integer r there exists a surface X together with an ample line bundle L such that one has equality in (2) and X is not fibred by Seshadri curves of L.

The purpose of this note is to characterize the pairs (X, L) for which one has an equality in (2) and X is not fibred by Seshadri curves. The description of such pairs is provided in the next theorem which is our main result.

Theorem 1. Let r [greater than or equal to] 2 be a given integer, X a smooth projective surface and L a nef and big line bundle on X such that

[epsilon](L;r) = [square root of r - 1/r x [alpha](L;r). (3)

If X is not fibred by Seshadri curves for L, then

a) either r = 2, X = [P.sup.2] and L = O(1),

b) or X is a surface of minimal degree in [P.sup.r] and L = [O.sub.X] (1).

Remarks.

(i) A similar theorem for r = 1 was already obtained by us in [11, Theorem 3.2] but the result and the methods are somewhat different.

(ii) A smooth surface is of minimal degree if and only if it is the Veronese surface in [P.sup.5] or a rational normal scroll. This was proved by Del Pezzo (see [2]).

(iii) The converse of the Theorem holds: for any surface X of minimal degree and L = [O.sub.x] (1), the equality (3) holds. This is easy to see taking the hyperplane section through r given points.

1 Useful Lemmas

Here we recall two Lemmas which are essential for the proof of the main result.

The first Lemma goes back to Xu [13, Lemma 1].

Lemma 1.1. Let X be a smooth projective surface, let [([C.sub.t], [([P.sub.1]).sub.t], ..., [([P.sub.r]).sub.t]).sub.t[member of][DELTA]] be a nontrivial one parameter family of pointed reduced and irreducible curves on X and let [m.sub.i] be positive integers such that [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. Then

for r = 1 and [m.sub.1] [greater than or equal to] [C.sup.2.sub.t][greater than or equal to] [m.sub.1] ([m.sub.1] - 1) + 1 and for r [greater than or equal to] 2 [C.sup.2.sub.t][greater than or equal to][[summation].sup.r.sub.i-1] [m.sup.2.sub.i] - min{[m.sub.1],. .., [m.sub.r]}.

The second lemma was obtained by Kuchle in [6] and has purely arithmetical character.

Lemma 1.2. Let r [greater than or equal to] 2 and [m.sub.1], ..., [m.sub.r] [member of] Z be integers with [m.sub.1] [greater than or equal to] ... [greater than or equal to] [m.sub.r] [greater than or equal to] 1 and [m.sub.1] [greater than or equal to] 2. Then we have

(r + 1) [r.summation over (i=1)] [m.sup.2.sub.i > [([r.summation over (i=1)] [m.sub.i]).sup.2] + [m.sub.r](r+1).

2 Proof of the Theorem

In this section we prove Theorem 1. First we give a short overview of the proof. Since the Seshadri constants of the line bundle in Theorem 1 are strictly less than the upper bound, they must be computed by Seshadri curves.

We investigate properties of these curves in three steps. First we show that under assumptions of Theorem 1 the multiplicities of Seshadri curves in points [P.sub.1],..., [P.sub.r] must all be equal to 1. This is an arithmetical part of the proof.

In the second step which is more analytical, we show that Seshadri curves must be rational.

The third step is geometrical and realizes Seshadri curves as hyperplane sections of X embedded in a projective space as a surface of minimal degree.

Let us now turn to the details.

2.1 Multiplicities of Seshadri curves

By assumptions of the Theorem 1 inequality (1) is satisfied so for every r-tuple [P.sub.1], ..., [P.sub.r] there exists a Seshadri curve (C; [P.sub.1], ..., [P.sub.r]). By [10, Proposition 1.3] there are finitely many such curves for every r-tuple. For a very general r-tuple we have the equality

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. (4)

The number of algebraic families of curves satisfying this equality is at most countable. So at least one of these families must not be discrete. From now on we are interested in Seshadri curves ([C.sub.t]; ([P.sub.1]) t, ..., [([P.sub.r]).sub.t]) for L moving in a non-trivial family over some algebraic set [DELTA]. Let mi be the biggest integers such that

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

for all t [member of] [DELTA]. Making [DELTA] a little bit smaller if necessary we may assume that actually [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

Renumbering the points if necessary we may also assume that

[m.sub.1] [greater than or equal to] ... [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] [m.sub.r].

There are the following three cases possible:

(A) [m.sub.r] [greater than or equal to] 1 and [m.sub.1] [greater than or equal to] 2;

(B) [m.sub.1] = ... [m.sub.r] = 1;

(C) [m.sub.r] = 0.

In this step we want to exclude (A) and (C).

In case (A) we are in the position to apply Lemma 1.2. Thus

1/r + 1 [([r.summation over (i=1)][m.sub.i]).sup.2] < [r.summation over (i=1)] [m.sup.2.sub.i] - [m.sub.r] [greater than or equal to] [C.sup.2.sub.t],

where the second inequality is assured by Lemma 1.1. Multiplying the above inequality by [L.sup.2] and applying the index theorem on the right hand side we arrive to the following inequality

1/r + 1 [([r.summation over (i=1)][m.sub.i]).sup.2] x [L.sup.2] < [(L.[C.sub.t]).sup.2].

Dividing by the sum of multiplicities and revoking (4) we obtain

1/r + 1 x [L.sup.2] < r - 1/[r.sup.2] x [L.sup.2]

which is not possible.

In case (C) if r [greater than or equal to] 3, then we have

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

Hence our Theorem on fibrations shows that X is covered by Seshadri curves for L contradicting the assumption of Theorem 1.

If r = 2, then by assumption we have

[epsilon](L;1) = [square root of 1/4 [L.sup.2]]

and in this case we get the same contradiction by [12, Theorem].

Thus we showed that for [P.sub.1], ..., [P.sub.r] very general the Seshadri curve for L has multiplicities equal l at all these points. In particular we conclude from (4) that

L.(C; [P.sub.1], ..., [P.sub.r]) = [square root of (r -1)[L.sup.2]. (5)

Together with the index theorem we get

[C.sup.2] [less than or equal to] r - 1. (6)

2.2 Rationality of Seshadri curves

In this part we follow basically the deformation argument of [4] with necessary modifications. First we observe that one can fix the points [P.sub.1], ..., [P.sub.r-1] and consider Seshadri curves for the r-tuples [P.sub.1], ..., [P.sub.r-1], P with the last point moving. Among these curves one can find again a non-trivial family ([C.sub.t]; [P.sub.1], ..., [P.sub.r-1], [P.sub.t]) over some smooth base O. For t general the corresponding Kodaira-Spencer map

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

factorizes in fact over [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII].

Lemma 1.1 implies that [C.sup.2.sub.t] [greater than or equal to] r - 1. In view of (6) we obtain that in fact deg [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. Since the image of the Kodaira-Spencer map is non-zero we conclude that the line bundle [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is trivial. Equivalently, there is a section [s.sub.r] in [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] whose zero locus is exactly the divisor [P.sub.1] + ... + [P.sub.r-1]. Fixing [P.sub.r] and moving instead another point in the tuple we get in the same manner sections [s.sub.1], [s.sub.2] ..., [s.sub.r] in [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] whose zero loci are [P.sub.2] + ... + [P.sub.r], [P.sub.1] + [P.sub.3] + ... + [P.sub.r], ..., [P.sub.1] + ... + [P.sub.r-1] respectively. They are obviously independent. This shows that [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] is a line bundle of degree r - 1 with at least r sections. This can happen only in the case when Ct is a rational curve. Thus we showed that under assumptions of Theorem the Seshadri curves are rational.

2.3 Embedding X as a surface of minimal degree

It follows from the last part that X is rationally connected hence it is a rational surface. Since [C.sup.2] = r - 1 for Seshadri curves, it follows from the index theorem and (5) that the Seshadri curves are numerically equivalent. On rational surfaces this implies the linear equivalence, so Seshadri curves move in a single linear system. We call this system [absolute value of M] and we show that M is in fact very ample.

First we show that M separates points. Let P and Q be two distinct points on X. Let C be a Seshadri curve for L lying in [absolute value of M] and passing through P. It might happen that Q lies also on C. Taking [P.sub.2], ..., [P.sub.r-1] general on C we have that (C; P, [P.sub.2], ..., [P.sub.r-1], Q) is a Seshadri curve for L. Taking Q' very general away of C there exists also a Seshadri curve (C'; P, [P.sub.2], ..., [P.sub.r-1], Q'). Since C.C' = r - 1 this new curve cannot pass through Q and thus we separated P and Q.

Next we show that M separates tangent vectors. To this end for a fixed point P it is enough to find two Seshadri curves intersecting transversally at P. Again, this is the case for the curves C and C' from the argument above as they have r 1 = C.C' points in common, so must intersect at every of these points transversally.

If r = 2 then M has degree 1. This shows that X is [P.sup.2]. For r [greater than or equal to] 3 and a smooth curve C [member of][absolute value of M] we consider the exact sequence

O [right arrow] [O.sub.X] [right arrow] [O.sub.X] (M) [right arrow] [O.sub.C] (C) [right arrow] 0.

Since [H.sup.1] ([O.sub.X]) = 0 and [h.sup.0] (C, [O.sub.C](C)) = r as already established in the previous part, we conclude from the long cohomology sequence that M has r + 1 sections. Hence the image of X under the mapping given by [absolute value of M] must be a surface of minimal degree.

Acknowledgement. During the conference "Linear systems and subschemes" held in Gent in April 2007 we presented the results of [11] and began investigations which led to the present note. We would like to thank the organizers of this conference for providing a nice and stimulating atmosphere. We would also like to thank Brian Harbourn for nice discussions there.

Both authors were partially supported by MNiSW grant N N201388834.

References

[1] Bauer, Th.: Seshadri constants on algebraic surfaces. Math. Ann. 313 (1999), 547-583

[2] Del Pezzo, P: Sulle superficie di ordine n immerse nello spazio din + 1 dimensioni. Rend. Circ. Mat. Palermo 1 (1886)

[3] Demailly, J.-P : Singular Hermitian metrics on positive line bundles. Complex algebraic varieties (Bayreuth, 1990), Lect. Notes Math. 1507, SpringerVerlag,1992, pp. 87-104

[4] Ein, L., Lazarsfeld, R.: Seshadri constants on smooth surfaces. In Journees de Geometrie Algebrique d'Orsay (Orsay, 1992). Asterisque No. 218 (1993), 177-186

[5] Hwang, J.-M., Keum, J.: Seshadri-exceptional foliations. Math. Ann. 325 (2003), 287-297

[6] Kuchle, O.: Ample line bundles on blown up surfaces. Math. Ann. 304 (1996),151-155

[7] Lazarsfeld, R.: Positivity in Algebraic Geometry I. Springer-Verlag, 2004.

[8] Nakamaye, M.: Seshadri constants and the geometry of surfaces. J. Reine Angew. Math. 564 (2003), 205-214

[9] Oguiso, K.: Seshadri constants in a family of surfaces. Math. Ann. 323 (2002), 625-631

[10] Syzdek, W: Submaximal Riemann-Rock expected curves and symplectic packing. Ann. Acad. Paedagog. Crac. Stud. Math. 6 (2007), 101-122

[11] Syzdek, W., Szemberg, T.: Seshadri fibrations of algebraic surfaces. arXiv:0709.2592v1 [math.AG], to appear in: Math. Nachr.

[12] Szemberg, T., Tutaj-Gasinska, H.: Seshadri fibrations on algebraic surfaces, Ann. Acad. Paedagog. Crac. Stud. Math. 4 (2004), 225-229

[13] Xu, G.: Ample line bundles on smooth surfaces. J. refine angew. Math. 469 (1995),199-209

Instytut Matematyki AP, ul. Podchorazych 2, PL-30-084 Krakow, Poland current address: Mathematisches Institut, Universitat Duisburg-Essen, 45117 Essen, Germany E-mail:syzdek@ap.krakow.pl, Szemberg@ap.krakow.pl
COPYRIGHT 2009 Belgian Mathematical Society
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2009 Gale, Cengage Learning. All rights reserved.

Article Details
Printer friendly Cite/link Email Feedback
Author:Syzdek, Wioletta; Szemberg, Tomasz
Publication:Bulletin of the Belgian Mathematical Society - Simon Stevin
Geographic Code:4EUBL
Date:Nov 1, 2009
Words:2895
Previous Article:A characterization of nef and good divisors by asymptotic multiplier ideals.
Next Article:Compositional frequent hypercyclicity on weighted Dirichlet spaces.
Topics:

Terms of use | Privacy policy | Copyright © 2021 Farlex, Inc. | Feedback | For webmasters |