[論文レビュー] The continuity method on Fano fibrations

Yashan Zhang, Zhenlei Zhang|arXiv (Cornell University)|Dec 5, 2016

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

ひとこと要約

本稿はファノバンドルへの連続法を研究し、ケーラー計量が複素モンジュ・アンペール方程式の流れに従って進化する際、弱収束により底面多様体上の特異ケーラー現在に引き戻された形で収束することを証明する。底面が滑らかで特異ファイバーを含まない場合、収束はグロモフ＝ハウスドルフ位相で成立し、有限時間内に体積が収縮する場合の解析的最小モデルプログラムにおける重要な予想を確認する。

ABSTRACT

We study finite-time collapsing limits of the continuity method. When the continuity method starting from a rational initial Kähler metric on a projective manifold encounters a finite-time volume collapsing, this projective manifold admits a Fano fibration over a lower dimensional base. In this case, we prove the continuity method converges to a singular Kähler metric on the base in the weak sense; moreover, if the base is smooth and the fibration has no singular fibers, then the convergence takes place in Gromov-Hausdorff topology.

研究の動機と目的

• 最大存在時刻が有限である場合の、射影多様体における連続法の振る舞いを調査し、体積収縮を引き起こすことを目的とする。
• 多様体が低次元の底面へのファノバンドルを備える場合のケーラー計量の流れの極限を分析すること。
• 有限時間内に体積収縮が発生する場合の、グロモフ＝ハウスドルフ位相における収束に関する解析的最小モデルプログラムにおける予想を確認すること。
• 計量の幾何的崩壊を捉える、底多様体上に自然に定義される極限現在の存在を確立すること。

提案手法

• 複素モンジュ・アンペール方程式によって定義される連続法を用いる：$\omega(t) = \omega_0 - t\text{Ric}(\omega(t))$、初期ケーラー計量$\omega_0$を用いる。
• 最大存在時刻$T=1$を分析し、有限時間収縮がファノバンドル$f: X \to Y$（$1 \leq \dim Y \leq n-1$）の存在を示す。
• 底面$Y$上に正の$(1,1)$-現在$\omega_Y$を構成し、$S$を特異点集合および$f$の臨界値とすると、$Y \setminus S$上で$\omega_Y$はケーラー計量である。
• $t \to 1^-$のとき、$X$上での-currentとしての弱収束$\omega(t) \to f^*\omega_Y$を証明し、$Y \setminus S$のコンパクト部分集合上で局所$C^0$-収束を示す。
• 複素モンジュ・アンペール理論からの推定、特に$C^0$-有界性とトレース推定を用いて、ファイバー上の計量の収束を制御する。
• モデル計量$\hat{\omega}(t)$との比較と再パrametrizationを用い、$Y$の正則部分集合のコンパクト部分集合上で$\omega(t)$が$f^*\omega_Y$に$C^0$-収束することを確立する。

実験結果

リサーチクエスチョン

• RQ1 有限時間収縮の場合に、ファノバンドルにおける連続法が底多様体上に自然な極限現在に収束するか？
• RQ2 $\omega(t)$が底面の正則部分集合のコンパクト部分集合上で$C^0$-位相で$f^*\omega_Y$に収束するか？
• RQ3 グロモフ＝ハウスドルフ収束が、$X$に計量$\omega(t)$を備えた場合に、底面$Y$に対して成立する条件は何か？
• RQ4 極限現在$\omega_Y$は、バンドル構造と初期計量$\omega_0$からどのように自然に構成されるか？
• RQ5 $\omega(t)$が$Y$の正則部分集合のコンパクト部分集合上で一様に$f^*\omega_Y$に収束するか？

主な発見

• 連続法は弱収束により、$S$を特異点集合および$f$の臨界値とするとき、底面$Y$上の正の$(1,1)$-現在$\omega_Y$の引き戻しに収束する。$Y \setminus S$では$\omega_Y$はケーラー計量である。
• 任意のコンパクト部分集合$K \subset \subset Y \setminus S$に対して、$t \to 1^-$のとき、$\omega(t) \to f^*\omega_Y$が$C^0(K, \omega_0)$-位相で収束する。
• 底面$Y$が滑らかで$f: X \to Y$が正則写像（すなわち$S = \emptyset$）である場合、収束はグロモフ＝ハウスドルフ位相で成立する。
• 極限現在$\omega_Y$は、バンドル構造と初期計量$\omega_0$から自然に構成され、$\omega_0$の選択に依存しない。
• $\|\omega(t) - f^*\omega_Y\|_{C^0(f^{-1}(K), \omega_0)} \leq G_{10}(t)$を満たす関数$G_{10}(t)$により収束が定量的に評価され、$t \to \infty$のとき$G_{10}(t) \to 0$となる。
• 証明はモデル計量$\hat{\omega}(t)$との比較と、トレースおよび体積比を含む$C^0$-推定に依拠し、$\|\omega(t) - \hat{\omega}(t)\|_{C^0} \leq G_{13}(t)$が成り立ち、$G_{13}(t) \to 0$となる。