Finding Constant Curvature Metrics on Surfaces without full power of Uniformization - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T06:08:28Z http://mathoverflow.net/feeds/question/14548 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/14548/finding-constant-curvature-metrics-on-surfaces-without-full-power-of-uniformizat Finding Constant Curvature Metrics on Surfaces without full power of Uniformization Ilya Grigoriev 2010-02-07T20:31:03Z 2012-08-05T13:09:32Z <p><em>(I rewrote this question, hopefully it's more clear now. It's still the same question, but I reordered its parts.)</em></p> <p>Let <em>S</em> be a surface (possibly non-compact, but no boundary). It seems that there are three different theorems that people sometimes call "the Uniformization Theorem":</p> <ol> <li><p>There is some constant-curvature metric on <em>S</em>.</p></li> <li><p>Given any conformal structure on <em>S</em>, there is a constant-curvature complete metric on <em>S</em> that represents it. More precisely,</p> <blockquote> <p>Given any metric <em>g</em> on <em>S</em>, there is a (unique) complete metric <em>g<sub>0</sub></em> of constant curvature that represents the same conformal structure, i.e. there is a strictly positive function $f\in C^\infty (S)$ such that <em>g'=fg</em>.</p> </blockquote></li> <li><p>Up to diffeomorphism, there is only one conformal structure on the sphere, and two on a topological disk (namely, the disk with the standard hyperbolic metric or the plane with the Euclidean metric).</p></li> </ol> <p>The first of these is easy, see proof below. It's also easy to see that 3 implies 2, see below. </p> <p>Henceforth, "Uniformization Theorem" will mean number 3. It is very powerful, but also rather mysterious. Its proofs are rather complicated and usually involve solving a somewhat complicated differential equation, <a href="http://mathoverflow.net/questions/10516/uniformization-theorem-for-riemann-surfaces" rel="nofollow">here</a> is a very interesting discussion about that.</p> <p>I feel that 2, on the other hand, should be simpler, and not require the full power of uniformization to prove it. I also think it is quite distinct in spirit from 3, and so having a different proof for it could be illuminating. So, my basic questions are:</p> <ul> <li>Are there any nice proofs of 2. that do not use 3.?</li> <li>Is there any way to prove 3. from 2.? (this would imply that the answer to the above question is no. This is certainly possible unless we remove the work "unique" from the statement of 2., so we'll do that)</li> </ul> <p>(It would be nice if the proof worked for non-compact surfaces, i.e. with cusps or funnels. Then, however, it could be tricky to make the metric complete - or maybe there is some trick to make any constant-curvature metric complete?)</p> <p><hr /></p> <p>What follows are the promised proofs together with some vague thoughts on how to prove number 2 using them or otherwise. Ideally, it would be great to have two proofs, one for Ricci flow, and another one with something like the proof of theorem 1. Also, perhaps there are other/better approaches?</p> <h2>Proof of theorem 1. above (used to be Proof #2, sorry)</h2> <p>Here's a proof that just constructs <em>some</em> constant-curvature metric on any compact surface. This basically comes from Thurston's book, and could probably be adapted to surfaces with boundary, although it wouldn't be trivial.</p> <p>Namely, a genus-<em>g</em> surface can be thought of as a regular <em>4g</em>-gon with sides glued in the appropriate fashion. (If <em>g=0</em>, it's already a sphere, so we ignore this case). For example, a torus is a square with opposite sides glued. So, we can tile the plane with squares, by taking one square and translating it around so that new squares are adjacent to old ones. We notice that these translations do not change the standard metric, and conclude that the plane modulo a $\mathbb Z^2$ action by translations is a torus with a constant-curvature metric.</p> <p>Similarly, if $g>1$, we can present a regular <em>4g</em>-gon in the hyperbolic plane. By varying its size, we can make the angles at vertices as small as we want (if it's tiny, the angles will be almost as large as they would be for a Euclidean regular <em>4g</em>-gon. If it's so huge that the vertices are almost at the line at infinity, the angles will be almost zero. So, we can get any intermediate value). If we make these angles precisely $\frac{2\pi}{4g}$, then translating the <em>4g</em>-gons around just like we translated squares before will give us a tiling of the hyperbolic plane. Just like before, quotienting out the hyperbolic plane by the appropriate group will give us our surface with a constant-curvature metric.</p> <p><strong>Note</strong> that we can get many other conformal structures on our surface by replacing our <em>regular</em> <em>4g</em>-gon with an <em>irregular</em> one (we can pick any length for each side, I think, as long as the sides we glue have the same length). However, it's not clear that we could get <em>any</em> conformal structure this way. So, <strong>this is also a vague approach to proving number 2.</strong></p> <h2>Proof idea for number 2: Ricci-like flow (used to be Proof idea #1)</h2> <p>It seems that we could try to apply something like the Ricci flow to the metric <em>g</em> on <em>S</em> to make its curvature uniform. I don't know enough analysis to fill in the details; I'm wondering whether it's possible to create such a flow so that it does not change the conformal structure. Also, getting a complete metric could be tricky.</p> <p><em>(Many people answered that this is possible. In particular, Dmitri's answer pretty much settled for me this part of the question. Only one small question remains: will these flows work for non-compact surfaces and result in a complete metric? Also, it's not quite clear to me whether the proofs with flows are powerful enough to show #3. My guess would be that they aren't, but Hamilton's paper seems to claim that the Ricci flow proof is.)</em></p> <h2>Appendix: Proof of 2. from Uniformization (#3.) (Used to be Proof #0)</h2> <p>Consider the universal cover $U=\tilde S$ of <em>S</em> with the metric <em>g</em> pulled back from <em>S</em>. By uniformization, there is a conformal map $f: (U,g) \to (X,g_{standard})$ where $(X,g_{standard})$ is one of three: the Poincare disk with the standard hyperbolic metric, the plane with the Euclidean metric, or the sphere with the standard spherical metric. In any case, it's a standard space with a constant-curvature metric. </p> <p>As Tom's comment pointed out, at least in the hyperbolic case, all conformal maps on the disk preserve the constant-curvature metric (we can list what they all are). Since the covering transformations become conformal maps on <em>X</em>, they preserve the metric. So, we can pull $g_{standard}$ back to $U$, and then down to $S$ to get $g_0$. The non-hyperbolic cases can also be dealt with.</p> <p><strong>Usual disclaimer</strong>: there might be mistakes, point them out. Thank you!</p> http://mathoverflow.net/questions/14548/finding-constant-curvature-metrics-on-surfaces-without-full-power-of-uniformizat/14549#14549 Answer by Charles Siegel for Finding Constant Curvature Metrics on Surfaces without full power of Uniformization Charles Siegel 2010-02-07T20:40:06Z 2010-02-07T20:40:06Z <p>As for the Ricci flow bit, Ricci flow does it. I sketch the proof in high genus <a href="http://rigtriv.wordpress.com/2007/10/30/ricci-flow-on-surfaces-of-high-genus/" rel="nofollow">here</a>, and here's <a href="http://books.google.com/books?hl=en&amp;lr=&amp;id=cgU3M%5FOhuigC&amp;oi=fnd&amp;pg=PA237&amp;dq=ricci+flow+on+surfaces+hamilton&amp;ots=pjjd9wEHgh&amp;sig=7XwBq71EdNyESgpBZ8Zb8UScV8M#v=onepage&amp;q=ricci%20flow%20on%20surfaces%20hamilton&amp;f=false" rel="nofollow">the paper</a> that that post is based on. So, this may not be quite what you want (and it needs patching in genus 0, and is much harder in the non-hyperbolic cases) but it proves uniformization through Ricci flow, which seems to be what you speculated might be sufficient. </p> http://mathoverflow.net/questions/14548/finding-constant-curvature-metrics-on-surfaces-without-full-power-of-uniformizat/14552#14552 Answer by Greg Kuperberg for Finding Constant Curvature Metrics on Surfaces without full power of Uniformization Greg Kuperberg 2010-02-07T20:49:23Z 2010-02-07T20:49:23Z <p>I don't know that you can make a good distinction between the Riemann uniformization theorem, and the theorem that a surface has a constant-curvature metric in the same conformal class. Each of these results is a relatively easy corollary of the other one, and you can view them as the same theorem.</p> <p>The old methods of Riemann and Weierstrass give you one difficult proof of the uniformization theorem. Ricci flow is another, beautiful proof of the uniformization theorem. I find it conceptually easier, but it's still a formidable proof. The Ricci flow proof requires various non-trivial results in differential geometry and parabolic PDEs.</p> <p>Your proof #2 is indeed a proof of a much simpler fact. I think that the main lesson of this proof is the great distance between the existence of a constant-curvature metric on a surface, and the bijection between all such metrics and conformal structures.</p> http://mathoverflow.net/questions/14548/finding-constant-curvature-metrics-on-surfaces-without-full-power-of-uniformizat/14557#14557 Answer by Dmitri for Finding Constant Curvature Metrics on Surfaces without full power of Uniformization Dmitri 2010-02-07T21:39:42Z 2010-02-07T21:39:42Z <p>There is a different PDE proof that does not use uniformisation, it is sketched on one page (34) of Donaldson's notes. <a href="http://www2.imperial.ac.uk/~skdona/GEOMETRICANALYSIS.PDF" rel="nofollow">http://www2.imperial.ac.uk/~skdona/GEOMETRICANALYSIS.PDF</a> This proof goes via continuity method. </p> <p>It is intriguing (as is remarked on page 35 of the notes), that in the case of $CP^1$ the proof does not work (i.e. becomes much harder), due to non-compactness of the group of conformal symmetries of $CP^1$. For higher-dimensional Kahler manifolds in general it is harder to construct Kahler-Einstein metrics of positive curvature comparing to KE metrics of negative curvature.</p> http://mathoverflow.net/questions/14548/finding-constant-curvature-metrics-on-surfaces-without-full-power-of-uniformizat/104019#104019 Answer by Alexandre Eremenko for Finding Constant Curvature Metrics on Surfaces without full power of Uniformization Alexandre Eremenko 2012-08-05T13:09:32Z 2012-08-05T13:09:32Z <ol> <li><p>In your statement you said "let S be a surface". First of all one has to be careful about what is a "surface". It must be a) orientable, and b) separable (have a countable base of topology). (All Reimann surfaces automatically satisfy this but b) is non-trivial).</p></li> <li><p>So suppose that S is a Riemann surface. All of the statements 1, 2, 3 contain a "soft part" and a "hard part".</p></li> </ol> <p>The hard part is about simply connected Riemann surface. (Sometimes THIS is called the uniformization theorem).</p> <p>The reduction of the general case to the simply connected case is by the universal covering. (You can pull back all metrics, conformal structures etc. to the universal cover). There are several ways to prove the theorem for a simply connected surface.</p> <p>One of the simplest ways is Lavrentjev's proof which can be found in Goluzin's book Geometric theory of functions of a complex variable. This proof assumes that we already know that the surface is triangulable. (This is a purely topological consequence of a) and b) above, but again, not completely trivial.</p> <p>Of course, if you are interested only in COMPACT case, then it is not necessary to pass to the universal covering, many topological difficulties disappear, and more methods are available. Like the Ricci flow, for example.</p>