Riemann surface

From Encyclopedia of Mathematics
Jump to: navigation, search

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


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


its Riemann surface provides a geometrical means of uniformization: The multiple-valued relation (2) is replaced by two single-valued relations


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], , ).


[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


For the generalization to "Riemann surfaces over Cn" see, e.g., [a6] and Riemannian domain.


[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
How to Cite This Entry:
Riemann surface. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by E.D. Solomentsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article