K3 surfaces with a symplectic automorphism of order 4

Benedetta Piroddi
DOI: https://doi.org/10.1002/mana.202300052
2024-03-14
Mathematische Nachrichten
Abstract:Given X , a K3 surface admitting a symplectic automorphism τ of order 4, we describe the isometry τ∗ on H2(X,Z) . Having called Z∼ and Y∼ , respectively, the minimal resolutions of the quotient surfaces Z=X/τ2 and Y=X/τ , we also describe the maps induced in cohomology by the rational quotient maps X→Z∼,X→Y∼ and Y∼→Z∼ : With this knowledge, we are able to give a lattice‐theoretic characterization of Z∼ , and find the relation between the Néron–Severi lattices of X,Z∼ and Y∼ in the projective case. We also produce three different projective models for X,Z∼ and Y∼ , each associated to a different polarization of degree 4 on X .
mathematics
What problem does this paper attempt to address?