Supersingular \(K3\) surfaces in characteristic 2 as double covers of a projective plane (Q2565950)

The author investigates the stratification of the moduli space of supersingular \(K3\) surfaces of degree 2 in characteristic 2 by means of the Artin invariant. His main result is stated as main theorem in the introduction producing an algorithm given in section 9, algorithm 9.4, which calculates a set of generators of the numerical Nerón-Severi lattice of a minimal resolution \(X_G\) of a purely inseparable double cover \(Y_G\) of \(\mathbb P_2\) defined by \( w^2 = G( X_0, X_1, X_2) \) where \(G\) is a homogeneous polynomial of degree six. Purely inseparable covers of the projective plane have been studied by \textit{P. Blass} and \textit{J. Lang} [``Zariski surfaces and differential equations in characteristic \(p>0\)'', Pure and Applied Mathematics, 106. New York-Basel (1987; Zbl 0614.14011)]. An algorithm to calculate the Artin invariant was produced there in chapter 2, proposition 6. In section two the author characterizes in theorem 2.1 subschemes defined by \(s=0 \) where \(s\) is a global section of \({\Omega_{\mathbb P^2}}^1(b)\), among 0-dimensional subschemes of \(\mathbb P_2\). In section three, under the assumption \(p=\text{char}(k)>0\) defining a global section \(dG\) of \({\Omega_{\mathbb P^2}}^1(b)\) with \(G \) a homogeneous polynomial of degree \(b\) divisible by \(p\), he states geometric properties of the purely inseparable cover \(Y_G \rightarrow \mathbb{P}^2 \) given as proposition 3.4 and proposition 3.13. From section four it is assumed that \(p = 2\) and \( b \geq 4 \) is an even integer. In proposition 4.1 he finds necessary and sufficient conditions so that \( s= dG\) for \(s \in {\Omega_{\mathbb P^2}}^1(b)\) for \(G\) a homogeneous polynomial. In section five definition 5.10 the author associates to a \(G\) as above a binary linear code \(C_G\) that describes the numerical Nerón-Severi lattice of \(X_G\). A notion of geometrically realizable \(S_n\) (the symmetric group in n letters)-equivalence classes of codes is introduced in definition 5.13. In section six definition 6.2 he defines the word \(\omega_G(C)\) of \(C_G\) for each curve \(C\) splitting in \(X_G\). The author proves that the general member of \(| I_{Z(dG)}(b-1)| \) is splitting in \(X_G\) in proposition 6.3, proves in proposition 6.11 that if \(C\) is a reduced (possibly reducible ) curve of degree \(d\) splitting in \(X_G\) with \(C\) having only ordinary nodes and ordinary cusps as its singularities; then he calculates \( | \omega_C(G)| \) in terms of \(d,b\) and the number of ordinary cusps on \(C\). He also studies properties of splitting curves with only ordinary nodes in section 6.4. In section 7.1 the author recalls briefly basic facts about supersingular \(K3\) surfaces in characteristic \(p\) , and in section 7.3 corollary 7.9 restricts to the case of purely inseparable extensions based on proposition 7.6 of section 7.2. In section eight, the main theorem of the introduction is proved. In section nine he presents algorithm 9.4 that calculates the code \(C_G\) from a given \( G \in U_{2,6} \) (see definition 3.5) and in section 9.2 he computes some examples, calculating \(C_G\) and the Artin invariant of \(X_G\) for each one of them.