Uniformization theorem for Riemann surfaces - MathOverflow

Uniformization theorem for Riemann surfaces

2010-01-02T20:13:23Z

How does one prove that every simply connected Riemann surface is conformally equivalent to the open unit disk, the complex plane, or the Riemann sphere, and these are not conformally equivalent to each other?

I would like to know about different ways of proving it, and appropriate references. This is not to know the best way; but to know about various possible approaches. Therefore I wouldn't be choosing a best answer.

Answer by Ilya Nikokoshev for Uniformization theorem for Riemann surfaces

2010-01-02T20:34:20Z

I believe there is a formal proof of the classification along the following lines.

Being simply connected means that whenever you have curve, you can always get a disk inside. If there is more than one way to glue a disk, you must have a Riemann sphere. If there is always exactly one way, you can take the picture and put it step-by-step on a complex plane. Once there, you have either the whole plane or you're inside the complement of a ray. In the latter case, you are between a disk and a disk, so there's some approximation thing that says you're also a disk.

The three cases can be distinguished by their global symmetry group: there are three different constant curvature metrics, with the curvature resp. 1, 0, -1 for the sphere, plane, and disk case. Therefore you have three slightly different symmetry groups which can be written as the isometries of quadratic forms in 3 dimensions: $SO(x^2 + y^2 + z^2)$, $SO(x^2+y^2)$, $SO(x^2+y^2-z^2)$.

Answer by Sam Nead for Uniformization theorem for Riemann surfaces

2010-01-02T20:34:41Z

The Riemann sphere isn't conformally equivalent to the others because it is not homeomorphic to them. :)

Answer by Gerald Edgar for Uniformization theorem for Riemann surfaces

2010-01-02T20:38:38Z

Isn't this called the "Riemann mapping theorem"? At least the only nontrivial part of it. Ahlfors proves it using Montel's theorem.

For the rest:

These are not equivalent: The sphere is compact, the others not. The disk admits a bounded nonconstant analytic function, the plane does not.

Answer by Amy Pang for Uniformization theorem for Riemann surfaces

2010-01-02T22:48:37Z

I've just taken a course which concluded with a sketch of the uniformisation theorem for Riemann surfaces, following the last chapter of Gamelin's Complex Analysis. The idea is:

-If the Green's function exists for your surface, use it to construct a conformal map from the surface to a bounded region in the complex plane. Now apply the Riemann mapping theorem.

-If the Green's function doesn't exist, construct a meromorphic variant called the bipole Green's function. Similar to the first case, we can use this to construct an injective map from the surface to the Riemann sphere. Now if this map misses more than one point of the Riemann sphere, simply-connectedness of the domain (and hence the image) means that the image is bounded, so we can use the Riemann mapping theorem. Otherwise the map misses one point (so the surface is conformally equivalent to the complex plane) or is surjective (conformally equivalent to the Riemann sphere).

Complex analysis is very far from my field, so I'm afraid I can't explain this any further (and I apologise for any inaccuracies in the above).

Answer by engelbrekt for Uniformization theorem for Riemann surfaces

2010-01-02T23:18:57Z

As has been pointed out, the inequivalence of the three is elementary.

The original proofs of Koebe and Poincare were by means of harmonic functions, i.e. the Laplace equation ${\Delta}u = 0$. This approach was later considerably streamlined by means of Perron's method for constructing harmonic functions. Perron's method is very nice, as it is elementary (in complex analysis terms) and requires next to no topological assumptions. A modern proof of the full uniformization theorem along these lines may be found in the book "Conformal Invariants" by Ahlfors.

The second proof of Koebe uses holomorphic functions, i.e. the Cauchy-Riemann equations, and some topology.

There is a proof by Borel that uses the nonlinear PDE that expresses that the Gaussian curvature is constant. This ties in with the differential-geometric version of the Uniformization Theorem: Any surface (smooth, connected 2-manifold without boundary) carries a Riemannian metric with constant Gaussian curvature. (valid also for noncompact surfaces).

There is a proof by Bers using the Beltrami equation (another PDE).

For special cases the proof is easier. The case of a compact simply connected Riemann surface can be done by constructing a nonconstant meromorphic function by means of harmonic functions, and this is less involved than the full case. There is a short paper by Fisher, Hubbard and Wittner where the case of domains on the Riemann sphere is done by means of an idea of Koebe. (Subtle point here: Fisher et al consider non-simply connected domains on the Riemann sphere. The universal covering is a simply connected Riemann surface, but it is not obvious that it is biholomorphic to a domain on the Riemann sphere, so the Riemann Mapping Theorem does not apply).

The Uniformization Theorem lies a good deal deeper than the Riemann Mapping Theorem. The latter is the special case of the former where the Riemann surface is a simply connected domain on the Riemann sphere.

I decided to add a comment to clear up a misunderstanding. The theorem that a simply connected surface (say smooth, connected 2-manifold without boundary) is diffeomorphic to the plane (a.k.a. the disk, diffeomorphically) or the sphere, is a theorem in topology, and is not the Uniformization Theorem. The latter says that any simply connected Riemann surface is biholomorphic (or conformally equivalent; same in complex dimension $1$) to the disk, the complex plane or the Riemann sphere.

But the topology theorem is a corollary to the Uniformization Theorem. To see this, suppose $X$ is a simply connected (smooth etc.) surface. Step (1): Immerse it in $\mathbb{R}^3$ so as to miss the origin. Step (2): Put the Riemann sphere (with its complex structure!) in $\mathbb{R}^3$ in the form of the unit sphere. Step (3): For every tangent space $T_pX$ on $X$, carry the complex structure $J$ from the corresponding tangent space on the Riemann sphere by parallell transport (Gauss map) to $T_pX$. This is well-defined by choosing a basepoint and recalling that $X$ is simply connected. Step (4): Presto! $X$ is now a Riemann surface (it carries a complex structure), so it is biholomorphic to the disk or the plane or the Riemann sphere, thus diffeomorphic to one of the three.

Of course, I have glided over the question of immersing the surface in 3-space, because this is topology. Actually, I vaguely recall that there is a classification of noncompact topological surfaces by Johannsen (sp?), and no doubt the topological theorem would immediately fall out of that.

Answer by George Lowther for Uniformization theorem for Riemann surfaces

2010-01-02T23:23:15Z

I learned the proof from this paper, Uniformization of Riemann Surfaces. They actually provide three methods of proof, and I found the first of these the easiest to follow. Its not too difficult to go through the proof in detail if you know a bit of topology and complex analysis. The idea is to construct a global analytic function by minimizing a Dirichlet integral. Then, by working out the properties of "flow lines" - on which the function has constant imaginary part - you can get a good idea of what the map looks like, and then show that it is either a mapping onto the Riemann sphere, the Riemann sphere with the origin removed (equiv to the complex plane) or the Riemann sphere with a line segment removed (equiv to the open unit disk).

The second method they provide relies on triangulating the surface. The proof constructs the mapping inductively on larger and larger sets of triangles, using the Riemann mapping theorem to construct maps and the Schwarz reflection principle to join them together.

They also provide a third method, based on sheaf cohomology, although I am not so familiar with this method. The idea is to construct geometric realizations of projective structures on the Riemann surface. However, it does not seem to be quite complete, and there are some unresolved problems posed at the end.

Answer by Alexandre Eremenko for Uniformization theorem for Riemann surfaces

2012-08-04T13:00:51Z

On my point of view the best modern reference is the book by J. Hubbard, Teichmuller theory and its applications.

A very interesting (and little known) proof is due to Lavrentiev, and can be found in an Appendix to the book of Goluzin, Geometric theory of functions of a complex variable.

Answer by Ben McKay for Uniformization theorem for Riemann surfaces

2012-08-04T15:01:34Z

There is a nice book about the uniformization theorem by Henri Paul de Saint Gervais, Uniformisation des surfaces de Riemann. The author is actually a collective of French mathematicians.

Answer by unknown (google) for Uniformization theorem for Riemann surfaces

2012-08-04T17:29:27Z

One proof not yet cited is by Ricci flow. It is a proof of the differential geometric version of Uniformization : in each conformal class of Riemannian metric, there is a metric of constant curvature. The idea is very natural : by construction, metric of constant curvature are fixed points of Ricci flow so take a general metric, evolve it by Ricci flow and show that it converges. This is essentially a work of Hamilton (reference : "The Ricci flow :an introdution" Chow, Knopf) which was completed by Chen, Lu and Tian.

I don't claim that it is the best proof of unifomization theorem, it is just a way to see in a simple case how the Ricci flow can be used to obtain classification results. (The point is that for surfaces Ricci flow has no singularity in finite time, which is not the case in 3 dimensions).

Answer by pi2000 for Uniformization theorem for Riemann surfaces

2012-08-05T05:36:22Z

There is an entire book dedicated to this theorem:Uniformisation des surfaces de Riemann-Henri Paul de Saint-Gervais= (Aurélien Alvarez, Christophe Bavard, François Béguin, Nicolas Bergeron, Maxime Bourrigan, Bertrand Deroin, Sorin Dumitrescu, Charles Frances, Étienne Ghys, Antonin Guilloux, Frank Loray, Patrick Popescu-Pampu, Pierre Py, Bruno Sévennec, Jean-Claude Sikorav.) http://www.amazon.fr/Uniformisation-surfaces-Riemann-th%C3%A9or%C3%A8me-centenaire/dp/2847882332/ref=sr_1_1?s=books&ie=UTF8&qid=1344144095&sr=1-1 A lot of historical insight!

Here you find some video-lectures on the same subject by one of the authors:Etienne Ghys:

http://video.impa.br/index.php?page=escola-de-altos-estudos-the-uniformization-theorem-old-and-new