arxiv:math/ v1 [math.ag] 27 Nov 2005

Transcription

1 axiv:math/ v1 [math.ag] 27 Nov 2005 On the Bill-Noethe theoy fo K3 sufaces Maxim Leyenson Abstact Let (S, H) be a polaized K3 suface. We define Bill-Noethe filtation on moduli spaces of vecto bundles on S. Assume that (c 1(E),H) > 0 fo a sheaf E in the moduli space. We give a fomula fo the expected dimension of the Bill-Noethe subschemes. Following the classical theoy fo cuves, we give a notion of Bill-Noethe geneic K3 sufaces. Studying coespondences between moduli spaces of coheent sheaves of diffeent anks on S, we pove ou main theoem: polaized K3 suface which is geneic in sense of moduli is also geneic in sense of Bill-Noethe theoy (hee H is the positive geneato of the Picad goup of S). In case of algebaic cuves such a theoem, poved by Giffiths and Hais and, independently, by Lazasfeld, is sometimes called the stong theoem of the Bill-Noethe theoy. We finish by consideing a numbe of pojective examples. In paticula, we constuct explicitly Bill-Noethe special K3 sufaces of genus 5 and 6 and show the elation with the theoy of Bill-Noethe special cuves. Contents 1 Intoduction Classical Bill-Noethe theoy Genealizations The case of K3 sufaces Techniques Stuctue of the pape Acknowledgments Peliminaies: moduli spaces of acceptable sheaves on a K3 suface. 6 3 Bill-Noethe statification of M H (v) and statement of the main theoem 8 4 The coespondence A, A few technical lemmas Numeical stuctue of the coespondence A on a K3 suface Fou special cases Case (a) Case (b) and poof of the main theoem Case (c) Case (d)

2 8 Examples Example: g = 3, d = Example: g = 4, d = Geomety of W4 1 (C) fo a tigonal cuve of genus five Example of a Bill-Noethe special K3 of genus Example: g = 5, d = Example: g = 5, d = Example of a Bill-Noethe special K3 of genus Example: g = 6, d = Intoduction 1.1 Classical Bill-Noethe theoy. We stat by ecalling some esults of classical Bill-Noethe theoy. Let C be a smooth pojective cuve of genus g ove an algebaically closed field k of chaacteistics 0; conside the Picad vaiety Pic d (C) paameteizing degee d line bundles on C. Fo a line bundle L on C one can define cohomology goups with coefficients in L, H 0 (C, L) and H 1 (C, L); these ae vecto spaces ove the base field k. The vecto space H 0 (C, L) can be intepeted as the space of global sections of L. Let us denote by h i (C, L) the dimension of the vecto space H i (C, L) ove k, i = 0, 1. These numbes ae elated by the Riemann- Roch fomula h 0 (C, L) h 1 (C, L) = χ(l) = d + 1 g, thus, given h 0 (C, L), we can compute h 1 (C, L) fom the fomula above. Theefoe, the Picad vaiety Pic d (C) has a natual filtation given by the value of h 0 (C, L), Pic d (C) W 0 d (C) W 1 d (C)..., whee Wd (C) is the set of isomophism classes of the degee d line bundles L which satisfy the condition h 0 (L) +1. (The shift by +1 appeas fo histoical easons: if h 0 (C, L) = + 1, then is the dimension of the linea system L ). One can pove that each Wd (C) is a set of points of a closed subvaiety in the Picad vaiety Pic d (C), and it is classically known that many questions of the pojective geomety of C can be efomulated in tems of the geomety of these subvaieties, named the Bill-Noethe loci afte Bill and Noethe who did the fist essential study of them in [1] in (The notation Wd itself goes back to Bill and Noethe.) Fo example, the vaiety W2 1 (C) is not empty iff the cuve C is hypeelliptic, and if C can be epesented as a plane cuve of degee d, then Wd 2 (C) is not empty. What is known about the geomety of the Bill-Noethe loci fo a cuve C? We fomulate only a few esults. Fist, one can constuct two vecto bundles, E and F, on a Picad vaiety Pic d (C), and a map σ : E F in such a way that Wd is equal to the degeneation subvaiety of D k(σ) fo a cetain k, whee D k (σ) = {x Pic d (C) : ankσ(x) k} 2

3 (see, e.g., [13], Chapte 14.) In such a situation one can define the expected (o vitual ) dimension of the vaiety Wd in such a way that if the map σ is geneic in an appopiate sense, then the dimension of the degeneation vaiety Wd is equal to its expected dimension. The expected dimension of Wd (C) depends only on the numbes g, d and, but not on the cuve C itself, and is classically denoted as ρ(, g, d). One has ρ(, g, d) = g ( + 1)(g d + ) and ρ(, g, d) is called the Bill-Noethe numbe. If, fo a given cuve C and numbes and d, the vaiety Wd (C) has the expected dimension ρ(, g, d), then much is known about the geomety of Wd (C), fo example, one can compute its cohomology class (in the case k = C) in the cohomology ing of the Picad vaiety (A. Poincae), its nomal invaiants, and so on. (See [6] fo many moe details). The cuve C is said to be Bill-Noethe geneal if (a) wheneve ρ(, g, d) < 0 (the expected dimension of Wd (C) is negative), the vaiety Wd (C) is empty, and (b) wheneve ρ(, g, d) 0, the vaiety Wd (C) is not empty and dimw d (C) = ρ(, g, d) (i.e., Wd (C) is of expected dimension). It was conjectued by Bill and Noethe that a geneic cuve C in the moduli space of cuves of genus g is (what we call now) Bill-Noethe geneal. The fist poof was given by Giffiths and Hais in 1980 ([5]) and used a degeneation agument. It was also obseved (Miles Reid, Tyuin, Donagi-Moison, Lazasfeld) that if the cuve C can be ealized as a hypeplane section of some K3 suface S, then the geomety of the Bill-Noethe loci Wd (C) is closely elated to the geomety of the suface S. Lazasfeld poved that if C is a cuve which can be embedded into a K3 suface S in such a way that the linea system C does not contain non-educed o educible cuves, then wheneve ρ(, g, d) < 0 the vaiety Wd (C) is empty. 1.2 Genealizations. Thee ae two most natual ways to genealize the classical Bill-Noethe theoy: fist, instead of studying line bundles one can conside coheent sheaves of abitay ank. (Unfotunately, the dimension of the linea system L, as in the notation Wd, and the ank of a vecto bundle ae classically denoted by the same lette.) Second, instead of studying cuves, one can conside vaieties X of dimension geate than one. One can go in both diections simultaneously, fixing a vaiety X equipped with an ample diviso class H and consideing the moduli space M = M H (, c) of H - stable vecto bundles (o coheent sheaves) of ank and Chen class c, and studying the subschemes in M defined by the conditions {h i (X, E) k i }. Going in the fist diection, Newstead and othes studied the Bill-Noethe loci in the moduli spaces of stable ank vecto bundles on cuves (thei esults 3

4 ae published in a sequence of papes in ). Mumfod s study of special 0-cycles, done in the Chaptes of [4] in ode to constuct the Picad scheme of an algebaic suface S, can be intepeted as a poof of non-emptiness of cetain Bill-Noethe vaieties in the moduli space of ank 1 tosion fee sheaves on S. Goettsche and Hischowitz studied the Bill-Noethe loci in the moduli spaces of stable vecto bundles on the pojective plane P 2. It is known that if S is an algebaic suface ove k = C, then the geomety of the Bill- Noethe loci in the moduli spaces of vecto bundles on S is connected with the invaiants of smooth stuctue of S.(Fo example, Ellingsud, Stomme and Le Potie studied the Bill-Noethe statification in the moduli space of stable vecto bundles on P 2 in ode to compute some Donaldson invaiants of P 2 ). 1.3 The case of K3 sufaces. We conside the Bill-Noethe filtation in the moduli space of stable vecto bundles on K3 sufaces. In geneal, a vecto bundle E on an algebaic suface S has thee Betti numbes, h 0 (S, E), h 1 (S, E), and h 2 (S, E), which ae elated by the Riemann- Roch theoem h 0 (S, E) h 1 (S, E) + h 2 (S, E) = χ(s, E), and theefoe one natually has to conside a bifiltation in the moduli spaces of stable vecto bundles on S given by the condition h 0 (S, E) k, h 1 (S, E) l. Howeve, if S is a K3 suface, one can pove that the second cohomology goup H 2 (S, E) vanish fo all stable vecto bundles E such that (c 1 (E), H) > 0. It follows that one has to conside only two Betti numbes which ae subject to one elation, and theefoe the situation in the case of K3 is simple and it is enough to study the filtation defined by the dimension of the spaces of global sections. Let S be a K3 suface. Let a Pic(S), d Z, and let M = M H (, a, d) be the moduli space of H-stable vecto bundles E on S which satisfy k(e) =, c 1 (E) = a and c 2 (E) = d. We define the Bill-Noethe filtation on M as BN k (M) def = BN k (, a, d)(s) def = {[E] M H (, a, d) : h 0 (S, E) k}. We ealize BN k (M) as the degeneation vaiety of a mophism of vecto bundles σ : E F on the moduli space M. We then compute the expected dimension of the Bill-Noethe loci BN k (M), which we denote as v.dimbn k (M) ( v stands fo vitual ). It is natual to ask, then, whethe, at least fo a geneal K3 suface S, the numeic condition v.dimbn k (M) < 0 implies that the vaiety BN k (M) is empty, and whethe v.dimbn k (M) 0 implies that BN k (M) is not empty and is of the expected dimension. We give a patial answe to this question. To summaize ou esults shotly, (1) we give examples of situations when the expected dimension of the Bill- Noethe subscheme BN k (v) is geate than zeo, but the coesponding 4

5 subscheme is empty, in contast with the classical case, and define a good geogaphic egion in the space of numeical paametes (g, d,, k) whee we expect the Bill-Noethe filtation to behave in the expected way fo a geneic K3 suface; (2) we pove that if S is a K3 suface with Pic S Za, whee a is the positive geneato of Pic S, and the geneic cuve in the linea system a is Bill- Noethe geneal in the classical sense, then the Bill-Noethe filtation on the moduli space M H (, a, d) has the expected behavio in the good geogaphic egion, and consists of empty vaieties outside of the good egion, i.e., in this case we have a full answe to the question we study. A theoem of Lazasfeld implies that the second condition above is exta, i.e., that fo a K3-suface S with PicS Za, whee a is the positive geneato of PicS, the geneic cuve C in the linea system a is Bill- Noethe geneal. Thus a geneic polaized K3 suface is Bill-Noethe geneal in the good egion. We also give some examples of Bill-Noethe-special K3 sufaces (with ank of PicS > 1), and give some applications to the biational geomety of the moduli spaces of vecto bundles on K3 sufaces. 1.4 Techniques. Below I summaize the techniques we use. Fist, we extend the poblem to include cetain coheent sheaves of ank 0 and 1, thus extending ou pictue to the moduli spaces of all the anks 0. Fo ank 0, studying the coesponding Bill-Noethe filtation on the moduli space M(0, a, d) is equivalent to studying the classical Bill-Noethe theoy fo cuves on S in the linea system a, and fo sheaves of ank 1 studying of the Bill-Noethe filtation on M(1, a, d) is equivalent to the study of the 0-cycles on S which fail to impose independent conditions on cuves in the linea system a. Then, continuing the line of thought of Tyuin in [14], we define some system of coespondences which elate Bill-Noethe vaieties in the moduli spaces of sheaves of vaious anks. We can use this system of coespondences to obtain infomation about the geomety of the Bill-Noethe vaiety BN k (, a, d) fo a given k and, povided that we can guaantee that fo a cetain, depending on, k, a and d, (1) fo a geneic vecto bundle [E] M H (, a, d) one has h 1 (S, E) = 0, and (2) geneic vecto bundle in M H (, a, d) is globally geneated. Howeve, this seem to be a had question on its own. In ou study of the Bill-Noethe theoy on S we apply the coespondence twice, the fist time to tanslate some infomation about the special linea systems on cuves on the suface S into infomation about the behavio of the geneic vecto bundles [E] M H (, a, d) fo vaious anks, thus evesing the line of though of Lazasfeld 5

6 and answeing, unde cetain conditions, the question about the behavio of the geneic vecto bundles posed above, and the second time to tanslate the infomation about the geneic vecto bundles in the moduli spaces M H (, a, d) into the infomation about the given Bill-Noethe vaiety BN k (, a, d). 1.5 Stuctue of the pape. The poof of some technical esults will appea in a sepaate publication [22]. The poof of the main theoem is given completely in this pape. 1.6 Acknowledgments. My inteest in the Bill-Noethe theoy was pompted by a convesation with pof. M.S. Naasimhan at the Intenational Cente fo Theoetical physics (ICTP), Tieste, Italy in I would like to thank pof. M.S. Naasimhan and ICTP fo hospitality. The poof of the main theoem is based on the ideas of Robet Lazasfeld and Andey Tyuin. This pape is a esult of my attempt to undestand the Cycles, cuves and vecto bundles on algebaic sufaces by Andey Tyuin ( [14]). I am thankful do Dima Ainkin fo eading the peliminay vesion of the manuscipt. I am especially thankful to Andey Levin of the Institute fo Theoetical and Expeimental Physics (ITEP, Moscow) fo numeous discussions, help, encouagement and psychological suppot. The poof of the technical esults mentioned in will hopefully appea in the second pat of the pape. 2 Peliminaies: moduli spaces of acceptable sheaves on a K3 suface. Let S be a K3 suface ove an algebaically closed field k of chaacteistic 0. Let K(S) = K 0 (S), K (S) = Z Num S Z, and K = Z 3. Conside the maps ch K(S) K (S) ǫ K, whee the Chen chaacte map ch takes a class of a locally fee sheaf E to its Chen chaacte ch(e) = (ke, ch 1 (E), ch 2 (E)), and ǫ(, v 1, v 2 ) = (, g, d), whee g = v , and d = v2 1 2v2 2. Note that ch 2 (E) = (c 1 (E) 2 2c 2 (E))/2 Z, since Num S is an even lattice, so the map ch is coectly defined. Note also that fo a locally fee sheaf E one has ǫ(v([e])) = (k E, g, d), whee g is the aithmetic genus of a cuve in the linea system c 1 (E) in the case it is not empty, and d = c 2 (E). Note that linea equivalence on S coincides with numeical equivalence, since H 1 (S, O S ) = 0. 6

7 If a NumS, we denote by a the linea system PH 0 (S, L a ), whee L a is the unique invetible sheaf on S with c 1 (L a ) = a, and by a s the open subscheme in a paametizing smooth ieducible cuves. We say that a coheent sheaf F on S is acceptable 1 if it satisfies one of the following conditions: 1. kf 2 and F is locally fee; 2. kf = 1 and F is tosion fee; 3. kf = 0 and F is isomophic to the diect image of an invetible sheaf on a smooth ieducible cuve on S. We give some justification to this definition late. Let H Num(S) be a class of an ample diviso, let v = (, v 1, v 2 ) K (S) such that (v 1, H) > 0, and let M(v) = M H (v) be the moduli space of H-stable acceptable coheent sheaves on S with Chen chaacte v. (This moduli space can be constucted as an open subscheme in the moduli space of stable coheent sheaves. Fo the constuction of the latte see, fo example, [17].) Let ǫ(v) = (, g, d). We define β = v 2 = g 1 d and 2.1 Definition. α = β = d + 1 g ρ(, g, d) := g ( + 1)( + g d) Note that if d < 0, then ρ(, g, d) < 0. Fo any Z we let = Theoem (Shigeu Mukai, [7, 8]). If 2 and ρ(, g, d) 0, then M H (v) is a smooth scheme of dimension 2ρ(, g, d) = 2(g ( α)). If 2 and ρ(, g, d) < 0, then M H (v) is empty Lemma (case = 1).Thee is an isomophism i 1 : Hilb d (S) M H (1, a, β), which takes a 0-dimensional subscheme ξ S of length d to the isomophism class [J ξ (L a )], whee L a is the unique invetible sheaf on S with Chen class c 1 (L a ) = a. It follows that M H (1, a, β) is a smooth ieducible vaiety of dimension 2d if d 0, and is empty if d < 0. 1 This is not a standad teminology 2 Yoshioka poved that if ρ 0, then M(v) is not empty and is ieducible. We ae not using his esult. 7

8 2.4 Lemma (case = 0).Thee is an isomophism i 0 : Pic 2g 2 d ( a s ) M H (0, a, β), whee Pic 2g 2 d ( a s ) is the Picad vaiety of degee 2g 2 d line bundles on cuves in the linea system a s. A point in Pic 2g 2 d ( a s ) is a pai (C, B), whee C is a smooth ieducible cuve in a and B Pic 2g 2 d (C). In the notations of [2], Pic 2g 2 d ( a s ) is a component of the elative Picad vaiety Pic C/ a s, whee C/ a s is the univesal cuve ove a s. The isomophism i 0 takes a pai (C, B) to the diect image (i C ) (B), whee i C : C B is the canonical embedding. In paticula, M(0, a, β) is an ieducible vaiety of dimention 2g. 2.5 Remak. The fomula dimm(, a, β) = 2ρ(, g, d) emains valid fo = 0 and = 1. 3 Bill-Noethe statification of M H (v) and statement of the main theoem 3.1 Lemma: Fo evey [F] M H (v) we have H 2 (S, F) = 0. (Recall that (v 1, H) > 0.) This lemma pompts the following definition: 3.2 Definition: BN k (v) = {[F] : ch(f) = v, F is acceptable and H-stable, h 0 (S, F) k} 3.3 Remak (case = 0). If = 0, we have BN k (0, a, β) = W k 2g 2 d ( a s ), whee W d ( a s ) is the elative Bill-Noethe scheme ove the linea system a s. Note that thee is a mophism W d ( a s ) a s with fibes W d (C). 3.4 Special 0-subschemes on a suface. Let S be an algebaic suface, L be an invetible sheaf on S, and ξ Hilb d (S) be 0-subscheme in S. The index of speciality of ξ with espect to L, denoted as δ(ξ, L), is defined by the equality h 0 (S, J ξ (L)) = h 0 (S, L) d + δ(ξ, L) It follows that δ(ξ, L) 0, and δ(ξ, L) > 0 if and only if ξ fails to impose d independent conditions on cuves in the linea system L. If δ(ξ, L) > 0, ξ is said to be special with espect to L. Consideing the adjunction sequence 0 J ξ (L) L O ξ (L) 0, one can see that δ(ξ, L) = h 1 (S, J ξ (L)) h 1 (S, L). Fo a given δ 0 the set of 0-subschemes on S which satisfy δ(ξ, L) δ fom a closed subscheme in the Hilbet scheme of points Hilb d (S) which we denote as Hilb d (L,δ) (S). 8

9 3.5 Special 0-subschemes on a K3 suface. If S is a K3 suface and L is ample, we have δ(ξ, L) = h 1 (J ξ (L)) = h 0 (S, J ξ (L)) χ(s, J ξ (L)) = h 0 (S, J ξ (L))+ α 2. Coollay: case = 1. On a K3 suface S thee is an equality BN k (1, a, β) = Hilb d (L,k+α 2)(S). 3.6 Simple Caley-Bachaash 0-cycles. Definition. A 0-subscheme ξ S of length d is called simple if it can be witten as a sum of d distinct points on S, ξ = [p 1 ] + + [p d ], p i p j. Definition. If L is an invetible sheaf on S and ξ is a simple 0-cycle on S, then ξ is said to be Caley-Bachaash with espect to L if fo evey point p i ξ and evey cuve C in the linea system L such that all the points p i, i d, belong to C we also have p i C, (i.e., if h 0 (S, J ξ pi (L)) = h 0 (S, J ξ (L)) fo evey i.) Fo example, if C and D ae plane cuves and ξ = C D is a simple 0- cycle, then ξ is Caley-Bachaash with espect to the linea system O P 2(deg C + deg D 3). In paticula, evey plane cubic containing eight out of nine points of intesection of two fixed plane cubics also contains the ninth point (Caley- Bachaash theoem.) Let ξ = p p d be a simple Caley-Bachaash 0-cycle on S. One can see that δ(ξ, L) = δ(ξ p i, L) + 1 fo each i. It follows that ξ is special with espect to L. One can pove that fo each given δ > 0 simple Caley-Bachaash 0-cycles fom an open subscheme in Hilb d (L,δ)(S). We let Hilb d (L,δ) o(s) = Hilbd (L,δ) (S) Hilbd (L,δ+1) (S). 3.7 Lemma. Let us fix v, and assume that M(v) is not empty. Let us substitute M(v) with any of its ieducible components One can constuct vecto bundles E and F on M(v) and a map σ : E F in such a way that BN k (v) is the set of points x M(v) at which the ank of σ dops by a cetain numbe l. In paticula, BN k (v) is the set of points of a closed subscheme D l (σ) in the moduli space M(v). (Abusing notations, we sometimes denote this subscheme as BN k (v)). 2. If BN k (v) is not empty, then codim M(v) BN k (M(v)) k(k χ(v)), whee χ(v) = χ(s, F) fo [F] M(v) Definition. We define the expected, o vitual, dimension of BN k (M(v)) by v.dimbn k (M(v)) = dim M(v) k(k χ(v)) (3.1) = 2ρ(, g, d) k(k χ) (3.2) 3 We do not use the stong esult that M(v) is ieducible 4 Note that the same fomula is tue in the classical Bill-Noethe theoy fo line bundles on cuves, see, e.g., [16]. 9

10 whee χ = χ(v) = 2 + β is the Eule chaacteistics of any F M H (v). Let us fix S, H, a NumS and β Z. Let 0 be the positive oot of the equation ρ( 0, g, d) = g 0 ( 0 + β) = 0 Note that the moduli space M H (, a, β) is empty if > 0. Let k 0 = β and k 1 = 0 + β. We define the following domains in the plane with coodinates (k, ): D 0 = {(k, ) : k 0, k 2 + β, k < }, D 1 = {(k, ) : 0, k 2 + β, k 0 k 0 }, D 2 = {(k, ) : 0, k < 0 k 0, v.dimbn k (, a, β) 0}, D 3 = {(k, ) : 0, k 2 + β, v.dimbn k (, a, β) < 0}, as one the Figue 1. Note that the domain D 0 is empty if β < 0, and D 0 D 1 D 2 = {(k, ) : k χ(v) = 2 + β, v.dim BN k (, a, β) 0} R 0 D 1 D 2 D 3 D 0 k 1 k 2 k 0 K Figue 1: Geogaphy in the (k, )-plane, case β < 0. Let V d ( a s ) = W d ( a s ) W +1 d ( a s ) be the subscheme in the elative Picad vaiety Pic d ( a s ) paametizing pais (C, B) fo which h 0 (C, B) = + 1. Let (Vd ) ( a s ) be the open subscheme in Vd ( a s ) paametizing pais (C, B) fo which K C B 1 is globally geneated, and let (Vd ) ( a s ) be the open subscheme in Vd ( a s ) paametizing pais (C, B) fo which both B and K C B 1 ae globally geneated. 10

11 It is known (the existence theoem of the classical Bill-Noethe theoy; Kempf, Kleiman-Laksov, Fulton-Lazasfeld) that fo a smooth genus g cuve C the scheme Vd (C) is not empty wheneve ρ(, d, g) 0. Howeve, thee ae situations when ρ(, d, g) 0, but (Vd (C)) is empty; the minimal genus fo which this occus is g = 5. Fo example, if C is a smooth plane quintic, the vaiety V5 1 1 (C) is two-dimensional, but (V5 ) (C) is empty; some othe examples ae studied in the section 8. Let us fix a polaized genus g K3 suface (S, a) and integes 0 and d 0 such that ρ(, g, d) 0. Conside the following thee conditions: C 1 : The scheme (V d ) ( a s ) is not empty; C 2 : The linea system a s contains a Bill-Noethe geneal cuve; C 3 : Pic S = Za Note that the condition C 3 and esults of Lazasfeld imply the condition C 2, and the condition C 2 implies the condition C Main Theoem. Let v = (, a, β) K (S) and ǫ(v) = (, g, d), and assume that M(, a, β) is not empty. Assume futhe that eithe Pic(S) = Za, o (a, H) = 1. Then 0. If (k, ) D 0, then eithe BN k (, a, β) is empty, o dimbn k (, a, β) = v.dim BN k (, a, β); 1. If (k, ) D 1, and at least one of the conditions C 1, C 2 and C 3 is satisfied, then BN k (, a, β) is not empty, and dimbn k (, a, β) = v.dim BN k (, a, β); 2. If (k, ) D 2 and 2, then BN k (, a, β) is empty, even though v.dim BN k (, a, β) > 0; 3. If (k, ) D 3, then BN k (, a, β) is empty, as expected Conjectue: If PicS = Za, then fo any (k, ) D 0 the vaiety BN k (v) is not empty Remak. The second statement could not be made stonge: we give examples of situations in which = 0 o = 1, (k, ) D 2, and BN k (, a, β) is not empty Remak. Let k 2 be the positive oot of the equation 2g k 2 (k 2 β) = 0 11

12 The point (k 2, 0) is on the bounday of D 2, as on the Figue 1. Note that k 1 satisfies the equality g k 1 (k 1 β) = 0, i.e., fo a genus g cuve C and an intege k = + 1 one has v.dimw d (C) = g k(k β), and k k 1 iff v.dimw d (C) 0 Let π : C T be a family of smooth genus g cuves, and let Pic d C/T be the elative Picad vaiety. One can define the elative Bill-Noethe scheme (W d ) C/T ove T in such a way that the fibe of (W d ) C/T ove a point t T is isomophic to the Bill-Noethe subscheme W d (C t) in the fibe (Pic d C/T) t Pic d (C t ). (Note that we do not expect (W d ) C/T to be flat ove T.) It is natual to define v.dim(w d ) C/T = dimt + v.dimw d (C t ) = dim T + ρ(, g, d) One would expect that if the family C/T is geneic enough, then dim(w d ) C/T = v.dim(w d ) C/T. In paticula, if C/T is geneic enough and dimt = g, as is the case when T = a s, then one would expect dim(w d ) C/T = v.dim(w d ) C/T = g + (g k(k β)) = 2g k(k β) It follows that k 2 can be defined by the popety k = + 1 k 2 iff v.dim(w d ) C/ a s 0, whee C/ a s is the univesal cuve ove the linea system a s. In paticula, one would expect that fo each k such that k 1 < k = + 1 < k 2 the vaiety Wd (C t) is empty fo a geneic point t T and that thee is a codimension ρ(, g, d) subscheme in T paametizing points t T such that Wd (C t) is not empty. In paticula, one would expect that fo k 1 < k = + 1 < k 2 the vaiety (Wd ) C/ a s is not empty. Howeve, if S is a K3 suface and a Num S, one can not expect that the vaiety (Wd ) C/ a s has the expected dimension, i.e., that the classifying map fom a s to the moduli space of genus g cuves is of geneal position with espect to the statification of M g by Bill-Noethe special cuves. (Fo example, we know that if one cuve in the linea system C is hypeelliptic, than all the cuves in C ae hypeelliptic, and so on.) This discepancy ceates the egion D 2 whee the Bill-Noethe loci ae empty in the egula examples, even though thei expected dimension is positive. 4 The coespondence A, Let us fix v K (S), v = (, v 1, v 2 ), and an intege such that 0 <. Let v = (, v 1, v 2 ) and l =. 12

13 4.1 Poposition. Thee is a coase moduli space A l (v) classifying pais (E, V ), whee E is a coheent sheaf on S and V H 0 (S, E) is a vecto space of dimension l, which satisfy the following conditions: 1. E is acceptable and H-stable, 2. ch(e) = v, 3. the canonical evaluation map is monomophic, e E,V : V O S E 4. cokee E,V is acceptable and H-stable. The poof of the existence of such a moduli space daws on the esults of Le Potie and He Min ([18, 19, 20, 21]). Given a scheme X and mophisms f : X Y and g : X Z, we say that we ae given coespondence between Y and Z, and denote this coespondence as (X, f, g). The definition of the moduli space A l (v) gives the coespondence A, (v) := (A l (v), π 1, π 2 ) between M(v) and M(v ), A l (v) π 1 π 2 M(v) M(v ) (4.1) whee π 1 ([(E, V )]) = [E] and π 2 ([(E, V )]) = cokee E,V. A point [(E, V )] A l (v) gives an exact sequence e (E,V ) 0 V O S E F 0 Since h 1 (S, O S ) = 0, we have h 0 (S, F) = h 0 (S, E) l. Let A k l (v) be the closed subscheme in A l(v) given by the condition h 0 (S, E) k. Let (A k l )o (v) = A k l (v) Ak+1 l (v), and let BNk o(v) := BN k(v) BN k+1 (v). Resticting the coespondence A, (v) to the locally closed subscheme (A k l )o (v) of A l (v), we get a coespondence A k,k, (v) := ((Ak l )o (v), π1 k, πk 2 ) : (A k l )o (v) π1 k π k 2 BNk o(v) BNo k l (v ) 4.2 Lemma. Fo evey [E] BN k (v) o (v) the fibe (π 1 ) 1 ([E]) is isomophic to an open subscheme in the Gassmanian vaiety G(l, H 0 (S, E)), and fo evey [F] BN k l (v) o (v) the fibe (π 2 ) 1 ([F]) is isomophic to an open subscheme in the Gassmanian vaiety G(l, Ext 1 S (F, O S)). 13

14 4.3 Remak. Let C be a smooth algebaic cuve, Pic d (C) be the Picad vaiety of degee d line bundles on C, and let A 1 (d) be the moduli space of pais (L, V ), whee L Pic d (C) and V is an one-dimensional vecto subspace in H 0 (C, L). Existence of such a moduli space follows fom the esults of Le Potie, o it can be constucted diectly. A point (L, V ) A 1 (d) gives an exact sequence e (L,V ) 0 V O C L cokee (L,V ) 0, which is isomophic to the adjunction sequence 0 O C O C (D) O D (D) 0, whee D is the diviso of zeoes of a non-zeo section s V. Since any effective diviso D on C can be witten as a linea combination of points, D = n i [p i ], the diagam A 1 (d)(c) (4.2) π 1 π 2 Pic d (C) C (d) whee C (d) is a symmetic powe of the cuve C, π 1 (L, V ) = L and π 2 (L, V ) = cokee L,V, can be consideed as an analogue of the coespondence 4.1. One can pove that π 2 is an isomophism, and theefoe the coespondence 4.2 educes to the Abel-Jacobi mophism π 1 π2 1 : C (d) Pic d (C). This example lets us think about two paticula coespondences, A,1 : Hilb d (S) M(, a, β) and A,0 : Pic 2g 2 d ( a ) M(, a, β), as two diffeent analogs of the Abel- Jacobi coespondence in dimension two, coesponding to the fact that thee ae two types of subschemes on a suface: 0-cycles and cuves. 5 A few technical lemmas Ou study of the coespondence A, lemmas: is based on the following six technical 5.1 Lemma: Geneic extensions ae acceptable. Let S be an algebaic suface, F be an acceptable coheent sheaf on S, and let W be a k-vecto space. Let A be the affine scheme associated with the k-vecto space Ext 1 S (F, W O S). The affine space A paametizes extension classes of the fom 0 W O S E F 0 We say that such an extension acceptable if E is acceptable. 1. If kf 2, i.e., F is locally fee, then all such extensions ae acceptable; 2. if kf = 1, i.e., F = J ξ (L), whee L is an ample invetible sheaf on S, ξ is a simple effective 0-subscheme on S, and the pai (ξ, L + K S ) is Caley- Bachaash, then thee is a nonempty open subscheme U A such that all the extensions paametized by U ae acceptable; 14

15 3. if k F = 0, i.e., F = (i C ) (B), then (a) If dimw = 1, then all the extensions paametized by A {0} ae acceptable; (b) If dimw 2, and A := N C/X B 1 is a globally geneated line bundle on C, then thee is a nonempty open subscheme U A such that evey extension class e U is acceptable; (c) In paticula, let dimw 2, and assume that A = N C/X B 1 is globally geneated and that dimw = H 0 (C, A). Let α e : W H 0 (C, A) be the image of e unde the isomophism Ext 1 S(i B, W O S ) H 1 (C, W A) Hom(W, H 0 (C, A)) If α e is an isomophism, then e is acceptable. 5.2 Lemma : Geneic evaluation maps in the globally geneated case ae monomophic. Let X be a educed ieducible scheme, E be a globally geneated locally fee sheaf on X, and l ke. Then thee is a nonempty open subset in the Gassmanian vaiety G(l, H 0 (E)) paametizing vecto subspaces V H 0 (X, E) fo which the evaluation map e (E,V ) : V O X E is monomophic. 5.3 Lemma: Geneic factos in the globally geneated case ae acceptable. Let S be a smooth algebaic suface, chak = 0, let E be a globally geneated locally fee sheaf on S, and let 1 l ke. Then thee is a nonempty open subset in the Gassmanian vaiety G(l, H 0 (E)) paametizing vecto subspaces V H 0 (S, E) fo which the cokenel of the evaluation map is acceptable. e V : H 0 (S, E) O S E k 5.4 Lemma: Stability of extensions. Let (S, H) be a polaized algebaic suface, and let F be an H-stable acceptable sheaf on S. Assume that we ae given an extension 0 W O X E F 0 Let e be the class of this extension in Ext 1 (F, W O X ), and let α e be the image of e unde the isomophism Ext 1 (F, W O X ) Hom(W, Ext 1 (F, O)). 1. If α e is not injective, then E is not H-stable; 2. If α e is injective, F is acceptable, and eithe (a) PicS Z c 1 (E), o (b) (c 1 (F), H) = 1, then E is H - stable. 15

16 5.5 Lemma: Stability of factos. Let (S, H) be a polaized algebaic suface, let E be an H-stable coheent sheaf on S, and assume that we ae given an exact sequence of the fom 0 W O S E F 0 whee F is a tosion-fee sheaf. Assume futhe that eithe Pic S Z H and c 1 (E) = H, o that (c 1 (E), H) = 1. Then F is H-stable. 5.6 Lemma: The coespondence peseves the popety of being globally geneated. Let X be a scheme satisfying h 0 (X, O X ) = 1, and assume that we ae given an extension of coheent sheaves 0 O X E F 0 If E is globally geneated, then F is globally geneated. If F is globally geneated and H 1 (X, O X ) = 0, then E is globally geneated. The poof of lemmas will be given in [22]. 6 Numeical stuctue of the coespondence A on a K3 suface Let S be a K3-suface. Conside the map p fom the set of the isomophism classes of acceptable coheent sheaves on S to the fee Abelian goup P = Z 2, p(e) = (h 0 (S, E), k(e)). We denote the coodinates on P as (K, R). If F is an acceptable sheaf on S, v = ch(f) = (, a, β) and ǫ(v) = (, g, d), we have β = g 1 d and define α = β = d + 1 g By the Riemann-Roch fomula, we have χ(s, F) = 2 + β. If F is an acceptable sheaf on S satisfying h 1 (S, F) = 0 and h 2 (S, F) = 0, then h 0 (S, F) = χ(s, F) = 2 + β, and p(e) is a point on the line l(β) : (K = 2R + β) in P R = P R. I.e., p maps the maximal Bill-Noethe stata BN χ(v) (v) o to the line l = l(β), as on the Figue 2. Note that the coespondences A k,k, acts along the lines l (c) : (K R = c) in P R. Note also that fo evey (k, ) P the line l (k ) contains (k, ) and intesects the line l(β) at some point (k, ), i.e., fo evey (k, ) P thee is a (k, ) l(β) and a coespondence A k,k, between BN k (, a, β) and the maximal Bill-Noethe loci BN k (, a, β), as on the Figue 3. Thus the coespondence A elates the geomety of Bill-Noethe loci on the lines l. We use this coespondence twice, fist time to deive cetain popeties of the maximal Bill-Noethe loci BN 2+β (, a, β) and second time to elate BN 2+β (, a, β) and a given Bill-Noethe vaiety BN k (, a, β) in ode to establish that the latte behave in the way pedicted by the fomula 3.2 in a cetain domain. 16

17 R α 2 l(β) BN o χ(v) (v) R K β β < 0 β > 0 K Figue 2: Geogaphy of the maximal Bill-Noethe stata > α = α < α α > 0 α α 2 l l. α k α l. α l k α l. α l k α 0 β k n/a n/a Figue 3: Relative position of the lines l and l 7 Fou special cases. Let v = (, a, β) and v = (, a, β), v, v K (S). We will be studying the coespondence A k,k,. The following fou cases ae paticulaly inteesting: (a) p(v) l, = 0; (b) p(v) l, is any intege such that 0 < ; (c) = 0; (d) = 1. (Note that (a) is a special case of (b) and (c).) 17

18 a b c d l k l k l l k = 0 = 1 Figue 4: Fou special cases These cases ae illustated by the Figue 4. We use cases (a) and (b) to pove ou main theoem, and cases (c) and (d) to establish cetain biational popeties of the biational geomety of the moduli spaces. Thee is a fifth inteesting case, one with = 1 and = 0, which elates the geomety of the Hilbet scheme of points on S and the elative Picad vaiety fo cuves in the linea system a. We do not conside it in this text (see [22] fo moe details). We will analyze these fou situations case-by case. 7.1 Case (a) Let us fix v = (, a, β), 2, and let v = (0, a, β). Let k = χ(v) = 2 + β and k = + β. Assume that k, i.e., (k, ) / D 0. It follows that k 0 and α. Conside the coespondence A 2+β,+β,0, BNχ(v) o (A (v)) π 1 π 2 BNχ(v) o (v) V +β 2g 2 d ( a s ) as illustated on the Figue 5 in the case β < 0. Note that fo a cuve C a s thee is a See duality isomophism V +β 2g 2 d (C) Vd (C). If BNχ(v) 0 (v) is not empty, then the fibe π 1 1 ([E]) ove [E] BN0 χ(v) (v) is isomophic to an open subscheme in the Gassmanian vaiety G(, H 0 (S, E)) G(, 2+β) of dimension (+β). (Note that +β 0). If V +β 2g 2 d ( a s ) is not empty, then the fibe π2 1 ((i C) (B)) ove a point (C, B) V +β 2g 2 d ( a s ) is isomophic to an open subscheme in the Gassmanian vaiety G(, Ext 1 S(i B, O S )) G(, H 0 (C, A)) G(, ) Spec k, whee A = K C B 1. This poves that π 2 is an embedding. Note that h 0 (C, A) = h 1 (C, B) = h 0 (C, B) χ(c, B) = + β β =. 7.1 Lemma.Assume that the following conditions ae satisfied: 18

19 R D 2 D 3 D 1 D 0 k k K Figue 5: Geogaphy in the case (a). 1. ρ(, g, d) 0, i.e., (k, ) D 1, 2. Thee is a globally geneated line bundle A V d ( a s ), and 3. Eithe Pic S = Za, o (a, H) = 1. Then BN2+β o (, a, β) is not empty. Moeove, if (Vd ) ( a s ) is not empty, then (, a, β) contains a globally geneated vecto bundle. BN o 2+β Poof: By the assumption, thee is a C a s and a globally geneated line bundle A Vd (C). Let B = K CA 1, and let W be a vecto space of dimension. Since dim k Ext 1 S ((i C) B, O S ) = dim k H 0 (C, A) =, thee is a unique (up to an automophism of W) extension class e of the fom 0 W O S E i B 0 such that the induced map α e : W Ext 1 S(i B, O S ) is an isomophism. By Lemma 5.1, E is locally fee. Since eithe PicS = Za o (a, H) = 1, Lemma 5.4 implies that E is H-stable. Thus E BNχ(v) o (v). Moeove, if B is globally geneated, then, by Lemma 5.6, E is globally geneated, which poves the lemma. Ou pevious consideations imply the following 7.2 Lemma: If PicS = Za o (a, H) = 1, then π 2 is an isomophism of BN o χ(v) (A (v)) unto (V +β 2g 2 d ) ( a s ). 19

20 In paticula, the coespondence A 2+β,+β,0 gives a mophism L : (V +β 2g 2 d ) ( a s ) BN o χ(v) (v) 7.3 The constuction above is equivalent to the constuction given by Lazasfeld in [10], as we will now explain. Let (C, A) Vd ( a s ), and assume that A is globally geneated. The canonical evaluation map H 0 (C, A) k O C A induces an epimophic map H 0 (C, A) k O S (i C ) A; denoting its kenel as F, we get an exact sequence of O S -modules 0 F H 0 (C, A) O S i A 0 k Note that F is locally fee since locally it is a kenel of an epimophism R n R/f 0. By assumptions on A we have dim k H 0 (C, A) =. Applying the functo Hom S (, O S ) to the exact sequence above, we get an extension 0 H 0 (C, A) O S F i B 0 k The long coesponding long exact sequence 0 H 0 (C, A) H 0 (S, F ) H 0 (C, B) 0, 0 H 1 (S, F ) H 1 (C, B) δ H 0 (C, A) H 2 (S, F ) 0 gives h 0 (S, F ) = h 0 (C, A)+h 0 (C, B) = +(+β) = χ(v). One can check that δ is the See duality isomophism, and theefoe h 1 (S, F ) = h 2 (S, F ) = 0. If Pic S = Za o (C, H) = 1, then F is stable by lemma 5.4. It follows that F BNχ(v) o (, a, β). Thus we have a mophism L : (V +β 2g 2 d ) ( a s ) BNχ(v) o (, a, β), (C, B) F It follows that the case (a) of the coespondence A estoes the constuction of Lazasfeld ([10]). 7.2 Case (b) and poof of the main theoem Let us fix v = (, a, β), v = (, a, β), 2, 0 <, and k χ(v ). Let k = χ(v) = 2 + β. Assume that k, i.e., (k, ) / D 0. Conside the coespondence A χ(v),k,, BNk o(a l(v)) π 1 π 2 BNχ(v) o (v) BNk 0 (v ) (7.1) as illustated by the Figue 6. We can assume 20

21 R R k k K k k K β < 0 β > 0 Figue 6: Geogaphy in the case (b). ρ(, g, d) 0, i.e., (k, ) and (k, ) D 1, since othewise othewise M(, a, β) and all the vaieties in the coespondence 7.1 ae empty. Since = k k and k = 2+β, we have = k β and l = = k 2 β. Now, if we ae given some v = (, a, β) and k χ(v ) = 2 + β, we define by the fomula given above, we can include BN k (v ) in the coespondence of the fom Poof of the main theoem: We stat by poving pat 1. Let (k, ) D 1, and assume that (Vd ) ( a s ) is not empty. Let (C, B) (Vd ) ( a s ). By Lemma 7.1, the scheme BNχ(v) 0 (M(v)) is not empty and contains a globally geneated vecto bundle. Now, by Lemmas 5.2, 5.3 and 5.5 the vaiety BNk o(a l(v)) is not empty, and thus BN k (v ) is not empty. Now the vaiety BNk o (v) is a nonempty open subscheme in M(v), and thus dimbnχ(v) 0 (v) = dimm(v) = 2ρ(, g, d) Let BN o,gg χ(v) (v) be an open subscheme in BNo,gg χ(v) (v) paametizing globally geneated sheaves; we have just poved that it is not empty. The lemmas 5.2, 5.3, and 5.5 imply that the fibe of π 1 ove a point of BN o,gg χ(v) (v) is isomophic to a nonempty open subscheme in the Gassmanian vaiety G(l, 2 + β) of dimension l(2 + β l). (Note that since l 2 + β, this numbe is not negative). In paticula, π 1 is epimophic ove BN o,gg χ(v) (v). Let us study the fibes of π 2. The lemmas 5.1 and 5.4 imply that 1. If 2, then π 2 is epimophic; 2. If = 1, then π 2 is epimophic ove a subscheme of simple Caley- Bachaash 0-cycles; 21

22 3. If = 0 and l = 1, then π 2 is epimophic, and 4. If = 0 and l 2, then π 2 is epimophic ove (V +β 2g 2 d ) ( a s ). Fo the poof of pat one of the main theoem, we need to conside only the case 2, when π 2 is epimophic. The fibe of π 2 ove a point E BN k (M(v )) is isomophic to an open subscheme in the Gassmanian vaiety G(l, Ext 1 S(E, O S )) G(l, H 1 (S, E ) ) G(l, h 1 (S, E )). It is easy to see geometically that h 1 (S, E ) = l, and it follows that π 2 is an isomophism. It follows that the coespondence A in the case (b) gives a mophism π 1 2 π 1 : BN o k(, a, β) BN 0 2+β(, a, β), whee = k β, as denoted with an aow on the Figue 6. Now counting of dimensions gives dimbn k (M(v )) = dimm(v) + dim(fibe of π 1 ) = = 2(g ( α)) + l(2 + β l) = = 2(g ( α)) k (k (2 + β)) = dimm(v ) k (k χ(v )) = = v.dim BN k (v ). The poof of the pat 0 of the main theoem is paallel, except that ou study in the case (a) in this case does not guaanty that BN k (A o l (v)) is not empty. To pove pats 2 and 3 of the main theoem, assume that (k, ) D 2 D 3. Assume that BN k (v ) is not empty. Then, by Lemmas 5.1 and 5.4, the vaieties BNk 0(A l(v)) and thus BNk o (v) ae not empty, which contadicts to the Mukai theoem, since wheneve M(, a, β) is not empty, the dimension dimm(, a, β) = 2ρ(, g, d) is not negative. 7.3 Case (c) Let us fix v = (, a, β) K (S) and k Z such that 2 and k max(χ(v), ) = max(2 β, ). Conside the coespondence A k,k,0, BNk o(a (v)) π k π 1 2 k BNk o(v) V k 2g 2 d ( a ) Let (k 0, 0 ) be the intesection point of the lines l(β) and l (k, ), as on the Figue 7. We have 0 = k β. The esults of 7.1 and 7.2 ensue that if 1. (k, ) D 1, 2. The vaiety (V 0 d ( a s )) is not empty, and 3. Pic S = Za o (a, H) = 1, 22

23 R 0 α 2. l k k 0 l K Figue 7: Geogaphy in the case (c). then all the tems in the coespondence A k,k,0 ae not empty and the mophisms π1 k and πk 2 ae dominant. Let us fix v and vay k Z, k χ(v). As one can see fom the Figue 8, thee ae thee combinatoial vaiants, when < α, = α and > α. R α α 2 α l. K R α α 2 l α. K R α 2 l. α α 2 α K < α = α > α Figue 8: Geogaphy in the case (c), thee vaiants If < α, then the tom tem in the coespondence A k,k,0 is empty fo k <, and all the tems ae nonempty if k. Additionally, if k =, then π1 is an isomophism ove a subscheme of globally geneated vecto bundles in BN (v), and thus π1 is a biational isomophism and the coespondence A,0 gives a ational map BN (, a, β) Pic d ( a s ), maked with an aow on the Figue 8. If = α, the coespondence A,0,0 gives a biational isomophism M(, a, ) bi Pic 2g 2 d ( a ) whee d = g + = a If > α, the map π2 k is a biational isomophism fo k = χ(v), and the coespondence A 2 α, α,0 gives a ational mophism V α which is denoted by an aow on the Figue 8. It follows that 2g 2 d ( a ) M(v), 1. If < α then the moduli space M(v) contains a Bill-Noethe subscheme BN (v) which is biationally isomophic to a Gassmanian fibation ove the elative Picad scheme Pic 2g 2 d ( a ); 23

24 2. If = α then the moduli space M(v) is biationally isomophic to the elative Picad vaiety Pic 2g 2 d ( a ), and 3. If > α, then the elative Picad vaiety Pic 2g 2 d ( a ) contains a elative Bill-Noethe subscheme W α 2g 2 d ( a ) which is biationally isomophic to a Gassmanian fibation ove the moduli space M(v). 7.4 Case (d) Let us fix v = (, a, β) such that 2 and k max(χ(v), 1). The fibes of the map π k 1 in the coespondence A k,k ( 1),1 BNk o(a 1(v)) π1 k π k 2 BNk o(v) Hilbd (L,k β) o(s) ae isomophic to open subschemes in the Gassmanian G( 1, k), and the fibes of π k 2 ae isomophic to open subschemes in the Gassmanian G( 1, k + α 1). (Note that 1 k + α 1, and 1 = k + α 1 only if k = χ(v)). Let (k 0, 0 ) be the intesection point of l(β) and l (k, ). We have 0 = k β. Lemma 7.1 implies that if 1. (k, ) D 1, 2. The vaiety (V 0 d ( a s )) is not empty, and 3. Pic S = Za o (a, H) = 1, then BN χ0 (v 0 ) is not empty and contains a globally geneated vecto bundle, and Lemmas 5.2 and 5.3 imply that Hilb d (L,k β) o(s) is not empty. One can see that the mophisms π1 k and π2 k ae dominant. Thee ae thee combinatoial possibilities, depending on whethe < α 1, = α 1 (d = + g) o > α 1., as one can see on the Figue 9. R R R α 1 α l l l α 1 α 1 α α α 2 K + β β K K < α 1 = α 1 > α 1 Figue 9: Geogaphy in the case (d), thee vaiants 24

25 In the fist case k 1, the mophism π2 k has a positive elative dimension and the mophism π1 k is a biational isomophism fo k = 1 and has a positive elative dimension fo k > 1. It follows that fo k = 1 the coespondence A k,1 gives a ational map BN 1 (, a, β) Hilb d (S), denoted with an aow on the pictue above. If = α 1, then k 1 and fo k = 1 both π k 1 and π k 2 ae biational isomophisms, and thus we get the biational isomophism M(, a, 1) bi Hilb d (S) whee d = g + = a [In the case = 2 this statement was poved by Lotha Goettsche.] If > α 1, then k χ(v), the map π1 k has a positive elative dimension, and π2 k is a biational isomophism fo k = 2 + β and has a positive elative dimension fo k > 2 + β. It follows that fo k = 2 + β (δ(ξ, L) = 1) the coespondence gives a ational mophism Hilb d L, 1 (S) M(v), which is denoted by an aow on the pictue above. Summaizing the esults, we can see that fo < α 1 the moduli space M(v) contains a Bill-Noethe subscheme which is biational to a Gassmanian fibation ove the Hilbet scheme Hilb d (S), fo = α 1 the moduli space M(v) is biationally isomophic to the Hilbet scheme Hilb d (S), and fo > α 1 the Hilbet scheme Hilb d (S) contains a subscheme of special 0-cycles which is biational to a Gassmanian fibation ove the moduli space M(v). 8 Examples. 8.1 Example: g = 3, d = 3 Let (S, a) be a polaized K3 suface of genus g = 3, and let d = 3. Note that M(0, a, β) = M(0, a, 1) Pic 1 ( a ), since that fo (C, B) M(0, a, β) we have deg B = 2g 2 d = 1. The fomula 3.2 gives the following expected dimensions of the Bill-Noethe loci in vaious M(, a, 1): o, symbolically, k 2 * 1 * *! 0 * *!

26 whee we use * fo intege points in D 1 and! fo intege points in D 2. Thee ae two intege points in D 2, coesponding to V1 1 ( a ) and Hilb 3 (a,2)s. The vaiety V1 1 ( a ) classifies linea systems of type g1 1 on smooth cuves in a and is evidently empty fo any (S, a). The vaiety Hilb 3 (a,2) S classifies 0- subschemes on S of degee thee with speciality index δ(ξ, a) = 2. Note that the linea system a ealizes S as a quatic in P 3 with at most double points. It follows that Hilb 3 (a,2) S is empty when φ a is an embedding, and paametizes simple 0-cycles of the fom p + q +, whee p, q and ae thee distinct points on a ational cuve contacted by φ a, and thei degeneations. In paticula, not that if Pic S = Z, then Hilb 3 (a,2)s is empty. Now if PicS = Z, then the main theoem guaantees that all the vaieties paametized by points in D 3 ae empty. One can conside the set of intege tiples (, d, k) which satisfy v.dimbn k (, a, β) 0 Fo d 2g 2 this domain is shown on the Figue k d 3 4 Figue 10: Geogaphy fo genus 3 26

27 8.2 Example: g = 4, d = 5 Let (S, a) be a polaized K3 suface of genus g = 4, and let d = 5. Note that M(0, a, β) = M(0, a, 2) Pic 1 ( a ). The fomula 3.2 gives the following table of the Bill-Noethe loci with nonnegative expected dimension, 3 * 2 * *! 1 * * *! 0 * *! k whee the notations ae the same as in the pevious example. Thee ae thee Bill-Noethe schemes in the egion D 2. Fo = 0 it is V1 1 ( a ) which is empty. Fo = 1 it is Hilb 5 (a,3)s. A simple 0-cycle ξ Hilb 5 (a,3)s is an intesection of S with a 3-secant line l in the pojective embedding given by a. Thee is a net of hypeplanes in P 4 though l, and each hypeplane cuts out a genus 4 cuve on S containing ξ. On such a cuve ξ gives a linea system of type g5 3. Since a genus 5 cuve does not have any g3 5 s, this vaiety is empty. (Essentially this poof, which is a eduction fom the case = 1 to = 0, can be descibed as a coespondence between the Bill-Noethe schemes V2g 2 d ( a s ) and Hilb d ( β,a)(s)). If = 2 and PicS = Za, then the emptiness of BN 4 (2, a, 2) follows fom the discussion in Geomety of W4 1 (C) fo a tigonal cuve of genus five (Compae [6]). We will need the esults of this example in the examples 8.6 and 8.5. Fo a slightly diffeent appoach, see [6]. Let C be a tigonal cuve of genus five. It is well known that C has unique tigonal stuctue g3. 1 Let t g3 1 be any diviso consisting of thee distinct points. It follows that the linea span < t > is a tisecant line fo C in the canonical embedding of C. We denote this line as l. Since K C g3 1 = g5, 2 C has a (unique) stuctue of a plane quintic. Note that this linea system can be ealized as a linea system of hypeplanes though l in the canonical embedding of C. Let C be the plane model of C. Since genus of a smooth plane quintic is equal to 6, it follows that the of C has one double point q, which can be eithe node o cusp. Conside fist the case when q is a node, and let q 1 and q 2 be two peimages of q on C. Since K C g3 1 does not sepaate q 1 and q 2, we have < l+q 1 >=< l+q 2 > fo the linea spans of divisos. Let π =< l +q i >; it is a two-dimensional plane in P 4. Note that the diviso t + q 1 + q 2 is of type g5 2. Let H be a hypeplane in P 4 though π. It intesects C in a degee 3 diviso t which foms g3. 1 Since K C = t + t + q 1 + q 2, It follows that q 1 + q 2 K C 2t. 27

28 Let p be any point on C. We define L p = g5 2 p, M p = g3 1 + p. Note that the See duality intechanges L p and M p : K C L 1 p M p We give the following geometic intepetation of L p. Note that fo any p C we have p / l, since thee ae no linea systems of type g 2 4 on C. (Note that the definition of the linea span < t+p > includes an infinitesimal computation if p t.) It follows that pi p =< l + p > is a two-plane in P 4. Pojection with cente π p gives a linea system of type g 1 4 on C which is equal to K C t p = g 2 5 p = L p. (In tems of the plane model C, L p is a pojection fom the point p on C ). If p q i, then L p foms a g 1 4 without fixed points. Note that q 2 is a fixed point of L q1 and q 1 is a fixed point of L q2. Note that L q1 = K C t q 1 = t + q 2 = M q2, L q2 = M q1 In paticula, K C L 1 q1 = M q 1 = L q2. Lemma. Any linea system of type g4 1 on C is of type L p o M p fo some p C. Poof. Let L be a linea system of type g4, 1 and let D L be a diviso consisting of 4 distinct points on C: D = d 1 + d 2 + d 3 + d 4. Let π =< D >; it is a 2-plane in P 4. Let t g3 1 be a diviso consisting of thee distinct points, t = t 1 + t 2 + t 3. The linea span l =< t > is a tisecant line to C in the canonical embedding. Case 1: l π. Conside the set-theoetic union E = D t. This is a set of 7, 6, 5 o 4 distinct points on C, and, coespondingly, E is a linea system of type g7 4, g3 6, g2 5 o g1 4. Since C does not have g4 7 o g3 6, the ode of E is eithe 4 o 5. If E = g4 1, then we have t D, i.e., D = t + p = M p, and the lemma is poved. Let E = g5. 2 Afte e-numeation we have D = t 1 + t 2 + d 3 + d 4. Note that the linea system g5 2 = K C t does not sepaate d 3 and d 4, since < t, d 3 >=< t, d 4 >= π. It follows that, afte enumeation, d 3 = q 1 and d 4 = q 2. In paticula, D = t 1 + t 2 + q 1 + q 2 = t t 3 + q 1 + q 2 = g 2 5 t 3 = L t3, and the statement of the Lemma follows. Case 2: l π = a, whee a is a point in P 4. Assume fist that a = t i fo some i, fo example, a = t 1. Then the linea system D +t1 is of type g5 2 and is diffeent fom K C t, which gives a contadiction. It follows that t i a. The image of π unde the pojection p l : P 4 P 2 is a line in P 2 containing fou points of the image of D. Let p be the fifth intesection point of this line with C. It follows that D = L p, and the statement of the Lemma follows. 28