## Riemann Surfaces (Pt. I)

**Point of Post: **In this post we formally introduce the notion of Riemann surfaces and discuss some important examples.

**Motivation**

We now begin what is, in my very humble and uninformed opinion, one of the most beautiful subjects in the entirety of basic graduate mathematics–Riemann surfaces. Such a bold statement begs two immediate questions: what are Riemann surfaces, and why are they so pretty?

The first question is one which has a simple, albeit somewhat esoteric, response–a Riemann surface is merely a one-dimensional connected complex manifold. What is such an object? Well, anyone who is likely to get a lot out of these posts probably is familiar with the concept of a smooth manifold, which is merely topological spaces with a well-defined notion of how to ‘do calculus’ on them. From this, it’s not hard to guess what a complex manifold is, it’s a topological space that has well-defined way of doing complex analysis on them. So, Riemann Surfaces are nothing more than (connected!) topological spaces which locally look like open subsets of , and that this local notion pieces together nicely enough to give a global notion of what a holomorphic mapping between two such Riemann surfaces looks like.

Now that we have a very rough idea of what a Riemann surface should be, we can at least try to explain why the theory of Riemann surfaces is so beautiful. Everyone who has taken complex analysis at an advanced undegraduate/graduate level is aware of the fact that complex analysis is much more intimately (or at least more immediately!) related to algebra and topology than real analysis is. For example, for a domain one has that the simple connectedness of is equivalent to every harmonic function admitting a holomorphic function such that , which is equivalent to every holomorphic function admitting a primitive on (these allow us to define cohomology via complex analysis!).

This pervasive feeling of deep algebraic and geometric connections will continue when we discuss Riemann surfaces. We shall prove some truly deep, and truly beautiful theorems in this vein. For example, we shall prove that, in a very precise sense, doing work with compact Riemann surfaces is the same thing as working with projective plane curves–in particular, we shall see that every algebraic function field (algebraic extension of ) is just the meromorphic functions on some compact Riemann surface. While I could go on and on about how interesting and amazing this subject is, I think that it would be better that I attempt to inject my paltry insight as we go along, and let you see for yourself why this subject makes me so excited.

**Riemann Surfaces and Examples in **

Let be a -dimensional topological manifold where we shall identify with . We call two charts and on *holomorphically* compatible, or just *compatible* for short,* *if either or that is a biholmorphism. We call a collection of compatible charts a *holomorphic atlas *(or just *atlas* for short) if covers . Just as in the case of smooth manifolds (the intuition for why we would want to consider maximal atlases is also there!) every atlas of is contained in a unique maximal atlas , also called a *complex structure* on . A *Riemann surface *is a connected -dimensional topological manifold along with a maximal (holomorphic) atlas . Just as the case of smooth manifolds, we shall often merely specify an atlas for a manifold with the intention of giving the manifold the Riemann structure of the maximal atlas that the given atlas is contained in.

Note that if is any Riemann surface and , then there exists a chart at such that is a disc centered at . Indeed, let be any chart at . Since is open we know that there exists a disc . We see then that is a neighborhood of and clearly that , with , is a chart at such that is a disc centered at . We shall call such a chart a *coordinate disc centered at . *

This is a good point out to put out an interesting difference between Riemann surfaces and smooth surfaces. The above proof, of course, goes through in the case of smooth manifolds and tells us that every point of a smooth manifold has a chart with a disc centered at . Now, from this we see that every point of has a chart whose image is . Indeed, this follows immediately from the fact that is diffeomorphic to . Of course, this does not work for Riemann surfaces, because is not biholmorphic to (else we’d have a non-constant entire map which contradicts Liouville’s theorem).

*Remark: *It turns out that assuming that is second countable is unnecessary, but this further level of generality isn’t of particular interest to us.

Let’s give some examples of Riemann surfaces:

The most obvious example of a Riemann surface is obviously the complex numbers along with the atlas . We shall call this the *standard structure *on , and shall always (unless specified otherwise) give this complex structure.

If is a Riemann surface with atlas and is a domain, it’s trivial that is an atlas on . We call the pursuant complex structure the *induced structure *on .

The above tells us that for any domain one has that carries the structure induced by the standard structure on –this shall be called the *standard structure* on . A particularly important example of this is when , where is the unit disc.

Now, being the simple minded students of mathematics that we are, we continue looking for new Riemann surfaces inside of (obviously meaning domains with the induced structure), and wanting to keep things topologically simple, we decide that we want simply connected Riemann surfaces. We look for a while, and we can’t find (up to equivalence!) any new ones. This is not surprising. In fact, the famous Riemann Mapping Theorem says that we’ve already found them all–the disc and . To be more explicit, the Riemann Mapping Theorem tells us that if is a simply connected domain then is biholomorphic to , and is thus the ‘same’ Riemann surface.

**References;**

[1] Varolin, Dror. *Riemann Surfaces by Way of Complex Analytic Geometry*. Providence, RI: American Mathematical Society, 2011. Print.

[2] Miranda, Rick. *Algebraic Curves and Riemann Surfaces*. Providence, RI: American Mathematical Society, 1995. Print.

[3] Forster, Otto. *Lectures on Riemann Surfaces*. New York: Springer-Verlag, 1981. Print.

[4] Conway, John B. *Functions of One Complex Variable*. New York: Springer-Verlag, 1978. Print.

[5] Gong, Sheng. *Concise Complex Analysis*. Singapore: World Scientific, 2001. Print

[6] Markley, Nelson Groh. *Topological Groups: An Introduction*. Hoboken, NJ: Wiley, 2010. Print.

[…] Riemann Surfaces (Pt. II) Point of Post: This is a continuation of this post. […]

Pingback by Riemann Surfaces (Pt. II) « Abstract Nonsense | October 2, 2012 |

[…] a limit point of , and since is closed this implies that so that . We claim that there exists a coordinate disc at and a chart such that . Indeed, choose any chart at and any chart at and note that is […]

Pingback by Holomorphic Maps and Functions (Pt. III) « Abstract Nonsense | October 4, 2012 |