Supersingular K3 surface
In algebraic geometry, a supersingular K3 surface is a K3 surface over a field k of characteristic p > 0 such that the slopes of Frobenius on the crystalline cohomology H2(X,W(k)) are all equal to 1. These have also been called Artin supersingular K3 surfaces. Supersingular K3 surfaces can be considered the most special and interesting of all K3 surfaces.
More generally, a smooth projective variety X over a field of characteristic p > 0 is called supersingular if all slopes of Frobenius on the crystalline cohomology Ha(X,W(k)) are equal to a/2, for all a. In particular, this gives the standard notion of a supersingular abelian variety. For a variety X over a finite field Fq, it is equivalent to say that the eigenvalues of Frobenius on the l-adic cohomology Ha(X,Ql) are equal to qa/2 times roots of unity. It follows that any variety in positive characteristic whose l-adic cohomology is generated by algebraic cycles is supersingular.
A K3 surface whose l-adic cohomology is generated by algebraic cycles is sometimes called a Shioda supersingular K3 surface. Since the second Betti number of a K3 surface is always 22, this property means that the surface has 22 independent elements in its Picard group (ρ = 22). From what we have said, a K3 surface with Picard number 22 must be supersingular.
Conversely, the Tate conjecture would imply that every supersingular K3 surface over an algebraically closed field has Picard number 22. This is now known in every characteristic p except 2, since the Tate conjecture was proved for all K3 surfaces in characteristic p > 2 by Nygaard-Ogus (1985), Maulik (2012), Charles (2013), and Madapusi Pera (2013).
To see that K3 surfaces with Picard number 22 exist only in positive characteristic, one can use Hodge theory to prove that the Picard number of a K3 surface in characteristic zero is at most 20. In fact the Hodge diamond for any complex K3 surface is the same (see classification), and the middle row reads 1, 20, 1. In other words h2,0 and h0,2 both take the value 1, with h1,1 = 20. Therefore the dimension of the space spanned by the algebraic cycles is at most 20 in characteristic zero; surfaces with this maximum value are sometimes called singular K3 surfaces.
Another phenomenon which can only occur in positive characteristic is that a K3 surface may be unirational. Michael Artin observed that every unirational K3 surface over an algebraically closed field must have Picard number 22. (In particular, a unirational K3 surface must be supersingular.) Conversely, Artin conjectured that every K3 surface with Picard number 22 must be unirational.
The first example of a K3 surface with Picard number 22 was given by Tate (1965), who observed that the Fermat quartic
- w4 + x4 + y4 + z4 = 0
has Picard number 22 over algebraically closed fields of characteristic 3 mod 4. Then Tetsuji Shioda showed that the elliptic modular surface of level 4 (the universal generalized elliptic curve E(4) → X(4)) in characteristic 3 mod 4 is a K3 surface with Picard number 22, as is the Kummer surface of the product of two supersingular elliptic curves in odd characteristic. Shimada (2004, 2004b) showed that all K3 surfaces with Picard number 22 are double covers of the projective plane. In the case of characteristic 2 the double cover may need to be an inseparable covering.
In characteristic 2, Artin's conjecture that all K3 surfaces with Picard number 22 are unirational was proved by Rudakov & Shafarevich (1978) and more recently by Shimada. The conjecture remains open in characteristic 3; several families of examples have been constructed, showing that it is at least plausible.
of the characteristic p, as was shown by Artin and James S. Milne. Here e is called the Artin invariant of the K3 surface. Artin showed that
- 1 ≤ e ≤ 10.
There is a corresponding Artin stratification of the moduli space of supersingular K3 surfaces.
In characteristic 2,
- z2 = f(x, y) ,
for a sufficiently general polynomial f(x, y) of degree 6, defines a surface with 21 isolated singularities. The smooth projective minimal model of such a surface is a unirational K3 surface, and hence a K3 surface with Picard number 22. The largest Artin invariant here is 10.
Similarly, in characteristic 3,
- z3 = g(x, y) ,
for a sufficiently general polynomial g(x, y) of degree 4, defines a surface with 9 isolated singularities. The smooth projective minimal model of such a surface is again a unirational K3 surface, and hence a K3 surface with Picard number 22. The highest Artin invariant in this family is 6.
- z5 = h(x, y) ,
and thus every such surface is unirational.
If the characteristic p is greater than 2, Ogus (1979) showed that every K3 surface S with Picard number 22 and Artin invariant at most 2 is a Kummer surface, meaning the minimal resolution of the quotient of an abelian surface A by the mapping x ↦ − x. More precisely, A is a supersingular abelian surface, isogenous to the product of two supersingular elliptic curves. In characteristic 2, Shimada & Zhang (2007) showed that every K3 surface with Picard number 22 and Artin invariant at most 2 is the quotient of the product of a cuspidal cubic curve with itself by an action of the group scheme α2.
- M. Artin and B. Mazur. Ann. Sci. École Normale Supérieure 10 (1977), 87-131. P. 90.
- M. Artin. Ann. Sci. École Normale Supérieure 7 (1974), 543-567. P. 552.
- Artin, Michael (1974), "Supersingular K3 surfaces", Annales Scientifiques de l'École Normale Supérieure. Quatrième Série 7: 543–567, MR 0371899
- Charles, F. (2013), "The Tate conjecture for K3 surfaces over finite fields", Inventiones Mathematicae 194: 119–145, doi:10.1007/s00222-012-0443-y, MR 3103257
- Dolgachev, I.; Kondō, S. (2003), "A supersingular K3 surface in characteristic 2 and the Leech lattice", International Mathematics Research Notices (1): 1–23, arXiv:math/0112283, Bibcode:2001math.....12283D, MR 1935564
- Madapusi Pera, K. (2013), The Tate conjecture for K3 surfaces in odd characteristic, arXiv:1301.6326, Bibcode:2013arXiv1301.6326M
- Maulik, D. (2012), Supersingular K3 surfaces for large primes, arXiv:1203.2889, Bibcode:2012arXiv1203.2889M
- Nygaard, A.; Ogus (1985), "Tate's conjecture for K3 surfaces of finite height", Annals of Mathematics 122: 461–507, doi:10.2307/1971327, MR 0819555
- Ogus, Arthur (1979), "Supersingular K3 crystals", Journées de Géométrie Algébrique de Rennes (Rennes, 1978), Vol. II, Astérisque 64, Paris: Société Mathématique de France, pp. 3–86, MR 563467
- Pho, Duc Tai; Shimada, Ichiro (2006), "Unirationality of certain supersingular K3 surfaces in characteristic 5", Manuscripta Mathematica 121 (4): 425–435, arXiv:math/0611452, doi:10.1007/s00229-006-0045-3, MR 2282430
- Rudakov, A. N.; Shafarevich, Igor R. (1978), "Supersingular K3 surfaces over fields of characteristic 2", Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 42 (4): 848–869, Bibcode:1979IzMat..13..147R, doi:10.1070/IM1979v013n01ABEH002016, MR 508830
- Shimada, Ichiro (2004), "Supersingular K3 surfaces in characteristic 2 as double covers of a projective plane", The Asian Journal of Mathematics 8 (3): 531–586, arXiv:math/0311073, Bibcode:2003math.....11073S, doi:10.4310/ajm.2004.v8.n3.a8, MR 2129248
- Shimada, Ichiro (2004b), "Supersingular K3 surfaces in odd characteristic and sextic double planes", Mathematische Annalen 328 (3): 451–468, doi:10.1007/s00208-003-0494-x, MR 2036331
- Shimada, Ichiro; Zhang, De-Qi (2007), "On Kummer type construction of supersingular K3 surfaces in characteristic 2", Pacific Journal of Mathematics 232 (2): 379–400, doi:10.2140/pjm.2007.232.379, MR 2366360
- Shioda, Tetsuji (1979), "Supersingular K3 surfaces", Algebraic geometry (Proc. Summer Meeting, Univ. Copenhagen, Copenhagen, 1978), Lecture Notes in Math. 732, Berlin, New York: Springer-Verlag, pp. 564–591, doi:10.1007/BFb0066664, MR 555718
- Tate, John T. (1965), "Algebraic cycles and poles of zeta functions", Arithmetical Algebraic Geometry (Proc. Conf. Purdue Univ., 1963), New York: Harper & Row, pp. 93–110, MR 0225778