In mathematics, Enriques surfaces are algebraic surfaces such that the irregularity q = 0 and the canonical line bundleK is non-trivial but has trivial square. Enriques surfaces are all projective and are elliptic surfaces of genus 0. Over fields of characteristic not 2 they are quotients of K3 surfaces by a group of order 2 acting without fixed points and their theory is similar to that of algebraic K3 surfaces. Enriques surfaces were first studied in detail by as an answer to a question discussed by about whether a surface with q=pg = 0 is necessarily rational, though some of the Reye congruences introduced earlier by are also examples of Enriques surfaces. Enriques surfaces can also be defined over other fields. Over fields of characteristic other than 2, showed that the theory is similar to that over the complex numbers. Over fields of characteristic 2 the definition is modified, and there are two new families, called singular and supersingular Enriques surfaces, described by. These two extra families are related to the two non-discrete algebraic group schemes of order 2 in characteristic 2.
Invariants of complex Enriques surfaces
The plurigeneraPn are 1 if n is even and 0 if n is odd. The fundamental group has order 2. The second cohomology group H2 is isomorphic to the sum of the unique even unimodular lattice II1,9 of dimension 10 and signature -8 and a group of order 2. Hodge diamond: Marked Enriques surfaces form a connected 10-dimensional family, which showed is rational.
Characteristic 2
In characteristic 2 there are some new families of Enriques surfaces, sometimes called quasi Enriques surfaces or non-classical Enriques surfaces or singular Enriques surfaces. In characteristic 2 the definition of Enriques surfaces is modified: they are defined to be minimal surfaces whose canonical classK is numerically equivalent to 0 and whose second Betti number is 10. There are now 3 families of Enriques surfaces:
Classical: dim = 0. This implies 2K=0 but K is nonzero, and Picτ is Z/2Z. The surface is a quotient of a reduced singular Gorenstein surface by the group scheme μ2.
Singular: dim = 1 and is acted on non-trivially by the Frobenius endomorphism. This implies K=0, and Picτ is μ2. The surface is a quotient of a K3 surface by the group scheme Z/2Z.
Supersingular: dim = 1 and is acted on trivially by the Frobenius endomorphism. This implies K=0, and Picτ is α2. The surface is a quotient of a reduced singular Gorenstein surface by the group scheme α2.
All Enriques surfaces are elliptic or quasi elliptic.
Examples
A Reye congruence is the family of lines contained in at least 2 quadrics of a given 3-dimensional linear system of quadrics in P3. If the linear system is generic then the Reye congruence is an Enriques surface. These were found by, and may be the earliest examples of Enriques surfaces.
The quotient of a K3 surface by a fixed point free involution is an Enriques surface, and all Enriques surfaces in characteristic other than 2 can be constructed like this. For example, if S is the K3 surface w4 + x4 + y4 + z4 = 0 and T is the order 4 automorphism taking to then T2 has 2 fixed points. Blowing up these two points and taking the quotient by T2 gives a K3 surface with a fixed-point-free involution T, and the quotient of this by T is an Enriques surface. Alternative the Enriques surface can be constructed by taking the quotient of the original surface by the order 4 automorphism T and resolving the two singular points of the quotient. Another example is given by taking the intersection of 3 quadrics of the form Pi+Qi=0 and taking the quotient by the involution taking to. For generic quadrics this involution is a fixed-point-free involution of a K3 surface so the quotient is an Enriques surface.
