Ordinary K3 surfaces over a finite field (Q1985540): Difference between revisions

The author, building on [\textit{N. O. Nygaard}, Progr. Math. No 35, p. 267--276 (1983; Zbl 0574.14031)] and [\textit{J.-D. Yu} Pure Appl. Math. Q. 8, No. 3, 805--824 (2012; Zbl 1252.14008)], studies the category of ordinary \(K3\) surfaces over a finite field. A \(K3\) surface \(X\) over a finite field \(k\) of characteristic \(p>0\) is called \emph{ordinary} if \(| X(k) | \not\equiv 1 \bmod p\). Nygaard and Yu already exhibited the existence of a fully faithful functor between the groupoids of \begin{itemize} \item[1.] the ordinary \(K3\) surfaces over a finite field \(\mathbb{F}_q\) and \item[2.] the triples \((M, F, \mathcal{K})\), consisting of \begin{itemize} \item[(a)] an integral lattice \(M\), \item[(b)] an endomorphism \(F\) of \(M\), and \item[(c)] a convex subset of \(\mathcal{K} \subset \mathbb{R}\otimes M\) \end{itemize} satisfying certain conditions. \end{itemize} The main result of the paper under review consists in studying the image of this functor and, in particular, in showing that if every \(K3\) surface over the fraction field of the ring of Witt vectors \(W(\mathbb{F}_q)\) satisfies a strong form of ``potential semi-stable reduction'', then the functor is essentially surjective. Finally, using this property, the author describes three sub-grupoids on which the functor restricts to an equivilance.