On Kummer type construction of supersingular \(K3\) surfaces in characteristic 2 (Q953004)

The authors prove a classification result about supersingular \(K3\) surfaces of Artin invariant two in characteristic two. Namely, each such surface \(X'\) is isomorphic to one of the surface \(X=X_{rs}\) obtained by the reviewer via a Kummer-type construction from the selfproduct of the rational cuspidal curve [J. Algebr. Geom. 16, No. 2, 305--346 (2007; Zbl 1120.14029)]. This complements a result of Ogus about characteristic \(p>2\) [\textit{A. Ogus}, Astérisque 64, 3--86 (1979; Zbl 0435.14003)]. The idea of the proof is the following: Given \(X'\), choose any \(X=X_{rs}\) of Artin invariant two. According to its definition, the surface \(X\) has a degree two morphism to the projective plane. A result of \textit{A. N. Rudakov} and \textit{I. R. Shafarevich} [J. Sov. Math. 22, 1476--1533 (1983); translation from Itogi Nauki Tekh., Ser. Sovrem. Probl. Mat. 18, 115--207 (1981; Zbl 0518.14015)] ensures that there is an isomorphism of Néron--Severi groups \(NS(X)\rightarrow NS(X')\) respecting the nef cone. The authors then show that this ensures that the surface \(X'\) also has a degree two morphism to the projective plane. A careful analysis of the singularities and half lines appearing on the Stein factorizations then reveils that one may choose the parameters \(r,s\) so that the double coverings of the projective plane coincide.