The field of moduli of singular \(K3\) surfaces (Q2309435)

It is known that any CM elliptic curves admit the field of moduli which is a Galois extension of the rational field. An analogous argument makes it possible to consider the fields of moduli for singular abelian and \(K3\) surfaces. For a singular \(K3\) surface \(X\) with its CM field \(K\), let \(G_K\) and \(G_\mathbb{Q}\) respectively subgroups of \({\mathrm {Gal}}(\bar{K}\slash K)\) and of \({\mathrm {Gal}}(\mathbb{C}\slash\mathbb{Q})\) such that the action on \(X\) is invariant in the class of \(X\). Denote by \(M_K\) and \(M_\mathbb{Q}\) respectively the field of \(K\)-moduli and absolute field of moduli, that are by definition subfields of \(\bar{K}\) and of \(\bar{\mathbb{Q}}\) preserved by the actions of \(G_K\) and \(G_\mathbb{Q}\). Following preliminary studies of the groups \(G_K\) and \(G_\mathbb{Q}\), the author can prove that the absolute field \(M_\mathbb{Q}\) is a Galois extension of the field \(M_K\), and that the fields \(M_K\) and \(M_\mathbb{Q}\) are respectively extensions of \(K\) and of \(\mathbb{Q}\) of degree being the genus of the transcendental lattice of \(X\). It is concluded that there exist infinitely many singular \(K3\) surfaces with a field of \(K\)-moduli.