Supersingular K3 surface

Supersingular K3 surface

In algebraic geometry, a supersingular K3 surface is a particular type of K3 surface. Such an algebraic surface has its cohomology generated by algebraic cycles; in other words, since the second Betti number [In the case of a base field other than the complex numbers, the Betti number is that defined by the étale cohomology; the coefficients are l-adic numbers, with "l" some prime number different from the characteristic.] of a K3 surface is always 22, such a surface must possess 22 independent elements in its Picard group (ρ = 22).

Such surfaces can exist only in positive characteristic, since in characteristic zero Hodge theory gives an upper bound of 20 independent elements in the Picard group. 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 "h"2,0 and "h"0,2 both take the value 1, with "h"1,1 = 20. Therefore the dimension of the space spanned by the algebraic cycles is at most 20 (in characteristic zero).

History

These surfaces were first discovered by André Weil and John Tate and then more fully developed by Michael Artin and Tetsuji Shioda.It has been conjectured, by Artin, that every supersingular K3 surface is unirational; this conjecture remains open as of 2007. Shioda has shown that supersingular K3 surfaces are double covers of the projective plane. [ [http://www.intlpress.com/AJM/p/2004/8_3/AJM-8-3-531-586.pdf PDF] , for characteristic 2, and Mathematische Annalen, Volume 328, Number 3, March 2004, pp. 451-468(18).] In the case of characteristic 2 the double cover may need to be an inseparable covering.

Artin's conjecture has been shown to be true in characteristic two by Shafarevich and Rudakov [ A N Rudakov, I R Šafarevič, "Supersingular K3 surfaces over fields of characteristic 2", Math. USSR Izv., 1979, 13 (1) 147-165.] and more recently by Shimada.The conjecture remains open in characteristic three; several families of examples have been constructed, showing that it is at least plausible.

A supersingular K3 surface is also a Calabi-Yaumanifold, in positive characteristic, and is perhaps of some interest to physicists as well as algebraic geometers.

The discriminant of the intersection form on the Picard group of a supersingular K3 surface is an even power

:"p"2"e"

of the characteristic "p", as was shown by Michael Artin and James S. Milne. Here "e" is defined to be the "Artin invariant". We have

:1 ≤ "e" ≤ 10

as was also shown by Michael Artin. There is a corresponding Artin stratification.

Examples

In characteristic two,

:"z"2 = "f"("x", "y") ,

for a sufficiently general polynomial "f"("x", "y") of degree six, defines a surface with twenty-one isolated singularities. It can be shown that the smooth projective minimalmodel of the function field of such a surface is a supersingular K3 surface.The largest Artin invariant here is ten.

Similarly, in characteristic three,

:"z"3 = "g"("x", "y") ,

for a sufficiently general polynomial "g"("x", "y") of degree four, defines a surface with nine isolated singularities. It can be shown that the smooth projective minimalmodel of the function field of such a surface is again a supersingular K3 surface.The highest Artin invariant in this family is six.

In characteristic five, Ichiro Shimada and Duc Tai Pho have recently demonstrated [Announcement [http://adsabs.harvard.edu/abs/2006math.....11452P] .] that every supersingular K3 surface with Artin invariant less than four is birationally equivalent to a surface with equation

:"z"5 = "h"("x", "y") ,

and thus every such surface is unirational.

Kummer surfaces

If the characteristic "p" is greater than 2, all supersingular K3 surfaces "S" with Artin invariant 0, 1 and 2 are birationally Kummer surfaces, in other words quotients of an abelian surface "A" by the mapping "x" → "x". More precisely, "A" should be a supersingular abelian surface, isogenous to a product of two supersingular elliptic curves. The Kummer surface is singular; the construction of "S" is as a minimal resolution. This is a result of Arthur Ogus. [] Arthur Ogus, Supersingular K3 crystals, Journees de Geometrie Algebrique de Rennes(Rennes, 1978), Vol. II, Asterisque, vol. 64, Soc. Math. France, Paris, 1979, pp. 386.] An extension to "p" = 2 has been made with a group scheme quotient. [ [http://www.math.hokudai.ac.jp/~shimada/preprints/Kummer/Kummer.pdf PDF] ]

Notes

External links

* [http://www.math.lsa.umich.edu/~idolga/leech.pdf Construction of a surface (PDF)] related to the Leech lattice


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Zariski surface — In algebraic geometry, a branch of mathematics, a Zariski surface is a surface over a field of characteristic p gt; 0 such that there is a dominant inseparable map of degree p from the projective plane to the surface. In particular, all Zariski… …   Wikipedia

  • K3 surface — In mathematics, in the field of complex manifolds, a K3 surface is an important and interesting example of a compact complex surface (complex dimension 2 being real dimension 4). Together with two dimensional complex tori, they are the Calabi Yau …   Wikipedia

  • Riemann surface — For the Riemann surface of a subring of a field, see Zariski–Riemann space. Riemann surface for the function ƒ(z) = √z. The two horizontal axes represent the real and imaginary parts of z, while the vertical axis represents the real… …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • List of algebraic surfaces — This is a list of named (classes of) algebraic surfaces and complex surfaces. The notation κ stands for the Kodaira dimension, which divides surfaces into four coarse classes.Algebraic and complex surfaces * abelian surfaces (κ = 0) Two… …   Wikipedia

  • Enriques–Kodaira classification — In mathematics, the Enriques–Kodaira classification is a classification of compact complex surfaces into ten classes. For each of these classes, the surfaces in the class can be parametrized by a moduli space. For most of the classes the moduli… …   Wikipedia

  • List of algebraic geometry topics — This is a list of algebraic geometry topics, by Wikipedia page. Contents 1 Classical topics in projective geometry 2 Algebraic curves 3 Algebraic surfaces 4 …   Wikipedia

  • Plane curve — In mathematics, a plane curve is a curve in a Euclidean plane (cf. space curve). The most frequently studied cases are smooth plane curves (including piecewise smooth plane curves), and algebraic plane curves. A smooth plane curve is a curve in a …   Wikipedia

  • Moduli of algebraic curves — In algebraic geometry, a moduli space of (algebraic) curves is a geometric space (typically a scheme or an algebraic stack) whose points represent isomorphism classes of algebraic curves. It is thus a special case of a moduli space. Depending on… …   Wikipedia

  • De Franchis theorem — In mathematics, the de Franchis theorem is one of a number of closely related statements applying to compact Riemann surfaces, or, more generally, algebraic curves, X and Y, in the case of genus g > 1. The simplest is that the automorphism… …   Wikipedia

Share the article and excerpts

Direct link
https://en-academic.com/dic.nsf/enwiki/5003941 Do a right-click on the link above
and select “Copy Link”