[論文レビュー] A complete proof of Hamilton's conjecture

Li Ma|arXiv (Cornell University)|Aug 9, 2010

Geometric Analysis and Curvature Flows参考文献 14被引用数 5

ひとこと要約

この論文は、有界な曲率と正のリッチピンチング—$ Rc \geq \epsilon Rg $ に対して $ \epsilon > 0 $—を満たす完備で非コンパクトな3次元リーマン多様体がコンパクトでなければならないというハミルトンの予想を完全に証明する。証明は、リッチテンソルのピンチング・減衰推定と前向きの縮小体積の単調性公式を組み合わせて、リッチフローにおけるタイプIII特異点を除外し、最終的にその多様体が平坦またはコンパクトでなければならないことを示し、コンパクト性が成り立たない限り矛盾が生じる。

ABSTRACT

In this paper, we give the full proof of a conjecture of R.Hamilton that for $(M^3, g)$ being a complete Riemannian 3-manifold with bounded curvature and with the Ricci pinching condition $Rc\geq \ep R g$, where $R>0$ is the positive scalar curvature and $\ep>0$ is a uniform constant, $M^3$ is compact. One of the key ingredients to exclude the local collapse in singularities of the Ricci flow is the use of pinching-decaying estimate. The other important part of our argument is to role out the Type III singularity complete noncompact Ricci flow with positive Ricci pinching condition. We get this goal by obtaining an Ricci expander based on the monotonicity formula of weighted reduced volume.

研究の動機と目的

• 有界曲率と $ Rc \geq \epsilon Rg $（$ \epsilon > 0 $）を満たす完備で非コンパクトな3次元多様体がコンパクトでなければならないというハミルトンの予想を証明すること。
• 非コンパクトな3次元多様体上のリッチフローにおいて、タイプIII特異点が存在しないことを除外すること。
• 特異点付近での曲率の振る舞いを制御するために、トレースレスリッチテンソルのピンチング・減衰推定を確立すること。
• 重み付き前向きの縮小体積の単調性を用いて、非平坦な古代リッチフローが勾配リッチ拡張子でなければならないことを示し、ピンチングの下で矛盾を導くこと。
• 非コンパクト性が成り立たないことを示すことで、この予想を解決し、元の多様体がコンパクトでなければならないことを示すこと。

提案手法

• ハミルトンの進化方程式とシの最大原理を用いて、トレースレスリッチテンソルのピンチング・減衰推定 $ |Rc - \frac{1}{3}Rg|^2 \leq \left(\frac{3}{2t}\right)^{\epsilon^2} R^{2-\epsilon^2} $ を導出すること。
• 前向きの縮小体積 $ \mathbb{V}_+ $ の単調性公式を応用して、古代リッチフローを分析し、それが非増加であり、等号が成り立つのはフローが勾配リッチ拡張子である場合に限ることを示すこと。
• スケーリング $ g_k(s) = Q_k g(\cdot, t_k + s Q_k^{-1}) $ を用いて、無限遠でのリッチフローのブロー・アップ列を構成し、極限計量 $ g_\infty $ を得る。この計量では $ R(g_\infty) \leq A/(A+s) $ が成り立つ。
• 単調性公式の等号の場合を用いて、$ g_\infty $ が勾配リッチ拡張子であることを導き出し、漸近的に平坦でかつリッチピンチングが成り立つ限り、$ g_\infty $ が平坦でない限り矛盾することを示すこと。
• [19]および[20]の結果を活用して、漸近的に平坦で非平坦な3次元多様体が正のリッチピンチングを満たすことは不可能であることを示し、したがって元の多様体はコンパクトでなければならないことを導くこと。
• ピンチング・減衰推定とブロー・アップ解析を組み合わせて、局所的崩壊とタイプIII特異点を除外し、多様体がコンパクトであるという結論に至ること。

実験結果

リサーチクエスチョン

• RQ1 有界曲率と $ Rc \geq \epsilon Rg $（$ \epsilon > 0 $）を満たす完備で非コンパクトな3次元多様体が存在しうるか？
• RQ2 前向きの縮小体積の単調性は、非平坦な古代リッチフローが勾配リッチ拡張子でなければならないことを示唆するか？
• RQ3 ピンチング・減衰推定は、リッチフローのタイプIまたはタイプIIa特異点における局所的崩壊を防げるか？
• RQ4 正のリッチピンチングを満たすリッチフローにタイプIII特異点が存在する場合、曲率の有界性と注釈半径の制御のもとで矛盾が生じるか？
• RQ5 正のリッチピンチングと有界曲率を満たす完備で非コンパクトな3次元多様体は、必然的に平坦であるか？

主な発見

• 正のリッチピンチング $ Rc \geq \epsilon Rg $（$ \epsilon > 0 $）と有界曲率の下で、完備な3次元多様体はコンパクトでなければならない。これはハミルトンの予想の証明である。
• ピンチング・減衰推定 $ |Rc - \frac{1}{3}Rg|^2 \leq \left(\frac{3}{2t}\right)^{\epsilon^2} R^{2-\epsilon^2} $ が確立され、リッチテンソルがスカラー曲率からどれほど逸脱しているかを制御する。
• 重み付き前向きの縮小体積 $ \mathbb{V}_+ $ の単調性から、等号が2つの時刻で成り立つならば、フローは勾配リッチ拡張子であることが導かれる。
• 正のリッチピンチングを満たすタイプIIIリッチフローのブロー・アップ極限 $ g_\infty $ が勾配リッチ拡張子であることが示され、既知の漸近的に平坦な多様体に関する結果と矛盾するが、$ g_\infty $ が平坦である場合を除いては。
• 漸近的に平坦な3次元多様体が正のリッチピンチングを満たすことは、平坦でない限り不可能であり、極限計量 $ g_\infty $ が非平坦であることに反するため、非コンパクト性は除外される。
• ピンチング・減衰推定と $ \mathbb{V}_+ $ の単調性の組み合わせにより、正のリッチピンチングを満たすすべての非コンパクトな古代リッチフローが除外され、元の多様体がコンパクトでなければならないことが示される。