 Del Pezzo surface

In mathematics, a del Pezzo surface or Fano surface is a twodimensional Fano variety, in other words a nonsingular projective algebraic surface with ample anticanonical divisor class. They are in some sense the opposite of surfaces of general type, which have ample canonical class.
They are named for Pasquale del Pezzo who studied the surfaces with the more restrictive condition that they have a very ample anticanonical divisor class, or in his language the surfaces with a degree n embedding in ndimensional projective space (del Pezzo 1887), which are the del Pezzo surfaces of degree at least 3.
Contents
Classification
A del Pezzo surface is a complete nonsingular surface with ample anticanonical bundle. There are some variations of this definition that are sometimes used. Sometimes del Pezzo surfaces are allowed to have singularities. They were originally assumed to be embedded in projective space by the anticanonical embedding, which restricts the degree to be at least 3.
The degree d of a del Pezzo surface X is by definition the self intersection number (K, K) of its canonical class K.
A −1curve is a rational curve with self intersection number −1. For d > 2, the image of such a curve in projective space under the anticanonical embedding is a line.
Any curve on a del Pezzo surface has self intersection number at least −1. The number of curves with self intersection number −1 is finite and depends only on the degree (unless the degree is 8).
The blowdown of any −1curve on a del Pezzo surface is a del Pezzo surface of degree 1 more. The blowup of any point on a del Pezzo surface is a del Pezzo surface of degree 1 less, provided that the point does not lie on a −1curve and the degree is greater than 1.
Del Pezzo proved that a del Pezzo surface has degree d at most 9. Over an algebraically closed field, every del Pezzo surface is either a product of two projective lines (with d=8), or the blowup of a projective plane in 9 − d points with no three collinear, no six on a conic, and no eight of them on a cubic having a node at one of them. Conversely any blowup of the plane in points satisfying these conditions is a del Pezzo surface.
The Picard group of a del Pezzo surface of degree d is the odd unimodular lattice I_{1,9−d}, except when the surface is a product of 2 lines when the Picard group is the even unimodular lattice II_{1,1}.When it is an odd lattice, the canonical element is (3, 1, 1, 1, ....), and the exceptional curves are represented by permutations of all but the first coordinate of the following vectors:
 (0, −1, 0, 0, ....) the exceptional curves of the blown up points,
 (1, 1, 1, 0, 0, ...) lines through 2 points,
 (2, 1, 1, 1, 1, 1, 0, ...) conics through 5 points,
 (3, 2, 1, 1, 1, 1, 1, 1, 0, ...) cubics through 7 points with a double point at one of them,
 (4, 2, 2, 2, 1, 1, 1, 1, 1) quartics through 8 points with double points at three of them,
 (5, 2, 2, 2, 2, 2, 2, 1, 1) quintics through 8 points with double points at all but two of them,
 (6, 3, 2, 2, 2, 2, 2, 2, 2) sextics through 8 points with double points at all except a single point with multiplicity three.
Examples
Degree 1: they have 240 −1curves corresponding to the roots of an E_{8} root system. They form an 8dimensional family. The anticanonical divisor is not very ample. The linear system −2K defines a degree 2 map from the del Pezzo surface to a quadratic cone in P^{3}, branched over a nonsingular genus 4 curve cut out by a cubic surface.
Degree 2: they have 56 −1curves corresponding to the minuscule vectors of the dual of the E_{7} lattice. They form a 6dimensional family. The anticanonical divisor is not very ample, and its linear system defines a map from the del Pezzo surface to the projective plane, branched over a quartic plane curve. This map is generically 2 to 1, so this surface is sometimes called a del Pezzo double plane. The 56 lines of the del Pezzo surface map in pairs to the 28 bitangents of a quartic.
Degree 3: these are essentially cubic surfaces in P^{3}; the cubic surface is the image of the anticanonical embedding. They have 27 −1curves corresponding to the minuscule vectors of one coset in the dual of the E_{6} lattice, which map to the 27 lines of the cubic surface. They form a 4dimensional family.
Degree 4: these are essentially Segre surfaces in P^{4}, given by the intersection of two quadrics. They have 16 −1curves. They form a 2dimensional family.
Degree 5: they have 10 −1curves corresponding to the minuscule vectors of one coset in the dual of the A_{4} lattice. There is up to isomorphism only one such surface, given by blowing up the projective plane in 4 points with no 3 on a line.
Degree 6: they have 6 −1curves. There is up to isomorphism only one such surface, given by blowing up the projective plane in 3 points not on a line. The root system is A_{2} × A_{1}
Degree 7: they have 3 −1curves. There is up to isomorphism only one such surface, given by blowing up the projective plane in 2 distinct points.
Degree 8: they have 2 isomorphism types. One is a Hirzebruch surface given by the blow up of the projective plane at one point, which has 1 −1curves. The other is the product of two projective lines, which is the only del Pezzo surface that cannot be obtained by starting with the projective plane and blowing up points. Its Picard group is the even 2dimensional unimodular indefinite lattice II_{1,1}, and it contains no −1curves.
Degree 9: The only degree 9 del Pezzo surface is the P^{2}. Its anticanonical embedding is the degree 3 Veronese embedding into P^{9} using the linear system of cubics.
Weak del Pezzo surfaces
A weak del Pezzo surface is a complete nonsingular surface with anticanonical bundle that is nef and big.
The blowdown of any −1curve on a weak del Pezzo surface is a weak del Pezzo surface of degree 1 more. The blowup of any point on a weak del Pezzo surface is a weak del Pezzo surface of degree 1 less, provided that the point does not lie on a −2curve and the degree is greater than 1.
Any curve on a weak del Pezzo surface has self intersection number at least −2. The number of curves with self intersection number −2 is at most 9−d, and the number of curves with self intersection number −1 is finite.
See also
 The mysterious duality relates geometry of del Pezzo surfaces and Mtheory.
 Coble surface
References
 del Pezzo, Pasquale (1885), "Sulle superficie dell ordine n immerse negli spazi di n+1 dimensioni", Rend. Della R. Acc. Delle Scienze Fis. E Mat. Di Napoli
 del Pezzo, Pasquale (1887), "Sulle superficie dell n^{no} ordine immerse nello spazio di n dimensioni", Rend. del circolo matematico di Palermo 1 (1): 241–271, doi:10.1007/BF03020097
 Dolgachev, Igor, Topics in classical algebraic geometry, http://www.math.lsa.umich.edu/~idolga/lecturenotes.html
 Kollár, János; Smith, Karen E.; Corti, Alessio (2004), Rational and nearly rational varieties, Cambridge Studies in Advanced Mathematics, 92, Cambridge University Press, ISBN 9780521832076, MR2062787, http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521832076
 Manin, Yuri Ivanovich (1986), Cubic forms, NorthHolland Mathematical Library, 4 (2nd ed.), Amsterdam: NorthHolland, ISBN 9780444878236, MR833513
 Nagata, Masayoshi (1960), "On rational surfaces. I. Irreducible curves of arithmetic genus 0 or 1", Mem. Coll. Sci. Univ. Kyoto Ser. A Math. 32: 351–370, MR0126443
 Semple, J. G.; Roth, L. (1985), Introduction to algebraic geometry, Oxford Science Publications, The Clarendon Press Oxford University Press, MR814690
 Iqbal, PhD, Amer (2002). "String Theory and De Pezzo Surfaces". MSRI Journal of Pure and Discrete Mathematics (University of California, Berkeley: Dr. Professor Amer Iqbal, Professor of Mathematics and Physics at the National Center for Physics and Mathematical Sciences Research Institute) 1 (1): 32. http://www.msri.org/realvideo/ln/msri/2002/ssymmetry/iqbal/1/banner/31.html. Retrieved 2011.
Categories: Algebraic surfaces
 Complex surfaces
Wikimedia Foundation. 2010.
Look at other dictionaries:
Del Pezzo — may refer to: Del Pezzo surface Pasquale del Pezzo This disambiguation page lists mathematics articles associated with the same title. If an internal link led you here, you may wish to change the link to point … Wikipedia
Pasquale del Pezzo — Pasquale Del Pezzo, Duke of Cajanello, (1859 ndash;1936), was the most Neapolitan of Neapolitan Mathematicians . He was born in Berlin (where his father was a representative of the Neapolitan king) on 2 May 1859. He died in Naples on 20 June 1936 … Wikipedia
Rational surface — In algebraic geometry, a branch of mathematics, a rational surface is a surface birationally equivalent to the projective plane, or in other words a rational variety of dimension two. Rational surfaces are the simplest of the 10 or so classes of… … Wikipedia
Algebraic surface — In mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface is therefore of complex dimension two (as a complex manifold, when it is non singular)… … Wikipedia
Cubic surface — A cubic surface is a projective variety studied in algebraic geometry. It is an algebraic surface in three dimensional projective space defined by a single polynomial which is homogeneous of degree 3 (hence, cubic). Cubic surfaces are del Pezzo… … Wikipedia
Mysterious duality — In theoretical physics, mysterious duality is a set of mathematical similarities between some objects and laws (and perhaps all of them, if the conjecture is extended appropriately) describing M theory on k dimensional tori (i.e. type II… … Wikipedia
Mtheory — For a generally accessible and less technical introduction to the topic, see Introduction to M theory. String theory … 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
EnriquesKodaira classification — In mathematics, the Enriques Kodaira classification is a classification of compact complex surfaces. For complex projective surfaces it was done by Federigo Enriques, and Kunihiko Kodaira later extended it to non algebraic compact surfaces. It… … 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