A combinatorial characterization of the Fermat cubic surface in characteristic 2 (Q679361)

Let \(\mathbb{P}_K^2\) the projective plane over an algebraically closed field \(K\). Let \(P_1,\dots P_6\) be six points of \(\mathbb{P}_K^2\) in general position, i.e. no three of them collinear and all six not lying on a conic. Consider the blowing up of \(\mathbb{P}_K^2\) centered in the points \(P_1,\dots P_6\), say \(\pi :X\to \mathbb{P}_K^2\). It turns out that the anticanonical linear system \(|-K_X|\) is very ample, of projective dimension \(3\) and, each member of \(|-K_X|\) corresponds to a plane cubic curve passing through \(P_1,\dots,P_6\). This means that the anticanonical embedding of \(X\) is a cubic surface in \(\mathbb{P}^3_K\). Vice-versa, each smooth cubic surface arises from the blowing up of \(\mathbb{P}_K^2\) with centers six points in general position. A theorem by \textit{A. Beauville} [in: The Grothendieck Festschrift, Vol. I, Prog. Math. 86, 121-133 (1990; Zbl 0723.14031)] states that if a smooth cubic surface \(X\) over a field of characteristic \(p\) is such that all its smooth plane sections are isomorphic, then \(p=2\) and, X is projectively equivalent to the Fermat cubic surface \(X^3_0+X^3_1+X^3_2+X^3_3=0\). In the paper under review the author gives a characterization of the Fermat cubic surface in terms of the configuration of the centers \(P_1,\dots,P_6\) of the blowing up. In particular he proves via Beauville's theorem that the following conditions are equivalent (theorem 1.1) (i) \(p=2\) and the anticanonical embedding of \(X\) is projectively equivalent to the Fermat cubic surface; (ii) \(p>0\) and each smooth member of \(|-K_X|\) is a supersingular elliptic curve; (iii) the points \(P_1,\dots,P_6\) form a \textit{strange \(6\)-arc}, i.e. each point of \(P_1,\dots,P_6\) is the concurrent point of all tangent lines of the conic passing through the remaining five points.