On projective K3 surfaces $\mathcal{X}$ with $\mathrm{Aut}(\mathcal{X})=(\mathbb{Z}/2\mathbb{Z}{)}^2$

Adrian Clingher, Andreas Malmendier, Xavier Roulleau

We prove that every K3 surface with automorphism group $(\mathbb{Z}/2\mathbb{Z}{)}^2$ admits an explicit birational model as a double sextic surface. This model is canonical for Pica…