arxiv:math/ v1 [math.ag] 28 Apr 2006

arxiv:math/0604629v1 [math.ag] 28 Apr 2006 SMOOTHING OF K3 CARPETS ON ENRIQUES SURFACES FRANCISCO JAVIER GALLEGO, MIGUEL GONZÁLEZ AND BANGERE P. PURNAPRAJNA Abstract. Let Y be a smooth Enriques surface. A K3 carpet on Y is a locally Cohen-Macaulay double structure on Y with the same invariants as a smooth K3 surface (i.e., regular and with trivial canonical sheaf). The surface Y possesses an étale K3 double cover X π Y. We prove that π can be deformed to a family X P N T of projective embeddings of K3 surfaces and that any projective K3 carpet on Y arises from such a family as the flat limit of smooth, embedded K3 surfaces. Introduction In this article we study further the relation between double covers and the arising of double structures. This relation was first studied by Fong in [Fon93], for hyperelliptic canonical morphisms and the so-called canonical ribbons and by [GP97] in the setting of hyperelliptic K3 surfaces. Recently, M. González in [Gon06] and the authors in [GGP05] studied this relation in a much more general setting, namely, finite covers of curves of arbitrary degree on the one hand and one dimensional, locally Cohen-Macaulay multiple structures of arbitrary multiplicity on the other hand. In the present work we look at a natural and particularly nice double cover of an Enriques surface Y : its étale K3 double cover. We study the connection between this cover and a class of double structures on Y, which we will call again K3 carpets as in [GP97]. Let Y be a smooth Enriques surface. A K3 carpet on Y will be a locally Cohen-Macaulay double structure on Y with the same invariants as a smooth K3 surface (i.e., regular and with trivial canonical sheaf). On the other hand, Y possesses an étale K3 double cover X π Y associated to the canonical bundle of Y, which is 2-torsion. We prove that any projective K3 carpet on Y arises from a family X P N T of projective embeddings of K3 surfaces that degenerates to π. As a consequence of this, we show that any projective K3 carpet on Y can be smoothed, i.e., obtained as the flat limit of a family of smooth, irreducible (projective K3) surfaces. The reader might probably have noted in the previous paragraph the phrase projective K3 carpet. K3 carpets on an Enriques surfaces (like indeed double structures on any other surface) need not be projective, unlike ribbons on curves. Thus our first task is to characterize (see Theorem 2.5) those K3 carpets which are projective. This is accomplished in Section 2. There we also see how many projective K3 carpets there are. We do this in two settings. On the one hand, we compare the sizes of the families of projective K3 surfaces on a given (abstract) Enriques surfaces Y and the size of the family of non projective K3 carpets (see Theorem 2.5). The situation resembles, not surprisingly, that of projective and non projective smooth K3 surfaces, where the former lie on infinite, countably many codimension 1 families in the moduli space of K3 surfaces. On the other hand we compute the size of the family of projective K3 surfaces supported on a given Enriques surface, already embedded (see Theorem 2.4). In Section 3 we prove the results regarding deformation of morphisms and smoothings of carpets. First we show (see Theorem 3.2) that the cover π can be deformed to a family of embeddings of K3 surfaces to projective space. Then, in order to obtain a smoothing of a projective K3 carpet Ỹ, one 2000 Mathematics Subject Classification. 14J28, 14J10, 14B10, 13D10. 1

2 FRANCISCO JAVIER GALLEGO, MIGUEL GONZÁLEZ AND BANGERE P. PURNAPRAJNA consider a suitable embedding of Ỹ in projective space, then one chooses the family of embeddings of Theorem 3.2 suitably, in order to obtain a family of projective schemes consisting of the images of smooth K3 surfaces degenerating to Ỹ. This way we obtain a result to smooth most embedded K3 carpets (see Theorem 3.5) and we show that any (abstract) projective K3 carpet can be smoothed (see Theorem 3.6). Finally we devote Section 4 to study the Hilbert points of projective K3 carpets. We prove that their Hilbert point are always smooth (see Theorem 4.3), unlike the case of K3 carpets on rational normal scrolls (in that case, some Hilbert points are smooth and some are not; see [GP97, Section 4]). Convention. We work over an algebraic closed field of characteristic 0. Throughout the article, when we talk about an Enriques surface, we will mean it to be smooth. 1. K3 carpets. Characterization Among carpets on an Enriques surface Y, we single out a family of them which deserve special attention as far as they share some cohomogical properties with smooth K3 surfaces. We call them K3 carpets. The name will not only be justified from the very definition but also from the fact that we will prove, in Section 3, that the projective K3 carpets are degeneration of smooth K3 surfaces. We start by recalling the definition of a carpet on a smooth surface. Definition 1.1. Let Y be a reduced connected scheme and let E be a line bundle on Y. A ribbon on Y with conormal bundle E is a scheme Ỹ with Ỹred = Y, such that (1) I 2 Y,Ỹ = 0 and (2) I Y, Ỹ E as O Y modules. When Y is a surface, Ỹ is called a carpet on Y. Our definition of a K3 carpet is cohomologically modeled on the definition of a smooth K3 surface. Definition 1.2. Let Y be an Enriques surface. A K3 carpet Ỹ on Y is a carpet on Y such that its dualizing sheaf ωỹ OỸ and H 1 (OỸ ) = 0. In the first point of the next observation we justify the existence of the dualizing sheaf in Definition 1.2. In the rest we gather some properties of ωỹ on Ỹ that we will use later. The assertions in Remark 1.3 are valid in general for ribbons. Remark 1.3. Let Y be a smooth irreducible proper variety. (1) Any ribbon Ỹ on Y is a proper scheme over C. So, according to, e.g., [Kle80, Ex. 7, p. 46], there is a dualizing sheaf ωỹ on Ỹ. (2) Any ribbon Ỹ on Y is a locally Gorenstein (in fact, locally a complete intersection) scheme. Therefore the dualizing sheaf ωỹ is an invertible sheaf, see [Har66, V 9.3, 9.7, VII 3.4] and [Con00, p. 157]. (3) From the definition of a dualizing sheaf we easily see that H omỹ (O Y, ωỹ ) is a dualizing sheaf on Y. So H omỹ (O Y, ωỹ ) = ω Y. (4) If L is a line bundle on Y then H omỹ (L, ωỹ ) = H om Y (L, H omỹ (O Y, ωỹ )). So H omỹ (L, ωỹ ) = L 1 ω Y. (5) If E is the conormal bundle of Ỹ then, from the inclusion E O Ỹ, we have a map ωỹ H omỹ (E, ωỹ ). We see at once that, since ωỹ is invertible, this map is surjective. Now we characterize K3 carpets from its conormal bundle.

SMOOTHING OF K3 CARPETS ON ENRIQUES SURFACES 3 Proposition 1.4. Let Y be an Enriques surface and let Ỹ be a carpet whose reduced part is Y. Let E be the ideal sheaf of Y in Ỹ. Then Ỹ is a K3 carpet iff E ω Y. Proof. Let E ω Y, we have the exact sequence (1.4.1) 0 ω Y OỸ Since Y is an Enriques surface H 1 (ω Y ) = H 1 (O Y ) = 0 and hence H 1 (OỸ ) = 0. H omỹ (, ωỹ ) to (1.4.1) yields, from Remark 1.3, the exact sequence 0 ω Y ωỹ O Y O Y 0. 0. Applying Since H 1 (ω Y ) = 0, the section 1 H 0 (O Y ) can be lifted to H 0 (ωỹ ), and hence, ωỹ being invertible, we have ωỹ OỸ. Now assume Ỹ is a K3 carpet. Applying H om Ỹ (, ω Ỹ ) to 0 E OỸ we obtain, again from Remark 1.3, the exact sequence (1.4.2) 0 ω Y ωỹ E 1 ω Y If we tensor (1.4.2) with O Y and use ωỹ OỸ we get a surjection O Y E 1 ω Y. Thus E ω Y. Remark 1.5. We have seen that the K3 carpets on a given Enriques surface are the carpets with conormal bundle ω Y. Thus (see [BE95, 1.4]) the space of non split K3 carpets over a given Enriques surface Y is the projective space of lines in Ext 1 Y (Ω Y, ω Y ). Notice that the dimension of Ext 1 Y (Ω Y, ω Y ) is the Hodge number h 1,1 = 10 for an Enriques surface. O Y 2. Projective and non Projective K3 carpets In contrast to ribbons on curves, not all carpets are projective, (see [Har77, III Exercise 5.9]) even if all of them are proper or if, as is the case with Enriques surfaces, they are supported on a projective surface. Thus the very first question about the K3 carpets on Enriques surfaces is whether some of them are projective. The question turns out to be yes, as one quickly sees as an obvious consequence of either Theorem 2.4 or Theorem 2.5. The next question is to know how many projective K3 carpets there are. This is settled in Theorem 2.4 for the dimension of the family of embedded (projective) carpets on a given embedded Enriques surface, and in Theorem 2.5, where we compute the size of the space of projective K3 carpets supported on a given (abstract) Enriques surface Y, comparing it also with the space of all K3 carpets on Y. As we will see, the situation somehow resembles that of smooth K3 surfaces. To start searching for embedded K3 carpets we need to look first for embeddings of Enriques surfaces in projective space. We recall some well known facts about this: Remark 2.1. Let Y be an Enriques surface. (1) If Y is embedded in P N, then N 5. (2) A very ample line bundle on Y has sectional genus g 6 and degree d 10. (3) If N 5, then the surface Y can be embedded in P N. Proof. By adjunction, there do not exist Enriques surfaces in P 3. On the other hand, applying the formula for the numerical invariants of a smooth surface Y in P 4 (see [Har77, A.4.1.3]), d 2 10d 5HK Y 2K 2 Y + 12 + 12p a = 0, we see at once that there do not exist Enriques surfaces in P 4 either. This completes the proof of (1). Now, a line bundle on Y with sectional genus g has g linearly independent global section. Then, if the line bundle is very ample, (1) implies that g 6, so its degree is 2g 2 10. This 0 0.

4 FRANCISCO JAVIER GALLEGO, MIGUEL GONZÁLEZ AND BANGERE P. PURNAPRAJNA proves (2). Finally, since Y is projective, Y can be embedded in P M, with M >> 0 and we project it isomorphically into P N as far as N 5. Now we want to know how many K3 carpets are supported on a given embedded Enriques surfaces. This will do in Theorem 2.4. To do this we will need to know the dimension of the space of first order infinitesimal deformations of a morphism from a K3 surface to projective space. Given a morphism ϕ from a variety X to P N, the normal sheaf N ϕ is defined as the cokernel of the natural map T X ϕ T P N. Then the first order infinitesimal deformations of ϕ, up to isomorphism, are parametrized by H 0 (N ϕ ) (see [Hor74, 4.2]). In our setting since X is a smooth K3 surface, it is a smooth variety. Then, if the image of ϕ has the same dimension as X, we have the following exact sequence: (2.1.1) 0 T X ϕ T P N N ϕ 0. Theorem 2.2. Let X be a smooth projective K3 surface and let X ϕ P N be a morphism whose image is a surface. Let N ϕ be the normal sheaf of ϕ. Then, (1) the dimension of the image of the connecting map H 0 (N ϕ ) H 1 (T X ) of the long exact sequence of cohomology of (2.1.1) is 19; (2) H 1 (N ϕ ) = 0; and (3) H 2 (N ϕ ) = 0. Proof. Let us denote L = ϕ O P N(1) and let us consider the Atiyah extension of L (2.2.1) 0 O X Σ L T X 0. The space H 1 (Σ L ) parametrizes first order infinitesimal deformations of the pair (X, L) up to isomorphism (see [Zar95, pp. 126 128] or [Ser06, II.2.2]) and the map H 0 (N ϕ ) H 1 (T X ) factors through H 1 (Σ L ). Taking cohomology on (2.2.1) yields the exact sequence H 1 (O X ) H 1 (Σ L ) H 1 (T X ) H 2 (O X ) Since X is a K3 surface, h 1 (O X ) = 0, h 2 (O X ) = 1 and h 1 (T X ) is the same as the Hodge number h 1,1 of X, hence (2.2.2) dimh 1 (T X ) = 20. On the other hand, H 1 (T X ) H 2 (O X ) is induced by cup product with the cohomology class c(l) H 1 (Ω X ) (see [Ser06, Proposition II.2.2]), so it is surjective, for L is non trivial (see [Ser06, p. 57]). Then (2.2.3) dimh 1 (Σ L ) = 19. Then, going back to (2.1.1) we have the long exact sequence H 0 (N ϕ ) ν H 1 (T X ) H 1 (ϕ T P N) H 1 (N ϕ ) 0, where the exactness on the far right comes from h 2 (T X ) = h 0,1 = 0. Then (2.2.3) implies that the image of ν has dimension less than or equal to 19. On the other hand, taking cohomology on the dual of the Euler sequence restricted to X yields h 1 (ϕ T P N) = 1, for H 1 (L) = H 2 (L) = 0 since L is ample. All this together with (2.2.2) implies that the image of ν has dimension 19 and H 1 (N ϕ ) = 0. To prove (3) note that taking cohomology on the dual of the Euler sequence restricted to X yields H 2 (ϕ T P N) = 0, for H 2 (L) = 0. Then it follows that H 2 (N ϕ ) = 0. We will use Theorem 2.2 in this situation (see e.g. (2.4.6) in the proof of Theorem 2.4): we set ϕ to be the composition of the étale K3 double cover X π Y of an Enriques surface Y followed by an

SMOOTHING OF K3 CARPETS ON ENRIQUES SURFACES 5 embedding Y i P N. On the other hand, Theorem 2.2 can be also used if ϕ is an embedding into projective space, so we recover the following result: Corollary 2.3. If X is a smooth projective K3 surface embedded in projective space, (not necessarily as a linearly normal variety nor as a non degenerate variety), then the point of X in the Hilbert scheme is smooth. Next theorem tells how many K3 carpets supported on an embedded Enriques surfaces there are. Precisely, given an embedded Enriques surface Y i P N, we find the dimension of the variety that parametrizes the K3 carpets in P N, supported on i(y ). Theorem 2.4. Let Y be an Enriques surface and let Y i P N be an embedding of Y. Let g be the sectional genus of i(y ). The K3 carpets embedded in P N and supported on i(y ) are parametrized by a non empty open set in the projective space of lines in H 0 (N Y,P N ω Y ), whose dimension is g(n +1)+8. In particular, if i is induced by the complete linear series of O Y (1), then the dimension of H 0 (N Y,P N ω Y ) is g 2 + 8. Proof. Denote I = I i(y ),P N. The K3 carpets in P N which are supported on i(y ) are in one to one correspondence with the surjective elements in Hom(I /I 2, ω Y ), up to non zero scalar multiple (see [Gon06, Proposition 2.1.(2)]; see also [GP97, Lemma 1.4] or [HV85]). We start computing the dimension of Hom(I /I 2, ω Y ). Recall that Ω Y ω Y Ω Y. Then, since Y is regular, and by Serre duality and Hodge Theory, we have h 0 (Ω Y ω Y ) = h 2 (Ω Y ω Y ) = 0. Then, taking cohomology on the conormal sequence of i(y ), we get (2.4.1) 0 Hom(Ω P N O Y, ω Y ) Hom(I /I 2, ω Y ) δ Ext 1 (Ω Y, ω Y ) Ext 1 (Ω P N O Y, ω Y ) Ext 1 (I /I 2, ω Y ) 0. To find the dimension of Hom(I /I 2, ω Y ) we need to compute the dimensions of the other terms of the sequence (2.4.1). Dualizing the restriction to Y of the Euler sequence and tensoring by ω Y, we have the exact sequence (2.4.2) 0 ω Y O N+1 Y (1) ω Y Ω P N ω Y 0. Since h 1 (O Y (1) ω Y ) = h 2 (O Y (1) ω Y ) = 0, it follows that h 1 (Ω P N ω Y ) = h 2 (ω Y ) = 1. So (2.4.3) dim Ext 1 (Ω P N O Y, ω Y ) = h 1 (Ω P N ω Y ) = 1. Also, h 0 (ω Y ) = h 1 (ω Y ) = 0, so we have (2.4.4) dim Hom(Ω P N O Y, ω Y ) = (N + 1) h 0 (O Y (1) ω Y ) = g(n + 1). On the other hand (see Remark 1.5) (2.4.5) dim Ext 1 (Ω Y, ω Y ) = 10. Finally we will see that Ext 1 (I /I 2, ω Y ) = 0. To do this, let X π Y be the étale K3 double cover of Y. Denote i π = ϕ. From Theorem 2.2, (2), for the normal sheaf of ϕ we have (2.4.6) H 1 (N ϕ ) = 0. We will see that Ext 1 (I /I 2, ω Y ) is a direct summand of H 1 (N ϕ ).

6 FRANCISCO JAVIER GALLEGO, MIGUEL GONZÁLEZ AND BANGERE P. PURNAPRAJNA Let F be the kernel of ϕ Ω P N Ω X. Since π is étale, it follows that Ω X/Y and Ω X/P N 0, so we have the following commutative diagram: are both 0 π (I /I 2 ) 0 F Therefore there is an isomorphism 0 π (I /I 2 ) ϕ Ω P N 0 π Ω Y N ϕ H om (π I /I 2, O X ). 0 Ω X 0 Ω X 0 Since π O X = O Y ω Y, taking cohomology and using the adjunction isomorphism we get H 1 (N ϕ ) = H 1 (H om (π I /I 2, O X )) = Ext 1 (π I /I 2, O X ) = Then Theorem 2.2, (2) implies (2.4.7) Ext 1 (I /I 2, ω Y ) = 0. Then, from (2.4.1), (2.4.3), (2.4.4), (2.4.5), and (2.4.7), we see at once that dim Hom(I /I 2, ω Y ) = g(n + 1) + 9. = Ext 1 (I /I 2, O Y ) Ext 1 (I /I 2, ω Y ). Recall that the K3 carpets on Y embedded in P N are in one to one correspondence with the surjective homomorphisms in Hom(I /I 2, ω Y ), up to non zero scalar multiple, or equivalently, with the nowhere vanishing global sections of the (N 2) rank vector bundle N Y,P N ω Y, up to non zero scalar multiple. Recall also that the elements of Hom(I /I 2, ω Y ) corresponding to surjective homomorphisms form an open set (see [Gon06, Lemma4.1]). Therefore, to finish the proof we need to show that there is a nowhere vanishing section in the space H 0 (N Y,P N ω Y ). Observe first that N Y,P N ω Y is globally generated. To see this note that we have a surjection Ω P ω N Y N Y,P N ω Y so, from (2.4.2), we see that N Y,P N ω Y is globally generated as long as O Y (1) ω Y is globally generated. This follows from Reider s theorem ([Rei88]), since O Y (1) is very ample and its degree d = 2g 2 10 (see Remark 2.1, (2)). Finally since the rank of N Y,P N ω Y is N 2 > dim Y (see Remark 2.1, (1)) and it is a globally generated vector bundle, it has a nowhere vanishing section. Thus the K3 carpets inside P N, supported on i(y ) in P N, are parametrized by a non empty open set in the projective space of lines in H 0 (N Y,P N ω Y ), whose dimension is g(n + 1) + 8. In the following theorem we build upon [Har77, III Ex. 5.9] in order to characterize non projective K3 carpets. As result of that we find the size of the families of projective K3 carpets on a given (abstract) Enriques surface, compared to the set of non projective K3 carpets. Theorem 2.5. Let Y be an Enriques surface and let Ỹ be a K3 carpet on Y corresponding to an element τ Ext 1 (Ω Y, ω Y ). (1) The carpet Ỹ is projective if and only if there exists an ample divisor D on Y such that D τ = 0, when τ is thought as an element of H1,1 (Y ) = H 2 (Y,C).

SMOOTHING OF K3 CARPETS ON ENRIQUES SURFACES 7 (2) Projective K3 carpets on Y are parametrized by a union of (countably infinitely many distinct) hyperplanes of the 9-dimensional projective space of lines in Ext 1 (Ω Y, ω Y ). These hyperplanes are in one to one correspondence with the set of classes in NS(Y ) of primitive ample divisors on Y. Proof. Recall (see Remark 1.5) that a K3 carpet on Y corresponds to an element τ Ext 1 (Ω Y, ω Y ) H 1 (Ω Y ω Y ) H 1 (Ω Y ) = H 1,1 (Y ) = H 2 (Y,C). Since the ideal of Y inside Ỹ is a square zero ideal, we have an exact sequence This yields 0 PicỸ γ PicY 0 ω Y O Ỹ O Y 1. λ H 2 (ω Y ) H 2 (O Ỹ ) H2 (O Y ). The map λ works as follows: if D is a divisor on Y, then λ(o Y (D)) = D τ. The map γ sends each line bundle on Ỹ to its restriction to Y. The carpet Ỹ is projective if and only if it possesses an ample line bundle. On the other hand, a line bundle on Ỹ is ample if and only if its restriction to Y is ample. Therefore Ỹ is projective if and only if there exists an ample line bundle on Y that can be lifted by γ to Ỹ. This is the same as saying that there exists an ample line bundle on Y lying in the kernel of λ. Thus Ỹ is projective if and only if there exists an ample divisor D on Y such that D τ = 0. Then, given an ample divisor D on Y, the elements τ Ext1 (Ω Y, ω Y ) H 1,1 (Y ) with D τ = 0 form a hyperplane H D of Ext 1 (Ω Y, ω Y ), whose elements correspond to projective K3 carpets. Then projective K3 carpets are parametrized by the projective lines in H D, where D ranges over the set of primitive ample divisors on Y. D Remark 2.6. Let Y be an Enriques surface. Theorem 2.5 shows in particular the existence of non projective K3 carpets on a given Enriques surface Y. Indeed, non projective K3 carpets on Y are parametrized by the complement of a union of countably many hyperplanes of the 9- dimensional projective space of lines in Ext 1 (Ω Y, ω Y ). There are more non projective K3 carpets than projective K3 carpets. The arguments of the proof of Theorem 2.4 give another way of looking at Theorem 2.5: Observation 2.7. Let Y be an Enriques surface. Associated to every embedding i of Y into some projective space P N, there is a sequence (2.4.1), arising from the conormal sequence of i(y ) in P N. For the sequence (2.4.1) associated to i, we will denote by δ i the map δ. Let P(Im δ i ) be the projective space of lines in Im δ i. Then the projective K3 carpets on Y are parametrized by P(Im δ i ), i where i ranges among all the embeddings of Y into some projective space. For each i, P(Im δ i ) is a hyperplane in the 9-dimensional projective space of lines in Ext 1 (Ω Y, ω Y ). Proof. If a K3 carpet Ỹ on Y is projective, it can be embedded in some projective space PN by the complete linear series of a very ample line bundle. This embedding induces an embedding i of Y as (a degenerate) subvariety of P N. Let I be the ideal sheaf of Y in P N. Then, the carpet Ỹ embedded in PN corresponds to an element of Hom(I /I 2, ω Y ). Thus, the K3 carpet Ỹ, considered as an abstract scheme, corresponds to a point lying in the image of the map δ i. From (2.4.3) and (2.4.7) we gather that the cokernel of δ i has dimension 1, hence the image of δ i in Ext 1 (Ω Y, ω Y ) is a hyperplane. Thus the class in Ext 1 (Ω Y, ω Y ) of every projective K3 carpet lies

8 FRANCISCO JAVIER GALLEGO, MIGUEL GONZÁLEZ AND BANGERE P. PURNAPRAJNA in the image of the map δ i associated to some embedding i of Y into some projective space. Since obviously the classes lying in the image of any of the maps δ i correspond to projective K3 carpets, we see that projective K3 are parametrized by P(Im δ i ) where i ranges among all the embeddings of Y into some projective space. i In Theorem 2.4 and Theorem 2.5 we saw how many projective K3 carpets there are supported on an Enriques surface. In the next observation, we describe how embeddings by a complete linear series of a K3 carpet look like. Remark 2.8. Let Y be an Enriques surface and let Ỹ be a projective K3 carpet on Y. Assume that Ỹ is embedded, as a non degenerate subscheme into some projective space, by the complete linear series of a very ample line bundle. Let g be the sectional genus of O Y (1) = OỸ (1) O Y. Then, from H 1 (O Y (1) ω Y ) = 0 and the exact sequence we have 0 ω Y (1) OỸ (1) O Y (1) 0, H 0 (OỸ (1)) = H 0 (O Y (1)) H 0 (ω Y (1)). Therefore the embedding induced on Y is also given by the complete linear series of O Y (1) and there is a diagram Ỹ P 2g 1 = P(H 0 (O Y (1)) H 0 (ω Y (1))) Y P g 1 = P(H 0 (O Y (1))). 3. Deformation of morphisms and smoothing of projective K3 carpets In this section we prove two results. First we show in Theorem 3.2 that the étale K3 double cover π of an Enriques surface can be deformed, in many different ways, to a family of projective embeddings. Second, as a consequence of Theorem 3.2 we show (see Theorem 3.5 and Corollary 3.6) that every projective K3 carpet Ỹ on an Enriques surface can be smoothed. By this we mean that we can find a flat, proper, integral family Y over a smooth affine curve T, such that over for 0 T, Y 0 = Ỹ and for t T, t 0, Y t is a smooth, irreducible, and, in our case, projective K3 surface. The key point that connects Theorems 3.2 and 3.5 is the fact that Ỹ, after being embedded in some projective space P N, arises as the central fiber of the image of a first order infinitesimal deformation of the composition of π with the inclusion of Y in P N : Theorem 3.1. Let Ỹ PN be a projective K3 carpet on a smooth Enriques surface Y. Let X π Y be the étale K3 double cover of Y and let X ϕ P N be the morphism obtained by composing π with the inclusion of Y in P N. Then Ỹ is the central fiber of the image of some first order infinitesimal deformation of ϕ. Proof. Since π is étale, we have N π = 0. Then the result follows from [Gon06, Theorem 3.9]. Next we show that ϕ can be deformed to a family of embeddings to P N. We do so by proving something stronger, namely, that any infinitesimal deformation of ϕ can be extended to a family of embeddings of smooth K3 surfaces in P N. Theorem 3.2 is, in the present setting, the counterpart of [GGP05, Theorem 2.1], where the authors showed that a finite cover of a curve can be deformed to a family of embeddings.

SMOOTHING OF K3 CARPETS ON ENRIQUES SURFACES 9 Theorem 3.2. Let X π Y be the étale K3 double cover of an Enriques surface Y, embedded in P N with sectional genus g and satisfying N 2g 1. Let ϕ denote the composition of π with the inclusion of Y in P N. Let = Spec k[ǫ]/ǫ 2. Then for every first order infinitesimal deformation X ϕ P N of X ϕ P N, there exists a smooth irreducible family X, proper and flat over a smooth pointed affine curve (T, 0), and a T morphism X Φ P N T with the following features: Φ (1) the general fiber X t t P N, t T 0, is a closed immersion of a smooth K3 surface; and (2) the fiber of X Φ P N T over the tangent vector at 0 T is X ϕ Φ central fiber X 0 0 P N is X ϕ P N P N ; in particular, the Remark 3.3. We require N 2g 1 in the statement of Theorem 3.2. This hypothesis is not very restrictive on Y i P N, but, in fact, quite natural. Indeed, if i(y ) is non degenerate (i.e., not contained in a hyperplane), then N 2g 1. The hypothesis is used in Step 2 of the proof of Theorem 3.2 (see 3.4.1). Before proving Theorem 3.2 we need the following lemma: Lemma 3.4. Let Y be an Enriques surface, embedded in projective space with sectional genus g, and let X π Y be its étale K3 double cover. Then, if L = π O Y (1), L is very ample. Proof. From Remark 2.1 it follows that L 2 = 4g 4 20. Then, to prove that L is very ample, it suffices to check the following (see [SD74, 4.2, 5.2, 6.1]): (1) there is no irreducible curve E such that p a (E) = 1 and L E = 2, and (2) there is no smooth rational curve E such that L E = 0. The first condition holds because L is base-point-free and the second condition holds because L is ample. Proof of Theorem 3.2. Step 1. To obtain Φ we first construct, in a suitable way, a pair (X, L ), where X is a family of smooth K3 surfaces and L is a family of very ample line bundles. Let us denote L = ϕ O P N (1). Then L restricts to L on X and the module Γ( L) is free of rank h 0 (L) and Γ( L) k[ǫ]/ǫk[ǫ] = H 0 (L). Now we want to obtain a family (X, L ), proper and flat over a smooth pointed affine curve (T, 0), whose central fiber is (X, L), whose restriction to the tangent vector to T at 0 is ( X, L) and whose general member (X t, L t ) consists of a smooth irreducible K3 surface and a very ample line bundle L t. Note that L has degree 4g 4 and h 0 (L) = 2g. Then, from Lemma 3.4 we know that L is very ample and, by Corollary 2.3, its complete linear series L defines an embedding which determines a smooth point [X] in a single component of the Hilbert scheme of surfaces of degree 4g 4 in P 2g 1. The general point [X ] in this component represents a smooth irreducible K3 surface. Then we may consider an open neighborhood H of [X] in its Hilbert component, with H parametrizing only smooth K3 surfaces. Moreover, since L is very ample and H 1 (L) = 0, also L is very ample relative to and the embedding X L P 2g 1 extends to an embedding X P 2g 1. So the image of X P 2g 1 is a flat family over which corresponds to a tangent vector to H at [X]. We can take the embedding X P 2g 1 so that this tangent vector is nonzero. Now, since [X] is a smooth point in H, we can take a smooth irreducible affine curve T in H passing through [X] with tangent direction the given tangent vector. Let 0 T denote the point corresponding to [X]. Then the pullback to T of the universal family provides a family (X, L ), proper and flat over T, whose central fiber is (X, L), whose restriction

10 FRANCISCO JAVIER GALLEGO, MIGUEL GONZÁLEZ AND BANGERE P. PURNAPRAJNA to the tangent vector to T at 0 is ( X, L) and whose general member (X t, L t ) consists of a smooth irreducible K3 surface and a very ample line bundle L t, with H 1 (L t ) = H 2 (L t ) = 0, and hence, with h 0 (L t ) = h 0 (L) = 2g. Step 2. Once we have the pair (X, L ), we are going to use it to construct a relative morphism Φ X P N T with the properties described in the statement. The details of this construction can be found in Step 2 of the proof of [GGP05, Theorem 2.1], so we give here only an outline of the argument. In order to construct Φ we need to find, for a neighborhood U T of 0 and each t U, t 0, a very ample, N-dimensional linear subseries of L t, so that these linear subseries fit into a family over U whose restriction to is ϕ O P N(1). To do this it suffices to find, for some t near (but different from) 0, a very ample, N-dimensional subseries of L t. Then, to find in the present case, a very ample, N-dimensional subseries of L t for some t near 0, t 0 we argue like this. Since L t is very ample, L t induces an embedding of X t into P 2g 1. Now by hypothesis (3.4.1) N 2g 1 = dim L t, so we can project the image of X t to P N. On the other hand, Remark 2.1 implies N 5 so the projection can be chosen to be an isomorphism. This yields the wished very ample linear subseries of L t. Now we use Theorems 3.1 and 3.2 to show that Ỹ is the limit of the images of a family of embeddings Φ t of smooth K3 surfaces, degenerating to ϕ. Precisely, we want to extend the infinitesimal deformation of ϕ in such a way that, if we call the image of the family of morphisms Y P N T, then Y 0 = Ỹ. All this is done in the next theorem: Theorem 3.5. Let Ỹ be a projective K3 carpet embedded in PN, and supported on an Enriques surface Y embedded in P N with sectional genus g and N 2g 1. Then there exists a family of morphisms Φ over an affine curve T as described in Theorem 3.2 such that the image Y of Φ is a closed integral subscheme Y P N T, flat over T, with the following features: (1) the general fiber Y t, t T 0, is a smooth irreducible projective non degenerate K3 surface in P N, (2) the central fiber Y 0 P N is Ỹ PN. Proof. We use the notations of the proof of the Theorem 3.2. From Theorem 3.1 we know that there exists a first order infinitesimal deformation X ϕ P N of ϕ such that the central fiber of the image of ϕ is equal to Ỹ. Therefore there is a family X T and a T morphism X Φ P N T as in Theorem 3.2. Let Y be the image of the T morphism X Φ P N T. The total family X is smooth and irreducible so Y is integral. Furthermore, Φ is a closed immersion over T 0 since, by Theorem 3.2, Φ t is a closed immersion for every t T 0 (see e.g. [Gro61, 4.6.7]). Therefore for t T 0 we have the equality Y t = im(φ t ). Since X t is smooth, this proves (1). Finally, the fact that T is an integral smooth curve and Y is integral and dominates T implies that Y is flat over T. So the fiber Y 0 of Φ Y at 0 T is the flat limit of the images of X t t P N for t 0. Moreover, this fiber Y 0 contains the central fiber (im ϕ) 0 of the image of ϕ. Since Ỹ has conormal bundle E and π has trace zero module E, both Y 0 and (im ϕ) 0 have the same Hilbert polynomial, so they are equal. Corollary 3.6. Any projective K3 carpet Ỹ on a Enriques surface Y is smoothable.

SMOOTHING OF K3 CARPETS ON ENRIQUES SURFACES 11 Proof. Let us embed Ỹ in projective space by the complete linear series of a very ample line bundle. Then Remark 2.8 implies that the condition N 2g 1 is satisfied, so the corollary follows from Theorem 3.5. 4. The Hilbert point of a projective K3 carpet In this section we prove, in Theorem 4.3, that the Hilbert point of a projective K3 carpet on an Enriques surface is smooth. First we state some preliminary results valid in general for ribbons. Lemma 4.1. Let Ỹ be a ribbon on a smooth irreducible proper variety Y with conormal bundle E. There is an isomorphism ωỹ Y = E 1 ω Y. Proof. As in the proof of Proposition 1.4 we obtain the exact sequence (4.1.1) 0 ω Y ωỹ E 1 ω Y 0. Restricting this sequence to Y gives the desired isomorphism. Lemma 4.2. Let Y Ỹ PN be an embedded ribbon, with conormal bundle E, on a smooth irreducible projective variety Y. Then there are exact sequences (4.2.1) 0 NỸ,P N Y E NỸ,P N NỸ,P N Y 0, and 0 E 1 N Y,P N H om Y (IỸ,P N/I 2 Y,P N, O Y ) 0, 0 H om Y (IỸ,P N/I 2 Y,P N, O Y ) NỸ,P N Y E 2 0. Proof. We know that Ỹ is a local complete intersection so N Ỹ,P N is locally free. Therefore from 0 E OỸ we obtain the sequence (4.2.1). Also IỸ,P N/I 2 is locally free so we have Ỹ,PN H omỹ (IỸ,P N/I 2 Ỹ,P N, OỸ ) Y = H om Y (IỸ,P N/I 2 Ỹ,P N Y, O Y ). Furthermore IỸ,P N/I 2 Ỹ,P N Y = I Ỹ,P N /I Y,P NIỸ,P N so we have an exact sequence O Y 0, 0 (E ) 1 IỸ,P N/I 2 Ỹ,P N Y IỸ,P N/I 2 Y,P N 0, where E is an invertible sheaf on Y. So there is an exact sequence (4.2.2) 0 H om Y (IỸ,P N/I 2 Y,P N, O Y ) NỸ,P N Y E 0, Furthermore from we obtain the exact sequence 0 IỸ,P N/I 2 Y,P N I Y,P N/I 2 Y,P N E 0, (4.2.3) 0 E 1 N Y,P N H om Y (IỸ,P N/I 2 Y,P N, O Y ) 0, Moreover, since Ỹ is a local complete intersection, we have NỸ,P N = ωỹ ω 1 P N = ωỹ OỸ (N + 1), where c is the codimension of Y. So NỸ,P N Y = ωỹ Y O Y (N + 1),

12 FRANCISCO JAVIER GALLEGO, MIGUEL GONZÁLEZ AND BANGERE P. PURNAPRAJNA and from Lemma 4.1 NỸ,P N Y = ω Y E 1 O Y (N + 1). Moreover NY,P N = ω Y O Y (N + 1), so (4.2.4) I claim that NỸ,P N Y = (4.2.5) E = E 2. NY,P N E 1. Indeed, from (4.2.2) we obtain c 1 NỸ,P = H N omy (IỸ Y,P N/I 2 Y,P N, O Y ) E, and from (4.2.3) c 1 NY,P = H N omy (IỸ,P N/IY,P 2 N, O Y ) E 1. So from (4.2.4) we obtain (4.2.5). Theorem 4.3. Let Ỹ be a projective K3 carpet on an Enriques surface Y embedded in PN as in Theorem 3.5. Then the Hilbert point of Ỹ is nonsingular. Proof. We have proved in Theorem 3.5 that Ỹ admits an embedded smoothing. Moreover, from Theorem 2.2, we know that for any K3 surface X P N we have H 1 (N X,P N) = H 2 (N X,P N) = 0 so, from an straightforward computation, we see that the dimension of a component parametrizing K3 surfaces in P N is 18 + 2g(N + 1). Therefore our K3 carpet represents a smooth point in the Hilbert scheme iff h 0 (NỸ,P N) = 18 + 2g(N + 1). As a consequence of Theorem 3.5 or by direct computation using the sequences in Lemma 4.2, we see that the Euler characteristic is χ(nỹ,p N) = 18 + 2g(N + 1). Therefore we have to show that Indeed, first we see at once that In addition, (2.4.7) says that h 1 (NỸ,P N) h 2 (NỸ,P N) = 0. H 1 (N Y,P N) = H 2 (N Y,P N) = H 2 (N Y,P N ω Y ) = 0. H 1 (N Y,P N ω Y ) = 0. Therefore, from the sequences in Lemma 4.2, we obtain H 2 (H om Y (IỸ,P N/I 2 Y,P N, O Y )) = 0, Then we obtain H 2 (H om Y (IỸ,P N/I 2 Y,P N, O Y ) ω Y ) = 0, H 1 (H om Y (IỸ,P N/I 2 Y,P N, O Y )) = H 2 (ω 1 Y ) = C, H 1 (H om Y (IỸ,P N/I 2 Y,P N, O Y ) ω Y ) = H 2 (O Y ) = 0. H 1 (NỸ,P N Y ω Y ) = 0, H 2 (NỸ,P N Y ω Y ) = H 2 (ω 1 Y ) = C, H 2 (NỸ,P N Y ) = 0,

SMOOTHING OF K3 CARPETS ON ENRIQUES SURFACES 13 and H 1 (NỸ,P N Y ) = 0 or C. Finally from sequence (4.2.1) we see that h 1 (NỸ,P N) h 2 (NỸ,P N) = 0 or 1, but now observe that, since our component has dimension 18 + 2g(N + 1), we know that h 0 (NỸ,P N) χ(nỹ,p N), so h 1 (NỸ,P N) h 2 (NỸ,P N) 0. References [BE95] D. Bayer and D. Eisenbud, Ribbons and their canonical embeddings, Trans. Amer. Math. Soc. 347 (1995), 719 756. [Con00] B. Conrad, Grothendieck duality and base change, Lecture Notes in Mathematics, vol. 1750, Springer-Verlag, Berlin, 2000. [Fon93] L.Y. Fong, Rational ribbons and deformation of hyperelliptic curves, J. Algebraic Geom. 2 (1993), 295 307. [GGP05] F.J. Gallego, M. González, and B.P. Purnaprajna, Deformation of finite morphisms and smoothing of ropes, arxiv:math.ag/0502467. [GP97] F.J. Gallego and B.P. Purnaprajna, Degenerations of K3 surfaces in projective space, Trans. Amer. Math. Soc. 349 (1997), 2477 2492. [Gon06] M. González, Smoothing of ribbons over curves, J. reine angew. Math. 591 (2006), 201 235. [Gro61] A. Grothendieck, EGA III, Étude cohomologique des faisceaux cohérents. (première partie.), Publ. Math. IHES, vol. 11, 1961. [Har66] R. Hartshorne, Residues and duality, Lecture notes of a seminar on the work of A. Grothendieck, given at Harvard 1963/64. With an appendix by P. Deligne. Lecture Notes in Mathematics, No. 20, Springer-Verlag, Berlin, 1966. [Har77], Algebraic geometry, Springer-Verlag, New York, 1977, Graduate Texts in Mathematics, No. 52. [Hor74] E. Horikawa, On deformations of holomorphic maps. II, J. Math. Soc. Japan 26 (1974), 647 667. [HV85] K. Hulek and A. Van de Ven, The Horrocks-Mumford bundle and the Ferrand construction, Manuscripta Math. 50 (1985), 313 335. [Kle80] S. L. Kleiman, Relative duality for quasicoherent sheaves, Compositio Math. 41 (1980), no. 1, 39 60. [Rei88] I. Reider, Vector bundles of rank 2 and linear systems on algebraic surfaces, Ann. of Math. (2) 127 (1988), 309 316. [SD74] B. Saint-Donat, Projective models of K3 surfaces, Amer. J. Math. 96 (1974), 602 639. [Ser06] E. Sernesi, Deformations of Algebraic Schemes, Springer-Verlag, 2006, Grundlehren der mathematischen Wissenschaften, Vol. 334. [Zar95] O. Zariski, Algebraic surfaces. With appendices by S. S. Abhyankar, J. Lipman and D. Mumford. Preface to the appendices by Mumford. Reprint of the second (1971) edition. Classics in Mathematics. Springer-Verlag, Berlin, 1995. Departamento de Álgebra, Universidad Complutense de Madrid E-mail address: gallego@mat.ucm.es Departamento de Álgebra, Universidad Complutense de Madrid E-mail address: mgonza@mat.ucm.es Department of Mathematics, University of Kansas E-mail address: purna@math.ku.edu