Genus 1 fibrations on the supersingular \(K3\) surface in characteristic 2 with Artin invariant 1 (Q2515529)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Genus 1 fibrations on the supersingular \(K3\) surface in characteristic 2 with Artin invariant 1 |
scientific article |
Statements
Genus 1 fibrations on the supersingular \(K3\) surface in characteristic 2 with Artin invariant 1 (English)
0 references
5 August 2015
0 references
This paper studies the supersingular \(K3\) surface in characteristic \(2\) with Artin invariant \(1\). It is known that such a surface is unique in characteritic \(2\), but there are several models for it. The main result is formulated in the following theorem. { Theorem 1}: Let \(k\) be an algebraically closed field of characteristic \(2\). Let \(X\) be the (unique) supersingular \(K3\) surface with Artin invariant \(1\) defined over \(k\). Then \(X\) admits exactly \(18\) genus \(1\) (elliptic or quasi-elliptic) fibrations. A crucial ingredient of Theorem 1 is the following fact. { Theorem 2}: Any genus \(1\) fibration on a supersingular \(K3\) surface \(X\) with Artin invariant \(1\) admits a section. A criterion to determine whether the fibrations are elliptic or quasi-elliptic is developed. The existence of these fibrations on \(X\) is established by exhibiting an explicit Weierstrass form over the prime field \(\mathbb{F}_2\) for each of them. All fibrations are connected by explicit isomorphisms over \(\mathbb{F}_4\). The classification of all possible fibrations is achieved by lattice theoretic means. In fact, a bijection between fibrations and definite even lattices of rank \(20\) and discriminant \(4\) is used to classify the fibrations. A surprising consequence of the classification of genus \(1\) fibrations is presented in the following { Theorem 3}: The incidence graph of points and lines in \(\mathbb{P}^2(\mathbb{F}_4)\) does not contain any cycle of length \(14\) or \(2n\) with \(n\geq 10\) as an induced subgraph.
0 references
\(K3\) surface
0 references
supersingular
0 references
elliptic fibration
0 references
quasi-elliptic
0 references