[論文レビュー] On Eckl's pseudo-effective reduction map

Brian Lehmann|arXiv (Cornell University)|Mar 5, 2011

Algebraic Geometry and Number Theory参考文献 12被引用数 4

ひとこと要約

本稿は、複素射影多様体上の擬効 divisor に対して、代数的手法を用いて、L-自明および擬効的還元写像を構築し、修正する。主な貢献は、擬効的還元写像がイタカの線形系統の数値的コアを捉え、豊富な divisor に対しての消去定理を可能にし、それにより、大きな divisor に対する結果を一般化することにある。

ABSTRACT

Suppose that X is a complex projective variety and L is a pseudo-effective divisor. A numerical reduction map is a quotient of X by all subvarieties along which L is numerically trivial. We construct two variants: the L-trivial reduction map and the pseudo-effective reduction map of [Eckl05]. We show that these maps capture interesting geometric properties of L and use them to analyze abundant divisors.

研究の動機と目的

• 還元写像を用いた、擬効的 divisor の幾何的性質を理解するための、被約型および数値的枠組みを構築すること。
• 解析的手法ではなく代数的手法を用いて、エックルの擬効的還元写像を修正し、再導出すること。
• 被約型 divisor の場合に、擬効的還元写像がイタカの線形系統の数値的部分を特定することを示すこと。
• 有効 divisor の台と負の基本被覆の相対的構造を関連させることで、豊富な divisor に対して消去定理を確立すること。
• 数値次元および制限数値次元を用いて、L-自明および擬効的還元写像を定義し、特徴づけること。

提案手法

• L が数値的に自明となる部分多様体で X を商することにより、L-自明還元写像を構築し、一般のファイバー上で L の数値次元が 0 になるように保証する。
• 正の部分 Pσ(L) を用いて擬効的還元写像を定義し、写像の一般ファイバー F に対して Pσ(L)|F ≡ 0 となるように保証する。
• 被約型モデル φ: Y → X および射影 π: Y → Z を用い、L の数値類にのみ依存する、被約型同値性の下での写像の定義を行う。
• 制限数値次元 νX|C(L) を用いて、擬効的還元写像によって収縮される曲線を特徴づける。
• 除法的サジティ分解および制限基本被覆の理論を用い、L の幾何的性質と還元写像の構造を関連付ける。
• 定理 6.6（コラールの単射性）を適用し、D の台が負の基本被覆に対して相対的に満たす仮定の下で、コhomology の単射性を証明する。

実験結果

リサーチクエスチョン

• RQ1 エックルの元々の解析的証明におけるギャップを補うために、どのようにして擬効的還元写像を代数的に構築できるか？
• RQ2 擬効的還元写像は、特にイタカの線形系統との関係において、divisor の数値的性質をどのように反映するか？
• RQ3 有効 divisor D が |mL| の乗数イデアルでねじれたコhomology 群の写像を単射にするための条件は何か？
• RQ4 L-自明還元写像は、ファイバー上の L の数値次元とどのように関係するか？
• RQ5 還元写像の理論を豊富な divisor に拡張することで、大きな divisor に対して成り立つ消去定理に類似した結果を得られるか？

主な発見

• L-自明還元写像は、L|V ≡ 0 となる部分多様体 V で X を被約型に商することにより存在し、一般のファイバー F に対して ν(φ*L|F) = 0 を満たす。
• 擬効的還元写像は、一般ファイバー F に対して Pσ(φ*L)|F ≡ 0 となる最大の商写像であり、κ(L) ≥ 0 のときイタカの線形系統を因数分解する。
• 擬効的還元写像は被約型写像および除法的サジティ分解と整合的であり、νX|C(L) = 0 を満たす曲線 C によって決定される。
• 豊富な divisor の場合、ある T 上の大きな D に対して R(T, mD) ≅ R(X, mL となるような、擬効的還元写像と被約型同値な射影 g: W → T が存在する。
• Iitaka 線形系統において Supp(D) が Z を支配しないという条件下で、i > 0 のとき、H^i(X, O(K_X + L) ⊗ J(‖L‖)) → H^i(X, O(K_X + L + D) ⊗ J(‖L‖)) は単射である。
• 証明は、φ*D が g-水平成分を含まないことを示すことに依存しており、これは Supp(D) ∩ B_−(L) が Z を支配しないという仮定から導かれる。