On a stratification of the moduli of \(K3\) surfaces (Q1585703): Difference between revisions

Elliptic curves in characteristic \(p\) come in two sorts: ordinary and supersingular. The distinction can be expressed in terms of the formal group of an elliptic curve. In this paper the authors give a characterization of the height of \(K3\) surfaces in characteristic \(p>0\). This enables them to calculate the cycle classes in families of \(K3\) surfaces of the loci 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 characteristic \(p\). In order to describe the tangent spaces to these loci the first cohomology of higher closed forms is studied.