[論文レビュー] Bounding diameter of singular Kähler metric

Gabriele La Nave, Gang Tian+1 more|arXiv (Cornell University)|Mar 11, 2015

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

ひとこと要約

本稿は、解析的最小モデルプログラムにおける連続法において生じる特異ケーラー計量の直径に関する上限を確立する。連続方程式の非収縮極限を分析することで、著者らは特異性が制御されたコン pact な経路距離空間へのチエーガー＝グロモフ収束を証明し、ケーラー類に代数的仮定を置いた場合の計量的・代数的構造に関する主要な予想を確認する。

ABSTRACT

In this paper we investigate the differential geometric and algebro-geometric properties of the noncollapsing limit in the continuity method that was introduced by the first two named authors in \cite{LaTi14}.

研究の動機と目的

• ケーラーライッチフローにおける連続法の非収縮極限の微分的および代数幾何的性質を調査すること。
• ケーラー類が代数的であるという仮定の下で、[19] が提起した極限空間の計量的・代数的構造に関する予想を確認すること。
• 極限空間上の特異ケーラー計量に対して直径上限を確立し、チエーガー＝グロモフ位相において有限な直径を保証すること。
• 極限空間が正規射影的代数多様体と位相的に同相であり、特異点集合が実次元2以上であることを示すこと。
• フリップの構成を通じて連続法を時間 T を超えて拡張するための基盤を提供すること。これは、ケーラーライッチフローの手法に類似している。

提案手法

• 初期ケーラー計量を進めるために、T = sup{t | [ω₀] - t c₁(M) > 0} で定義される連続法 ω_t = ω₀ - t Ric(ω_t) を用いる。
• ドナルドソン＝サンおよびティアンに従い、極分岐ラインバンドルに対する部分 C⁰ 評価を適用して、正則セクションおよびその勾配を制御する。
• リッチ曲率がフローに沿って下から有界であるという事実を活用し、∂̄-作用素および正則セクションに対する L² 及び L∞ 評価を用いる。
• 接錐の再帰的解析を用いて、実際の次元2の特異点が、極限ケーラー類のアーマー局所に同型な解析的集合上にのみ生じることを示す。
• 相対体積比較および内在的長さ距離の推定を用いて、極限空間内のコンact 部分集合の直径を評価する。
• チエーガー＝グロモフ収束と (M \\ S_M, ω_T) の計量的完備化を組み合わせ、極限経路距離空間 (M_T, d_T) を構成する。

実験結果

リサーチクエスチョン

• RQ1 連続法の非収縮極限は、有限な直径を持つコンパクトな経路距離空間をもたらすか？
• RQ2 極限空間 (M_T, d_T) が、明確に定義された特異点集合を持つ正規射影的代数多様体と位相的に同相であることが示せるか？
• RQ3 極限空間における特異点集合の次元は何か？ また、元の多様体の幾何とどのように関係しているか？
• RQ4 与えられた仮定の下で、(M, ω_t) から (M_T, d_T) への収束がチエーガー＝グロモフ位相で確立できるか？
• RQ5 極限空間の計量的および代数的構造は、元の多様体の canonical model や minimal model とどのように関係しているか？

主な発見

• 解 ω_t はチエーガー＝グロモフ位相において、(M \ S_M, ω_T) の計量的完備化であるコンパクトな経路距離空間 (M_T, d_T) に収束する。
• 極限空間 M_T は、R ∪ S という正則／特異点分解 M_T = R ∪ S を持つ。ここで R は接錐が ℂⁿ に等長である点の集合であり、S は実次元 ≥ 2 の閉集合である。
• 正則集合 R は測地的凸性を示し、特異点集合 S は極限コhomology類の非アーマー局所に一致する。
• 極限空間 (M_T, d_T) の直径は有限であり、T に近いすべての t に対して一様に有界であり、任意のコンパクト部分集合 K に対して diam_{d_{ω_t}}(K) ≤ 2R₀ が成り立つ。
• 極限空間 M_T は正規射影的代数多様体と位相的に同型であり、この同型の下で特異点集合 S は部分多様体に対応する。
• (M, ω_t) から (M_T, d_T) への収束はチエーガー＝グロモフの意味で確認され、ケーラーライッチフローの結果を連続法の枠組みへと拡張する。