Normal forms for quasi-elliptic Enriques surfaces and applications (Q6566554)

This paper works out normal forms for quasi-elliptic Enriques surfaces and give several applications. The most notable applciation is the classification of the Enriques surfaces with finite automorphism groups. \N\NThroughout the article, \(k\) denotes an algebraically clsoed field of characteristic \(2\). The first main result is to determine the normal form.\N\N\textbf{Theorem 1}: Any quasi-elliptic Enriques surface is given by an affine equation of the following form, where each polynomial \(a_i\in k[t]\) is of degree at most \(i\):\N\N(i) If \(S\) is classical, then \(S: y^2+t^2a_1y=tx^4+t^3a_0x^2+t^3a_2x+t^3(1+t)^4\).\N\N(ii) If \(S\) is supersingular, then \(S: y^2+t^4a_1y=tx^4+t^5a_0x^2+t^6a_2x+t^3\).\N\NIn each case, \((a_1,a_2)\not\equiv (0,0)\).\N\NNow applications of Theorem 1 are formulated as follows.\N\NNow applications of Theorem 1 are formulated as follows. The first application is about the Enriques torsors above a given rational quasi-elliptic surface \(X\).\N\N\textbf{Theorem 2}: A geometric rational quasi-elliptic Enriques surface \(X\) with section admits an irreducible \(4\)-dimensional family of torsors of classical Enriques surfaces and an irreducible \(3\)-dimensional family of torsors of supersingular Enriques surfaces.\N\NMore precisely, given any \(X\), the families of Enriques torsors have dimension \(1\) (resp. \(2\)) less than in the general case if and only if \(X\) has only \(2\) (resp. \(1\)) reducible fiber, except for the supersingular Enriques surface with a single reducible fiber of type \(I_4^*\), which depends on two moduli.\N\NExplicitly, if \(X\) is given by the Weierstrass form \(X: y^2=x^3+t(a_1^2+ta_0^2)x+ta_2^2\) with \(a_0\in k[t], \deg(a_i)\leq i\), then the Enriques torsors are given by \(y^2+g_2^2a_1y=tx^4+tg_2^2a_0z^2+g_2^3a_2x+t^3c_1^4\) wher \(c_1, g_2\in k[t]\setminus\{0\}\) have degree \(\deg(c_1)\leq 1\) and \(\deg(g_2)\leq 2\) and \(c_1\nmid g_2\) (and \(\deg(g_2)=2\) if \(\deg(c_1)=0\)).\N\NThis leads to the completion of the classification of the Enriques surfaces with finite automorphism groups, initiated by \textit{S. Kondō} [Jpn. J. Math., New Ser. 12, 191--282 (1986; Zbl 0616.14031)], \textit{V. V. Nikulin} [Sov. Math., Dokl. 30, 282--285 (1984; Zbl 0604.14036); translation from Dokl. Akad. Nauk SSSR 277, 1324--1327 (1984)], \textit{G. Martin} [Algebr. Geom. 6, No. 5, 592--649 (2019; Zbl 1436.14067)], and \textit{T. Katsura} et al. [Algebr. Geom. 7, No. 4, 390--459 (2020; Zbl 1452.14038)].