## AUTOMORPHISMS OF UNNODAL ENRIQUES SURFACES

## GEBHARD MARTIN

ABSTRACT. It follows from an observation of A. Coble in 1919 that the automorphism group of an unnodal Enriques surface contains the 2 -congruence subgroup of the Weyl group of the E 10 -lattice. In this article, we determine how much bigger the automorphism group of an unnodal Enriques surface can be. Furthermore, we show that the automorphism group is in fact equal to the 2 -congruence subgroup for generic Enriques surfaces in arbitrary characteristic (under the additional assumption that the Enriques surface is ordinary if the characteristic is 2 ), improving the corresponding result of W. Barth and C. Peters for very general Enriques surfaces over the complex numbers.

Convention. Except for Section 2, we will be working over an algebraically closed field k . If char( k ) = 2 , all Enriques surfaces considered will be assumed to be ordinary. In particular, their canonical cover is a smooth K3 surface.

Denote by W E 10 the Weyl group of E 10 = U ⊕ E 8 , which is the unique even unimodular lattice of signature (1 9) , . It follows from the classification of Enriques surfaces with numerically trivial automorphisms (see [NM84] and [DM19b]), that Aut( X ) is a subgroup of W E 10 for every unnodal Enriques surface X , that is, for every Enriques surface which does not contain ( -2) -curves. On the other hand, an observation of A. Coble [Cob19] (see [All18] for an elegant proof in arbitrary characteristic) implies that for an unnodal Enriques surface X the group Aut( X ) always contains the (infinite) 2 -congruence subgroup of W E 10 ,

$$W _ { E _ { 1 0 } } ( 2 ) \coloneqq \ker ( W _ { E _ { 1 0 } } \to O ( E _ { 1 0 } / 2 E _ { 1 0 } ) ), \\ \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \end{cases}$$

as a normal subgroup. Hence, we can define the extra automorphism group

$$\overline { \text{Aut} } ( X ) \coloneqq \text{Aut} ( X ) / ( W _ { E _ { 1 0 } } ( 2 ) )$$

of an unnodal Enriques surface X . The purpose of this article is to study the group Aut( X ) . The following are our main results.

Theorem A. Let X be an unnodal Enriques surface. Then, | Aut( X ) | ∈ { 1 2 4 , , } . If char( k ) = 2 , even | Aut( X ) | = 1 { } holds.

Theorem B. Let X be a generic Enriques surface. Then, X is unnodal and Aut( X ) is trivial, that is, Aut( X ) = W E 10 (2) .

More precisely, we show that the locus of Enriques surfaces with extra automorphisms is contained in a closed subset of codimension 5 in the base of any modular family of unnodal Enriques surfaces (see Corollary 5.5 for a more refined statement).

Remark 0.1. All the possibilities for | Aut( X ) | given in Theorem A are actually realized on unnodal Enriques surfaces. More precisely, in Section 6, we will give examples, first described by H. Ohashi [Oha15] over the complex numbers in a different context, realizing all the possibilities in Theorem A in all except possibly finitely many characteristics. These families of examples are 5 - resp. 2 -dimensional, showing that the bounds on the dimension of such families given in Corollary 5.5 are sharp.

Remark 0.2. We note that, even for k = C , Theorem A is new. Moreover, over the complex numbers, Theorem B extends the main result of W. Barth and C. Peters in [BP83] (which also follows from independent work of V. V. Nikulin [Nik80]) according to which | Aut( X ) | = 1 holds for a very general Enriques surface, whereas we show that this in fact holds outside a closed subset of codimension 5 in the moduli space of unnodal Enriques surfaces.

Remark 0.3. In analogy to the introduction of [BP83], we deduce that there are exactly 527 = 17 · 31 elliptic fibrations on a generic Enriques surface X up to automorphisms of X . As in [BP83], it also follows that there are exactly 2 7 · 17 · 31 double plane models, 2 11 · 5 · 17 · 31 Enriques models, and 2 14 · 3 · 17 · 31 Fano models of X up to the action of Aut( X ) for a generic Enriques surface X in arbitrary characteristic.

The outline of this paper is as follows: After recalling the known facts about automorphisms of unnodal Enriques surfaces in Section 1, we study the action of the automorphism group of an elliptic fibration on its Jacobian fibration in Section 2. Due to the level of generality of the exposition, this may be of independent interest. The Jacobian fibration of an elliptic fibration of an Enriques surface is a rational elliptic surface and therefore we gather all the facts about rational elliptic surfaces that we need in Section 3. Finally, in Sections 4 and 5, we apply the machinery of Section 2 together with the facts collected in Section 3 to unnodal Enriques surfaces and deduce Theorem A and Theorem B. After that, in Section 6, we will give examples of unnodal Enriques surfaces with extra automorphisms, realizing all the possibilities for | Aut( X ) | given in Theorem A.

Acknowledgement. This project started as a joint project with Shigeyuki Kond¯ o and I am very grateful to him for many stimulating discussions. I would like to thank Claudia Stadlmayr for numerous important remarks and Simon Brandhorst for pointing me to the work of Junmyeong Jang. Finally, I would also like to thank Christian Liedtke and Matthias Sch¨tt for helpful comments on a first version of this article. u

## 1. GENERALITIES ON UNNODAL ENRIQUES SURFACES

In this section, we will collect general facts about unnodal Enriques surfaces and their automorphism groups which we will need later on. Throughout this section, X will denote an unnodal Enriques surface.

1.1. Elliptic fibrations on unnodal Enriques surfaces. Recall the following facts on elliptic fibrations f : X → C of an unnodal Enriques surface X (e.g. from [CD89, Chapter V] and [LLR04]):

- · All fibers of f are irreducible. In particular, the fibers of f are of type I 0 , I 1 or II in Kodaira's notation for the fibers of elliptic fibrations.
- · C ∼ = P 1 .

/negationslash

- · f has exactly two double fibers if char( k ) = 2 (resp. exactly one if char( k ) = 2 ). A reduced curve with support equal to the support of a double fiber is called a half-fiber of f .
- · f admits a separable bisection, that is, there is an irreducible curve on X meeting a general fiber of f in two distinct points.
- · The half-fibers of f are of type I 0 or I 1 (if char( k ) = 2 , the half-fiber of f is of type I 0 and ordinary, or of type I 1 ).
- · The Jacobian J f ( ) : J → P 1 of f is a rational elliptic surface such that every fiber of J f ( ) is of the same type as the corresponding fiber of f .

Remark 1.1. Note that, since the discriminant of J f ( ) is a polynomial of degree 12 which vanishes exactly once at a fiber of type I 1 and does not vanish at a fiber of type I 0 , f and J f ( ) have either at least one fiber of type II or twelve fibers of type I 1 . In particular, there is at least one singular fiber of f which is not a double fiber.

1.2. Automorphisms of unnodal Enriques surfaces. Recall the following facts and definitions related to the numerical lattice Num( X ) of X (from [BP83] and [CD89]):

- · Num( X ) = E 10 := U ⊕ E 8 , where U is the hyperbolic plane and E 8 is the unique even unimodular negative definite lattice of rank 8 . Wewill fix one such identification for the remainder of this article.
- · The Weyl group W E 10 of E 10 is the group of isometries of E 10 preserving the two half-cones of the positive cone.
- · The 2 -congruence subgroup W E 10 (2) of W E 10 is defined as
- · We have W E 10 / W ( E 10 (2)) = O ∼ + (10 , F 2 ) .

$$W _ { E _ { 1 0 } } ( 2 ) \coloneqq \ker ( W _ { E _ { 1 0 } } \to O ( E _ { 1 0 } / 2 E _ { 1 0 } ) ). \\ \Psi _ { W _ { - } } \, \neq \, \widehat { \partial } \, \llcorner \sim \, \mathcal { O } + \, \mathfrak { V } \, \ \, \cdot$$

Since the action of Aut( X ) on Num( X ) preserves the half-cones of the positive cone and W E 10 ⊆ O( E 10 ) is the group of isometries preserving these half-cones, there is a homomorphism Aut( X ) → W E 10 . The kernel of this map has been studied by S. Mukai and Y. Namikawa [NM84] over the complex numbers and by I. Dolgachev and the author [DM19b] in positive characteristic. The relevant result in our situation is the following.

Theorem 1.2 ([NM84], [DM19b]) . An unnodal Enriques surface X has no numerically trivial automorphisms, that is, the group Aut nt ( X ) := ker(Aut( X ) → W E 10 ) is trivial. In particular, we can identify Aut( X ) with a subgroup Aut( X ) ⊆ W E 10 of W E 10 .

The simplest automorphisms of unnodal Enriques surfaces arise as follows.

Example 1.3. A bielliptic (or Bertini-type) involution of an unnodal Enriques surface X is the covering involution g associated to a linear system | 2 F 1 +2 F 2 | , where F 1 and F 2 are half-fibers of elliptic fibrations of X with F .F 1 2 = 1 . The map induced by | 2 F 1 + 2 F 2 | is a finite morphism of degree 2 onto a quartic symmetroid del Pezzo surface (see [CD89, Section IV.7] or [DM19b]). Note that the covering involution g acts trivially on the pencils | 2 F 1 | and | 2 F 2 | . Moreover, the pair ( F , F 1 2 ) yields an embedding 〈 F , F 1 2 〉 ∼ = U ↪ → E 10 with orthogonal complement E 8 . In the induced decomposition E 10 ∼ = U ⊕ E 8 , g acts as id U on U and as -id E 8 on E 8 .

In particular, we see that every bielliptic involution is contained in W E 10 (2) . In fact, for unnodal Enriques surfaces X , an observation of A. Coble shows that W E 10 (2) is generated by bielliptic involutions.

Theorem 1.4 ([Cob19], [All18]) . Let X be an unnodal Enriques surface. Then, W E 10 (2) ⊆ Aut( X ) is the normal subgroup generated by bielliptic involutions.

From Theorem 1.2 and Theorem 1.4 we deduce that W E 10 (2) ⊆ Aut( X ) ⊆ W E 10 . Furthermore, we have W E 10 /W E 10 (2) = O ∼ + (10 , F 2 ) . The order of this group is | O (10 + , F 2 ) | = 2 21 · 3 5 · 5 2 · 7 · 17 · 31 . For future reference, let us record the consequences of this observation for the possible orders of Aut( X ) as a corollary.

Corollary 1.5. For every unnodal Enriques surface X , the group Aut( X ) is a subgroup of O (10 + , F 2 ) . In particular, its order divides 2 21 · 3 5 · 5 2 · 7 · 17 · 31 .

Caveat 1.6. The group O (10 + , F 2 ) is the automorphism group of a non-degenerate symmetric bilinear form on F 10 2 of Witt defect 0 (i.e., containing a totally isotropic subspace of dimension 5 ). It contains a simple group of index 2 which is sometimes referred to using the same notation (e.g. in the Atlas [CCN + 85]).

In [BP83], W. Barth and C. Peters studied the action of W E 10 on E 10 to compute the automorphism group of a very general complex Enriques surface. Moreover, they studied geometric realizations of very general complex Enriques surfaces by computing the stabilizers of the W E 10 -action on sets of isotropic sequences of the following form.

Definition 1.7. A ( non-degenerate canonical ) U [ n ] -sequence on X is a sequence ( f , . . . , f 1 n ) with f i ∈ Num( X ) such that

- · f .f i j = 1 -δ ij ,
- · the f i are nef and primitive.

Example 1.8. Let ( F , . . . , F 1 n ) be a lift to Pic( X ) of a U [ n ] -sequence ( f , . . . , f 1 n ) on an unnodal Enriques surface X . Then, the sequence ( F , . . . , F 1 n ) gives rise to some of the most classical geometric models of X as follows (see e.g. [CD89, Chapter IV] and [DM19a, Section 2]):

- · Elliptic fibrations: | 2 F 1 | induces an elliptic fibration of X with half-fiber F 1 (and F ′ 1 ∼ F 1 + K X if char( k ) = 2 ).
- · Double plane models: | 2 F 1 + 2 F 2 | induces a morphism of degree 2 from X onto a quartic symmetroid del Pezzo as in Example 1.3.

/negationslash

- · Enriques models: | F 1 + F 2 + F 3 | induces a birational map from X onto an Enriques sextic in P 3 .

Proposition 1.9 ([BP83]) . The number N n ( ) of W E 10 (2) -orbits of elements of the form ∑ n i =1 f i , where ( f , . . . , f 1 n ) is a non-degenerate canonical U [ n ] -sequence, is as given in the following table.

· Fano models: | 1 3 ∑ 10 i =1 F i | induces an isomorphism of X with an intersection of 10 cubics in P 5 . While the group W E 10 acts transitively on the set of all U [ n ] -sequences for n = 1 2 3 10 , , , , this is no longer true for W E 10 (2) . However, the number of W E 10 (2) -orbits of U [ n ] -sequences has been calculated explicitly in these cases in [BP83, p. 397]. We remark that the following proposition is a statement about the action of the group W E 10 (2) on the lattice E 10 and in particular it does not depend on the characteristic of k .

TABLE 1. Number N n ( ) of W E 10 (2) -orbits of sums over U [ n ] -sequences

|   n | N ( n )                       |
|-----|-------------------------------|
|   1 | 17 · 31 = 527                 |
|   2 | 2 7 · 17 · 31 = 67456         |
|   3 | 2 10 · 5 · 17 · 31 = 2698240  |
|  10 | 2 13 · 3 · 17 · 31 = 12951552 |

- 1.3. Lattice theoretic preliminaries. To obtain restrictions on Aut( X ) , we will make use of the K3 cover π : Y → X of X at several points in this article. An isometry g ∈ O(Num( X )) induces an isometry π g ∗ := 1 2 π ∗ ◦ g ◦ π ∗ of π ∗ Num( X ) = ∼ E 10 (2) . For the following lemma, see [BP83, Section 1.2].

Lemma 1.10. Let X be an unnodal Enriques surface and let π : Y → X be its K3 cover. The natural map π ∗ : O(Num( X )) → O( π ∗ (Num( X ))) = O( E 10 (2)) induces an isomorphism W E 10 / W ( E 10 (2)) = ∼ O( E 10 (2) ∨ /E 10 (2)) . In particular, Aut( X ) acts faithfully on the discriminant group of π ∗ (Num( X )) .

Therefore, every automorphism g ∈ Aut( X ) which is non-trivial modulo W E 10 (2) acts non-trivially on E 10 (2) ∨ /E 10 (2) . On the other hand, g is induced by an automorphism of Y , hence g ∗ ∈ O( π ∗ (Num( X ))) extends to an isometry of Num( Y ) and in fact to every cohomology group of Y containing π ∗ (Num( X )) . The following criterion for extendability of lattice automorphisms shows that we can use this observation to obtain restrictions on g and thus on Aut( X ) .

Lemma 1.11. [Nik80, Corollary 1.5.2.] Let M be an even lattice and let S ⊆ M be a primitive sublattice with orthogonal complement K . Let H = M/ S ( ⊕ K ) ⊆ ( S ⊕ K ) ∨ / S ( ⊕ K ) . The group H is identified with a subgroup H S of S ∨ /S and H K of K /K ∨ via the two projections. We denote by γ : H S ∼ - → H K the induced isomorphism.

Let α : S → S and β : K → K be isometries. The isometry ( α, β ) of S ⊕ K lifts to M if and only if α preserves H S , β preserves H K and the induced automorphisms ˜ : α H S → H S and ˜ : β H K → H K satisfy

$$\tilde { \beta } \circ \gamma & = \gamma \circ \tilde { \alpha }. \\ \dots & \dots \dots \dots$$

Remark 1.12. If M is unimodular, we have H S = S ∨ /S and H K = K /K ∨ , so the first two conditions of Lemma 1.11 are automatically satisfied.

## 2. AUTOMORPHISMS OF ELLIPTIC FIBRATIONS

In this section, we will develop some general facts on automorphisms of curves of genus one over a not necessarily algebraically closed field K in order to be able to apply them to elliptic surfaces over algebraically closed fields. In particular, we will study how automorphisms of a curve of genus one act on its Picard scheme. The results of this section will be applied to elliptic fibrations of unnodal Enriques surfaces.

## 2.1. Automorphisms of curves of genus one. We fix the following notations and identifications:

- · C = Pic 1 C/K is a smooth curve of genus one over a field K .
- · Aut C/K is the automorphism scheme of C over K , with connected component Aut 0 C/K ∼ = E and component group scheme Q C := π 0 (Aut C/K ) = Aut ∼ C/K /E .
- · ( E,O ) := (Pic 0 C/K , O C ) is its Jacobian.
- · p C ( ) is the period of the E -torsor C , i.e., the order of the corresponding class in the Weil-Chˆtelet a group H 1 ´ et (Spec( K ,E ) ) of E .
- · τ (resp. τ d ) denotes the natural action of Aut 0 C/K ∼ = E on Pic C/K (resp. Pic d C/K ).
- · i ( C ) is the index of C , i.e., the greatest common divisor of all degrees of field extensions of K over which C acquires a rational point.

By definition, τ 1 is just the restriction of the group law m on Pic C/K to E × C . The other τ d can be described similarly as follows.

Lemma 2.1. For d ∈ Z , let [ d ] : Pic C/K → Pic C/K be multiplication by d . Then, τ d = m ◦ ([ d ] × id) holds. In particular, τ 0 is the trivial action.

PROOF. The action τ is compatible with multiplication m and inversion i on Pic C/K . Hence, the following two diagrams commute for all n, n ′ ∈ Z :

/d47

/d47

/d15

/d15

/d15

/d15

/d47

/d47

/d47

/d47

/d15

$$\text{mute for all } n, n ^ { \prime } \in \mathbb { Z } \colon \\ \text{Pic} _ { C / K } ^ { 0 } \times \text{Pic} _ { C / K } ^ { n } \times \text{Pic} _ { C / K } ^ { n ^ { \prime } } \xrightarrow { \text{id} \times m } \text{Pic} _ { C / K } ^ { 0 } \times \text{Pic} _ { C / K } ^ { n + n ^ { \prime } } \\ \downarrow \left | \tau _ { n } \times \tau _ { n ^ { \prime } } \right | \left | \right | \right | \tau _ { n + n ^ { \prime } } \right | \right | \right | \right | \tau _ { n + n ^ { \prime } } \right | \right | \right | \right | \right | \tau _ { n + n ^ { \prime } } \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \left | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right |
\text{Pic} _ { C / K } ^ { n } \xrightarrow { m } \text{Pic} _ { C / K } ^ { n ^ { \prime } }$$

and

$$\text{Pic} _ { C / K } ^ { 0 } \times \text{Pic} _ { C / K } ^ { n } \xrightarrow { \text{id} \times i } \text{Pic} _ { C / K } ^ { 0 } \times \text{Pic} _ { C / K } ^ { - n } \\ \left \| \begin{matrix} \left \| \tau _ { n } \\ \text{Pic} _ { C / K } ^ { n } \xrightarrow { \text{i} } \end{matrix} \right \| \left \| \left \| \tau _ { - n } \\ \left \| \left \| \left \| \text{Pic} _ { C / K } ^ { - n } \end{matrix}$$

/d15

/d15

/d15

/d47

/d47

The statement is true for [ d ] = 1 . Let n, n ′ ∈ Z and assume the statement holds for d = n and d = n ′ .

Then,

$$\tau _ { n + n ^ { \prime } } \circ ( \text{id} \times m ) \ & = \ m \circ ( \tau _ { n } \times \tau _ { n ^ { \prime } } ) \\ & = \ m \circ ( ( m \circ ( [ n ] \times \text{id} ) ) \times ( m \circ ( [ n ^ { \prime } ] \times \text{id} ) ) ) \\ & = \ m \circ ( [ n + n ^ { \prime } ] \times \text{id} ) \circ ( \text{id} \times m ) \\ \text{ilarly}$$

and similarly

$$\tau _ { - n } \circ ( \text{id} \times i ) \ = \ m \circ ( [ - n ] \times \text{id} ) \circ ( \text{id} \times i ). \\ \cdots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \ dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \$$

Since id × m and id × i are epimorphisms, the claim follows for d = n + n ′ and d = -n . Hence, the lemma is true for arbitrary d ∈ Z . /square

Corollary 2.2. The group E K ( ) acts trivially on the quotient group Pic C/K ( K / p C ) ( ( ) · Pic C/K ( K )) .

PROOF. By[Lic68, Lemma 1], the set Pic d C/K ( K ) is non-empty if and only if p C ( ) divides d . On the other hand, for every L ∈ E K ( ) = Pic 0 C/K ( K ) and M ∈ Pic d C/K ( K ) we have τ ( L, M ) = τ d ( L, M ) = M + dL by the previous lemma. Hence, E K ( ) acts trivially on Pic C/K ( K / p C ) ( ( ) · Pic C/K ( K )) . /square

Since E ∼ = Aut 0 C/K acts trivially (via τ 0 ) on E ∼ = Pic 0 C/K , there is an induced action of Q C = Aut C/K /E on E . The following lemma shows that the group of rational points Q C ( K ) tends to be rather small.

Lemma 2.3. The action of Q C on E is faithful and if g ∈ Q C ( K ) , then ord( g ) ∈ { 1 2 3 4 6 , , , , } . Moreover,

- (i) if ord( g ) = 6 , then i ( C ) = 1 .
- (ii) if ord( g ) = 4 , then i ( C ) | 2 .
- (iv) if ord( g ) = 2 , then i ( C ) | 4 .
- (iii) if ord( g ) = 3 , then i ( C ) | 3 .

If ord( g ) is prime to char( K ) , then

- (a) if ord( g ) = 4 , then Z / 2 Z ⊆ E K ( ) .
- (b) if ord( g ) = 3 , then E contains a twisted form of the constant group scheme Z / 3 Z .

PROOF. First, assume that K is algebraically closed. In this case, there is a point P ∈ C K ( ) and any such point provides us with a splitting of the connected-´ etale sequence for Aut C/K by identifying Q C with the subgroup scheme Aut C/K,P ⊆ Aut C/K of automorphisms fixing P . Moreover, translation by P induces a Q C -equivariant isomorphism E = Pic 0 C/K → Pic 1 C/K = C . In particular, the action of Q C on E is faithful. Now, it is well known (see e.g. [Sil09]) that if g is non-trivial, then ord( g ) = 2 3 4 , , resp. 6 and the fixed locus Fix( g ) ⊆ E of g is a closed subscheme of E of length 4 3 2 , , resp. 1 . Moreover, if ord( g ) is prime to char( K ) , then Fix( g )( K ) ⊆ E K ( ) is a subgroup isomorphic to Z / 2 Z × Z / 2 Z Z , / 3 Z Z , / 2 Z resp. { } 1 .

This shows that, over an arbitrary field, the action of Q C on E is faithful and ord( g ) ∈ { 1 2 3 4 6 , , , , } . Moreover, Fix( g ) ⊆ E is a closed subgroup scheme of length 1 2 3 , , resp. 4 on C if g is of order 6 4 3 , , resp. 2 . Since g is defined over K , so is Fix( g ) and we deduce that i ( C ) divides the degree of Fix( g ) , because C acquires a rational point when base changed to Fix( g ) . This yields claims (i) to (iv).

If ord( g ) is prime to char( K ) , then Fix( g ) ⊆ E is an ´tale subgroup scheme which becomes isomorphic e to the constant group scheme Z / 2 Z resp. Z / 3 Z if ord( g ) = 4 resp. ord( g ) = 3 over K , i.e., Fix( g ) is a twisted form of these groups. Since Z / 2 Z admits no non-trivial automorphisms, there is no non-trivial twisted form of Z / 2 Z , hence Z / 2 Z ⊆ E K ( ) . /square

After having studied automorphisms of C as a K -scheme, we can also study equivariant automorphisms in the following sense.

Definition 2.4. For a morphism of schemes f : S → T , we define the automorphism group Aut( f ) ⊆ Aut( S ) × Aut( T ) of the morphism f to be the subgroup of pairs ( g, h ) such that the following diagram commutes

/d47

/d47

/d15

$$\begin{smallmatrix} S \stackrel { g } { \longrightarrow } S \\ f \Big { \downarrow } \\ T \stackrel { h } { \longrightarrow } T \end{smallmatrix}$$

/d15

/d15

/d15

/d47

/d47

The group Aut( f ) comes with two projections which we will denote by p S : Aut( f ) → Aut( S ) and p T : Aut( f ) → Aut( T ) .

Lemma 2.5. There is a morphism ϕ : Aut( ) c → Aut( ) e such that

We have the following lemma for a smooth curve c : C → Spec( K ) of genus one over a field K with Jacobian e : E → Spec( K ) , which shows how equivariant automorphisms of C act on E .

- (i) p K ◦ ϕ = p K ,
- (iii) E K ( ) = Ker( ϕ ) ⊆ Ker( p K ) .
- (ii) Im( ϕ ) preserves O C , and

PROOF. Existence of a morphism ϕ with properties ( ) i and ( ii ) follows from the fact that the construction of the Picard scheme over K is functorial and commutes with changing the base (see [Kle13, Exercise 4.4]). By ( ) i , we have Ker( ϕ ) ⊆ Ker( p K ) = Aut( C ) = Aut C/K ( K ) , and E K ( ) ⊆ Ker( ϕ ) follows from Lemma 2.1. On the other hand, by Lemma 2.3, Q C ( K ) acts faithfully on E , hence Ker( ϕ ) ⊆ E K ( ) . /square

## 2.2. Translation into the setting of elliptic surfaces over k . We fix the following setup.

- · f : X → B is an elliptic surface over an algebraically closed field k .
- · C is the generic fiber of f .
- · K = k B ( ) is the function field of B .
- · E is the Jacobian of C .
- · J f ( ) : J X ( ) → B is the Jacobian fibration of f , which is the minimal proper smooth model of its generic fiber, the Jacobian E of C . We denote its zero section by σ .
- · MW( ( )) := J f E K ( ) is the Mordell-Weil group of J f ( ) which comes with a natural action on X

First, note that since the Brauer group Br( K ) of K is trivial by Tsen's Theorem [Tse33], period and index coincide in this setting by a result of S. Lichtenbaum.

$$\tau _ { 1 } ( K ) & \colon \text{MW} ( J ( f ) ) \times X \to X. \\ \intertext { a c o n d } D ( \tilde { \tau } \vee \tilde { \tau } \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \end{matrix}$$

Theorem 2.6 ([Lic68]) . In the above setting, we have p C ( ) = i ( C ) .

Moreover, there is a split surjective restriction morphism

$$\rho \colon \text{Pic} ( X ) \to \text{Pic} ( C ). \\ \intertext { a i n e } \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \circ \prime }$$

The section is induced by the map sending an effective divisor on C to its closure in X . The kernel of ρ consists of divisors whose support is contained in finitely many fibers of f . Denote the kernel of ρ by Pic v ( X ) and the image of the section of ρ by Pic h ( X ) . Our study of automorphisms of curves of genus one translates to this situation as follows.

Corollary 2.7. The action on Pic h ( X / i C ) ( ( )Pic h ( X )) induced by τ 1 ( K ) is trivial. If, moreover, all fibers of f are irreducible, then τ 1 ( K ) induces the trivial action on Pic( X / i C ) ( ( )Pic h ( X )) .

PROOF. We have natural isomorphisms Pic h ( X ) ∼ = Pic( C ) ∼ = Pic C/K ( K ) , where the second isomorphism follows from Br( K ) = 0 using the Hochschild-Serre spectral sequence (see [Kle13]). Now, the first claim follows immediately from Corollary 2.2 and Theorem 2.6.

Suppose that all fibers of f are irreducible. Then, Pic v ( X ) = ∼ Z is generated by a rational multiple of the class of a fiber of f . Since τ 1 ( K ) preserves f , the induced action on Pic v ( X ) is trivial. Moreover, τ 1 ( K ) maps Pic h ( X ) to Pic h ( X ) , hence it acts trivially on Pic( X / i C ) ( ( )Pic h ( X )) by the first claim. /square

Corollary 2.8. With notation as in Definition 2.4, there is a morphism ϕ : Aut( f ) → Aut( J f ( )) such that

- (ii) Im( ϕ ) preserves σ , and
- (i) p B ◦ ϕ = p B ,
- (iii) MW( ( )) = Ker( J f ϕ ) .

PROOF. This follows immediately from Lemma 2.5, since every automorphism of C → Spec( K ) (resp. E → Spec( K ) ) extends uniquely to an automorphism of f (resp. J f ( ) ), because both of them are the unique relatively minimal proper smooth model of their generic fiber. /square

## 3. RATIONAL ELLIPTIC SURFACES WITH TWO MARKED FIBERS

/negationslash

Throughout this section, we assume char( k ) = 2 . Here, we collect results on rational elliptic surfaces which appear as Jacobians of elliptic fibrations on unnodal Enriques surfaces. In particular, the base of these rational elliptic fibrations comes with two marked points corresponding to the two double fibers of the elliptic fibration of the Enriques surface.

We consider triples ( f, σ, { p , p 1 2 } ) , called 2-marked rational elliptic surfaces , where f : J → P 1 is a rational elliptic surface, σ : P 1 → J is a section of f and p , p 1 2 ∈ P 1 are closed points. An isomorphism between ( f, σ, { p , p 1 2 } ) and ( f , σ , ′ ′ { p , p ′ 1 ′ 2 } ) is an isomorphism between f and f ′ compatible with sections and the sets of marked points.

Let Art k be the category of Artinian local k -algebras with residue field k . A deformation of a 2 -marked rational elliptic surface ( f, σ, { p , p 1 2 } ) over A ∈ Art k is a commutative diagram of A -flat schemes

/d127

/d127

/d100

/d47

/d47

/d100

/d100

/d100

/d35

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00049v1-figure-cdd28efe-729f-49d7-a930-14a5a2393d5c.jpg)

/d35

/d15

/d15

together with an isomorphism identifying the restriction of the above diagram to the special fiber with ( f, σ, { p , p 1 2 } ) . Similary, we can define families of such triples and isomorphisms of deformations and families. We say that a family of 2 -marked rational elliptic surfaces ( f, σ, { p , p 1 2 } ) over an algebraic space S is universal at s ∈ S ( k ) , if its restriction to ˆ O S,s induces the universal formal deformation of the fiber ( f s , σ s , { ( p 1 ) s , ( p 2 ) s } ) .

In our case, these triples will arise as Jacobians of elliptic fibrations on unnodal Enriques surfaces and the two marked points will correspond to the double fibers of the elliptic fibration of the Enriques surface. Therefore, by the facts recalled in Section 1.1, they will satisfy the following extra conditions.

Via the natural action of PGL 2 on P 1 , every 2 -marked rational surface ( f, σ, { p , p 1 2 } ) is isomorphic to ( f, σ, { 0 , ∞} ) , and similarly for its deformations, where 0 and ∞ are defined with respect to some fixed coordinate t on P 1 . Hence, we can sometimes restrict to triples of the form ( f, σ, { 0 , ∞} ) .

Definition 3.1. We say that a 2 -marked rational elliptic surface ( f, σ, { p , p 1 2 } ) satisfies ( ∗ ) if

- · the fibers of f over p 1 and p 2 are of type I 0 or I 1 . In particular, the discriminant ∆ of f vanishes at most once at p 1 and p 2 .
- · all fibers of f are irreducible, and

Weierstraß Model. Note that for a family of rational elliptic surfaces ( f : J → P 1 A , σ, { p , p 1 2 } ) over A ∈ Art k , we have R f 1 ∗ O J = O P 1 A ( -1) by the canonical bundle formula. By the classical theory of Weierstraß models (see e.g. [MS72], [Lan79] for the case of characteristic 3 , and also [Sei88]), a family of rational elliptic surfaces with only irreducible fibers over A ∈ Art k is isomorphic to its Weierstraß model, which is a closed subscheme of the projective bundle P ( O P 1 A ⊕O P 1 A ( -2) ⊕O P 1 A ( -3)) over P 1 A given by an affine equation of the form

$$y ^ { 2 } = x ^ { 3 } + a _ { 2 } x ^ { 2 } + a _ { 4 } x + a _ { 6 },$$

with a i = ∑ i j =0 a ij t j and a ij ∈ A . Such an affine Weierstraß equation in fact determines a family of 2 -marked rational elliptic surfaces by choosing the fibers over 0 and ∞ as the marked fibers and the section σ as the section given by z = 0 in the homogenization of Equation (1).

Remark 3.2. The above situation is much simpler than the analogous one for deformations of arbitrary elliptic surfaces (e.g. as in [Sei88]), since P 1 and all line bundles on it are infinitesimally rigid, so only the a i can deform non-trivially. Also, the vector bundle V occuring in [Lan79, Theorem 1.1 (B) (2)] is isomorphic to O P 1 A ( -2) ⊕O P 1 A , since Ext 1 O P 1 ( O P 1 ( -2) , O P 1 ) = 0 .

The a i are not uniquely determined by ( f, σ, { p , p 1 2 } ) , but the ambiguity is easy to control.

Lemma3.3. Let ( f, σ, { 0 , ∞} ) resp. ( f , σ , ′ ′ { 0 , ∞} ) be families of 2 -marked rational elliptic surfaces over A ∈ Art k given by equations y 2 = x 3 + a x 2 2 + a x 4 + a 6 resp. ( y ′ ) 2 = ( x ′ ) 3 + a ′ 2 ( x ′ ) 2 + a ′ 4 ( x ′ )+ a ′ 6 . Then, any isomorphism g from ( f, σ, { 0 , ∞} ) to ( f , σ , ′ ′ { 0 , ∞} ) is given by one of the following substitutions

(i)

↦

↦

$$x ^ { \prime } \ & \mapsto \ u ^ { - 2 } x + r \\ y ^ { \prime } \ & \mapsto \ u ^ { - 3 } y \\ t \ & \mapsto \ \lambda t \\ h t h a t$$

↦

with λ, u ∈ A × and r ∈ A t [ ] such that

$$a _ { 2 } & \ = \ \ u ^ { 2 } ( a _ { 2 } ^ { \prime } ( \lambda t ) + 3 r ) \\ a _ { 4 } & \ = \ \ u ^ { 4 } ( a _ { 4 } ^ { \prime } ( \lambda t ) + 2 a _ { 2 } ^ { \prime } ( \lambda t ) r + 3 r ^ { 2 } ) \\ a _ { 6 } & \ = \ \ u ^ { 6 } ( a _ { 6 } ^ { \prime } ( \lambda t ) + a _ { 4 } ^ { \prime } ( \lambda t ) r + a _ { 2 } ^ { \prime } ( \lambda t ) r ^ { 2 } + r ^ { 3 } ),$$

or

↦

$$x ^ { \prime } \ \mapsto \ \ ( u t ) ^ { - 2 } x + r \\ y ^ { \prime } \ \mapsto \ \ ( u t ) ^ { - 3 } y \\ t \ \mapsto \ \ ( \lambda t ) ^ { - 1 } \\ \text{such that}$$

↦

↦

with λ, u A × and r A t [ -1 ] such that

We write g = ( h, u, r ) , where h is the action of g on P 1 .

$$\upsilon \quad \longrightarrow \quad \Lambda \downarrow \\ \text{$$

(ii)

↦

PROOF. If g fixes P 1 , then this is a standard exercise and explained for example in [Del75]. If g does not fix P 1 , then g acts on t via an automorphism h of P 1 A preserving { 0 , ∞} . Thus, h is of the form t → λt or t → ( λt ) -1 . Since g induces an isomorphism between ( f, σ, { 0 , ∞} ) and the pullback of ( f , σ , ′ ′ { 0 , ∞} ) along h , we reduce to the case where g fixes P 1 . /square

↦

Using this explicit description of isomorphisms between 2 -marked rational elliptic surfaces, we can write down normal forms and universal deformations for them.

Lemma 3.4. Let ( f, σ, { 0 , ∞}} ) be a 2 -marked rational elliptic surface satisfying ( ∗ ) . Consider the family of 2 -marked rational elliptic surfaces ( g, τ, { 0 , ∞} ) defined by y 2 = x 3 + a x 2 2 + a x 4 + a 6 over A 15 = Spec( k [ { a ij } i ∈{ 2 4 6 , , } , 0 ≤ ≤ j i ])

/negationslash

- · V ( a 20 , a 21 , a 22 , a 40 -1 , a 60 -1)
- (i) If char( k ) = 3 , then the restriction of the family ( g, τ, { 0 , ∞} ) to at least one of the following three closed subsets of A 15 induces the universal formal deformation of ( f, σ, { 0 , ∞}} )
- · V ( a 20 , a 21 , a 22 , a 40 -1 , a 66 -1)

(ii) If char( k ) = 3 , then the restriction of the family ( g, τ, { 0 , ∞} ) to at least one of the following three closed subsets of A 15 induces the universal formal deformation of ( f, σ, { 0 , ∞}} )

- · V ( a 20 , a 21 , a 22 , a 60 -1 , a 66 -1)
- · V ( a 40 , a 41 , a 42 , a 20 -1 , a 22 -1)
- · V ( a 60 , a 61 , a 62 , a 40 -1 , a 44 -1)
- · V ( a 40 , a 41 , a 42 , a 20 -1 , a 44 -1)

PROOF. We have to prove that every deformation ( f , σ , ′ ′ { 0 , ∞} ) of ( f, σ, { 0 , ∞} ) over A ∈ Art k arises uniquely as a pullback of one of the given families. Denote the maximal ideal of A by m and assume that ( f , σ , ′ ′ { 0 , ∞} ) is given by an affine Weierstraß equation as in Equation (1).

/negationslash

↦

↦

/negationslash

First, assume char( k ) = 3 . Then, we can apply the substitution x → x -1 3 a 2 to achieve a 2 = 0 . The discriminant of f ′ is then given by ∆ = -16(4 a 3 4 + 27 a 2 6 ) . Since ( f, σ, { 0 , ∞} ) satisfies ( ∗ ) , either a 40 or a 60 and either a 44 or a 66 are units. Thus, after rescaling x and y as in Lemma 3.3 and possibly interchanging t with 1 /t , we can assume ( a 40 , a 60 ) = 1 or ( a 40 , a 66 ) = 1 or ( a 60 , a 66 ) = 1 . This shows that ( f , σ , ′ ′ { 0 , ∞} ) arises as pullback of one of these three families. Now, for the uniqueness statement, it remains to show that any isomorphism of equations of this form is non-trivial modulo m . But by Lemma 3.3 and with the same notation, a substitution that is trivial mod m acts on P 1 as h : t → λt . Moreover, it satisfies λ = u = 1 mod m . On the other hand, to preserve the form of the equation, we must have λ 12 = u 12 = 1 . Since char( k ) = 2 3 , , this implies λ = u = 1 and proves the claim.

/negationslash

↦

↦

Now, assume char( k ) = 3 . The discriminant of f ′ is given by ∆ = a a 2 2 2 4 -a a 3 2 6 -a 3 4 . Since ( f, σ, { 0 , ∞} ) satisfies ( ∗ ) , either a 20 or a 40 and either a 22 or a 44 are units. Similarly to the case char( k ) = 3 , we can thus assume ( a 20 , a 22 ) = 1 or ( a 20 , a 44 ) = 1 or ( a 40 , a 44 ) = 1 . In the first two cases, we apply a substitution of the form x → x + r to set a 40 = a 41 = a 42 = 0 . An isomorphism of equations satisfying the five conditions that is trivial mod m has to satisfy λ = u = 1 mod m and r = 0 mod m . On the other hand, we need u 2 = 1 since a 20 = 1 , λ 4 = 1 since a 22 = 1 or a 44 = 1 and r = 0 since a 40 = a 41 = a 42 and r is of degree at most 2 . Thus, ( u, λ, r ) = (1 1 0) , , . In the third case, we can apply a substitution of the form x → x + r to set a 60 = a 61 = a 62 = 0 and the uniqueness is proved using the same method as in the other cases. /square

Next, we will study automorphisms of 2 -marked rational elliptic surfaces ( f, σ, { 0 , ∞} ) satisfying ( ∗ ) . We will see in the next section, that extra automorphisms of Enriques surfaces induce automorphisms of order 2 n in Aut( f, σ, { 0 , ∞} ) . Therefore, let us define the sets

In the following lemma, we study the set Aut ( 2 f, σ, { 0 , ∞} ) .

$$\begin{array} {$$

↦

↦

↦

Lemma 3.5. Let ( f, σ, { 0 , ∞} ) be a 2 -marked rational elliptic surface satisfying ( ∗ ) given by an affine Weierstraß equation as in Equation (1). If char( k ) = 3 , we further assume a 2 = 0 and if char( k ) = 3 , we assume that either a 20 = 1 , a 40 = a 41 = a 42 = 0 or a 40 = 1 , a 60 = a 61 = a 62 = 0 .

/negationslash

/negationslash

Let g = ( h, u, r ) ∈ Aut ( 2 f, σ, { 0 , ∞} ) with id = h . Then, h, u, r, a 2 , a 4 and a 6 are as in Tables 2, 3 and 4, where λ ∈ k × , r , r 0 1 ∈ k and ζ 4 is a primitive 4 -th root of unity:

↦

↦

↦

↦

↦

| h                       | u 2   |   r | a 4                                                                     | a 6                                                                                                    |
|-------------------------|-------|-----|-------------------------------------------------------------------------|--------------------------------------------------------------------------------------------------------|
| t →- t t →- t t → ζ 4 t | 1     |   0 | a 40 + a 42 t 2 + a 44 t 4 a 40 + a 42 t 2 + a 44 t 4 a 40 + a 44 t 4 4 | a 60 + a 62 t 2 + a 64 t 4 + a 66 t 6 a 61 t + a 63 t 3 + a 65 t 5 a 60 + a 64 t 4 a 62 t 2 + a 66 t 6 |
|                         | - 1   |   0 |                                                                         |                                                                                                        |
|                         | 1     |   0 |                                                                         |                                                                                                        |
| t → ζ 4 t               | - 1   |   0 | a 40 + a 44 t                                                           |                                                                                                        |
| t → ( λt ) - 1          | λ     |   0 | a 40 + a 41 t + a 42 t 2 + λa 41 t 3 + λ 2 a 40 t 4                     | a 60 + a 61 t + a 62 t 2 + a 63 t 3 + λa 62 t 4 + λ 2 a 61 t 5 + λ 3 a 60 t 6                          |
| t ( λt ) - 1            | λ     |   0 | a 40 + a 41 t + a 42 t 2 + λa 41 t 3 + λ 2 a 40 t 4                     | a 60 + a 61 t + a 62 t 2 λa 62 t 4 λ 2 a 61 t 5 λ 3 a 60 t 6                                           |

→

-

-

-

-

TABLE 2. 2 -marked rational elliptic surfaces with extra automorphisms in char( k ) = 3

/negationslash

↦

↦

| h                | u 2   | r                             | a 2               | a 4                           | a 6                                                                                                                                                            |
|------------------|-------|-------------------------------|-------------------|-------------------------------|----------------------------------------------------------------------------------------------------------------------------------------------------------------|
| t →- t t → ζ 4 t | 1 1   | 0 0                           | 1 + a 22 t 2 1    | a 44 t 4 a 44 t 4             | a 60 + a 62 t 2 + a 64 t 4 + a 66 t 6 a 60 + a 64 t 4                                                                                                          |
| t → ( λt ) - 1   | λ     | r 0 - r 0 λ t - 2             | 1 + a 21 t + λt 2 | - λa 21 r 0 t 3 - λ 2 r 0 t 4 | a 60 + a 61 t + a 62 t 2 + a 63 t 3 + λ ( a 62 - λr 2 0 ) t 4 + λ 2 ( a 61 + a 21 r 2 0 ) t 5 + λ 3 ( a 60 + r 2 0 + r 3 0 ) t 6                               |
| t → ( λt ) - 1   | - λ   | r 0 + r 1 t - 1 + r 0 λ t - 2 | 1 - λt 2          | - λ 2 ( r 1 t 3 + r 0 t 4 )   | a 60 + a 61 t + a 62 t 2 +( λ 3 r 3 1 - λ 2 r 0 r 1 ) t 3 - λ ( a 62 + λr 2 0 + λ 2 r 2 1 ) t 4 - λ 2 ( a 61 - λr 0 r 1 ) t 5 λ 3 ( a 60 + r 2 0 + r 3 0 ) t 6 |

-

TABLE 3. 2 -marked rational elliptic surfaces with extra automorphisms in char( k ) = 3 with a 20 = 1 , a 40 = a 41 = a 42 = 0

↦

↦

| h              | u 2   | r                             | a 2                       | a 4                                                                          | a 6                                                                                                                                                                                                                    |
|----------------|-------|-------------------------------|---------------------------|------------------------------------------------------------------------------|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| t →- t         | 1     | 0                             | a 20 + a 22 t 2           | 1 + a 42 t 2 + a 44 t 4 1 + a t 2 + a t 4 ra                                 | a 64 t 4 + a 66 t 6                                                                                                                                                                                                    |
| t →- t         | - 1   | 0 or ζ 4 (1 - a 42 t 2 )      | a 21 t                    | 42 44 - 21 t                                                                 | a 63 t 3 + a 65 t 5 +( a 44 - a 2 42 ) rt 4                                                                                                                                                                            |
| t → ζ 4 t      | 1     | 0                             | a 20                      | 1 + a 44 t 4                                                                 | a 64 t 4                                                                                                                                                                                                               |
| t → ζ 4 t      | - 1   | 0 or ± ζ 4                    | a 22 t 2                  | 1 + a 44 t 4 - ra 22 t 2                                                     | a 66 t 6 + a 44 rt 4                                                                                                                                                                                                   |
| t → ( λt ) - 1 | λ     | r 0 - r 0 λ t - 2             | a 20 + a 21 t + λa 20 t 2 | 1 + a 41 t + a 42 t 2 + λ ( a 41 - r 0 a 21 ) t 3 + λ 2 (1 - r 0 a 20 ) t 4  | a 63 t 3 + λr 0 ( a 42 - λ - λr 0 a 20 ) t 4 + λ 2 r 0 ( a 41 + r 0 a 21 ) t 5 + λ 3 r 0 (1 + a 20 r 0 + r 2 0 ) t 6                                                                                                   |
| t → ( λt ) - 1 | - λ   | r 0 + r 1 t - 1 + r 0 λ t - 2 | a 20 - λa 20 t 2          | 1 + a 41 t + a 42 t 2 + λ ( a 41 - λr 1 a 20 ) t 3 + λ 2 (1 - r 0 a 20 ) t 4 | ( λ 3 r 3 1 + λa 42 r 1 - λa 41 r 0 - λ 2 a 20 r 0 r 1 ) t 3 - λ ( λr 0 + λa 41 r 1 + a 42 r 0 + λa 20 r 2 0 + λ 2 a 20 r 2 1 ) t 4 - λ 2 ( λr 1 + a 41 r 0 - λa 20 r 0 r 1 ) t 5 λ 3 ( r 0 + a 20 r 2 0 + r 3 0 ) t 6 |

-

TABLE 4. 2 -marked rational elliptic surfaces with extra automorphisms in char( k ) = 3 with a 40 = 1 , a 60 = a 61 = a 62 = 0

↦

↦

↦

↦

PROOF. First, note that g ord( h ) fixes P 1 pointwise. Since f has no reducible fibers, it has no 2 -torsion section (see [SS10, p.111]) and hence by Lemma 2.3 the order ord( g ord( h ) ) is not divisible by 4 . On the other hand, by assumption, g has order 2 n for some n . This implies that ord( g ord( h ) ) ≤ 2 .

↦

/negationslash

If h is of the form t → ( λt ) -1 , then g 2 maps y to u -6 λ y 3 . Since g 2 has order 1 or 2 , this implies u 2 = ± λ . On the other hand, g 2 maps x to x + u -2 λ t r t 2 2 ( ) + r (( λt ) -1 ) and since it has order 1 or 2 , this shows u -2 λ t r t 2 2 ( ) + r (( λt ) -1 ) = 0 . In particular, r is a polynomial in t -1 of degree at most 2 and of the form given in the tables. Of course, if char( k ) = 3 , then a 2 = 0 forces r = 0 . Calculating the a i in each case is tedious but straightforward.

/negationslash

Now, assume that h is of the form t → λt . Let us first treat the case char( k ) = 3 where we know that r = 0 . There, if a i 0 = 0 , then u i = 1 and if a ii = 0 , then λ u i i = 1 . Going through the possible combinations, we easily see that λ 4 = 1 and u 12 = 1 . Since g 4 maps x to u x 8 and g 4 has order at most 2 , we see that u 16 = 1 . Combining this with u 12 = 1 , we see that u 4 = 1 , i.e. u 2 = ± 1 . Again, a 2 = 0 forces r = 0 and it is easy to deduce the table.

↦

/negationslash

/negationslash

/negationslash

If char( k ) = 3 and a 20 = 1 , then u 2 = 1 . Since either a 22 = 0 or a 44 = 0 , we have λ 4 = 1 . Moreover, a 40 = a 41 = a 42 = 0 forces r = 0 . Again, it is straightforward to calculate the a i in this case.

/negationslash

/negationslash

If char( k ) = 3 and a 40 = 1 , then u 4 = 1 . As in the previous paragraph, this implies λ 4 = 1 . If u 2 = 1 , then r = 0 , since g maps x to x + r which has odd order if r = 0 , contradicting our assumptions on g . If u 2 = -1 , however, r is not necessarily trivial. But in this case, we must have a 20 = 0 and since a 60 = 0 the equality a 60 = u 6 ( a 60 ( λt ) + a 40 ( λt r ) + a 20 ( λt r ) 2 + r 3 ) shows that the constant term r 0 of r satisfies r 0 + r 3 0 = 1 . This is the reason for the three possibilities for r in the table in these cases. We leave the computation of the a i in each case to the reader. /square

The above calculations allow us to give a bound on the size of 2 -groups contained in Aut ( 2 f, σ, { 0 , ∞} ) . This is the bound that eventually leads to the corresponding bound in Theorem A.

Corollary 3.6. Let ( f, σ, { 0 , ∞} ) be a 2 -marked rational elliptic surface satisfying ( ∗ ) and let G 2 be a 2 -group contained in Aut ( 2 f, σ, { 0 , ∞} ) . Then, we have | G 2 | ∈ { 1 2 4 , , } .

PROOF. By Lemma 3.5, G 2 contains no element of order 8 . Since G 2 preserves { 0 , ∞} , we have G 2 ⊆ G m /multicloseright Z / 2 Z and thus we only have to show that G 2 does not contain the dihedral group D 8 . From the tables in Lemma 3.5, we see that this would imply that ( f, σ, { 0 , ∞} ) is given by one of the following equations

- · y 2 = x 3 +(1 + λ t 2 4 ) x -λ r t 2 0 4 with r 3 0 + r 0 = 0 if char( k ) = 3 .
- · y 2 = x 3 +( a 40 + λ a 2 40 t 4 ) x if char( k ) = 3 .

/negationslash

However, these equations define singular surfaces contradicting our assumption that ( f, σ, { 0 , ∞} ) satisfies ( ∗ ) . /square

Finally, the explicit calculations of this section allow us to determine the dimension of the moduli space of 2 -marked rational elliptic surfaces ( f, σ, { 0 , ∞} ) with non-trivial Aut ( 2 f, σ, { 0 , ∞} ) .

Theorem 3.7. Let ( f, σ, { p , p 1 2 } ) be a family of 2 -marked rational elliptic surfaces satisfying ( ∗ ) over an algebraic space S locally of finite type over Spec( k ) . We denote the geometric fiber of ( f, σ, { p , p 1 2 } ) over a point t ∈ |S| by ( f , σ , ¯ t ¯ t { ( p 1 ) ¯ t , ( p 2 ) ¯ t } ) . For j ∈ { 2 4 , } , define the set

Assume that ( f, σ, { p , p 1 2 } ) is universal at a point s ∈ S ( k ) . Then, there is an open neighborhood s ∈ U ⊆ |S| such that

- Z j = { t ∈ S ( k ) | Aut ( 2 f , σ , ¯ t ¯ t { ( p 1 ) ¯ t , ( p 2 ) ¯ t } ) contains a 2 -group of order at least j } ⊆ |S| .
- (i) U has dimension 10 ,
- (ii) Z ∩ 2 U ⊆ U is closed of dimension at most 5 , and
- (iii) Z ∩ 4 U ⊆ U is closed of dimension at most 2 .

PROOF. Since S is locally of finite type over k and universal at s , it is an algebraization of the universal formal deformation in the sense of M. Artin [Art69]. By [Art69, Theorem 1.7], such an algebraization is unique in an ´ etale neighborhood of s ∈ S . Recall that ´tale morphisms are open of relative dimension e 0 and thus both claims in the theorem can be checked on such an ´ etale neighborhood. Hence, it suffices to prove the theorem for one specific algebraization of the universal formal deformation of ( f , σ s s , { ( p 1 ) s , ( p 2 ) s } ) .

In Lemma 3.5 we have described such algebraizations, all of which are 10 -dimensional. Using the explicit equations in Lemma 3.5, we can calculate the sets Z 2 and Z 4 explicitly for the families described in Lemma 3.4. There, Z 2 and Z 4 are closed and they have the claimed dimension. Since one of the three families in Lemma 3.4 induces the universal formal deformation of ( f , σ s s , { ( p 1 ) s , ( p 2 ) s } ) , this proves the claim. /square

## 4. AUTOMORPHISMS OF UNNODAL ENRIQUES SURFACES

In order to be able to apply our knowledge of rational elliptic surfaces to an unnodal Enriques surface X via the machinery of Section 2, we have to prove that all extra automorphisms of X are induced by automorphisms of X preserving an elliptic fibration. The key step in this direction is the following theorem.

Theorem 4.1. Let X be an unnodal Enriques surface. Then, the extra automorphism group Aut( X ) is a 2 -group.

PROOF. By Corollary 1.5, we know that the order of Aut( X ) ⊆ O (10 + , F 2 ) divides 2 21 · 3 5 · 5 2 · 7 · 17 · 31 , so it suffices to exclude that Aut( X ) contains elements of order 3 5 7 17 , , , or 31 . We let π : Y → X be the K3 cover of X .

Claim 1: If k = C , then there is no element of order 17 or 31 in Aut( X ) . Using the notation of Lemma 1.11, we embed S := π ∗ (Num( X )) ⊆ Num( Y ) ↪ → H 2 ( Y, Z ) =: M and let K = S ⊥ and T = Num( Y ) ⊥ . Then, K = L ⊕ T for some primitive and negative definite sublattice L ⊂ H 2 ( Y, Z ) .

Now, let g be an automorphism of X whose image g ∈ Aut( X ) has order 17 resp. 31 and let ˜ g be a lift of g to Y . From ˜ ( g ∗ S ) = S and ˜ (Num( g ∗ Y )) = Num( Y ) , we deduce that ˜ ( g ∗ T ) = T and ˜ ( g ∗ L ) = L . Note that ˜ g ∗ | L has finite order, since L is negative definite, and ˜ g ∗ | T has finite order, since ˜ g ∗ preserves the period of Y . Therefore, ˜ g ∗ | K also has finite order and rk( K ) = 22 -rk( S ) = 12 implies that ϕ (ord(˜ g ∗ | K )) ≤ 12 , where ϕ is the Euler ϕ -function. On the other hand, by Lemma 1.10, ˜ g ∗ acts faithfully on the discriminant of S and hence also on the discriminant of K . Therefore, ord(˜ g ∗ | K ) is divisible by 17 resp. 31 . This is a contradiction and proves Claim 1 .

Claim 2: If char( k ) &gt; 2 and Y has finite height, then there is no element of order 17 or 31 in Aut( X ) .

Again, let g ∈ Aut( X ) be an automorphism whose image g ∈ Aut( X ) has order 17 resp. 31 and let ˜ g be a lift of g to Y . This time, we set T crys = (Num( Y ) ⊗ W ) ⊥ ⊆ H 2 crys ( Y/W ) . By [Jan16b, Proposition 3.6], the image of the representation χ crys,Y : Aut( Y ) → O( T crys ) is finite. Since rk( T crys ) = 22 -rk(Num( Y )) ≤ 12 , we can assume χ crys,Y (˜) = id g without loss of generality. Hence, by [Jan16a, Theorem 3.3] and its proof, there is a N´ eron-Severi group preserving lift Y η of Y to characteristic 0 that also lifts ˜ g to an automorphism ˜ g η of Y η . Since specialization of line bundles is equivariant with respect to the actions of the automorphism groups, the actions of ˜ g η and ˜ g on Num( Y η ) ∼ → Num( Y ) coincide. Now, we can exclude the existence of ˜ g η as in Claim 1 , thus proving the non-existence of g and Claim 2 .

Claim 3: If char( k ) &gt; 2 and Y is supersingular, then there is no element of order 17 or 31 in Aut( X ) . Let g, g and ˜ g be as before. We set S = π ∗ (Num( X )) ⊂ Num( Y ) =: M and K := S ⊥ . Since Y is supersingular, the discriminant of Num( Y ) is -p 2 σ , where p = char( k ) and σ is the Artin invariant of Y (see [Art74]). With notation as in Lemma 1.11, we note that ( S ∨ /S /H ) S ⊆ M /M ∨ . Therefore, since the

/negationslash discriminant of S is -2 10 and we assumed p = 2 , we have H S = ( S ∨ /S ) . By Lemma 1.10 ˜ g ∗ | S acts on H S as an isometry of order divisible by 17 resp. 31 . Then, Lemma 1.11 implies that ˜ g ∗ | K acts on H K as an isometry divisible by the same orders. On the other hand, rk( K ) = 12 and K is negative definite, so that ˜ g ∗ | K has finite order and ϕ (ord(˜ g ∗ | K )) ≤ 12 . This contradiction yields Claim 3 .

## Claim 4: If char( k ) = 2 , there is no element of order 3 5 , or 7 in Aut( X ) .

Suppose there was and let g ∈ Aut( X ) with image g ∈ Aut( X ) such that g has order 3 5 , or 7 . By Proposition 1.9, N (2) is not divisible by ord( g ) and hence there is some W E 10 (2) -orbit of non-degenerate canonical U [2] -sequences which is preserved by g . In particular, there is some h ∈ W E 10 (2) ⊆ Aut( X ) such that g ◦ h preserves a non-degenerate canonical U [2] -sequence ( f , f 1 2 ) . Replace g by g ◦ h and note that they induce the same element in Aut( X ) . Then, g preserves the decomposition E 10 = 〈 f , f 1 2 〉 ⊕ E 8 , hence it has finite order. Moreover, we can replace g by some even power of g without changing ord( g ) , so we can assume without loss of generality that g has odd order. Now, we lift f 1 and f 2 to classes of half-fibers F , F 1 ′ 1 , F 2 and F ′ 2 , where F ′ i ∈ | F i + K X | . Since g has odd order, it preserves F , F 1 ′ 1 , F 2 and F ′ 2 and since g fixes the four points of intersection of these four curves, it has at least two smooth fixed points on each of these curves. All half-fibers of elliptic fibrations on X are isomorphic to irreducible plane cubics, because we assumed X to be unnodal. Since g has odd order and at least two smooth fixed points on the half-fibers, it follows from the known structure of the fixed loci of automorphisms of cubic curves (see e.g. [Sil09]), that g has at least three fixed points on each half-fiber. This implies that the action of g on the linear systems | 2 F 1 | and | 2 F 2 | has at least three fixed points and is therefore trivial. But for a general member F of the pencil | 2 F 1 | , the set F ∩ ( F 2 ∪ F ′ 2 ) consists of 4 distinct points. Since g has odd order and preserves F 2 and F ′ 2 , the induced automorphism g | F has at least 4 fixed points and is therefore trivial. This is a contradiction.

/negationslash

Claim 5: If char( k ) = 2 , then Aut( X ) is a 2 -group.

If char( k ) = 2 , then X is ordinary by our convention and thus so is Y by a result of R. Crew [Cre84, Theorem 2.7]. Therefore, by a recent result of T. Srivastava [Sri18, Theorem 4.11], all automorphisms of Y lift to the canonical lift Y η of Y . Hence, Claim 5 follows from Claim 1 and 4 and the equivariance of specializations of line bundles. /square

Remark 4.2. We remark that the case in Claim 3 really occurs, that is, there are unnodal Enriques surfaces X with supersingular K3 cover Y (apart from the unnodal classical and supersingular Enriques surfaces in characteristic 2 ). In fact, even Artin invariant 1 is possible for Y , as the following example shows:

Over C , singular K3 surfaces are dense in the moduli space of K3 surfaces covering Enriques surfaces by the density of Noether-Lefschetz loci (see e.g. [Ogu03, Theorem 1.1]), while the set of K3 surfaces covering unnodal Enriques surfaces is open (see Proposition 5.2). Hence, there is a singular K3 surface Y over C with unnodal Enriques quotient π : Y → X . This Y has complex multiplication and thus Y , X and π can be defined over a number field K . Spreading out, we obtain integral models Y and X of Y and X over the ring of integers O K of K . Now, again by Proposition 5.2 and since the singular loci of Y and X are closed, there is a closed and hence finite set S ⊆ Spec( O K ) such that for all places p ∈ Spec( O K ) \ S =: U the reductions Y p and X p modulo p are smooth and X p is unnodal. On the other hand, by a result of I. Shimada [Shi09, Theorem 1], there is an infinite subset V ⊆ Spec( O K ) such that for all p ∈ V , the reduction Y p is supersingular with Artin invariant 1 . Therefore, for all of the infinitely many primes p ∈ U ∩ V , the K3 surface Y p is a supersingular K3 surface of Artin invariant 1 covering the unnodal Enriques surface X p . Note that both Y p and X p are defined over F p .

For more information on Enriques quotients of supersingular K3 surfaces, we refer the reader to [Jan14].

Back to Enriques surfaces with extra automorphisms, we will now deduce that Theorem 4.1 implies that we can apply the techniques of Section 2.

Corollary 4.3. Let X be an unnodal Enriques surface. Then, there is an elliptic fibration f : X → P 1 such that the subgroup Aut( f ) ⊆ Aut( X ) surjects onto Aut( X ) .

PROOF. By Theorem 4.1, Aut( X ) is a 2 -group and by Proposition 1.9 the number of W E 10 (2) -orbits of effective, primitive, and isotropic vectors F ∈ Num( X ) is odd, so that there is at least one such orbit which is preserved by the whole group Aut( X ) . For an elliptic fibration f defined by an element in this orbit, the group Aut( f ) · W E 10 (2) maps onto Aut( X ) , hence so does Aut( f ) . /square

Now that we know that there is an elliptic fibration f : X → P 1 inducing every extra automorphism of X , we can apply the results of Section 2 to this fibration. The following lemma shows that every automorphism of f that is non-trivial modulo W E 10 (2) acts non-trivially on P 1 . This will allow us to relate Aut( X ) to Aut 2 of the Jacobian of f , which we have essentially computed in Section 3.

Lemma 4.4. Let f : X → P 1 be an elliptic fibration of an unnodal Enriques surface. Then,

PROOF. Let us first show the isomorphism. We use the notation of Section 2. Let C be the generic fiber of f and E its Jacobian. Then, by definition, MW( ( )) = J f E k t ( ( )) . As in Section 2, we have ker( p P 1 ) = Aut C/k t ( ) ( k t ( )) and an exact sequence

$$\text{MW} ( J ( f ) ) \rtimes \mathbb { Z } / 2$$

/d47

$$0 \longrightarrow E ( k ( t ) ) \longrightarrow A u t _ { C$$

/d47

/d47

/d47

/d47

/d47

/negationslash

Recall that i ( C ) = 2 by Section 1.1 and that E k t ( ( )) contains no 2 -torsion element because J f ( ) has no reducible fibers (see [SS10, p.111]). Thus, Lemma 2.3 shows that Q C ( k t ( )) is an elementary 2 -group. As is well-known, inversion with respect to the group structure on C k t ( ( )) is the unique involution in Q C ( k t ( )) . Hence, Q C ( k t ( )) ⊆ Z / 2 Z . To show that Aut C/k t ( ) ( k t ( )) ∼ = MW( ( )) J f /multicloseright Z / 2 Z , it suffices to find an involution g in Aut C/k t ( ) ( k t ( )) , for then g ∈ E k t ( ( )) and thus Q C ( k t ( )) ∼ = Z / 2 Z and the Sequence (2) splits.

Let F 1 be a half-fiber of f . By [CD89, Theorem 3.4.1] and Example 1.3, there is a half-fiber F 2 of an elliptic fibration different from f such that | 2 F 1 +2 F 2 | induces a bielliptic involution g and this involution preserves the fibers of f . Hence, g ∈ Aut C/k t ( ) ( k t ( )) is an involution. This proves MW( ( )) J f /multicloseright Z / 2 Z ∼ = ker( p P 1 ) .

Now, note that g ∈ W E 10 (2) by Theorem 1.4 and MW( ( )) J f acts trivially on Num( X / i C ) ( ( )Num( X )) = Num( X / ) 2Num( X ) by Corollary 2.7. Thus, MW( ( )) J f ⊆ W E 10 (2) by the definition of W E 10 (2) . This shows that ker( p P 1 ) ⊆ W E 10 (2) . /square

Corollary 4.5 ( ̂ = Theorem A . ) Let X be an unnodal Enriques surface. Then, | Aut( X ) | ∈ { 1 2 4 , , } . If char( k ) = 2 , even Aut( X ) = { } 1 holds.

PROOF. By Corollary 4.3, we can choose an elliptic fibration f : X → P 1 such that Aut( f ) maps onto Aut( X ) . Let G := ϕ (Aut( f )) ⊆ Aut( J f ( )) be the image of the natural map from Corollary 2.8 and let G = p P 1 ( G ) ⊆ Aut( P 1 ) . Note that G is finite, since it permutes the points on P 1 lying under singular fibers and half-fibers of f and there are finitely many but at least three such points by Remark 1.1. Applying Corollary 2.8, Lemma 4.4 and the assumption that Aut( f ) maps onto Aut( X ) , we see that

$$\overline { G } \cong p _ { \mathbb { P } ^ { 1 } }$$

Since Aut( X ) is a 2 -group by Theorem 4.1, a 2 -Sylow subgroup G 2 of G still maps onto Aut( X ) .

/negationslash

If char( k ) = 2 , we can assume that the double fibers of f lie over 0 and ∞ . Then, G 2 is a 2 -group contained in Aut ( 2 J f , σ, ( ) { 0 , ∞} ) , since G ∼ = G/ ( Z / 2 Z ) by Lemma 4.4 and Corollary 2.8. Hence, we deduce that | Aut( X ) | divides | G 2 | which in turn divides 4 by Corollary 3.6.

If char( k ) = 2 , note that G 2 fixes the point p ∈ P 1 lying under the unique double fiber of f . By the facts recalled in Section 1.1, this double fiber is of type I 0 and ordinary or of type I 1 , hence the j -invariant of the Jacobian fibration J f ( ) is not identically zero. Then, it is easy to see that there is a unique point q ∈ P 1 where the j -invariant of J f ( ) vanishes (see also [Lan00]). Thus, G 2 fixes p and q and therefore G 2 is a subgroup of G m . Since G 2 is a 2 -group and G m does not contain any element of order 2 , we have G 2 = Aut( X ) = { } 1 . /square

## 5. DEFORMATION THEORY AND MODULI

/negationslash

Throughout this section, we assume char( k ) = 2 . We will study deformations and families of unnodal Enriques surfaces and relate them to deformations of rational elliptic surfaces. Due to the work we have done in Section 3, we have a complete understanding of the latter and this knowledge will allow us to prove Theorem B.

Definition 5.1. A family of (unnodal) Enriques surfaces is a smooth and proper morphism of algebraic spaces ϕ : X → S such that all geometric fibers of ϕ are (unnodal) Enriques surfaces.

The following is certainly well-known (see e.g. [CD85, Section 3]), but we have not been able to find a reference in this generality.

Proposition 5.2. Let ϕ : X → S be a family of Enriques surfaces. Let U ⊆ |S| be the subset of all points s ∈ |S| such that the geometric fiber X s is an unnodal Enriques surface. Then, U is open in |S| .

Proof. Let s ∈ U . After replacing S by a sufficiently small fppf neighborhood of s , we can assume that S is an integral, affine scheme, that Pic X S / ( S ) = Pic( X ) / Pic( S ) and that Num X := Pic X S / / Pic τ X S / is the constant S -group scheme whose fibers, together with the usual intersection pairing, are isomorphic to E 10 (see [EHS12, Corollary 4.3]). Since Pic τ X S / is an S -group scheme of length 2 , any vector δ ∈ Num ( X S ) = E 10 has at most two lifts δ , δ 1 2 to Pic X S / ( S ) . Choose line bundles L 1 , L 2 ∈ Pic( X ) representing δ , δ 1 2 and define

$$T _ { \delta } & \coloneqq \text{Supp} ( \varphi _ { * } \mathcal { L } _ { 1 } ) \cup \text{Supp} ( \varphi _ { * } \mathcal { L } _ { 2 } ), \\ \vdots _ { i c \dots \lambda } & \mathcal { S } \vee \mathcal { P } _ { i c } / \mathcal { S } / \mathcal { P } _ { i c } / \mathcal { S } \wedge \text{and} \, \text{closed in $S$} \, \sin$$

$$\Lambda \\ U \cap U ^ { \prime } = U ^ { \prime } \, \sum \left ( \bigcup _ { \delta \in I } T _ { \delta } \right ) \\ \mathfrak { 1 } \, \delta. \mathcal { L } < d \}. \text{ Note that } U \cap U ^ { \prime } \text{ is an}$$

which is well-defined since Pic X S / ( S ) = Pic( X ) / Pic( S ) and closed in S since ϕ is proper. Choose a line bundle L ∈ Pic( X ) of some degree d which is relatively very ample over an open neighborhood U ′ of s . By [CD85, Main Theorem], we have where I = { δ ∈ E 10 | δ 2 = -2 and δ. L ≤ d } . Note that U ∩ U ′ is an open neighborhood of s in U since the set I is finite. Hence, U is open. /square

Remark 5.3. Note that the proof of Proposition 5.2 works for arbitrary families of Enriques surfaces, not only for families over k with char( k ) = 2 .

/negationslash

In Section 4 we have used the Jacobian fibration of an elliptic fibration of an unnodal Enriques surface X to determine the possible orders of Aut( X ) . The following lemma shows that it is even possible to relate the deformation theory of X to the deformation theory of the Jacobian fibrations of elliptic fibrations on X .

Lemma 5.4. Let ϕ : X → S be a family of unnodal Enriques surfaces and assume that S is locally of finite type over k . Let s ∈ S ( k ) be a point with fiber X := X s such that ϕ is universal at s . Then, for every elliptic fibration f : X → P 1 on X , there is an ´tale neighborhood e T of s in S such that

- (i) the elliptic fibration f extends to a family of elliptic fibrations f : X T → P 1 T over T ,

(ii) there is a family of 2 -marked rational elliptic surfaces ( J f , σ, ( ) { p , p 1 2 } ) over T such that for all t ∈ | T | , the elliptic fibration J f ( ) t together with the section σ t is the Jacobian fibration of f t , and the fibers of f t over ( p 1 ) t and ( p 2 ) t are the double fibers of f t . In particular, all fibers of ( J f , σ, ( ) { p , p 1 2 } ) satisfy ( ∗ ) , and

(iii) the family ( J f ( ) , σ, { p , p 1 2 } ) is universal at s .

PROOF. Let us first prove ( ) i . By Grothendieck's existence theorem, it suffices to show that f extends to a formal neighborhood of X s . Let F , F 1 2 be the half-fibers of f . Then, the morphism f is determined by a choice of basis of H 0 ( X, O X (2 F i )) , or equivalently, by a choice of s i ∈ H 0 ( X, O X ( F i )) , since the subspaces H 0 ( X, O X ( F i )) ⊆ H 0 ( X, O X (2 F i )) generate the space of global sections of O X (2 F i ) .

/negationslash

As for ( ii ) , we can apply ( ) i and assume without loss of generality that f extends to a family of elliptic fibrations f : X → P 1 S . Moreover, since H 2 ( X,T X ) = 0 , the deformation space Def X ∼ O = ˆ S,s is smooth over k , and thus we can further assume that S is a smooth and affine scheme over k . Let p , p 1 2 : S → P 1 S be the sections corresponding to the images of the families of double fibers of f in P 1 S . Let U ⊆ P 1 S be the open complement of p 1 ( S ) , p 2 ( S ) and let f U : X U → U be the restriction of f to U . Taking the relative compactified Jacobian (see [AK80]) of f U , we obtain a proper and flat morphism J f ( U ) : J ( X U ) → U together with a section σ U : U → J ( X U ) , such that all geometric fibers of J f ( U ) are integral curves of genus 1 and such that J ( X U ) is smooth over S .

Since H 1 ( X, O X ) = H 2 ( X, O X ) = 0 , all line bundles on X deform uniquely to every deformation of X and since F , F 1 2 are the reduced curves underlying double fibers in char( k ) = 2 , O F i ( F i ) is a 2 -torsion line bundle on F i (see e.g. [Bad01, Chapter 7]). In particular, by tensoring the standard sequence for the divisor F i with O X ( F i ) and taking the long exact sequence in cohomology, we see that H 1 ( X, O X ( F i )) = 0 for i = 1 2 , . Thus, by [Ser06, Corollary 3.3.15], all global sections of O X ( F i ) lift to every deformation of X . Hence, also f lifts to every deformation of X and in particular to a formal neighborhood of X s . Note that T can be chosen in such a way that the family of base curves of the family of elliptic fibrations is isomorphic to P 1 T , since P 1 is infinitesimally rigid.

Let L = R f 1 ∗ O X . By [LLR04, Proposition 1.3], L| U is canonically isomorphic to R J f 1 ( U ) ∗ O J ( X U ) . Since U is affine, it follows from [Lan79, Section 1], that J f ( U ) can be described as a closed subvariety of P ( O U ⊕L | 2 U ⊕L | 3 U ) by a Weierstraß equation

$$y ^ { 2 } = x ^ { 3 } + a _ { 2 } x ^ { 2 } + a _ { 4 } x + a _ { 6 }$$

with a i ∈ H 0 ( U, L -i | U ) . Now, note that for every t ∈ |S| , the Jacobian J f ( t ) of f t is the unique relatively minimal proper smooth model of J f ( U t ) over P 1 t and hence the restrictions ( a i ) t ∈ H 0 ( U , t L -i | U t ) lift uniquely to ( b i ) t ∈ H 0 ( P 1 t , L -i | P 1 t ) and the equation

$$y ^ { 2 } = x ^ { 3 } + b _ { 2 } x ^ { 2 } + b _ { 4 } x + b _ { 6 }$$

defines J f ( t ) . Hence, to prove claim ( ii ) , it suffices to show that all these ( b i ) t glue together, i.e., that the a i are restrictions of sections b i ∈ H 0 ( P 1 S , L -i ) .

To prove this, we consider a family of K3 covers Y → X → P 1 S . Consider the Stein factorization h of this composition. After possibly replacing S by an ´ etale neighborhood of s , we can blow down ( -2) -curves in the fibers of h (see [Art74, Section 3]). Thus, we can assume without loss of generality that h : Y → P 1 S has only irreducible fibers. Considering its relative compacified Jacobian, we get commutative diagrams

.

/d15

/d15

/d47

/d47

/d15

/d15

/d15

/d15

/d15

/d15

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00049v1-figure-b31d9fbc-cb67-40d9-a325-f5b23212d433.jpg)

/d47

/d47

The morphism j is of degree 2 and ramified exactly over p 1 and p 2 (see [Mar17, Proof of Lemma 2.17]) and since taking Jacobians commutes with changing the base, the restriction of J h ( ) to j -1 ( U ) coincides with the base change of J f ( U ) along j . Then, pullback along j induces a map of long exact sequences for cohomology with support

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d47

/d79

/d79

/d79

/d79

/d79

/d79

/d47

$$& \text{conv} _ { \S y } \text{ want } \text{sym} _ { \S y } \text{ } \text{ } \text{ } \text{ } 0 \longrightarrow H ^ { 0 } ( \mathbb { P } ^ { 1 } _ { \mathcal { S } }, j ^ { * } ( \mathcal { L } ^ { i } ) ) \longrightarrow H ^ { 0 } ( j ^ { - 1 } ( U ), j ^ { * } ( \mathcal { L } ^ { i } ) | _ { j ^ { - 1 } ( U ) } ) \stackrel { o } { \longrightarrow } H ^ { 1 } _ { \{ j ^ { - 1 } ( p _ { 1 } ), j ^ { - 1 } ( p _ { 2 } ) \} } ( \mathbb { P } ^ { 1 } _ { \mathcal { S } }, j ^ { * } \mathcal { L } ^ { i } ) \longrightarrow \dots \\ & \text{ } \text{ } j ^ { * } \left | \text{ } \text{ } \text{ } j ^ { * } _ { U } \right | \text{ } \text{ } \text{ } j ^ { * } \right | \\ & 0 \longrightarrow H ^ { 0 } ( \mathbb { P } ^ { 1 } _ { \mathcal { S } }, \mathcal { L } ^ { i } ) \xrightarrow { o } H ^ { 0 } ( U, \mathcal { L } ^ { i } | _ { U } ) \xrightarrow { o } H ^ { 1 } _ { \{ p _ { 1 }, p _ { 2 } \} } ( \mathbb { P } ^ { 1 } _ { \mathcal { S } }, \mathcal { L } ^ { i } ) \xrightarrow { \dots } \\ & \text{Since } i \text{ is a finite mornhism of degree nprime time to char ( k ). \text{ there is a non-deeeeerate trace man and therefore a}$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

Since j is a finite morphism of degree prime to char( k ) , there is a non-degenerate trace map and therefore a splitting of O P 1 S → j ∗ O P 1 S , hence all of the vertical arrows in the above diagram are injective. By the above diagram, the existence of sections b i restricting to a i is equivalent to o a ( i ) = 0 . However, we certainly have o j ( ∗ U ( a i )) = 0 , since the base change of J f ( U ) along j extends to the family of elliptic surfaces J h ( ) and the coefficients of a Weierstraß model of J h ( ) give a lifting of j ∗ U ( a i ) to H 0 ( P 1 S , j ∗ ( L i )) . Since j ∗ is injective, we deduce that o a ( i ) = 0 . This proves claim ( ii ) .

As in the proof of claim ( ii ) , Y /epsilon1 admits an elliptic fibration h /epsilon1 lifting the fibration f /epsilon1 . In particular, h /epsilon1 restricts to an elliptic fibration h s of Y s and we assume without loss of generality that all fibers of h s are irreducible. The smooth locus of h s , say h sm s : Y sm s → P 1 , is a torsor under its Jacobian J h ( sm s ) : Pic 0 Y s / P 1 → P 1 and hence corresponds to a class η ∈ H 1 ´ et ( P 1 , Pic 0 Y s / P 1 ) . The smooth locus h sm /epsilon1 : Y sm /epsilon1 → P 1 /epsilon1 of h /epsilon1 then corresponds to class η /epsilon1 ∈ H 1 ´ et ( P 1 , Pic 0 Y /epsilon1 / P 1 /epsilon1 ) restricting to η . As explained for example in [Par13, Section 4], the restriction map r sits inside a long exact sequence

To prove claim ( iii ) , we have to show that the morphism Φ : Spf ˆ O S ,s → Def ( J f ( ) s ,σ s , { ( p 1 ) s , ( p 2 ) s } ) induced by ( J f , σ, ( ) { p , p 1 2 } ) is an isomorphism. Since h 1 ( X,T X ) = 10 and h 2 ( X,T X ) = 0 , we have ˆ O S ,s ∼ = k t , . . . , t /llbracket 1 10 /rrbracket and by Lemma 3.4 the same is true for the k -algebra that prorepresents the functor Def ( J f ( ) s ,σ s , { ( p 1 ) s , ( p 2 ) s } ) . Thus, it suffices to show that Φ is injective on tangent spaces, that is, that every morphism Spec( k /epsilon1 [ ]) → S mapping the closed point to s such that the base change of ( J f ( ) /epsilon1 , σ /epsilon1 , { ( p 1 ) /epsilon1 , ( p 2 ) /epsilon1 } ) along this morphism is isomorphic to the trivial deformation is constant. Hence, let us choose a morphism Spec( k /epsilon1 [ ]) → S such that ( J f ( ) /epsilon1 , σ /epsilon1 , { ( p 1 ) /epsilon1 , ( p 2 ) /epsilon1 } ) is isomorphic to the trivial deformation. By construction, the deformation ( J f ( ) /epsilon1 , σ /epsilon1 , { ( p 1 ) /epsilon1 , ( p 2 ) /epsilon1 } ) comes from a deformation f /epsilon1 : X /epsilon1 → P 1 /epsilon1 of f s : X s → P 1 . Since ϕ is universal at s , it suffices to show that X /epsilon1 is trivial, or equivalently, that the induced deformation Y /epsilon1 of the K3 cover Y s of X s is trivial.

/d47

$$( 3 ) \quad \dots \longrightarrow H ^ { 1 } ( \mathbb { P } ^ { 1 }, \text{Lie} ( \text{Pic} ^ { 0 } _ { \mathcal { Y } _ { s } / \mathbb { P } ^ { 1 } } ) ) \longrightarrow H ^ { 1 } _ { \text{e} t } ( \mathbb { P } ^ { 1 }, \text{Pic} ^ { 0 } _ { \mathcal { Y } _ { e } / \mathbb { P } ^ { 1 } _ { e } } ) \stackrel { r } { \longrightarrow } H ^ { 1 } _ { \text{e} t } ( \mathbb { P } ^ { 1 }, \text{Pic} ^ { 0 } _ { \mathcal { Y } _ { s } / \mathbb { P } ^ { 1 } } ) \longrightarrow \dots$$

/d47

/d47

/d47

/d47

/d47

/d47

/d47

Before we can make use of the above Sequence (3), we have to show that Pic 0 Y /epsilon1 / P 1 /epsilon1 is isomorphic to the trivial deformation of Pic 0 Y s / P 1 . By assumption, ( J f ( ) /epsilon1 , σ /epsilon1 , { ( p 1 ) /epsilon1 , ( p 2 ) /epsilon1 } ) is trivial. Next, note that the deformation { ( p 1 ) /epsilon1 , ( p 2 ) /epsilon1 } being trivial implies that the morphism j /epsilon1 : P 1 /epsilon1 → P 1 /epsilon1 is the trivial deformation of j s , since j /epsilon1 is uniquely determined by its branch locus. Therefore, the base change of J f ( ) /epsilon1 along j /epsilon1 is the trivial deformation of the base change of J f ( ) s along j s . Since taking Jacobians commutes with changing the base, Pic 0 Y /epsilon1 / P 1 /epsilon1 is the smooth locus of the base change of J f ( ) /epsilon1 along j /epsilon1 , and hence Pic 0 Y /epsilon1 / P 1 /epsilon1 is isomorphic to the trivial deformation of Pic 0 Y s / P 1 .

Thus, in Sequence (3) there is a class η 0 ∈ H 1 ´ et ( P 1 , Pic 0 Y /epsilon1 / P 1 /epsilon1 ) corresponding to the trivial deformation of η . We have r η ( 0 -η /epsilon1 ) = ( η -η ) = 0 , hence η 0 -η /epsilon1 comes from H 1 ( P 1 , Lie(Pic 0 Y s / P 1 )) and in particular η 0 -η /epsilon1 is p -torsion with p = char( k ) , since Lie(Pic 0 Y s / P 1 ) is a coherent sheaf on P 1 . However, we claim

/negationslash that both η 0 and η /epsilon1 have order at most 2 . In fact, by Section 1.1, the family of elliptic fibrations f : X → P 1 S admits a bisection after possibly shrinking S . Hence, the family of elliptic fibrations h : Y → P 1 S of the K3 covers admits either a bisection or a section. In particular, since η /epsilon1 is the restriction of the cohomology class corresponding to the Pic 0 Y / P 1 S -torsor given by the smooth locus of h , it has order at most 2 . The same is true for η 0 and hence η 0 -η /epsilon1 is 2 -torsion. Since p = 2 , this shows η 0 = η /epsilon1 , hence Y sm /epsilon1 is trivial and since the complement of Y sm s in Y s has depth at least 2 , Y /epsilon1 is trivial. Therefore, also X /epsilon1 is trivial, which is what we wanted to prove. /square

Finally, we can use this relation between deformations of unnodal Enriques surfaces and deformations of their Jacobians to determine the dimension of the moduli space of unnodal Enriques surfaces with extra automorphisms.

Corollary 5.5 ( ̂ = Theorem B . ) Let ϕ : X → S be a family of unnodal Enriques surfaces with S locally of finite type over k . Let s ∈ S ( k ) be a point such that ϕ is universal at s . For j ∈ { 2 4 , } , define the set

$$\mathcal { Z } _ { j } = \{ t \in \mathcal { S } ( k ) \, | \, | \overline { \text{Aut} } ( X _ { \overline { t } } ) | \geq j \} \subseteq | \mathcal { S } |.$$

Then, there is an open neighborhood s ∈ U ⊆ |S| such that

- · Z 2 ∩ U has dimension at most 5 , and
- · U has dimension 10 ,
- · Z 4 ∩ U has dimension at most 2 .

In particular, a generic Enriques surface does not admit any extra automorphisms.

PROOF. Note that the statement is ´ etale local on S . Clearly, U can be chosen to be 10 -dimensional since h 1 ( X s , T X s ) = 10 and h 2 ( X s , T X s ) = 0 . By Proposition 1.9, there are 527 elliptic fibrations on X s up to the action of W E 10 (2) . Choose a set of representatives { f i : X s → P 1 } , i = 1 , . . . , 527 . By Lemma 5.4, we can assume without loss of generality that all f i extend to families of elliptic fibrations f i : X → P 1 S and since specialization of line bundles is equivariant with respect to the action of automorphism group, the ( f i ) t form a full set of representatives for the W E 10 (2) -orbits of elliptic fibrations on X t for every t ∈ |S| .

Denote the family of Jacobians of f i as in Lemma 5.4 (ii) by ( J f ( i ) , σ , i { ( p 1 ) i , ( p 2 ) i } ) and denote the closed subsets of S parametrizing points t such that Aut (( 2 J f ( i ) , σ , i { ( p 1 ) i , ( p 2 ) i } ) ) t contains a 2 -group of order at least j by Z i j . As in the proof of Corollary 4.5, if | Aut( X t ) | ≥ j , then there is an elliptic fibration f i such that Aut (( 2 J f ( i ) , σ , i { ( p 1 ) i , ( p 2 ) i } ) ) t contains a 2 -group of order at least j . Hence, we have

$$\mathcal { Z } _ { j } & \subseteq \bigcup _ { i = 1 } ^ { 5 2 7 } \mathcal { Z } _ { j } ^ { i }. \\ \vdots \dots & \tau \colon \Delta \colon \quad \mathfrak { o d }.$$

Since the right hand side is closed of dimension 5 if j = 2 (resp. 2 if j = 4 ) by Theorem 3.7, Z j is closed of dimension at most 5 if j = 2 (resp. 2 if j = 4 ). /square

Remark 5.6. As another immediate consequence of Lemma 5.4, we obtain that an arbitrary elliptic fibration f : X → P 1 of a generic Enriques surface satisfies the following good properties, since the corresponding properties are satisfied for a generic 2 -marked rational elliptic surface, as can be checked explicitly using Weierstraß equations:

- · All fibers of f are irreducible.
- · The half-fibers of f are irreducible, smooth (and ordinary if char( k ) = 0 ) elliptic curves.

/negationslash

- · f has exactly 12 reduced singular fibers, all of which are nodal cubics.

## 6. EXAMPLES

We have seen in Theorem A that | Aut( X ) | ∈ { 1 2 4 , , } . The purpose of this section is to give examples showing that all possibilities actually occur. The following examples were found by H. Ohashi [Oha15] in the context of semi-symplectic automorphisms of Enriques surfaces over the complex numbers. In the following, we will explain how they give rise to Enriques surfaces with extra automorphisms also in positive characteristic. The most important observation is the following.

Lemma 6.1. Let X be an unnodal Enriques surface and g ∈ W E 10 (2) ⊆ Aut( X ) . Then, g acts trivially on H 0 ( X,ω ⊗ 2 X ) .

PROOF. By Theorem 1.4, it suffices to prove that a bielliptic involution acts trivially on H 0 ( X,ω ⊗ 2 X ) . But this is clear since every involution acts trivially on H 0 ( X,ω ⊗ 2 X ) . /square

Example 6.2. Consider the double cover of P 1 × P 1 defined by the affine equation

$$w ^ { 2 } \ = \ z ( A ( y ^ { 4 } z ^ { 2 } - z ^ { 2 } ) + B ( y ^ { 4 } z - z ^ { 3 } ) + C ( y ^ { 4 } - z ^ { 4 } ) \\ + D ( y ^ { 3 } z ^ { 2 } - y z ^ { 2 } ) + E ( y ^ { 3 } z - y z ^ { 3 } ) + F ( y ^ { 2 } z - y ^ { 2 } z ^ { 3 } ) ) \\ \intertext { a r e a } \ A \ R \ C \ D \ E \ O h a c h i c h o w e t h t h a u t o m o r m i e m$$

with parameters A,B,C,D,E,F . Ohashi shows that the automorphism

↦

of order 4 preserves the above equation and that, if k = C , the minimal model of a resolution of a generic member of the above family is an Enriques surface X whose K3 cover has Picard rank 10 . In particular, X is unnodal. Moreover, he shows that g 1 lifts to X and acts as -1 on H 0 ( X,ω ⊗ 2 X ) . In particular, by Lemma 6.1, g 1 induces an extra automorphism. Since the above family has 5 moduli over C (see [Oha15, Section 2]), Corollary 5.5 shows that Aut( X ) = Z / 2 Z .

$$F. \text{ Onasn} & \text{ that the automorphism} \\ g _ { 1 } \colon ( w, y, z ) & \mapsto ( \frac { \sqrt { - 1 } w } { y ^ { 2 } z ^ { 3 } }, \frac { 1 } { y }, \frac { 1 } { z } ) \\ \text{quation and that, if } k = \mathbb { C }, \text{ the minimal mc} \\ - \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

In fact, the blow-ups and blow-downs needed to obtain an Enriques surface from a generic member in the above family can be realized over an open subset of Spec( R ) for a finite extension R of Z [ A,B,C,D,E,F ] (this follows from the explicit description of this process in [Oha15, Section 2]). In particular, we obtain a family of Enriques surfaces over an open subset of Spec( R ) . Since the property of being unnodal is open in families of Enriques surfaces by Proposition 5.2, this yields examples of unnodal Enriques surfaces X with Aut( X ) = Z / 2 Z in all but possibly finitely many characteristics.

Example 6.3. Consider the double cover of P 1 × P 1 defined by the affine equation

$$\text{Example 6.3. Consider the double cover of $\mathbb{P}^{1} \times \mathbb{P}^{1} defined by the affine equation} \\ w ^ { 2 } \ = \ z ( A ( y ^ { 4 } z ^ { 2 } + \sqrt { - 1 } z ^ { 4 } - z ^ { 2 } - \sqrt { - 1 } y ^ { 4 } ) + B ( y ^ { 4 } z + \sqrt { - 1 } y ^ { 2 } z ^ { 3 } - z ^ { 3 } - \sqrt { - 1 } y ^ { 2 } z ) \\ + D ( y ^ { 3 } z ^ { 2 } + \sqrt { - 1 } y z ^ { 3 } - y z ^ { 2 } - \sqrt { - 1 } y ^ { 3 } z ) ) \\ \text{with parameters } A, B, D. For a primitive 8-th root of unity $\zeta_{8}, the automorphism} \\ \zeta _ { \zeta } \quad \zeta _ { \zeta } \quad \zeta _ { \zeta }$$

↦

$$a \ p i m u v e \circ - u \, \text{for} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \, \text{in} \,
g _ { 2 } \, \colon ( w, y, z ) \mapsto \left ( \frac { \zeta _ { 8 } y ^ { 3 } w } { z ^ { 4 } }, \frac { y } { z }, \frac { y ^ { 2 } } { z } \right ) \\ \text{end if } k = \mathcal { C } ^ { \ } t h e \, \text{minimal model of a recalmtic}$$

preserves the above equation and, if k = C , the minimal model of a resolution of a generic member of this family is an Enriques surfaces X whose K3 cover has Picard rank 10 . In particular, X is unnodal. Ohashi shows that the above family has 2 moduli (see [Oha15, Section 2]). Moreover, g 2 lifts to X and acts as √ -1 on H 0 ( X,ω ⊗ 2 X ) . By Lemma 6.1, this means that g 2 induces an extra automorphism of order 4 , hence Aut( X ) = Z / 4 Z by Corollary 4.5. As in the previous example, the above equation actually yields examples of unnodal Enriques surfaces X with Aut( X ) = Z / 4 Z in all but possibly finitely many characteristics.

We were unable to find examples of unnodal Enriques surfaces with Aut( X ) = ( Z / 2 Z ) 2 . The following proposition shows that it is impossible to find such X with a K3 cover of Picard rank 10 , even for k = C . For this reason, even if we find a good candidate for an Enriques surface X with Aut( X ) = ( Z / 2 Z ) 2 , it will not be as easy as in the above examples to prove that X unnodal.

Proposition 6.4. Let X be an unnodal Enriques surface over k = C such that Aut( X ) is not cyclic. Then, the Picard rank ρ Y ( ) of its K3 cover Y satisfies ρ Y ( ) &gt; 10 .

PROOF. Suppose ρ Y ( ) = 10 . Let T = Pic( Y ) ⊥ ⊂ H 2 ( Y, Z ) be the transcendental lattice of Y . Then, Aut( X ) acts as a group of Hodge isometries on T , hence via a cyclic quotient by [Huy16, Corollary 3.4]. The assumption ρ Y ( ) = 10 implies π ∗ (Num( X )) = Pic( Y ) . Hence, by Lemma 1.10, the action of Aut( X ) on ( π ∗ (Num( X ))) ∨ / π ( ∗ (Num( X ))) = ∼ T ∨ /T is faithful and therefore Aut( X ) is cyclic. /square

## REFERENCES

| [AK80]     | A. B. Altman and S. L. Kleiman. Compactifying the Picard scheme. Advances in Mathematics , 35(1):50-112, 1980.                                                                                                            |
|------------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [All18]    | D. Allcock. Congruence subgroups and Enriques surface automorphisms. Journal of the London Mathematical Society , 98(1):1-11, 2018.                                                                                       |
| [Art69]    | M. Artin. Algebraization of formal moduli: I , pages 21-72. Princeton University Press, 1969.                                                                                                                             |
| [Art74]    | M. Artin. Supersingular K 3 surfaces. Annales scientifiques de l'Ecole ´ Normale Sup´rieure e , Ser. 4, 7(4):543-567, 1974.                                                                                               |
| [Bad01]    | L. S. Badescu. Algebraic Surfaces . Universitext. Springer-Verlag New York, 2001.                                                                                                                                         |
| [BP83]     | W. Barth and C. Peters. Automorphisms of Enriques Surfaces. Inventiones mathematicae , 73:383-412, 1983.                                                                                                                  |
| [CCN + 85] | J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, and R.A. Wilson. Atlas of finite groups : maximal subgroups and ordinary characters for simple groups . Clarendon Press; Oxford University Press: New York, 1985. |
| [CD85]     | F. Cossec and I. Dolgachev. Smooth rational curves on Enriques surfaces. Mathematische Annalen , 272:369-384., 1985.                                                                                                      |
| [CD89]     | F. R. Cossec and I. V. Dolgachev. Enriques surfaces. I, volume 76 of Progress in Mathematics . Birkh¨user a Boston, Inc., Boston, MA, 1989.                                                                               |
| [Cob19]    | A. Coble. The Ten Nodes of the Rational Sextic and of the Cayley Symmetroid. American Journal of Mathematics , 41(4):243-264, 1919.                                                                                       |
| [Cre84]    | R. Crew. Etale p -covers in characteristic p . Compositio Mathematica , 52(1):31-45, 1984.                                                                                                                                |
| [Del75]    | P. Deligne. Courbes elliptiques: Formulaire, d'apr´s e J. Tate. In Bryan J. Birch and Willem Kuyk, editors, Modular Functions of One Variable IV , pages 53-73, Berlin, Heidelberg, 1975. Springer Berlin Heidelberg.     |
| [DM19a]    | I. Dolgachev and D. Markushevich. Lagrangian tens of planes, Enriques surfaces and holomorphic symplectic four- folds. arXiv:1906.01445 , 2019.                                                                           |
| [DM19b]    | I. Dolgachev and G. Martin. Numerically trivial automorphisms of Enriques surfaces in characteristic 2. J. Math. Soc. Japan , 2019.                                                                                       |
| [EHS12]    | T. Ekedahl, J. M. E. Hyland, and N. I. Shepherd-Barron. Moduli and periods of simply connected Enriques surfaces. arXiv:1210.0342 , 2012.                                                                                 |
| [Huy16]    | D. Huybrechts. Lectures on K3 Surfaces . Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2016.                                                                                                     |
| [Jan14]    | J. Jang. An Enriques Involution of a Supersingular K3 Surface Over Odd Characteristic. International Mathematics Research Notices , 2014(11):3158-3175, 2014.                                                             |
| [Jan16a]   | J. Jang. A Lifting of an Automorphism of a K3 Surface over Odd Characteristic. International Mathematics Research Notices , 2017(6):1787-1804, 06 2016.                                                                   |
| [Jan16b]   | J. Jang. The representations of the automorphism groups and the Frobenius invariants of K3 surfaces. Michigan Math. J. , 65(1):147-163, 03 2016.                                                                          |
| [Kle13]    | S.L. Kleiman. The Picard scheme , pages 35-74. International Press of Boston, Inc, 2013.                                                                                                                                  |
| [Lan79]    | W. E. Lang. Quasi-elliptic surfaces in characteristic three. Annales scientifiques de l'Ecole ´ Normale Sup´rieure e , Ser. 4, 12(4):473-500, 1979.                                                                       |
| [Lan00]    | W. E. Lang. Configurations of singular fibres on rational elliptic surfaces in characteristic two. Communications in Algebra , 28(12):5813-5836, 2000.                                                                    |
| [Lic68]    | S. Lichtenbaum. The Period-Index Problem for Elliptic Curves. American Journal of Mathematics , 90:1209-1223,                                                                                                             |

## GEBHARD MARTIN

| [LLR04]   | Q. Liu, D. Lorenzini, and M. Raynaud. N´ron e models, Lie algebras, and reduction of curves of genus one. Inventiones mathematicae , 157(3):455-518, Sep 2004.                        |
|-----------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [Mar17]   | G. Martin. Enriques surfaces with finite automorphism group in positive characteristic. arXiv:1703.08419 , 2017.                                                                      |
| [MS72]    | D. Mumford and K. Suominen. Introduction to the Theory of Moduli , pages 171-222. Wolters-Noordhoff, 1972.                                                                            |
| [Nik80]   | V. V. Nikulin. Integral symmetric bilinear forms and some of their applications. Mathematics of the USSR-Izvestiya , 14(1):103-167, 1980.                                             |
| [NM84]    | Y. Namikawa and S. Mukai. Automorphisms of enriques surfaces which act trivially on the cohomology groups. Inven- tiones mathematicae , 77:383-398, 1984.                             |
| [Ogu03]   | K. Oguiso. Local families of K3 surfaces and applications. J. Algebraic Geom. , pages 405-433, 2003.                                                                                  |
| [Oha15]   | H. Ohashi. Bi-canonical representations of finite automorphisms acting on Enriques surfaces. arxiv:1504.00728 , 2015.                                                                 |
| [Par13]   | H. Partsch. Deformations of elliptic fiber bundles in positive characteristic. Nagoya Math. J. , 211:79-108, 09 2013.                                                                 |
| [Sei88]   | W. K. Seiler. Deformations of Weierstraß elliptic surfaces. Mathematische Annalen , 281:263-278, 06 1988.                                                                             |
| [Ser06]   | E. Sernesi. Deformations of Algebraic Schemes , volume 334 of Grundlehren der mathematischen Wissenschaften . Springer-Verlag Berlin Heidelberg, 2006.                                |
| [Shi09]   | I. Shimada. Transcendental lattices and supersingular reduction lattices of a singular K 3 surface . Trans. Amer. Math. Soc. , pages 909-949, 2009.                                   |
| [Sil09]   | J. H. Silverman. The Arithmetic of Elliptic Curves , volume 106 of Graduate Texts in Mathematics . Springer-Verlag New York, 2009.                                                    |
| [Sri18]   | T. K. Srivastava. On Derived Equivalences of K3 Surfaces in Positive Characteristic. arXiv:1809.08970 , 2018.                                                                         |
| [SS10]    | M. Sch¨tt u and T. Shioda. Elliptic surfaces. In Algebraic Geometry in East Asia Seoul 2008 , pages 51-160, Tokyo, Japan, 2010. Mathematical Society of Japan.                        |
| [Tse33]   | C. C. Tsen. Divisionsalgebren ¨ber u Funktionenk¨rpern. o Nachrichten von der Gesellschaft der Wissenschaften zu G¨ttingen, o Mathematisch-Physikalische Klasse , 1933:335-339, 1933. |

MATHEMATISCHES INSTITUT UNIVERSIT ¨ T BONN A ENDENICHER ALLEE 60 53115 BONN

GERMANY

E-mail address : gmartin@math.uni-bonn.de
Gebhard Martin
Automorphisms of unnodal Enriques surfaces
It follows from an observation of A. Coble in 1919 that the automorphism
group of an unnodal Enriques surface contains the $2$-congruence subgroup of
the Weyl group of the $E_{10}$-lattice. In this article, we determine how much
bigger the automorphism group of an unnodal Enriques surface can be.
Furthermore, we show that the automorphism group is in fact equal to the
$2$-congruence subgroup for generic Enriques surfaces in arbitrary
characteristic (under the additional assumption that the Enriques surface is
ordinary if the characteristic is $2$), improving the corresponding result of
W. Barth and C. Peters for very general Enriques surfaces over the complex
numbers.