We show how to construct non-isotrivial families of supersingular K3 surfaces over rational curves using a relative form of the Artin-Tate isomorphism and twisted analogues of Bridgeland's results on moduli spaces of stable sheaves on elliptic surfaces. As a consequence, we show that every point of Artin invariant 10 in the Ogus space of marked supersingular K3 surfaces lies on infinitely many pairwise distinct rational curves canonically associated to elliptic structures on the underlying K3 surface.
We develop a theory of twistor spaces for supersingular K3 surfaces, extending the analogy between supersingular K3 surfaces and complex analytic K3 surfaces. Our twistor spaces are obtained as relative moduli spaces of twisted sheaves on universal gerbes associated to the Brauer groups of supersingular K3 surfaces. In rank 0, this is a geometric incarnation of the Artin-Tate isomorphism. Twistor spaces give rise to curves in moduli spaces of twisted supersingular K3 surfaces, analogous to the analytic moduli space of marked K3 surfaces. We describe a theory of crystals for twisted supersingul…
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.
We construct explicitly moduli curves of polarized supersingular K3 surfaces in characteristic 2 with Artin invariant 2. As an application, we detect a "jump" phenomenon in a family of automorphism groups of supersingular K3 surfaces with a constant Néron-Severi lattice.
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.
We study moduli spaces of abelian varieties in positive characteristic, more specifically the moduli space of principally polarized abelian varieties on the one hand, and the analogous space with Iwahori type level structure, on the other hand. We investigate the Ekedahl-Oort stratification on the former, the Kottwitz-Rapoport stratification on the latter, and their relationship. In this way, we obtain structural results about the supersingular locus in the case of Iwahori level structure, for instance a formula for its dimension in case $g$ is even.
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.
We investigate configurations of rational double points with the total Milnor number 21 on supersingular $K3$ surfaces. The complete list of possible configurations is given. As an application, we also give the complete list of extremal (quasi-)elliptic fibrations on supersingular $K3$ surfaces.
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.
We survey crystalline cohomology, crystals, and formal group laws with an emphasis on geometry. We apply these concepts to K3 surfaces, and especially to supersingular K3 surfaces. In particular, we discuss stratifications of the moduli space of polarized K3 surfaces in positive characteristic, Ogus' crystalline Torelli theorem for supersingular K3 surfaces, the Tate conjecture, and the unirationality of K3 surfaces.
We compute the image of the $p$-adic period map for polarized K3 surfaces with supersingular reduction. This gives rise to a Rapoport-Zink type uniformization of their moduli space by an explicit open rigid analytic subvariety of a local Shimura variety of orthogonal type. In contrast to the case of Rapoport-Zink uniformization of Shimura varieties and in analogy to the complex case, the uniformizing domain does not carry an action of a $p$-adic Lie group, but only of a discrete subgroup. We briefly sketch how the same arguments can be applied to obtain a uniformization for the moduli space of…
We show that supersingular K3 surfaces in characteristic $p\geq5$ are related sequences of very special correspondences. This is not enough to conclude that they are unirational. As a byproduct, we exhibit a fibration structure on the moduli space of rigidified K3 crystals. We also establish Shioda-Inose type isogeny theorems for K3 surfaces with Picard rank $ρ\geq19$ in positive characteristic.
Let C be a supersingular genus-2 curve over an algebraically closed field of characteristic 3. We show that if C is not isomorphic to the curve y^2 = x^5 + 1 then up to isomorphism there are exactly 20 degree-3 maps phi from C to the elliptic curve E with j-invariant 0. We study the coarse moduli space of triples (C,E,phi), paying particular attention to questions of rationality. The results we obtain allow us to determine, for every finite field k of characteristic 3, the polynomials that occur as Weil polynomials of supersingular genus-2 curves over k.
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 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 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 …
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…
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…
For every supersingular $K3$ surface $X$ in characteristic 2, there exists a homogeneous polynomial $G$ of degree 6 such that $X$ is birational to the purely inseparable double cover of a projective plane defined by $w^2=G$. We present an algorithm to calculate from $G$ a set of generators of the numerical Néron-Severi lattice of $X$. As an application, we investigate the stratification defined by the Artin invariant on a moduli space of supersingular $K3$ surfaces of degree 2 in characteristic 2.
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.
Given a K3 surface X over a field of characteristic p, Artin conjectured that if X is supersingular (meaning infinite height) then its Picard rank is 22. Along with work of Nygaard-Ogus, this conjecture implies the Tate conjecture for K3 surfaces over finite fields with p \geq 5. We prove Artin's conjecture under the additional assumption that X has a polarization of degree 2d with p > 2d+4. Assuming semistable reduction for surfaces in characteristic p, we can improve the main result to K3 surfaces which admit a polarization of degree prime-to-p when p \geq 5. The argument uses Borcherds' con…
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.
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.
Let $X$ be a smooth proper genus 2 curve over an algebraically closed field of characteristic 2. The absolute Frobenius induces a rational map $F$ on the the moduli space $M\_X$ of semi-stable rank 2 vector bundles over $X$, which is isomorphic to a 3-dimensional projective space. Y. Laszlo and C. Pauly recently gave the equations of $F$ for an ordinary $X$. Using deformation, we give these equations for a supersingular $X$ and draw some consequences such as the base locus of $F$ (one point), or the stability of the complementary Zariski open set.
Let k be a perfect field of characteristic p > 2. In this note, we show that the local moduli space of a non-supersingular K3 surface over k with trivial deformation of the associated enlarged formal Brauer group admits a natural p-divisible formal group structure.
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.
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…
We show that there is a good notion of irreducible sympelectic varieties of $\mathrm{K3}^{[n]}$-type over an arbitrary field of characteristic zero or $p > n + 1$. Then we construct mixed characteristic moduli spaces for these varieties. Our main result is a generalization of Ogus' crystalline Torelli theorem for supersingular K3 surfaces. For applications, we answer a slight variant of a question asked by F. Charles on moduli spaces of sheaves on K3 surfaces and give a crystalline Torelli theorem for supersingular cubic fourfolds.
We construct certain rational functions (modular units) on the moduli stack of Drinfeld shtukas. The divisors of these rational functions are supported on horospherical divisors of the moduli stack. The key to our construction is a vanishing theorem for shtukas with zeros and poles satisfying certain conditions. Using deformation theory, we calculate the divisors of these rational functions.
In this paper, we study maps between moduli spaces of lattice-polarized K3 surfaces induced by sublattices of prime index. We show that these maps can be used to determine if a rational point of the moduli space belongs to the Noether-Lefschetz locus. As an application, we prove that the Bombieri-Lang conjecture implies non-density statements for the rational points in the Noether-Lefschetz locus, as predicted by a conjecture of Shafarevich.
We prove results about the intersection of the p-rank strata and the boundary of the moduli space of hyperelliptic curves in characteristic p > 2. Using this, we prove that the Z/\ell-monodromy of every irreducible component of the stratum H_g^f of hyperelliptic curves of genus g and p-rank f is the symplectic group Sp_{2g}(Z/\ell) if g > 2, f > 0 and \ell is an odd prime distinct from p. These results yield applications about the generic behavior of hyperelliptic curves of given genus and p-rank. The first application is that a generic hyperelliptic curve of genus g > 2 and p-rank 0 is not su…
In this paper we give a characterization of the height of K3 surfaces in positive characteristic. This enables us to calculate the cycle classes of the loci in families of K3 surfaces where the height is at least h. The formulas for such loci can be seen as generalizations of the famous formula of Deuring for the number of supersingular elliptic curves in positive characteristic. In order to describe the tangent spaces to these loci we study the first cohomology of higher closed forms.
Let $k$ be a field with algebraic closure $\bar{k}$ and $D \subset \mathbb{P}^{1}_{\bar{k}}$ a reduced, effective divisor of degree $n \ge 3$, write $k(D)$ for the field of moduli of $D$. A. Marinatto proved that when $n$ is odd, or $n = 4$, $D$ descends to a divisor on $\mathbb{P}^{1}_{k(D)}$. We analyze completely the problem of when $D$ descends to a divisor on a smooth, projective curve of genus $0$ on $k(D)$, possibly with no rational points. In particular, we study the remaining cases $n \ge 6$ even, and we obtain conceptual proofs of Marinatto's results and of a theorem by B. Huggins ab…
We show the compactly supported motive of the moduli stack of degree $n$ rational curves on the weighted projective stack $\mathcal{P}(a,b)$ is of mixed Tate type over any base field $K$ with $\text{char}(K) \nmid a,b$ and has class $\mathbb{L}^{(a+b)n+1}-\mathbb{L}^{(a+b)n-1}$ in the Grothendieck ring of stacks. In particular, this improves upon the result of [HP] regarding the arithmetic invariant of the moduli stack $\mathcal{L}_{1,12n} := \mathrm{Hom}_{n}(\mathbb{P}^1, \overline{\mathcal{M}}_{1,1})$ of stable elliptic fibrations over $\mathbb{P}^{1}$ with $12n$ nodal singular fibers and a …
We determine all possible configurations of rational double points on complex normal algebraic K3 surfaces, and on normal supersingular K3 surfaces in characteristic p > 19.
We construct the moduli space, $M_d$, of degree $d$ rational maps on $\mathbb{P}^1$ in terms of invariants of binary forms. We apply this construction to give explicit invariants and equations for $M_3$. Using classical invariant theory, we give solutions to the following problems: (1) explicitly construct, from a moduli point $P\in M_d(k)$, a rational map $ϕ$ with the given moduli; (2) find a model for $ϕ$ over the field of definition (i.e. explicit descent). We work out the method in detail for the cases $d=2,3$.
We discuss some relations of moduli of sheaves on rational surfaces by using universal extensions. These are a generalization of Maruyama's method to construct Uhlenbeck compactification of moduli of vector bundles.
We prove that the moduli spaces of K3 surfaces with non-symplectic involution are rational for four deformation types. With the previous results, this establishes the rationality of those moduli spaces except two classical cases.
We show that each of the irreducible components of moduli of rank 2 torsion-free sheaves with odd Euler characteristic over a reducible nodal curve is rational.
We study the moduli space of rank 0 semistable sheaves on some rational surfaces. We show the irreducibility and stable rationality of them under some conditions. We also compute several (virtual) Betti numbers of those moduli spaces by computing their motivic measures.
We construct an integral model for Lubin-Tate curves as moduli of finite subgroups of formal deformations over complete Noetherian local rings. They are p-adic completions of the modular curves X_0(p) at a mod-p supersingular point. Our model is semistable in the sense that the only singularities of its special fiber are normal crossings. Given this model, we obtain a uniform presentation for the Dyer-Lashof algebra of Morava E-theories at height 2 as local moduli of power operations in elliptic cohomology.
We prove that the moduli spaces of rational curves of degree at most $3$ in linear sections of the Grassmannian $Gr(2,5)$ are all rational varieties. We also study their compactifications and birational geometry.
The paper aims to give an account, both historical and geometric, on the diverse geography of rational parametrizations of moduli spaces related to curves. It is a contribution to the book Handbook of Moduli, editors G. Farkas and I. Morrison, to be published by International Press. Refereed version.
