I’ve been a bit busy lately, and so I missed last week posting. So what I’ve decided to do is to take the talks I’ve given in various graduate student seminars over the last year or so and convert them into posts. This one is a particularly tough prospect, as the talk didn’t go very well. I’m following a paper of Hamilton‘s titled “Ricci Flow on Surfaces” and only present the high genus case. Comments and (especially!) corrections are encouraged.
Let be a compact surface, a Riemannian metric and the Ricci curvature of . Then the Ricci Flow equation is given by where is the average value of . Ricci Flow can be used to prove many classical result, including the Uniformization Theorem, that every Riemann surface admits a metric of constant curvature.
This is actually slightly different from the standard Ricci flow, it is what is called the volume-preserving Ricci flow, as, unlike the standard, it doesn’t cause Spheres to shrink. To show this, set , and see , so if is total area, , because . We also note that the flow is pointwise a multiple of the metric, and so preserves conformal structure.
In face, we can see that by the Gauss-Bonnet Theorem, and so .
The curvature is a function of the metric, and so it will itself satisfy some evolution equation. This equation happens to be . (The gist is that for surfaces , and we can then take the time derivative, and substitute in the Ricci Flow equation for , but doing it out is messy. Consider it an exercise.)
By the Maximum Principle, we have that if at the start, it will remain so for all time. Likewise, if , it will remain so. Thus, both positive and negative curvature are preserved for surfaces.
We will only prove that , and the other case follows from a similar argument. We will proceed by contradiction, and assume that at some time, for some point , . Let be the first time such that and for some . We define . At , we see that at , by our assumption. Now, at the same point and time, we look at . , as , and so we look at . As we are at a minimum with , , and as , this means we have a contradiction (citing the maximum principle, which gives one of these a strict inequality).
If , we can strengthen this, and get that if at the start, then it remains so, and , so approaches exponentially.
To see it, let be the maximum of . Then it satisfies and if is the minimum of , it satisfies
This implies immediately that on a compact surface, if , a solution exists for all time and converges exponentially to a metric of constant negative curvature. For , things are harder, as is a repulsive fixed point of . The best this method gives is the following:
If and at the start, then and for all time and if and at the start, then and , at least for .
These don’t give good bounds, as the lower bound goes to zero at infinity, and the upper bound goes to infinity in finite time.
If anywhere, we need better methods. We first define the potential to be the solution to with mean value zero. This equation can always be solved as has mean value zero, and the solution is unique up to a constant, so can have mean value zero. Then satisfies the following equation:
where with a constant on the surface and merely relying on time.
As , we can get by differentiating, and so for some number which is only a function of time. can be computed from the relation .
To make more progress, we will need the function and the tensor , that is, the trace-free part of the second covariant derivative of .
We get the following equation for , where :
If at the start, then for all time. This is of value, as , so now , which gives us a bound on from above which goes to as increases if . We can also get a lower bound, if and the minimum of is negative, it increases. If and the minimum of is less than , it increases. This gives us that for any initial metric, there is a such that . Thus, the Ricci Flow has solutions for all time for any initial metric. In fact, if , then remains bounded both above and below such that when , for large time. Applying our earlier result for the situation when , this gives the following result:
On a compact surface with , for any initial metric the solution exists for all time and converges to a metric with constant negative curvature.
And as the Gauss-Bonnet Theorem relates to the Euler characteristic, we have proved that on a riemann surface with there exists a metric of constant curvature. The other finitely many cases can be checked by hand (in fact, restricting to compact surfaces, the only things remaining are the sphere, torus, projective plane and klein bottle).