[論文レビュー] A General Non-Vanishing Theorem and an Analytic Proof of the Finite Generation of the Canonical Ring

Yum-Tong Siu|ArXiv.org|Oct 25, 2006

Algebraic Geometry and Number Theory参考文献 10被引用数 50

ひとこと要約

本論文は、$L^2$推定、乗数イデアル層、および新しい一般非消滅定理を用いて、一般型のコンpact複素多様体の canonical ring の有限生成性についての解析的証明を提示する。主な貢献は、最小限の正性仮定のもとで正則切断の存在を保証する曲率に基づく非消滅結果であり、安定した消失次数の達成とディオファントス近似技術を用いることで、有限生成性の証明が可能になる。

ABSTRACT

On August 5, 2005 in the American Mathematical Society Summer Institute on Algebraic Geometry in Seattle and later in several conferences I gave lectures on my analytic proof of the finite generation of the canonical ring for the case of general type. After my lectures many people asked me for a copy of the slides which I used for my lectures. Since my slides were quite sketchy because of the time limitation for the lectures, I promised to post later on a preprint server my detailed notes from which my slides were extracted. Here are my detailed notes giving the techniques and the proof.

研究の動機と目的

• コンパクト複素代数的多様体の一般型における canonical ring の有限生成性を確立すること。
• 代数的幾何学的手法に代わる解析的代替手法を提供し、$L^2$推定と乗数イデアル層を用いて有限生成性を証明すること。
• 正曲率カレントの下界が正である状況下で、正則切断の一般非消滅定理を導入し、証明すること。
• 部分多様体次元に関する帰納法を用いて、消失次数の安定的達成にまで還元することで、有限生成問題を解決すること。
• canonical metric の超曲面 Lelong 集合を含む文脈において、曲率正性の役割と厳密正性の限界を明確にすること。

提案手法

• スコーダのイデアル生成技術を用いて、多価 canonical 切断の消失次数を制御する。
• 代数的幾何学的問題を $\mathbb{C}^n$ 上に展開された Stein 領域における $L^2$ 推定に還元し、解析的技法を可能にする。
• 分数多価 canonical 切断の絶対値平方の無限和 $\Phi$ を導入し、有限生成性と安定的消失次数達成を結びつける。
• フジタ予想型の技法を用いて、帰納法の基本ケース（超曲面）を非消滅定理に還元する。
• クロネッカーのディオファントス近似結果を応用して、所望の消失挙動を有する切断を構成する。
• 非消滅定理における曲率正性条件を満たすために、高次消失切断に対するルート取り技法を用いる。

実験結果

リサーチクエスチョン

• RQ1 有限生成性は、代数的幾何学ではなく解析的手法を用いて証明可能か？
• RQ2 どのような曲率条件下で、非消滅定理が乗数イデアル層内の非ゼロ正則切断の存在を保証するか？
• RQ3 一般型条件は、canonical metric の曲率カレントの正性をどの程度示唆するか？
• RQ4 有限和を用いて、多価 canonical 切断の安定的消失次数をどのように正確に達成できるか？
• RQ5 乗数イデアル層のグローバル生成性において、曲率正性仮定の限界は何か？

主な発見

• コンパクト複素多様体 $X$ が一般型であるとき、canonical ring $\bigoplus_{m=1}^{\infty} \Gamma(X, mK_X)$ は有限生成である。
• 任意の曲率カレントの正の下界が存在する場合に非ゼロ正則切断の存在を保証する一般非消滅定理（6.2）が確立された。
• 証明では、部分多様体次元に関する下降的帰納法を用いて、無限和 $\Phi$ の有限部分和が安定的消失次数を達成できることを示した。
• canonical metric $e^{-\varphi} = 1/\Phi$ の曲率カレント $\Theta_\varphi$ は、超曲面 Lelong 集合を持つ可能性があり、任意の正の滑らかな $(1,1)$-形式に支配されない。
• Lelong 集合上の点におけるイデアル層生成と消失次数の関係を矛盾法を用いて検証し、曲率カレントにおける厳密正性の失敗を示した。
• 証明においては、定理の仮定ではなく、証明の過程で高次数の根を取ることで、曲率の強い正性を要求しない方法を採用した。