Enriques surface

Enriques surface
Name	Enriques surface
Field	Algebraic geometry
Notable	Federigo Enriques

Enriques surface is a compact complex algebraic surface with Kodaira dimension zero that is minimal, has irregularity zero, and has nontrivial canonical divisor of order two in the Picard group. These surfaces arise in the classification of complex surfaces alongside K3 surface, Abelian variety, Rational surface, Ruled surface and play a key role in interactions between Noether, Castelnuovo and Enriques theories. They serve as central examples in studies originating from work of Federigo Enriques, Guido Castelnuovo, Oscar Zariski, Max Noether and later developments by Kunihiko Kodaira, David Mumford, Igor Shafarevich.

Definition and basic properties

An Enriques surface is a smooth projective surface over an algebraically closed field of characteristic not two with numerical invariants p_g = 0 and q = 0 and with canonical class K satisfying 2K ≡ 0 but K not linearly equivalent to 0. Foundational results about these invariants connect to the classification scheme of Birkar, Pardini, Bombieri and the Enriques–Kodaira classification developed by Kunihiko Kodaira, Katsumi Nomizu and Kunihiko Kodaira's contemporaries. The Hodge structure of an Enriques surface relates to that of a K3 surface via an unramified double cover: every complex Enriques surface is the quotient of a K3 surface by a fixed-point-free involution associated to groups studied by Nikulin and Namikawa. Cohomological properties tie to lattices investigated by Lefschetz, Hodge, Tate and to the intersection form on the Néron–Severi group appearing in work of Mordell and Shioda.

History and examples

Enriques surfaces were introduced as part of early 20th-century efforts by Federigo Enriques and Guido Castelnuovo to classify algebraic surfaces, with pathbreaking contributions by Oscar Zariski in characteristic p and global perspective advanced by Kunihiko Kodaira and A. N. Tikhomirov. Concrete examples include Enriques surfaces constructed from nodal degenerations of K3 surfaces, from quotient constructions using involutions studied by John Milnor and V. V. Nikulin, and classical examples on projective spaces studied by A. Fano and D. Hilbert. Over fields of characteristic two, subtleties produce quasi-Enriques and singular Enriques examples analyzed by Igor Dolgachev, T. Ekedahl and R. Liedtke and connected to exceptional phenomena described by Serre and Grothendieck.

Classification and moduli

The deformation theory and moduli of Enriques surfaces were developed by David Mumford, Pierre Deligne, Igor Shafarevich and Barry Mazur building on period map techniques of Torelli-type theorems for K3 surfaces by Piatetski-Shapiro and Shafarevich. The coarse moduli space of complex Enriques surfaces is a 10-dimensional quasi-projective variety related to orthogonal modular varieties studied by Borcherds and Gritsenko; period domains use lattices from Eichler and Nikulin. Arithmetic aspects connect to rational points and Galois actions investigated by Faltings, Serre and Tate, while integral models and specialization to positive characteristic have been studied by Deligne, Illusie and Raynaud.

Geometry and lattice theory

The Néron–Severi lattice of an Enriques surface is an even lattice of rank 10 and signature (1,9) closely related to the lattice II_{1,9} and to root systems appearing in the work of Coxeter, Dynkin, Cartan and Weyl. Reflection groups and Weyl chambers on Enriques surfaces connect to studies by Vinberg and Kac; configurations of (-2)-curves correspond to ADE types classified by ADE classification familiar from Lie algebra theory developed by Élie Cartan and Hermann Weyl. Lattice-polarized analogues and embeddings into K3 lattices were treated by Shioda, Inose and Nikulin, with applications to mirror symmetry themes explored by Kontsevich and Strominger.

Automorphisms and birational geometry

Automorphism groups of Enriques surfaces can be infinite and arithmetic, with contributions by Igor Dolgachev, V. V. Nikulin, Ueno and Mukai illuminating cases where automorphism groups contain reflection subgroups and hyperbolic isometries studied by Margulis and Borel. Birational transformations, Cremona actions and root reflections link to classical work of Sylvester, Cremona, Noether and modern dynamics studied by Cantat and McMullen. Exceptional fibrations, elliptic pencils and genus-one fibrations on Enriques surfaces feature in the studies of Persson, Miranda and Oguiso.

Connections to other surfaces and applications

Enriques surfaces serve as bridges to K3 surface theory via canonical covers, to arithmetic investigations by Faltings and Serre and to mirror symmetry and string theory contexts related to Calabi–Yau manifolds studied by Candelas, Yau and Strominger. They appear in classification problems linked to Deligne–Mumford stacks and to geometric representation theory via moduli studied by Nakajima and Bridgeland. Applications span enumerative problems treated by Gromov–Witten theory and automorphic form techniques of Borcherds; interactions with singularity theory invoke Arnold and links to combinatorial geometry reference Ehrhart and Coxeter.

Category:Algebraic surfaces