6
$\begingroup$

Hi, I have a question about the positive Euler characteristic case. My question is: why is it so difficult as compared to the zero and negative cases? I am more interested in a pictorial/intuitive answer as compared to a very rigorous analytic answer. In other words, I want to get an intuitive "feel" of what goes wrong..... Thanks in advance.

$\endgroup$
3
  • 1
    $\begingroup$ You're talking about 2-dimensional manifolds... so perhaps you could quantify what you mean by difficult? $\endgroup$ Dec 1, 2011 at 6:54
  • 3
    $\begingroup$ "Difficult" in this case means the opposite of "easy" -- it took Ben Chow many years to fill in this case (Hamilton did the negative curvature case). $\endgroup$
    – Igor Rivin
    Dec 1, 2011 at 12:19
  • 2
    $\begingroup$ I think it's possible now using Perelman's work to prove Ricci flow on the 2-sphere converges to the round metric replacing the entropy of Hamilton/Chow with Perelman's entropy. The idea is that if there's a finite-time singularity, then it should be kappa-non-collapsed from Perelman's entropy monotonicity, and a blow-up limit should be a Ricci soliton with positive curvature. But the only solitons in dimension 2 with positive curvature are the cigar (which is collapsed) and the round 2-sphere. What I don't remember is whether the proof of uniqueness of solitons depends on uniformization. $\endgroup$
    – Ian Agol
    Dec 1, 2011 at 17:25

3 Answers 3

11
$\begingroup$

I'm not an expert on Ricci flow but I believe the rough general reason for this is as follows. In dimension 2 the normalized Ricci flow gives the following evolution equation for scalar curvature $$ \frac{\partial R}{\partial t}=\Delta_t R+R(R-r) $$ Where $r=\frac{\int_MR}{vol M}=2\pi \chi(M)$. The analysis of this equation is closely linked (via maximum principle) to that of the ODE $\frac{\partial R}{\partial t}=R(R-r) $. The nonzero stationary point of the ODE is $R=r=const$ (which is also the limit of $R$ under the Ricci flow as $t\to\infty$); it is stable when $r<0$ and unstable when $r>0$. Thus for $r<0$ the behaviors of the ODE and the PDE agree as both the diffusion laplacian term and the ODE term work in the "same direction" toward the stationary solution. This makes the convergence estimates in this case quite easy. In contrast for $r>0$ the laplacian term and the ODE term work in "opposite directions" (with the laplacian term ultimately winning) which makes the analysis in this case more delicate.

$\endgroup$
5
$\begingroup$

There is a very nice exposition of the whole argument here. (or here, the spaces freak out some browsers)As that paper points out, Ricci flow did not produce a proof of Uniformization until 2009, although this is not entirely true: Ricci flow is the gradient flow of $\log \det \Delta$ in two dimensions, and Osgood-Phillips-Sarnak proved uniformization by optimizing $\log \det \Delta$ in a conformal class in the late '80s.

$\endgroup$
6
  • $\begingroup$ Link doesn't work for me $\endgroup$
    – Deane Yang
    Dec 1, 2011 at 14:14
  • $\begingroup$ OK, try the second link (I don't know why space confuse things...) $\endgroup$
    – Igor Rivin
    Dec 1, 2011 at 14:18
  • $\begingroup$ Another (possibly) useful link: dx.doi.org/10.1090/S0002-9939-06-08360-2 $\endgroup$
    – YangMills
    Dec 2, 2011 at 4:11
  • $\begingroup$ Did the Osgood-Phillips-Sarnak paper tackle the positive Euler characteristic case? $\endgroup$
    – anonymous
    Dec 2, 2011 at 22:57
  • $\begingroup$ Yes, it did, as I recall (and there, too it was the hardest case...) I $\endgroup$
    – Igor Rivin
    Dec 3, 2011 at 10:19
2
$\begingroup$

Given a closed surface $M$ with Euler characteristic $\chi$ and a fixed pointwise conformal class $\mathcal{C}$, consider the problem of finding a metric $g\in\mathcal{C}$ with $R(g)\equiv r\doteqdot\operatorname{sign}(\chi )$. If $r=-1,$ then there is a unique such metric. If $r=0,$ then such a $g$ is unique up to scaling; one can see this from the fact that if $g=e^{u}h$, then $R_{g}=e^{-u}\left( R_{h}-\Delta_{h}u\right) $. On the other hand, the group of conformal diffeomorphisms of $S^{2}$ is a noncompact group of linear fractional transformations. So pulling back such a $g$ on $S^{2}$ yields a noncompact set of such metrics. So, on the torus, the noncompactness is due only to scaling, whereas on the sphere, the noncompactness is insidious.

For $r=-1$, Hamilton used the potential $f$ defined by $\Delta f=r-R$ and proved that $H=R-r+\left\vert \nabla f\right\vert ^{2}$ satisfies $(\frac{\partial}{\partial t}-\Delta)H=-2|\operatorname{Ric}+\nabla^{2}% f-\frac{r}{2}g|^{2}+rH$. Since $r<0$, with consequent higher derivative estimates, this implies that the modified flow $\frac{\partial}{\partial t}% g=-2(\operatorname{Ric}+\nabla^{2}f-\frac{r}{2}g)$ converges exponentially fast in each $C^{k}$-norm to an expanding gradient Ricci soliton. This expander, since it is on a closed manifold, must have constant curvature, which in turn, implies that the original normalized Ricci flow converges to a metric $g_{\infty}$ with $R(g_{\infty})\equiv r,$ where $g_{\infty}$ is in the same conformal class as the initial metric $g\left( 0\right) $.

See also the paper of X. Chen, P. Lu and G. Tian.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.