Riemann surface
of an analytic function of a complex variable
A surface such that the complete analytic function
, which is, in general, multiple-valued, can be considered as a single-valued analytic function
of a point
on
.
The concept of a Riemann surface arose in connection with the studies of algebraic functions defined by an algebraic equation
![]() | (1) |
where ,
, are polynomials with constant coefficients,
,
. In the works of V. Puiseux (1850–1851) one discovers a clear understanding of multiple-valuedness, characteristic of these functions
, when to each value of the variable
,
values of the variable
correspond. B. Riemann (1851–1857, see [1]) was the first to show how for any algebraic function one can construct a surface on which this function can be considered as a single-valued rational function of the point. The obtained Riemann surface can be identified with the algebraic curve defined by equation (1). In general, a mutual penetration (sometimes more intensive, sometimes less intensive) of ideas and methods of the theory of functions of a complex variable on the one hand and of algebra and algebraic geometry on the other hand is characteristic of the whole period of further development of the theory of Riemann surfaces, associated with the names of F. Klein, H. Poincaré, P. Koebe, and others. The landmark of this development was the first edition of the book of H. Weyl [18], in which the general concept of an abstract Riemann surface was formulated.
Definition A: A connected topological Hausdorff space is called an abstract Riemann surface or, simply, a Riemann surface, if it admits a covering by open sets
together with a homeomorphism
corresponding to each set
, where
is the unit disc in the complex
-plane
; moreover, if a point
belongs to
and
, then the one-to-one correspondence
should be a conformal mapping of the first kind in a neighbourhood of the point
, that is,
is a univalent analytic function in a neighbourhood of the point
. In other words, an abstract Riemann surface is a two-dimensional complex-analytic manifold.
The definition of a Riemann surface with boundary differs from definition
by the fact that together with the homeomorphisms
, homeomorphisms
are admitted, where
is the unit upper half-disc in
; moreover, it is usually assumed that
is not already a Riemann surface in the sense of definition
. The points of a Riemann surface with boundary
that have neighbourhoods homeomorphic to
are called interior and the other points, that are mapped to the points of the segment
![]() |
form the boundary . The set of interior points of
(the interior of
) is a Riemann surface in the sense of definition
. Thus, in the case of a Riemann surface with boundary, the boundary is usually considered to be a non-empty set.
A Riemann surface (with boundary) is a triangulable and orientable manifold with a countable base and, hence, it is separable and metrizable. A compact Riemann surface (without boundary) is called a closed Riemann surface; the wider class of finite Riemann surfaces includes the closed Riemann surfaces and the compact Riemann surfaces with a boundary consisting of a finite number of connected components. Non-compact Riemann surfaces with boundary or without it are called open Riemann surfaces. In certain cases it is more convenient to admit in definition not only conformal mappings of the first kind but also conformal mappings of the second kind. A Riemann surface with boundary
(or without it) obtained using such an approach is, generally speaking, not orientable any more, but under the assumption that it be finite it can be conformally imbedded in an orientable closed Riemann surface: the double of
(see [8], cf. Double of a Riemann surface).
Let an analytic function be given by one of its regular elements
, i.e. by a pair consisting of a point
and a power series
![]() |
with centre and radius of convergence
,
. Analytic continuation of the element
along all possible paths in the extended plane
allows one to obtain all regular elements
of the same type; in their totality they form the complete analytic function, which is also denoted by
. Moreover, under analytic continuation elements of a more general nature arise:
![]() |
i.e. pairs consisting of a point and a generalized power series (a Puiseux series):
![]() |
or (in the case when is the point at infinity):
![]() |
where is an integer and
is a positive integer. Moreover, these series converge when
or
, respectively. The generalized elements
or, more precisely, their equivalence classes, form in their totality the analytic image
corresponding to the given analytic function
. Among the equivalence classes of elements
that form the analytic image one can distinguish regular ones, when
, and ramified ones, when
. The introduction of an appropriate topology on the analytic image
will turn it into the Riemann surface
of the analytic function
. This can be achieved, for example, by defining the neighbourhood of an element
,
, as the set consisting of the element
itself and all the regular elements
of
for which
,
, and the series
converges to one of the
determinations of the series
in their common domain of definition, i.e.
![]() |
where is one of the
-th order roots of unity,
. The neighbourhood of the element
consists of the element
itself and all those regular elements
of
for which
,
, and the series
converges to one of the
determinations of the series
. The space
satisfies all the conditions of definition
.
Thus, to any analytic function corresponds a Riemann surface
on which this function is a single-valued analytic function
of a point
. This means that in a neighbourhood of any point
there exists a local uniformizing parameter
in which
is represented as a single-valued analytic function
. In other words, the Riemann surface
of an analytic function is a geometric construct that is used for the global uniformization of a, generally speaking, multiple-valued relation
. In a neighbourhood of each point
this relation is uniformized by the two single-valued analytic functions
and
. On the other hand, the projection
that takes each element
to its centre
shows that the Riemann surface
of an analytic function is a (ramified) covering surface over the extended complex plane
or, which is the same, over the Riemann sphere. The projections of the ramified elements
with
are branch points of this covering.
At the same time, to each a priori given Riemann surface correspond infinitely-many analytic functions
with precisely
as Riemann surface,
. For the case of closed Riemann surfaces this statement was formulated and proved already by Riemann in 1851. The central point of the corresponding proof is the construction on
of harmonic functions with given singularities. The proof given by Riemann was based on an uncritical application of the so-called Dirichlet principle; Koebe (1909) was the first to give a rigorous proof; later there appeared simpler proofs of this fundamental statement, among them those based on the properly applied Dirichlet principle (see, e.g. [3], [4], [17], [18]).
Whatever the orientable topological surface may be, one can construct a Riemann surface
homeomorphic to
, i.e. a Riemann surface of the same topological type as
. Closed Riemann surfaces are topologically completely determined by one number — the genus
,
(cf. Genus of a surface). The topological type of such a Riemann surface
for
is a sphere, for
— a torus, for
— a generalized torus, or a sphere with
handles. By cutting a Riemann surface
of genus
along some arc one obtains a digon with the symbol
as its topological model or normal form, indicating that the points of the sides
and
are identified; when
one has to carry out
canonical sections
, after which one obtains the normal form of a closed Riemann surface
— a polygon with
pairwise-identified sides; the symbol
should indicate the order of appearance of the sides. For instance, in Fig. athe normal forms of a sphere for
and a torus for
are shown together with their symbols.
Figure: r082040a
From the analytic point of view a closed Riemann surface is characterized by the fact that it is the Riemann surface of some algebraic function
defined by an algebraic equation (1) of degree
. This Riemann surface
can be imagined as
sheets extending over the Riemann sphere and mutually connected in a certain manner at the branch points and along some lines connecting these points (the manner of connecting is determined by the specific form of equation (1)). The genus
of the Riemann surface
can in this case be expressed as a function of the number of sheets
and the orders
of the branch points by the Riemann–Hurwitz formula
![]() |
Finite Riemann surfaces are topologically completely characterized by the genus
,
, and the number
of connected components of the boundary; their topological type is a sphere with
handles and
holes. In the normal form of a finite Riemann surface, the number of sides is not necessarily even, some sides corresponding to components of the boundary that remain free are not identified. The notion of the genus can also be generalized to open Riemann surfaces
, for example by exhausting
by a sequence
of compact Riemann surfaces with boundary
, belonging to
, and such that
is contained in
,
. The genus
of
is set equal to
, where
is the genus of
. This limit exists and is independent of the choice of the exhaustion
,
. However, the genus does not completely define the topological type of an open Riemann surface; the topological types of open Riemann surfaces can be rather diverse. Thus, in Fig.2a, Fig.2b two models with
and
, respectively, are shown.
An important topological characteristic of a Riemann surface is the order of connectivity:
is called simply connected if any simple closed curve in
can be deformed continuously into a point without getting out of
, i.e. in other words, if the fundamental group of
is trivial. Otherwise the Riemann surface
is called multiply connected. The schlichtartig Riemann surfaces form an important class of Riemann surfaces; they are the Riemann surfaces (with boundary or without) that are split by any simple closed curve into non-intersecting parts. For example, in Fig.2a a topological model of a multiply-connected schlichtartig Riemann surface is shown. A schlichtartig Riemann surface necessarily has genus zero. A schlichtartig Riemann surface
is called
-connected if the minimum number of sections necessary to convert
to a simply-connected Riemann surface is equal to
,
(see Fig.2b).
Figure: r082040b
Figure: r082040c
The topological properties of a Riemann surface do not completely characterize the analytic properties of
, i.e. the topological properties of
do not completely characterize the behaviour of functions of different classes on
. In particular, let
be a function on the Riemann surface
with values on another Riemann surface
. The function
is called analytic on
if for any point
,
, one can find local uniformizing parameters
in a neighbourhood of
on
and
in a neighbourhood of
on
, respectively, such that the composite function
![]() |
is an analytic function of the complex variable in a neighbourhood of the value
. Two Riemann surfaces
and
are called conformally equivalent, or are said to belong to the same conformal class (cf. Riemann surfaces, conformal classes of), if there exists an analytic function
that gives a one-to-one mapping from
onto
. From the point of view of the behaviour of analytic functions on Riemann surfaces, conformally-equivalent Riemann surfaces are considered as one and the same Riemann surface, but topologically-equivalent Riemann surfaces are not always conformally equivalent.
In terms of Riemann surfaces, the Riemann mapping theorem can be formulated as follows: Any simply-connected Riemann surface is conformally equivalent to one of the following three domains: 1) the extended complex plane , i.e. the Riemann sphere (the elliptic case); 2) the finite complex plane
, i.e. the punctured Riemann sphere (the parabolic case); or 3) the unit disc
in
, i.e. the Riemann sphere with a section of positive length (the hyperbolic case). An important result is that any schlichtartig Riemann surface is conformally equivalent to some canonical domain in the extended complex plane. As such a canonical domain one may take the entire extended plane with a finite or infinite number of sections parallel to the real axis; moreover, some of these sections may degenerate into points. As mentioned above, in the case of a simply-connected Riemann surface the canonical domain either has no sections (elliptic type), or the section degenerates into a point (parabolic type), or the section has a positive length (hyperbolic type). All three types of simply-connected Riemann surfaces are conformally different, although the last two of them are topologically equivalent. The problem of types, which has not yet (1991) been solved completely, consists in finding additional conditions under which a simply-connected Riemann surface will be of hyperbolic or parabolic type (see [6], [7], [10], [11], and Riemann surfaces, classification of).
In the case of an arbitrary Riemann surface , its universal covering surface
will always be a simply-connected Riemann surface, and thus belongs to one of the three types above. The Riemann surface
itself is considered to be of elliptic, parabolic or hyperbolic type, according to the type of its universal covering
. This classification of Riemann surfaces is justified by the following considerations. Let
be one of three domains: the extended complex plane, the finite complex plane or the open unit disc, and let
be some group of Möbius transformations of
onto itself (automorphisms) without fixed points in
. A conformal mapping
of the universal covering
onto
carries the group
of transformations of the covering
, which is isomorphic to the fundamental group
, onto some group
of automorphisms of
. Moreover,
can be considered as a conformal mapping from the quotient space
onto the quotient space
, and
can be identified with
. Thus,
can be considered as a conformal mapping from the Riemann surface
onto the quotient space
with some group of automorphisms
isomorphic to the fundamental group
.
Since a Riemann surface of elliptic type is necessarily simply-connected, the group
is trivial and thus such a Riemann surface is necessarily the Riemann surface of the function inverse to a rational function. A simply-connected Riemann surface of parabolic type is necessarily the Riemann surface of the function inverse to a meromorphic function in the finite plane. A compact Riemann surface of genus
,
or
is a Riemann surface of elliptic, parabolic or hyperbolic type, respectively.
In connection with the conformal equivalence of Riemann surfaces there arises the question of the structure of the group of conformal automorphisms of a Riemann surface
. Except for certain simple cases, this group
is discrete and for compact Riemann surfaces of genus
it is finite (Schwarz' theorem). There are only seven exceptional cases in which the group
is continuous, namely (representatives of the corresponding conformal classes are given): the sphere in the elliptic case; the sphere with one or two punctures and the torus in the parabolic case; the open disc, the punctured open disc and an annulus in the hyperbolic case.
Of great importance also is the moduli problem for Riemann surfaces in its different versions (cf. Moduli of a Riemann surface; Moduli problem). It is the problem of the possible description of the diversity of conformally-inequivalent Riemann surfaces of different types. For example, it is easy to establish the following facts. The set of types of conformally-inequivalent doubly-connected schlichtartig Riemann surfaces (annuli) depends on one real parameter (the modulus) ,
; i.e. two annuli
,
, are conformally equivalent if and only if the ratios of their radii
coincide. The set of types of conformally-inequivalent
-connected schlichtartig Riemann surfaces for
depends on
real parameters. The set of types of conformally-inequivalent closed Riemann surfaces of genus
for
depends on two real parameters and for
on
real parameters (see Riemann surfaces, conformal classes of, and also [3], [12], [13], , ; concerning the behaviour of functions of other classes on Riemann surfaces see Riemann surfaces, classification of).
An important aspect of the theory of Riemann surfaces is its connection with the concept of uniformization. In general, for a multiple-valued analytic function
![]() | (2) |
its Riemann surface provides a geometrical means of uniformization: The multiple-valued relation (2) is replaced by two single-valued relations
![]() | (3) |
which give a single-valued expression of and
in the entire domain of definition of the function (2) as a complete analytic function. On the other hand, the approach of K. Weierstrass to the construction of the notion of the complete analytic function of (2) is based on the use of a local uniformizing parameter
that allows one to express the variables
and
analytically as single-valued analytic functions
and
, locally in a neighbourhood of some point
,
. The uniformization problem in its simplest classical form is the problem of synthesis of these two ideas. One has to replace the relation (2) in its entire domain of definition by two analytic representations
,
, where
is a uniformizing complex variable with values in some domain of the plane.
The above-mentioned statement of the possibility of uniformization was established by Koebe and, independently, by Poincaré almost simultaneously in 1907. If the Riemann surface of the function (2) is simply connected or schlichtartig, then the uniformization problem is reduced to constructing a conformal mapping
from
onto the planar domain
. The representations (3) then provide the sought uniformization:
![]() |
A conformal mapping onto a planar domain exists only for the schlichtartig Riemann surfaces
(the general uniformization theorem).
In the general case of an arbitrary analytic relation (2), the Riemann surface is not schlichtartig but its universal covering surface
is simply connected and, hence, there exists a conformal mapping
![]() |
where is one of the already-mentioned domains:
,
or the open unit disc. The function
is meromorphic on the Riemann surface
and, hence, it is also meromorphic on
; moreover, it depends only on the projection
,
, of a point
. Thus one obtains a geometrical uniformization in the form
![]() |
and from it the analytic uniformization
![]() |
![]() |
where and
are expressed as meromorphic functions
and
of a variable
. These functions
and
are automorphic functions (cf. Automorphic function) in
relative to the group of automorphisms
isomorphic to the fundamental group
of the Riemann surface
of the uniformizing function (see [3], [7], , ).
References
[1] | B. Riemann, "Collected works" , Dover, reprint (1953) Zbl 0703.01020 Zbl 08.0231.03 |
[2] | A.I. Markushevich, "Theory of functions of a complex variable" , 1–2 , Chelsea (1977) (Translated from Russian) MR0444912 Zbl 0357.30002 |
[3] | A. Hurwitz, R. Courant, "Vorlesungen über allgemeine Funktionentheorie und elliptische Funktionen" , Springer (1964) MR0173749 Zbl 0135.12101 |
[4] | S. Stoilov, "The theory of functions of a complex variable" , 1–2 , Moscow (1962) (In Russian; translated from Rumanian) |
[5] | S. [S. Stoilov] Stoilow, "Leçons sur les principes topologiques de la théorie des fonctions analytiques" , Gauthier-Villars (1938) MR0082545 Zbl 0121.06103 Zbl 0072.07604 Zbl 0017.37802 |
[6] | G. Springer, "Introduction to Riemann surfaces" , Chelsea, reprint (1981) MR0122987 MR1530201 MR0092855 Zbl 0501.30039 |
[7] | R. Nevanlinna, "Uniformisierung" , Springer (1967) MR0228671 Zbl 0152.27401 |
[8] | M. Schiffer, D.C. Spencer, "Functionals of finite Riemann surfaces" , Princeton Univ. Press (1954) MR0065652 Zbl 0059.06901 |
[9] | N.G. Chebotarev, "The theory of algebraic functions" , Moscow-Leningrad (1948) (In Russian) |
[10] | L.I. Volkovyskii, "Investigation of the type problem for a simply-connected Riemann surface" Trudy Mat. Inst. Steklov. , 34 (1950) pp. 3–171 (In Russian) MR0049330 |
[11] | L.I. Volkovyskii, "Contempory studies on Riemann surfaces" Uspekhi Mat. Nauk , 11 : 5 (1956) pp. 77–84 (In Russian) |
[12] | S.L. Krushkal', "Quasi-conformal mappings and Riemann surfaces" , Winston & Wiley (1979) (Translated from Russian) MR536488 |
[13] | S.L. Krushkal', B.N. Apanasov, N.A. Gusevskii, "Kleinian groups and uniformization in examples and problems" , Amer. Math. Soc. (1986) (Translated from Russian) MR0835439 Zbl 0579.30001 |
[14] | E.B. Vinberg, O.V. Shvartsman, "Riemann surfaces" J. Soviet Math. , 14 : 1 (1980) pp. 985–1020 Itogi Nauk. i Tekhn. Algebra. Topol. Geom. , 16 (1978) pp. 191–245 MR0538254 Zbl 0445.30032 |
[15a] | L. Bers, "Quasi-conformal mappings and Teichmüller's theorem" R. Nevanlinna (ed.) et al. (ed.) , Analytic functions , Princeton Univ. Press (1960) pp. 89–119 MR114898 |
[15b] | L.V. Ahlfors, "The complex analytic structure of the space of closed Riemann surfaces" R. Nevanlinna (ed.) et al. (ed.) , Analytic functions , Princeton Univ. Press (1960) pp. 45–66 MR0124486 Zbl 0100.28903 |
[15c] | L. Bers, "Spaces of Riemann surfaces" J.A. Todd (ed.) , Proc. Internat. Congress Mathematicians (Edinburgh, 1958) , Cambridge Univ. Press (1960) pp. 349–361 MR0124484 MR0111835 Zbl 0116.28803 Zbl 0106.28501 |
[15d] | L. Bers, "Simultaneous uniformization" Bull. Amer. Math. Soc. , 66 (1960) pp. 94–97 MR0111834 Zbl 0090.05101 |
[15e] | L. Bers, "Holomorphic differentials as functions of moduli" Bull. Amer. Math. Soc. , 67 (1961) pp. 206–210 MR0122989 Zbl 0102.06702 |
[15f] | L. Ahlfors, "On quasiconformal mappings" J. d'Anal. Math. , 3 (1954) pp. 1–58; 207–208 MR0064875 Zbl 0057.06506 |
[16a] | L. Bers, "Uniformization, moduli, and Kleinian groups" Bull. London Math. Soc. , 4 (1972) pp. 257–300 MR0348097 Zbl 0257.32012 |
[16b] | L. Bers, "The moduli of Kleinian groups" Russian Math. Surveys , 29 : 2 (1974) pp. 88–102 Uspekhi Mat. Nauk , 29 : 2 (1974) pp. 86–102 MR0422691 |
[17] | F. Klein, "Riemannschen Flächen" , Springer, reprint (1986) |
[18] | H. Weyl, "The concept of a Riemann surface" , Addison-Wesley (1955) (Translated from German) MR1440406 MR0166351 |
[19] | L.V. Ahlfors, L. Sario, "Riemann surfaces" , Princeton Univ. Press (1974) MR0667739 MR0712145 MR0279300 MR0204641 MR0130368 MR0124486 MR0114911 MR0093583 MR0083561 MR1565732 MR0090649 MR0055250 MR0054729 MR0054055 MR0043912 MR0036318 Zbl 0508.01017 Zbl 0445.30001 Zbl 0213.35602 Zbl 0146.30602 Zbl 0196.33801 Zbl 0100.28903 Zbl 0178.08201 Zbl 0114.28101 Zbl 0071.07502 Zbl 0066.32801 Zbl 0052.30503 Zbl 0050.08403 Zbl 0048.05905 Zbl 0048.05904 Zbl 0042.31603 Zbl 0041.41102 Zbl 0029.25802 Zbl 0018.26202 Zbl 0015.36001 Zbl 0006.26204 |
[20] | A. Pfluger, "Theorie der Riemannschen Flächen" , Springer (1957) MR0084031 Zbl 0077.07803 |
[21] | L. Sario, M. Nakai, "Classification theory of Riemann surfaces" , Springer (1970) MR0264064 Zbl 0199.40603 |
[22] | M. Heins, "Hardy classes on Riemann surfaces" , Springer (1969) MR0247069 Zbl 0176.03001 |
[23] | R.C. Gunning, "Lectures on Riemann surfaces" , Princeton Univ. Press (1966) MR0207977 Zbl 0175.36801 |
[24] | R.C. Gunning, "Lectures on Riemann surfaces: Jacobi varieties" , Princeton Univ. Press (1972) MR0357407 Zbl 0387.32008 |
[25] | O. Forster, "Lectures on Riemann surfaces" , Springer (1981) (Translated from German) MR0648106 Zbl 0475.30002 |
Comments
For the generalization to "Riemann surfaces over Cn" see, e.g., [a6] and Riemannian domain.
References
[a1] | P.A. Griffiths, J.E. Harris, "Principles of algebraic geometry" , Wiley (Interscience) (1978) MR0507725 Zbl 0408.14001 |
[a2] | P. Griffiths, "Introduction to algebraic curves" , Amer. Math. Soc. (1989) MR1013999 Zbl 0696.14012 |
[a3] | H.M. Farkas, I. Kra, "Riemann surfaces" , Springer (1980) pp. Sect. III.6 MR0583745 Zbl 0475.30001 |
[a4] | H. Behnke, F. Sommer, "Theorie der analytischen Funktionen einer komplexen Veränderlichen" , Springer (1955) MR0073682 Zbl 0065.06102 |
[a5] | H. Cohn, "Conformal mapping on Riemann surfaces" , Dover, reprint (1980) MR0594937 Zbl 0493.30001 |
[a6] | H. Behnke, P. Thullen, "Theorie der Funktionen meherer komplexer Veränderlichen" , Springer (1970) pp. Chapt. VI (Elraged & Revised Edition. Original: 1934) |
[a7] | W. Osgood, "Lehrbuch der Funktionentheorie" , 1–2 , Chelsea, reprint (1965) MR0196039 MR0196038 Zbl 0005.29904 Zbl 58.0390.04 Zbl 54.0326.10 Zbl 55.0171.02 Zbl 50.0209.04 Zbl 43.0476.02 Zbl 37.0409.02 Zbl 38.0412.01 |
Riemann surface. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Riemann_surface&oldid=18777