We construct a K3 surface over an algebraically closed field of characteristic 2 which contains two sets of 21 disjoint smooth rational curves such that each curve from one set intersects exactly 5 curves from the other set. This configuration is isomorphic to the configuration of points and lines on the projective plane over the finite field of 4 elements. The surface admits a finite automorphism group which contains the group of automorphisms of the plane which acts on the configuration of each set of 21 smooth rational curves, and the additional element of order 2 which interchanges the two sets. The Picard lattice of the surface is a reflective sublattice of an even unimodular lattice of signatuire (1,25) and the classes of the 42 curves correspond to some Leech roots in this lattice.
We show the existence of 112 non-singular rational curves on the supersingular K3 surface with Artin invariant 1 in characteristic 3 by several ways. Using these rational curves, we have a $(16)_{10}$-configuration and a $(280_{4}, 112_{10})$-configuration on the K3 surface. Moreover we study the Picard lattice by using the theory of the Leech lattice. The 112 non-singular rational curves correspond to 112 Leech roots.
In this article, we give a complete description of the characteristic polynomials of supersingular abelian varieties over finite fields. We list them for the dimensions upto 7.
We classifiy Enriques surfaces covered by the supersingular K3 surface with the Artin invariant 1 in characteristic 2. There are exactly three types of such Enriques surfaces.
In this article, we derive the list of the characteristic polynomials of the Frobenius endomorphism of simple supersingular abelian varieties of dimension $1,~2,~3,~4,~5,~6,~7$ over $\mathbb{F}_q$ where $q=p^n$, $n$ odd.
We describe all the elliptic models with section on the Shioda supersingular K3 surface X of Artin invariant 1 over an algebraically closed field of characteristic 3. In particular, we compute elliptic parameters and Weierstrass equations for the fifty two different fibrations, and analyze the reducible fibers and Mordell-Weil lattices.
We give a 1-dimensional family of classical and supersingular Enriques surfaces in characteristic 2 covered by the supersingular K3 surface with Artin invariant 1. Moreover we show that there exist 30 nonsingular rational curves and ten non-effective (-2)-divisors on these Enriques surfaces whose reflection group is of finite index in the orthogonal group of the Neron-Severi lattice modulo torsion.
In this article, we derive a list of possible characteristic polynomials of the Frobenius of simple supersingular abelian varieties of dimension 1, 2, 3, 4, 5, 6, 7 over $\mathbb{F}_q$ where $q = p^n$, n odd.
We construct, on a supersingular K3 surface with Artin invariant 1 in characteristic 2, a set of 21 disjoint smooth rational curves and another set of 21 disjoint smooth rational curves such that each curve in one set intersects exactly 5 curves from the other set with multiplicity 1 by using the structure of a generalized Kummer surface.
We show that most classes of K3 surfaces have only finitely many Enriques quotients. For supersingular K3 surfaces over fields of characteristic $p \geq 3$, we give a formula which generically yields the number of their Enriques quotients. We reprove via a lattice theoretic argument that supersingular K3 surfaces always have an Enriques quotient over fields of small characteristic. For some small characteristics and some Artin invariants, we explicitly compute lower bounds for the number of Enriques quotients of a supersingular K3 surface. We show that the supersingular K3 surface of Artin inv…
The automorphism group of a supersingular K3 surface with Artin invariant 1 in characteristic 3
Graduate School of Mathematics, Nagoya University（名古屋大学大学院数学研究科）；Department of Mathematics, Graduate School of Science, Hiroshima University（广岛大学理学研究科数学系）
We present three interesting projective models of the supersingular K3 surface X in characteristic 5 with Artin invariant 1. For each projective model, we determine smooth rational curves on X with the minimal degree and the projective automorphism group. Moreover, by using the superspecial abelian surface, we construct six sets of 16 disjoint smooth rational curves on X, and show that they form a beautiful configuration.
We present a method to generate many automorphisms of a supersingular K3 surface in odd characteristic. As an application, we show that, if p is an odd prime less than or equal to 7919, then every supersingular K3 surface in characteristic p has an automorphism whose characteristic polynomial on the Néron-Severi lattice is a Salem polynomial of degree 22. For a supersingular K3 surface with Artin invariant 10, the same holds for odd primes less than or equal to 17389.
The supersingular K3 surface X in characteristic 2 with Artin invariant 1 admits several genus 1 fibrations (elliptic and quasi-elliptic). We use a bijection between fibrations and definite even lattices of rank 20 and discriminant 4 to classify the fibrations, and exhibit isomorphisms between the resulting models of X. We also study a configuration of (-2)-curves on X related to the incidence graph of points and lines of IP^2(IF_4).
Let X be a supersingular K3 surface in characteristic 5 with Artin invariant 1. Then X has a polarization that realizes X as the Fermat sextic double plane. We present a list of polarizations of X with degree 2 whose intersection number with this Fermat sextic polarization is less than or equal to 5, and give the defining equations of the corresponding projective models. We also present a method to describe birational morphisms between these projective models explicitly. As a by-product, a non-projective automorphism of the Fermat sextic double plane is obtained.
We show that Hilbert schemes of points on supersingular Enriques surface in characteristic 2 are simply connected, symplectic varieties but are not irreducible symplectic as the hodge number $h^{2,0} > 1$, even though a supersingular Enriques surface is an irreducible symplectic variety. These are the classes of varieties which appear only in characteristic 2 and they show that the hodge number formula for Göttsche-Soergel does not hold over characteristic 2. It also gives examples of varieties with trivial canonical class which are neither irreducible symplectic nor Calabi-Yau, thereby showin…
The action of the Frobenius map on rank 2 vector bundles over a supersingular genus 2 curve in characteristic 2
设$X$是特征为2的代数闭域上的光滑真亏格2曲线.绝对Frobenius在$X$上半稳定秩为2的向量丛的模空间$M\_X$上诱导出一个有理映射$F$，它同构于一个三维射影空间. Y. Laszlo和C. Pauly最近给出了普通$X$的$F$方程。利用变形，我们给出了超奇异$X$的这些方程，并得出了一些结论，如$F$的基轨迹（一点），或互补Zaplski开集的稳定性.
We give a short proof that every supersingular K3 surface (except possibly in characteristic $2$ with Artin invariant $σ=10$) has an automorphism of Salem degree 22. In particular an infinite subgroup of the automorphism group does not lift to characteristic zero. The proof relies on the case $σ=1$ and the cone conjecture for K3 surfaces.
In characteristic $p=0$ or $p>5$, we show that a K3 surface with an order 60 automorphism is unique up to isomorphism. As a consequence, we characterize the supersingular K3 surface with Artin invariant 1 in characteristic $p=11$ (mod 12) by a cyclic symmetry of order 60.
Let p be a prime integer, and q a power of p. The Ballico-Hefez curve is a non-reflexive nodal rational plane curve of degree q+1 in characteristic p. We investigate its automorphism group and defining equation. We also prove that the surface obtained as the cyclic cover of the projective plane branched along the Ballico-Hefez curve is unirational, and hence is supersingular. As an application, we obtain a new projective model of the supersingular K3 surface with Artin invariant 1 in characteristic 3 and 5.
We prove that the supersingular K3 surface of Artin invariant 1 in characteristic p (where p denotes an arbitrary prime) admits a model over IF_p with Picard number 21.
In this work, we show that for a certain class of threefolds in positive characteristics, rational-chain-connectivity is equivalent to supersingularity. The same result is known for K3 surfaces with elliptic fibrations. And there are examples of threefolds that are both supersingular and rationally chain connected.
Let X and Y be supersingular K3 surfaces defined over an algebraically closed field. Suppose that the sum of their Artin invariants is 11. Then there exists a certain duality between their Néron-Severi lattices. We investigate geometric consequences of this duality. As an application, we classify genus one fibrations on supersingular K3 surfaces with Artin invariant 10 in characteristic 2 and 3, and give a set of generators of the automorphism group of the nef cone of these supersingular K3 surfaces. The difference between the automorphism group of a supersingular K3 surface X and the automorp…
We construct a moduli space of adequately marked Enriques surfaces that have a supersingular K3 cover over fields of characteristic $p \geq 3$. We show that this moduli space exists as a scheme locally of finite type over $\mathbb{F}_p$. Moreover, there exists a period map from this moduli space to a period scheme and we obtain a Torelli theorem for supersingular Enriques surfaces.
In this note we exhibit explicit automorphisms of maximal Salem degree 22 on the supersingular K3 surface of Artin invariant one for all primes p congruent 3 mod 4 in a systematic way. Automorphisms of Salem degree 22 do not lift to any characteristic zero model.
We prove that there exists a supersingular nonsingular curve of genus $4$ in arbitrary characteristic $p$. For $p>3$ we shall prove that the desingularization of a certain fiber product over $\mathbb{P}^1$ of two supersingular elliptic curves is supersingular.
We study symplectic varieties defined over fields of positive characteristics, especially the supersingular ones, generalizing the theory of supersingular K3 surfaces. In this work, we are mainly interested in the following two types of symplectic varieties over an algebraically closed field of positive characteristic, under natural numerical conditions: (1) smooth moduli spaces of sheaves on K3 surfaces and (2) smooth Albanese fibers of moduli spaces of sheaves on abelian surfaces. Several natural definitions of the supersingularity for symplectic varieties are discussed, which are proved to …
We describe explicitly the correspondence of Edge between the set of planes contained in the Fermat cubic 4-fold in characteristic 2, and the set of lattice points T of the Leech lattice such that OABT is a regular tetrahedron, where O is the origin of the Leech lattice, and A and B are fixed points of the Leech lattice such that OAB is a regular triangle of edge length 2. Using this description, we present Conway's isomorphism from PSU(6,4) to \cdot 222 in terms of matrices.
Given an abelian surface $A$, defined over a discrete valuation field and having good reduction, does the attached Kummer surface $\mathrm{Km}(A)$ also have good reduction? In this paper we give an affirmative answer in the extreme case, that is, when the abelian surface has supersingular reduction in characteristic $2$.
O'Grady constructed a 6-dimensional irreducible holomorphic symplectic variety by taking a crepant resolution of some moduli space of stable sheaves on an abelian surface. In this paper, we naturally extend O'Grady's construction to fields of positive characteristic p greater than 2, called OG6 varieties. We show that a supersingular OG6 variety is unirational, its rational cohomology group is generated by algebraic classes, and its rational Chow motive is of Tate type. These results confirm in this case the generalized Artin--Shioda conjecture, the supersingular Tate conjecture and the supers…
The paper studies the supersingular locus of the characteristic p moduli space of principally polarized abelian 8-folds that are equipped with an action of a maximal order in a quaternion algebra, that is non-split at the infinite place, but split at p. The main result is that its irreducible components are Fermat surfaces of degree p+1.
We describe the intersection of the Torelli locus $j(\mathcal{M}_4^{ct}) = \mathcal{J}_4$ with Newton and Ekedahl-Oort strata related to the supersingular locus in characteristic two. We show that the locus of supersingular Jacobians $\mathcal{S}_4\cap\mathcal{J}_4$ in characteristic two is pure of dimension three. One way to obtain that result uses an analysis of the data of smooth genus four curves and principally polarized abelian fourfolds defined over $\mathbb{F}_2$, and another involves studying the Ekedahl-Oort types and using the indecomposability of some $\mathrm{BT}_1$ group schemes.
We study the derived categories of twisted supersingular K3 surfaces. We prove a derived crystalline Torelli theorem for twisted supersingular K3 surfaces, characterizing Fourier-Mukai equivalences in terms of isomorphisms between their associated K3 crystals. This is a positive characteristic analog of the Hodge-theoretic derived Torelli theorem of Orlov, and its extension to twisted K3 surfaces by Huybrechts and Stellari. We give applications to various questions concerning Fourier-Mukai partners, extending results of Căldăraru and Huybrechts and Stellari. We also give an exact formula for t…
In this article we give a strategy to decide whether the logarithm of a given Salem number is realized as entropy of an automorphism of a supersingular K3 surface in positive characteristic. As test case it is proved that $\log λ_d$, where $λ_d$ is the minimal Salem number of degree $d$, is realized in characteristic $5$ if and only if $d\leq 22$ is even and $d\neq 18$. In the complex projective setting we settle the case of entropy $\log λ_{12}$ left open by McMullen, by giving the construction. A necessary and sufficient test is developed to decide whether a given isometry of a hyperbolic la…
We classify normal supersingular K3 surfaces Y with total Milnor number 20 in characteristic p, where p is an odd prime that does not divide the discriminant of the Dynkin type of the rational double points on Y.
One of the big questions in the area of curves over finite fields concerns the distribution of the numbers of points: Which numbers occur as the number of points on a curve of genus $g$? The same question can be asked of various subclasses of curves. In this article we classify the possibilities for the number of points on genus 4 hyperelliptic supersingular curves over finite fields of order $2^n$, $n$ odd.
In this paper, we prove, as the complex case, a supersingular K3 surface over a field of odd characteristic has an Enriques involution if and only if there exists a primitive embedding of the twice of the Enriques lattice into the Neron-Severi group such that the orthogonal complement of the embedding has no vector of self-intersection -2 using the Crystalline Torelli theorem. By this criterion and some lattice calculation, we prove that when the characteristic of the base field is p=19 or p>23, a superingular K3 surface is an Enriques K3 surface if and only if the Artin invariant is less than…
Using the theory of polarised flag type quotients, we determine mass formulae for all principally polarised supersingular abelian threefolds defined over an algebraically closed field $k$ of characteristic $p$. We combine these results with computations of the automorphism groups to study Oort's conjecture; we prove that every generic three-dimensional principally polarised supersingular abelian variety over $k$ of characteristic $\neq 2$ has automorphism group $\{ \pm 1 \}$.
Let E be the supersingular elliptic curve defined over k, the algebraic closure of the finite field with two elements, which is unique up to k-isomorphism. Denote by 0 its identity element and let C be the quotient of E-{0} under the action of the group Isom(E) (which is non-abelian, of order 24). The main result of this paper asserts that the set C(k) naturally parametrizes k-isomorphism classes of Lamé covers, which are tamely ramified covers of the projective line unramified outside three points having a particular ramification datum. This fact is surprising for two reasons: first of all, i…
We study non-isotrivial families of $K3$ surfaces in positive characteristic $p$ whose geometric generic fibers satisfy $ρ\geq21-2h$ and $h\geq3$, where $ρ$ is the Picard number and $h$ is the height of the formal Brauer group. We show that, under a mild assumption on the characteristic of the base field, they have potential supersingular reduction. Our methods rely on Maulik's results on moduli spaces of $K3$ surfaces and the construction of sections of powers of Hodge bundles due to van der Geer and Katsura. For large $p$ and each $2\leq{h}\leq10$, using deformation theory and Taelman's meth…
We show that a characteristic $0$ model $X_R\to \Spec R$, with Picard number $1$ over a geometric generic point, of a K3 surface in characteristic $p\ge 3$, essentially kills all automorphisms (Theorem 5.1). We show that there is an explicitely constructed automorphism on a supersingular K3 surface in characteristic $3$, which has positive entropy, the logarithm of a Salem number of degree $22$ (Theorem 6.4). In particular it does not lift to characteristic $0$. In addition, we show that in any large characteristic, there is an automorphism of a supersingular K3 which has positive entropy and …
Let $\bar{Y}$ be a normal surface that is the canonical $μ_2$- or $α_2$-covering of a classical or supersingular Enriques surface in characteristic $2$. We determine all possible configurations of singularities on $\bar{Y}$, and for each configuration we describe which type of Enriques surfaces (classical or supersingular) appear as quotients of $\bar{Y}$.
