## K3 surfaces with a symplectic action of ( Z / 2 Z ) 2

## Benedetta Piroddi

## Abstract

We study the symplectic action of the group ( Z / 2 Z ) 2 on a K3 surface X : we describe its action on H 2 ( X, Z ) and the maps induced in cohomology by the rational quotient maps; we give a lattice-theoretic characterization of ˜ , Z the resolution of singularities of the quotient X/ι , where ι is any of the involutions in ( Z / 2 Z ) 2 . Assuming X is projective, we describe the correspondence between irreducible components of its moduli space, and those of ˜ and Z ˜ Y (the resolution of singularities of X/ ( Z / 2 Z ) 2 ): this being the first description of this correspondence for a non-cyclic action, we see new phenomena, of which we provide explicit examples assuming X has a polarization of degree 4.

## Introduction

If X is a K3 surface, and G is a finite group acting symplectically on X , the quotient Y = X/G has only ADE singularities, and therefore admits another K3 surface ˜ Y as resolution. As it was already established by Nikulin in [5], the moduli spaces of X and ˜ Y are in bijection. If G is not simple, one can consider also the intermediate quotient surfaces ˜ Z H , obtained as resolution of quotients of the form X/H , where H is a normal subgroup of G : the moduli space of ˜ Z H is again in bijection with that of X and ˜ . Y In the projective case, the moduli space of X splits in countable irreducible components - here called projective families - at least one for every choice of the degree 2 d = L 2 of the polarization L of X ; if there is more than one family, the corresponding quotient surfaces may be naturally polarized with different degrees. A complete description of the correspondence between projective families of X and its quotients is only known for G = Z /n Z , n = 2 3 4; symplectic involutions are studied in [4] and [2], automorphisms , , of order 3 and 4 in [1] and [9] respectively.

In this paper, we study the symplectic action of G = ( Z / 2 Z ) 2 on a K3 surface. Following the same outline as [1], [9], we start by selecting a K3 surface X with high Picard rank and a Jacobian fibration π : X → P 1 such that MW π ( ) /similarequal G : the resulting description of the action of G on H 2 ( X, Z ) holds for any K3 surface thanks to [5, Thm. 4.7]. We then study the maps induced in cohomology by the rational quotient maps, and we give a lattice-theoretic characterization of the intermediate quotien surface ˜ (see Thm. 2.6.1). Z We follow the same approach as [9] to describe the correspondence between projective families of X,Z,Y ˜ ˜ : we fix an embedding Ω 2 2 , ↪ → Λ K3 of the co-invariant lattice for the

⊥

L

action of G , and choose for each projective family of X a representative class L ∈ Ω Λ K3 2 2 , that takes the role of Ω ⊥ NS X ( ) 2 2 , ; the correspondence is given by taking the image of through the quotient maps.

We remark that the image of the map π 2 2 , ∗ , induced in cohomology by the rational quotient map π 2 2 , : X /axisshort/axisshort/arrowaxisright ˜ , Y is not primitive in H 2 ( ˜ Y , Z ), being instead a sublattice of index 2 (see Remark 2.3.3). A similar result holds for its dual π ∗ 2 2 , , its image being a sublattice of index 2 3 in H 2 ( X, Z ) (see Corollary 2.7.2).

The correspondence between projective families of X and its quotients is quite intricate: as already anticipated by Nikulin [5], projective families of X and ˜ Y are in bijection, but their relation to projective families of ˜ Z presents a wide range of phenomena (see Theorem 3.3.4). As for Z / 4 Z we see that two family of X can collide on the same family of ˜ : Z this happens for two families in every degree 2(8 h + 4). If NS X ( ) is an overlattice of index 2 of Ω 2 2 , ⊕ 〈 2(4 h + 2) , then 〉 X admits two different actions of ( Z / 2 Z ) 2 ; since they do not generally preserve the same ample class on X , however, there is no projective model that displays both as actions induced by the ambient space. For one of these actions, the projective family the intermediate quotient surface ˜ belongs Z to is determined; for the other action, the three involutions of ( Z / 2 Z ) 2 act differently on the polarization: more precisely, there are always two (call them τ, ϕ ) such that the intermediate quotient surfaces ˜ Z , Z τ ˜ ϕ belong to different projective families. This latter asymmetry appears also for a projective family in degree 4 h .

Lastly, if L 2 = 4 h , and NS X ( ) = Ω 2 2 , ⊕ Z L , the action of ( Z / 2 Z ) 2 on P ( H 0 ( X,L ) ∗ ) is induced by an action of the dihedral group of order 8 on H 0 ( X,L ) (see Thm. 4.2.1). This implies that, while one of the generators of ( Z / 2 Z ) 2 splits P ( H 0 ( X,L ) ∗ ) in two eigenspaces, so that we can get a model of the intermediate quotient surface by projection on one of them, the other generator swaps the eigenspaces of the first, so we cannot do the same for the total quotient.

## Aknowledgements

This paper presents part of the results of the author's PhD thesis. She thanks the PhD program of Universit` degli Studi di Milano for the support, and is especially grateful to a her tutor Alice Garbagnati. The author is currently supported by the Prin project 2022 Moduli spaces and special varieties , and she's a member of INdAM GNSAGA.

## 1 The symplectic action of ( Z / 2 Z ) 2 on the K3 lattice

As for any K3 surface X the symplectic action of ( Z / 2 Z ) 2 on X induces always the same action as isometry group on the K3 lattice Λ K3 /similarequal H 2 ( X, Z ) [5, Thm. 4.7], we can describe this action starting from a K3 surface of our choice. We are going to use a K3 surface with a Jacobian fibration X p -→ P 1 such that MW p ( ) = ( Z / 2 Z ) 2 : indeed the Mordell-Weil group MW p ( ) acts on X by translation on each fiber of p , therefore

providing a symplectic action on X . Moreover, from the relation [10, Thm. 6.3]

$$M W ( p ) \simeq N S ( X ) / \mathcal { T } ( p )$$

we deduce that, if MW p ( ) is finite, NS X ( ) is an overlattice of finite index of the trivial lattice T ( p ): this is the lattice generated by the generic fiber F of p , the image of the zero section s = s ( P 1 ) and the irreducible components of the reducible fibers which do not intersect the curve s . We compute the action of MW p ( ) on NS X ( ) using the description of the latter as overlattice of T ( p ); since this action is symplectic, and therefore trivial on the transcendental lattice T X , it extends uniquely to H 2 ( X, Z ).

## 1.1 The surface X ω

Let ω = e iπ/ 3 , consider the elliptic curve E ω = C / ( Z ⊕ Z ω ) and define the K3 surface X ω = Kum E ( ω × E ω ): it is the unique K3 surface whose transcendental lattice is

$$\dots \lambda \dots \dots \dots \dots \dots \\ T ( X _ { \omega } ) = \begin{bmatrix} 4 & 2 \\ 2 & 4 \end{bmatrix}.$$

A description of all the possible Jacobian fibrations on X ω is provided by Nishiyama [7, Table 1.3]: in particular, there is a fibration π : X ω → P 1 such that MW π ( ) /similarequal ( Z / 2 Z ) 2 . The reducible fibers of π are one of type I ∗ 6 , one of type I 6 and three of type I 2 that we'll denote I j 2 , j = 1 2 3. , , Call C 0 (respectively D , 0 E j 0 ) the component of I ∗ 6 (resp. I 6 , I j 2 ) intersected by the curve s , and number the other components so that, for every k ∈ Z / 6 Z , D i intersects only D ( k +1) and D ( k -1) ; C , C 0 1 intersect only C 2 ; C , C 9 10 intersect only C 8 and, for i = 2 , . . . , 8, C i intersects both C ( +1) i and C ( i -1) ; moreover, it holds E E j 0 j 1 = 2 , j = 1 2 3. , ,

Using the height pairing formula [10, § 11.8] we can determine the components of the reducible fibers C , D i k , E j m that have non-trivial intersection with the elements of MW π ( ): the zero section s intersects the components C , D 0 0 and E j 0 ; we call t the section that intersects the components C , D 1 3 and E j 1 , r the section that intersects the components C 10 , D 0 and E j 1 , and q = + t r (where + is the sum in MW π ( )): therefore q intersects the components C , D 9 3 and E j 0 . Since T ( π ) generates NS X ( ω ) over Q by (1.0.1) ( MW π ( ) is finite), we can write t, r, q uniquely as

$$t = 2 F + s - ( \sum _ { i = 1 } ^ { 8 } C _ { i } + D _ { 2 } + D _ { 3 } + D _ { 4 } ) - ( C _ { 9 } + C _ { 1 0 } + D _ { 1 } + D _ { 3 } + D _ { 5 } + \sum _ { j = 1 } ^ { 3 } E _ { 1 } ^ { j } ) / 2 ;$$

$$r = 2 F + s - ( \sum _ { \cdot \cdot } ^ { 8 } i C _ { i } + 4 C _ { 9 } + 5 C _ { 1 0 } + \sum _ { \cdot \cdot \cdot } ^ { 3 } E _ { 1 } ^ { j } ) / 2 ;$$

$$q = 2 F + s - ( \sum i C _ { i } + 5 C _ { 9 } + 4 C _ { 1 0 } + D _ { 1 } + 2 D _ { 2 } + 3 D _ { 3 } + 2 D _ { 4 } + D _ { 5 } ) / 2 ;$$

$$& = 2 F + s - ( \sum _ { i = 1 } ^ { 8 } C _ { i } + D _ { 2 } + D _ { 3 } + D _ { 4 } ) - ( C _ { 9 } + C _ { 1 0 } + D _ { 1 } + D _ { 3 } + D _ { 5 } + \sum _ { j = 1 } ^ { 3 } E _ { 1 } ^ { j } ) / 2 ; \\ & = 2 F + s - ( \sum _ { i = 1 } ^ { 8 } i C _ { i } + 4 C _ { 9 } + 5 C _ { 1 0 } + \sum _ { j = 1 } ^ { 3 } E _ { 1 } ^ { j } ) / 2 ; \\ & = 2 F + s - ( \sum _ { i = 1 } ^ { 8 } i C _ { i } + 5 C _ { 9 } + 4 C _ { 1 0 } + D _ { 1 } + 2 D _ { 2 } + 3 D _ { 3 } + 2 D _ { 4 } + D _ { 5 } ) / 2 ; \\ & \text{asis of $N$.} ( X.. ) \text{ is $B=\{F.s.t.r.C.\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\sigma\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\elements\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\ dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots \dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dts\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\Dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots\dots$$

a Z -basis of NS X ( ω ) is B = { F, s, t, r, C 2 , . . . , C 10 , D 1 , . . . , D 5 , E 1 1 , E 2 1 } .

## 1.2 The action of ( Z / 2 Z ) 2 on the K3 lattice

In the previous section we have described NS X ( ω ) as overlattice of finite index of T ( π ); however, to compute in Section 2 the maps induced in cohomology by the quotient maps, we will use another description. We find a sublattice W of finite index of H 2 ( X , ω Z ) such that the symplectic involutions τ, ρ and ϕ = ρ ◦ τ (corresponding respectively to the translation by the sections t, r, q ∈ MW π ( )) act as permutation of orthogonal components of W .

There are 8 orthogonal copies of A 2 in NS X ( ω ) that are either fixed or exchanged in pairs by τ ∗ , ρ ∗ : ( s, C 0 ) , ( t, C 1 ) , ( r, C 10 ) , ( q, C 9 ) , ( C , C 3 4 ) , ( C , C 7 6 ) , ( D ,D 1 2 ) , ( D ,D 4 5 ). Now define

$$\text{den} \\ S _ { 1 } & = C _ { 3 } + 2 C _ { 4 } + 3 C _ { 5 } + 2 C _ { 6 } + C _ { 7 }, \\ S _ { 2 } & = 4 F + 2 t + 2 s - ( \sum _ { i = 2 } ^ { 8 } i C _ { i } + 4 C _ { 9 } + 4 C _ { 1 0 } ), \\ S _ { 3 } & = E _ { 1 } ^ { 1 } - E _ { 1 } ^ { 2 }, \\ S _ { 4 } & = - 3 ( E _ { 1 } ^ { 1 } + E _ { 1 } ^ { 2 } ) - 4 ( 2 r - 2 F - t - s + \sum _ { i = 2 } ^ { 8 } ( i - 1 ) C _ { i } ) + \\ & + 2 ( - 7 C _ { 9 } - 9 C _ { 1 0 } + D _ { 1 } + 2 D _ { 2 } + 3 D _ { 3 } + 2 D _ { 4 } + D _ { 5 } ) \colon \\ \text{the orthogonal complement in } N S ( X.. ) \text{ of the direct sum } A ^ { \oplus 8 } \text{ is isomorphic}$$

then the orthogonal complement in NS X ( ω ) of the direct sum A ⊕ 8 2 is isomorphic over Q to the lattice U (3) ⊕ A 2 (2) = 〈 ( S 1 + S 2 ) / , 2 ( S 2 -S 1 ) / 2 〉 ⊕ 〈 ( S 3 + S 4 ) / , 2 ( S 3 -S 4 ) / 2 ; 〉 τ ∗ , ρ ∗ act as id on U (3), as -id on A 2 (2). We remark that the generators of U (3) ⊕ A 2 (2) are integral elements in NS X ( ω ), as it can be seen writing them in the basis B .

We can then write NS X ( ω ) as overlattice of finite index of A ⊕ 8 2 ⊕ U (3) ⊕ A 2 (2), adding to the list of generators the following (integral) elements, on which we can compute by linearity the action of τ ∗ , ρ ∗ , ϕ ∗ :

$$u _ { 1 } & = ( q - s + C _ { 0 } - C _ { 3 } + C _ { 4 } - C _ { 6 } + C _ { 7 } - C _ { 9 } - D _ { 1 } + D _ { 2 } + D _ { 4 } - D _ { 5 } ) / 3, \\ u _ { 2 } & = ( r - t + C _ { 1 } - C _ { 3 } + C _ { 4 } - C _ { 6 } + C _ { 7 } - C _ { 1 0 } + D _ { 1 } - D _ { 2 } - D _ { 4 } + D _ { 5 } ) / 3, \\ u _ { 3 } & = ( S _ { 1 } - C _ { 3 } + C _ { 4 } + C _ { 6 } - C _ { 7 } ) / 3, \\ u _ { 4 } & = ( ( S _ { 1 } + S _ { 2 } ) / 2 - q - r - C _ { 3 } + C _ { 4 } + C _ { 9 } + C _ { 1 0 } ) / 3, \\ u _ { 5 } & = ( ( S _ { 1 } + S _ { 2 } + S _ { 3 } + S _ { 4 } ) / 2 + r - C _ { 3 } + C _ { 4 } - C _ { 1 0 } - D _ { 1 } + D _ { 2 } + D _ { 4 } - D _ { 5 } + S _ { 3 } ) / 3.$$

Thanks to [5, Thm. 4.7], we can now generalize our description of the action of ( Z / 2 Z ) 2 on X ω to any K3 surface. We will use τ and ϕ as generators of ( Z / 2 Z ) 2 : the motivation for this choice is explained in Remark 3.3.1.

Proposition 1.2.1. 1. The isometries τ ∗ and ϕ ∗ act on the sublattice of Λ K3 of finite

$$i n d e x \, W \coloneqq A _ { 2 } ^ { \oplus 8 } \oplus A _ { 2 } ( 2 ) \oplus \begin{bmatrix} 0 & 6 \\ 6 & 0 \end{bmatrix} \oplus \begin{bmatrix} 4 & 2 \\ 2 & 4 \end{bmatrix} \, a s \, f o l l o w s \colon$$

$$\stackrel { \stackrel { \tau ^ { * } } { \stackrel { \tau ^ { * } } { \stackrel { \tau ^ { * } } { \stackrel { \tau ^ { * } } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \stackrel { \tau } { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \t } { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \bar { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \t \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde   \t | \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \t | \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \t    \t | \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \t | \tilde { \tilde { \tilde { \t | \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde {  \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde } { \tilde { \tilde { \tilde { \t                                                                                                                                                                                                         }                                                                                                                                                                                                       
                                                                                                                                                                                                       .                                                                                                                                                                                                        ) \end{pmatrix} \, \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel{ \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \tilde { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { \, \stackrel { { \, \stackrel { \, \stackrel$$

2. For i = 1 2 , , denote a , i b , i c , i d , i e , i f , i g , i h i the generators of the eight copies of A 2 , such that

$$\ast$$

$$\tau ^ { * } & \colon a _ { i } \leftrightarrow b _ { i }, \quad c _ { i } \leftrightarrow d _ { i }, \quad g _ { i } \leftrightarrow h _ { i } ; \\ \varphi ^ { * } & \colon a _ { i } \leftrightarrow d _ { i }, \quad b _ { i } \leftrightarrow c _ { i }, \quad e _ { i } \leftrightarrow f _ { i } ; \quad g _ { i } \leftrightarrow h _ { i } ;$$

denote w,z the generators of A 2 (2) (on which τ ∗ acts as -id and ϕ ∗ as id ), x, y the generators of U (3) , and v , v 1 2 the generators of [ 4 2 2 4 ] . Then the lattice Λ K3 is isomorphic to the overlattice H 2 ( X, Z ) of W obtained by adding the following elements to the list of generators (and the action of τ ∗ and ϕ ∗ on them is deduced by Q -linear extension):

$$\ v y \vee \mu \text{uu} \text{ cau nou nv}. \\ \alpha & = ( - a _ { 1 } + a _ { 2 } + d _ { 1 } - d _ { 2 } - e _ { 1 } + e _ { 2 } + f _ { 1 } - f _ { 2 } - g _ { 1 } + g _ { 2 } + h _ { 1 } - h _ { 2 } ) / 3, \\ \beta & = ( - b _ { 1 } + b _ { 2 } + c _ { 1 } - c _ { 2 } - e _ { 1 } + e _ { 2 } + f _ { 1 } - f _ { 2 } + g _ { 1 } - g _ { 2 } - h _ { 1 } + h _ { 2 } ) / 3, \\ \gamma & = ( x - y - e _ { 1 } + e _ { 2 } - f _ { 1 } + f _ { 2 } ) / 3, \\ \delta & = ( x - c _ { 1 } + c _ { 2 } - d _ { 1 } + d _ { 2 } - e _ { 1 } + e _ { 2 } ) / 3, & ( 1. 2. 2 ) \\ \varepsilon & = ( x - z + w + c _ { 1 } - c _ { 2 } - e _ { 1 } + e _ { 2 } - g _ { 1 } + g _ { 2 } + h _ { 1 } - h _ { 2 } ) / 3, \\ \zeta & = ( x + z + c _ { 1 } + c _ { 2 } + e _ { 1 } + e _ { 2 } + g _ { 1 } + g _ { 2 } + h _ { 1 } + h _ { 2 } + \varepsilon ) / 2 + v _ { 2 } / 2, \\ \eta & = ( x + c _ { 1 } + c _ { 2 } + e _ { 1 } + e _ { 2 } + \varepsilon ) / 2 + ( g _ { 1 } - g _ { 2 } + h _ { 1 } - h _ { 2 } ) / 6 + v _ { 1 } / 6 - v _ { 2 } / 3. \\ \text{pow of the fact if you are almost in / 1 9 \} \, \partial \, \text{th came as in / 1 9 \, 1 \} \, \text{ while } \, \not \, \text{ in one obtained}$$

Proof. The first five elements in (1.2.2) are the same as in (1.2.1), while ζ, η are obtained by the (unique) description of H 2 ( X , ω Z ) as overlattice of NS X ( ω ) ⊕ T X ω .

## 1.3 Invariant and co-invariant lattices

The group ( Z / 2 Z ) 2 acts symplectically in a unique way on the second integral cohomology lattice of a K3 surface [5, Thm. 4.7]: the invariant and co-invariant lattices for this action can be found in [3, Prop. 4.3]. Here we provide an explicit embedding of them in H 2 ( X, Z ).

The invariant lattice Λ 〈 τ,ϕ 〉 K3 is an overlattice of the lattice I = A 2 (4) ⊕ A 2 (2) ⊕ 2 ⊕ U (3) ⊕ [ 4 2 2 4 ] = 〈 a 1 + b 1 + c 1 + d , 1 a 2 + b 2 + c 2 + d , 2 e 1 + f , 1 e 2 + f , 2 g 1 + h , g 1 2 + h , x, y, 2 v , 1 v 2 〉 obtained by adding as generators the elements ( v 1 + v 2 + g 1 + h 1 -g 2 -h 2 ) / , 3 ( a 1 + b 1 +

c 1 + d 1 -( a 2 + b 2 + c 2 + d 2 ) + e 1 + f 1 -e 2 -f 2 + ) 3 x / , γ ; the co-invariant lattice Ω 2 2 , is an overlattice of the lattice

$$& \text{ lattice} \\ & \Delta = \left [ \begin{matrix} \frac { A _ { 2 } ( 2 ) ^ { \oplus 3 } } { 0 } & 0 & 0 \\ \frac { 0 } { 0 } & A _ { 3 } ( 2 ) & A _ { 3 } \\ 0 & A _ { 3 } & A _ { 3 } ( 2 ) \end{matrix} \right ] \\ & \{ z, \ w, \ f _ { 1 } - e _ { 1 }, \ f _ { 2 } - e _ { 2 }, \ h _ { 1 } - q _ { 1 }, \ h _ { 2 } - q _ { 2 }, \ b _ { 1 }$$

spanned over Z by { z, w, f 1 -e , 1 f 2 -e , 2 h 1 -g , 1 h 2 -g , 2 b 1 -a , 1 a 1 -c , 1 c 1 -d , 1 a 2 -b 2 , c 2 -a , 2 d 2 -c 2 } , obtained by adding as generators the elements ( a 1 -b 1 -c 1 + d 1 -a 2 + b 2 + c 2 -d 2 + z -w / , ) 3 ( -a 1 + d 1 + a 2 -d 2 -e 1 + f 1 + e 2 -f 2 -g 1 + h 1 + g 2 -h 2 ) / , 3 ( a 1 + b 1 -c 1 -d 1 -a 2 -b 2 + c 2 + d 2 -e 1 + f 1 + e 2 -f 2 ) / 3. The discriminant group of Ω 2 2 , is ( Z / 2 Z ) 6 × ( Z / 4 Z ) 2 .

Remark 1.3.1 . The lattice Ω 2 2 , contains three different copies of the lattice Ω 2 /similarequal E 8 (2), co-invarant for τ, ϕ and ρ .

## 2 Quotients

For each of the abelian groups G that act symplectically on a K3 surface X , Nikulin provides in [5, § 5-7] a description of the singular locus of the quotient surface Y = X/G , and of the exceptional lattice M G : this is the minimal primitive sublattice of Λ K3 containing all the exceptional curves of the minimal resolution ˜ of Y Y . Denoting q : X → Y the quotient map, H 2 ( ˜ Y , Z ) is an overlattice of finite index of q H ∗ 2 ( X, Z ) ⊕ M G .

Remark 2.0.1 . By [6, Prop. 1.4.1.a], since H 2 ( ˜ Y , Z ) is unimodular and unique in its genus, there is essentially only one way to obtain it as overlattice of finite index of q H ∗ 2 ( X, Z ) ⊕ M G . This holds for Λ K3 more in general, given lattices A,B in direct sum such that sign A ( ) + sign B ( ) = (3 19) and their discriminant forms satisfy , q A = -q B .

Definition 2.0.2 ([5, Def. 6.2, case 1a]) . Denote Nikulin lattice the lattice N := M Z / 2 Z : given { n , . . . , n 1 8 } orthogonal ( -2)-classes, then a set of generators over Z for N is { n , . . . , n 1 8 , ν } , where ν = ( n 1 + · · · + n 8 ) / 2.

The symplectic action of ( Z / 2 Z ) 2 = { 1 , τ, ϕ, ρ } on a K3 surface X gives 24 isolated points with nontrivial stabilizer. Call Fix τ = { t 1 , . . . , t 8 } , Fix ϕ = { q , . . . , q 1 8 } , F ix ρ = { r , . . . , r 1 8 } : then τ and ϕ act on Fix ρ as the same permutation ( r , r 1 2 )( r , r 3 4 )( r , r 5 6 ) ( r , r 7 8 ); τ and ρ act on Fix ϕ as ( q , q 1 2 )( q , q 3 4 )( q , q 5 6 )( q , q 7 8 ), ρ and ϕ act on Fix τ as ( t 1 , t 2 )( t 3 , t 4 )( t 5 , t 6 )( t 7 , t 8 ).

Consider the quotient surfaces Y = X/ ( Z / 2 Z ) 2 , Z τ = X/τ ;

resolve the singularities to obtain the K3 surfaces ˜ Y , ˜ Z τ : then ϕ induces an involution ˆ on ϕ Z τ , and this involution can be extended to ˜ Z τ . The surfaces ˜ Y and ˜ ˜ Z /ϕ τ ˆ are isomorphic, as they are birationally equivalent K3 surfaces (and the same holds exchanging the roles of τ and ϕ ). In the following sections, we are going to describe the maps

induced in cohomology by those in the following diagram:

/d127

/d32

/d32

/d127

/d31

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00643v1-figure-3fcf442c-ec9a-4517-a58e-9c0140fa0b2a.jpg)

/d31

/d127

/d127

## 2.1 The map π τ ∗ and the surface ˜ Z τ

Proposition 2.1.1. The map π τ ∗ acts in the following way on the sublattice W of H 2 ( X, Z ) :

]

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00643v1-figure-fa12c726-49ed-4bd3-b565-2e0a9749a594.jpg)

1

2

Proof. The action of τ ∗ on W is described in Proposition 1.2.1: we can use it to compute the intersection form of π τ ∗ W via the push-pull formula. Since π τ is a finite morphism of degree 2, for any x , x 1 2 ∈ W we get

$$\pi _ { \tau * } x _ { 1 } \cdot \pi _ { \tau * } x _ { 2 } = \frac { 1 } { 2 } ( \pi _ { \tau } ^ { * } \pi _ { \tau * } x _ { 1 } \cdot \pi _ { \tau } ^ { * } \pi _ { \tau * } x _ { 2 } )$$

where π π ∗ τ τ ∗ x 1 = x 1 + τ ∗ x 1 . Therefore, if τ ∗ exchanges two copies of A 2 , π τ ∗ ( A 2 ⊕ A 2 ) = A 2 ; if τ ∗ acts as the identity on a lattice L , then π τ ∗ L = L (2); if τ ∗ acts as -id on a lattice L , then π τ ∗ L = 0.

We construct H 2 ( ˜ Z , τ Z ) as overlattice of N ⊕ π τ ∗ H 2 ( X, Z ): by Remark 2.0.1 any way is equivalent up to isometries of Λ K3 . For convenience, we give here the list of generators we're going to use in the following computations:

$$s _ { 1 } & = ( \hat { c } _ { 1 } - \hat { c } _ { 2 } + \hat { c } _ { 2 } + \hat { f } _ { 2 } + \hat { \gamma } - \hat { e } + n _ { 5 } - n _ { 8 } + n _ { 3 } + n _ { 2 } ) / 2 - n _ { 8 }, \\ s _ { 2 } & = ( \hat { a } _ { 1 } - \hat { a } _ { 2 } - \hat { \alpha } + \hat { f } _ { 1 } + \hat { f } _ { 2 } - \hat { e } + n _ { 4 } - n _ { 8 } + n _ { 3 } + n _ { 2 } ) / 2 - n _ { 8 }, \\ s _ { 3 } & = ( \hat { e } _ { 2 } + \hat { f } _ { 1 } + n _ { 7 } + n _ { 5 } + n _ { 4 } + n _ { 3 } ) / 2 - 2 n _ { 8 }, \\ s _ { 4 } & = ( \hat { c } _ { 1 } - \hat { c } _ { 2 } + \hat { e } _ { 2 } + \hat { f } _ { 1 } - \hat { e } + n _ { 7 } - n _ { 8 } + n _ { 5 } + n _ { 4 } ) / 2 - n _ { 8 }, \\ s _ { 5 } & = ( \hat { a } _ { 1 } - \hat { a } _ { 2 } + \hat { c } _ { 1 } - \hat { c } _ { 2 } - \hat { \alpha } + n _ { 6 } + n _ { 5 } + n _ { 4 } + n _ { 2 } ) / 2 - 2 n _ { 8 }, \\ s _ { 6 } & = ( \hat { a } _ { 1 } - \hat { a } _ { 2 } + \hat { c } _ { 1 } - \hat { c } _ { 2 } - \hat { \alpha } + \hat { f } _ { 1 } + n _ { 7 } - n _ { 8 } + n _ { 6 } + n _ { 3 } ) / 2 - n _ { 8 }.$$

Remark 2.1.2 . The lattice π τ ∗ Ω 2 2 , is isomorphic to D 4 (2) with the following generators: d 1 = (ˆ e 2 -ˆ f 2 + ˆ f 1 -ˆ e 1 +ˆ c 1 -ˆ a 1 -ˆ c 2 +ˆ ) 3 a 2 / -ˆ + ˆ f 1 e , 1 d 2 = (ˆ e 2 -ˆ f 2 + ˆ f 1 -ˆ e 1 +ˆ c 1 -ˆ a 1 -ˆ c 2 +ˆ ) 3 a 2 / , d 3 = ˆ a 1 -ˆ c , 1 d 4 = ˆ c 1 -ˆ a 1 +ˆ c 2 -ˆ . a 2

Definition 2.1.3 . Define the lattice Γ τ as the lattice of rank 12 obtained as primitive completion of π τ ∗ Ω 2 2 , ⊕ N in H 2 ( ˜ Z , τ Z ). With the latter constructed as in (2.1.1), Γ τ is obtained as overlattice of π τ ∗ Ω 2 2 , ⊕ N by adding as generators the elements

$$x _ { 1 } = ( d _ { 4 } - d _ { 2 } + n _ { 2 } + n _ { 4 } + n _ { 5 } + n _ { 6 } ) / 2, \ \ x _ { 2 } = ( d _ { 1 } - d _ { 2 } + n _ { 3 } + n _ { 7 } + n _ { 2 } + n _ { 5 } ) / 2.$$

## 2.2 The map π ϕ ∗ and the surface ˜ Z ϕ

The action of ϕ ∗ on the sublattice W of H 2 ( X, Z ) is different that that of τ ∗ : we provide an analogue to Proposition 2.1.1 for the quotient map π ϕ ∗ .

Proposition 2.2.1. The map π ϕ ∗ acts in the following way on the sublattice W of H 2 ( X, Z ) :

]

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00643v1-figure-0a74ab40-1b03-4213-a020-549552a0ff65.jpg)

˜

v , v

1

˜

2

As above, we give the list of generators we used to construct H 2 ( ˜ Z , ϕ Z ) as overlattice of N ⊕ π ϕ ∗ H 2 ( X, Z ):

$$\mathbb { N } \oplus \pi _ { \varphi _ { * } } H ^ { \prime } ( \mathcal { A }, \mathcal { L } ) \colon \\ t _ { 1 } & = ( \tilde { b } _ { 1 } + \tilde { e } _ { 2 } + \tilde { g } _ { 1 } + \tilde { g } _ { 2 } - \tilde { \varepsilon } + \tilde { \gamma } + \tilde { y } + \tilde { \eta } ) / 2 + ( n _ { 2 } + n _ { 3 } + n _ { 5 } + n _ { 8 } ) / 2 ; \\ t _ { 2 } & = ( \tilde { a } _ { 1 } + \tilde { a } _ { 2 } + \tilde { \delta } + \tilde { z } - \tilde { \varepsilon } ) / 2 + ( n _ { 2 } + n _ { 3 } + n _ { 4 } + n _ { 8 } ) / 2 ; \\ t _ { 3 } & = ( \tilde { \gamma } + \tilde { y } ) / 2 + ( n _ { 3 } + n _ { 4 } + n _ { 5 } + n _ { 7 } ) / 2 ; & ( 2. 2. 1 ) \\ t _ { 4 } & = ( \tilde { a } _ { 1 } + \tilde { a } _ { 2 } + \tilde { \delta } + \tilde { \varepsilon } + \tilde { y } ) / 2 + ( n _ { 4 } + n _ { 5 } + n _ { 7 } + n _ { 8 } ) / 2 ; \\ t _ { 5 } & = ( \tilde { b } _ { 1 } + \tilde { e } _ { 2 } + \tilde { g } _ { 1 } + \tilde { g } _ { 2 } + \tilde { \varepsilon } + \tilde { \zeta } ) / 2 + ( n _ { 2 } + n _ { 4 } + n _ { 5 } + n _ { 6 } ) / 2 ; \\ t _ { 6 } & = ( \tilde { a } _ { 1 } + \tilde { a } _ { 2 } + \tilde { \delta } + \tilde { \varepsilon } ) / 2 + ( n _ { 3 } + n _ { 6 } + n _ { 7 } + n _ { 8 } ) / 2.$$

Remark 2.2.2 . The lattice π ϕ ∗ Ω 2 2 , is isomorphic to D 4 (2) with the following generators: d ′ 1 = (2 ˜ b 2 -2˜ a 2 + ˜ z -˜ + ˜ w b 1 -˜ ) a 1 / , 3 d ′ 2 = ˜ + (2 ˜ w b 2 -2˜ a 2 + ˜ z -˜ + ˜ w b 1 -˜ ) a 1 / , 3 d ′ 3 = ˜ a 2 -˜ b , 2 d ′ 4 = ˜ a 1 -˜ . b 1

Definition 2.2.3 . Define the lattice Γ ϕ as the overlattice of N ⊕ π ϕ ∗ Ω 2 2 , obtained by adding to the set of generators the elements

$$x _ { 1 } ^ { \prime } = ( d _ { 2 } ^ { \prime } - d _ { 1 } ^ { \prime } + n _ { 2 } + n _ { 3 } + n _ { 4 } + n _ { 8 } ) / 2, \ \ x _ { 2 } ^ { \prime } = ( d _ { 2 } ^ { \prime } + d _ { 4 } ^ { \prime } + n _ { 3 } + n _ { 6 } + n _ { 7 } + n _ { 8 } ) / 2 ;$$

Lemma 2.2.4. The lattices Γ τ and Γ ϕ are isomorphic.

Proof. The lattices π τ ∗ Ω 2 2 , and π ϕ ∗ Ω 2 2 , are both isomorphic to D 4 (2). Moreover, the gluings that realizes Γ τ as an overlattice of π τ ∗ Ω 2 2 , ⊕ N , and Γ ϕ as an overlattice of π ϕ ∗ Ω 2 2 , ⊕ N , are isomorphic: indeed, one can easily check that the orbits for the action of O D ( 4 (2)) on A D 4 (2) , and of O N ( ) on A N , are determined by the order and square of their elements.

Definition 2.2.5 . Consider the symplectic action of G = ( Z / 2 Z ) 2 on a K3 surface X , let ι ∈ G be any involution and consider ˜ the resolution of singularities of Z X/ι . Define the lattice Γ 2 2 , as the primitive completion of N ⊕ π ι ∗ Ω 2 2 , in H 2 ( ˜ Z, Z ).

## 2.3 The surface ˜ Y as quotient of ˜ Z τ

We conclude with the description of the K3 surface ˜ , Y which is the minimal resolution of the quotient X/ ( Z / 2 Z ) 2 . We obtain ˜ Y as minimal resolution of the quotient of either ˜ Z , Z τ ˜ ϕ by the residual symplectic involution ˆ ˆ respectively. ϕ, τ

The residual involution ˆ fixes eight isolated points on ϕ ˜ Z τ , and it acts on the exceptional curves introduced by the resolution ˜ Z τ → Z τ (which are represented by the classes n , . . . , n 1 8 in NS Z ( ˜ τ )) by exchanging them pairwise.

Proposition 2.3.1. Consider the sublattice π τ ∗ W ⊕ A ⊕ 8 1 of finite index of H 2 ( ˜ Z , τ Z ) : the map ̂ π ϕ ∗ acts in the following way on it:

[

]

v , v

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00643v1-figure-901cea60-bcee-4eca-a90b-3ca5f386b583.jpg)

1

2

The lattice ̂ π ϕ ∗ H 2 ( ˜ Z , τ Z ) can be obtained by Q -linear extension to the elements ˆ α, γ, ε, ζ, η ˆ ˆ ˆ ˆ which are the image via π τ ∗ of the elements in (1.2.2) , and ν, s 1 , . . . , s 6 defined in (2.1.1) . The symbol /star denotes the image of /star in ̂ π ϕ ∗ H 2 ( ˜ Z , τ Z ) .

Proof. The only difficult thing is to determine which are the pairs of classes exchanged by ̂ π ϕ ∗ | A ⊕ 8 1 . To do this, we need to ensure that the the intersection form of the images of s , . . . , s 1 6 via ̂ π ϕ ∗ computed with the push-pull formula, is that of an integral even lattice: the only valid choice is the one in the statement.

Remark 2.3.2 . Since ˆ is ϕ a symplectic involution on ˜ Z τ , its co-invariant lattice is a copy of Ω 2 = E 8 (2): this is entirely contained in Γ 2 2 , , as the orthogonal complement of 〈 n 1 + n , n 8 2 + n , n 5 3 + n , n 7 4 + n , e 6 ˆ 1 + ˆ f , e 1 ˆ 2 + ˆ f , a 2 ˆ 1 +ˆ c , a 1 ˆ 2 +ˆ . c 2 〉

Remark 2.3.3 . Consider the map ( π 2 2 , ) ∗ , defined as the composition ̂ π ϕ ∗ ◦ π τ ∗ : then ( π 2 2 , ) ∗ H 2 ( X, Z ) is a sublattice of index 2 of ̂ π ϕ ∗ H 2 ( ˜ Z , τ Z ). Indeed, it does not contain the element γ/ 2, that is integral in π ϕ ∗ H 2 ( ˜ Z , τ Z ): in fact, it holds

The resolution of the singularities ˜ Y → ˜ Z /ϕ τ ˆ introduces in cohomology another copy of the lattice N . Calling m ,.. . m 1 8 the ( -2)-classes that generate N over Q , we construct H 2 ( ˜ Y , Z ) as overlattice of π ϕ ∗ H 2 ( ˜ Z , τ Z ) ⊕ N using the following elements:

$$\{ \lambda _ { 2, 2 } \} \, \infty \, \ A, \, \mu \, \text{ is a visualization of} \, \mu \, \infty \, \ A \, \mu \, \varphi \, \nu \, \left ( \varphi _ { \tau }, \, \mu \right ) \, \text{ measure, in} \, \, \infty \, \ A \, \mu \, \varphi \, \nu \, \left ( \varphi _ { \tau }, \, \mu \right ) \, \text{ use, in} \, \, \infty \, \ A \, \mu \, \varphi \, \nu \, \left ( \varphi _ { \tau }, \, \mu \right ) \, \text{ use, in} \, \, \infty \, \ A \, \mu \, \varphi \, \nu \, \left ( \varphi _ { \tau }, \, \mu \right ) \, \text{ use, in} \, \, \infty \, \ A \, \mu \, \varphi \, \nu \, \left ( \varphi _ { \tau }, \, \mu \right ) \, \text{ use, in} \, \, \infty \, \ A \, \mu \, \varphi \, \nu \, \left ( \varpagma \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varpag \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varprog \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphage \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \vareph \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \varphi \, \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \ varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi \varphi$$

$$\intertext { w e c t i o u n i n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n u n } } \text{$\int$} \tilde { H } ^ { 2 } ( \tilde { Y }, \mathbb { Z } ) \text{ as overlattice of $\widetilde{\pi_{\rho}$}_{k}^{N}^{(\tilde{Z}_{\rho}, \mathbb { Z} ) \oplus N$ using the following elements:} \\ k _ { 1 } & = ( \overline { a } _ { 2 } + \overline { e } _ { 1 } + \overline { g } _ { 2 } + \overline { y } ) / 2 + ( m _ { 2 } + m _ { 3 } + m _ { 5 } + m _ { 8 } ) / 2, \\ k _ { 2 } & = ( \overline { g } _ { 1 } + \overline { y } _ { 1 } + \overline { \zeta } ) / 2 + ( m _ { 2 } + m _ { 3 } + m _ { 4 } + m _ { 8 } ) / 2, \\ k _ { 3 } & = ( \overline { a } _ { 1 } + \overline { a } _ { 2 } + \overline { g } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } _ { 1 } + \overline { s } | \text{$\int$} + ( m _ { 2 } + m _ { 4 } + m _ { 5 } + m _ { 6 } ) / 2, \\ k _ { 6 } & = ( \overline { a } _ { 1 } + \overline { e } _ { 2 } + \overline { e } _ { 1 } + \overline { \zeta } ) / 2 + ( m _ { 3 } + m _ { 6 } + m _ { 7 } + m _ { 8 } ) / 2. \\ \intertext { 4 } \text{ $ The$^{ecreational lattice $M_{\wedge}$ and the $man\,\pi_{\wedge}^{N}$.} }$$

## 2.4 The exceptional lattice M 2 2 , and the map π 2 2 , ∗

The lattice M 2 2 , , as described in [5, § 6, case 2a], is an overlattice of A ⊕ 12 1 = 〈 v , . . . , v 1 12 〉 obtained by adding as generator the elements ( v 1 + · · · + v 8 ) / 2 and ( v 5 + . . . v 12 ) / 2. An explicit embedding of M 2 2 , in H 2 ( ˜ Y , Z ) constructed as in (2.3.1), as overlattice of N ⊕ π ρ ∗ Γ 2 2 , = N ⊕〈 n , n 1 2 , n 3 , n 4 〉 , can be obtained as follows.

̂ Proposition 2.4.1. The lattice M 2 2 , is generated over Q by the elements n , . . . , n 1 4 , m ,.. . , m 1 8 . To get a set of Z -generators, add the elements

$$\mu _ { 1 } = \frac { m _ { 1 } + \cdots + m _ { 8 } } { 2 }, \ \mu _ { 2 } = \frac { \overline { n } _ { 1 } + \overline { n } _ { 2 } + \overline { n } _ { 3 } + \overline { n } _ { 4 } + m _ { 1 } + m _ { 2 } + m _ { 7 } + m _ { 8 } } { 2 }.$$

Proof. A Q -basis of M 2 2 , is { n , . . . , n 1 4 , m 1 , . . . , m 8 } , as these are the classes that come from resolution of the singularities in our construction. Notice moreover that it holds µ 1 ∈ N , while µ 2 is the only other linear combination of the form ( n 1 + n 2 + n 3 + n 4 + m i + m j + m h + m / k ) 2 which is integral in H 2 ( ˜ Y , Z ) and independent from µ 1 .

## 2.5 The surface ˜ Y as quotient of ˜ Z ϕ

Proposition 2.5.1. Consider the sublattice π ϕ ∗ W ⊕ A ⊕ 8 1 of finite index of H 2 ( ˜ Z , ϕ Z ) : the map ̂ π τ ∗ acts in the following way on it:

[

]

v , v

1

2

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00643v1-figure-c813b25a-0df1-4398-9f08-8109f5fdee4c.jpg)

The lattice ̂ π τ ∗ H 2 ( ˜ Z , ϕ Z ) can be obtained by Q -linear extension applied to the elements ˜ α, γ, ε, ζ, η ˜ ˜ ˜ ˜ which are the image via π ϕ ∗ of the elements (1.2.2) , and ν, t 1 , . . . , t 6 defined in (2.2.1) . We denote ˜ = /star π τ ∗ /star ; if /star = π ϕ ∗ · for · ∈ H 2 ( X, Z ) , then · = ˜ /star .

̂ Again, calling m ,.. . m 1 8 the ( -2)-classes that generate over Q the exceptional lattice N of the resolution of the singularities ˜ Y → ˜ Z /τ ϕ ˆ, we construct H 2 ( ˜ Y , Z ) as overlattice of ̂ π τ ∗ H 2 ( ˜ Z , ϕ Z ) ⊕ N using the following elements: h 1 = ( e 2 + a 1 -˜ t 4 -ε -ζ -˜ n 1 -˜ ) t 3 / 2 + ( m 5 + m 3 + m 2 + m / 8 ) 2;

$$h _ { 2 } = ( \overline { a } _ { 2 } - \tilde { t } _ { 4 } - \overline { \zeta } - \tilde { n } _ { 1 } - \tilde { t } _ { 3 } ) / 2 + ( m _ { 4 } + m _ { 3 } + m _ { 2 } + m _ { 8 } ) / 2 ;$$

h 3 = ( g 2 + e 2 + e 1 + a 2 -˜ t 4 -ζ -˜ n 1 -˜ ) t 3 / 2 + ( m 7 + m 5 + m 4 + m / 3 ) 2;

$$h _ { 4 } = ( \overline { g } _ { 2 } + \overline { e } _ { 2 } + \overline { a } _ { 2 } - \tilde { t } _ { 4 } - \overline { \zeta } - \tilde { n } _ { 1 } - \tilde { t } _ { 3 } ) / 2 + ( m _ { 7 } + m _ { 5 } + m _ { 4 } + m _ { 8 } ) / 2 ;$$

$$h _ { 5 } = ( \overline { g } _ { 1 } + \overline { e } _ { 2 } + \overline { a } _ { 1 } - \overline { \varepsilon } + \overline { a } _ { 2 } ) / 2 + ( m _ { 6 } + m _ { 5 } + m _ { 4 } + m _ { 2 } ) / 2 ;$$

$$h _ { 6 } = ( \overline { g } _ { 1 } + \overline {$$

Proposition 2.5.2. The lattice M 2 2 , is generated over Q by the elements ˜ n , n 1 ˜ 2 , n ˜ 3 , n ˜ 6 m ,.. . , m 1 8 . To get a set of Z -generators, add the elements

$$\mu _ { 1 } = \frac { m _ { 1 } + \dots + m _$$

Remark 2.5.3 . We won't give the explicit change of basis of H 2 ( ˜ Y , Z ) between ˜ obtained Y as quotient of ˜ Z τ or ˜ Z ϕ . Notice however that the lattice M 2 2 , is preserved by the change of basis: indeed, it is generated over Q by the exceptional curves introduced in the resolution of X/ ( Z / 2 Z ) 2 , which do not depend on the intermediate quotient.

## 2.6 A lattice-theoretic characterization of the intermediate quotient surface

Let X be a K3 surface with a symplectic action of G = ( Z / 2 Z ) 2 , ι ∈ G an involution: we give a lattice-theoretic characterization of ˜ , Z the resolution of singularities of X/ι .

Theorem 2.6.1. Let ˜ Z be a K3 surface such that rk NS Z ( ( ˜ )) = 12 . There exists a K3 surface X with a symplectic action of ( Z / 2 Z ) 2 such that ˜ Z is birationally equivalent to the quotient X/ι , where ι is one of the generators of ( Z / 2 Z ) 2 , if and only if NS Z ( ˜ ) = Γ 2 2 , (see Def. 2.2.5).

Proof. The 'only if' is true by construction (see Sections 2.1, 2.2). Conversely, suppose NS Z ( ˜ ) = Γ 2 2 , : the embedding Ω 2 ⊂ Γ 2 2 , described in Remark 2.3.2 defines a symplectic involution ˆ on ρ ˜ , Z and the N´ eron-Severi lattice of the resolution ˜ Y of Y = ˜ Z/ρ ˆ is a copy of M 2 2 , , as proved in Proposition 2.4.1; therefore, by Nikulin's results in [5] the surface ˜ Y is the resolution of the quotient of a K3 surface X by the symplectic action of ( Z / 2 Z ) 2 , and it holds NS X ( ) = Ω 2 2 , . The action of ( Z / 2 Z ) 2 on Ω 2 2 , defines three copies of Ω 2 ⊂ Ω 2 2 , , as described in Section 1.3; choose one of them, and define ι as the involution for which it is the co-invariant lattice (this is always possible by the Torelli

theorem). Taking the quotient map π ι : X → X/ι and the resolution ˜ X/ι , it then holds NS X/ι ( ˜ ) /similarequal NS Z ( ˜ ).

## 2.7 The dual maps

In this section, we give a description of the maps π ∗ τ : H 2 ( ˜ Z , τ Z ) → H 2 ( X, Z ) , π ∗ ϕ : H 2 ( ˜ Z , ϕ Z ) → H 2 ( X, Z ) , π ∗ 2 2 , : H 2 ( ˜ Y , Z ) → H 2 ( X, Z ); we're going to use the descriptions of H 2 ( ˜ Z , τ Z ) , H 2 ( ˜ Z , ϕ Z ) , H 2 ( ˜ Y , Z ) provided in Sections 2.1, 2.2, 2.3 respectively. The proof of the following proposition is similar to that of [9, Prop. 4.4.1].

Proposition 2.7.1. 1. The map π ∗ τ : H 2 ( ˜ Z , τ Z ) → H 2 ( X, Z ) annihilates N , and acts on π τ ∗ W ⊂ π τ ∗ Λ K3 as follows

/d47

/d47

✤

$$& \ a c t s \ o n \ \pi _ { \tau * } \mathcal$$

/d47

/d47

Its action can be extended to π τ ∗ Λ K3 adding the following elements (and their respective image to the image lattice): ˆ = ( α -ˆ a 1 + ˆ a 2 + ˆ c 1 -ˆ c 2 -ˆ e 1 + ˆ e 2 + ˆ f 1 -ˆ ) f 2 / , 3 ˆ = (ˆ γ x -ˆ y -ˆ e 1 + ˆ e 2 -ˆ f 1 + ˆ ) f 2 / , 3 ˆ = (ˆ δ x -2ˆ c 1 + 2ˆ c 2 -ˆ e 1 + ˆ ) e 2 / , 3 ˆ = ε (ˆ + ˆ x c 1 -ˆ c 2 -ˆ e 1 + ˆ ) e 2 / , 3 ˆ = (ˆ + ˆ ζ x c 1 +ˆ + ˆ + ˆ c 2 e 1 e 2 + ˆ) ε / 2 + ˆ v / 2 2 + ˆ g 1 + ˆ g , 2 ˆ = η (ˆ + ˆ x c 1 +ˆ + ˆ + ˆ c 2 e 1 e 2 + ˆ) ε / 2 + (ˆ g 1 -ˆ g 2 -ˆ ) v 2 / 3 + ˆ v / 1 6 ;

to extend the action to H 2 ( ˜ Z , τ Z ) , add also s , . . . , s 1 6 as in (2.1.1) .

- 2. The map π ∗ ϕ : H 2 ( ˜ Z , ϕ Z ) → H 2 ( X, Z ) annihilates N , and acts on π ϕ ∗ W ⊂ π ϕ ∗ Λ K3 as follows

/d47

/d47

✤

$$\begin{array} {$$

/d47

/d47

Its action can be extended to π ϕ ∗ Λ K3 adding the following elements (and their respective image to the image lattice): ˜ = (˜ γ x -˜ y -2˜ +2˜ ) 3 e 1 e 2 / , ˜ = (˜ δ x -˜ b 1 + ˜ b 2 -˜ a 1 +˜ a 2 -˜ +˜ ) 3 e 1 e 2 / , ˜ = (˜ ε x -˜+ ˜+ ˜ z w b 1 -˜ b 2 -˜ +˜ ) 3 e 1 e 2 / , ˜ = (˜+ ˜+ ˜ ζ x z b 1 + ˜ b 2 +˜ + e 1 ˜ + ˜) e 2 ε / 2+˜ v / 2 2+˜ +˜ g 1 g , 2 ˜ = (˜+ ˜ η x b 1 + ˜ b 2 +˜ +˜ +˜) 2+(˜ e 1 e 2 ε / g 1 -˜ g 2 -˜ ) v 2 / 3+˜ v / 1 6; to extend the action to H 2 ( ˜ Z , ϕ Z ) , add also t 1 , . . . , t 6 as in (2.2.1) .

- 3. The map π ∗ 2 2 , H 2 ( ˜ Y , Z ) → H 2 ( X, Z ) annihilates M 2 2 , , and acts on π 2 2 , ∗ W ⊂ π 2 2 , ∗ Λ K3 as follows

/d47

/d47

✤

$$\pi _ { 2, 2 } ^ { * } \colon \quad A _ { 2 }$$

/d47

/d47

Its action can be extended to π ϕ ∗ Λ K3 adding the following elements (and their respective image to the image lattice): γ = ( x -y -2 e 1 + 2 e 2 ) / , 3 ε = ( x + a 1 -a 2 -e 1 + e 2 ) / , 3 ζ = ( x + a 1 + a 2 + e 1 + e 2 + v 2 + ) 2 + ε / g 1 + g 2 , η = ( x + a 1 + a 2 + e 1 + e 2 + ) 2 + ( ε / g 1 -g 2 -v 2 ) / 3 + v / 1 6 ;

to extend the action to H 2 ( ˜ Y , Z ) , add also γ/ 2 and k , . . . , k 1 6 (see (2.3.1) ).

Corollary 2.7.2. The image of the map π ∗ 2 2 , : H 2 ( ˜ Y , Z ) → H 2 ( X, Z ) is not primitive in H 2 ( X, Z ) : indeed, it is a sublattice of index 2 3 of the invariant lattice for the action of ( Z / 2 Z ) 2 on X .

Proof. The elements π ∗ 2 2 , ( k 4 + k 6 ) / , π 2 ∗ 2 2 , ( a 1 + + ) 2 ε η / , π ∗ 2 2 , γ/ 4 are integral in H 2 ( X, Z ), but they do not belong to π ∗ 2 2 , H 2 ( ˜ Y , Z ): indeed, a Z -basis of the latter is given by the image via π ∗ 2 2 , of { a , γ/ 1 2 , ε, η, k 1 , . . . , k 6 } .

## 3 Projective families of K3 surfaces with a symplectic action of ( Z / 2 Z ) 2 and their quotients

It was already known by Nikulin that the correspondence between surfaces X that admit a symplectic action of an abelian group G , and surfaces ˜ Y that are the resolution of singularities of X/G , is actually a moduli spaces correspondence [5, Prop. 2.9]: X is characterized by the existence of a primitive embedding Ω G ↪ → NS X ( ), which is an equality in the most general case, and similarly ˜ , Y with the lattice M G instead of Ω G . In the projective case the moduli spaces split in irreducible components, that we'll refer to as projective families , classified by the N´ron-Severi lattice of their general member: e this will always be for X a cyclic overlattice of Ω G ⊕〈 2 d 〉 , with d &gt; 0 (see [5, Prop. 2.9], [4, Prop. 2.2]), for ˜ Y a cyclic overlattice of M G ⊕ 〈 2 d 〉 . The correspondence between families of X and ˜ Y has been completely described in [4],[2] for symplectic involutions, and in [1] and [9] for symplectic automorphisms of order 3 and 4. We remark that, while there is always a bijection between families of X and ˜ , Y the same does not hold for the intermediate quotient surface ˜ that appears when Z G has order 4.

Remark 3.0.1 . Notation. Consider the lattice S ⊕ 〈 k 〉 , where S is a negative definite even lattice and 〈 k 〉 is an even positive definite lattice with intersection matrix [ k ]. Denote ( S ⊕〈 〉 k ) ′ any overlattice of index 2 of S ⊕〈 〉 k obtained by adding to the list of generators a class of the form ( s + κ / ) 2, with s ∈ S and κ the generator of 〈 k 〉 . When two such overlattices are not isomorphic as abstract lattices, they will be denoted as

( S ⊕〈 〉 k ) ′ ( ) i , i = 1 2. Similarly, denote ( , S ⊕〈 〉 k ) /star any overlattice of index 4 obtained by a class of the form ( s + κ / ) 4.

Lemma 3.0.2. Let X be a projective K3 surface with a symplectic action of G , such that NS X ( ) has signature (1 , rk (Ω G )) . Then we may assume that L = Ω ⊥ NS X ( ) G is ample.

Proof. We may assume that L is effective up to a sign change, because L 2 &gt; 0. Then, since there are no ( -2)-classes in L ⊥ = Ω G [5, Thm. 4.3], any ( -2)-curve has class of the form nL + w with n ∈ N and w ∈ Ω : classes of this form have positive intersection G with L , so L is ample by the Nakai-Moishezon criterion.

## 3.1 Projective families of K3 surfaces with a symplectic action of ( Z / 2 Z ) 2

In this section, we're going to classify the cyclic overlattices of Ω 2 2 , ⊕ 〈 2 d 〉 that admit a primitive embedding in Λ K3 , and are therefore admissible as N´ron-Severi lattice of e the general member of a projective family of K3 surfaces with a symplectic action of ( Z / 2 Z ) 2 .

Definition 3.1.1 . Consider an even lattice S , its group of isometries O S ( ) and its discriminant group A S with discriminant form q S . We define on A S the equivalence relation ≈ S : two elements r, s ∈ A S are in relation if there exists an isometry ϕ ∈ O A ( S ) induced by an isometry ϕ ∈ O S ( ) such that ϕ r ( ) = s ; we will denote the equivalence classes for this relation with the triple ( k, g, n ), where k is the order of the subgroup 〈 r 〉 ⊂ A S , g = q S ( r ) ∈ Q / 2 Z is the square of the generator, and n is the cardinality of the class. In our case, this triple is sufficient to uniquely identify each class.

Proposition 3.1.2. The equivalence classes for ≈ Ω 2 2 , are given in the table below: for each one we give a representative element x ( k,g,n ) in terms of the generators of Ω 2 2 , ⊂ H 2 ( X, Z ) as described in Section 1.3.

| class ( k, g, n )   | representative x ( k,g,n )             |
|---------------------|----------------------------------------|
| (2 , 0 , 108)       | ( f 1 - e 1 + h 1 - g 1 ) / 2          |
| (2 , 0 , 3)         | ( b 1 + c 1 + d 1 - 3 a 1 ) / 2        |
| (2 , 1 , 108)       | ( w + f 1 - e 1 + h 1 - g 1 ) / 2      |
| (2 , 1 , 36)        | w/ 2                                   |
| (4 , 1 / 2 , 384)   | ( b 1 + c 1 + d 1 - 3 a 1 ) / 4        |
| (4 , 3 / 2 , 384)   | ( b 2 + c 2 + d 2 - 3 a 2 ) / 4 + w/ 2 |

Theorem 3.1.3. Let X be a projective K3 surface that admits a symplectic action of ( Z / 2 Z ) 2 , such that rk NS X ( ( )) = 13 . Then, using the notation in Remark 3.0.1, NS X ( )

is one of the following lattices:

- 1. for every d ∈ N , NS X ( ) = Ω 2 2 , ⊕〈 2 d 〉 ;
- 2. for any d = 0 4 there are two non-isometric possibilities: NS X ( ) = (Ω 2 2 , ⊕〈 2 d 〉 ) ′ ( ) i , i = 1 2 , ;
- 3. for d = 2 4 , NS X ( ) = (Ω 2 2 , ⊕〈 2 d 〉 ) ′ : this lattice is uniquely determined by d and the index, but it admits two non isomorphic embeddings ι 1 , ι 2 : Ω 2 2 , ↪ → NS X ( ) , i.e. no isometry ψ ∈ O (Ω 2 2 , ) exists such that ι 1 = ι 2 ◦ ψ ;
- 4. For d = 16 4 or d = 16 -4 , NS X ( ) = (Ω 2 2 , ⊕〈 2 d 〉 ) /star , uniquely determined by d and the index of the overlattice.

Each of these lattices admits a unique primitive embedding in Λ K3 up to isometries of the latter.

Proof. By [6, Prop. 1.4.1.a], overlattices of index k of Ω 2 2 , ⊕〈 2 d 〉 correspond to isotropic elements in A Ω 2 2 , ⊕〈 2 d 〉 of the form ( L + v /k ) , where L generates 〈 2 d 〉 and v ∈ Ω 2 2 , is chosen up to the action of O (Ω 2 2 , ) on A Ω 2 2 , . Requiring ( L + ) 2 to be isotropic, we see v / that for each value of d modulo 4, v/ 2 belongs to one of the classes of ≈ Ω 2 2 , containing elements of order 2. We then check if the corresponding overlattices are isometric as lattices or not, by comparing their discriminant forms. A similar argument applies for overlattices of index 4. The uniqueness of the primitive embedding of each admissible NS X ( ) in Λ K3 follows by [6, Prop. 1.14.1].

In Table 2 we exhibit a primitive embedding in Λ K3 of each of the lattices presented in Theorem 3.1.3, following the same process as [9, Ex. 5.1.6]: having fixed the primitive embedding of Ω 2 2 , in H 2 ( X, Z ) /similarequal Λ K3 as described in Section 1.3, we provide examples of primitive classes L ∈ Ω ⊥ Λ K3 2 2 , such that L 2 = 2 d and L glues to one of the elements x ( k,g,n ) in Proposition 3.1.2, i.e. ( L + x ( k,g,n ) ) /k is integral in Λ K3 . Then we define NS X ( ) as the primitive saturation of Ω 2 2 , ⊕ Z L . We remark that we may assume that L is ample by Lemma 3.0.2, and that using x (2 1 108) , , and x (2 1 36) , , we obtain isomorphic N´ eron-Severi lattices.

## 3.2 Projective families of K3 surfaces that arise as resolution of the singularities of X/ ( Z / 2 Z ) 2

Proposition 3.2.1. We give a representative element x ( k,g,n ) for each non-trivial equivalence class ( k, g, n ) for ≈ M 2 2 , (see Definition 3.1.1) in terms of the generators of M 2 2 , introduced in Proposition 2.4.1.

| class ( k, g, n )   | representative x ( k,g,n )    |
|---------------------|-------------------------------|
| (2 , 0 , 54)        | ( n 1 + n 4 + m 1 + m 7 ) / 2 |

| (2 , 0 , 1)      | ( m 3 + m 4 + m 5 + m 6 ) / 2             |
|------------------|-------------------------------------------|
| (2 , 1 / 2 , 64) | ( n 1 + m 1 + m 6 ) / 2                   |
| (2 , 1 , 54)     | ( n 1 + n 4 + m 1 + m 4 + m 5 + m 7 ) / 2 |
| (2 , 1 , 18)     | ( m 3 + m 6 ) / 2                         |
| (2 , 3 / 2 , 64) | ( n 1 + m 1 + m 3 + m 4 + m 5 ) / 2       |

Theorem 3.2.2. Let ˜ Y be a projective K3 surface such that rk NS Y ( ( ˜ )) = 13 and NS Y ( ˜ ) contains primitively M 2 2 , and 〈 2 e , 〉 e ∈ N \ { 0 } . Then, NS Y ( ˜ ) is one of the following:

- 1. for every e , NS Y ( ˜ ) = M 2 2 , ⊕〈 2 e 〉 ;
- 2. for every e , NS Y ( ˜ ) is an overlattice of index 2 of M 2 2 , ⊕〈 2 e 〉 . If e = 0 4 there are two non isomorphic possibilities for NS Y ( ˜ ) : ( M 2 2 , ⊕ 〈 2 e 〉 ) ′ ( ) i , i = 1 2 , ; if e = 4 2 NS Y ( ˜ ) = ( M 2 2 , ⊕〈 2 e 〉 ) ′ is unique, but there are two non isomorphic embeddings of M 2 2 , in NS Y ( ˜ ) . If e is odd, this overlattice uniquely determined by e and the index of the overlattice.

Each of these lattices admits a unique primitive embedding in Λ K3 .

Proof. The overlattices of M 2 2 , ⊕ 〈 2 e 〉 are in bijection with the equivalence classes for ≈ M 2 2 , . Fix the primitive embedding M 2 2 , ↪ → Λ K3 as in Proposition 2.4.1: the orthogonal complement of M 2 2 , is the overlattice of index 2 of the lattice ( π 2 2 , ) ∗ H 2 ( X, Z ) obtained by the addition of γ/ 2 as generator. We can therefore use as generators of the lattice 〈 2 e 〉 = M ⊥ NS Y ( ˜ ) 2 2 , one of the primitive classes L in H 2 ( ˜ Y , Z ) obtained from ( π 2 2 , ) ∗ L (with L one of those in Table 2): all the equivalence classes for the relation ≈ M 2 2 , have a representative (not necessarily x ( k,g,n ) ) that glues to one of the L . We then check the uniqueness of the primitive embedding of the resulting NS Y ( ˜ ) in Λ K3 using again [6, Prop. 1.14.1].

Theorem 3.2.3. In the following table we give the correspondence between families of K3 surfaces X with a symplectic action of ( Z / 2 Z ) 2 , and ˜ Y which is the minimal resolution of the quotient X/ ( Z / 2 Z ) 2 , with the notation of Remark 3.0.1. The primitive classes L ∈ NS Y ( ˜ ) that generate the sublattices 〈 nd 〉 as stated are indicated in curly brackets.

Table 2: Examples of ample classes

| d                     | NS ( X )                                                | L                                                                                                                 | ( k, g, n )                |
|-----------------------|---------------------------------------------------------|-------------------------------------------------------------------------------------------------------------------|----------------------------|
| any d                 | Ω 2 , 2 ⊕〈 2 d 〉                                      | L 0 ( d ) := ( x +2 y - e 1 - f 1 + e 2 + f 2 ) / 3 + dy                                                          |                            |
| d = 4 h d = 4( h - 1) | (Ω 2 , 2 ⊕〈 2 d 〉 ) ′ (1) (Ω 2 , 2 ⊕〈 2 d 〉 ) ′ (2) | L (1) 2 , 0 ( h ) := 2 L 0 ( h ) + e 1 + f 1 + g 1 + h 1 L (2) 2 , 0 ( h ) := 2 L 0 ( h ) + a 1 + b 1 + c 1 + d 1 | (2 , 0 , 108) (2 , 0 , 3)  |
| d = 4 h +2            | (Ω 2 , 2 ⊕〈 2 d 〉 ) ′                                 | L ( a ) 2 , 2 ( h ) := 2 L 0 ( h ) + v 2 + f 1 + e 1 + h 1 + g 1 L ( b ) 2 , 2 ( h ) := 2 L 0 ( h ) + v 2         | (2 , 1 , 108) (2 , 1 , 36) |
| d = 16 h - 4          | (Ω 2 , 2 ⊕〈 2 d 〉 ) /star                             | L 4 , - 4 ( h ) := 4 L 0 ( h ) + a 1 + b 1 + c 1 + d 1                                                            | (4 , 1 / 2 , 384)          |
|                       | /star                                                   | L 4 , 4 ( h ) := 4 L 0 ( h ) +2 v 2 + a 2 + b 2 + c 2 + d 2                                                       | (4 , 3 / 2 , 384)          |
| d = 16 h +4           | (Ω 2 , 2 ⊕〈 2 d 〉 )                                   |                                                                                                                   |                            |

| NS ( X )   | NS ( X )                                                                                               | NS ( ˜ Y )                                                                                             | NS ( ˜ Y )                                                                                                                                |
|------------|--------------------------------------------------------------------------------------------------------|--------------------------------------------------------------------------------------------------------|-------------------------------------------------------------------------------------------------------------------------------------------|
| d = 2 1    | Ω 2 , 2 ⊕〈 2 d 〉                                                                                     | ( M 2 , 2 ⊕〈 2 d 〉 ) ′                                                                               | { L = π 2 , 2 ∗ L 0 / 2 }                                                                                                                 |
| d = 4 2    | Ω 2 , 2 ⊕〈 2 d 〉 (Ω 2 , 2 ⊕〈 2 d 〉 ) ′                                                             | ( M 2 , 2 ⊕〈 8 d 〉 ) ′ ( M 2 , 2 ⊕〈 2 d 〉 ) ′                                                      | { L = π 2 , 2 ∗ L 0 } { L = π 2 , 2 ∗ L ( k ) 2 , 2 2 , k = a, b }                                                                        |
| d = 8 0    | Ω 2 , 2 ⊕〈 2 d 〉 (Ω 2 , 2 ⊕〈 2 d 〉 ) ′ (1) (Ω 2 , 2 ⊕〈 2 d 〉 ) ′ (2)                             | ( M 2 , 2 ⊕〈 8 d 〉 ) ′ ( M 2 , 2 ⊕〈 2 d 〉 ) ′ M 2 , 2 ⊕〈 d/ 2 〉                                  | { L = π 2 , 2 ∗ L 0 } { L = π 2 , 2 ∗ L (1) 2 , 0 2 } { L = π 2 , 2 ∗ L (2) 2 , 0 4 }                                                     |
| d = 8 4    | Ω 2 , 2 ⊕〈 2 d 〉 (Ω 2 , 2 ⊕〈 2 d 〉 ) ′ (1) (Ω 2 , 2 ⊕〈 2 d 〉 ) ′ (2) (Ω 2 , 2 ⊕〈 2 d 〉 ) /star | ( M 2 , 2 ⊕〈 8 d 〉 ) ′ ( M 2 , 2 ⊕〈 2 d 〉 ) ′ (1) ( M 2 , 2 ⊕〈 2 d 〉 ) ′ (2) M 2 , 2 ⊕〈 d/ 2 〉 | { L = π 2 , 2 ∗ L 0 } { L = π 2 , 2 ∗ L (1) 2 , 0 2 } { L = π 2 , 2 ∗ L (2) 2 , 0 2 } { L = π 2 , 2 ∗ L 4 , - 4 4 , π 2 , 2 ∗ L 4 , 4 4 } |

## 3.3 Projective families of K3 surfaces that are intermediate quotient for the symplectic action of ( Z / 2 Z ) 2

The general projective surface ˜ that is the resolution of singularities of Z X/ ι 〈 〉 , where ι is one of the involutions in ( Z / 2 Z ) 2 , is polarized with the lattice Γ 2 2 , ⊕〈 2 x , 〉 x &gt; 0 or one of its cyclic overlattices.

The lattice Γ 2 2 , is described in Definition 2.2.5; since its orthogonal complement in H 2 ( ˜ Z, Z ) is π ι ∗ H 2 ( X, Z ), one may expect that any cyclic overlattice of Γ 2 2 , ⊕ 〈 2 x 〉 be realized with Γ ⊥ 2 2 , = π ι ∗ L (divided by an appropriate integer if not already primitive) for any ι , and L chosen among those in Table 2: however, consider the following Remark

## 3.3.1.

/negationslash

/negationslash

Remark 3.3.1 . The quotient maps induced by the three involutions τ, ϕ, ρ act on the classes (2 0 108) and (2 1 36) for , , , , ≈ Ω 2 2 , by killing some elements, and not others: for instance, consider w/ 2 and ( e 1 -f 1 ) / 2, both belonging to the class (2 , 1 36); , π τ ∗ w/ 2 = 0 = π ρ ∗ w/ 2, while π ϕ ∗ w/ 2 = 0; similarly, π ϕ ∗ ( e 1 -f 1 ) / 2 = 0 = π ρ ∗ ( e 1 -f 1 ) / 2, while π τ ∗ ( e 1 -f 1 ) / 2 = 0. We remark that with our choice of representatives x ( k,g,n ) , L (1) 2 0 , and L ( b ) 2 2 , glue to elements on which π τ ∗ and π ρ ∗ act the same, while π ϕ ∗ acts differently. Therefore, to the end of describing the correspondence of projective families of X,Z ˜ and ˜ , Y it is necessary and sufficient that we consider the maps in diagram (2.0.1).

/negationslash

Remark 3.3.2 . The lattices S , S τ ϕ associated to the classes π τ ∗ L (1) 2 0 , and π ϕ ∗ L (1) 2 0 , are not isomorphic, and there is no other L = L (1) 2 0 , in Table 2 such that π τ ∗ L and π ϕ ∗ L realize S ϕ and S τ respectively. The same holds with L ( b ) 2 2 , in place of L (1) 2 0 , .

Theorem 3.3.3. Let ˜ Z be a K3 surface such that rk NS Z ( ( ˜ )) = 13 ; suppose NS Z ( ˜ ) admits a primitive embedding of both Γ 2 2 , and a class of positive square 2 x that generates Γ ⊥ NS Z ( ˜ ) 2 2 , . Then NS Z ( ˜ ) is one of the following:

- 1. for any x , Γ 2 2 , ⊕〈 2 x 〉 ;
- 2. for any x = 0 4 there are two non-isomorphic overlattices of index 2: (Γ 2 2 , ⊕〈 2 x 〉 ) ′ ( ) i , i = 1 2 , ;
- 3. for x = 2 (Γ 4 , 2 2 , ⊕〈 2 x 〉 ) ′ , uniquely determined by x and the index of the overlattice;
- 4. for x = 4 (Γ 8 , 2 2 , ⊕〈 2 x 〉 ) /star , uniquely determined by x and the index of the overlattice.

Proof. An element of the form ( E + α / ) 2, with E 2 = 2 x and α ∈ Γ 2 2 , , has integer, even self-intersection only if x is even, and an element of the form ( E + α / ) 4 only if x = 4. 8 The equivalence classes for ≈ Γ 2 2 , are presented in the following table:

| class ( k, g, n )   | repr. x ( k,g,n ) ∈ π τ ∗ H 2 ( X, Z )     | repr. y ( k,g,n ) ∈ π ϕ ∗ H 2 ( X, Z )   |
|---------------------|--------------------------------------------|------------------------------------------|
| (2 , 0 , 3)         | ˆ f 1 - ˆ e 1 2                            | n 2 + n 3 + n 4 + n 8 2                  |
| (2 , 0 , 8)         | n 3 + n 5 + n 6 + n 8 2                    | n 3 + n 4 + n 5 + n 7 2                  |
| (2 , 0 , 12)        | ˆ f 1 - ˆ e 1 + n 4 + n 6 +ˆ c 1 - ˆ a 1 2 | ˜ b 1 - ˜ a 1 + n 6 + n 7 2              |
| (2 , 1 , 4)         | ˆ f 1 - ˆ e 1 + n 4 + n 6 2                | n 6 + n 7 2                              |
| (2 , 1 , 12)        | ˆ c 1 - ˆ a 1 2                            | ˜ b 1 - ˜ a 1 2                          |
| (2 , 1 , 24)        | n 3 + n 6 + n 5 + n 8 +ˆ c 1 - ˆ a 1 2     | ˜ b 1 - ˜ a 1 + n 3 + n 4 + n 5 + n 7 2  |

| (4 , 1 / 2 , 96)   | 3( ˆ f 1 - ˆ e 1 ) 4 + n 6 + n 8 2        | n 2 + n 3 +3 n 4 +3 n 8 4 + x ′ 1 2             |
|--------------------|-------------------------------------------|-------------------------------------------------|
| (4 , 3 / 2 , 96)   | ˆ f 1 - ˆ e 1 4 + n 3 + n 4 + n 5 + n 6 2 | n 2 +3 n 3 + n 4 +3 n 8 4 + x ′ 1 + n 5 + n 6 2 |

The corresponding overlattice of Γ 2 2 , ⊕ 〈 2 x 〉 can be realized having fixed either the embedding Γ 2 2 , /similarequal Γ τ ⊂ H 2 ( ˜ Z , τ Z ) as in Definition 2.1.3, or Γ 2 2 , /similarequal Γ ϕ ⊂ H 2 ( ˜ Z , ϕ Z ) as in Lemma 2.2.4 (these are equivalent up to isometries of Λ K3 ); then, proceed as in the proof of Theorem 3.2.2.

Theorem 3.3.4. We give the correspondence between families of projective K3 surfaces X with a symplectic action of ( Z / 2 Z ) 2 , ˜ Z the resolution of the singularities of the quotient X/ι , with ι any of the generators of ( Z / 2 Z ) 2 , and ˜ Y as in Theorem 3.2.3. The notation is explained in Remark 3.0.1, and for NS Z ( ˜ ) the class generating 〈 nd 〉 is indicated in curly brackets.

| NS ( X )   | NS ( X )                                                                   | NS ( ˜ Z )                                                                 | NS ( ˜ Z )                                                                                                            | NS ( ˜ Y )                                                                     |
|------------|----------------------------------------------------------------------------|----------------------------------------------------------------------------|-----------------------------------------------------------------------------------------------------------------------|--------------------------------------------------------------------------------|
| d = 2 1    | Ω 2 , 2 ⊕〈 2 d 〉                                                         | (Γ 2 , 2 ⊕〈 4 d 〉 ) ′                                                    | { π ι ∗ L 0 }                                                                                                         | ( M 2 , 2 ⊕〈 2 d 〉 ) ′                                                       |
| d = 4 2    | Ω 2 , 2 ⊕〈 2 d 〉 (Ω ⊕〈 2 d 〉 ) ′                                       | (Γ 2 , 2 ⊕〈 4 d 〉 ) ′ (1) (Γ 2 , 2 ⊕〈 4 d 〉 ) ′ (2) Γ ⊕〈 d 〉         | { π ι ∗ L 0 } { π ι ∗ L ( a ) 2 , 2 } { π L ( b ) / 2 }                                                               | ( M 2 , 2 ⊕〈 8 d 〉 ) ′ ( M ⊕〈 2 d 〉 ) ′                                    |
| d = 8 0    | Ω 2 , 2 ⊕〈 2 d 〉 (Ω 2 , 2 ⊕〈 2 d 〉 ) ′ (1) ′ (2)                       | (Γ 2 , 2 ⊕〈 4 d 〉 ) ′ (1) Γ 2 , 2 ⊕〈 d 〉 (Γ 2 , 2 ⊕〈 4 d 〉 ) ′ (2) ′ | { π ι ∗ L 0 } { π ϕ ∗ L (1) 2 , 0 / 2 } { π τ ∗ L (1) 2 , 0 } { (2) }                                                 | ( M 2 , 2 ⊕〈 8 d 〉 ) ′ ( M 2 , 2 ⊕〈 2 d 〉 ) ′                              |
| d = 8 4    | Ω 2 , 2 ⊕〈 2 d 〉 (Ω 2 , 2 ⊕〈 2 d 〉 ) ′ (1) (Ω 2 , 2 ⊕〈 2 d 〉 ) ′ (2) | (Γ 2 , 2 ⊕〈 4 d 〉 ) ′ (1) Γ 2 , 2 ⊕〈 d 〉 (Γ 2 , 2 ⊕〈 4 d 〉 ) ′ (2) ′ | { π ι ∗ L 0 } { π ϕ ∗ L (1) 2 , 0 / 2 } { π τ ∗ L (1) 2 , 0 } { π ι ∗ L (2) 2 , 0 / 2 } π ι ∗ L 4 , - 4 π ι ∗ L 4 , 4 | ( M 2 , 2 ⊕〈 8 d 〉 ) ′ ( M 2 , 2 ⊕〈 2 d 〉 ) ′ (1) ( M , ⊕〈 2 d 〉 ) ′ (2) |
| d = 8 4    | (Ω 2 , 2 ⊕〈 2 d 〉 ) /star                                                | (Γ 2 , 2 ⊕〈 d 〉 )                                                        | { 2 , 2 }                                                                                                             | 2 2 M 2 , 2 ⊕〈 d/ 2 〉                                                        |
| d = 8 4    |                                                                            |                                                                            |                                                                                                                       |                                                                                |

## 4 Projective models

Given a nef and big divisor L on X , there is a natural map φ | L | : X → P ( H 0 ( X,L ) ∗ ) /similarequal P n , with n = L / 2 2+1. Any automorphism σ of X that preserves L induces an action on

P ( H 0 ( X,L ) ∗ ): in particular, if σ is finite of order m , we can split H 0 ( X,L ) in eigenspaces corresponding to the m -roots of unity.

Remark 4.0.1 . In our case, the action of τ on H 0 ( X,L ) could actually have order 2 k for some integer k &gt; 1, being such that

↦

$$\tau ^ { 2 } \colon ( x _ { 0 }, \dots, x _ { n } ) \mapsto \xi _ { k } ( x _ { 0 }, \dots, x _ { n } )$$

for ξ k a root of unity (and similarly ϕ ). However, if instead of τ and ϕ we consider the action of τ k and ϕ h on H 0 ( X,L ), we don't have any control on the order of their composition ρ - we only know that it divides kh . Therefore, the group G acting on H 0 ( X,L ) may be bigger than ( Z / 2 Z ) 2 ; if so, we can only conclude that G is dihedral, as τ k and ϕ h are involutions.

## 4.1 Eigenspaces of τ, ϕ

Let X be a K3 surface with a symplectic action of ( Z / 2 Z ) 2 = 〈 τ, ϕ 〉 , let L be the ample class that generates Ω ⊥ NS X ( ) 2 2 , . If ˜ Z , Z τ ˜ ϕ are the minimal resolution of X/τ,X/ϕ respectively, we have

$$H ^ { 0 } ( X, L ) & = \pi _ { \tau } ^ { * } H ^ { 0 } ( \tilde { Z } _ { \tau }, E _ { 1 } ) \oplus \pi _ { \tau } ^ { * } H ^ { 0 } ( \tilde { Z } _ { \tau }, E _ { 2 } ) \\ & = \pi _ { \varphi } ^ { * } H ^ { 0 } ( \tilde { Z } _ { \varphi }, F _ { 1 } ) \oplus \pi _ { \varphi } ^ { * } H ^ { 0 } ( \tilde { Z } _ { \varphi }, F _ { 2 } ) ;$$

the nef divisors E , E 1 2 ∈ NS Z ( ˜ τ ) , F 1 , F 2 ∈ NS Z ( ˜ ϕ ) that satisfy these equalities for the choices of ample classes introduced in Table 2 are defined in the following tables, with the exceptional curves numbered as in Sections 2.1, 2.2; for the general symplectic involution on a K3 surface, this is done in [4, Prop. 2.7].

| L 0 ( d )   | d = 2 0                                       | d = 2 1                                                   |
|-------------|-----------------------------------------------|-----------------------------------------------------------|
| E 1         | π τ ∗ L 0 / 2 - ( n 3 + n 5 + n 6 + n 8 ) / 2 | π τ ∗ L 0 / 2 - ( n 1 + n 8 ) / 2                         |
| E 2         | π τ ∗ L 0 / 2 - ( n 1 + n 2 + n 4 + n 7 ) / 2 | π τ ∗ L 0 / 2 - ( n 2 + n 3 + n 4 + n 5 + n 6 + n 7 ) / 2 |
| F 1         | π ϕ ∗ L 0 / 2 - ( n 1 + n 2 + n 6 + n 8 ) / 2 | π ϕ ∗ L 0 / 2 - ( n 6 + n 7 ) / 2                         |
| F 2         | π ϕ ∗ L 0 / 2 - ( n 3 + n 4 + n 5 + n 7 ) / 2 | π ϕ ∗ L 0 / 2 - ( n 1 + n 2 + n 3 + n 4 + n 5 + n 8 ) / 2 |

| L (1) 2 , 0 ( h )   | any h                                                 | L (2) 2 , 0 ( h )   | any h                                    |
|---------------------|-------------------------------------------------------|---------------------|------------------------------------------|
| E 1                 | π τ ∗ L (1) 2 , 0 / 2 - ( n 1 + n 4 + n 6 + n 8 ) / 2 | E 1                 | π τ ∗ L (2) 2 , 0 / 2                    |
| E 2                 | π τ ∗ L (1) 2 , 0 / 2 - ( n 2 + n 3 + n 5 + n 7 ) / 2 | E 2                 | π τ ∗ L (2) 2 , 0 / 2 - ∑ 8 i =1 n i / 2 |
| F 1                 | π ϕ ∗ L (1) 2 , 0 / 2                                 | F 1                 | π ϕ ∗ L (2) 2 , 0 / 2                    |
| F 2                 | π ϕ ∗ L (1) 2 , 0 / 2 - ∑ 8 i =1 n i / 2              | F 2                 | π ϕ ∗ L (2) 2 , 0 / 2 - ∑ 8 i =1 n i / 2 |

| L ( a ) 2 , 2 ( h )   | any h                                                   | L 4 , ± 4 ( h )   | any h                                  |
|-----------------------|---------------------------------------------------------|-------------------|----------------------------------------|
| E 1                   | π τ ∗ L ( a ) 2 , 2 / 2 - ( n 1 + n 4 + n 6 + n 8 ) / 2 | E 1               | π τ ∗ L 4 , ± 4 / 2                    |
| E 2                   | π τ ∗ L ( a ) 2 , 2 / 2 - ( n 2 + n 3 + n 5 + n 7 ) / 2 | E 2               | π τ ∗ L 4 , ± 4 / 2 - ∑ 8 i =1 n i / 2 |
| F 1                   | π τ ∗ L ( a ) 2 , 2 / 2 - ( n 1 + n 5 + n 6 + n 7 ) / 2 | F 1               | π ϕ ∗ L 4 , ± 4 / 2                    |
| F 2                   | π τ ∗ L ( a ) 2 , 2 / 2 - ( n 2 + n 3 + n 4 + n 8 ) / 2 | F 2               | π ϕ ∗ L 4 , ± 4 / 2 - ∑ 8 i =1 n i / 2 |

| L ( b ) 2 , 2 ( h )   | any h                                                                                                       |
|-----------------------|-------------------------------------------------------------------------------------------------------------|
| E 1                   | π τ ∗ L ( b ) 2 , 2 / 2                                                                                     |
| E 2                   | π τ ∗ L ( b ) 2 , 2 / 2 - ∑ 8 i =1 n i / 2                                                                  |
| F 1                   | π ϕ ∗ L ( b ) 2 , 2 / 2 - ( n 1 + n 5 + n 6 + n 7 ) / 2 π ϕ ∗ L ( b ) , / 2 - ( n 2 + n 3 + n 4 + n 8 ) / 2 |
| F 2                   | 2 2                                                                                                         |

## 4.2 Eigenspaces and classes in NS Y ( ˜ )

To determine the action of ( Z / 2 Z ) 2 , we then have to consider how the residual involutions ˆ ˆ on ϕ, τ ˜ Z , Z τ ˜ ϕ act on the divisors E , F i j defined in Section 4.1. In particular, recall from Propositions 2.3.1, 2.5.1 the action of the residual involutions on the exceptional curves:

$$\hat { \varphi } = & ( n _ { 1 }, n _ { 8 } ) ( n _ { 2 }, n _ { 5 } ) ( n _ { 3 }, n _ { 7 } ) ( n _ { 4 }, n _ { 6 } ) \\ \hat { \tau } = & ( n _ { 1 }, n _ { 5 } ) ( n _ { 2 }, n _ { 4 } ) ( n _ { 3 }, n _ { 8 } ) ( n _ { 6 }, n _ { 7 } ).$$

Theorem 4.2.1. Let X be a K3 surface that admits a symplectic action of ( Z / 2 Z ) 2 , and let L be an ample divisor on X invariant for this action. We distinguish two cases:

- 1. Let L 2 = 2 d = 0 4 , NS X ( ) = Ω 2 2 , ⊕ Z L : then the action of ( Z / 2 Z ) 2 on P ( H 0 ( X,L ) ∗ ) is induced by an action of D 4 , the dihedral group of order 8, on H 0 ( X,L ) as follows.

$$\mathcal { D } _ { 4 } = \langle a, b \ | \ a ^ { 2 } = b ^ { 2 } = 1, ( a b ) ^ { 4 } = 1 \rangle$$

↦

$$\begin{matrix} \end{matrix}$$

↦

$$a \colon & ( x _ { 0 } \colon \cdots \colon x _ { d / 2 + 1 } \colon x _ { d / 2 + 2 } \colon \cdots \colon x _ { d + 2 } ) \mapsto ( x _ { 0 } \colon \cdots \colon x _ { d / 2 + 1 } \colon - x _ { d / 2 + 2 } \colon \cdots \colon - x _ { d + 2 } ) \\ & b \colon & ( x _ { 0 } \colon \cdots \colon x _ { d / 2 + 1 } \colon x _ { d / 2 + 2 } \colon \cdots \colon x _ { d + 2 } ) \mapsto ( x _ { d / 2 + 2 } \colon \cdots \colon x _ { d + 2 } \colon x _ { 0 } \colon \cdots \colon x _ { d / 2 + 1 } ).$$

- 2. For any other deformation family, there exist divisors D ,.. . , D 1 4 ∈ NS Y ( ˜ ) such that

$$H ^ { 0 } ( X, L ) = \pi _ { 2, 2 } ^ { * } H ^ { 0 } ( \tilde { Y }, D _ { 1 } ) \oplus \pi _ { 2, 2 } ^ { * } H ^ { 0 } ( \tilde { Y }, D _ { 2 } ) \oplus \pi _ { 2, 2 } ^ { * } H ^ { 0 } ( \tilde { Y }, D _ { 3 } ) \oplus \pi _ { 2, 2 } ^ { * } H ^ { 0 } ( \tilde { Y }, D _ { 4 } )$$

and each π ∗ 2 2 , H 0 ( ˜ Y , D i ) corresponds to one of the subspaces which are the intersection of eigenspaces for the action of the two generators of ( Z / 2 Z ) 2 on H 0 ( X,L ) :

$$H ^ { 0 } ( X, L ) = V _ { + + } \oplus V _ { + - } \oplus V _ { - + } \oplus V _ { - - }.$$

Proof. For each projective family, consider for the associated ample class L in Table 2 the divisors E , E 1 2 defined in section 4.1: the residual involution ˆ on ϕ ˜ Z τ fixes E , E 1 2 in all cases, except for L 0 ( d ) and d even, when they are exchanged. The same holds for the action of ˆ on τ ˜ Z ϕ and the divisors F , F 1 2 .

If E , F i i are fixed by the residual involution, we can split H 0 ( X,L ) in four subspaces V + + , ( L , V ) + , -( L , V ) -, + ( L , V ) - -, ( L ), each spanned by π ∗ 2 2 , H 0 ( ˜ Y , D i ) for some nef divisors of the quotient surface: the proof follows the same argument of the cyclic case (see [9, Prop. 6.1.1]), using the divisors D i defined in the tables below. In Table 5 the Euler characteristics of the D i are computed.

| L 0 ( d )                   | d = 4 1                                                                                                                                                                                                                                     | d = 4 1                     | d = 4 3                                                                                                                                                                                                                                                         |
|-----------------------------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|-----------------------------|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| D 1 D 2 D 3 D 4             | π 2 , 2 ∗ L 0 4 - n 1 + m 1 + m 3 + m 4 + m 5 2 π 2 , 2 ∗ L 0 4 - n 1 + m 2 + m 6 + m 7 + m 8 2 π 2 , 2 ∗ L 0 4 - n 2 + n 3 + n 4 + m 2 + m 3 + m 4 + m 5 + m 7 + m 2 π 2 , 2 ∗ L 0 4 - n 2 + n 3 + n 4 + m 1 + m 6 2                       | 8                           | π 2 , 2 ∗ L 0 4 - n 1 + m 1 + m 6 2 π 2 , 2 ∗ L 0 4 - n 1 + m 2 + m 3 + m 4 + m 5 + m 7 + m 8 2 π 2 , 2 ∗ L 0 4 - n 2 + n 3 + n 4 + m 2 + m 6 + m 7 + m 8 2 π 2 , 2 ∗ L 0 4 - n 2 + n 3 + n 4 + m 1 + m 3 + m 4 + m 5 2                                         |
| L (1) 2 , 0 ( h ) h = 2 0   | L (1) 2 , 0 ( h ) h = 2 0                                                                                                                                                                                                                   | L (1) 2 , 0 ( h ) h = 2 0   | h = 2 1                                                                                                                                                                                                                                                         |
| D 1 D 2 D 3 D 4             | π 2 , 2 ∗ L 2 , 0 4 - n 1 + n 4 + m 1 + m 7 2 π 2 , 2 ∗ L (1) 2 , 0 4 - n 1 + n 4 + m 2 + m 3 + m 4 + m 5 + m 2 π 2 , 2 ∗ L (1) 2 , 0 4 - n 2 + n 3 + m 2 + m 8 2 π 2 , 2 ∗ L (1) 2 , 0 4 - n 2 + n 3 + m 1 + m 3 + m 4 + m 5 + m 2         | (1) 6 + m 8 6 + m 7         | π 2 , 2 ∗ L (1) 2 , 0 4 - n 1 + n 4 + m 1 + m 3 + m 4 + m 5 + m 6 + m 7 2 π 2 , 2 ∗ L (1) 2 , 0 4 - n 1 + n 4 + m 2 + m 8 2 π 2 , 2 ∗ L (1) 2 , 0 4 - n 2 + n 3 + m 2 + m 3 + m 4 + m 5 + m 6 + m 8 2 π 2 , 2 ∗ L (1) 2 , 0 4 - n 2 + n 3 + m 1 + m 7 2         |
| L (2) 2 , 0 ( h )           | L (2) 2 , 0 ( h )                                                                                                                                                                                                                           | h = 2 0                     | h = 2 1                                                                                                                                                                                                                                                         |
| L ( a ) 2 , 2 ( h ) h = 2 0 | L ( a ) 2 , 2 ( h ) h = 2 0                                                                                                                                                                                                                 | L ( a ) 2 , 2 ( h ) h = 2 0 | h = 2 1                                                                                                                                                                                                                                                         |
| D 1 D 2 D 3 D 4             | π 2 , 2 ∗ L ( a ) 2 , 2 4 - n 1 + n 4 + m 1 + m 4 + m 5 + 2 π 2 , 2 ∗ L ( a ) 2 , 2 4 - n 1 + n 4 + m 2 + m 3 + m 6 + 2 π 2 , 2 ∗ L ( a ) 2 , 2 4 - n 2 + n 3 + m 2 + m 4 + m 5 + 2 π 2 , 2 ∗ L ( a ) 2 , 2 4 n 2 + n 3 + m 1 + m 3 + m 6 + | m 7 m 8 m 8 - m 7 2         | π 2 , 2 ∗ L ( a ) 2 , 2 4 - n 1 + n 4 + m 1 + m 3 + m 6 + m 7 2 π 2 , 2 ∗ L ( a ) 2 , 2 4 - n 1 + n 4 + m 2 + m 4 + m 5 + m 8 2 π 2 , 2 ∗ L ( a ) 2 , 2 4 - n 2 + n 3 + m 2 + m 3 + m 6 + m 8 2 π 2 , 2 ∗ L ( a ) 2 , 2 4 - n 2 + n 3 + m 1 + m 4 + m 5 + m 7 2 |

| L ( b ) 2 , 2 ( h )   | h = 2 0 h = 2 1                                                                                                                                                                                                                   | h = 2 0 h = 2 1                                                                                                                                                                                         |
|-----------------------|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| D 1 D 2 D 3 D 4       | π 2 , 2 ∗ L ( b ) 2 , 2 4 - m 3 + m 6 2 π 2 , 2 ∗ L ( b ) 2 , 2 4 - m 1 + m 2 + m 4 + m 5 + m 7 + m 8 2 2 , 2 ∗ L ( b ) 2 , 2 4 - ∑ j n j + m 1 + m 2 + m 3 + m 6 + m 7 + m 8 2 π 2 , 2 ∗ L ( b ) 2 , 2 4 - ∑ j n j + m 4 + m 5 2 | π 2 , 2 ∗ L ( b ) 2 , 2 4 - m 4 + m 5 2 ∗ L ( b ) 2 , 2 4 - m 1 + m 2 + m 3 + m 6 + m 7 + m 8 2 b ) 2 - ∑ j n j + m 1 + m 2 + m 4 + m 5 + m 7 + m 8 2 π 2 , 2 ∗ L ( b ) 2 , 2 4 - ∑ j n j + m 3 + m 6 2 |

| L 4 , ± 4 ( h )   | any h                           |
|-------------------|---------------------------------|
| D 1               | π 2 , 2 ∗ L ± 4 , 4 4           |
| D 2               | π 2 , 2 ∗ L ± 4 , 4 4 - µ 1     |
| D 3               | π 2 , 2 ∗ L ± 4 , 4 4 - µ 2     |
| D 4               | π 2 , 2 ∗ L ± 4 , 4 4 - µ 1 - µ |

Table 5: Euler characteristics

|         |   no. | L             | χ ( D 1 )   | χ ( D 2 )   | χ ( D 3 )    | χ ( D 4 )   |
|---------|-------|---------------|-------------|-------------|--------------|-------------|
| d = 4 1 |     1 | L 0           | ( d +3) / 4 | ( d +3) / 4 | ( d - 1) / 4 | ( d +3) / 4 |
| d = 4 3 |     2 | L 0           | ( d +5) / 4 | ( d +1) / 4 | ( d +1) / 4  | ( d +1) / 4 |
| d = 4 2 |     3 | L ( a ) 2 , 2 | ( d +2) / 4 | ( d +2) / 4 | ( d +2) / 4  | ( d +2) / 4 |
| d = 4 2 |     4 | L ( b ) 2 , 2 | ( d +6) / 4 | ( d +2) / 4 | ( d - 2) / 4 | ( d +2) / 4 |
| d = 8 0 |     5 | L (1) 2 , 0   | d/ 4 +1     | d/ 4        | d/ 4 +1      | d/ 4        |
| d = 8 0 |     6 | L (2) 2 , 0   | d/ 4 +2     | d/ 4        | d/ 4         | d/ 4        |
| d = 8 4 |     7 | L (1) 2 , 0   | d/ 4        | d/ 4 +1     | d/ 4         | d/ 4 +1     |
| d = 8 4 |     8 | L (2) 2 , 0   | d/ 4 +1     | d/ 4 +1     | d/ 4 - 1     | d/ 4 +1     |
| d = 8 4 |     9 | L ± 4 , 4     | d/ 4 +2     | d/ 4        | d/ 4         | d/ 4        |

Consider now the projective family with ample class L = L 0 ( d ), d even: then we cannot split H 0 ( X,L ) in four subspaces, but rather we find

$$H ^ { 0 } ( X, L ) = V _ { + } \oplus V _ { - }$$

where V + , V -are the eigenspaces for one of the generators of ( Z / 2 Z ) 2 (say τ ), and the other generator (say ϕ ) acts exchanging the two.

On H 0 ( X,L ) we have an action as follows: choose a basis { x , . . . , x 0 d +2 } of H 0 ( X,L ) such that

↦

$$\tau \colon ( x _ { 0 }, \dots, x _ { d / 2 + 1 }, x _ { d / 2 + 2 }, \dots, x _ { d + 2 } ) \mapsto \xi _ { k } ( x _ { 0 }, \dots, x _ { d / 2 + 1 }, - x _ { d / 2 + 2 }, \dots, - x _ { d + 2 } )$$

with ξ k some root of unity, so that τ 2 is the multiplication by ξ 2 k ; then it holds

$$\varphi ( x _ { i } ) = & \xi _ { m } f _ { i } ( x _ { d / 2 + 2 }, \dots, x _ { d + 2 } ) \text{ for every } i = 0, \dots d / 2 + 1, \\ \varphi ( x _ { j } ) = & \xi _ { m } f _ { j } ( x _ { 0 }, \dots, x _ { d / 2 + 1 } ) \text{ for every } j = d / 2 + 2, \dots d + 2,$$

with ξ m another root of unity and f i linear such that ϕ 2 is the multiplication by ξ 2 m ; composing them, we get

$$\varphi ( \tau ( x _ { i } ) ) = & \xi _ { k } \xi _ { m } f _ { i } ( x _ { d / 2 + 2 }, \dots, x _ { d + 2 } ) \text{ for every } i = 0, \dots, d / 2 + 1 \\ \varphi ( \tau ( x _ { j } ) ) = & - \xi _ { k } \xi _ { m } f _ { j } ( x _ { 0 }, \dots, x _ { d / 2 + 1 } ) \text{ for every } j = d / 2 + 2, \dots, d + 2,$$

while

$$\tau ( \varphi ( x _ { i } ) ) = & - \xi _ { k } \xi _ { m } f _ { i } ( x _ { d / 2 + 2 }, \dots, x _ { d + 2 } ) \text{ for every } i = 0, \dots, d / 2 + 1 \\ \tau ( \varphi ( x _ { j } ) ) = & \xi _ { k } \xi _ { m } f _ { j } ( x _ { 0 }, \dots, x _ { d / 2 + 1 } ) \text{ for every } j = d / 2 + 2, \dots, d + 2,$$

so it holds τϕ = -ϕτ . Therefore ( τϕ ) 2 is the multiplication by -ξ 2 k ξ 2 m . Substituting ˜ = τ τ k , and ˜ = ϕ ϕ m , we still get (˜ ˜) τϕ 2 = -id , so ˜˜ has order 4 and ˜ τϕ τ, ϕ ˜ span the dihedral group D 4 (as anticipated in Remark 4.0.1); by projectivizing, the action of D 4 loses faithfulness, and we see on P ( H 0 ( X,L ) ∗ ) an action of ( Z / 2 Z ) 2 via the maps described in the statement.

## Proposition 4.2.2. In case 2 of Theorem 4.2.1 it holds

$$\pi _ { \tau } ^ { * } H ^ { 0 } ( \tilde { Z } _ { \tau }, E _ { 1 } ) = & \pi _ { 2, 2 } ^ { * } H ^ { 0 } ( \tilde { Y }, D _ { 1 } ) \oplus \pi _ { 2, 2 } ^ { * } H ^ { 0 } ( \tilde { Y }, D _ { 2 } ), \\ \pi _ { \tau } ^ { * } H ^ { 0 } ( \tilde { Z } _ { \tau }, E _ { 2 } ) = & \pi _ { 2, 2 } ^ { * } H ^ { 0 } ( \tilde { Y }, D _ { 3 } ) \oplus \pi _ { 2, 2 } ^ { * } H ^ { 0 } ( \tilde { Y }, D _ { 4 } ).$$

Proof. See the proof of [9, Prop. 6.2.2].

Remark 4.2.3 . To define D ,. . . , D 1 4 we chose to use the description of ˜ Y as resolution of the quotient ˜ Z /ϕ τ ˆ. The same results can be obtained using ˜ Z /τ ϕ ˆ instead.

## 4.3 Projective models with L 2 = 4

There are three families of K3 surfaces X polarized with an ample class L such that L 2 = 4: for one of them L = L 0 (2), so the action of ( Z / 2 Z ) 2 is as described in case 1 of Theorem 4.2.1; the other two correspond to no. 3 , no. 4 of Table 5, and we can read from there the dimension of the eigenspaces for the action of ( Z / 2 Z ) 2 . Moreover, from Theorem 3.3.4, and in particular looking at the degree of ˆ L ι (the pseudo-ample

class on the intermediate quotient surface ˜ Z , ι ι ∈ { τ, ϕ } ) and of L on ˜ , we can see the Y dimension of the projective space in which the quotients are naturally embedded.

To give equations for the general member of each family, we proceed by firstly defining an action of ( Z / 2 Z ) 2 = 〈 τ, ϕ 〉 on the correct projective space ( P 3 for L = L 0 (2) , L ( a ) 2 2 , (0), P 1 × P 1 if L = L ( b ) 2 2 , (0)) with eigenspaces of the expected dimension; we then find a family of K3 surfaces which are invariant for this action, noting that each family should have dimension 7 = 20 -( rk (Ω 2 2 , ) + 1). To check the simplecticity of the action of ( Z / 2 Z ) 2 , it is sufficient to check that each of the two generators is a symplectic involution, i.e. that each fixes 8 points on X .

Let L = L 0 (2): consider the action of ( Z / 2 Z ) 2 on P 3 given by

↦

↦

$$( z _ { 0 } \colon z _ { 1 } \colon z _ { 2 } \colon z _ { 3 } ) & \stackrel { \tau } { \mapsto } ( - z _ { 0 } \colon - z _ { 1 } \colon z _ { 2 } \colon z _ { 3 } ) \\ & \stackrel { \varphi } { \mapsto } ( z _ { 2 } \colon z _ { 3 } \colon z _ { 0 } \colon z _ { 1 } )$$

then ϕ exchanges the eigenspaces of τ , which is the action described in Section 4.1 for L 0 (2). Quartic surfaces invariant for this action are of the form

$$Q _ { 3 } \colon & q ( z _ { 0 }, z _ { 1 } ) + q ( z _ { 2 }, z _ { 3 } ) + \alpha z _ { 0 } ^ { 2 } z _ { 2 } ^ { 2 } + \beta z _ { 0 } z _ { 1 } z _ { 2 } z _ { 3 } + \gamma z _ { 1 } ^ { 2 } z _ { 3 } ^ { 2 } + \delta ( z _ { 0 } ^ { 2 } z _ { 2 } z _ { 3 } + z _ { 0 } z _ { 1 } z _ { 2 } ^ { 2 } ) + \\ & + \varepsilon ( z _ { 0 } ^ { 2 } z _ { 3 } ^ { 2 } + z _ { 1 } ^ { 2 } z _ { 2 } ^ { 2 } ) + \zeta ( z _ { 0 } z _ { 1 } z _ { 3 } ^ { 2 } + z _ { 1 } ^ { 2 } z _ { 2 } z _ { 3 } ) = 0 ;$$

↦

they depend on 11 parameters, but taking into account projectivities of the form ( z 0 : z 1 : z 2 : z 3 ) → ( az 0 + bz 1 : cz 0 + dz 1 : az 2 + bz 3 : cz 2 + dz 3 ) which commute with the given action of ( Z / 2 Z ) 2 we find a moduli space of dimension 7. This is therefore a complete family of K3 surfaces with a symplectic action of ( Z / 2 Z ) 2 . The quotient surfaces Z , Z τ ϕ admit projective models as complete intersection of 3 quadrics in P 5 , as in [4, § 3.4]. Since L 2 = 16, we expect ˜ Y ⊂ P 9 , so it doesn't admit a natural model as complete intersection of hypersurfaces.

no. 3 : Consider the action of ( Z / 2 Z ) 2 on P 3 given by

↦

↦

$$( x _ { 0 } \colon x _ { 1 } \colon x _ { 2 } \colon x _ { 3 } ) & \stackrel { \tau } { \mapsto } ( - x _ { 0 } \colon - x _ { 1 } \colon x _ { 2 } \colon x _ { 3 } ) \\ & \stackrel { \varphi } { \mapsto } ( - x _ { 0 } \colon x _ { 1 } \colon - x _ { 2 } \colon x _ { 3 } )$$

then the eigenspaces are all of the same dimension. The family of quartic surfaces

$$Q _ { 4 } \colon \sum _ { i = 0 } ^ { 3 } a _ { i } x _ { i } ^ { 4 } + \sum _ { \substack { i, j = 0.. 3 \\ j > i } } b _ { i j } x _ { i } ^ { 2 } x _ { j } ^ { 2 } + x _ { 0 } x _ { 1 } x _ { 2 } x _ { 3 },$$

whose general member is smooth, is invariant for the action above, and it depends on 7 projective parameters up to the action of projectivities that commute with τ, ϕ .

Since the action of τ, ϕ is the same up to a change of coordinates, the quotient surfaces Z , Z τ ϕ will be described by similar equations. As in [4, § 3.4], we consider the map given

by the degree 2 invariants under the action of τ

↦

$$( x _ { 0 } \colon x _ { 1 } \colon x _ { 2 } \colon x _ { 3 } ) \mapsto ( x _ { 0 } ^ { 2 } \colon x _ { 1 } ^ { 2 } \colon x _ { 2 } ^ { 2 } \colon x _ { 3 } ^ { 2 } \colon x _ { 0 } x _ { 1 } \colon x _ { 2 } x _ { 3 } ) = ( z _ { 0 } \colon z _ { 1 } \colon z _ { 2 } \colon z _ { 3 } \colon z _ { 4 } \colon z _ { 5 } ) ;$$

then the surface Q 4 maps to the complete intersection of quadrics in P 5

$$\text{face} \, Q _ { 4 } \, & \text{maps to the complete intersection of quadrics in} \, \mathbb { P } ^ { \circ } \\ R _ { 4 } \colon & \begin{cases} z _ { 4 } ^ { 2 } = z _ { 0 } z _ { 1 } \\ z _ { 5 } ^ { 2 } = z _ { 1 } z _ { 2 } \\ z _ { 4 } z _ { 5 } = - \sum _ { i = 0 } ^ { 3 } a _ { i } z _ { i } ^ { 2 } - \sum _ { \substack { i, j = 0 \dots 3 } \\ j > i } \end{cases} b _ { i j } z _ { i } z _ { j } \\ \text{rojective model for} \, Z _ { \tau }. \, \text{Now, the automorphism} \, \hat { \rho } \, \text{ on} \, \mathbb { P } ^ { 5 } \text{ is}$$

which is a projective model for Z τ . Now, the automorphism ˆ on ρ P 5 is

↦

$$\hat { \rho } \colon ( z _ { 0 } \colon z _ {$$

the surface R 4 has the same form as in [4, § 3.7], so its quotient under the action of ˆ, ρ which is a projective model for Y , is the quartic surface in P 3 = ( z 0 : z 1 : z 2 : z 3 )

$$S _ { 4 } \colon z _ { 0 } z _ { 1 } z _ { 2$$

no. 4 : we have L ( b ) 2 2 , (0) = H 1 + H 2 with

$$\begin{array} {$$

Hence, by [8, Thm. 5.2]

$$\phi _ { | L _ { 2, 2 } ^ { ( b ) } ( 0 ) |$$

is a double cover ramified along a curve B of bidegree (4 , 4) invariant for the action of ( Z / 2 Z ) 2 on P 1 × P 1 given by

↦

↦

$$( x _ { 0 } \colon x _ { 1 } ) ( y _ { 0 } \$$

↦

curves of this type depend on 7 projective parameters when taking into account the action of the group of projectivities of the form ( x 0 : x 1 )( y 0 : y 1 ) → ( x 0 : ax 1 )( y 0 : ay 1 ), which are the only ones that commute with the action above. We take the quotient of X by the action of τ as described in [4, § 3.5]: the surface Z τ is a double cover of P 2 = ( x y 0 0 : x y 0 1 + x y 1 0 : x y 1 1 ) = ( w 0 : w 1 : w 2 ) ramified along a sextic curve C , the

union of the image B τ of B , which is a quartic curve, and the conic curve invariant for the action of ˆ induced on ϕ P 2 ,

↦

$$\hat { \varphi } \colon ( w _ { 0 } \colon w _ { 1 } \colon w _ { 2 } ) \mapsto ( w _ { 0 } \colon - w _ { 1 } \colon w _ { 2 } ).$$

To find a projective model of Y , we map Z τ to the space of invariants of degree two of ˆ, ϕ P 3 = ( w 2 0 : w 2 1 : w 2 2 : w w 0 2 ) = ( z 0 : z 1 : z 2 : z 3 ): then Y is a double cover of the surface z z 0 2 = z 2 3 ramified along the cubic curve C (the image of the sextic curve C ).

Now, let's go back and describe Z ϕ : the action of ϕ on P 1 × P 1 fixes 4 points, which do not belong to the branch curve: therefore, if we write X : t 2 = b , where b is the polynomial of bidegree (4,4) such that B : b = 0, to have 8 fixed points on X we find that ϕ acts as the identity on t . Proceeding as in case no. 3 in [9, § 6.3] we embed P 1 × P 1 in P 3 via the Segre map

↦

$$( x _ { 0 } \colon x _ { 1 } ) ( y _ { 0 } \colon y _ { 1 } ) \mapsto ( x _ { 0 } y _ { 0 } \colon x _ { 0 } y _ { 1 } \colon x _ { 1 } y _ { 0 } \colon x _ { 1 } y _ { 1 } ) = ( z _ { 0 } \colon z _ { 1 } \colon z _ { 2 } \colon z _ { 3 } ) \colon$$

now X is a double cover of z z 0 3 = z z 1 2 , ramified along the image of B . We consider the induced action of ϕ on the weighted projective space P (2 1 1 1 1), , , , ,

↦

$$\varphi \colon ( t ; z _ { 0 } \colon z _ { 1 } \colon z _ { 2 } \colon z _ { 3 } ) \mapsto ( t ; z _ { 0 } \colon - z _ { 1 } \colon - z _ { 2 } \colon z _ { 3 } ) ;$$

the space of invariants of degree 2 for ϕ is P 6 = ( t : z 2 0 : z 2 1 : z 2 2 : z 2 3 : z z 0 3 : z z 1 2 ) = ( t : a 0 : a 1 : a 2 : a 3 : a 4 : a 5 ), and the quotient surface is described by

$$\i o t i e n t \, s u r f a c e \, \begin{cases} a _ { 4 } = a _ { 5 } \\ a _ { 0 } a _ { 3 } = a _ { 4 } ^ { 2 } \\ a _ { 1 } a _ { 2 } = a _ { 5 } ^ { 2 } \\ t ^ { 2 } = \overline { b } \end{cases}$$

where b is now a quadric: this is therefore a projective model of Z ϕ as the complete intersection of 3 quadrics in P 5 , as we expected since ( π ϕ ∗ L ( b ) 2 2 , (0)) 2 = 8. The action of ˆ on τ P 5 changes sign to t and exchanges a 1 with a 2 , fixing the other coordinates. Let

$$\mathbb { P } ^ { 5 } = ( t \colon c _ { 0 } \colon c _ { 1 } \colon c _ { 2 } \colon c _ { 3 } \colon c _ { 4 } ) = ( t \colon a _ { 0 } \colon a _ { 1 } + a _ { 2 } \colon a _ { 1 } - a _ { 2 } \colon a _ { 3 } \colon a _ { 4 } ) \colon$$

similarly to the surface S 4 of case no. 4 in [9, § 6.3], to compute the quotient surface we project from the line /lscript = ( λ : 0 : 0 : µ : 0 : 0) on the invariant space for ˆ: τ

$$\pi \, \colon \mathbb { P } ^ { 5 } \rightarrow \mathbb { P } ^ { 3 } = ( c _ { 0 } \, \colon c _ { 1 } \, \colon c _ { 3 } \, \colon c _ { 4 } ).$$

Then, Z ϕ covers 4:1 the surface c 2 0 = c 3 c 4 , and ˆ exchanges pairwise the points on each τ regular fiber: therefore we get again a model of Y as double cover of a quadric surface in P 3 , as expected.

## References

- [1] A. Garbagnati, Y. Prieto. Order 3 symplectic automorphisms on K3 surfaces . Math. Z. 301 (2022), 225-253.
- [2] A. Garbagnati, A. Sarti. Projective models of K3 surfaces with an even set . Adv. Geom. 8 (2008), 413-440.
- [3] A. Garbagnati, A. Sarti. Elliptic fibrations and symplectic automorphisms on K3 surfaces . Comm. Algebra 37 (2009), 3601-3631.
- [4] B. van Geemen, A. Sarti. Nikulin involutions on K3 surfaces . Math. Z. 255 (2007), 731-753.
- [5] V. V. Nikulin. Finite groups of automorphisms of K¨hlerian K3 surfaces a . Russian: Trudy Moskov. Mat. Obshch. 38 (1979), 75-137. English translation: Trans. Moscow Math. Soc. 38 (1980), 71-135.
- [6] V. V. Nikulin. Integral symmetric bilinear forms and some of their applications . Russian: Izv. Akad. Nauk SSSR Ser. Mat. 43 , No. 1 (1979), 111-177. English translation: Math. USSR Izv. 14 , No. 1 (1980), 103-167.
- [7] K. Nishiyama. The Jacobian fibrations on some K3 surfaces and their Mordell-Weil groups . Japan. J. Math. 22 , No. 2 (1996), 293-347.
- [8] B. Saint-Donat. Projective models of K3 surfaces . Am. J. Math. 96 (1974), 602-639.
- [9] B. Piroddi. K3 surfaces with a symplectic automorphism of order 4 . Math. Nachr. (2024), 1-31.
- [10] M. Sch¨tt, T. Shioda. u Elliptic surfaces . Adv. Stud. Pure Math 60 (2010), 51-160.
Benedetta Piroddi
K3 surfaces with a symplectic action of $(\mathbb Z/2\mathbb Z)^2$
We study the symplectic action of the group (Z/2Z)^2 on a K3 surface X: we
describe its action on H^2(X,Z) and the maps induced in cohomology by the
rational quotient maps; we give a lattice-theoretic characterization of the
resolution of singularities of the quotient X/i, where i is any of the
involutions in (Z/2Z)^2. Assuming X is projective, we describe the
correspondence between irreducible components of its moduli space, and those of
the resolution of singularities of its quotients: this being the first
description of this correspondence for a non-cyclic action, we see new
phenomena, of which we provide explicit examples assuming $X$ has a
polarization of degree 4.