Finite symplectic actions on the \(K3\) lattice (Q2894137)

An automorphism of a \(K3\) surface \(X\) is called symplectic if its induced action on \(H^{2,0}\) is trivial. Let \(G\) be a finite group such that \(G\neq Q_8,T_{24},\mathfrak{S}_5, L_2(7),\mathfrak{A}_6\). The main result is the following:NEWLINENEWLINELet \(X_1\) and \(X_2\) be \(K3\) surfaces, such that for \(i=1,2\) the group \(Aut(X_i)\) contains a subgroup \(G_i\cong G\) acting symplectically on \(X_i\) then there exists an isomorphism of lattices \(\alpha:H^2(X_1,\mathbb{Z})\to H^2(X_2,\mathbb{Z})\), such that \(\alpha G_1\alpha^{-1}=G_2\).NEWLINENEWLINEThe proof is based on an elaboration of Kondo's proof of Mukai's classification of the maximal groups of symplectic automorphisms of \(K3\) surfaces. The proof uses a lot of lattice theory.