[論文レビュー] The Bloch Principle

Michael McQuillan|arXiv (Cornell University)|Sep 24, 2012

Algebraic Geometry and Number Theory参考文献 1被引用数 3

ひとこと要約

本稿は、特異点集合と境界成分を含む一般型の概射的表面に対して、Bloch原理の最適版を確立する。具体的には、真のZariski閉部分集合 $ Z $（例外的集合）に任意に近づかない holomorphic disc の列が、Gromov のバブル収束の意味で極限円板（バブルを伴う）に収束することを証明する。主な貢献は、Brodyの補題の精密化版とDuvalのAhlfors現在の技法を用いて、『infinito』性質から『in finito』性質への直接的証明を可能にしたことである。これにより、元来のBloch-Cartan定理の適用範囲を超えて、$ s_2 > 0 $ を満たす一般型表面に対してもBloch原理が成立することが示された。

ABSTRACT

We formulate and prove an optimal version for quasi-projective surfaces of A. Bloch's dictum, "Nihil est in infinito quod prius non fuerit in finito" by way of a complement to a theorem of J. Duval.

研究の動機と目的

• 概射的表面に対するBloch原理の最適版を定式化・証明すること。これは、$ \mathbb{P}^2 \setminus \{4\text{ 條線}\} $ の場合を越えて、古典的Bloch-Cartan定理を一般化することを目的とする。
• 『in finito』性質（例外的集合 $ Z $ に近づかないdisc列のGromov意味での一様収束）が、間接的なODEに基づく帰納的技法に依存せず、『infinito』性質の直接的帰結として得られることを確立すること。
• 先行研究における方法論的欠陥を是正するため、Duvalが精錬したBrodyの補題を用い、discの崩壊がコンパクト集合上でのAhlfors現在の質量と関連することを示すこと。
• 一般型表面で $ s_2 = c_1^2 - c_2 > 0 $ である場合、例外的集合 $ Z $ が非空であり、かつバブル収束が『in finito』条件の必要十分条件であることを示すこと。

提案手法

• Julien Duvalが開発したBrodyの補題の強化版を用い、holomorphic disc の長さと面積の比が、コンパクト集合を切断する有界曲線を有する整関数の存在と関連することを示す。
• Ahlfors現在の理論を応用し、例外的集合が存在する状況下で、holomorphic disc の列の極限挙動を解析する。一様収束の代わりにGromovバブル収束を用いる。
• $ \mathrm{c}_1(\overline{K_X + D}) $ のメトリシズド付加公式を用い、対数的メトリクスとKähler-Einsteinモデルを用いて特異点および境界成分を調整する。
• $ X \setminus \tilde{B} $ の完全なメトリクス上でのNevanlinna積分推定値を、Kähler形式 $ \omega_{X \setminus \tilde{B}} $ と比較し、Kobayashiメトリクスの崩壊を制御する。
• $ (X,D) \to (S_0,B_0) \to (S,B) $ の因子分解を用い、問題を canonical model に還元する。ここで $ K_S + B $ は豊富であるため、メトリクスの比較が可能になる。
• $ S \setminus \{B \cup P\} $ 上でのKobayashiメトリクスの引き戻しに対して、対数的特異点と有界関数を用いた下界を確立し、モデルメトリクスと制御された崩壊の程度で同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 例外的集合 $ Z $ が非空である概射的表面に対し、Bloch原理はBloch-Cartan定理の範囲を超えて拡張可能か？ その条件は何か？
• RQ2 一般型表面において、『in finito』性質（$ Z $ に近づかないdisc列の収束）は、『infinito』性質（$ Z $ を通る因子分解）と同値か？
• RQ3 holomorphic disc の列の収束を一様収束ではなくGromovバブル収束で特徴づけられ、かつBloch原理の安定な枠組みを提供できるか？
• RQ4 DuvalのAhlfors現在の技法により、ODE近似技法に依存せず、Bloch原理の直接的証明が可能か？
• RQ5 例外的集合 $ Z $ および境界成分付近でのKobayashiメトリクスの正確な漸近的挙動は何か？ また、canonicalメトリクスとどのように関係するか？

主な発見

• 一般型の概射的表面で $ s_2 > 0 $ である場合、すべての表面に対してBloch原理が成立し、例外的集合 $ Z $ は特異点の正則化像およびcanonical model の例外的局所集合である。
• 『in finito』性質はGromovバブル収束によって確立される： $ Z \cup B $ に任意に近づかない holomorphic disc の列 $ f_n: \Delta \to X \setminus B $ は、部分列として極限円板（バブルを伴う）に収束する。
• canonical model $ (S,B) $ 上でのKobayashiメトリクスは、定数倍のKähler-Einsteinメトリクスで上から有界であり、下界は $ |\log |\log |\zeta||^{-2} $、$ |\log |p^*B_0|| $、$ |\log |\zeta|| $ を含む特異モデルと有界関数の差を除いて同値である。
• ODEに基づく帰納的技法を避け、DuvalのAhlfors現在の技法により、現在の質量がバブル付き整関数の存在と関連することを示し、『infinito』から『in finito』への直接的道筋を提供した。
• $ \mathrm{c}_1(\overline{L}) $ が代数的でない場合でも、対数的メトリクスによる制御された崩壊のおかげで、$ \omega_{X \setminus \tilde{B}} $ の引き戻しのNevanlinna面積は、$ X \setminus D $ のメトリクスのそれと比較可能である。
• $ \mathrm{c}_1(\overline{K_X + \partial}) $ の付加公式は有界関数 $ \psi $ を用いて調整され、結果として得られる曲率形式は $ dd^c(\log \log^2 |\zeta| - \log \log^2 |\tilde{B}| + \psi) $ と表され、主不等式に必要な正則性を保証する。