Del Pezzo surface

Last updated

In mathematics, a del Pezzo surface or Fano surface is a two-dimensional Fano variety, in other words a non-singular projective algebraic surface with ample anticanonical divisor class. They are in some sense the opposite of surfaces of general type, whose canonical class is big.

Contents

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 n-dimensional projective space ( del Pezzo 1887 ), which are the del Pezzo surfaces of degree at least 3.

Classification

A del Pezzo surface is a complete non-singular 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 degreed of a del Pezzo surface X is by definition the self intersection number (K, K) of its canonical class K.

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).

A (−1)-curve is a rational curve with self intersection number −1. For d > 2, the image of such a curve in projective space under the anti-canonical embedding is a line.

The blowdown of any (−1)-curve 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 (−1)-curve and the degree is greater than 2. When the degree is 2, we have to add the condition that the point is not fixed by the Geiser involution, associated to the anti-canonical morphism.

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 blow-up 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 I1,9−d, except when the surface is a product of 2 lines when the Picard group is the even unimodular lattice II1,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:

Examples

Degree 1: they have 240 (−1)-curves corresponding to the roots of an E8 root system. They form an 8-dimensional 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 P3, branched over a nonsingular genus 4 curve cut out by a cubic surface.

Degree 2: they have 56 (−1)-curves corresponding to the minuscule vectors of the dual of the E7 lattice. They form a 6-dimensional 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 P3; the cubic surface is the image of the anticanonical embedding. They have 27 (−1)-curves corresponding to the minuscule vectors of one coset in the dual of the E6 lattice, which map to the 27 lines of the cubic surface. They form a 4-dimensional family.

Degree 4: these are essentially Segre surfaces in P4, given by the intersection of two quadrics. They have 16 (−1)-curves. They form a 2-dimensional family.

Degree 5: they have 10 (−1)-curves corresponding to the minuscule vectors of one coset in the dual of the A4 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 (−1)-curves. 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 A2 × A1

Degree 7: they have 3 (−1)-curves. 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 (−1)-curves. 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 2-dimensional unimodular indefinite lattice II1,1, and it contains no (−1)-curves.

Degree 9: The only degree 9 del Pezzo surface is the P2. Its anticanonical embedding is the degree 3 Veronese embedding into P9 using the linear system of cubics.

Weak del Pezzo surfaces

A weak del Pezzo surface is a complete non-singular surface with anticanonical bundle that is nef and big.

The blowdown of any (−1)-curve 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 −2-curve 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

Related Research Articles

Projective variety

In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of .

Birational geometry

In mathematics, birational geometry is a field of algebraic geometry in which the goal is to determine when two algebraic varieties are isomorphic outside lower-dimensional subsets. This amounts to studying mappings that are given by rational functions rather than polynomials; the map may fail to be defined where the rational functions have poles.

Cubic surface

In mathematics, a cubic surface is a surface in 3-dimensional space defined by one polynomial equation of degree 3. Cubic surfaces are fundamental examples in algebraic geometry. The theory is simplified by working in projective space rather than affine space, and so cubic surfaces are generally considered in projective 3-space . The theory also becomes more uniform by focusing on surfaces over the complex numbers rather than the real numbers; note that a complex surface has real dimension 4. A simple example is the Fermat cubic surface

K3 surface Type of smooth complex surface of kodaira dimension 0

In mathematics, a complex analytic K3 surface is a compact connected complex manifold of dimension 2 with trivial canonical bundle and irregularity zero. An (algebraic) K3 surface over any field means a smooth proper geometrically connected algebraic surface that satisfies the same conditions. In the Enriques–Kodaira classification of surfaces, K3 surfaces form one of the four classes of minimal surfaces of Kodaira dimension zero. A simple example is the Fermat quartic surface

Kummer surface Irreducible nodal surface

In algebraic geometry, a Kummer quartic surface, first studied by Ernst Kummer (1864), is an irreducible nodal surface of degree 4 in with the maximal possible number of 16 double points. Any such surface is the Kummer variety of the Jacobian variety of a smooth hyperelliptic curve of genus 2; i.e. a quotient of the Jacobian by the Kummer involution x ↦ −x. The Kummer involution has 16 fixed points: the 16 2-torsion point of the Jacobian, and they are the 16 singular points of the quartic surface. Resolving the 16 double points of the quotient of a torus by the Kummer involution gives a K3 surface with 16 disjoint rational curves; these K3 surfaces are also sometimes called Kummer surfaces.

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 has complex dimension two and so of dimension four as a smooth manifold.

In mathematics, the canonical bundle of a non-singular algebraic variety of dimension over a field is the line bundle , which is the nth exterior power of the cotangent bundle Ω on V.

Linear system of divisors

In algebraic geometry, a linear system of divisors is an algebraic generalization of the geometric notion of a family of curves; the dimension of the linear system corresponds to the number of parameters of the family.

In mathematics, a distinctive feature of algebraic geometry is that some line bundles on a projective variety can be considered "positive", while others are "negative". The most important notion of positivity is that of an ample line bundle, although there are several related classes of line bundles. Roughly speaking, positivity properties of a line bundle are related to having many global sections. Understanding the ample line bundles on a given variety X amounts to understanding the different ways of mapping X into projective space. In view of the correspondence between line bundles and divisors, there is an equivalent notion of an ample divisor.

In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors. Both are ultimately derived from the notion of divisibility in the integers and algebraic number fields.

Blowing up

In mathematics, blowing up or blowup is a type of geometric transformation which replaces a subspace of a given space with all the directions pointing out of that subspace. For example, the blowup of a point in a plane replaces the point with the projectivized tangent space at that point. The metaphor is that of zooming in on a photograph to enlarge part of the picture, rather than referring to an explosion.

In algebraic geometry, a surface of general type is an algebraic surface with Kodaira dimension 2. Because of Chow's theorem any compact complex manifold of dimension 2 and with Kodaira dimension 2 will actually be an algebraic surface, and in some sense most surfaces are in this class.

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 surface in the Enriques–Kodaira classification of complex surfaces, and were the first surfaces to be investigated.

In algebraic geometry, a Fano variety, introduced by Gino Fano in, is a complete variety X whose anticanonical bundle KX* is ample. In this definition, one could assume that X is smooth over a field, but the minimal model program has also led to the study of Fano varieties with various types of singularities, such as terminal or klt singularities.

In algebraic geometry, a line bundle on a projective variety is nef if it has nonnegative degree on every curve in the variety. The classes of nef line bundles are described by a convex cone, and the possible contractions of the variety correspond to certain faces of the nef cone. In view of the correspondence between line bundles and divisors, there is an equivalent notion of a nef divisor.

Resolution of singularities

In algebraic geometry, the problem of resolution of singularities asks whether every algebraic variety V has a resolution, a non-singular variety W with a proper birational map W→V. For varieties over fields of characteristic 0 this was proved in Hironaka (1964), while for varieties over fields of characteristic p it is an open problem in dimensions at least 4.

The terminology of algebraic geometry changed drastically during the twentieth century, with the introduction of the general methods, initiated by David Hilbert and the Italian school of algebraic geometry in the beginning of the century, and later formalized by André Weil, Jean-Pierre Serre and Alexander Grothendieck. Much of the classical terminology, mainly based on case study, was simply abandoned, with the result that books and papers written before this time can be hard to read. This article lists some of this classical terminology, and describes some of the changes in conventions.

This is a glossary of algebraic geometry.

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.