[論文レビュー] Correction to Section 19.2 of Ricci Flow and the Poincare Conjecture

John Morgan, Gang Tian|arXiv (Cornell University)|Dec 2, 2015

Geometric Analysis and Curvature Flows被引用数 5

ひとこと要約

この論文は、リッチフロー下での曲線収縮フローの解析における重大な誤りを是正する。具体的には、接続係数の時間微分を無視したことによる、曲率の二乗の時間微分における項の欠落を特定する。修正により、曲率に比例する線形項が導入され、初期の全曲率および初期の長さに依存する指数関数的境界が得られるが、コンパクトなフロー族への応用全体は、初期値の一様な有界性のおかげで依然として有効である。

ABSTRACT

This note corrects a mistake in the original book in the evolution equations of total curvature for the curve-shrinking flow in an ambient Ricci Flow. The resulting upper bound for the evolution of total curvature is an exponential bound in time. The change involves the multiplicative constant. Here we show that it depends on the initial total curvature and the initial length, rather than just on the initial total curvature as was asserted before. This change does not affect the application of these results to prove finite-time extinction when the third homotopy group of the manifold is non-trivial.

研究の動機と目的

• リッチフロー下の曲線収縮フローにおける曲率の二乗の時間発展の導出における誤りを是正すること。
• 周囲のリッチフローにおける接続係数の時間微分の不適切な取り扱いによって生じた、曲率発展方程式における欠落項を特定すること。
• 初期全曲率および初期長さの両方に依存するように、全曲率に対する指数的境界を回復すること。
• 本の後続の応用、特に曲率の有界性に依存する補題や推論の正しさを保証すること。

提案手法

• 時空多様体 $M \times I$ 上の誘導計量を用いて、曲率の二乗の時間微分を再定式化し、周囲のリッチフローを時刻に依存する計量として扱う。
• 時空計量 $\hat{g}$ のレヴィチビタ接続を用いて、変化する曲線上のベクトル場の共変微分を適切に計算する。
• 水平接続 $\nabla^g$ の時間変動を考慮することで、曲率の発展方程式を修正する。これは以前には無視されていた。
• 0曲率における特異性を扱うために、切断関数を含む正則化量 $\Theta_\epsilon$ を導入し、最大原理を適用する。
• 修正された発展不等式に最大原理を適用し、初期全曲率および初期長さの両方に依存する定数を含む、全曲率に対する指数的境界を導出する。
• 修正が本の主要な結果（たとえばラムプの存在やコンパクトなフロー族における一様有界性）の有効性に影響しないことを確認する。

実験結果

リサーチクエスチョン

• RQ1 リッチフロー下の曲線収縮フローにおける曲率の二乗の正しい発展方程式は何か？
• RQ2 本の元の導出では、周囲計量における接続係数の時間微分がなぜ無視されたのか？
• RQ3 欠落していた $C'k$ 項の取り入れが、全曲率に対する指数的境界にどのように影響するか？
• RQ4 この修正は、曲率の有界性に依存する本の主要な応用を無効にしないか？
• RQ5 修正された境界は、コンパクトな曲線収縮フロー族における曲率および長さの均一な制御を依然として保証できるか？

主な発見

• 『リッチフローとポアンカレ予想』第19.2節の元の導出では、周囲のリッチフローにおける接続係数の時間微分に起因する項が誤って欠落されていた。
• 修正された $k^2$ の発展方程式には、$k$ に比例する追加項が含まれており、曲率の有界性に線形項が生じる。
• その結果、全曲率に対する指数的境界は、初期全曲率だけでなく初期長さにも依存するようになり、初期全曲率のみに依存するものではなくなった。
• 修正により、本の主要な応用は無効とならず、初期長さおよび初期全曲率の有界性の一様性のおかげで、同じ定性的な結論が成立する。
• 修正版の系19.10は now $L(t) \leq L(0)e^{C_2 t}$ および $\Theta(t) \leq (\Theta(0) + L(0))e^{(C_1 + C_2)t}$ と記述され、初期データの二重依存性が反映されている。
• 補題19.14および補題19.24の証明は、定数を初期曲率および初期長さの有界性に依存するように調整することで、変更を加えても依然として有効であり、主張19.61の不等式についても、追加の可積分項を含める修正が行われた。