Surface of general type

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.

Classification

Gieseker showed that there is a coarse moduli scheme for surfaces of general type; this means that for any fixed values of the Chern numbers c12 and c2, there is a quasi-projective scheme classifying the surfaces of general type with those Chern numbers. It remains a very difficult problem to describe these schemes explicitly, and there are few pairs of Chern numbers for which this has been done (except when the scheme is empty). There are some indications that these schemes are in general too complicated to write down explicitly: the known upper bounds for the number of components are very large, some components can be non-reduced everywhere, components may have many different dimensions, and the few pieces that have been studied explicitly tend to look rather complicated.

Chern numbers of minimal complex surfaces

The study of which pairs of Chern numbers can occur for a surface of general type is known as "geography of Chern numbers" and there is an almost complete answer to this question. There are several conditions that the Chern numbers of a minimal complex surface of general type must satisfy:

Many (and possibly all) pairs of integers satisfying these conditions are the Chern numbers for some complex surface of general type. By contrast, for almost complex surfaces, the only constraint is:

c_1^2+c_2 \equiv 0 \pmod{12},

and this can always be realized.[1]

Examples

This is only a small selection of the rather large number of examples of surfaces of general type that have been found. Many of the surfaces of general type that have been investigated lie on (or near) the edges of the region of possible Chern numbers. In particular Horikawa surfaces lie on or near the "Noether line", many of the surfaces listed below lie on the line c2 + c12 = 12χ = 12, the minimum possible value for general type, and surfaces on the line 3c2 = c12 are all quotients of the unit ball in C2 (and are particularly hard to find).

Surfaces with χ=1

These surface which are located in the "lower left" boundary in the diagram have been studied in detail. For these surfaces with second Chern class can be any integer from 3 to 11. Surfaces with all these values are known; a few of the many examples that have been studied are:

Other Examples

Canonical models

Bombieri (1973) proved that the multicanonical map φnK for a complex surface of general type is a birational isomorphism onto its image whenever n5, and Ekedahl (1988) showed that the same result still holds in positive characteristic. There are some surfaces for which it is not a birational isomorphism when n is 4. These results follow from Reider's theorem.

See also

Notes

  1. http://www.pnas.org/cgi/reprint/55/6/1624.pdf

References

This article is issued from Wikipedia - version of the Thursday, November 12, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.