View source for Riemann surface

{{Short description|One-dimensional complex manifold}}
{{distinguish|Riemannian surface|Riemannian manifold}}
{{for|the Riemann surface of a subring of a field|Zariski–Riemann space}}
[[File:Log(z) Riemann surface.svg|thumb|right|upright=1.1|The Riemann surface for the multivalued complex function {{nowrap|1=''f''(''z'') = log(''z'')}} in a neighborhood of the origin. The {{nowrap|(''x'', ''y'')}} coordinates are the coordinates of ''z'' in the complex plane; the vertical coordinate represents the imaginary part of ''f''(''z''), whose real part is represented by hue.]]

In [[mathematics]], particularly in [[complex analysis]], a '''Riemann surface''' is a connected one-dimensional [[complex manifold]].  These surfaces were first studied by and are named after [[Bernhard Riemann]]. Riemann surfaces can be thought of as deformed versions of the [[complex plane]]: locally near every point they look like patches of the complex plane, but the global [[topology]] can be quite different. For example, they can look like a [[sphere]] or a [[torus]] or several sheets glued together.

Examples of Riemann surfaces include [[Graph of a function|graphs]] of [[Multivalued function|multivalued functions]] such as √''z'' or log(''z''), e.g. the subset of pairs {{nowrap|1=(''z'', ''w'') ∈ '''C'''<sup>2</sup>}} with {{nowrap|1=''w'' = log(''z'')}}. 

Every Riemann surface is a [[Surface (topology)|surface]]: a two-dimensional real [[manifold]], but it contains more structure (specifically a [[Complex Manifold|complex structure]]). Conversely, a two-dimensional real manifold can be turned into a Riemann surface (usually in several inequivalent ways) if and only if it is [[orientable]] and [[Metrizable_space|metrizable]]. Given this, the sphere and torus admit complex structures but the [[Möbius strip]], [[Klein bottle]] and [[real projective plane]] do not.  Every compact Riemann surface is a [[Algebraic curve|complex algebraic curve]] by [[Algebraic geometry and analytic geometry#Chow's theorem|Chow's theorem]] and the [[Riemann–Roch theorem]].

== Definitions ==
{{further|Complex manifold|Conformal geometry}}
There are several equivalent definitions of a Riemann surface.

# A Riemann surface ''X'' is a [[Connected space|connected]] [[complex manifold]] of [[complex dimension]] one. This means that ''X'' is a connected [[Hausdorff space]] that is endowed with an [[atlas (topology)|atlas]] of [[chart (topology)|chart]]s to the [[open unit disk]] of the [[complex plane]]: for every point {{nowrap|''x'' ∈ ''X''}} there is a [[neighbourhood (topology)|neighbourhood]] of ''x'' that is [[homeomorphic]] to the open unit disk of the complex plane, and the [[transition map]]s between two overlapping charts are required to be [[Holomorphic function|holomorphic]].<ref>{{harvnb|Farkas|Kra|1980}}, {{harvnb|Miranda|1995}}</ref>
# A Riemann surface is an [[oriented manifold]] of (real) dimension two – a two-sided [[Surface (topology)|surface]] – together with a [[conformal structure]]. Again, manifold means that locally at any point ''x'' of ''X'', the space is homeomorphic to a subset of the real plane. The supplement "Riemann" signifies that ''X'' is endowed with an additional structure that allows [[angle]] measurement on the manifold, namely an [[equivalence class]] of so-called [[Riemannian metric]]s. Two such metrics are considered [[conformally equivalent|equivalent]] if the angles they measure are the same. Choosing an equivalence class of metrics on ''X'' is the additional datum of the conformal structure.

A complex structure gives rise to a conformal structure by choosing the standard [[Euclidean metric]] given on the complex plane and transporting it to ''X'' by means of the charts. Showing that a conformal structure determines a complex structure is more difficult.<ref>See {{Harvard citations|author=Jost|year=2006|loc=Ch. 3.11}} for the construction of a corresponding complex structure.</ref>

== Examples ==

{{unordered list
|1=The [[complex plane]] '''C''' is the most basic Riemann surface. 
|2=Every nonempty [[open subset]] of the complex plane {{nowrap|''U'' ⊆ '''C'''}} is a Riemann surface. More generally, every non-empty open subset of a Riemann surface is a Riemann surface.
[[File:Riemann sphere1.svg|thumb|right|150px|The Riemann sphere and stereographic projection.]]
|3= The [[Sphere|2-sphere]] ''S''<sup>2</sup> has a unique Riemann surface structure, called the '''[[Riemann sphere]]'''. It has two open subsets that we identify with the complex plane by [[Stereographic projection|stereographically projecting]] from the north or south poles
: '''C''' ↪ ''S''<sup>2</sup> ↩ '''C'''.
On the intersection of these two open sets, composing one embedding with the inverse of the other gives  
: '''C'''<sup>×</sup> → '''C'''<sup>×</sup> : ''z'' ↦ ''z''<sup>−1</sup>.
This [[Manifold#Transition_maps|transition map]] is holomorphic, so these two embeddings define a Riemann surface structure on ''S''<sup>2</sup>. As sets, {{nowrap|1=''S''<sup>2</sup> = '''C''' ∪ {{mset|∞}}}}. The Riemann sphere has another description, as the [[projective line]] {{nowrap|1='''CP'''<sup>1</sup> = ('''C'''<sup>2</sup> ∖ {{mset|0}}) / '''C'''<sup>×</sup>}}.
[[File:Torus.svg|right|thumb|150px|A torus.]]
|5= The [[Torus|2-torus]] ''T''<sup>2</sup> has many different Riemann surface structures, all of the form {{nowrap|'''C''' / ('''Z''' + ''τ'''''Z''')}}, where ''τ'' is any complex non-real number. These are called '''elliptic curves'''. 
|8=Important examples of non-compact Riemann surfaces are provided by [[analytic continuation]].}}

=== Algebraic curves ===
{{unordered list
|4= If {{nowrap|''P''(''x'', ''y'')}} is any complex polynomial in two variables, its vanishing locus 
: {{mset|1=(''x'', ''y'') : ''P''(''x'', ''y'') = 0}} ⊆ '''C'''<sup>2</sup>
defines a Riemann surface provided there are no points on this locus with ''∂P''/''∂x'', ''∂P''/''∂y'' = 0 (or we restrict to an open subset containing no such points). This is an example of an [[algebraic curve]]. 
|6= Likewise, [[genus g surface|genus ''g'' surfaces]] have Riemann surface structures, as ([[Compactification (mathematics)|compactifications]] of) [[hyperelliptic curve|hyperelliptic surface]]s
: ''y''<sup>2</sup> = ''Q''(''x''),
where ''Q'' is a complex [[polynomial]] of degree {{nowrap|2''g'' + 1}} such that the above has no [[Singular point of a curve|singular points]]. When {{nowrap|''g'' > 1}}, there are other Riemann surface structures of genus&nbsp;''g''. 
|5= Every elliptic curve is an algebraic curve, given by (the compactification of) the locus
: ''y''<sup>2</sup> = ''x''<sup>3</sup> + ''ax'' + ''b''
for certain complex numbers ''a'' and ''b'' depending on ''τ''. A point {{nowrap|''z'' ∈ '''C''' / ('''Z''' + ''τ'''''Z''')}} is sent to {{nowrap|1=(''x'', ''y'') = (℘(''z''), ℘′(''z''))}}, where ℘ is the [[Weierstrass elliptic function]].}}
<gallery>
File:Riemann surface arcsin.svg|''f''(''z'') = {{nowrap|arcsin ''z''}}
File:Riemann surface log.svg|''f''(''z'') = {{nowrap|log ''z''}}
File:Riemann surface sqrt.svg|''f''(''z'') = ''z''<sup>1/2</sup>
File:Riemann surface cube root.svg|''f''(''z'') = ''z''<sup>1/3</sup>
File:Riemann surface 4th root.svg|''f''(''z'') = ''z''<sup>1/4</sup>
</gallery>

== Further definitions and properties ==
As with any map between complex manifolds, a [[function (mathematics)|function]] {{nowrap|''f'' : ''M'' → ''N''}} between two Riemann surfaces ''M'' and ''N'' is called ''[[Holomorphic function|holomorphic]]'' if for every chart ''g'' in the [[atlas (topology)|atlas]] of ''M'' and every chart ''h'' in the atlas of ''N'', the map {{nowrap|''h'' ∘ ''f'' ∘ ''g''<sup>−1</sup>}} is holomorphic (as a function from '''C''' to '''C''') wherever it is defined. The composition of two holomorphic maps is holomorphic. The two Riemann surfaces ''M'' and ''N'' are called ''[[Biholomorphism|biholomorphic]]'' (or ''conformally equivalent'' to emphasize the conformal point of view) if there exists a [[bijective]] holomorphic function from ''M'' to ''N'' whose inverse is also holomorphic (it turns out that the latter condition is automatic and can therefore be omitted). Two conformally equivalent Riemann surfaces are for all practical purposes identical.

=== Orientability ===
Each Riemann surface, being a complex manifold, is [[orientable]] as a real manifold. For complex charts ''f'' and ''g'' with transition function {{nowrap|1=''h'' = ''f''(''g''<sup>−1</sup>(''z''))}}, ''h'' can be considered as a map from an open set of '''R'''<sup>2</sup> to '''R'''<sup>2</sup> whose [[Jacobian matrix and determinant|Jacobian]] in a point ''z'' is just the real linear map given by multiplication by the [[complex number]] ''h''′(''z''). However, the real [[determinant]] of multiplication by a complex number ''α'' equals {{abs|''α''}}<sup>2</sup>, so the Jacobian of ''h'' has positive determinant. Consequently, the complex atlas is an oriented atlas.

=== Functions ===
Every non-compact Riemann surface admits non-constant holomorphic functions (with values in '''C'''). In fact, every non-compact Riemann surface is a [[Stein manifold]].

In contrast, on a compact Riemann surface ''X'' every holomorphic function with values in '''C''' is constant due to the [[maximum principle]]. However, there always exist non-constant [[meromorphic function]]s (holomorphic functions with values in the [[Riemann sphere]] {{nowrap|'''C''' ∪ {{mset|∞}}}}). More precisely, the [[function field of an algebraic variety|function field]] of ''X'' is a finite [[field extension|extension]] of '''C'''(''t''), the function field in one variable, i.e. any two meromorphic functions are algebraically dependent. This statement generalizes to higher dimensions, see {{harvtxt|Siegel|1955}}. Meromorphic functions can be given fairly explicitly, in terms of Riemann [[theta function]]s and the [[Abel–Jacobi map]] of the surface.

=== Algebraicity ===

All compact Riemann surfaces are [[algebraic curves]] since they can be embedded into some '''CP'''<sup>''n''</sup>. This follows from the [[Kodaira embedding theorem]] and the fact there exists a positive line bundle on any complex curve.<ref>{{cite web|url=http://faculty.tcu.edu/richardson/Seminars/scott4-15.pdf|title=KODAIRA'S THEOREM AND COMPACTIFICATION OF MUMFORD'S MODULI SPACE Mg|last=Nollet|first=Scott}}</ref>

== Analytic vs. algebraic ==
The existence of non-constant meromorphic functions can be used to show that any compact Riemann surface is a [[projective variety]], i.e. can be given by [[polynomial]] equations inside a [[projective space]]. Actually, it can be shown that every compact Riemann surface can be [[immersion (mathematics)|embedded]] into [[complex projective space|complex projective 3-space]]. This is a surprising theorem: Riemann surfaces are given by locally patching charts. If one global condition, namely compactness, is added, the surface is necessarily algebraic. This feature of Riemann surfaces allows one to study them with either the means of [[analytic geometry|analytic]] or [[algebraic geometry]]. The corresponding statement for higher-dimensional objects is false, i.e. there are compact complex 2-manifolds which are not algebraic. On the other hand, every projective complex manifold is necessarily algebraic, see [[Algebraic geometry and analytic geometry#Chow.27s theorem|Chow's theorem]].

As an example, consider the torus ''T'' := {{nowrap|'''C''' / ('''Z''' + ''τ'''''Z''')}}. The [[Weierstrass elliptic function|Weierstrass function]] ℘<sub>''τ''</sub>(''z'') belonging to the lattice {{nowrap|'''Z''' + ''τ'''''Z'''}} is a [[meromorphic function]] on ''T''. This function and its derivative ℘<sub>''τ''</sub>′(''z'') [[Generating set|generate]] the function field of&nbsp;''T''. There is an equation
: <math>[\wp'(z)]^2=4[\wp(z)]^3-g_2\wp(z)-g_3,</math>
where the coefficients ''g''<sub>2</sub> and ''g''<sub>3</sub> depend on ''τ'', thus giving an elliptic curve ''E''<sub>''τ''</sub> in the sense of algebraic geometry. Reversing this is accomplished by the [[j-invariant|''j''-invariant]] ''j''(''E''), which can be used to determine ''τ'' and hence a torus.

== Classification of Riemann surfaces ==
The set of all Riemann surfaces can be divided into three subsets: hyperbolic, parabolic and elliptic Riemann surfaces. Geometrically, these correspond to surfaces with negative, vanishing or positive constant [[sectional curvature]]. That is, every connected Riemann surface ''X'' admits a unique [[completeness (topology)|complete]] 2-dimensional real [[Riemannian manifold|Riemann metric]] with constant curvature equal to −1, 0 or 1 that belongs to the conformal class of Riemannian metrics determined by its structure as a Riemann surface. This can be seen as a consequence of the existence of [[isothermal coordinates]]. 

In complex analytic terms, the Poincaré–Koebe [[uniformization theorem]] (a generalization of the [[Riemann mapping theorem]]) states that every [[simply connected]] Riemann surface is conformally equivalent to one of the following:
* The Riemann sphere {{nowrap|1={{overset|lh=0.5|^|'''C'''}} := '''C''' ∪ {{mset|∞}}}}, which is isomorphic to [[complex projective line|'''P'''<sup>1</sup>('''C''')]]; 
* The complex plane '''C''';
* The [[open disk]] {{nowrap|1='''D''' := {{mset|''z'' ∈ '''C''' : {{abs|z}} < 1}}}}, which is isomorphic to the [[upper half-plane]] {{nowrap|1='''H''' := {{mset|''z'' ∈ '''C''' : Im(''z'') > 0}}}}. 
A Riemann surface is elliptic, parabolic or hyperbolic according to whether its [[universal cover]] is isomorphic to '''P'''<sup>1</sup>('''C'''), '''C''' or '''D'''. The elements in each class admit a more precise description. 

=== Elliptic Riemann surfaces ===
The Riemann sphere '''P'''<sup>1</sup>('''C''') is the only example, as there is no [[Group (mathematics)|group]] [[Group action (mathematics)|acting]] on it by biholomorphic transformations [[Group_action_(mathematics)#Types_of_actions|freely]] and [[Group_action_(mathematics)#Types_of_actions|properly discontinuously]] and so any Riemann surface whose universal cover is isomorphic to '''P'''<sup>1</sup>('''C''') must itself be isomorphic to it.

=== Parabolic Riemann surfaces ===
If ''X'' is a Riemann surface whose universal cover is isomorphic to the complex plane '''C''' then it is isomorphic to one of the following surfaces: 
* '''C''' itself; 
* The quotient {{nowrap|'''C''' / '''Z'''}}; 
* A quotient {{nowrap|'''C''' / ('''Z''' + ''τ'''''Z''')}}, where {{nowrap|''τ'' ∈ '''C'''}} with {{nowrap|Im(''τ'') > 0}}. 
Topologically there are only three types: the plane, the cylinder and the [[torus]]. But while in the two former case the (parabolic) Riemann surface structure is unique, varying the parameter ''τ'' in the third case gives non-isomorphic Riemann surfaces. The description by the parameter ''τ'' gives the [[Teichmüller space]] of "marked" Riemann surfaces (in addition to the Riemann surface structure one adds the topological data of a "marking", which can be seen as a fixed homeomorphism to the torus). To obtain the analytic [[moduli space]] (forgetting the marking) one takes the quotient of Teichmüller space by the [[mapping class group of a surface|mapping class group]]. In this case it is the [[modular curve]].

=== Hyperbolic Riemann surfaces ===
In the remaining cases, ''X'' is a hyperbolic Riemann surface, that is isomorphic to a quotient of the upper half-plane by a [[Fuchsian group]] (this is sometimes called a [[Fuchsian model]] for the surface). The topological type of ''X'' can be any orientable surface save the [[torus]] and [[sphere]]. 

A case of particular interest is when ''X'' is compact. Then its topological type is described by its [[genus (mathematics)|genus]] {{nowrap|''g'' ≥ 2}}. Its Teichmüller space and moduli space are {{nowrap|(6''g'' − 6}}-dimensional. A similar classification of Riemann surfaces of finite type (that is homeomorphic to a closed surface minus a finite number of points) can be given. However, in general the moduli space of Riemann surfaces of infinite topological type is too large to admit such a description.

== Maps between Riemann surfaces ==
The geometric classification is reflected in maps between Riemann surfaces, as detailed in [[Liouville's theorem (complex analysis)|Liouville's theorem]] and the [[Little Picard theorem]]: maps from hyperbolic to parabolic to elliptic are easy, but maps from elliptic to parabolic or parabolic to hyperbolic are very constrained (indeed, generally constant!). There are inclusions of the disc in the plane in the sphere: {{nowrap|Δ ⊂ '''C''' ⊂ {{overset|lh=0.5|^|'''C'''}}}}, but any holomorphic map from the sphere to the plane is constant, any holomorphic map from the plane into the unit disk is constant (Liouville's theorem), and in fact any holomorphic map from the plane into the plane minus two points is constant (Little Picard theorem)!

=== Punctured spheres ===
These statements are clarified by considering the type of a Riemann sphere {{overset|lh=0.5|^|'''C'''}} with a number of punctures. With no punctures, it is the Riemann sphere, which is elliptic. With one puncture, which can be placed at infinity, it is the complex plane, which is parabolic. With two punctures, it is the punctured plane or alternatively annulus or cylinder, which is parabolic. With three or more punctures, it is hyperbolic – compare [[pair of pants (mathematics)|pair of pants]]. One can map from one puncture to two, via the exponential map (which is entire and has an [[essential singularity]] at infinity, so not defined at infinity, and misses zero and infinity), but all maps from zero punctures to one or more, or one or two punctures to three or more are constant.

=== Ramified covering spaces ===
Continuing in this vein, compact Riemann surfaces can map to surfaces of ''lower'' genus, but not to ''higher'' genus, except as constant maps. This is because holomorphic and meromorphic maps behave locally like {{nowrap|''z'' ↦ {{itco|''z''}}<sup>''n''</sup>}} for integer ''n'', so non-constant maps are [[ramified covering map]]s, and for compact Riemann surfaces these are constrained by the [[Riemann–Hurwitz formula]] in [[algebraic topology]], which relates the [[Euler characteristic]] of a space and a ramified cover.

For example, hyperbolic Riemann surfaces are [[ramified covering space]]s of the sphere (they have non-constant meromorphic functions), but the sphere does not cover or otherwise map to higher genus surfaces, except as a constant.

== Isometries of Riemann surfaces ==
The [[isometry group]] of a uniformized Riemann surface (equivalently, the conformal [[Automorphism#Automorphism_group|automorphism group]]) reflects its geometry:
* genus 0 – the isometry group of the sphere is the [[Möbius group]] of projective transforms of the complex line,
* the isometry group of the plane is the [[subgroup]] fixing infinity, and of the punctured plane is the subgroup leaving invariant the set containing only infinity and zero: either fixing them both, or interchanging them&nbsp;(1/''z'').
* the isometry group of the [[Poincaré half-plane model|upper half-plane]] is the real Möbius group; this is conjugate to the automorphism group of the disk.
* genus 1 – the isometry group of a torus is in general generated by translations (as an [[Abelian variety]]) and the rotation by 180°. In special cases there can be additional rotations and reflections.<ref name="car20"/>
* For genus {{nowrap|''g'' ≥ 2}}, the isometry group is finite, and has order at most {{nowrap|84(''g'' − 1)}}, by [[Hurwitz's automorphisms theorem]]; surfaces that realize this bound are called '''Hurwitz surfaces'''.
* It is known that every finite group can be realized as the full group of isometries of some Riemann surface.<ref>{{cite book |first=L. |last=Greenberg |chapter=Maximal groups and signatures |title=Discontinuous Groups and Riemann Surfaces: Proceedings of the 1973 Conference at the University of Maryland |series=Ann. Math. Studies |volume=79 |year=1974 |pages=207–226 |isbn=0691081387 |chapter-url=https://books.google.com/books?id=oriXEV6VoM0C&pg=PA207 }}</ref>
** For genus 2 the order is maximized by the [[Bolza surface]], with order 48.
** For genus 3 the order is maximized by the [[Klein quartic]], with order 168; this is the first Hurwitz surface, and its automorphism group is isomorphic to the unique [[simple group]] of order 168, which is the second-smallest non-abelian simple group. This group is isomorphic to both {{nowrap|[[PSL(2, 7)]]}} and {{nowrap|[[PSL(2,7)|PSL(3, 2)]]}}.
** For genus 4, [[Bring's curve|Bring's surface]] is a highly symmetric surface.
** For genus 7 the order is maximized by the [[Macbeath surface]], with order 504; this is the second Hurwitz surface, and its automorphism group is isomorphic to {{nowrap|PSL(2, 8)}}, the fourth-smallest non-abelian simple group.

== Function-theoretic classification ==
The classification scheme above is typically used by geometers. There is a different classification for Riemann surfaces that is typically used by complex analysts. It employs a different definition for "parabolic" and "hyperbolic". In this alternative classification scheme, a Riemann surface is called ''parabolic'' if there are no non-constant negative subharmonic functions on the surface and is otherwise called ''hyperbolic''.<ref>{{Citation | last1=Ahlfors | first1=Lars | author1-link=Lars Ahlfors | last2=Sario | first2=Leo | title=Riemann Surfaces | publisher=[[Princeton University Press]] | location=Princeton, New Jersey | edition=1st | year=1960 |page=204}}</ref><ref>{{Citation | last1=Rodin | first1=Burton | last2=Sario | first2=Leo | title=Principal Functions | publisher=[[D. Von Nostrand Company, Inc.]] | location=Princeton, New Jersey | edition=1st | year=1968 |page = 199| isbn=9781468480382 |url=https://books.google.com/books?id=_ZnlBwAAQBAJ&q=%22Riemann+surface%22}}</ref> This class of hyperbolic surfaces is further subdivided into subclasses according to whether function spaces other than the negative subharmonic functions are degenerate, e.g. Riemann surfaces on which all bounded holomorphic functions are constant, or on which all bounded harmonic functions are constant, or on which all positive harmonic functions are constant, etc.

To avoid confusion, call the classification based on metrics of constant curvature the ''geometric classification'', and the one based on degeneracy of function spaces ''the function-theoretic classification''. For example, the Riemann surface consisting of "all complex numbers but 0 and 1" is parabolic in the function-theoretic classification but it is hyperbolic in the geometric classification.

== See also ==
* [[Dessin d'enfant]]
* [[Kähler manifold]]
* [[Lorentz surface]]
* [[Mapping class group]]
* [[Serre duality]]

=== Theorems regarding Riemann surfaces ===
* [[Branching theorem]]
* [[Hurwitz's automorphisms theorem]]
* [[Identity theorem for Riemann surfaces]]
* [[Riemann–Roch theorem]]
* [[Riemann–Hurwitz formula]]

== Notes ==
{{reflist|refs=
<ref name="car20">{{cite web | title=Isometry of Torus | website=Mathematics Stack Exchange | date=2020-03-19 | url=https://math.stackexchange.com/questions/2007078/isometry-of-torus | access-date=2025-01-23}}</ref>
}}

== References ==
{{refbegin}}
* {{citation | last1=Farkas | first1=Hershel M. | last2=Kra | first2=Irwin | author2-link=Irwin Kra| title=Riemann Surfaces | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | isbn=978-0-387-90465-8 | year=1980}}
* Pablo Arés Gastesi, ''[http://www.math.tifr.res.in/~pablo/download/book/book.html Riemann Surfaces Book]''.
* {{citation | last1=Hartshorne | first1=Robin | author1-link=Robin Hartshorne | title=[[Algebraic Geometry (book)|Algebraic Geometry]] | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90244-9 | oclc=13348052 | mr=0463157 | year=1977}}, esp. chapter IV.
* {{citation | last1=Jost | first1=Jürgen | title=Compact Riemann Surfaces | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-3-540-33065-3 | year=2006 | pages=208–219}}
* {{citation | last=Miranda | first=Rick | title=Algebraic curves and Riemann surfaces|series=Graduate Studies in Mathematics|volume=5|publisher=American Mathematical Soc.|year=1995}}
* {{citation | editor1-last=Papadopoulos | editor1-first=Athanase | title=Handbook of Teichmüller theory. Vol. I | publisher=European Mathematical Society (EMS), Zürich | series=IRMA Lectures in Mathematics and Theoretical Physics | isbn=978-3-03719-029-6 | doi=10.4171/029 | mr=2284826 | year=2007 | volume=11| s2cid=119593165 | url=https://hal.archives-ouvertes.fr/hal-00250897/file/athanase.pdf }}
* {{citation | editor1-last=Papadopoulos | editor1-first=Athanase | title=Handbook of Teichmüller theory. Vol. II | publisher=European Mathematical Society (EMS), Zürich | series=IRMA Lectures in Mathematics and Theoretical Physics | isbn=978-3-03719-055-5 | doi=10.4171/055 | mr=2524085 | year=2009 | volume=13| arxiv=math/0511271 | last1=Lawton | first1=Sean | last2=Peterson | first2=Elisha | s2cid=16687772 }}
* {{citation | editor1-last=Papadopoulos | editor1-first=Athanase | title=Handbook of Teichmüller theory. Vol. III | publisher=European Mathematical Society (EMS), Zürich | series=IRMA Lectures in Mathematics and Theoretical Physics | isbn= 978-3-03719-103-3 | doi=10.4171/103 | year=2012 | volume=19}}
* *{{cite journal |last1=Remmert |first1=Reinhold |title=From Riemann Surfaces to Complex Spaces |journal=Séminaires et Congrès |date=1998|zbl=1044.01520}}
* {{citation | last1=Siegel | first1=Carl Ludwig | author1-link=Carl Ludwig Siegel | title=Meromorphe Funktionen auf kompakten analytischen Mannigfaltigkeiten | mr=0074061 | year=1955 | journal=Nachrichten der Akademie der Wissenschaften in Göttingen. II. Mathematisch-Physikalische Klasse | issn=0065-5295 | volume=1955 | pages=71–77}}
* {{citation | last1=Weyl | first1=Hermann | author1-link=Hermann Weyl | title=The concept of a Riemann surface | orig-year=1913 | url=https://archive.org/details/dieideederrieman00weyluoft | publisher=[[Dover Publications]] | location=New York | edition=3rd | isbn=978-0-486-47004-7 | year=2009 | mr=0069903}}
{{refend}}

== External links ==
* {{Springer|title=Riemann surface|id=p/r082040}}
* {{cite web |last1=McMullen |first1=C. |title=Complex Analysis on Riemann Surfaces Math 213b |url=https://people.math.harvard.edu/~ctm/home/text/class/harvard/213b/19/html/home/course/course.pdf |website=Harvard Math |publisher=Harvard University}}
{{Algebraic curves navbox}}
{{Bernhard Riemann}}
{{Authority control}}

{{DEFAULTSORT:Riemann Surface}}
[[Category:Riemann surfaces| ]]
[[Category:Bernhard Riemann]]