Namespaces
Variants
Actions

Analytic surface (in algebraic geometry)

From Encyclopedia of Mathematics
Revision as of 16:54, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A two-dimensional (complex) analytic manifold, i.e. a smooth four-dimensional manifold with a complex structure. While the theory of analytic surfaces forms part of the general theory of complex manifolds, the two-dimensional case is treated separately, since much more is known about analytic surfaces than about -dimensional manifolds if . Moreover, certain facts are specific to the two-dimensional case alone. These results concern the classification of analytic surfaces, which is analogous to that of algebraic surfaces (cf. Algebraic surface) — a fact which largely reduces the theory of analytic surfaces to that of algebraic surfaces. The principal results on the classification of analytic surfaces were obtained by K. Kodaira [1], , , but his work is based on the results of the classical Italian school of algebraic geometry on the classification of algebraic surfaces.

All analytic surfaces discussed below are assumed to be compact and connected.

Examples.

1) Algebraic surfaces. Let

be a set of homogeneous polynomials with complex coefficients. The closed subset of the complex projective space specified by the equations is an analytic surface if it is non-singular, connected and has complex dimension two. This is the basic example of an analytic surface.

2) Complex tori. Let be the two-dimensional vector space over the field of complex numbers (as a vector space over the field of real numbers it is isomorphic to ) and let be a lattice in . The quotient space is an analytic surface. Being a smooth manifold, is diffeomorphic to a four-dimensional torus, but the complex structure on depends on the lattice . Complex tori play an important role in analysis, since meromorphic functions on such tori are meromorphic functions on and are periodic with period lattice . Analytic surfaces of the type are not always algebraic. There also exist lattices such that there are no meromorphic functions at all (except for constants) on the corresponding torus . For specific examples of such tori see [5].

3) Hopf surfaces. Let and let be a positive number. Consider the action of the group on given by

The group acts discretely and without fixed points on , while the quotient space is diffeomorphic to . The quotient space has a natural structure of an analytic surface, and is called a Hopf surface.

Classification of analytic surfaces.

The principal invariant in the classification of analytic surfaces is the transcendence degree of the field of meromorphic functions on the analytic surface . According to Siegel's theorem, for any compact connected manifold the field is finitely generated, and its transcendence degree is not larger than the complex dimension of . Thus, for an analytic surface , the field contains two independent meromorphic algebraic functions, or one such function or constants only. These possibilities lead to the following theorems.

For any analytic surface to be an algebraic surface it is necessary and sufficient that there exist two algebraically independent meromorphic functions on .

If an analytic surface has a field of meromorphic functions of transcendence degree 1, then is an elliptic surface, i.e. there is a holomorphic mapping onto an algebraic curve , , such that

and all fibres of , except for a finite number, are elliptic curves (the singular fibres may only have a very special form, which has been thoroughly studied).

If no meromorphic functions other than constants exist on an analytic surface , and no exceptional curves (cf. Exceptional subvariety) exist on , then the first Betti number of assumes only three values: or 0. If , is a complex torus, and if , has a trivial canonical fibration. These analytic surfaces are called -surfaces. They are all mutually homeomorphic. The case has not been studied in detail, but certain examples of analytic surfaces with are obtained by a generalization of the construction of Hopf surfaces.

Analytic Kähler surfaces are not always algebraic. They are, however, algebraic if the square of their first Chern class is positive. All analytic Kähler surfaces with are deformations of algebraic surfaces.

References

[1] K. Kodaira, Matematika , 6 : 6 (1962) pp. 3–17
[2a] K. Kodaira, "On compact (complex) analytic surfaces, I" Ann. of Math. , 71 : 1 (1960) pp. 111–152
[2b] K. Kodaira, "On compact (complex) analytic surfaces, II" Ann. of Math. , 77 : 3 (1963) pp. 563–626
[2c] K. Kodaira, "On compact (complex) analytic surfaces, III" Ann. of Math. , 78 : 1 (1963) pp. 1–40
[3a] K. Kodaira, "On the structure of compact (complex) analytic surfaces II" Amer. J. Math. , 86 (1964) pp. 751–798
[3b] K. Kodaira, "On the structure of compact (complex) analytic surfaces II" Amer. J. Math. , 88 (1966) pp. 682–721
[3c] K. Kodaira, "On the structure of compact (complex) analytic surfaces III" Amer. J. Math. , 90 (1968) pp. 55–83
[3d] K. Kodaira, "On the structure of compact (complex) analytic surfaces IV" Amer. J. Math. , 90 (1968) pp. 1048–1066
[4] "Algebraic surfaces" Trudy Mat. Inst. Steklov. , 75 (1965) (In Russian)
[5] I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian)


Comments

The notion defined above is also called a complex-analytic surface, since one considers complex structures and the field of complex numbers . If instead one considers real structures and the field of real numbers, one speaks of real-analytic surfaces. However, an analytic surface is always understood in the sense explained above.

References

[a1] W. Barth, C. Peters, A. van der Ven, "Compact complex surfaces" , Springer (1984)
How to Cite This Entry:
Analytic surface (in algebraic geometry). Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Analytic_surface_(in_algebraic_geometry)&oldid=11330
This article was adapted from an original article by B.B. Venkov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article