Enriques surfaces with normal \(K3\)-like coverings (Q2039817)

In the paper under review, the author provides an analysis of the structure of simply-connected Enriques surfaces in characteristic two whose \(K3\)-like coverings are normal. An open question was whether non-rational singularities could appear on a \(K3\)-like covering of \(X\), and one of the main result of the present paper answers positively on it. Theorem A. There are normal \(K3\)-like coverings \(X\) containing an elliptic double point which is obtained from the contraction of a rational cuspidal \((-1)\)-curve. The main point of the discussion proposed by the author is that he provides a systematic way to produce normal \(K3\)-like coverings, not based on techniques using explicit equations and rational vector fields, but on a procedure combining Frobenius base-changes with flops. Next, the author observes that if a non-rational singularity appears, then this situation is rather special. Theorem B. If a normal \(K3\)-like covering \(X\) contains a non-rational singularity, then there are no other singularities on \(X\). Recall that each elliptic fibration \(\phi :Y \rightarrow \mathbb{P}^{1}\) on the Enriques surface comes with a Jacobian fibration which is a rational elliptic surface \(J \rightarrow \mathbb{P}^{1}\). Theorem C. For each rational elliptic surface \(J \rightarrow \mathbb{P}^{1}\) with only reduced fibers, with possibly six exceptional cases, there is a simply-connected Enriques surface \(Y\) whose \(K3\)-like covering \(X\) is birational to the Frobenius pullback \(X = J^{(2/\mathbb{P}^{1})}\), and having an elliptic fibration \(\phi : Y \rightarrow \mathbb{P}^{1}\) whose Jacobian is \(J \rightarrow \mathbb{P}^{1}\). Furthermore, the author constructs the twistor lines in the moduli stack of Enriques surfaces, including the case that the \(K3\)-like covering is a normal rational surface rather then a normal \(K3\) surface.