Classification of \(K3\)-surfaces with involution and maximal symplectic symmetry (Q636750)

The aim of the paper under review is to classify \(K3\) surfaces with a finite symplectic action which is compatible with a nonsymplectic involution with non-empty fixed-point set. This is a subdivisional classification of finite symplectic automorphism groups of \(K3\) surfaces (due to Mukai) from the point of view of a symmetry, that is, whether or not there exists a \(K3\) surface with finite symplectic action which admits a nonsymplectic involution with a non-empty fixed locus. When a \(K3\) surface \(X\) admits a finite symplectic automorphism \(G\), the author of the paper carefully studies the fixed locus \(B:=\mathrm{Fix}_X(\sigma)\) of the nonsymplectic involution \(\sigma\) on \(X\) so that the geometry of the \(G\)-quotient space \(Y:=X\slash\sigma\) is explicitly described: a del Pezzo surface. In doing so, the image of \(B\) in the \(G\)-minimal model \(Y_{\mathrm{min}}\) and the intersection of \(B\) with the union of Mori fibres are well studied. In this way, it is determined which del Pezzo surfaces admit a given group action and what equation \(X\) would have. The proof depends greatly on Riemann-Hurwitz and the Euler characteristic formula and by leading some contradiction. In conclusion, equations of \(K3\) surfaces are given if they admit such involution, and otherwise, so is proved.