[論文レビュー] On the abundance theorem in the case $ u=0$

Yūjirō Kawamata|arXiv (Cornell University)|Feb 13, 2010

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

ひとこと要約

本稿では、数値ザリスキ分解とシンプソンの局所系のモジュライに関する有限性定理を用いて、数値カラーファー次元がゼロである多様体における豊富性定理の簡潔な証明を提示する。この結果は、対数正則なペアおよび単純正則交叉分岐除集合へと拡張され、m(KX + D) + A の大域的切断の次元が有界であれば、ある m に対して H⁰(X, m(KX + D)) ≠ 0 であることを示している。

ABSTRACT

We present a short proof of the abundance theorem in the case of numerical Kodaira dimension 0 proved by Nakayama and its log generalizaton.

研究の動機と目的

• 数値カラーファー次元 ν(X) = 0 を持つ滑らかで射影的な多様体に対して、中村の豊富性定理の簡略化された証明を提供すること。
• 結果を対数正則ペアおよび単純正則交叉境界除集合へ一般化すること。
• 有界なコホモロジー成長のもとで m(KX + D) の非自明な大域的切断の存在を確立すること。
• 数値ザリスキ分解とシンプソンの局所系のモジュライに関する有限性定理を用いて、問題を torsion 線束へと還元すること。

提案手法

• N(D) を数値的固定部分、P(D) を可動部分とする数値ザリスキ分解 D = P(D) + N(D) を適用する。
• 擬効果的性と D + εA に数値的に同値な有効 R-因子の存在との同値性を用いる。
• ランク1の局所系のベッチコホモロジーのジャンピング・ロケイスに関するシンプソンの有限性結果を活用し、Picτ(X) の torsion を検出する。
• m 次の根を用いたセクションの有限被覆 π: Y' → X を構成し、滑らかな多様体上の大域的生成条件へ問題を還元する。
• シンプソンの同型を介してベッチ、デ・ラーム、ドルベールコホモロジーを関連付ける対数デ・ラーム複体上の標準的スペクトル系列を用いる。
• Nadel の消去定理と乗数イデアル層を用いて、曲線への制限写像の上への性質を保証し、切断の非消滅を証明する。

実験結果

リサーチクエスチョン

• RQ1 数値的手法と有限性結果を用いて、ν = 0 における豊富性定理をより簡潔に証明できるか？
• RQ2 dim H⁰(X, m(KX + D) + A) が有界であれば、ある m に対して H⁰(X, m(KX + D)) ≠ 0 が成り立つか？
• RQ3 非対数的結果は、単純正則交叉境界を持つ対数正則ペアへ一般化可能か？
• RQ4 平坦線束のモジュライ空間は、正則バンドルの Picτ(X) における torsion を検出する上でどのような役割を果たすか？
• RQ5 対数デ・ラーム複体上のスペクトル系列は、非消滅コホモロジーをもつ torsion 線束の存在を示すためにどのように寄与するか？

主な発見

• 滑らかで射影的な多様体 X に対して ν(X) = 0 であり、すべての m と固定されたアンピール A に対して dim H⁰(X, mKX + A) が有界であれば、ある m に対して H⁰(X, mKX) ≠ 0 である。
• 証明では数値ザリスキ分解を用いて可動部分 P(D) を分離し、N(D) = 0 かつ D ≢ 0 であれば、dim H⁰(X, ⌞mD⌟ + A) が線形に増加することを示している。
• 単純正則交叉分岐除集合 D に対して対数一般化が成り立つ：dim H⁰(X, m(KX + D) + A) が有界であれば、ある m に対して H⁰(X, m(KX + D)) ≠ 0 である。
• 鍵となるステップは、有限被覆 π: Y' → X の構成と、E[p] 上のスペクトル系列を用いたコホモロジー群の関係の確立であり、シンプソンの有限性定理を適用する。
• H⁰(X, m(KX + D)) の非ゼロ切断の存在は、H⁰(Y, L′ ⊗ OY(KY + E)) ≠ 0 を満たす Picτ(X) に属する torsion 線束 L′ の存在に還元される。
• 結果は、H⁰(X, m(KX + B + L)) ≠ 0 である対数正則ペア (X, B) に対しても拡張可能である：このとき、ある m′ に対して H⁰(X, m′(KX + B)) ≠ 0 であることが、コホモロジーの押し出しの精密な公式を用いて示される。