Ordinary K3 surfaces over a finite field (Q1985540): Difference between revisions
From MaRDI portal
Latest revision as of 08:24, 22 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ordinary K3 surfaces over a finite field |
scientific article |
Statements
Ordinary K3 surfaces over a finite field (English)
0 references
7 April 2020
0 references
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.
0 references
ordinary K3 surfaces
0 references
finite fields
0 references
0 references