[論文レビュー] Additional Explanatory Notes on the Analytic Proof of the Finite Generation of the Canonical Ring

Yum-Tong Siu|ArXiv.org|Apr 16, 2007

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

ひとこと要約

この論文は、コンパクトな複素代数的多様体の canonical リングの有限生成性について、Yum-Tong Siu の解析的証明に関する詳細な解説を提供する。canonical 線束の曲率ベクトルの修正制限を導入し、曲率ベクトルの二分法的性質の第二のケースを用いて、安定した消失位数を達成するセクションを明示的に構成する。最終的に、対数正則特異点の制約付き最小中心の技法を用いて有限生成性を証明する。

ABSTRACT

This set of notes provides some additional explanatory material on the analytic proof of the finite generation of the canonical ring for a compact complex algebraic manifold of general type.

研究の動機と目的

• コンパクトな複素代数的多様体の canonical リングの有限生成性の解析的証明を明確化すること。
• Mihai Paun や他の者たちが提起した、曲率ベクトルの二分法的性質が証明において果たす役割に関する疑問を解消すること。
• 乗数イデアル層を用いて、codimension 1 およびそれ以上の次元において、安定した消失位数を達成するセクションの明示的構成を提供すること。
• パrameter の選択に依存しない一様な有限集合 $ Z $ が曲線上で特異な振る舞いが発生する点に存在することを確立すること。

提案手法

• この手法は、canonical 線束 $ K_X $ の曲率ベクトルの修正制限 $ \Theta_V $ を用いる。これは、入れ子になった部分多様体 $ V_k \subset \cdots \subset V_0 = X $ を通じて帰納的に定義される。
• 一般非消滅定理を適用し、canonical 分解 $ \Theta_V = \sum \gamma_j [Y_j] + R $ の二つのケースを区別する。ここで $ R $ は、可算個の codimension 2 の部分多様体の合併以外では Lelong 数がゼロである。
• 第二のケース—$ J < \infty $ かつ $ R = 0 $—は、最終的に発生することが示され、これにより $ \Theta_V $ に関連する乗数イデアル層に、明示的に構成されたセクションが得られる。このセクションは定数倍を除き一意的である。
• 高次元の場合、部分多様体から元の多様体 $ X $ に戻すために、対数正則特異点の制約付き最小中心の技法を用いる。
• 低次元の場合（表面および3次元多様体）、安定基底集合に含まれる曲線 $ C $ を分析することで議論を図る。多 canonical セクション $ s_j $ を用いて表面 $ S_\sigma $ を定義し、消失位数を追跡する。
• Lemma 2 を用いて、$ \sum |f_j|^2 $ と $ |z_j|^2 $ のべき乗との比の連続性および有界性に依拠し、任意の $ \sigma $ に対して $ Z_{\sigma} \subset Z $ を満たす一様な有限集合 $ Z \subset C $ の存在を確立する。

実験結果

リサーチクエスチョン

• RQ1 曲率ベクトルの二分法的性質の第二のケースは、codimension 1 において、どのようにして安定した消失位数を達成する明示的セクションを構成するか？
• RQ2 基底集合の次元を段階的に低下させる帰納的プロセスにおいて、なぜ二分法的性質の第二のケースが最終的に発生しなければならないのか？
• RQ3 第二のケースで構成されたセクションは、どのようにして対数正則特異点の制約付き最小中心を用いて元の多様体 $ X $ に戻すことができるか？
• RQ4 なぜ、任意の $ \sigma $ に対して「悪い集合」$ Z_\sigma $ が、パrameter に依存しない一様な有限集合 $ Z \subset C $ に含まれるという幾何的根拠が存在するのか？
• RQ5 曲線 $ C $ 上の制限されたカレント $ \hat{\Theta} $ の Lelong 数 $ \lambda $ は、多 canonical セクションによって生成されるイデアルの重複度とどのように関係しているか？

主な発見

• 任意の正次元部分多様体 $ V $ に対して、曲率ベクトルの二分法的性質の第二のケース（$ J < \infty $、$ R = 0 $）は、最終的に発生しなければならない。これにより、$ \Theta_V $ に関連する乗数イデアル層に、明示的に構成されたセクションが存在することが保証される。
• このセクションは非ゼロ定数倍を除き一意的であり、$ V $ 上で安定した消失位数を達成する。これにより、基底集合に対する帰納的制御が可能になる。
• 3次元多様体内の曲線 $ C $ に対して、多 canonical セクション $ s $ を表面 $ S_\sigma $ に制限し、安定消失位数 $ \alpha_\sigma $ を除いた後、$ C $ 上のセクションを得る。このセクションは、すべての点を除き、有限個の点を除いて $ \alpha_\sigma $ の制限を達成する。
• 任意の $ \sigma $ に対して、異常な消失を示す点の集合 $ Z_\sigma $ が、有限集合 $ Z \subset C $ に含まれるような一様な有限集合 $ Z $ が存在する。これは、$ \sum |f_j|^2 / (|z_1|^2 + |z_2|^2)^{\gamma} $ の連続性および有界性に関する Lemma 2 に依拠して証明される。
• 曲線 $ C_0 $ の正規化上でカレント $ \hat{\Theta} $ の Lelong 数 $ \lambda $ は、$ f_j $ によって生成されるイデアルの重複度に等しく、また、$ \sum |f_j|^2 / (|z_1|^2 + |z_2|^2)^\eta $ が原点近傍で有界であるような指数 $ \eta $ とも等しい。
• このような一様な $ Z $ の存在は、$ s_j $ と $ s_j + \sigma_j s_j $ から得られる二つの Artinian な部分スキームの、$ C $ に沿った法方向での相対的位置関係が、有限個の点を除いてはジャンプしないことから導かれる。これらの点はすべて $ Z $ に含まれる。