[論文レビュー] The continuity method on minimal elliptic Kähler surfaces

Yashan Zhang, Zhenlei Zhang|arXiv (Cornell University)|Oct 25, 2016

Geometry and complex manifolds参考文献 23被引用数 6

ひとこと要約

本稿は、Kodaira次元が1の最小特異点付き楕円Kähler表面における連続法の収束を確立し、滑らかなKähler計量がGromov-Hausdorff位相で、標準的モデル上の一般化Kähler-Einsteinカレントの距離完備化に収束することを証明している。この手法は任意の初期Kähler計量から出発し、正則部分集合上での局所的$C^{1,\alpha}$収束と、楕円的ファイバー上での平坦計量へのファイバーごとの滑らかな収束を両方達成する。

ABSTRACT

We prove that, on a minimal elliptic Kähler surface of Kodaira dimension one, the continuity method introduced by La Nave and Tian in \cite{LT} starting from any initial Kähler metric converges in Gromov-Hausdorff topology to the metric completion of the generalized Kähler-Einstein metric on its canonical model constructed by Song and Tian in \cite{ST06}.

研究の動機と目的

• Kodaira次元が1の最小特異点付き楕円Kähler表面における連続法の幾何的収束を確立すること。
• 非自明な楕円ファイブレーションを持つ表面における解析的最小モデルプログラムの期待される振る舞いを確認すること。
• 連続法の極限挙動を、距離収束とファイバーごとの崩壊の観点から分析すること。
• Calabi-Yauおよび一般型の場合を超えて、Kähler-Ricci流れと連続法における計量的崩壊の理解を拡張すること。

提案手法

• 背景計量の族$\omega_t = \frac{1}{1+t}\omega_0 + \frac{t}{1+t}f^*\chi$を用いて、連続法の方程式を複素Monge-Ampère方程式に還元する。
• 滑らかに変化する計量を$\omega(t) = \omega_t + \sqrt{-1}\partial\bar{\partial}\varphi(t)$の形で、ポテンシャル関数$\varphi(t)$を用いて表現する。
• ポテンシャル関数およびその微分への一様推定を適用し、正則部分集合$X_{\text{reg}}$上で局所的$C^{1,\alpha}$収束を証明する。
• Gromov-Hausdorff収束の技法を用い、変化する計量空間$(X, \omega(t))$を、標準的モデルの距離完備化$(X_\infty, d_\infty)$と比較する。
• 底曲線$\Sigma$上での一般化Kähler-Einsteinカレント$\chi_\infty$が$\text{Ric}(\chi_\infty) = -\chi_\infty + \omega_{WP} + 2\pi\sum \frac{m_i-1}{m_i}[s_i]$を満たすことを用い、極限空間を定義する。
• ファイバー上で$(1+t)\omega(t)|_{X_s}$がクラス$[\omega_0|_{X_s}]$内の一意な平坦計量に収束することを用い、ファイバーの幾何を制御する。

実験結果

リサーチクエスチョン

• RQ1 Kodaira次元が1の最小特異点付き楕円Kähler表面における連続法は、Gromov-Hausdorff位相で標準的モデルに収束するか？
• RQ2 正則ファイバー上での滑らかな計量の振る舞いはどのように変化し、平坦計量に滑らかに収束するか？
• RQ3 標準的モデル$(X_\infty, d_\infty)$の距離完備化は、底曲線$\Sigma$と位相的に同相か？
• RQ4 極限空間$(X_\infty, d_\infty)$は、変化する計量空間$(X, \omega(t))$のGromov-Hausdorff極限として実現可能か？
• RQ5 計量$\omega(t)$の正則性および$\omega(t)$が一般化Kähler-Einsteinカレントの引き戻し$f^*\chi_\infty$に近づく収束速度はいかなるものか？

主な発見

• $t \to \infty$のとき、任意のコンパクト集合$V \subset X_{\text{reg}}$に対して、$\omega(t) \to f^*\chi_\infty$が$C^{1,\alpha_V}(V, \omega_0)$位相で収束し、$\alpha_V \in (0,1)$を満たす。
• 各正則ファイバー$X_s$に対して、$(1+t)\omega(t)|_{X_s}$は、クラス$[\omega_0|_{X_s}]$内の一意な平坦計量に$C^\infty(X_s, \omega_0|_{X_s})$位相で収束する。
• $(\Sigma_{\text{reg}}, \chi_\infty)$の距離完備化$(X_\infty, d_\infty)$は、コンパクトな長さ計量空間であり、射影的概型として$\Sigma$と位相的に同相である。
• $(X, \omega(t))$と$(X_\infty, d_\infty)$のGromov-Hausdorff距離は$t \to \infty$のとき0に近づき、完全な収束が確認される。
• 収束は正則部分集合のコンパクト部分集合上で一様であり、ファイブレーション構造を保ち、ファイバーの径路および曲率に対する制御がなされている。