[論文レビュー] Volume estimates for Kähler-Einstein metrics: the three dimensional case

X-X. Chen, Simon Donaldson|arXiv (Cornell University)|Apr 1, 2011

Geometry and complex manifolds参考文献 5被引用数 4

ひとこと要約

本稿は、非負のリッチ曲率と非崩壊条件を満たすコンパクトな3次元ケーラー＝アインシュタイン多様体における、曲率が $ r^{-2} $ を超える領域 $ Z_r $ の体積推定を確立する。正規化された曲率エネルギーの近似的な単調性と、ホモロジーを運ぶ球体に関する位相的制約を用いて、$ \mathrm{Vol}(Z_r) \leq C(E(M)r^4 + b_2(M)r^6) $ を証明し、$ C $ は非崩壊定数と第二ベッチ数にのみ依存する。これはケーラー幾何における存在問題に重要な解析的入力を提供する。

ABSTRACT

We obtain an estimate for the volume of neighbourhoods of sets of large curvature in three-dimensional Kähler-Einstein manifolds.

研究の動機と目的

• 3次元ケーラー＝アインシュタイン多様体において、曲率が $ r^{-2} $ を超える領域 $ Z_r $ の定量的体積推定を導出すること。
• 高次元における欠落している単調性を補完する、正規化された曲率エネルギー $ E(x,r) = r^{4-6} \int_{B(x,r)} |\mathrm{Riem}|^2 \, d\mu $ の近似的な単調性を確立すること。
• 非崩壊条件の下で、曲率の幾何的集中を、特に第二ベッチ数 $ b_2(M) $ といった位相的不変量と結びつけること。
• コンパクト複素3次元多様体上のケーラー＝アインシュタイン計量の一般存在問題のための基礎的解析的道具を提供すること。

提案手法

• スケール不変で解析の中心となる正規化エネルギー関数 $ E(x,r) = r^{-2} \int_{B(x,r)} |\mathrm{Riem}|^2 \, d\mu $ を導入すること。
• $ Z_r $ を、$ |\mathrm{Riem}| \geq r^{-2} $ を満たす集合 $ K_r $ の $ r $-近傍として定義し、高曲率領域である「悪い」領域を表す。
• グロモフ＝オースターのリッチ曲率極限理論と、チエヘア、コリング、ティアンによる接錐およびcodimension-4特異点に関する結果を用いて、$ Z_r $ の構造を分析すること。
• 定理3の確立：ホモロジーを運ばない球体 $ B(x,r) $ が正規化エネルギー $ E(x,r) \leq \delta $ を満たすならば、その内部のすべてのより小さい球体は一様に小さなエネルギーを持つ。
• ホモロジーを運ばない球体を用いた被覆議論を適用し、$ \mathrm{Vol}(Z_r) \leq C(E(M)r^4 + b_2(M)r^6) $ の境界を制御すること。
• 相対的等周不等式と体積比較を用いて、$ M \setminus Z_r $ の成分の体積を制御し、定理2として、$ M \setminus Z_r $ の中にある大きな連結部分集合 $ \Omega' \subset M \setminus Z_r $ の存在を示すこと。

実験結果

リサーチクエスチョン

• RQ1 非負のリッチ曲率と非崩壊条件を満たす3次元ケーラー＝アインシュタイン多様体において、曲率が $ r^{-2} $ を超える領域 $ Z_r $ の体積を評価できるか？
• RQ2 ホモロジーを運ぶ球体が存在しない状況において、正規化された曲率エネルギー $ E(x,r) $ に対して近似的な単調性が成立するか？
• RQ3 第二ベッチ数 $ b_2(M) $ は、曲率集中領域 $ Z_r $ の大きさにどのように影響を与えるか？
• RQ4 補集合の体積が制御可能な大きな連結部分集合 $ \Omega' \subset M \setminus Z_r $ の存在を保証できるか？
• RQ5 体積推定 $ \mathrm{Vol}(Z_r) = O(r^\mu) $ の形における最適な指数 $ \mu $ は何か？また、$ \mu = 4 $ は鋭いか？

主な発見

• 曲率集中領域 $ Z_r $ の体積は、$ \mathrm{Vol}(Z_r) \leq C(E(M)r^4 + b_2(M)r^6) $ を満たす。ここで $ C $ は非崩壊定数 $ \kappa $ と $ b_2(M) $ のみに依存する。$ E(M) $ はチャーン類に関連する位相的不変量である。
• 定理3は近似的な単調性を確立する：ホモロジーを運ばない球体 $ B(x,r) $ が正規化エネルギー $ E(x,r) \leq \delta $ を満たすならば、その内部のすべてのより小さい球体は一様に小さなエネルギーを持つ。ここで $ \delta $ は $ \kappa $ のみに依存する。
• ホモロジーを運ばない球体 $ B(x,r) $ に対してエネルギーが小さいという条件は、より小さい球体 $ B(x,r/3) $ 上で点ごとの曲率評価 $ |\mathrm{Riem}| \leq K r^{-2} $ を導く。ここで $ K $ は絶対定数である。
• 定理2は、$ \mathrm{Vol}(M \setminus \Omega') \leq C(E(M)r^{18/5} + b_2(M)r^6) $ を満たす連結な開集合 $ \Omega' \subset M \setminus Z_r $ の存在を示す。ここで $ C' $ は $ \kappa $ のみに依存する。
• 証明は、グロモフ＝オースター極限、無限遠における接錐、チエヘア、コリング、ティアンによるcodimension-4特異点理論を含む、深い幾何的解析に依存している。
• 結果は鋭い。近似的な単調性の失敗が、ホモロジーを運ぶ球体が存在する場合に正確に発生することを、オルビフォールドの解体を用いた反例によって示している。