[論文レビュー] Convergence of the conical Ricci flow on S2 to a soliton

D. H. Phong, Jian Song+2 more|arXiv (Cornell University)|Mar 15, 2015

Geometry and complex manifolds参考文献 3被引用数 10

ひとこと要約

本稿は、最大の円錐角が他の角の和を上回る不安定な円錐特異点を有する2次元球面における円錐リッチ流れが、北極および南極に特異点を有する一意的な収縮型勾配ソリトン計量に収束することを証明する。この結果は、先行研究における予測を裏付け、不安定な場合における限界ソリトンを一意的な安定吸引子として確立する。

ABSTRACT

In our previous work [PSSW], we showed that the Ricci flow on S^2 whose initial metric has conical singularities \sum_{j=1}^k β_j[p_j] converges to a constant curvature metric with conic singularities (in the stable and semi-stable cases) or to a gradient shrinking soliton with conical singularities (in the unstable case). The purpose of this note is to show that in the unstable case, that is, the case where β_k>β_k'=\s_{j

研究の動機と目的

• S² 上の円錐リッチ流れにおける長年の予測、すなわち不安定な場合に流れが収縮型ソリトンに収束するという予測を解消すること。
• 最大の円錐角が他の角の和を上回る場合に、リッチ流れ下での限界ソリトン計量の一意性と安定性を確立すること。
• 不安定な円錐特異点を有するS² 上の円錐リッチ流れが、極にちょうど2つの円錐点を有する勾配収縮型ソリトンに収束することを証明すること。
• [PSSW] が開始したS² 上の円錐特異点を有するリッチ流れの挙動の分類を、不安定な領域にまで拡張し、図を完成させること。

提案手法

• 流れに沿ってμ(g)が増加することを活用し、正規化されたW汎関数とその単調性を用いた証明。
• ソリトン計量のμ不変量を用いた比較的議論により、予測されたソリトンの不変量μ₁が、他のすべての不変量の上界μ₂を上回ることを示した。
• 背理法を用い、流れがソリトンに収束しないと仮定し、μ不変量がg∞から一様に離れている時刻の列を得た。
• W汎関数の最小化子の列から、W¹,²における弱コンパクト性とLᵖ（p > 1）における強い収束性を用いて、極限関数Φ∞を抽出した。
• Δujの一様Lq有界性に依拠し、Hölderおよび平均値定理の推移を用いて、曲率項およびW汎関数の対数項の収束を確立した。
• 極限汎関数値がμ(g∞)より厳密に小さいことが示され、μ(g∞)が下界であるという定義に反するため、矛盾が生じた。

実験結果

リサーチクエスチョン

• RQ1 不安定な円錐特異点を有するS² 上の円錐リッチ流れは、収縮型ソリトンに収束するか？
• RQ2 極に2つの円錐点を有する限界ソリトン計量は、不安定な場合に一意的か？
• RQ3 [PSSW] が予測した「流れが小さな円錐点を1つの極に収縮する」という予測を、厳密に確認できるか？
• RQ4 μ不変量は、不安定な領域における正しいソリトン極限を識別する上で果たす役割は何か？

主な発見

• 不安定な円錐特異点を有するS² 上の円錐リッチ流れは、北極および南極に特異点を有する一意的な収縮型勾配ソリトン計量に収束する。
• 限界計量は、Ric(g_sol) = γg_sol + ∑β_j[p_j] を満たす唯一のソリトンであり、γ = 1 - ½∑β_j である。
• 流れはGromov-Hausdorff収束により(S², g∞)に収束し、微分同相変換の下で特異点を除くコンパクト集合上でC∞収束を示す。
• 証明により、すべての他のソリトン的極限g_I,Jに対してμ(g∞) > μ(g_I,J)が示され、ソリトンがμ不変量のグローバル最大値であることが確認された。
• 収束は頑健である：任意の正則な初期円錐計量に対して、流れはg∞に収束する。初期の円錐点の配置にかかわらず、常に同じ極限に至る。