Difference between revisions of "Analytic surface (in algebraic geometry)"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 36: | Line 36: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> K. Kodaira, ''Matematika'' , '''6''' : 6 (1962) pp. 3–17</TD></TR><TR><TD valign="top">[2a]</TD> <TD valign="top"> K. Kodaira, "On compact (complex) analytic surfaces, I" ''Ann. of Math.'' , '''71''' : 1 (1960) pp. 111–152</TD></TR><TR><TD valign="top">[2b]</TD> <TD valign="top"> K. Kodaira, "On compact (complex) analytic surfaces, II" ''Ann. of Math.'' , '''77''' : 3 (1963) pp. 563–626 {{MR|165541}} {{ZBL|0193.37701}} {{ZBL|0133.16505}} </TD></TR><TR><TD valign="top">[2c]</TD> <TD valign="top"> K. Kodaira, "On compact (complex) analytic surfaces, III" ''Ann. of Math.'' , '''78''' : 1 (1963) pp. 1–40 {{MR|165541}} {{ZBL|}} </TD></TR><TR><TD valign="top">[3a]</TD> <TD valign="top"> K. Kodaira, "On the structure of compact (complex) analytic surfaces II" ''Amer. J. Math.'' , '''86''' (1964) pp. 751–798 {{MR|187255}} {{ZBL|0133.16505}} </TD></TR><TR><TD valign="top">[3b]</TD> <TD valign="top"> K. Kodaira, "On the structure of compact (complex) analytic surfaces II" ''Amer. J. Math.'' , '''88''' (1966) pp. 682–721 {{MR|205280}} {{ZBL|0193.37701}} </TD></TR><TR><TD valign="top">[3c]</TD> <TD valign="top"> K. Kodaira, "On the structure of compact (complex) analytic surfaces III" ''Amer. J. Math.'' , '''90''' (1968) pp. 55–83 {{MR|228019}} {{ZBL|0193.37701}} </TD></TR><TR><TD valign="top">[3d]</TD> <TD valign="top"> K. Kodaira, "On the structure of compact (complex) analytic surfaces IV" ''Amer. J. Math.'' , '''90''' (1968) pp. 1048–1066 {{MR|239114}} {{ZBL|}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> "Algebraic surfaces" ''Trudy Mat. Inst. Steklov.'' , '''75''' (1965) (In Russian) {{MR|}} {{ZBL|0154.33002}} {{ZBL|0154.21001}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) {{MR|0447223}} {{ZBL|0362.14001}} </TD></TR></table> |
Line 44: | Line 44: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> W. Barth, C. Peters, A. van der Ven, "Compact complex surfaces" , Springer (1984) {{MR|0749574}} {{ZBL|0718.14023}} </TD></TR></table> |
Revision as of 21:50, 30 March 2012
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 MR165541 Zbl 0193.37701 Zbl 0133.16505 |
[2c] | K. Kodaira, "On compact (complex) analytic surfaces, III" Ann. of Math. , 78 : 1 (1963) pp. 1–40 MR165541 |
[3a] | K. Kodaira, "On the structure of compact (complex) analytic surfaces II" Amer. J. Math. , 86 (1964) pp. 751–798 MR187255 Zbl 0133.16505 |
[3b] | K. Kodaira, "On the structure of compact (complex) analytic surfaces II" Amer. J. Math. , 88 (1966) pp. 682–721 MR205280 Zbl 0193.37701 |
[3c] | K. Kodaira, "On the structure of compact (complex) analytic surfaces III" Amer. J. Math. , 90 (1968) pp. 55–83 MR228019 Zbl 0193.37701 |
[3d] | K. Kodaira, "On the structure of compact (complex) analytic surfaces IV" Amer. J. Math. , 90 (1968) pp. 1048–1066 MR239114 |
[4] | "Algebraic surfaces" Trudy Mat. Inst. Steklov. , 75 (1965) (In Russian) Zbl 0154.33002 Zbl 0154.21001 |
[5] | I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) MR0447223 Zbl 0362.14001 |
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) MR0749574 Zbl 0718.14023 |
Analytic surface (in algebraic geometry). Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Analytic_surface_(in_algebraic_geometry)&oldid=11330