[論文レビュー] Kähler-Einstein metrics with cone singularities on klt pairs

Henri Guenancia|arXiv (Cornell University)|Dec 6, 2012

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

ひとこと要約

この論文は、$K_X + D$ がバリまたは $-(K_X + D)$ がアンピールである klt 対 $(X,D)$ 上で、除数 $D$ 沿いのコーン特異性をもつケーラー＝アインシュタイン計量の存在を確立する。バリコhomology類における正則化およびモンジュ＝アンペール理論を用いて、ケーラー＝アインシュタイン計量が $D_{\geq 1/2}$ に沿ってコーン特異性を示すことを証明し、係数制約を課した一般 klt 設定への既知の結果の拡張を達成する。

ABSTRACT

Let (X,D) be a klt pair. Assuming either K_X+D big or -(K_X+D) ample, and that the coefficients of D are greater than 1/2, we show that the Kähler-Einstein metric attached to (X,D) -whenever it exists- has cone singularities along D on the log-smooth locus of the pair intersected with the ample locus of K_X+D (in the negatively curved case).

研究の動機と目的

• log-滑らかまたはアンピールな場合を超えて、一般 klt 対へのコーン特異性をもつケーラー＝アインシュタイン計量の存在を拡張すること。
• klt 対 $X$ の log-滑らか領域における $D$ の台に近いケーラー＝アインシュタイン計量の特異性行動を分析すること。
• $K_X + D$ がバリまたは $-(K_X + D)$ がアンピールである場合に、係数制約 $[1/2, 1)$ の下でコーン特異性行動を確立すること。
• バリコhomology類および複素ポテンシャル論を用いて、先行研究のエッジ計量結果を klt 対へ一般化すること。
• 正則化および近似技術を用いて、特異多様体上でのケーラー＝アインシュタイン計量におけるコーン特異性の統一的枠組みを提供すること。

提案手法

• 特に非多価的積と有限エネルギーカレントを含む、バリコhomology類におけるモンジュ＝アンペール方程式理論を用いる。
• 特異計量の近似とそのラプラシアン成長の制御のための正則化技術を適用する。
• 最小モデルプログラムによるザリスキ分解を用いて、問題を計量がよりよく理解できるロジカル・キャンナニカル・モデルに還元する。
• バリコhomology類における滑らかな計量によるコーン計量の近似を用いて極限に移行する。
• klt 対におけるアンピール領域と canonical ring の有限生成性について、Boucksom の研究に依拠する。
• 退化モンジュ＝アンペール方程式の解の存在および一意性定理を含む、複素ポテンシャル論の結果を適用する。

実験結果

リサーチクエスチョン

• RQ1 klt 対上のケーラー＝アインシュタイン計量が除数 $D$ 沿いにコーン特異性を示す条件は何か？
• RQ2 計量の特異性行動が $D$ の台 $\mathrm{Supp}(D)$ に近い場所で、$D$ の係数にどのように依存するか？
• RQ3 $(K_X + D)$ がバリまたは $-(K_X + D)$ がアンピールである場合に、コーン特異性の結果を log-滑らか対から一般 klt 対へ拡張できるか？
• RQ4 アンピール領域 $\mathrm{Amp}(K_X + D)$ は、ケーラー＝アインシュタイン計量の正則性および特異性行動においてどのような役割を果たすか？
• RQ5 バリコhomology類における正則化および近似プロセスが、コーン特異性をもつ解への収束をどのように保証するか？

主な発見

• $(X,D)$ が klt 対で $K_X + D$ がバリであるとき、ケーラー＝アインシュタイン計量は $\mathrm{LS}(X,D_{\geq 1/2}) \cap \mathrm{Amp}(K_X + D) \setminus \mathrm{Supp}(D_{<1/2})$ 上で $D_{\geq 1/2}$ に沿ってコーン特異性を示す。
• $(K_X + D)$ がアンピールであるとき、任意のケーラー＝アインシュタイン計量は $\mathrm{LS}(X,D_{\geq 1/2}) \setminus \mathrm{Supp}(D_{<1/2})$ 上で $D_{\geq 1/2}$ に沿ってコーン特異性を示す。
• Brendle や Campana-Guenancia-Păun、Jeffres-Mazzeo-Rubinstein のエッジ計量に関する先行研究を、係数制約を課した klt 設定へ一般化した結果である。
• バリコhomology類におけるモンジュ＝アンペール方程式 $\mathrm{MA}(\varphi) = e^{\varphi}\mu$ の解が有限エネルギーをもち、コーン特異性をもつ計量を誘導することを示した。
• 正則化プロセスにより、極限計量がケーラー＝アインシュタイン条件を満たし、近似列からのコーン構造を引き継ぐことが保証される。
• 問題は、最小モデルプログラムによる $\mu^* (K_X + D)$ のザリスキ分解に依拠しており、計量が特異点集合および $\mathrm{Supp}(D_{\mathrm{can}})$ の外で滑らかになるロジカル・キャンナニカル・モデルに還元される。