The modularity of \(K3\) surfaces with non-symplectic group actions (Q993349): Difference between revisions

Let \(X\) be a complex \(K3\) surface. An automorphism \(g\) of \(X\) that does not fix the (up to scaling) unique 2-form \(\omega\) on \(X\) is called non-symplectic. Since \(h^{2,0}(X)=1\) we have that \(g^*(\omega)=\alpha(g)\omega\), for some \(\alpha(g)\in \mathbb C\). \textit{V. V. Nikulin} [Tr. Mosk. Mat. O.-va 38, 75--137 (1979; Zbl 0433.14024)] proved that \(\alpha(\Aut(X))\) is a finite cyclic group of order \(k\). Vorontsov and Kondo produced a finite list of possible values for \(k\). One can show that \(\varphi(k)\) divides the rank of the transcendental lattice \(T_X\) of \(X\). Kondo showed that for each \(k\) that occurs there is precisely one \(K3\) surfaces such that \(\alpha(\Aut(X))\) has order \(k\) and that the rank of \(T_X\) equals \(\varphi(k)\). In this paper for each \(k\) a model of \(X\) over \(\mathbb Q\) is given. For this model the authors calculate the Galois representation on the transcendental lattice of \(X\). Each of these representations is of \(CM\) type. This result is obtained by exploiting the fact that each \(K3\) surface that occurs is dominated by a Fermat surface.