[論文レビュー] A note on Kähler-Ricci soliton

Xiuxiong Chen, Song Sun+1 more|ArXiv.org|Jun 17, 2008

Geometry and complex manifolds参考文献 19被引用数 11

ひとこと要約

この論文は、ケーラー・リッチフローとモース理論を用いて、正の二重断面曲率をもつ任意のコンパクトケーラー多様体が複素射影空間 ℂPⁿ に正則同型であることを示す新しい証明を提供する。このような多様体はケーラー・リッチソリトンを許容するが、一意性および変形理論により、これはケーラー・アインシュタイン的であり、結果として ℂPⁿ に正則同型であることが示される。

ABSTRACT

In this note we provide a proof of the following: Any compact KRS with positive bisectional curvature is biholomorphic to the complex projective space. As a corollary, we obtain an alternative proof of the Frankel conjecture by using the Kähler-Ricci flow.

研究の動機と目的

• ハーモニック写像や代数幾何学に依存せずに、ケーラー・リッチフローを用いてフランケル予想の別証明を提供すること。
• 正の二重断面曲率をもつコンパクトケーラー多様体がケーラー・リッチソリトンを許容するならば、それが ℂPⁿ に正則同型であることを確立すること。
• ペレルマンの推定と最大原理を用いて、そのような多様体上でのケーラー・リッチフローの収束がケーラー・アインシュタイン計量に至ることを示すこと。
• 帰納法と小林・沖会の定理を用いて、ソリトンの存在性と ℂPⁿ への正則同型性を結びつけること。
• フロー下での極限計量が正の曲率をもつケーラー・リッチソリトンであることを示し、その結果、多様体が ℂPⁿ に正則同型であることを示すこと。

提案手法

• 正の二重断面曲率をもつコンパクトケーラー多様体にケーラー・リッチフローを適用し、Cao (1985) のグローバル存在結果とBandoおよびMokの曲率保存性を用いる。
• ペレルマンのスカラー曲率および直径に関する一様有界性を用いて、高次の曲率推定と計量および複素構造の逐次収束を導出する。
• 修正された曲率テンソル $ S = Rm - \mu(g * Ric) $ に最大原理を適用し、フロー下での特定の曲率成分の非負性を示す。
• リッチ曲率に対する強い最大原理を用いて、平坦な因子を除外し、極限計量が正のリッチ曲率をもち、したがって正の二重断面曲率をもつことを証明する。
• ケーラー・リッチソリトンの一意性および ℂPⁿ の変形空間の自明性を用いて、正則同型性を結論づける。
• 次元に関する帰納法を用いる：次元 $ n $ に対して結果が成り立つと仮定し、小林・沖会の定理に依存してそれを証明する。

実験結果

リサーチクエスチョン

• RQ1 ハーモニック写像や代数幾何学を用いずに、ケーラー・リッチフローとソリトン理論を用いてフランケル予想を証明できるか？
• RQ2 正の二重断面曲率をもつコンパクトケーラー多様体は、必然的にケーラー・アインシュタイン的ケーラー・リッチソリトンを許容するか？
• RQ3 ペレルマン型推定と最大原理技法を用いて、ケーラー・リッチフローがケーラー・アインシュタイン計量に収束することを確立できるか？
• RQ4 正の曲率をもつ多様体上でのケーラー・リッチフローの極限計量は、必然的に正の曲率をもつケーラー・リッチソリトンであるか？
• RQ5 ケーラー・リッチフロー下での極限計量の構造から、正の二重断面曲率をもつコンパクトケーラー多様体の正則同型型を同定できるか？

主な発見

• 正の二重断面曲率をもつ任意のコンパクトケーラー多様体は ℂPⁿ に正則同型であり、フランケル予想の新証明が得られる。
• そのような多様体上でのケーラー・リッチフローは滑らかにケーラー・アインシュタイン計量に収束し、これはフビニ・シュテュル計量の定数倍である。
• フロー下での極限計量は正の二重断面曲率をもつケーラー・リッチソリトンであり、強い最大原理によりリッチ曲率が正である。
• 極限計量の曲率テンソルは $ R_{i\bar{i}j\bar{j}} \geq \mu C (g*g)_{i\bar{i}j\bar{j}} $ を満たすような $ \mu > 0 $ が存在し、正の性質を保証する。
• $ \mathbb{C}P^n $ の変形空間は自明である（$ H^1(\mathbb{C}P^n, \Theta) = 0 $）ため、標準的構造に近い任意の複素構造は ℂPⁿ に正則同型である。
• この証明は帰納法と小林・沖会の定理を用いて、$ H_2(M;\mathbb{Z})/Tor $ 内の有理曲線の存在を ℂPⁿ への正則同型性に結びつける。