# General-type algebraic surface

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

algebraic surface of general type

A surface of one of the broadest classes of algebraic surfaces (cf. Algebraic surface) in the Enriques classification. Namely, a smooth projective surface over an algebraically closed field is called an algebraic surface of general type if where is the Kodaira dimension. This condition is equivalent to the fact that for an integer the linear system , where is the canonical divisor on , defines a birational mapping of onto its image in for a certain . Every algebraic surface of general type possesses a birational morphism onto its minimal model.

Minimal algebraic surfaces of general type are characterized (see , , ) by each of the following sets of properties:

a) and for any effective divisor ;

b) and , where is the second plurigenus of ;

c) and the surface is not rational (cf. Rational surface);

d) there exists an integer such that, for any , the mapping defined by the system is a birational morphism of onto its image in .

For algebraic surfaces of general type, relations (in the form of inequalities) exist between the numerical characteristics. Let be the geometric genus and let be the irregularity of . Then for a minimal algebraic surface of general type the following inequalities hold:

1) ;

2) if is even, if is odd (these two inequalities are called Noether's inequalities);

3) , where is the second Chern class of (or the topological Euler characteristic).

The most complete result on multi-canonical mappings of algebraic surfaces of general type is the Bombieri–Kodaira theorem: Let be a minimal algebraic surface of general type over an algebraically closed field of characteristic 0, then the mapping is a birational morphism onto its own image for all . Algebraic surfaces of general type for which does not possess this property exist (see , , ).

How to Cite This Entry:
General-type algebraic surface. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=General-type_algebraic_surface&oldid=14784
This article was adapted from an original article by V.A. Iskovskikh (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article