## 527 ELLIPTIC FIBRATIONS ON ENRIQUES SURFACES

SIMON BRANDHORST AND V ´ ICTOR GONZ ´ LEZ-ALONSO A

Abstract. Barth and Peters showed that a general complex Enriques surface has exactly 527 isomorphism classes of elliptic fibrations. We show that every Enriques surface has precisely 527 isomorphism classes of elliptic fibrations when counted with the appropriate multiplicity. Their reducible singular fibers and the multiplicities can be calculated explicitly. The same statements hold over any algebraically closed field of characteristic not two. To explain these results, we construct a moduli space of complex elliptic Enriques surfaces and study the ramification behavior of the forgetful map to the moduli space of unpolarized Enriques surfaces. Curiously, the ramification indices of a similar map compute the hyperbolic volume of the rational polyhedral fundamental domain appearing in the Morrison-Kawamata cone conjecture.

## 1. Introduction

We work over an algebraically closed field k = k of characteristic not two. An Enriques surface is a smooth proper surface Y/k of Kodaira dimension κ Y ( ) = 0 and second Betti number b 2 ( Y ) = 10. They are one of the four classes of Kodaira dimension zero in the Enriques-Kodaira classification of minimal algebraic surfaces.

An Enriques surface is called unnodal if it does not contain smooth rational curves. A general Enriques surface is unnodal. In [BP83] Barth and Peters show that a general unnodal complex Enriques surface S has exactly 527 elliptic fibrations up to isomorphism. The result was extended to positive characteristic by Martin [Mar19]. If Y is a general complex 1-nodal Enriques surface, then Cossec and Dolgachev [CD85] announced that Y has 255 isomorphism classes of elliptic fibrations with ˜ A 1 reducible fibers and 136 classes with no reducible fibers (see e.g. [DK24, Section 8.4, Table 8.4] [BS22, 6.5] for proofs). This work is prompted by an idea of Cossec communicated to us by Dolgachev: The formula 527 = 255 + 2 · 136 should have an explanation in terms of the ramification behavior of a forgetful map of moduli spaces.

More precisely, an elliptic fibration on an Enriques surface Y is a morphism φ : Y → C to a smooth curve C such that its generic fiber is a smooth curve of genus one over the function field k C ( ). Since Y is an Enriques surface, it holds C = P 1 . The numerical class [ φ -1 ( p ) ] ∈ Num( Y ) is 2-divisible, and f := 1 2 [ φ -1 ( p )] ∈ Num( Y ) is the so called half fiber . Two elliptic fibrations φ, φ ′ : Y → P 1 are isomorphic if there are ψ ∈ Aut( Y ) and η ∈ Aut( P 1 ) with φ ◦ ψ = η ◦ ϕ ′ , which holds if and only if the corresponding half fibers f and f ′ lie in the same Aut( Y )-orbit.

Gef¨ ordert durch die Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 286237555 TRR 195. Funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)

- Project-ID 286237555 - TRR 195.

In Section 8 we construct the moduli space M En,e of complex elliptic Enriques surfaces ( Y, f ) and show that the forgetful map

↦

$$\mathcal { P } _ { 0 } ^ { e } \colon \mathcal { M } _ { E n, e } \to \mathcal { M } _ { E n }, \ \ [ Y, f ] \mapsto [ Y ]$$

is a ramified cover of normal quasi-projective varieties. The fiber over [ Y ] counts isomorphism classes of elliptic fibrations on Y . By the result of Barth and Peters the morphism P e 0 has degree 527. This leads us to the following theorem.

Theorem 1.1. Let k = C and Y/k be an Enriques surface. Then Y has exactly 527 isomorphism classes of elliptic fibrations ϕ counted with the ramification degree r f of P e 0 at [ Y, f ] .

The ramification degrees are calculated as follows: Let S Y := Num( Y ) denote the numerical lattice of Y , aut( Y ) the image of the natural homomorphism Aut( Y ) → O S ( Y ), and W Y ( ) ≤ O S ( Y ) the nodal Weyl group of Y , i.e. the subgroup generated by the reflections in smooth rational curves of Y . Set G Y := W Y ( ) /multicloseright aut( Y ) and define G Y as its image in O S ( Y ⊗ F 2 ). We call G Y the Vinberg group. For any class f ∈ S Y denote by f its image in S Y ⊗ F 2 .

Proposition 1.2. Let Y be a complex Enriques surface and f ∈ S Y a primitive, isotropic nef class. Then the following hold.

(a) The ramification degree r f of P e 0 at [ Y, f ] is the orbit length

- (b) The set of isomorphism classes of elliptic fibrations on Y is in bijection with the quotient

$$( u _ { J } \emph { n e r n u m p o u a t e o n e u g r e c } r _ { J } \emph { v } _ { J } r _ { 0 } \emph { u } _ { J } ( 1, j ) \emph { o u c o n } \\ ( 1 ) & & r _ { f } = \# \left ( \overline { f } \cdot \overline { G } _ { Y } \right ). \\ / h \right ) \emph { T h o o t o f i o o m o r n h i o m } \emph { l a c o o e o f a l i n t i e f h o r t i o }$$

/negationslash

$$\{ \overline { f } \in S _ { Y } \otimes \mathbb { F } _ { 2 } \, | \, \overline { f } ^ { 2 } = 0, \overline { f } \neq 0 \} / \overline { G } _ { Y }.$$

See Proposition 5.8 for how to compute the ADE-type of the singular fibers of the elliptic fibration corresponding to f from f and the so called spliting roots ∆( Y ) of Y .

Remark 1.3. In positive characteristic the existence and geometry of a moduli space of elliptic Enriques surfaces is not clear to us. However, the formula for the ramification degree r f makes perfect sense in any characteristic. If we take the formula in eq. (1) as the definition of r f , then Theorem 1.1 and Proposition 1.2 (2) continue to hold. See Theorem 5.4 for the precise statement.

The main idea for a proof in arbitrary characteristic is Theorem 4.3, which states that Nef e Y / Aut( Y ) = ∼ P Q Y /G Y where P Q Y is the positive cone of Y together with the rational isotropic rays. While Nef e Y and Aut( Y ) are notoriously difficult to control, G Y and the positive cone can be handled, even in positive characteristic. Indeed, G Y always contains the 2-congruence subgroup of O S ( Y ) (Proposition 3.10) and therefore it suffices to know its image G Y in O S ( Y ⊗ F 2 ).

Remark 1.4. We call G Y the Vinberg group because its index in O S ( Y ⊗ F 2 ) is the number of Vinberg chambers contained in the fundamental domain of the action of Aut( Y ) on the effective nef cone of Y appearing in the Morrison-Kawamata-Cone conjecture. See Corollary 4.4.

In [BS22] the first author and Shimada computed Aut( Y )-orbits of smooth rational curves and elliptic fibrations on 182 families of so called ( τ, τ ¯)-generic Enriques

surfaces with computer aided methods. In Section 7 we give a conceptual proof of their computational results.

↦

More generally, let h ∈ E 10 ∼ = U ⊕ E 8 with h 2 ≥ 0 and denote by M En,h the moduli space of complex numerically h -quasi-polarized Enriques surfaces. It parametrises pairs consisting of an Enriques surface Y and a nef numerical class H ∈ S Y mapping to h under some marking S Y ∼ - → E 10 . For h 2 = 0, we obtain the moduli space of elliptic Enriques surfaces and for h = 0 the moduli space of unpolarized Enriques surfaces. In [GH16] Gritsenko and Hulek show that there are only finitely many moduli spaces M En,h up to isomorphism although there are infinitely many types of polarisations h ∈ E 10 . In [DSH24] Hulek and Dutour-Sikiri´ c computed them along with the degrees of the forgetful maps P h 0 : M En,h →M En, 0 . Further detailed studies of moduli spaces of polarized Enriques surfaces were carried out in [CDGK23] and [Knu20].

Let v ∈ E 10 be a so called Weyl vector (see Section 2.1) and h ∈ E 10 in the corresponding Vinberg chamber of E 10 . Then there are finite proper surjective morphisms of normal quasi-projective complex varieties

$$\mathcal { M } _ { E n, v } \xrightarrow { \mathcal { P } _ { h } ^ { v } } \mathcal { M } _ { E n, h } \xrightarrow { \mathcal { P } _ { 0 } ^ { h } } \rightarrow \mathcal { M } _ { E n, 0 }.$$

The first one is Galois, but depends on the choice of h , and the second one is the forgetful map and in general not Galois. The composition is just P v 0 , hence Galois too. In Theorem 9.2 we use the sandwich to compute the ramification indices of P h 0 . In particular, we answer a question posed by Dolgachev and Kondo in their upcoming book [DK24, Table 8.3] on counts of polarisations on general 1-nodal Enriques surfaces.

Plan of the paper. In Section 2 we set up terminology for lattices and recall Vinbergs results on the E 10 -root lattice. Section 3 recalls the description of the nef cone of an Enriques surface. Section 4 deals with the action of the automorphism group on the effective nef cone. In Section 5 we look at orbits of elliptic fibrations under the automorphism group. In Section 7 the results are applied to ( τ, τ ¯)-generic Enriques surfaces. In Section 8 we review and extend the construction of numerically quasi-polarized complex Enriques surfaces. In Section 9 we reinterpret the results in terms of ramification of maps between moduli spaces of Enriques surfaces.

Acknowledgements. The authors would like to express their gratitude to Igor Dolgachev for asking the right questions and hinting at their answers. We thank Gebhard Martin, Giacomo Mezzedimi, Klaus Hulek, Matthias Sch¨tt, Ichiro Shiu mada and Davide Veniani for discussions.

## 2. Preliminaries and Notation.

See [Nik79b] for background on lattices and their discriminant groups. A lattice is a finitely generated Z -module L equipped with a non-degenerate, Q -valued symmetric bilinear form denoted by x.y . For n ∈ Z we denote by L n ( ) the lattice with the same underlying module but with bilinear form multiplied by n . We denote the dual lattice of L by L ∨ . The finite group L /L ∨ is called the discriminant group. We call a vector r ∈ L of square r 2 = -2 a root of L . It defines a reflection s r ( x ) = x + ( r.x r ) . A lattice of signature (1 , ∗ ) is called hyperbolic. The unique even unimodular lattice of signature (1 , 1) is called a hyperbolic plane

Figure 1. The E 10 diagram.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00306v1-figure-5aa67e75-e6e9-4e22-b1b5-16a54467b207.jpg)

and denoted by U . We follow the convention that ADE -root lattices are negative definite. The orthogonal group of L is denoted by O L ( ). We denote by O /sharp ( L ) the kernel of O L ( ) → O L /L ( ∨ ). For subsets A , . . . , A 1 n ⊆ L ⊗ R we denote by O L,A ,... , A ( 1 n ) = { f ∈ O L ( ) | ∀ i ∈ { 1 , . . . n } : f ( A i ) = A i } their joint stabiliser. For L a hyperbolic lattice, { x ∈ L ⊗ R | x 2 &gt; 0 } has two connected components. We fix one of them and call it the positive cone P L of L . Let ∆ ⊆ { x ∈ L | x 2 &lt; 0 } be a subset. A ∆chamber is a connected component of P L \ ⋃ r ∈ ∆ + r ⊥ . Any partition ∆ = ∆ + /unionsq -∆ + determines a unique chamber { x ∈ P L | ∀ r ∈ ∆ : x.r &gt; 0 } , which we call the chamber defined by ∆ + . We call the elements of ∆ + positive.

Let G be a group acting on a set X . We denote right actions by x g for x ∈ X and g ∈ G . Left actions are denoted gx .

2.1. The Vinberg lattice. Let E 10 be the lattice corresponding to the CoxeterDynkin diagram in Figure 1. It is an even unimodular lattice of signature (1 , 9) and therefore E 10 ∼ = U ⊕ E 8 . Note that if Y is an Enriques surface, then S Y ∼ = E 10 . Let e , . . . e 1 10 be the basis of E 10 corresponding to its Coxeter-Dynkin diagram. In [Vin75], Vinberg showed that e , . . . , e 1 10 constitute a fundamental system of roots of E 10 . In particular, W E ( 10 ) = 〈 s e | e ∈ { e , . . . e 1 10 }〉 and moreover O E ( 10 ) = {± } × 1 W E ( 10 ). Since E 10 is unimodular, we find a unique v ∈ E 10 with v.e 1 = · · · = v.e n = 1. We call it the Weyl vector of the Vinberg chamber

$$C = \{ x \in E _ { 1 0 } \otimes \mathbb { R } \ | \ \forall i \in 1, \dots 1 0 \colon x. e _ { i } \geq 0 \}.$$

Since the e i are a basis of the E 10 lattice, this convex cone is simplicial and moreover basic. Indeed, its extremal rays are given by the dual basis e ∨ 1 , . . . e ∨ n ∈ E 10 of e , . . . e 1 n where e ∨ i .e j = 1 for i = j and 0 else. We see that v = e ∨ 1 + · · · + e ∨ 10 is an interior point and one can calculate that v 2 = 1240. Since the chamber C is uniquely determined by v , we write C v ( ) = C . It is a fundamental domain for the action of the Weyl group on the positive cone because the e i for a fundamental system of roots. We call any integral v ′ in the positive cone of E 10 a Weyl vector if the set { x ∈ E 10 | x 2 = -2 , x.v ′ = 1 } is a fundamental root system. This is the case if and only if they form an E 10 diagram. This sets up bijections between fundamental root systems, chambers and Weyl vectors. The Weyl group acts simply transitively on each of these sets in a compatible way.

We equip E 10 ⊗ F 2 with a non-degenerate F 2 -valued quadratic form q defined by q x ( ) = x / 2 2 mod 2. It can be interpreted as the discriminant form of E 10 (2) by identifying 1 2 E 10 /E 10 with E 10 ⊗ F 2 . The quadratic space E 10 ⊗ F 2 has a totally isotropic subspace of dimension 5.

## 3. The nef cone.

/negationslash

In this section we recall the description of the nef cone of an Enriques surface in the form that suits our purposes. For the reader's convenience we give most proofs. In what follows Y denotes an Enriques surface over an algebraically closed field of characteristic p = 2 with covering K3 surface X , covering map π : X → Y and covering involution /epsilon1 ∈ Aut( X ). Denote by S Y ∼ = E 10 ∼ = U ⊕ E 8 and S X the numerical lattices of Y respectively X .

3.1. The ample cone. We shall derive the description of the ample cone of the Enriques surface Y from its covering K3 surface X .

Lemma 3.1. A divisor class h ∈ S Y is ample on Y if and only if π ∗ ( h ) is ample on X .

Proof. Let h ∈ S Y be ample and C be any curve on X . Then π ∗ ( C ) is a curve on Y and by the projection formula π ∗ ( h .C ) = h.π ∗ ( C ) &gt; 0, which is positive because h is ample. Thus π ∗ ( h ) is ample by the Nakai-Moishezon criterion. Conversely if h ∈ S Y is such that π ∗ ( h ) is ample and C is any curve on Y , then π ∗ ( C ) is a curve on Y and therefore h.C = 1 2 π ∗ ( h , π ) ∗ ( C ) &gt; 0. Thus h is ample. /square

Since the lattice S Y is hyperbolic, the cone { x ∈ S Y | x 2 &gt; 0 } has two connected components. The one containing the ample cone is called the positive cone P Y . We want to describe the ample cone as a subset of the positive cone P Y . Let C ⊆ Y be a smooth rational curve. Then C 2 = -2 and the preimage π -1 ( C ) in X splits into two disjoint smooth rational curves ˜ and C /epsilon1 ( ˜ ). C This motivates the following definition.

Definition 3.2. We say that a root r ∈ S Y splits in S X if there exists a root ˜ of r S X such that π ∗ ( r ) = ˜+ r /epsilon1 ∗ (˜). r We denote the set of splitting roots by ∆( Y ) ⊆ S Y and the subset of effective splitting roots by ∆( Y ) + .

The lattice S + := π ∗ ( S Y ) = ∼ S Y (2) is a primitive sublattice of S X , and we set S -:= S ⊥ + ⊆ S X , which is also a primitive sublattice. Note that S ± = { x ∈ S X | /epsilon1 ∗ ( x ) = ± } x . Since S + contains an ample class, its signature is (1 , ∗ ) and hence S -is negative definite. Moreover, S -does not contain any roots. Indeed, if r is a root in S -, then r or -r is effective by Riemann-Roch. Choose a ∈ S Y ample. Then π ∗ ( a .r ) = 0, contradicting that π ∗ ( a ) is ample.

Lemma 3.3. A root r ∈ S Y splits if and only if there exists v ∈ S -with v 2 = -4 and ( π ∗ ( r ) + v / ) 2 ∈ S X .

Proof. Let r ∈ S Y be a splitting root. Then there exists a root ˜ r ∈ S X with π ∗ ( r ) = ˜+ r /epsilon1 ∗ (˜) r ∈ S + . Set v = ˜ r -/epsilon1 ∗ (˜) r ∈ S -. Then ( π ∗ ( r ) + v / ) 2 = ˜ r ∈ S X and -2 = ˜ r 2 = 1 4 ( π ∗ ( r ) 2 + v 2 ) = -1 + 1 4 v 2 gives v 2 = -4.

Conversely, let r ∈ S Y be a root. If there exists a v ∈ S -with v 2 = -4 and ˜ := ( r π ∗ ( r ) + v / ) 2 ∈ S X , then ˜ r 2 = 1 4 ( π ∗ ( r ) 2 + v 2 ) = -2 and ˜ + r /epsilon1 ∗ (˜) = r π ∗ ( r ). Thus r splits in S X . /square

Lemma 3.4. The ample cone of Y is the ∆( Y ) -chamber defined by ∆( Y ) + .

Proof. Let ∆( X ) be the set of roots of S X and ∆ + ( X ) its subset consisting of effective roots. It is known [BHPVdV04, VIII (3.9)] that the ample cone of X is

the ∆( X )-chamber defined by ∆ + ( X ) . By Lemma 3.1 the ample cone of Y can be seen as the intersection of the ample cone of X with S + ⊗ R .

We calculate which root hyperplanes r ⊥ ⊆ S X ⊗ R actually meet π ∗ ( P Y ). Let h ∈ P Y and r ∈ ∆ ( + X ) with π ∗ ( h .r ) = 0. Since h ′ := π ∗ ( h ) ∈ S + , h .r ′ = h .r ′ + , where r ± ∈ S ∨ ± denotes the corresponding orthogonal projection of r . Then r + lies in the orthogonal complement h ′⊥ ∩ S ∨ + of h ′ . Since it is negative definite, r 2 + ≤ 0. If r 2 + = 0, then r = r -is a root in S X ∩ S ∨ -= S -which is absurd. Now 0 &gt; r 2 + ≥ r 2 + + r 2 -= r 2 = -2. If r 2 + = -2, then r 2 -= 0; hence r = r + ∈ S ∨ + ∩ S X = S + ∼ = E 10 (2). But since E 10 is an even lattice, any class x in E 10 (2) satisfies 4 | x 2 , which contradicts r 2 = -2. Thus r 2 + &gt; -2. Since 2 r + ∈ S + ∼ = E 10 (2), (2 r + ) 2 is divisible by 4. Thus r 2 + = -1 and r 2 -= - -2 r 2 + = -1. This shows that the preimage ( π ∗ ) -1 ( r + ) ∈ ∆ ( + Y ) is a splitting root. /square

- 3.2. The effective nef cone. Recall that an R -divisor is called nef if it has nonnegative intersection with every curve. The set of nef divisors is the closure of the ample cone. To assure that the action of the automorphism group has a rational polyhedral fundamental domain, we replace the nef cone Nef( Y ) by its effective version: the effective nef cone is the intersection of the nef cone with the effective cone of Y . It is the convex cone spanned by the intersection of the nef cone and S Y . We let h ∈ S Y be ample and

$$\overline { \mathcal { P } } _ { Y } ^ { \mathbb { Q } } = \mathcal { P } _ { Y } \cup \mathbb { R } _ { + } \{ r \in L \otimes \mathbb { Q } \ | \ r ^ { 2 } = 0, h. r > 0 \}$$

be the convex cone given by P Y and the rays of rational classes in its boundary (excluding the apex 0). We denote by Nef e Y the closure of the ample cone in P Q Y , which is the effective nef cone with the origin removed. By abuse of terminology we call it the effective nef cone as well. Inside P Y , the nef cone and its effective version agree, i.e. Nef( Y ) ∩ P Y = Nef e Y ∩P Y . In particular, they have the same facets. But they may have different extremal rays.

Let ∆ ⊆ S Y be a set of roots. For a root r ∈ ∆, recall that s r ( x ) = x +( x.r r ) defines a reflection into the hyperplane r ⊥ . The Weyl -group W (∆) = 〈 s r | r ∈ ∆ 〉 is the subgroup of O S ( Y ) generated by all such reflections. Let aut( Y ) denote the image of the natural map ψ : Aut( Y ) → O S ( Y ). The kernel of ψ is finite of order at most 4 [MN84, DM19].

Recall that for a subset A ⊆ S Y ⊗ R , we denote by O S ( Y , A ) the set of isometries preserving A . Define O S ( Y , P Y , π ) as the image of O S ( X , S + , P X ) → O S ( Y , P Y ).

Remark 3.5. Let r ∈ ∆( Y ) be a split root. Then π r ∗ = ˜+ r /epsilon1 ∗ (˜) for some root r ˜ r ∈ S X . We remark that s ˜ r ◦ s /epsilon1 ∗ (˜) r commutes with /epsilon1 ∗ and agrees with the reflection s r on S Y (2) = ∼ S + .

For an Enriques surface Y we define its Weyl group as W Y ( ) = W (∆( Y )). It is a subgroup of O S ( Y , P Y , π ) by Remark 3.5. It is moreover normal because the definition of ∆( Y ) depends only on π ∗ : S Y → S X .

Definition 3.6. The modular stabiliser of Y is defined as

$$G _ { Y } \coloneqq W ( Y ) \rtimes \text{aut} ( Y ) \subseteq O ( S _ { Y }, \mathcal { P } _ { Y }, \pi ).$$

The modular stabiliser G Y is our key player. It will turn out to be much easier to control than aut( Y ) or W Y ( ). We now characterise G Y in terms of the K3 cover π : X → Y . To this end let Aut( X,/epsilon1 ) be the centraliser of /epsilon1 in Aut( X ) and aut( X,/epsilon1 )

its image in O S ( X ). Note that Aut( Y ) = Aut( ∼ X,/epsilon1 ) / /epsilon1 〈 〉 . Let W X ( ) ⊆ O S ( X ) be the subgroup generated by the reflections on roots of X W X,/epsilon1 , ( ) the centraliser of /epsilon1 ∗ in W X ( ), and set

$$G _ { X | Y } \coloneqq W ( X, \epsilon ) \rtimes \text{aut} ( X, \epsilon ) \subseteq O ( S _ { X } ).$$

We see that W X,/epsilon1 ( ) restricts to W Y ( ) under the identification of S + with S Y . Let G ± be the image of G X Y | in O S ( X ± ).

Proposition 3.7. Let Y be an Enriques surface. Then G + ∼ = G Y under the natural identification O S ( Y ) = ∼ O S ( + ) .

Proof. The proof of [BS22, Proposition 3.2] works in positive characteristic as well. /square

Proposition 3.8. Let Y be an Enriques surface. Then:

- (1) The effective nef cone Nef e Y is a fundamental domain for the action of the Weyl group W Y ( ) on P Q Y ;
- (2) The action of G Y on P Q Y preserves the set of ∆( Y ) -chambers and aut( Y ) is equal to the stabiliser of Nef e Y in G Y .

Proof. Both assertions follow directly from the definitions. Since ∆( Y ) is preserved by G Y , so is the set of ∆( Y )-chambers. By standard arguments for Weyl groups, W Y ( ) acts simply transitively on the set of ∆( Y )-chambers and any chamber is a fundamental domain. Since automorphisms preserve the nef cone, aut( Y ) ∩ W Y ( ) = 1 and aut( Y ) is the stabiliser of Nef e ( Y ). /square

Set

$$G _ { X | Y } ^ { 0 } = \{ f \in O ( S _ { X } ) \ | \ f ( S _ { + } ) = S _ { + }, f | S _ { X } ^ { \vee } / S _ { X } = \text{id} \}.$$

/negationslash

Theorem 3.9. Let Y be an Enriques surface over an algebraically closed field of characteristic p = 2 . Then G 0 X Y | ⊆ G X Y | and the quotient G X Y | /G 0 X Y | is a finite group.

Proof. Let g ∈ G 0 X Y | . Since reflections in roots act trivially on the discriminant group, W X,/epsilon1 ( ) ⊆ G 0 X Y | . By Remark 3.5 we may hence assume that g preserves the ample cone of X and commutes with /epsilon1 ∗ . We will show that g ∈ aut( X,/epsilon1 ).

First suppose that k = C and denote by T X the transcendental lattice of the covering K3 surface X . Since g acts trivially on the discriminant group of S X , the isometry g ′ = g ⊕ id T X preserves the overlattice S X ⊕ T X ⊆ H 2 ( X, Z ). By construction g ′ is an effective Hodge isometry. By the strong Torelli theorem (see e.g. [BHPVdV04, VII (11.1)]) we find γ ∈ Aut( X ) with γ ∗ = g ′ . Since g ′ commutes with /epsilon1 ∗ , γ commutes with /epsilon1 . For k of characteristic zero we can reduce to the case of complex numbers by standard arguments.

Now suppose that k is of characteristic p &gt; 2 and the K3 cover X of Y is of finite height. Then by [LM18, Theorem 2.1] we find an S X preserving lift X K of X to characteristic zero and a group homomorphism sp : Aut( X K ) → Aut( X ) compatible with pullback and specialisation, where K is an algebraic closure. By [LM18, Corollary 2.4] (or the preceeding) the specialisation map identifies the nef cones of X and X K . By the fist part g is induced by an element in the image of sp that commutes with /epsilon1 .

Finally suppose that the K3 cover X of Y is supersingular. Then Ogus' Crystalline Torelli theorem [Ogu83, Theorem II' and Theorem II'][BL19, Theorem 5.1.9

for p=3] implies that g ∈ aut( X ). Since it commutes with /epsilon1 ∗ , g descends to an automorphism of Y as desired.

G 0 X Y | is of finite index in O S ( X , S + ) and therefore of finite index in its subgroup G X Y | . /square

The 2-congruence subgroup O S ( Y , P Y )(2) is defined as the kernel of O S ( Y , P Y ) → O S ( Y ⊗ F 2 ). The following proposition is surely known to experts. For k = C it is [CDL24, Theorem 5.5.1].

/negationslash

Proposition 3.10. Let Y be an Enriques surface over an algebraically closed field k of characteristic p = 2 . Then G 0 := O S ( Y , P Y )(2) ⊆ G Y is a normal subgroup.

Proof. Let f ∈ O S ( Y , P Y )(2). Note that f acts trivially on the discriminant group of S Y (2) = ∼ S + Hence f ′ = f ⊕ id S -lies in G 0 X Y | ⊆ G X Y | . Since G Y is the image of G X Y | by Proposition 3.7, f ∈ G Y . /square

Denote by G ± the image of G ± under the natural map O S ( ± ) → O S ( ∨ ± /S ± ).

Remark 3.11. It is known in most cases that the quotient G X Y | /G 0 X Y | is a finite cyclic group. Over the complex numbers this follows from [Nik79a, Corollary 3.3], for Enriques surfaces whose K3 cover is supersingular this follows from [Jan16, Proposition 3.1] and if the K3 cover is of finite height and p ≥ 23, from [Jan16, Proposition 3.10].

Remark 3.12. Let X be the K3 cover of a complex Enriques surface Y . If ± 1 are the only Hodge isometries of the transcendental lattice T X of of X , then G X Y | /G 0 X Y | is generated by the covering involution /epsilon1 . In this case, [BS22, (3.4)] we have G + ∼ = G / -{± } 1 .

The effective nef cone encodes the rational curves and elliptic fibrations on Y as follows.

Proposition 3.13. Let r ∈ S Y with r 2 = -2 . Then r is the class of a smooth rational curve on Y if and only if r ⊥ ∩ Nef e Y is a facet of the effective nef cone.

Proof. Follows from [CDL24, Proposition 2.2.1] noting that the nef cone and its effective version have the same facets. /square

Proposition 3.14. [BHPVdV04, VIII (16.1)] [CDL24, 2.2.9] Let f ∈ S Y be primitive and nef with f 2 = 0 , then 2 f is the numerical class of the fiber of an elliptic fibration Y → P 1 .

↦

Summing up, if we denote by R ( Y ) the set of numerical classes of smooth rational curves of Y , it holds R ( Y ) ⊆ ∆ ( + Y ) ⊆ ∆( Y ) and [ C ] → [ C ] ⊥ ∩ Nef e Y is a bijection between R ( Y ) and the facets of Nef e Y . Similarly, the isotropic rays of the effective nef cone of Y correspond to elliptic fibrations of Y .

## 4. The quotient Nef e ( Y ) / Aut( Y )

The effective nef cone and the automorphism group of an Enriques surface are notoriously difficult to control. For instance Aut( Y ) and R ( Y ) can be empty, finite or infinite. However, the cone conjecture tells us that the action of Aut( Y ) on the effective nef cone Nef e Y has a rational polyhedral fundamental domain. We will see

in this section how to control the quotient Nef e Y / Aut( Y ).

Before we can prove the main result, we need a preparatory Lemma. For x ∈ P Q Y , we set ∆( x ) = { δ ∈ ∆( Y ) | x ∈ δ ⊥ } and W x ( ) = W (∆( x )).

Lemma 4.1. Let x ∈ P Q Y . Then W x ( ) acts simply transitively on the set of ∆( ) x -chambers.

Proof. This is a well known fact for Weyl groups. See e.g. [Huy16, Chapter 8 Proposition 2.6] for an ad-hoc proof in a similar setting. /square

Lemma 4.2. Let x ∈ P Q Y . Then the Weyl group W x ( ) acts simply transitively on the set of ∆( Y ) -chambers whose closure contains x .

Proof. Let C be the set of ∆( Y )-chambers C with x contained in the closure C of C in P Q Y . We denote by D the set of ∆( x )-chambers. Since ∆( x ) ⊆ ∆( Y ), any ∆( Y )-chamber C is contained in a unique W x ( )-chamber D . Setting ϕ C ( ) = D defines a surjection ϕ : C → D . We claim that it is injective as well.

/negationslash

If x ∈ P Y is an interior point, we let B be an /epsilon1 -ball around x . The collection of ∆( Y )-hyperplanes is locally finite in P Y . Therefore, choosing /epsilon1 small enough, we can achieve the following: If r ∈ ∆( Y ) is such that r ⊥ ∩ B = ∅ , then x ∈ r ⊥ , i.e. r ∈ ∆( ). x If x ∈ P Q Y is a point in the boundary, let B = { y ∈ P Y | ( x.y ) 2 /y 2 &lt; /epsilon1 } be (the cone over) an /epsilon1 -horoball at x . By [Shi15, Corollary 3.12] we can once again choose /epsilon1 small enough to obtain the same property for B as before.

/negationslash

Note that every ∆( Y )-chamber C with x ∈ C intersects B . Let now C, C ′ ∈ C with ϕ C ( ) = ϕ C ( ′ ) =: D . Choose y ∈ B ∩ C and y ′ ∈ B ∩ C ′ . Then the line segment l from y to y ′ is contained in D ∩ B since B and D are convex and C, C ′ ⊆ D . If for r ∈ ∆( Y ), its hyperplane r ⊥ separates C and C ′ , then it must intersect l . In particular, r ⊥ ∩ B = ∅ , hence r ∈ ∆( ) by our choice of x /epsilon1 . But the segment l is contained in the chamber D and therefore such r cannot exist. We conclude C = C ′ and the map ϕ is indeed injective.

The Weyl group W x ( ) acts equivariantly on both the domain and codomain of ϕ : C → D . By Lemma 4.1, W x ( ) acts simply transitively on the set of ∆( x )-chambers D . Therefore it also acts transitively on C . /square

Theorem 4.3. The natural map Nef e Y / aut( Y ) →P Q Y /G Y is bijective.

Proof. Let x ∈ P Q Y . Since Nef e Y is a fundamental domain for the action of W Y ( ) on P Q Y (by Proposition 3.8), we can find an element α of the Weyl group W Y ( ) such that x α ∈ Nef e Y . Therefore the map is surjective. Let x, y ∈ Nef e Y such that there is g ∈ G Y with x = y g . Then (Nef e Y ) g is a ∆( Y )-chamber containing x . Since W x ( ) acts transitively on such chambers by Lemma 4.2, we find an h ∈ W x ( ) with (Nef e Y ) gh = Nef e Y . Then gh ∈ aut( Y ) (Proposition 3.8) and it satisfies y gh = x h = x as desired. /square

Recall that H 9 := { x ∈ P Y | x 2 = 1 } is a 9-dimensional hyperbolic space. It comes equipped with a natural volume.

Corollary 4.4. Let Y be an Enriques surface. The hyperbolic volume of the fundamental domain F Y of aut Y on Nef( Y ) is given by

$$\ n u u \ a v m a n n { \mathcal { J } } { Y } \ o j \ a u v { Y } \ o n \ v e { \mathfrak { L } } { \mathfrak { L } } \right ) \, \text{$s\, y v e n \ o y$} \\ \ v o l ( \mathcal { F } _ { Y } \cap \mathbb { H } ^ { 9 } ) = \left [ O ( S _ { Y } \otimes \mathbb { F } _ { 2 } ) \colon \overline { G } _ { Y } \right ] 1 _ { \text{Vin} } = 1 _ { \text{BP} } / \# \overline { G } _ { Y }$$

where 1 Vin is the hyperbolic volume of a Vinberg chamber and 1 BP = vol ( F Y 0 ∩ H 9 ) for a general Enriques surface Y 0 .

Proof. This follows from the fact that Nef e Y / aut( Y ) = ∼ P Q Y /G Y (cf. Theorem 4.3) is the quotient of P Q Y /G 0 ∼ P = Q Y 0 /G Y 0 by G Y . /square

Let E ( Y ) be the set of elliptic fibrations φ : Y → P 1 . We identify it with the set of primitive isotropic rays of Nef e Y by identifying φ with the numerical class f of a half fiber.

Corollary 4.5. Let E P ( Q Y ) denote the set of primitive isotropic classes of P Q Y . Then the natural map

$$\mathcal { E } ( Y ) / \text{aut} ( Y ) \rightarrow \mathcal { E } ( \overline { \mathcal { P } } _ { Y } ^ { Q } ) / G _ { Y }$$

is a bijection.

Proof. This follows from the fact that E ( Y ) respectively E P ( Q Y ) is characterized as the subset of Nef e Y , respectively P Q Y , whose elements are represented by primitive isotropic classes. /square

## 5. Orbits of elliptic fibrations

In this section we count the Aut( Y )-orbits of elliptic fibrations on an Enriques surface Y with their ramification degree in terms of its Vinberg group G Y . Then we explain how to recover the singular fibers of an elliptic fibration in our setting.

Corollary 5.1. Set E ( S Y ⊗ F 2 ) as the set of non-zero isotropic classes of S Y ⊗ F 2 . Then

$$\mathcal { E } ( Y ) / \text{ aut} ( Y ) \cong \mathcal { E } ( \overline { \mathcal { P } } _ { Y } ^ { Q } ) / G _ { Y } \cong \mathcal { E } ( S _ { Y } \otimes \mathbb { F } _ { 2 } ) / \overline { G } _ { Y }.$$

In particular, two elliptic fibrations φ 1 , φ 2 of Y with half fibers f 1 and f 2 are isomorphic if and only if their classes f i ∈ S Y ⊗ F 2 lie in the same G Y orbit.

Proof. We have a surjection between E P ( Q Y ) /G 0 and E ( S Y ⊗ F 2 ), which is injective, because both sets have cardinality 527. For the first one see [BP83, p. 397, table], the second one is commonly known see e.g. [Kne02, (13.1)]. The map induces a bijection E P ( Q Y ) /G Y ∼ E = ( S Y ⊗ F 2 ) /G Y because G Y = G /G Y 0 . /square

Let Y 0 be an Enriques surface such that S -= 0 and G X Y 0 | 0 = G 0 X Y 0 | 0 , for instance a very general complex Enriques surface. Then G 0 ∼ = G 0 X Y 0 | 0 = G X Y 0 | 0 ∼ = G Y 0 = aut( Y 0 ) and Nef e Y 0 = P Q Y 0 ([BP83, Section 0] and [Mar19]). By the previous

Theorem 4.3 we obtain a natural map

$$\pi \colon \, { \text{Nef} } ^ { e } _ { Y _ { 0 } } \, / \, \text{aut} ( Y _ { 0 } ) \cong \overline { \mathcal { P } } ^ { Q } _ { Y } / G _ { 0 } \to \overline { \mathcal { P } } ^ { Q } _ { Y } / G _ { Y } \cong { \text{Nef} } ^ { e } _ { Y } \, / \, \text{aut} ( Y )$$

with finite fibers and in the first isomorphism we identify P Q Y with P Q Y 0 by any isometry S Y 0 ∼ = S Y mapping P Q Y 0 to P Q Y .

Definition 5.2. For f ∈ E ( Y ) an elliptic fibration define its ramification degree e f as the cardinality of π -1 ( { f aut( Y ) } ).

Over the complex numbers this can indeed be interpreted as a ramification degree, see Section 8. The ramification degree e f of an elliptic fibration f ∈ E ( Y ) is computed as follows.

Proposition 5.3. Let f be the class of f ∈ E ( Y ) in S Y ⊗ F 2 . Denote by stab( G ,f Y ) its stabiliser in G Y . Then

$$\lambda _ { 1 } \cdot \cdot \cdot \cdot \cdot \cdot \cdot \\ e _ { f } = \# \left ( \overline { f } \cdot \overline { G } _ { Y } \right ) = [ \overline { G } _ { Y } \, \colon \text{stab} ( \overline { G } _ { Y }, \overline { f } ) ]. \\ \mu _ { 1 } \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

Theorem 5.4. The weighted count of isomorphism classes of elliptic fibrations Y → P 1 is 527 . More precisely,

$$5 2 7 = \sum _ { f \in \mathcal { E } ( Y ) / \text{Aut} ( Y ) } e _ { f }.$$

Proof. The order of E P ( Q Y ) /G 0 is 527. The group G Y acts on it. Writing E P ( Q Y ) /G 0 as a disjoint union of its G Y orbits and applying Corollary 4.5 yields the claim. /square

Corollary 5.5. A complex Enriques surface has at most 527 isomorphism classes of elliptic fibrations. This number is attained for a very general Enriques surface.

In what follows we show how to recover the ADE types and multiplicity of the reducible singular fibers of an elliptic fibration from the class f ∈ E ( S Y ⊗ F 2 ) of a half fiber.

Lemma 5.6. Let Φ + ⊆ E 8 be a positive root system and ∆( E 8 ) := { x ∈ E 8 ⊗ F 2 | x / 2 2 = 1 } . We consider the set of roots Φ of E 8 as a graph by joining x, y ∈ Φ with an edge if and only if x.y ≡ 1 mod 2 and similarly for its image Φ in ∆( E 8 ) . Then the natural map Φ + → ∆( E 8 ) is an isomorphism of graphs

Proof. We already know that for Φ + a positive root system, it embeds into E 8 ⊗ F 2 [BS22, Lemma 3.8]. Hence the natural map is injective. Since both sets are of order 120, it is bijective. Moreover, the map is compatible with the bilinear forms defining the edges. Hence it is an isomorphism of graphs. /square

Remark 5.7. To recover the type of a root system from its graph, one first decomposes the graph into its connected components and is thus reduced to considering irreducible root systems only. Now an irreducible root system is uniquely determined by the number of its edges and vertices.

Let ∆( Y ) denote the image of ∆( Y ) in S Y ⊗ F 2 . For f ∈ E ( Y ) we denote by ∆ ( + Y, f ) the image of ∆ + ( Y ) ∩ f ⊥ in f ⊥ / Z f . Recall that ∆ + ( Y, f ) is a positive root system consisting of effective split roots supported on a fiber of f . Its ADEtype is the ADE-type of the reducible singular fibers of f . Denote by ∆( Y, f ) the image of f ⊥ ∩ ∆( Y ) in f ⊥ / F 2 f.

Proposition 5.8. Let f ∈ E ( Y ) . Then the natural map f ⊥ / Z f → f ⊥ / F 2 f induces an isomorphism

$$\Delta ^ { + } ( Y, f ) \rightarrow \overline { \Delta } ( Y, \overline { f } )$$

of graphs. In particular, the connected components of ∆( Y, f ) correspond to the reducible singular fibers of the fibration induced by f , and their ADE-types correspond.

Proof. By Lemma 5.6 the natural map is injective on the positive root system ∆ ( + Y, f ). By the definitions its image is ∆( Y, f ) because ∆( Y ) is the image of ∆( Y ) under reduction mod 2. /square

Recall that an elliptic fibration Y → P 1 of an Enriques surface has exactly two fibers of multiplicity 2. We want to decide whether a reducible fiber is multiple or not in terms of f and ∆( Y ).

Lemma 5.9. Let R ⊆ E 10 be an irreducible root lattice and R ′ = R ⊗ Q ∩ E 10 its primitive closure. Then 6 R ′ ⊆ R .

Proof. Since R ′ is even, R /R ′ is a totally isotropic subgroup of the discriminant group of R (with respect to the discriminant quadratic form). By assumption R is isomorphic to A n ( n ≤ 9); D n (4 ≤ n ≤ 9); E , E , E 6 7 8 . A case by case check reveals that any totally isotropic subgroup T of the discriminant group of R satisfies 2 T = 0 except for A 8 where 3 T = 0. Thus in any case 6 T = 0. /square

Proposition 5.10. Let f ∈ E ( Y ) and C be a connected component of ∆( Y, f ) . Set ψ : f ⊥ → f ⊥ / F 2 f and ∆( C ) := ∆( Y ) ∩ ψ -1 ( C ) . Then the fiber corresponding to C is multiple if and only if f is contained in the F 2 -linear hull of ∆( C ) .

Proof. Let R ⊆ S Y be the lattice generated by the irreducible components of the fiber corresponding to C . Then [ Z f : Z f ∩ R ] ∈ { 1 2 , } and the fiber is multiple if and only if the index is 1. To determine the index, it suffices to check if f ∈ R . Let R ′ = R ⊗ Q ∩ S Y be the primitive closure of R in S Y . Then the linear hull of ∆( C ) is ( R +2 R / R ′ ) 2 ′ . Clearly, if f ∈ R , then f ∈ ( R +2 R / R ′ ) 2 ′ . If conversely f ∈ ( R +2 R / R ′ ) 2 ′ , then we can write f = r +2 r ′ with r ∈ R and r ′ ∈ R ′ . Then 3 f = 3 r +6 r ′ ∈ R +6 R ′ which equals R by Lemma 5.9. Thus f = 3 f -2 f lies in R . /square

## 6. Orbits of nef and big divisors

Here we extend the results on elliptic fibrations to arbitary nef divisors. To this end let O S ( Y , h ) denote the image of O S ( Y , h ) in O S ( Y ⊗ F 2 ). The following theorem lets us count Aut( Y )-orbits of nef polarizations of Y with their ramification degree. We will see in Theorem 9.2 that this terminology is justified over C .

For an element h ∈ S Y we denote by hO S ( Y ) ⊆ S Y its orbit by O S ( Y ). The ramification degree of h ′ = h g ∈ hO S ( Y ) is defined as the index

$$\psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psigma \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \PSi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi\psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \PSigma \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi\PSigma \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psigma \ psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi \psi
r _ { h ^ { \prime } } } = \left [ \overline { G } _ { Y } } _ { \Psi } \colon \overline { G } _ { Y } \cap \overline { g } ^ { - 1 } \overline { O ( S _ { Y }, h ) } \overline { g } ^ { } \right ].$$

Theorem 6.1. Let Y be an Enriques surface and h ∈ S Y with h 2 ≥ 0 . Then there is a bijection

$$\left ( \text{Nef} ( Y ) \cap h O ( S _ { Y } ) \right ) / \text{Aut} ( Y ) \cong \overline { O ( S _ { Y }, h ) } \vee O ( S _ { Y } \otimes \mathbb { F } _ { 2 } ) / \overline { G } _ { Y },$$

and

$$\left [ O ( S _ { Y } \otimes \mathbb { F } _ { 2 } ) \, \colon \overline { O ( S _ { Y }, h ) } \right ] = \sum _ { h ^ { \prime } } r _ { h ^ { \prime } }, \quad \,.$$

where the sum runs over a complete set of representatives of (Nef( Y ) ∩ hO S ( Y )) / Aut( Y ) .

Proof. We use that Nef e ( Y ) / Aut( Y ) ∼ P = Q Y /G Y and that P Q /G 0 → P Q Y /G Y is a quotient by G Y . The statements follow since (Nef( Y ) ∩ hO S ( Y )) is a subset of Nef e ( Y ), by applying the usual formulas for double cosets. /square

Remark 6.2. For Enriques surfaces Y over C , the count of numerical h -quasi polarizations on Y up to isomorphism is also discussed in [CDL24, (5.7.1)]. In our notation their formula is [ O S ( Y ⊗ F 2 ) : 〈 O S ( Y , h ) , aut( S ) 〉 ] . This is in contradiction with our result and [DK24, Table 8.3].

Remark 6.3. There is a unique orbit of primitive elements e ∈ E 10 with e 2 = 0. One can show that O E ( 10 , e ) \ O E ( 10 ⊗ F 2 ) ∼ E = ( E 10 ⊗ F 2 ). This reconciles Theorem 6.1 and Theorem 5.4.

For h ∈ S Y with h 2 &gt; 0, set ∆( Y, h ) = { x ∈ ∆( Y ) | x.h = 0 , x 2 = - } 2 and let ∆( Y, h ) denote its image in S Y ⊗ F 2 . Note that the lattice h ⊥ is negative definite and therefore

$$\Delta ( Y, h ) = \{ r \in h ^ { \perp } \, | \, r ^ { 2 } = - 2, \overline { r } \in \overline { \Delta } ( Y ) \}$$

can be computed by enumerating short vectors in h ⊥ and some linear algebra.

↦

Proposition 6.4. Let Y be an Enriques surface and h ∈ S Y nef and big. Then some multiple of h defines a morphism Y → P n which contracts the set of ( -2) -curves in h ⊥ to ADE singularities. Let R ⊆ h ⊥ be their Z -span and Φ + the set of effective roots of R . Then Φ + → ∆( Y, h , r ) → r is an isomorphism of graphs. In particular, we can recover the ADE type of R .

Proof. By [BS22, Lemma 3.8] Φ + → R/ R 2 is injective. Let δ 1 , . . . δ n be the fundamental root system of Φ + , which forms a basis of R . In particular, each element of Φ + is uniquely determined by its intersections with the δ i mod 2. These are preserved under Φ + → S Y ⊗ F 2 . Hence this map is injective.

For surjectivity note that ∆( Y, h ) is the set of splitting roots whose hyperplanes cut out the (minimal) face of the effective nef cone of Y containing h . Then we have Φ + = ∆( Y, h ) + := ∆ + ( Y ) ∩ h ⊥ /square

## 7. Applications to ( τ, τ ¯) -generic Enriques surfaces

We slightly generalize the definition of a ( τ, τ ¯)-generic Enriques surface in [BS22] and extend it to any characteristic not two.

Let R ⊆ E 10 be a negative definite root lattice. Then the primitive closure R ⊆ E 10 is a negative definite root lattice as well and the O E ( 10 ) orbit of R is uniquely determined by the root types ( τ ( R , τ ) ( R )). There are precisely 184 orbits of negative definite root sublattices of E 10 [BS22, Proposition 1.2].

Let R 2 be a copy of R =: R 1 . Define M R to be the lattice in the quadratic space V = ( E 10 ⊕ R 2 )(2) ⊗ Q generated by E 10 and { ( v, v ) / 2 ∈ V | v ∈ R } . It comes with a natural injection ω R : E 10 → M R which rescales the inner products by 2.

Definition 7.1. An Enriques surface Y over an algebraically closed field of characteristic not 2 is said to be ( τ, τ ¯)-generic if there exists a root sublattice R ⊆ E 10 such that ( τ, τ ¯) = ( τ ( R , τ ) ( R )) and the following hold:

- (1) there exist isometries g : E 10 → S Y and ˜: g M R → S X such that the following diagram commutes.

$$E _ { 1 0 } \stackrel { \omega _ { R } } { \longrightarrow } M _ { R } \\ \Big { \downarrow } ^ { g } S _ { Y } \stackrel { \Big { \uparrow } ^ { g } } { \longrightarrow } S _ { X }$$

- (2) G X Y | is generated by G 0 X Y | and the covering involution /epsilon1 .

Remark 7.2. In [BS22], the definition of a ( τ, τ ¯)-generic complex Enriques surface is slightly more restrictive. There it is required that the group of integral Hodge isometries of the transcendental lattice O T ( X , ω X ) = {± } 1 . This implies our condition (2) in Definition 7.1. Over C , the ( τ, τ ¯)-generic Enriques surfaces have 10 -rk R moduli.

Let Y be a ( τ, τ ¯)-generic Enriques surface. To ease notation, we identify S X and M R via ˜ and g S Y and E 10 via g . We have R 1 ⊆ S Y and R 2 (2) ⊆ S -. Let π -: S X → S -be the orthogonal projection. By [BS22, Lemma 3.5 (1)], π -(2 S X ) = R 2 (2) and S -is the primitive closure of R 2 (2) in S X .

Lemma 7.3. Let Y be a ( τ, τ ¯) -generic Enriques surface and R ⊆ S Y a root lattice of type ( τ, τ ¯) fitting in the commutative diagram from Definition 7.1. Let Φ( R ) be the set of roots of R . Then

- (1) ∆( Y ) is the image Φ( R ) of Φ( R ) under S Y → S Y ⊗ F 2 ;
- (2) Φ( R / ) {± } 1 injects into S Y ⊗ F 2 ;
- (3) G Y is the image of W R ( ) in O S ( Y ⊗ F 2 ) .

Proof.

- (1) By the definitions the elements v ∈ Φ( R ) are splitting roots, indeed ( v, v ) / 2 ∈ S X ∼ = M R . Conversely if s ∈ S Y is a splitting root, then we find v ∈ 2 π -( S X ) = R 2 (2) with v 2 = -4 and ( π ∗ ( s , v ) ) / 2 ∈ S X . Thus (( π ∗ ( s ) -v / ) 2 0) = ( , π ∗ ( s , v ) ) / 2 -( v, v ) / 2 ∈ S X ∩ S ∨ + = S + = π ∗ ( S Y ). This shows that s = v ∈ Φ( R ).
- (2) This follows from [BS22, Lemma 3.8] since R is a negative definite root lattice and R ⊗ F 2 → S Y ⊗ F 2 is injective.
- (3) To warm up note the following: since by (1) the roots of R all split, W R ( ) ⊆ G Y . The other inclusion is harder. Let G X Y | denote the image of G 0 X Y | in the orthogonal group of the discriminant group of S + ⊕ S -, and denote correspondingly G 0 ± , respectively G 0 ± , as the image of G 0 X Y | in O S ( ± ), respectively O S ( ∨ ± /S ± ). By the genericity assumption (2) in Definition 7.1 and since the covering involution /epsilon1 acts trivially on S + , G + = G 0 + . Recall the commutative diagram found in [BS22, equation (3.4)] (adapted to our slightly different notation)

.

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00306v1-figure-1c99ca28-b323-41e0-8d28-48fcea454282.jpg)

Set Φ = { (( r, r ) / 2 ∈ S X | r ∈ Φ + } where Φ + is the set of roots of R 1 ⊆ E 10 and Φ -the ones of R 2 . Then the above diagram restricts to

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00306v1-figure-2ce01dfb-9589-4b2e-9d59-1b71e1c04257.jpg)

.

By the proof of [BS22, Theorem 3.11], G 0 -= W R ( 2 ) = W (Φ -). Now the diagram yields the statement.

/square

Example 7.4. Let Y be an ( A , A 1 1 )-generic Enriques surface. Then S -∼ = A 1 (2), ∆( Y ) consists of a single point, say r . Further G Y ∼ = G -∼ = W A ( 1 ) is of order 2 and generated by the reflection in r . Let f ∈ E ( S Y ⊗ F 2 ). If f ∈ r ⊥ , then f is fixed by G Y and there are 2 8 -1 = 255 such vectors. The corresponding elliptic fibrations have a unique reducible singular fiber C . It is of type ˜ A 1 and multiplicity 1 by Proposition 5.10 since f / ∈ 〈 ∆( C ) 〉 = F 2 r .

The remaining 527 -255 = 2 · 136 isotropic classes come in pairs of two, which is their weight. The corresponding fibrations have no reducible singular fibers.

Example 7.5. Let Y be a (2 A , 1 2 A 1 )-generic Enriques surface. Write E 10 ⊗ F 2 = ⊕ 5 i =1 u i with u i generated by f , e i i and q f ( i ) = q e ( i ) = 0, f .e i i = 1. Set r i = f i + e i . Note that q r ( i ) = 1. Up to a change of basis, we may assume that ∆( Y ) = { r , r 1 2 } and G Y is of order 4 and generated by the reflections in r 1 and r 2 . Write an isotropic vector as f = x + y with x ∈ u 1 ⊕ u 2 and y ∈ u 3 ⊕ u 4 ⊕ u 5 . Note that there are 28 elements in u 3 ⊕ u 4 ⊕ u 5 of square 1, 35 nonzero elements of square 0, and the zero element, giving a total of 28 + 35 + 1 = 64 = 2 6 as expected. We separate cases depending on x .

/negationslash

/negationslash

- (1) x ∈ { 0 , r 1 , r 2 , r 1 + r 2 } and y = 0. There are 126 = 35 + 28 + 28 + 35 choices for f and G Y fixes f . Thus f is of weight 1. We have ∆( Y ) ∩ f ⊥ = { r , r 1 2 } . Further r 1 + f = r 2 because y = 0. Thus ∆( Y, f ) consists of two isolated points and the fibration corresponding to f has two fibers of type A 1 . Since f is not in the linear hull of ∆( Y ), the two fibers reduced.

/negationslash

- (2) x ∈ { e 1 + e 2 + αr 1 + βr 2 | α, β ∈ { 0 1 , }} . There are 4 · 36 choices for f , #( f · G Y ) = 4, ∆( Y ) ∩ f ⊥ = . In particular, the fibrations have weight 4 ∅ and no reducible singular fibers.
- (3) x ∈ { e i + αr 1 + βr 2 | i ∈ { 1 2 , } , α, β ∈ { 0 1 , }} . There are 4 · 64 choices for f and #( f · G Y ) = 2 in each case. The set ∆( Y ) ∩ f ⊥ = { r i } consists of a single point, so does its image ∆( Y, f ). Thus there is a single reducible fiber C and it is of type A 1 . It must be of multiplicity one because f is not contained in the linear hull of Ψ C = { r i } .
- (4) f = r 1 + r 2 . Then #( f · G Y ) = 1 and ∆( Y ) ∩ f ⊥ = { r , r 1 2 } . Since r 1 = f + r 2 , ∆( Y, f ) = { r 1 + F 2 f } ⊆ f ⊥ / F 2 f consists of a single point. Thus there is a single reducible fiber C . It is of type A 1 . Moreover it is multiple because f is in the linear hull of ∆( C ) = { r , r 1 2 } .

As a sanity check we calculate that 126 + 4 · 36 + 4 · 64 + 1 = 527 .

For the next example we recall some notation from [BS22, Section 3]. Let D ± ⊆ S ∨ ± /S ± be the image of S X / S ( + ⊕ S -) under the orthogonal projection. The latter is the graph of the gluing anti-isometry D + ∼ = D -. Set D ⊥ -as the orthogonal of D -in S ∨ -/S -. By [BS22, Theorem 3.4] we have

Example 7.6. Let Y be a general Enriques surface such that S -∼ = [ -4 m ] for m ≥ 1. The case m = 1 corresponds to 1-nodal i.e. ( A , A 1 1 )-generic Enriques

$$& \nu _ { - } \, \Pi \, \chi _ { - } \, \Pi _ { y } \, \{ \Pi \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Smega \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sugar \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Salpha \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sappa \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sphi \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \S alpha \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sig \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigm \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sbeta \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sangle \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigs \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sega \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sage \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sg \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Siga \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Svg \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sgebra \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Spsc \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma \, \Sigma$$

surfaces. Let m ≥ 1. Then S -does not contain any vectors of square 4 and therefore ∆( Y ) is empty as well and the effective nef cone coincides with P Q Y . We claim that G Y = 1. To see this let e be a generator of S -with e 2 = -4 m . Then D -= 1 2 / e and D ⊥ -= 1 (2 / m e ) . Now eq. (4) tells us that elements of G -act trivially on D ⊥ -. The only non trivial isometry of S -is -1. But it does not act trivially on D ⊥ -for m &gt; 1. The claim G Y = 1 is proven. Therefore G Y = G 0 and Aut( Y ) = G 0 is the 2-congruence subgroup of O S ( Y , P Y ). There are precisely 527-elliptic fibrations on Y up to automorphisms.

## 8. Moduli spaces of complex Enriques surfaces

In this section we review the construction of moduli spaces of numerically quasipolarized complex Enriques surfaces [GH16] and extend it to cover the case of nef but not big divisors as well. This allows us to define moduli spaces of elliptic Enriques surfaces. As remarked in [GH16, Remark 2.2] it is not clear whether the spaces we construct represent any moduli-functor. But at least their points are in bijection with isomorphism classes of numerically quasi-polarized complex Enriques surfaces (see theorem 8.5).

Polarizations. A numerically quasi-polarized Enriques surface is a pair ( Y, h ) consisting of an Enriques surface and a nef class h ∈ S Y . If h happens to be ample, this is called a numerical polarization. Note that this includes the case h 2 = 0 and h = 0, which are usually excluded in the literature.

The notion of isomorphism of numerically quasi-polarized Enriques surfaces is the obvious one:

Definition 8.1. Two numerically quasi-polarized Enriques surfaces ( Y , h 1 1 ) and ( Y , h 2 2 ) are said to be isomorphic if there is an isomorphism ψ : Y 1 → Y 2 with ψ ∗ ( h 2 ) = h 1 .

Let Y be an Enriques surface with covering K 3 surface π : X → Y . A marking of Y is an isometry ϕ : S Y ∼ - → E 10 of the numerical lattice of the Enriques surface to the Vinberg lattice E 10 .

Definition 8.2. Let h ∈ E 10 with h 2 ≥ 0. We call ( Y, h ′ ) a numerically h -quasi polarized Enriques surface if for any (and hence every) marking ϕ of Y it holds that ϕ h ( ′ ) ∈ hO E ( 10 ).

A marking ϕ is the same as an isometry ϕ : S Y (2) ∼ - → E 10 (2). The latter lattice has an embedding into the K 3 lattice Λ := U ⊕ 3 ⊕ E ⊕ 2 8 , which is unique up to the action of O (Λ) [Nik79b, Theorem 1.14.4]. We fix once and for all one such embedding and denote by M ⊆ Λ the image and by N = M ⊥ ⊆ Λ. Recall that the pull-back by π induces an isometry S Y (2) = ∼ π ∗ ( S Y ) =: S + with a primitive sublattice S + ⊆ S X ⊆ H 2 ( X, Z ). The marking ϕ can be (non-uniquely) extended to a marking ˜: ϕ H 2 ( X, Z ) ∼ = → Λ of the covering K 3 surface, which maps S -= S ⊥ + ⊆ H 2 ( X, Z ) isometrically into N and S + onto M .

Periods. The Enriques involution acts as -id on the space of global holomorphic 2-forms ω X = H 0 ( K X ) ⊆ H 2 ( X, C ), hence it is mapped to N C by the ( C -linear extension of the) marking ˜ ϕ . Moreover, the Riemann bilinear relations imply that the line ˜ ϕ C ( ω X ) actually lies in

$$\Lambda \text{ accuracy } \text{es in} \\ \Omega _ { N } \coloneqq \left \{ [ x ] \in \mathbb { P } \left ( N _ { \mathbb { C } } \right ) \, | \ x ^ { 2 } = 0, x. \overline { x } > 0 \right \}.$$

We call this point the period of the unpolarized Enriques surface Y with respect to the chosen ϕ .

$$\text{union on hyperplanes } \pi \subseteq \Gamma ( \imath \upsilon _ { \mathbb { C } } ) \colon \\ \mathcal { H } \coloneqq \bigcup _ { r \in N, r ^ { 2 } = - 2 } \mathbb { P } \left ( r ^ { \perp } \right ) = \bigcup _ { r \in N, r ^ { 2 } = - 2 } \left \{ \left [ x \right ] \in \mathbb { P } \left ( N _ { \mathbb { C } } \right ) \ | \ r. x = 0 \right \},$$

˜ However not every point of Ω N is the period of some Enriques surface with respect to some marking. Such points are precisely the complement of a certain union of hyperplanes H ⊆ P ( N C ):

which is obviously stable by the action of O N ( ). Denote by

$$\Omega _ { N } ^ { \circ } = \Omega _ { N } \, \langle \, \mathcal { H }$$

the set of actual periods.

Definition 8.3. The period of the numerically h -quasi polarized Enriques surface ( Y, h ′ ) with respect to ϕ and its extension ϕ is

The moduli spaces. Now we need to find a suitable group G acting on hO E ( 10 ) × Ω ◦ N by identifying two periods if and only if the quasi-polarized Enriques surfaces are isomorphic. It turns out to be the same as eliminating the dependence on the markings ϕ and ˜ ϕ .

$$\text{memo} \, \circ. \, \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{  } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{\text } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text
}$$

Definition 8.4. Let G = O (Λ , M ) be the subgroup of O (Λ) preserving the chosen sublattice E 10 (2) = ∼ M ⊆ Λ (or equivalently its orthogonal complement N = M ⊥ ).

Since M ⊕ N ⊆ Λ is a sublattice of finite index, any isometry in G is uniquely determined by its restrictions g resp. h to M resp. N , which satisfy a compatibility condition (define the same action in the discriminant groups M /M ∨ ∼ = N /N ∨ ). In particular we can identify G with a subgroup of O E ( 10 ) × O N ( ). Thus we also have an action of G on our enriched period domain hO E ( 10 ) × Ω ◦ N .

Theorem 8.5. Let h ∈ E 10 with h 2 ≥ 0 . There is a natural bijection between the set of isomorphism classes of numerically h -quasi-polarized Enriques surfaces and the quotient

$$\mathcal { M } _ { E n, h } \coloneqq \left ( h O ( E _ { 1 0 } ) \times \Omega _ { N } ^ { \circ } \right ) / O \left ( \Lambda, M \right )$$

induced by the period map. We call M En,h the moduli space of numerically h -quasipolarized Enriques surfaces.

Proof. Let ( Y, h ′ ) be a numerically h -quasi polarized Enriques surface. We first show that the G -orbit of its period is independent of the choices of a marking ϕ and its extension ˜ ϕ . Indeed, any two extensions of ϕ differ by an element of { id M } × O /sharp ( N ) ⊆ O (Λ , M ) = G and any two choices of markings differ by an element of O E ( 10 ). Since G → O M ( ) = O E ( 10 ) is surjective, this leads to the same G -orbit.

Now we show that the map from the set of isomorphism classes of numerically h -quasi polarized Enriques surfaces to M En,h which maps ( Y, h ′ ) to the G -orbit of its period is injective. Suppose that ( Y , h 1 ′ 1 ) and ( Y , h 2 ′ 2 ) have the same period, that is, we can find markings ϕ i of Y i , extensions ˜ ϕ i to markings of X i for i = 1 2 and , ˜ g = ( g , g 1 2 ) ∈ G ⊂ O M ( ) × O N ( ) with ˜ ϕ 2 ( h 2 ) ˜ g = ˜ ϕ 1 ( h 1 ) and ˜ ϕ 2 ( ω 2 ) ˜ g = ˜ ϕ 1 ( ω 1 ) where h ′ i = π h ∗ i i and ω i = H 2 0 , ( X i ). Let

$$\cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \\ k \coloneqq \widetilde { \varphi } _ { 1 } ^ { - 1 } \circ \widetilde { g } \circ \widetilde { \varphi } _ { 2 } \colon H ^ { 2 } \left ( X _ { 2 }, \mathbb { Z } \right ) \stackrel { \cong } { \to } H ^ { 2 } \left ( X _ { 1 }, \mathbb { Z } \right ).$$

After replacing ˜ by ( g -g, h ) if necessary, we can assume that k maps the positive cone of X 2 to the positive cone of X 1 . By construction k maps ω 2 to ω 1 and therefore S X 2 to S X 1 . Since ˜ g preserves M k , maps ( S X 2 ) ± to ( S X 1 ) ± . In view of the purely lattice theoretic description of the set of splitting roots in Lemma 3.3, this implies k (∆( Y 2 )) = ∆( Y 1 ). Therefore the image of the ample cone of Y 2 is a ∆( Y 1 )-chamber of the positive cone of Y 1 . By Lemma 4.2 we find an element α of the Weyl group W h ( 2 ) ⊆ W Y ( 2 ) such that ϕ -1 1 ◦ g ◦ ϕ 2 ◦ α maps the ample cone of Y 2 to the ample cone of Y 1 . By Proposition 3.7 the map G X Y 2 | 2 → G Y 2 ⊇ W Y ( 2 ) is surjective. Therefore we can lift α to a Hodge isometry ˜ of α H 2 ( X , 2 Z ) preserving ( S X 2 ) ± . By construction k ◦ ˜ is an effective Hodge isometry. By the strong Torelli α theorem there is an isomorphism ˜ ψ : X 1 → X 2 with ˜ ψ ∗ = k ◦ ˜. α Since ˜ ψ ∗ maps ( S X 2 ) + to ( S X 1 ) + , ψ is compatible with the covering involutions, hence it descends to an isomorphism ψ : Y 1 → Y 2 of the Enriques surfaces. By construction

This shows ( Y , h 1 1 ) ∼ ( Y , h 2 2

$$\text{$a$ isomorphism $\psi$. $i_{1} \to i_{2}$ or one implies surfaces. $Dy$ construction} \\ \psi ^ { * } ( h _ { 2 } ) = k \left ( \tilde { \alpha } \left ( h _ { 2 } \right ) \right ) = k \left ( h _ { 2 } \right ) = \left ( \widetilde { \varphi } _ { 1 } ^ { - 1 } \circ \widetilde { g } \circ \widetilde { \varphi } _ { 2 } \right ) \left ( h _ { 2 } \right ) = h _ { 1 }. \\ \text{$s shows $(Y_{1},h_{1}) \sim $(Y_{2},h_{2})$}. \\ _ { - } \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \.$$

For the surjectivity: Let ( h , v ) ∈ O M h ( ) × Ω N . Then there is a marked Enriques surface ( Y, ϕ ) with

). ′ ◦

$$v = ( \widetilde { \varphi } ) _ { \mathbb { C } } \left ( H ^ { 2, 0 } ( X ) \right ), \\ - \varphi ), \, \underbrace { \varphi ^ { - 1 } \, ( h ^ { \prime } ) \, \in \, S _ { Y } \text{ is a cla} \colon \\. \,. \,. \,........................................................................................................................................................................................................$$

/square and (up to replacing ϕ by -ϕ ), ϕ -1 ( h ′ ) ∈ S Y is a class in the positive cone, but not necessarily nef. It is however contained in the closure of some ∆( Y )-chamber C . By Proposition 3.8, we find an element α of the Weyl group W Y ( ) with α C ( ) the ample cone of Y . Set ϕ ′ := ϕ ◦ α -1 . Then h ′′ = ϕ ′-1 ( h ′ ) = α ϕ ( -1 ( h ′ ) ) is nef, so ( Y, h ′′ ) is a numerically h -quasi-polarized Enriques surface with period ( h , v ′ ) via the markings ϕ ′ and ˜ ϕ ′ = ˜ ϕ ◦ ˜ α for a suitable extension of α to H 2 ( X, Z ).

Remark 8.6. Our construction can be reconciled with the conventional construction of the moduli spaces M En,h in [GH16] as follows. First of all one fixes h ∈ E 10 and a connected component D N of Ω ◦ N . Denote by Γ h the image of O (Λ , M, h ) → O N ( ). For each orbit ( h , ω ′ ) G choose g ∈ G with ( h ′ ) g = h and ω g ∈ D N . It is well defined up to the action of the joint stabiliser O (Λ , M, h, D N ) of h and D N in G . Let Γ + h be its image in O N ( ). This gives isomorphisms

$$\mathcal { M } _ { E n, h } \coloneqq ( O ( E _ { 1 0 } ) h \times \Omega _ { N } ^ { \circ } ) / G \cong \Omega _ { N } ^ { \circ } / \Gamma _ { h } \cong \mathcal { D } _ { N } / \Gamma _ { h } ^ { + }.$$

Since O /sharp ( N, D N ) ⊆ Γ , h the latter is an arithmetic subgroup of O N, ( D N ) and therefore the quotient D N / Γ h a 10-dimensional quasi projective normal variety [BB66] - even for h 2 = 0 or h = 0.

## 9. Forgetful maps between moduli spaces of Enriques surfaces

Let v ∈ E 10 be a Weyl vector as defined in Section 2.1. Recall that its stabiliser in O E ( 10 ) is trivial. Therefore O (Λ , M, v ) = { id M }× O /sharp ( N ) and thus Γ v = O /sharp ( N ). Fix h ∈ E 10 with h 2 ≥ 0. Considering the groups

$$O ^ { \# } ( N ) = \Gamma _ { w } \subseteq \Gamma _ { h } \subseteq \Gamma _ { 0 } = O ( N ),$$

we see that there are finite ramified coverings of normal quasi-projective varieties:

$$\mathcal { M } _ { E n, v } \xrightarrow { \mathcal { P } _ { h } ^ { v } } \mathcal { M } _ { E n, h } \xrightarrow { \mathcal { P } _ { 0 } ^ { h } } \rightarrow \mathcal { M } _ { E n, 0 }$$

The definition of Γ h depends on the choice of h in its O E ( 10 )-orbit. Different choices give conjugate groups and thus different maps P v h and P h 0 . They fit in the obvious commutative diagram. See remark 9.5 for the modular interpretation of P w h .

The map P h 0 has the modular interpretation of sending a (family of) numerically h -quasi-polarized Enriques surfaces ( Y, h ′ ) to the unpolarized (family) ( Y, 0). With the identification M En, 0 = ( { 0 } × Ω ◦ N ) /G ∼ = Ω ◦ N /O N ( ) =: M En we have

↦

$$\mathcal { P } _ { 0 } ^ { h } \colon \mathcal { M } _ { E n, h } \to \mathcal { M } _ { E n }, \ \ ( h ^ { \prime \prime }, \omega ) G \mapsto O ( N ) \omega.$$

We are interested in the degree, the ramification locus and the ramification degrees of the map P h 0 .

A ramified cover is a finite, surjective, proper holomorphic map π : X → Y between connected, normal complex spaces. By the discussion in [BHPVdV04, Chapter I Section 16] any point in x ∈ X has a local degree e x also called ramification degree of π at x .

Lemma 9.1. Let X be a normal complex space and H ≤ G finite groups acting faithfully on X such that the canonical projections

$$X \stackrel { \alpha } { \rightarrow } X / H \stackrel { \beta } { \rightarrow } X / G$$

are morphisms of quasi-projective varieties. Let x ∈ X .

- (1) The degrees are deg α = # H , deg β = [ G : H ] and deg( β ◦ α ) = # G
- (2) The (reduced) fiber over Gx is in bijection with the double coset

$$\beta ^ { - 1 } ( G x ) \cong x \text{stab} ( G, x ) \langle G / H.$$

- (3) The ramification degrees of α , β ◦ α at x and β at α x ( ) are given by

$$e _ { x } ( \alpha ) = \# \text{stab} ( H, x ), \ \ e _ { x } ( \beta \circ \alpha ) = \# \text{stab} ( G, x )$$

$$e _ { \alpha ( x ) } ( \beta ) = \left [ \text{stab} ( G, x ) \, \colon \text{stab} ( H, x ) \right ].$$

Proof. 1) We have # G = deg( β ◦ α ) = deg α · deg β = # H deg β .

- 2) The double coset gives the decomposition of Gx into H -orbits.
- 3) Since H acts transitively on the fiber of α over α x ( ), each point of the fiber has the same ramification degree m = e x . Now

$$\deg \alpha = \# H = m \cdot \# H x = m [ H \colon \text{stab} ( H, x ) ].$$

Thus e x = m = #stab( H,x ). The same argument works for β ◦ α .

Let X ′ be a sufficiently small open neighborhood of x such that e x ( α ◦ β ) = deg( β ◦ α | X ′ ), G ′ = stab( G,x ) and H ′ = stab( H,x ). Let α , β ′ ′ be the corresponding restrictions of α and β . Note that the fiber of β ′ ◦ α ′ over β ′ ◦ α ′ ( x ) consists of a single point. Therefore e x α = deg α ′ , e x ( β ◦ α ) = deg( β ′ ◦ α ′ ) and e α x ( ) ( β ) = deg β ′ . Now the claim follows with (1) applied to α ′ , β ′ and β ′ ◦ α ′ . /square

Recall that O E ( 10 , h ) denotes the stabilizer of h ∈ E 10 in O E ( 10 ). Set

$$\overline { O ( E _ { 1 0 }, h ) } \coloneqq \text{im} ( O ( E _ { 1 0 }, h ) \rightarrow O ( E _ { 1 0 } \otimes \mathbb { F } _ { 2 } ) ).$$

Theorem 9.2. Let h ∈ E 10 with h 2 ≥ 0 . Consider the finite covering

$$\mathcal { P } _ { 0 } ^ { h } \colon \mathcal { M } _ { E n, h } \rightarrow \mathcal { M } _ { E n }.$$

The following hold.

- (1) The degree of P h 0 is given by

$$\lambda ^ { \prime } \, \Phi _ { 0 } \, \lambda ^ { \prime } \, \Psi _ { \Psi } \, \Psi _ { 0 } ^ { h } & = \left [ O ( E _ { 1 0 } \otimes \mathbb { F } _ { 2 } ) \, \colon \overline { O ( E _ { 1 0 }, h ) } \right ].$$

- (2) The fiber of P h 0 over the (unpolarized) Enriques surface Y is

$$\ell _ { 0 } ^ { \nu } \right ) ^ { - 1 } ( [ Y, 0 ] ) & \cong \overline { O ( S _ { Y }, h ) } \langle O ( S _ { Y } \otimes \mathbb { F } _ { 2 } ) / \overline { G } _ { Y }. \\ \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \delta \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \cdots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots\omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \omega \dots \ome� \omega \dots \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \delta \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \omega \dots \ome� \hat { \nu }$$

In particular, the number of numerical h -quasi polarizations on Y up to isomorphism, i.e. up to aut( Y ) is # ( O E 10 ⊗ F 2 ) / # 〈 O E ( 10 , h ) , G Y 〉 .

$$\Lambda \times \Lambda _ { J } \, \varphi _ { 0 } \, \omega _ { V } \, \omega _ { P } \, \omega _ { \omega _ { V } } \, [ \varphi _ { \omega _ { P } } \,, \omega _ { J } \, \omega _ { V } \, \omega _ { V } \, ] \\ \left [ \, & \overline { G } _ { Y } \, \colon \overline { G } _ { Y } \cap \overline { O ( S _ { Y }, h ^ { \prime } ) } \right ].$$

- (3) The ramification degree of P h 0 at a point [ h , ω ′ ] in the fiber over [ Y ] is given by

Proof. Recall that for a fixed h we have a commutative diagram

$$\begin{array} { c } \cdot & \\ \mathcal { M } _ { E n, h } = ( h O ( E _ { 1 0 } ) \times \Omega _ { N } ^ { \circ } ) / G \xrightarrow { \sim } \Omega _ { N } ^ { \circ } / \Gamma _ { h } \\ \vdots & \vdots & \mathcal { M } _ { E n } ^ { h } = \Omega _ { N } ^ { \circ } / O ( N ) \end{array}$$

↦

and the horizontal isomorphism is given by ( h , ω ′ ) G → ω ′ Γ h where ω ′ is defined by ( h, ω ′ ) ∈ ( h , ω ′ ) G .

- 1) We work on the side of π and apply Lemma 9.1 in the situation that X = M En,w ∼ = Ω ◦ N / O /sharp ( N ), H = Γ h ∼ = O E ( 10 , h ), G = Γ 0 ∼ = O E ( 10 ⊗ F 2 ), α = P w h , β = P h 0 .
- 2) We work directly with P h 0 . Let ω be any period of Y and G ω be the image of O (Λ , M, ω ) → O E ( 10 ). The fiber is thus given by ( h, ω ) O (Λ , M, ω ) = ( hO E ( 10 ) ×{ } ω ) /G ω . A marking gives identifications E 10 ∼ = S Y and G ω ∼ = G Y . By Proposition 3.10 we know O /sharp ( S Y (2)) ⊆ G Y and hence

$$\Pi _ { 0 } \, \text{we know} \, \mathcal { U } ( \mathcal { S } _ { Y } ( \overline { 4 } ) ) & \leqq \mathcal { Y } \text{ and hence} \\ \left ( \mathcal { P } _ { 0 } ^ { h } \right ) ^ { - 1 } ( [ Y ] ) \ \cong \ \ h O ( S _ { Y } ) / G _ { Y } \\ & \cong \ \ O ( S _ { Y }, h ) \langle O ( S _ { Y } ) / G _ { Y } \\ & \cong \ \overline { O ( S _ { Y }, h ) } \langle O ( S _ { Y } \otimes \mathbb { F } _ { 2 } ) / \overline { G } _ { Y } \\. \ \. \ \. \. \. \. \. \. \. \. \. \. \. \. \.$$

3) We work on the side of π again and invoke Lemma 9.1. Translating to our situation let ω be the period of Y (with respect to some markings) and ωg 2 Γ h a point in the fiber of π over Γ 0 ω where g 2 ∈ Γ . 0 Denote [ ω ] := ω O /sharp ( N ). By the lemma the ramification degree is

$$[ \text{stab} ( \overline { \Gamma } _ { 0 }, [ \omega ] ) \, \colon \text{stab} ( \overline { \Gamma } _ { 0 }, [ \omega ] ) \cap \overline { g } _ { 2 } ^ { - 1 } \overline { \Gamma } _ { h } \overline { g } _ { 2 } ]$$

Using the isomorphism E 10 ⊗ F 2 ∼ = M /M ∨ ∼ = N /N ∨ , we can transport everything to E 10 which we identify with S Y via the marking. Then stab(Γ 0 , [ ω ]) = ∼ G Y and Γ h ∼ = O E ( 10 , h ). Let g 1 ∈ O E ( 10 ) such that ˜ = ( g g , g 1 2 ) ∈ G and set h ′ = hg -1 1 . Then ( h , ω ′ )˜ = ( g h, ωg 2 ). Now g -1 2 Γ h g 2 ∼ = g -1 1 O E ( 10 , h ) g 1 = O E ( 10 , h ′ ) = O S ( Y , h ′ ). /square

Remark 9.3. In [DK24, Table 8.3] Dolgachev and Kondo list the degrees, orbits and numbers r ′ i for general 1-nodal Enriques surfaces. They remark that the weighted sum of the orbits with weights r ′ i adds up to the total degree of the map. They speculate that the r ′ i should be the ramification degrees r i of M En,h →M En . Theorem 9.2 confirms this.

9.1. Weyl polarizations. Recall that the projectivization of the positive cone P Y is a 9-dimensional hyperbolic space P Y / R + = H 9 which comes with a hyperbolic metric and a volume. The hyperbolic volume of a cone C in P Y is defined as the volume of its projectivization C/ R + ⊆ H 9 .

Theorem 9.4. Let ( Y, W ) be a numerically Weyl quasi-polarized complex Enriques surface.

- (1) The ramification degree of [( Y, W )] under the map P v 0 : M En,v → M En, 0 is given by /sharpG Y .
- (2) The hyperbolic volume of the fundamental domain of aut Y on Nef( Y ) is given by

where 1 Vin is the hyperbolic volume of a Vinberg chamber and 1 BP the hyperbolic volume of Nef( Y 0 ) / aut( Y 0 ) for Y 0 a general Enriques surface.

$$& \ y v e n { \ v y } \\ & \quad \# ( \mathcal { P } _ { 0 } ^ { v } ) ^ { - 1 } ( [ Y ] ) 1 _ { V \sin } = \left [ O ( S _ { Y } \otimes \mathbb { F } _ { 2 } ) \colon \overline { G } _ { Y } \right ] 1 _ { V \sin } = 1 _ { \text{BP} } / \# \overline { G } _ { Y } \\ & \quad \text{thomas 1} \dots \text{ is a human-halo and 1} \dots \text{ $tho 1$}$$

Proof. For the Weyl vector v we have O E ( 10 , v ) = 1 and therefore the formulas simplify. 1) Follows directly from Theorem 9.2. 2) The fundamental domain of aut( Y ) on Nef( Y ) tesselated by Vinberg chambers. Their number is given by the cardinality of the fiber of P v 0 over [ Y ] which is [ O E ( 10 ⊗ F 2 ) : G Y ]. Finally, for a general Enrique surface G Y 0 = 1 is trivial; hence 1 BP = # O S ( Y ⊗ F 2 )1 Vin . /square

Remark 9.5. Let h ∈ E 10 with h 2 &gt; 0 and v ∈ E 10 a fixed Weyl vector. We can give a modular interpretation of the map

$$\mathcal { P } _ { h } ^ { v } \colon \mathcal { M } _ { E n, v } \rightarrow \mathcal { M } _ { E n, h }$$

as follows. Recall from Section 2.1 that the Weyl vector v corresponds to a fundamental root system { e , . . . e 1 10 } = { e ∈ E 10 | e 2 = -2 , e.v = 1 , which forms an } E 10 diagram.

Let ( Y, W ) be a Weyl polarized Enriques surface. Then

$$\{ e \in S _ { Y } \ | \ e ^ { 2 } = - 2, e. W = 1 \} = \{ e ^ { \prime } _ { 1 }, \dots e ^ { \prime } _ { 1 0 } \}$$

↦

↦

is an E 10 diagram and the labels are uniquely determined as in Figure 1. Thus e ′ i → e i defines an isomorphism φ W : S Y → E 10 . It satisfies φ W ( W ) = v .

Choose and fix h ′ in O E ( 10 ) h ∩ C v ( ) and map ( Y, W ) → ( Y, H ) with H := Φ -1 W ( h ′ ). Since H ∈ φ -1 W ( C v ( )) is contained in the nef cone of Y , ( Y, H ) is indeed numerically h -quasi-polarized. If we choose another h ′′ ∈ O E ( 10 ) h ∩ C w ( ), then we get a different map. This is in accordance with the maps P v h depending on the choice of h and different choices lead to different (but conjugate) groups Γ h ′ .

Remark 9.6. The previous construction works in families and in positive characteristic as well. Hence it should give a morphism of the moduli stacks of numerically quasi-polarized Enriques surfaces similar to the situation over C :

$$\mathcal { M } _ { E n, v } \rightarrow \mathcal { M } _ { E n, h } \rightarrow \mathcal { M } _ { E n, 0 }.$$

It is not clear to us whether the first map P v h can be interpreted as Galois covers. On the level of isomorphism classes, one can define a pointwise group action of S = O E ( 10 ⊗ F 2 ) on M En,w such that [ Y, W ] and [ Y , W ′ ′ ] are in the same S orbit if and only if [ Y ] = [ Y ′ ]. However this does not seem to work in families because our construction of the group action involves the Weyl group W Y ( ) of Y , which can vary wildly in families.

## References

| [BB66]     | W. L. Baily, Jr. and A. Borel. Compactification of arithmetic quotients of bounded symmetric domains. Ann. of Math. (2) , 84:442-528, 1966.                                                                                               |
|------------|-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [BHPVdV04] | Wolf P. Barth, Klaus Hulek, Chris A. M. Peters, and Antonius Van de Ven. Compact complex surfaces , volume 4. Springer-Verlag, Berlin, second edition, 2004.                                                                              |
| [BL19]     | Daniel Bragg and Max Lieblich. Twistor spaces for supersingular k3 surfaces. https://arxiv.org/abs/1804.07282 , 2019.                                                                                                                     |
| [BP83]     | W. Barth and C. Peters. Automorphisms of Enriques surfaces. Invent. Math. , 73(3):383-411, 1983.                                                                                                                                          |
| [BS22]     | Simon Brandhorst and Ichiro Shimada. Automorphism groups of certain Enriques surfaces. Found. Comput. Math. , 22(5):1463-1512, 2022.                                                                                                      |
| [CD85]     | F. Cossec and I. Dolgachev. On automorphisms of nodal Enriques surfaces. Bulletin (New Series) of the American Mathematical Society , 12(2):247 - 249, 1985.                                                                              |
| [CDGK23]   | Ciro Ciliberto, Thomas Dedieu, Concettina Galati, and Andreas Leopold Knut- sen. Irreducible unirational and uniruled components of moduli spaces of polarized                                                                            |
| [CDL24]    | Enriques surfaces. Math. Z. , 303(3):Paper No. 73, 34, 2023. Fran¸ois c Cossec, Igor Dolgachev, and Christian Liedtke. Enriques Surfaces I. https://dept.math.lsa.umich.edu/ ~ idolga/EnriquesOne.pdf , 2024.                             |
| [DEF + 24] | Wolfram Decker, Christian Eder, Claus Fieker, Max Horn, and Michael Joswig, edi- tors. The Computer Algebra System OSCAR: Algorithms and Examples , volume 32 of Algorithms and Computation in Mathematics . Springer, 1 edition, 8 2024. |
| [DK24]     | Igor Dolgachev and Shigeyuki Kodo. Enriques Surfaces II . Springer Nature, April 19th 2024. https://dept.math.lsa.umich.edu/ ~ idolga/EnriquesTwo.pdf .                                                                                   |
| [DM19]     | Igor Dolgachev and Gebhard Martin. Numerically trivial automorphisms of En- riques surfaces in characteristic 2. J. Math. Soc. Japan , 71(4):1181-1200, 2019.                                                                             |
| [DSH24]    | Mathieu Dutour-Sikiri´ c and Klaus Hulek. Moduli of polarised Enriques surfaces - computational aspects. J. Lond. Math. Soc., II. Ser. , 109(1):32, 2024. Id/No e12828.                                                                   |
| [GH16]     | V. Gritsenko and K. Hulek. Moduli of polarized Enriques surfaces. In K3 surfaces and their moduli , volume 315 of Progr. Math. , pages 55-72. Birkh¨user/Springer, a [Cham], 2016.                                                        |
| [Huy16]    | Daniel Huybrechts. Lectures on K3 surfaces , volume 158 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2016.                                                                                       |
| [Jan16]    | Junmyong Jang. The representations of the automorphism groups and the Frobenius invariants of K3 surfaces. Michigan Math. J. , 65(1):147-163, 2016.                                                                                       |
| [Kne02]    | Martin Kneser. Quadratische Formen . Springer-Verlag, Berlin, 2002. Revised and edited in collaboration with Rudolf Scharlau.                                                                                                             |
| [Knu20]    | Andreas Leopold Knutsen. On moduli spaces of polarized Enriques surfaces. J. Math. Pures Appl. (9) , 144:106-136, 2020.                                                                                                                   |
| [LM18]     | Max Lieblich and Davesh Maulik. A note on the cone conjecture for K3 surfaces in positive characteristic. Math. Res. Lett. , 25(6):1879-1891, 2018.                                                                                       |
| [Mar19]    | Gebhard Martin. Automorphisms of unnodal Enriques surfaces, 2019.                                                                                                                                                                         |
| [MN84]     | Shigeru Mukai and Yukihiko Namikawa. Automorphisms of Enriques surfaces which act trivially on the cohomology groups. Invent. Math. , 77(3):383-397, 1984.                                                                                |
| [Nik79a]   | V. V. Nikulin. Finite groups of automorphisms of K¨hlerian a K 3 surfaces. Trudy Moskov. Mat. Obshch. , 38:75-137, 1979.                                                                                                                  |
| [Nik79b]   | V. V. Nikulin. Integer symmetric bilinear forms and some of their geometric appli- cations. Izv. Akad. Nauk SSSR Ser. Mat. , 43(1):111-177, 238, 1979.                                                                                    |
| [Ogu83]    | Arthur Ogus. A crystalline Torelli theorem for supersingular K3 surfaces. In Arith- metic and geometry, Vol. II , volume 36 of Progr. Math. , pages 361-394. Birkh¨user a Boston, Boston, MA, 1983.                                       |
| [OSC24]    | Oscar - open source computer algebra research system, version 1.1.1. https://www.oscar-system.org , 2024.                                                                                                                                 |
| [Shi15]    | Ichiro Shimada. An algorithm to compute automorphism groups of K 3 surfaces and an application to singular K 3 surfaces. Int. Math. Res. Not. IMRN , (22):11961- 12014, 2015.                                                             |
| [Vin75]    | ` E. B. Vinberg. Some arithmetical discrete groups in Lobaˇevski˘ c ı spaces. In Discrete                                                                                                                                                 |

Table 1. O E ( 10 ) - orbits of vectors

|   h 2 | φ ( h )   | [ O ( E 10 ⊗ F 2 ) : O ( E 10 , h )]   |
|-------|-----------|----------------------------------------|
|     0 | -         | 17 · 31                                |
|     2 | 1         | 2 7 · 17 · 31                          |
|     4 | 1         | 2 8 · 17 · 31                          |
|     4 | 2         | 2 6 · 3 · 5 · 17 · 31                  |
|     6 | 1         | 2 8 · 17 · 31                          |
|     6 | 2         | 2 10 · 5 · 17 · 31                     |
|     8 | 1         | 2 8 · 17 · 31                          |
|     8 | 2         | 2 7 · 3 3 · 5 · 17 · 31                |
|    10 | 1         | 2 8 · 17 · 31                          |
|    10 | 2         | 2 10 · 3 · 5 · 17 · 31                 |
|    10 | 3         | 2 13 · 3 · 17 · 31                     |

1973) , volume No. 7 of Tata Inst. Fundam. Res. Stud. Math. , pages 323-348. Published for the Tata Institute of Fundamental Research, Bombay by Oxford University Press, Bombay, 1975.

## 10. Appendix: Tables

The following tables give examples for the ramification indices r h as in Theorem 9.2. The data was generated with the help of the computer algebra system OSCAR [OSC24, DEF + 24].

/negationslash

There are 1,2,2,2,3 O E ( 10 )-orbits of primitive vectors h ∈ E 10 with h 2 = 2 4 6 8 10. , , , , For fixed h 2 they are distinguished by their φ -invariant φ h ( ) := min { h.f | 0 = f ∈ E 10 , f 2 = 0 . See Table 1 }

Table 3: Aut( Y )-orbits on ( E , E 8 8 )-generic Enriques surfaces

| h 2   | φ ( h )   | singularities   |   number of Aut( Y )-orbits |   r h |
|-------|-----------|-----------------|-----------------------------|-------|
| 2     | 1         | D 8             |                           2 |   135 |
|       |           | D 8             |                           1 |  8640 |
|       |           | D 8             |                           1 |  9450 |
|       |           | E 7 A 1         |                           2 |   120 |
|       |           | E 7 A 1         |                           1 |  3360 |
|       |           | E 7 A 1         |                           3 |  4320 |
|       |           | E 7 A 1         |                           2 |  7560 |
|       |           | E 7 A 1         |                           2 |  8640 |
|       |           | E 8             |                           1 |     1 |
|       |           | E 8             |                           1 |   135 |
| 4     | 2         | D 8             |                           1 |  1080 |
|       |           | D 8             |                           2 |  7560 |
|       |           | D 8             |                           2 |  8640 |

| h 2   | φ ( h )   | singularities   |   number of Aut( Y )-orbits |    r h |
|-------|-----------|-----------------|-----------------------------|--------|
|       |           | D 8             |                           1 |  37800 |
|       |           | D 8             |                           1 |  75600 |
|       |           | D 8             |                           2 | 120960 |
|       |           | E 7 A 1         |                           1 |  34560 |
|       |           | E 7 A 1         |                           1 |  80640 |
|       |           | E 8             |                           2 |    960 |
| 6     | 2         | D 8             |                           1 |   8640 |
|       |           | D 8             |                           1 |  30240 |
|       |           | D 8             |                           2 | 120960 |
|       |           | D 8             |                           1 | 151200 |
|       |           | D 8             |                           1 | 302400 |
|       |           | E 7 A 1         |                           1 |    120 |
|       |           | E 7 A 1         |                           2 |   3360 |
|       |           | E 7 A 1         |                           2 |   4320 |
|       |           | E 7 A 1         |                           3 |   7560 |
|       |           | E 7 A 1         |                           3 |  40320 |
|       |           | E 7 A 1         |                           2 |  90720 |
|       |           | E 7 A 1         |                           5 | 120960 |
|       |           | E 7 A 1         |                           2 | 151200 |
|       |           | E 7 A 1         |                           1 | 226800 |
|       |           | E 7 A 1         |                           2 | 241920 |
|       |           | E 8             |                           1 |   1120 |
|       |           | E 8             |                           1 |   4320 |
| 8     | 2         | D 8             |                           2 |   1080 |
|       |           | D 8             |                           2 |   7560 |
|       |           | D 8             |                           6 |   8640 |
|       |           | D 8             |                           4 |  69120 |
|       |           | D 8             |                           4 |  75600 |
|       |           | D 8             |                           2 | 241920 |
|       |           | D 8             |                           2 | 302400 |
|       |           | D 8             |                           2 | 453600 |
|       |           | D 8             |                           4 | 483840 |
|       |           | D 8             |                           4 | 604800 |
|       |           | E 7 A 1         |                           1 |  15120 |
|       |           | E 7 A 1         |                           2 |  45360 |
|       |           | E 7 A 1         |                           2 |  69120 |

| h 2   | φ ( h )   | singularities   |   number of Aut( Y )-orbits |     r h |
|-------|-----------|-----------------|-----------------------------|---------|
|       |           | E 7 A 1         |                           1 |  151200 |
|       |           | E 7 A 1         |                           1 |  226800 |
|       |           | E 7 A 1         |                           2 |  241920 |
|       |           | E 7 A 1         |                           2 |  483840 |
|       |           | E 8             |                           2 |    1080 |
|       |           | E 8             |                           2 |    7560 |
|       |           | E 8             |                           2 |    8640 |
| 10    | 3         | D 8             |                           2 |    8640 |
|       |           | D 8             |                           4 |  120960 |
|       |           | D 8             |                           1 |  604800 |
|       |           | D 8             |                           1 | 2419200 |
|       |           | E 7 A 1         |                           4 |   34560 |
|       |           | E 7 A 1         |                           1 |   69120 |
|       |           | E 7 A 1         |                           4 |   80640 |
|       |           | E 7 A 1         |                           4 |  241920 |
|       |           | E 7 A 1         |                           3 |  483840 |
|       |           | E 7 A 1         |                           4 | 1209600 |
|       |           | E 7 A 1         |                           1 | 1612800 |
|       |           | E 8             |                           2 |     960 |
|       |           | E 8             |                           1 |   24192 |

Table 4: Aut( Y )-orbits on ( A , A 2 2 )-generic Enriques surfaces

| h 2   | φ ( h )   | singularities   |   number of Aut( Y )-orbits |   r h |
|-------|-----------|-----------------|-----------------------------|-------|
| 2     |           | A 1             |                        7752 |     3 |
|       |           | A 1             |                        4284 |     6 |
|       |           | A 2             |                        3808 |     1 |
|       |           | A 2             |                        4896 |     3 |
| 4     |           | A 1             |                       39168 |     3 |
|       |           | A 1             |                       45696 |     6 |
|       |           | A 2             |                        8568 |     1 |
|       |           | A 2             |                       25704 |     3 |
|       |           | A 2             |                        4760 |     6 |
| 6     |           | A 1             |                      172992 |     3 |
|       |           | A 1             |                      239904 |     6 |
|       |           | A 2             |                       45832 |     1 |

| h 2   | φ ( h )   | singularities   |   number of Aut( Y )-orbits |   r h |
|-------|-----------|-----------------|-----------------------------|-------|
|       |           | A 2             |                      145656 |     3 |
|       |           | A 2             |                       42840 |     6 |
| 8     |           | A 1             |                      548352 |     3 |
|       |           | A 1             |                      900864 |     6 |
|       |           | A 2             |                      102816 |     1 |
|       |           | A 2             |                      376992 |     3 |
|       |           | A 2             |                      137088 |     6 |
| 10    |           | A 1             |                      548352 |     3 |
|       |           | A 1             |                     1292544 |     6 |
|       |           | A 2             |                       78336 |     1 |
|       |           | A 2             |                      548352 |     3 |
|       |           | A 2             |                      304640 |     6 |

Table 5: Aut( Y )-orbits on (3 A , 1 3 A 1 )-generic Enriques surfaces

| h 2   | singularities   |   number of Aut( Y )-orbits |   r h |
|-------|-----------------|-----------------------------|-------|
| 2     |                 |                         816 |     8 |
|       | A 1             |                        3072 |     4 |
|       | A 1             |                        1728 |     8 |
|       | A 1 A 1         |                        3072 |     2 |
|       | A 1 A 1         |                        3072 |     4 |
|       | A 1 A 1         |                         960 |     8 |
|       | A 1 A 1 A 1     |                        1056 |     1 |
|       | A 1 A 1 A 1     |                        1584 |     2 |
|       | A 1 A 1 A 1     |                         760 |     4 |
|       | A 1 A 1 A 1     |                         180 |     8 |
| 4     |                 |                        9600 |     8 |
|       | A 1             |                       13824 |     4 |
|       | A 1             |                       16128 |     8 |
|       | A 1 A 1         |                        9216 |     2 |
|       | A 1 A 1         |                       18432 |     4 |
|       | A 1 A 1         |                       11520 |     8 |
|       | A 1 A 1 A 1     |                        2208 |     1 |
|       | A 1 A 1 A 1     |                        6336 |     2 |
|       | A 1 A 1 A 1     |                        6120 |     4 |
|       | A 1 A 1 A 1     |                        2640 |     8 |

| h 2   | φ ( h )   | singularities   |   number of Aut( Y )-orbits |   r h |
|-------|-----------|-----------------|-----------------------------|-------|
| 6     |           |                 |                       32640 |     8 |
|       |           | A 1             |                       67584 |     4 |
|       |           | A 1             |                       96768 |     8 |
|       |           | A 1 A 1         |                       36864 |     2 |
|       |           | A 1 A 1         |                       98304 |     4 |
|       |           | A 1 A 1         |                       72192 |     8 |
|       |           | A 1 A 1 A 1     |                        8192 |     1 |
|       |           | A 1 A 1 A 1     |                       27648 |     2 |
|       |           | A 1 A 1 A 1     |                       37056 |     4 |
|       |           | A 1 A 1 A 1     |                       17056 |     8 |
| 8     |           |                 |                      172800 |     8 |
|       |           | A 1             |                      193536 |     4 |
|       |           | A 1             |                      317952 |     8 |
|       |           | A 1 A 1         |                       95232 |     2 |
|       |           | A 1 A 1         |                      293376 |     4 |
|       |           | A 1 A 1         |                      244224 |     8 |
|       |           | A 1 A 1 A 1     |                       14400 |     1 |
|       |           | A 1 A 1 A 1     |                       72192 |     2 |
|       |           | A 1 A 1 A 1     |                      109008 |     4 |
|       |           | A 1 A 1 A 1     |                       61728 |     8 |
| 10    |           |                 |                      156672 |     8 |
|       |           | A 1             |                      221184 |     4 |
|       |           | A 1             |                      516096 |     8 |
|       |           | A 1 A 1         |                       98304 |     2 |
|       |           | A 1 A 1         |                      344064 |     4 |
|       |           | A 1 A 1         |                      430080 |     8 |
|       |           | A 1 A 1 A 1     |                       15360 |     1 |
|       |           | A 1 A 1 A 1     |                       72192 |     2 |
|       |           | A 1 A 1 A 1     |                      134016 |     4 |
|       |           | A 1 A 1 A 1     |                      121920 |     8 |

Simon Brandhorst, Fakult¨t f¨r Mathematik und Informatik, Universit¨t des Saara u a landes, Campus E2.4, 66123 Saarbr¨cken, Germany u

Email address : brandhorst@math.uni-sb.de

V´ ıctor Gonz´lez-Alonso, Institut f¨r Algebraische Geometrie, Leibniz Universit¨t a u a Hannover Welfengarten 1, 30167 Hannover, Germany

Email address : gonzalez@math.uni-hannover.de

Table 2. Aut( Y )-orbits on ( A , A 1 1 )-generic Enriques surfaces

| h 2   | φ ( h )   | singularities   |   number of Aut( Y )-orbits |   r h |
|-------|-----------|-----------------|-----------------------------|-------|
| 2     | 1         | ∅               |                       16320 |     2 |
|       |           | A 1             |                       16456 |     1 |
|       |           | A 1             |                        9180 |     2 |
| 4     | 2         | ∅               |                      130560 |     2 |
|       |           | A 1             |                       73440 |     1 |
|       |           | A 1             |                       85680 |     2 |
| 6     | 2         | ∅               |                      652800 |     2 |
|       |           | A 1             |                      364480 |     1 |
|       |           | A 1             |                      514080 |     2 |
| 8     | 2         | ∅               |                     2350080 |     2 |
|       |           | A 1             |                     1028160 |     1 |
|       |           | A 1             |                     1689120 |     2 |
| 10    | 3         | ∅               |                     3133440 |     2 |
|       |           | A 1             |                     1175040 |     1 |
|       |           | A 1             |                     2754816 |     2 |
Simon Brandhorst Víctor González-Alonso
527 elliptic fibrations on Enriques surfaces
Barth and Peters showed that a general complex Enriques surface has exactly
527 isomorphism classes of elliptic fibrations. We show that every Enriques
surface has precisely 527 isomorphism classes of elliptic fibrations when
counted with the appropriate multiplicity. Their reducible singular fibers and
the multiplicities can be calculated explicitly. The same statements hold over
any algebraically closed field of characteristic not two. To explain these
results, we construct a moduli space of complex elliptic Enriques surfaces and
study the ramification behavior of the forgetful map to the moduli space of
unpolarized Enriques surfaces. Curiously, the ramification indices of a similar
map compute the hyperbolic volume of the rational polyhedral fundamental domain
appearing in the Morrison-Kawamata cone conjecture.