On K3 double planes covering Enriques surfaces

The moduli space of nodal Enriques surfaces is irreducible of dimension 9. A nodal Enriques surface is shown to be the quotient of a double cover of the plane by a lift of the Cremona involution. We also show that this gives a straightforward proof of the known description of the automorphism group for the generic such surface.


Introduction
The goal of this note is to give a simple geometric construction of nodal Enriques surfaces and to show that the known structure of the automorphism group for generic nodal Enriques surfaces can be deduced from it in a straightforward fashion. As a side result we show that these surfaces always have a Nikulin involution. We also determine the transcendental and Picard lattices in the generic nodal case.

A geometric construction
K3 and Enriques surfaces form a well studied class of compact complex surfaces. 1 Let us recall that a K3 surface is a simply connected surface with trivial canonical bundle, while an Enriques surface has a K3 surface as a double covering. 2 The corresponding involution is called an Enriques involution.
It is well known (see e.g., [2] for the complex case) that a general Enriques surface does not contain smooth rational curves of self-intersection −2, also called nodal 1 In this note we stay entirely within the realm of complex surfaces. 2 Enriques surfaces, contrary to K3 surfaces, are always projective.
To the memory of Wolf Barth. curves. Since the moduli space of Enriques surfaces has dimension 10, we expect that nodal Enriques surfaces have 9 moduli. From an abstract moduli point of view the notion of a general nodal Enriques surface can be made precise and this leads naturally to an irreducible 9-dimensional moduli space (see Sect. 2.4). The main goal of this paper is to give a simple geometric construction for the corresponding Enriques surfaces.
Although this can be extracted from the results in [6] (see, Remark 3.5), the simple direct construction we propose has not been observed before. Our main result is as follows. It uses the standard plane Cremona transformation c with points of indeterminacy p 0 , p 1 , p 2 and the blow up P of the plane in these points. Theorem 1. Let X → P 2 be a (minimal desingularization of a) double cover branched in a sextic curve which is invariant under c and which has only ordinary double points at the points p 0 , p 1 , p 2 . Then X is a K3 surface and c lifts on X to a fixed point free involution with quotient a nodal Enriques surface. This construction depends on 9 effective parameters and its general member is a "general nodal Enriques surface".

A K3 surface X which is the double cover of a general nodal Enriques surface
admits a second involution such that the resulting quotient of X is a degree 6 del Pezzo surface P ⊂ P 6 . The Enriques involution on X induces an involution on P, the projective plane P 2 blown up in three general points p 0 , p 1 , p 2 ; this in turn is induced by the standard Cremona transformation c. The branch locus of the resulting cover X → P 2 is a sextic curve, invariant under c and having ordinary double points at the three points p 0 , p 1 , p 2 .
We call the double cover X → P a del Pezzo double cover and the corresponding involution a del Pezzo involution. There is a second way to lift the Cremona involution to the K3 double cover X and, surprisingly, this is a Nikulin involution. A Nikulin involution on a K3 surface is a symplectic involution, i.e., one leaving non-zero holomorphic two forms invariant. They were studied by Morrison [11] as a sequel to Nikulin's study of finite groups of automorphisms of K3 surfaces. Nikulin involutions are also central in the work of van Geemen and Sarti [9]. Every Nikulin involution has eight fixed points leading to a quotient surface with eight nodes; the blow-up of these nodes yields a K3 surface.
To give the proof of the above theorem, we recall in Sect. 2 the moduli description of K3 and Enriques surfaces based on [16]. It is relatively easy to show the first part of the above theorem. We do this next, in Sect. 3, cf. Theorems 3.4 and 3.6. The proof of part (2) -this is Theorem 4.8 -can only be given after considerable work based on a precise lattice theoretic description of the nodal classes on general nodal Enriques surfaces. We have gathered the relevant lattice theory in Appendix A. Although well known among experts, we found it useful to give a concise and self-contained exposition of these results. For technical details we refer to Nikulin's investigations [12,14] and the monographs [6,7].

Automorphisms
For the generic Enriques surface without nodal curves, the automorphism group is known to be equal to the subgroup of isometries of the Enriques lattice M = H 2 (Y , Z)/(torsion) which induce the identity on M/2M and which, in addition, preserve each of the two connected components of the "light cone" {x ∈ M ⊗ R | x · x > 0}. Here the "dot" stands for the cup-product pairing. For the complex case see [2], while one should consult [5][6][7] for positive characteristic. Note that this group is infinite.
In the latter works, one can also find a characteristic free description of the automorphism group of the generic nodal Enriques surface. However, in positive characteristic one cannot use the period map for the covering K3-surface, making these results less explicit. For instance, our definition of a "generic nodal" Enriques surface is very explicit in terms of the periods of the universal cover. Secondly, without using transcendental methods it is harder to see when the representation of the automorphism group on the Néron-Severi lattice is faithful. Our precise genericity assumption ensures this faithfulness. In the nodal situation the main result of [5] states that the image of the automorphism group in the isometry group of the Néron-Severi lattice is always contained in the group made explicit in Corollary 5.8 and generically coincides with it. The original proof [5] of this result used computer calculations. Allcock [1] found a simpler group-theoretic proof.
Our geometric construction also gives a relatively easy way to determine the automorphism group of the generic 3 nodal Enriques surface. See Corollaries 5.6, 5.8 for precise statements. Also in this situation the automorphism group is infinite. See Remark 5.9. Our simplification uses in a crucial way the explicit description of the nodal curves on a generic nodal Enriques surface which we deduce from the geometric model we use.

Notational conventions
A lattice is a free Z-module of finite rank equipped with a symmetric bilinear integral pairing denoted by a dot. If L is a lattice, and F the field Q, R or C, the vector space The dual L * of the lattice L consists of the group of y ∈ L Q = L ⊗ Q for which all products y · x, x ∈ L are integral. Obviously L ⊂ L * is a subgroup and the discriminant group of L is the abelian group For a non-degenerate even lattice L, the pairing on L induces a Q/2Z-valued quadratic form δ L on A L , the discriminant form. The pair (A L , δ L ) is called the discriminant, but we shall be sloppy in that we use this terminology for the group A L as well a for the form δ L .
We shall use the following standard lattices: • the lattice n which is Z equipped with the quadratic form x → nx 2 ; • the hyperbolic lattice U = Z f ⊕ Zg, f 2 = g 2 = 0, f · g = 1; • the root lattices E n (see, Sect. A.1).
Furthermore, we use the following conventions: • If L is a lattice, nL ⊂ L is the sublattice consisting of elements nx, x ∈ L, while L(n) denotes the lattice with a new product given by n times the product on L. • The orthogonal direct sum of lattices is denoted by ⊥.
• The group of isometries of a lattice L is denoted by O(L).
• If S ⊂ L C , its isotropy group within the isometry group is denoted • A root is an element r ∈ L with r 2 = −2 defining a reflection • If G is a group of isometries of a lattice L, the automorphism induced by g ∈ G on L/nL is denoted by g n and we set G(n) := {g ∈ G | g n = id : L/nL → L/nL}.

K3 surfaces and Enriques surfaces
As recalled in the introduction, a K3 surface is a simply connected surface X whose canonical bundle K X is trivial. A nowhere zero section of K X defines a holomorphic 2-form ω X , unique up to a multiplicative scalar. The intersection pairing on H 2 (X , Z) makes this free abelian group of rank 22 into a lattice whose signature is (3,19). It is unimodular and even, that is, for all x ∈ H 2 (X , Z) the intersection number x 2 = x · x is even. As recalled in Appendix A.4, this characterizes the lattice up to isometry as which we call the K3-lattice. A choice of an isometry ϕ : We employ the following notation: The transcendental lattice can be characterized as the smallest sublattice T of H 2 (X , Z) such that T C contains Cω X . When a marking is given, we frequently confuse S X and T X with their images in L.
An Enriques surface Y is a surface with a K3 surface X as an unramified double cover u : X → Y . The corresponding involution ι Enr is called an Enriques involution and one has Y = X / ι Enr . The morphism u induces an isomorphism which is not an isometry; one has u * (x) · u * (y) = 2x · y. This can be described abstractly by introducing the Enriques involution on the level of lattices: One can always choose a marking ϕ : H 2 (X , Z) ∼ − → L such that ι * Enr corresponds to σ (see, e.g., [3,Lemma 19.1]). Such a marking is called a marking for the Enriques surface Y or for the pair (X , ι Enr ). It follows that such a marking induces an isometry is called the Enriques lattice. All classes in this lattice correspond to classes of divisors.

Involutions on K3 surfaces and on the K3 lattice
Forgetting the lattice structure, an involution τ on a free finite rank Z-module K can be characterized by its involution invariant, the triple of non-negative integers t(τ ) = (t + , t − , t sw ) defined by the ranks of the three submodules in any splitting K = K + ⊕ K − ⊕ K sw for which s|K ± = id ± and K sw = U ⊕t where U has rank 2 with basis {u, τ (u)}. This triple t(τ ) is indeed independent of how the splitting is achieved [17]. We determine these invariants for the following three involutions on L: 1. The Enriques involution; it clearly has invariant (0, 2, 10). 2. The Nikulin involution on lattice level, defined as We have t(ν) = (6, 0, 8). 3. The del Pezzo involution given as follows. Fix a root r ∈ E 8 (−1) ⊂ L, the first copy of This involution has invariant (0, 14,4). Indeed, it preserves each of the two summands E 8 (−1) and on such a summand the reflection s r interchanges two vectors x and x − r where x is any vector such that x · r = −1, while it leaves the orthogonal complement of the plane spanned by these two vectors invariant. Hence −s r as well as −s σ (r) has invariants (0, 6, 1) and μ has the stated invariants.
For later use we observe that where s r = −s r on the first copy of E 8 (−1) and the identity on its orthogonal complement, and likewise for s σ (r) . The above lattice type involutions come from geometry. The "geometric" Enriques involution, as we have seen, is fixed point free. Nikulin involutions on a marked K3 surface inducing the one on L have 8 isolated fixed points and the quotients, after blowing up the fixed points, are K3 surfaces again. See [13], [11] and [9, Sect. 1.2]. The geometry of the del Pezzo involution will be explained in Sect. 3.2.

Remark 2.1
Involutions on K3 surfaces have been classified [14,Sect. 4], [20]. Apart from the Enriques and the Nikulin type involutions, all other involutions have rational surfaces as quotient. A double cover of the projective plane ramified in a smooth sextic curve is an example of the last type of involution.

Moduli of K3 and Enriques surfaces
Let X be a K3 surface and ω X a non-vanishing holomorphic 2-form on it. A marking ϕ : H 2 (X , Z) → L induces an isometry ϕ C : H 2 (X , C) ∼ − → L C . The line [ϕ(ω X )] ∈ P(L C ) defines the period point of (X , ϕ); it belongs to the period domain The group O(L) acts on D.
Moduli of Enriques surfaces Y = X / ι Enr can be described by means of the K3surface X as follows. Choose a marking ϕ : H 2 (X , Z) ∼ − → L for (H 2 (X , Z), ι Enr ) and set Since ι * Enr ω X = −ω X , the period point of (X , ϕ) then belongs to D ∩ P(L − C ). In fact it belongs to an open subset thereof obtained by deleting the points on hyperplanes H r ⊂ P(L − C ), orthogonal to roots r ∈ L − :

Moduli of nodal Enriques surfaces
Let Y = X /ι Enr be an Enriques surface. A nodal curve C on Y corresponds to a pair of disjoint nodal curves {B, ι Enr (B)} on X . Let us see how this is reflected on the level of lattices. For clarity, we write the K3-lattice as where M M is the first sublattice between parentheses in (1). Via the marking, the homomorphism u * : In particular, if r + ∈ M is the class of a nodal curve on Y , we see that u * (r + ) = r+σ (r) ∈ M ⊥ σ (M ). This leads to the following terminology for the corresponding roots in L.
The corresponding two nodal hyperplanes H r = r ⊥ and H σ (r) = σ (r) ⊥ meet P(L − ) in the same hyperplane which we denote We set

Remark 2.3
Observe that c can be written in many ways as a difference c = s − σ (s) of a pair of σ -adapted roots which are not necessarily strongly σ -adapted. For an Enriques surface Y = X /ι Enr with period point on D c such pairs {s, σ (s)} consist of algebraic classes on X , but they are not necessarily nodal classes. The classes s + σ (s) correspond to roots in the Enriques lattice. In fact, below, in Sect. 4.2 we determine these roots. On the other hand, suppose we have a strongly σ -adapted pair {s, σ (s)} of roots for which c = s − σ (s) is different from c. If the period point of Y does not belong to the corresponding hyperplane H c , the class s is not an algebraic class on X and in particular does come from a nodal class on Y . Accordingly, we set: Points in M gen root correspond to Enriques surfaces Y = X /ι Enr whose only nodal classes correspond to strongly σ -adapted pairs {r, σ (r)} of roots in the Picard lattice of X with r − σ (r) = c.

The standard Cremona transformation and invariant sextics
Consider the projective plane P 2 with homogeneous coordinates (x 0 , x 1 , x 2 ) and let p 0 = (1 : 0 : 0), p 1 = (0 : 1 : 0), p 2 = (0 : 0 : 1). The standard Cremona transformation centered at p 0 , p 1 , p 2 is the birational involution given by Let π : P → P 2 the plane blown up in the three points p 0 , p 1 , p 2 with exceptional curves E i mapping to p i , i = 0, 1, 2 and let L i be the proper transform of the coordinate axis {x i = 0}.
We now consider sextic curves C having an ordinary double point in each of the points p 0 , p 1 , p 2 and left invariant by the Cremona transformation. Such a sextic curve is given by a polynomial of the shape Proof (i) A generic member of the family (10) is a sextic which has three ordinary double points at the points p 0 , p 1 , p 2 and is smooth elsewhere. To see this it suffices to give one member of the family for which this is true. Such a member is the sextic with equation This can be easily checked; for instance the coordinates of the four fixed points  (10), T 12 = 1 and so such T form a finite group G. Indeed, T permutes the singularities of C and hence T 6 fixes each of them. But then T 6 permutes each of the two tangents to C at p j , j = 0, 1, 2 and so (T 6 ) 2 fixes each of these 6 lines and hence must be the identity. Next, observe that there are 10 coefficients in the equation (10) and hence the family depends on 9 parameters. Since G is finite, this shows that there are nine moduli.
The Cremona transformation induces a biregular involution ι Cr : P → P with ι Cr (E i ) = L i , i = 0, 1, 2, the proper transform of the coordinate axis {x i = 0}. The corresponding divisor classes in the Picard group will be denoted by the corresponding lower case letters. The class of the proper transform L of a line will be denoted by . We have: Cr preserves the class −k P = 3 − (e 0 + e 1 + e 2 ) of the anti-canonical bundle; this class is (very) ample.
Proof (i) The first three equalities are clear. The last equality follows since ι Cr transforms a line into a conic through the three points p 0 , p 1 , p 2 . (ii) This follows from (i). For the ampleness of the anti-canonical class, see e.g., [7, Theorem 8.2.3].

Del Pezzo double covers admit Enriques involutions
The class of the proper transform in P of a sextic having double points in p 0 , p 1 , p 2 in the Picard group equals 6 − 2(e 0 + e 1 + e 2 ) = −2k P and so is 2-divisible. We thus may form the double cover q : X → P of P branched in the curveC.

Definition 3.3
A double cover q : X → P of P branched in the proper transformC of a sextic (10), is called a del Pezzo double cover and the corresponding involution ι delP , a del Pezzo involution. IfC is smooth, we speak of a smooth del Pezzo double cover.

Theorem 3.4 Let q : X → P be a smooth del Pezzo cover. The surface X is a K3 surface. The involution ι Cr lifts to a fixed point free involution ι Enr
As a minimal resolution of a plane double cover, X is simply connected and so X is a K3 surface.
The surface X is canonically embedded in the total space F of F as the zero set of the section p * f − s 2 where p : F → X is the bundle projection, f a section of F ⊗2 vanishing alongC and s the tautological section of p * F. The involution ι Cr acts naturally on F and so ι Cr can be lifted to X in two ways. Since ι Cr acts fixed point freely onC, the two involutions on X lifting ι Cr act without fixed point on B = q −1C . Over the 4 fixed points of ι Cr one has 8 points in X all of which are either fixed or not fixed. In the first case the involution preserves the canonical two-form; in the second case it sends it to its negative. So either we get a Nikulin involution or a fixed point free involution, i.e., an Enriques involution.
On X the inverse images q −1 E i , i = 0, 1, 2 of the 3 exceptional curves E i are nodal curves. Their classes in the Picard group will be denotedẽ i . The inverse images q −1 L i , i = 0, 1, 2 of the three rational curves L i also are nodal curves with classes, say˜ i . Then ι * Enr (ẽ i ) =˜ i . Let˜ be the class of q −1 (L). The intersection behaviour of these classes is as follows: We say that the six divisorsẽ i ,˜ j form a doubly bonded hexagon of nodal curves. Its classes are said to form a doubly bonded hexagon of roots. The intersection graph can indeed be depicted as where the vertices represent classes of selfintersection −2 and where adjacent vertices have inner product 2. We also note that the sum of the divisors in the doubly bonded hexagon is ample, since we have: To motivate the terminology "del Pezzo involution" for ι delP we explain the geometry behind this. The anticanonical system | − K P | corresponds to the sixdimensional system of cubics passing through p 0 , p 1 and p 2 which gives an embedding j : P → P 6 as a surface of degree 6. This is the standard anticanonical embedding of the del Pezzo surface P. Note that, taking as a basis for H 0 (O P (−K P )) the representing cubics the branch locus of q has equation On the other hand, the system | − q * K P | has dimension 7 since the corresponding ample line bundle q * O P (K −1 P ) on the K3 surface X has degree 12 and Riemann-Roch and Kodaira vanishing then give that the dimension of its space of sections equals 6 + 2 = 8. See e.g., [3, Ch. VIII.3]. The system | − q * K P | embeds X in P 7 as a degree 12 surface; the subsystem of divisors of the form q * D, D a divisor of | − K P | defines a rational mapq : P 7 P 6 which maps X in a 2-1 fashion onto j(P) ⊂ P 6 . Indeed, there exists y ∈ H 0 (O X (−q * K P )) such that y 2 = φ with φ as in (14). If P 7 has homogeneous coordinates (c 0 : · · · : c 6 : y), the del Pezzo involution is induced from (c 0 : · · · : c 6 : y) → (c 0 : · · · : c 6 : −y) and the mapq which is projection from the point (0 : · · · : 1) induces q. The Cremona involution is induced from the involution on P 6 given by which lifts to the involutions (c : y) → (ι Cr (c) : ±y) on P 7 ; these induce the Nikulin involution, respectively the Enriques involution. This is summarized by the following diagrams. 5 From this diagram it follows that the Enriques surface Y = X /ι Enr has an extra involution, say ι, induced by ι delP (or ι Nik ) as depicted below.
The quotient Z = P/ι Cr has 4 nodes since ι Cr has 4 isolated fixed points on P. The linear forms c 0 , c 1 +c 2 , c 3 +c 4 , c 5 +c 6 on P 6 are ι-invariant and the induced projection 3 realizes the surface Z as the Cayley 4-nodal cubic surface. In [5] this induced involution ι is called the "Kantor involution". Clearly, from the Kantor involution one can obtain the del Pezzo involution, but in the literature we could not find an explicit construction of Enriques surfaces using the del Pezzo double cover.

Del Pezzo double covers give general nodal Enriques surfaces
Let q : X → P be a del Pezzo double cover. We ask for an explicit isometric embedding of q * S P ⊂ S X , the sublattice of the Picard lattice of X coming from P, To that end, let { f , g} be the standard basis of the second copy of U and r any root in the first copy of E 8 (−1). We claim: Theorem 3.6 Let q : X → P be a del Pezzo double cover with corresponding Enriques surface Y = X /ι Enr . Then (i) There is a marking for (X , ι Enr ), say ϕ : (ii) The classes in the doubly bonded hexagon (11) are embedded in the lattice L in such a way that σ coincides with the action of ι * Enr . In particular is the class of an ample divisor. Proof We first consider the sublattice of L + spanned by f + = f + σ ( f ) and g + = g + σ (g). It is isometric to U (2), the first summand of M(2) = U (2) ⊥ E 8 (−2). The sublattice of H 2 (X , Z) ι * Enr =id spanned by˜ −ẽ 1 and˜ −ẽ 2 is likewise isometric to U (2). The correspondence˜ −ẽ 1 → f + ,˜ −ẽ 2 → g + can be extended to give an isometry identifying the two summands U (2). Moreover, since any two roots in E 8 (−1) are conjugate under an isometry (see, Appendix A.1), we can choose the isometry in such a way thatẽ 0 + ι * Enr (ẽ 0 ) maps to r + = r + σ (r). We now use Cor. A.7 from the Appendix which states that there is a "matching isometry" such that the pair (ϕ + , ϕ − ) extends to an isometry ϕ : H 2 (X , Z) ∼ − → L compatible with the Enriques involution. By definition, ϕ − (ẽ 0 − ι * Enr (ẽ 0 )) = r − σ (r) and the required properties for ϕ are a consequence. (iii) Lemma 3.2 implies that the class −q * k P is ample. The first assertion in (iv) is a consequence of the existence of this particular marking. Since by Lemma 3.1 the family we constructed has nine effective parameters, and M c has dimension 9, the general member of the family is a general nodal Enriques surface.

Comparison of involutions
The three involutions on a del Pezzo double plane, the del Pezzo involution, the Enriques involution and their composition, the Nikulin involution can be compared to their lattice theoretic counterparts. Proof The marking intertwines ι * Enr and σ by construction. Observe that the classes in S X invariant under ι * delP under the marking all belong to the primitive lattice generated by r, σ (r), f +σ ( f ) and g +σ (g). This implies first of all that, as for μ, the two copies of U are switched (note that f − σ ( f ) and g − σ (g) are mapped to their opposites). In the first copy of E 8 (−1) the involution ι * delP must act as −s r (with only Zr as invariant sublattice) and, similarly, in the second copy ι * delP must act as −s σ (r) . This implies that the marking indeed intertwines ι * delP and μ. Since ι Nik = ι delP •ι Enr , by Eq. (5), the marking s σ (r) •s r •ϕ then automatically intertwines ν and ι * Nik .

Nodal curves and the ample cone
Let (X , ϕ) be any marked K3 surface with period point [ω] ∈ L C . Divisors on a K3 surface X give classes in S X , the Néron-Severi lattice; effective or ample divisors give effective, respectively ample classes in S X . By Riemann-Roch, if D 2 ≥ −2 either D or −D is effective and so in particular, a root s ∈ S X is either effective or −s is effective, giving rise to the partitioning: Nodal classes are the effective roots defined by the (−2)-curves, these are precisely the indecomposable roots. The lattice S X has signature (1, s) and so we can apply the considerations of Appendix A.5 to S X . The cone {x ∈ S X ⊗ R | x 2 > 0} has two connected components, only one of which contains effective classes. It is called the positive cone C X . The ample classes form a subcone which can be characterized lattice theoretically as a "fundamental chamber" with respect to the above partitioning of the roots. In this case the fundamental chamber is the ample cone, The ample cone is completely determined by the nodal classes since these correspond to the indecomposable roots in + . The elements in C( + ) ∩ S X are precisely the ample classes. Conversely, if h ∈ S X is an ample class, we can find back the effective roots and hence the ample cone.
On an Enriques surface Y = X / ι Enr all cohomology classes are classes of divisors: Any class d ∈ S Y with d 2 ≥ 0 has the property that either d or −d is effective. All effective such classes belong to the closure of the positive cone C Y ⊂ S Y ⊗ R.
As on a K3 surface, on an Enriques surface an indecomposable root is the class of a (−2)-curve. However, if D is a divisor with D 2 = −2, it is not true in general that ±D is effective. Classes of nodal curves on Y correspond to pairs of disjoint nodal curves {C, ι Enr (C)} on X . So, to study nodal curves, we have to get back to the associated K3 surface. Using this remark, one sees [2, Lemma 2.4] that the natural unramified double cover u : X → Y induces a bijection

Nodal classes on general nodal Enriques surfaces
Now let Y = X / ι Enr be a general nodal Enriques surface with marking ϕ : The nodal classes on Y = X /ι Enr correspond to strongly σ -adapted pairs of irreducible roots {s, σ (s)} in the lattice ϕ(S X ) ⊂ L (cf. Definition 2.2).

Corollary 4.2 ( i) The lattice N (c) generated by (c) is isometric to U
. (ii) Roots from the set + (c) all belong to r + + 2R with R = Zr + ⊥ r + ⊥ . (iii) The lattice N generated by + (c) in M is isometric to Moreover, the set of roots in N coincides with + (c).
If follows that s + ∈ r + + 2R. (iii) Is a direct consequence of (i) and (ii).

see Definition A.3) for example those from Example A.4 and put:
Introduce the sets of roots (i) The roots from each of the sets ± , ±σ ( ) belong to (c) and form a maximal orthogonal set of roots in (c). (ii) Two distinct roots d, d ∈ + satisfy d · d = 2.
Proof While (ii) is clear, for (i) we first observe that all ten roots δ j ∈ are mutually orthogonal and δ j − σ (δ j ) = c and so ⊂ (c) and then also −σ ( ) ⊂ (c). That d ∈ + is a root is clear, as well as their intersection behaviour. A small calculation shows that these d are independent. Since rank M = 10 this shows that (and also −σ ( )) forms a maximal orthogonal set of roots in (c).

Remark 4.4 Any three roots from the set together with their images under σ form a doubly bonded hexagon of roots.
For the general nodal Enriques surface we observe that the definition is just so that the following holds: Proposition 4.5 Choose c ∈ L − as above. For a general nodal Enriques surface the nodal curves correspond precisely to the irreducible roots in + (c). These generate the lattice N given in Eq. (19).

Remark 4.6 In [15] Nikulin defines a certain invariant for Enriques surfaces as follows.
Consider the sublattice K ⊂ L − ( 1 2 ) generated by − (see (16)) and consider the natural homomorphism of groups which sends the class of r − to the class of a corresponding r + with r − + r + ∈ 2L. The pair (K , Ker ξ) is Nikulin's root invariant of the Enriques surface. The root invariant is such that the rank of K is precisely the codimension of the corresponding moduli space in M. Note that for a generic Enriques surface the root invariant is (0, 0). For a generic nodal Enriques surface K = −2 and since ξ is injective its root-invariant is ( −2 , 0). In our situation the root invariant is completely determined by the so-called nodality class 4 c mod 2M = r + mod 2M ∈ V := M/2M F 10 . (22) We suppose now that Y is an Enriques surface whose moduli point belongs to M gen root . We adapt the marking ϕ in such a way that the sum h of the roots in the hexagon (12) is an ample class (see, (13) and Theorem 3.6(iii)) Since by (15) both assertions are equivalent, we explain the construction only for the classes on Y . In what follows we shall use the above marking to identify (H 2 (X , Z), ι * Enr ) and (L, σ ). We are now ready to prove our second main result: Theorem 4.8 Let Y = X /ι Enr be a general nodal Enriques surface. Then X is a del Pezzo double cover with branch locus coming from a sextic curve C ⊂ P 2 . Moreover,

(i) the Enriques involution descends to a biregular transformation induced by a standard Cremona transformation of P 2 . The curve C is invariant under the Cremona transformation and has three ordinary double points in the fundamental points of the Cremona transformation; (ii) the composition of the covering involution and the Enriques involution is a Nikulin involution. In particular, the double cover of any generic nodal Enriques surface admits a Nikulin involution.
With regards to the Néron-Severi and transcendental lattices, one has L + +Zc ⊂ S X and T X ⊂ c ⊥ ∩ L − with equality if the Picard number of X equals 11. In that case we have Proof (i) We first observe that the del Pezzo involution μ preserves the ample class h = δ 1 + δ 2 + σ (δ 0 ) = f + g + σ ( f + g) − σ (r). By the Torelli theorem (e.g., [3,Theorem 11.1]) this implies that there is an involution ι delP on X inducing μ.
The involution μ in addition fixes the nodal classes δ 0 , δ 1 , δ 2 ∈ L given by (20). Let q : X → P = X /ι delP be the natural quotient map. Since P can at most have double point singularities which would give rise to extra nodal curves on X , we see that P is smooth. Moreover, from Remark 2.1 we infer that P must be a rational surface. To see that it is P 2 blown up in three points, we first notice that there an isomorphism Q-vector spaces Let , e 0 , e 2 , e 3 ∈ H 2 (P , Q) such that q * =h, q * e 0 = δ 0 , q * e 1 = δ 1 , q * e 2 = δ 2 . Since q * multiplies the intersection form with 2 we see that 2 = 1 and that the e j , j = 0, 1, 2, are classes of exceptional curves on P . Hence H 2 (P , Q) = Q ⊥ Qe 0 ⊥ Qe 1 ⊥ Qe 2 which establishes our claim that P = P, the projective plane blown up in three points p 0 , p 1 , p 2 . But then q : X → P is a double cover branched in the proper transformC of a sextic curve C ⊂ P 2 having three double points at p j , j = 0, 1, 2. Since the period point of X belongs to M gen root , the sextic curve has no other singular points. Next, recall that the class of −q * K P corresponds toh + σ (h) which is fixed under the Enriques involution σ . So ι Enr descends to an involution c on P which on P 2 is the Cremona involution. Since σ and μ commute, c leaves the branch locus invariant. Hence X is a del Pezzo double cover. (ii) This is a direct consequence of Theorem 3.4. The statement about S X and T X for general nodal X are clear. If the Picard number equals 11, one has T X = c ⊥ ⊂ L − which is clearly isometric to U ⊥ U (2) ⊥ E 7 (−2). Since S X = T ⊥ X , by [12, Sect. 1.5] the discriminant form of S X is the same as the one for T X (−1). By Example A.12 we have that S X U ⊥ −4 ⊥ E 8 (−2).

Remark 4.9
For any general nodal Enriques surface one can determine the nodal curves D with low degree with respect to the ample class h as follows. As observed, all (−2)curves D with deg D = 2 are nodal. These are r + , d 1 = 2 f + −r + and d 2 = 2g + −r + . Next, consider degree 6. Among those are linear combinations of the preceding nodal curves, found using nodal reflections. We get the following 6 reducible classes of degree 6: The remaining classes of degree 6 are all of the form 2 f + + 2g + − r + + 2e + with e + some root of E 7 (−1) and hence must be nodal. In particular, this holds for the 7 classes d j , j = 3, . . . , 9 defined by (20) and (21).

Reduction modulo 2
The product on M defines on the F 2 -vector space V := M/2M an induced F 2bilinear form b upon setting b(x,ȳ) = x · y mod 2. The associated quadratic form b(x,ȳ). By [2, 1.4] there is a surjective homomorphism We let be the natural restrictions. We then have: Proof Let g ∈ O(L, σ ) such that r − (g) ∈ r − (A c ). Replacing g by ±s r •s σ (r) g if necessary, we may assume that r − (g) = id. We apply the results of Sect. A.3 as follows. We first observe that g induces the identity on A L − A L + which means precisely that r + (g) ∈ O(L + ) (2). For the converse, one uses Corollary A.7.
We next translate this in terms of M. Recall that the class by definition is the nodality class determined by the rootr + . It depends only on c = r −σ (r). Observe that the mod 2 reduction of s r + is the transvection tr ∈ O(V , q) and so, by Lemma 5.1 we have The Reye lattice Note that since r + is a root, q(r) = 1, while b(r,r) = 0. Sor ⊥ ⊂ V is a 9-dimensional subspace containingr. This leads to the following notion, introduced by Cossec and Dolgachev [5]. From now on we suppose, as before, that r is a root in the first copy of E 8 (−1) giving r + in the corresponding copy of E 8 (−1) ⊂ M.
We need the following result. Proof For simplicity we write R instead of R 10 . Suppose that g ≡ id mod 2M. Any c-nodal root s + belongs to r + + 2R and so g(s + ) ∈ r + + 2R. Clearly s r + preserves the set of c-nodal roots. It follows that any g ∈ (c) fixesr ∈ V and hence preserves r ⊥ . But this means precisely that g preserves the Reye lattice.

Automorphisms of the generic nodal Enriques surface
Fix a marking for (X , ι Enr ) and identify (C amp X ) ι * Enr =id = C amp Y (see (15)) with its image in M ⊗ R under the marking. The marking induces a representation of Aut(Y ) on the lattice M and we set The marking sends the holomorphic 2 form on X to the corresponding line [ω X ]. Any automorphisms g of X induces an automorphism of the transcendental lattice T X and preserves the plane P X ⊂ T X ⊗ R spanned by the real and imaginary parts of ω X . The intersection form is positive definite on this plane and it follows that g has finite order on T X since T X is the smallest sublattice of H 2 (X , Z) with P X ⊂ T X ⊗ R. Hence g acts on the complex line Cω X as multiplication by an -th root of unity ,which is at the same time an eigenvalue for g * |T X . Since the characteristic polynomial of this action has degree equal to rank T X ≤ 12 we must have ϕ( ) ≤ 12, where ϕ denotes the Euler function. This leads to the number field k = Q[η ] with ϕ( )≤12 , η a primitive -th root of unity.
(25) The argument of [2,Lemma 2.9] shows that the assumption on the period point implies that g ∈ Aut(Y ) acts on T X as ±id. Since the Picard number of X is 11, Theorem 4.8 tells us that T X = c ⊥ ∩ L − . Since g must also preserve c up to sign, we deduce that in that case g|L − ∈ r − (A c ). So, by Lemma 5.2 g ∈ (c). Conversely, every g ∈ (c) induces ±id on T X and in particularly it preserves [ω X ]. If g R also preserves the ample cone of Y , it sends an ample invariant class in C We now make explicit the condition that C amp Y be preserved. Set W nodal := Weyl group of (N + (c)). This is the group generated by the reflections s s , s ∈ + (c). Since C amp Y is a fundamental domain for the action of W nodal on the "light cone" C M , we have Following [5,7] the group Y can be described more explicit. We give a simplified argument. For simplicity we write R for the Reye lattice instead of R 10  Proof Lemma 5.4 tells us that (c) and hence W nodal preserves the Reye lattice so that Next we consider the conjugacy class of s r + . Within M all roots are conjugate. We want to show that a c-nodal root s = r + + 2y, y ∈ R is conjugate to r + by an element in O(M) that preserves the Reye lattice. So pick u ∈ O(M) with u(s) = r + . The Reye lattice can be characterized as Since us s u −1 = s u(s) , applied to c-nodal roots s, this shows that W nodal is the smallest normal subgroup of O ↑ (R) containing the reflection s r + .
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

A.1 The E n -lattices
We use the description of the root lattices E n (−1) as given in [7] which differs from the classical description but turns out to be better adapted to calculations. Consider R n+1 equipped with the standard Lorentz inner product given in coordinates (ranging from 0 to n) by (x 0 , x 1 , . . . , x n ) · (y 0 , y 1 , . . . , y n ) = x 0 y 0 − ( n j=1 x j y j ) and let E 1,n be the lattice Z n+1 ⊂ R n+1 with the induced Lorentz product, and put For n = 6, 7, 8 this gives the "negative" of the root lattices E n . For n = 9 the form has a one-dimensional radical spanned by k and for n = 10 the lattice has signature (1,9). Below we show that the latter is isometric to the Enriques lattice M. The above description of E n makes it easy to deal with roots. See e.g., [7,Section 8.2.3]. For instance, we have: Lemma With {e 0 , . . . , e n } the standard basis for R n+1 , a root basis for E n (−1) is given by the roots α 0 = (1, −1, −1, −1, 0, . . . , 0) and α j = e j+1 − e j , j = 1, . . . , n − 1.
We shall use a basis of roots in E 7 (−1) and E 8 (−1). The Dynkin diagrams together with their extensions are as follows.
We assemble some further useful facts: We furthermore need special sets of roots in E n (−1) called symmetric: form a symmetric set of roots in E 7 (−1).

A.2 The Reye lattice
Consider the T -shaped graph T 2,4,6 formed by the leftmost 10 nodes of the graph of Fig. 2. Here β 2 i = −2, i = 0, . . . , 9 and r + is a root with r + · β 9 = −2, as indicated by the dotted double line. We show the following.
In this isometry the summand −2 corresponds to r + . where N (s r ) is the minimal normal subgroup containing s r + .
Hence f , f + β 8 + β 9 span a hyperbolic plane orthogonal to E 7 (−1) and to the root r + = f + β 9 . Hence T 2,4,6 is indeed isometric to E 7 (−1) ⊥ U ⊥ −2 . (ii) Since the generating reflections from Cox 2,4,6 come from roots in M this is obvious. (iii) Let P be the lattice spanned by r + and β 9 . It is left invariant by the two reflections s r + and s β 9 . Observe t = s r + •s β 9 preserves the plane P and in the basis {r + , β} the automorphism t|P has matrix which has infinite order. Hence the natural division of the nodes in the extended Dynkin diagram into the 10 nodes of T 2,3,6 and r + is such that s r + •s β j either has order 2 or ∞. We then apply [19, Lemma 1].

A.3 On isometries of L and M
We investigate the K3 lattice L and the behaviour of its isometries with respect to the Enriques involution σ . The sublattices of L on which σ = ±id are denoted L ± . Recall that L + M (2) and . We consider the question as to whether a pair of isometries of L ± extend to give an isometry on L. To answer this question, introduce the isometry Proof This follows immediately from the preceding discussion, except that we need to see that γ commutes with σ . This follows since it does so on the sublattice 2L ⊂ L (write 2x = (x + σ (x)) + (x − σ (x)) ).
Recalling Definition 2.2 and using Corollary A.7 we then deduce: Corollary A.9 Strongly σ -adapted pairs of roots in L are conjugate under the action of O(L, σ ).

A.4 On even indefinite lattices
As is well known (see e.g., [18,Chapter 5]), even indefinite unimodular lattices are uniquely determined by their signature. The building blocks are U , E 8 and E 8 (−1). The K3 lattice, having signature (3,19) thus equals U 3 ⊥ E 8 (−1) 2 . For nonunimodular lattices L, there is an extra invariant, the discriminant form δ L . Nikulin has given criteria ensuring uniqueness for even indefinite lattices L with given signature and discriminant form. It uses the "signature mod 8" or Arf-invariant τ (q) of a quadratic form on a finite groups. This is an integer modulo 8 with the property that τ (q L ) ≡ index of L (mod 8). We quote the result [12, Corollary 1.13.3]: Theorem A.10 There is a unique indefinite even non-degenerate lattice L with signature (t + , t − ) and discriminant form (A L , δ L ) whenever • the signature t + − t − of L and of δ L are the same modulo 8; • rank L ≥ 2 + |A L |.
Before we can apply this, we need to introduce some Q/2Z-valued quadratic forms on finite abelian groups.
Notation A.11 1. For a prime p and a an integer prime to p, we let q a, p k be the group Z/ p k Z with form x → a p k x 2 . 2. The group Z/2 k Z ⊕ Z/2 k Z equipped with the quadratic form (x,ȳ) → 1 2 k−1 x y with x, y ∈ Z representatives forx,ȳ, gives the discriminant form for the lattice U (2 k ) and will be denoted u 2 k . It has Arf invariant 0. 3. The group Z/2 k Z ⊕ Z/2 k Z equipped with the quadratic form (x, y) → 1 2 k−1 (x 2 + x y + y 2 ) is denoted v 2 k . It has Arf-invariant 1.
Observe that it follows immediately that a Q/2Z-valued form on the group (Z/2 k Z) 8 of rank 8 has Arf-invariant 0 precisely for u 4 2 k or q 8 ±1,2 k . Next we observe that, given a lattice L of rank r with discriminant form q a, p k , the modified lattice L( p s ) has discriminant group Z/Z p k+s ⊕ (Z/Z p s ) r −1 . This follows easily from the theory of elementary divisors applied to the Gram matrix for the lattice L( p s ). It is more complicated to find the induced quadratic form on the discriminant. For p = 2 the Arf-invariant facilitates the calculation; can can use e.g. that the Arfinvariant is zero if and only if the form represents 0. We have seen (Lemma A.1) that the discriminant form of E 7 (−1) is q 1,2 , a form with Arf-invariant 1 (mod 8), confirming that 1 ≡ −7 mod 8. There is a unique form on Z/2Z ⊕ Z/2Z with Arfinvariant 0, namely u 2 . Using this, it follows that E 7 (−2) has discriminant q 1,2 2 ⊕ u 3 2 . Finally, note that the discriminant form of E 8 (−2) represents zero: the quadratic form vanishes on the vector (1, −1, 0, 0, 0, 0, 0, 0, 0) ∈ (k ⊥ ) * = E 1,8 /Zk and hence on its class in q E 8 (2) . It follows that q E 8 (2) = u 4 2 .
Example A. 12 Consider L 1 = U ⊥ U (2) ⊥ E 7 (−2). This lattice has signature (2,9) and discriminant u 2 ⊕ q 1,2 2 ⊕ u 3 2 and satisfies the conditions of the theorem. Consider now the form q −1,2 2 ⊕ u 4 2 = −q L 1 . It also satisfies the conditions of the theorem, this time for signature (1,10). So there is a unique even lattice L 2 of this signature and with q L 2 = −q L 1 . To determine it, note that we just saw that E 8 (−2) has Arf-invariant 0 so that its discriminant is u 4 2 . It follows that L 2 = U ⊥ −4 ⊥ E 8 (−2).

A.5 Hyperbolic lattices
We recall here some well known properties of groups generated by reflections in the vector space N R associated to an even hyperbolic lattice N , i.e., a lattice whose signature is (1, n). See e.g., [4], [14,Sect. 1.1].
Recall that the half cone C N is a connected component of the "light cone" of elements x ∈ N R with x · x > 0. The reflections s r , r a root in N preserve the cone A fundamental domain for the action on C N can be obtained as follows. Choose a partition (N ) = + ∪ − + for the set (N ) of roots in N into "positive" and "negative" roots. Such a partition can be assumed to be stable under taking sums: a root which is a sum of roots from + belongs to + . Roots which cannot be written as such a sum are called indecomposable. W (N ) is generated by reflections in the indecomposable roots. For two different indecomposable roots r, s we have r · s ≥ 0.
The roots r ∈ (N ) define hyperplanes H r = r ⊥ ∈ N ⊗ R which divide C N in "chambers", by definition the components of the complements of their union in N R . The fundamental domain is then the closure of the fundamental chamber C( + ) = {x ∈ C N | x · r > 0 for all r ∈ + }.
A fundamental domain is thus determined by a partition into positive and negative roots. Conversely, given any chamber C gives such a partition: take an element y in its interior, then the roots in N having positive intersection with y are the positive roots in a partition and C is the intersection of the positive half spaces defined by these roots. Consequently we have