Let E be a semistable, rank two vector bundle of degree d on a Riemann surface C of genus g > 1, i.e. such that the minimal degree s of a tensor product of E with a line bundle having a nonzero section is nonnegative.We give an analogue of Clifford's lemma by showing that E has at most (d-s)/2 + 6 independent sections, where 6 is 2 or 1 according to whether the Krawtchouk polynomial Kr(n, N) is zero or not at r = (d-s)/2 + 1, n = g, N = 2g-s (the analogous bound for nonsemistable rank two bundles being stronger but easier to prove).This gives an answer to the problem posed by Severi asking for the minimal degree of a directrix of a ruled surface.In some cases, namely if s has maximal value s = g, or if s > gonality(C) -2, or if E is general among those of the same Segre invariant s, or also if the genus is a power of two, we prove the bound holds with 3 = 1.The theory of Krawtchouk polynomials investigates which triples (g, s, d) provide zeros of Kr(n,N).Then, they generate invariants which one may expect to be associated to a Severi bundle, i.e., to a rank two semistable bundle reaching the bound with 3 = 2.According to this theory, there are only a finite number of such triples (g, s, d) for each value of ds, with the exception that there are infinitely many triples with d-s = 2 or 4. We then find all the Severi bundles corresponding to those two exceptional values of ds.We thank David Butler for a personal communication which we have used in proving Proposition 3.1.We also thank Enrique Arrondo, Rafael Hernandez, Jorge Jimenez and Bernardo L6pez for conversations during the preparation of this article.JAVIER CILLERUELO AND IGNACIO SOLS having a nonzero section or, equivalently, the integer s such that the maximal degree of a line subbundle L c-E is d2S.In [16] Nagata proved that such an integer s is at most g and that we can assume s > 2-2g, because otherwise H1(L* ® (E/L)) = O, which implies that E is decomposable and the rank one Clifford bound is enough to bound its sections.Let us recall, furthermore, that the bundle E is stable if s > 0, and semistable if s > 0. If E is special, i.e., if h°(E) is neither zero nor given by the Riemann-Roch formula h°(E) = d + 2 -2g, then we have s < d < 4g -4s.Therefore we center our study in this "Severi range" of values of d.This study is trivial in case E is not semistable, providing then a sharp bound (stronger than the "Severi bound" for semistable bundles in Theorem 0.2 below): PROPOSITION 0.1.Let E be a rank two bundle of Segre invariant s, 2 -2g < s < 0, and degree d on a Riemann surface of genus g.If s < d < -s then h°(E) < [ds] + 1. d + 3 if d is odd If-s < d < 4g-4+s then h(E) < + 2 if d is even, and d s (4) + 1 if d is even, and d g s (4).If4g-4 + s < d < 4g s then hO(E) < [3d] g + 2. Furthermore, for each g, s, d in this range, there are a Riemann surface of genus g, and a rank two bundle of invariant s and degree d reaching the bound.Indeed, by Serre duality it is enough to show the bound in the case d < 2g -2.Let L be a subbundle of maximal degree 0 - L - E - L' -0, i.e. degL = d-2 < 2g-2 and degL' = d-< g -2.Then the desired bound follows from h°(L) < [d] + 1 and h°(L') < max{0, [d+] + 1} (for the case -s< d < 2g-2, we note that d+s _ d-s or d+sd-s (mod 4) depending on whether d is even or odd).For the second assertion, since our assumption on the invariant s implies that g > 2, we can take C to be a hyperelliptic curve, and E = L L', where degL = d, degL' = d+s and h°(L) [ds] + 1, h°(L') = max{0, [d+s] + 1 In Section 1 we present the proof of our main theorem, in which the binary Krawtchouk polynomials Kr(n,N) appear.Let us recall that these polynomials are defined, for each r > 0, by their generating function Kr(n, N)zr = (1z)n(l + z)N-n r
Read more