[論文レビュー] Divisorial algebras and modules on schemes

Caucher Birkar|arXiv (Cornell University)|May 2, 2011

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

ひとこと要約

本稿は、代数幾何における有限生成性を研究するための枠組みとして、除因子的代数および除因子的加群を導入する。特に、最小モデルプログラムの文脈において、対数正則代数および加群の有限生成性が、最小モデル仮説および豊富性仮説と同値であることを確立し、部分スキームへの制限および乗数イデアル技法を用いた帰納的技法を提示する。

ABSTRACT

We study certain modules over the algebra of a Cartier divisor on a scheme. Using these modules, we present an inductive method for studying finite generation properties of algebras and modules. In the context of the minimal model program, we show that finite generation of log canonical algebras and modules is equivalent to the minimal model and abundance conjectures.

研究の動機と目的

• スキーム上の除因子的構成を用いて、代数および加群の有限生成性を一般に研究する枠組みを構築すること。
• 部分スキームへの制限および両立する層条件を用いた、有限生成性の帰納的証明法を確立すること。
• 最小モデルプログラムの文脈において、対数正則代数および加群の有限生成性が、最小モデル仮説および豊富性仮説と同値であることを示すこと。

提案手法

• Noether環上に有限型である射影的スキーム $ X $ およびその上のカルティエ除因子 $ L $ に対して、除因子的代数 $ R(L) = \bigoplus_{m \geq 0} H^0(X, mL) $ および除因子的加群 $ M_{\mathscr{F}}^p(L) = \bigoplus_{m \geq p} H^0(X, \mathscr{F}(mL)) $ を定義する。
• graded $ R(L) $-加群の構造を用いて、$ M_{\mathscr{F}}^p(L) $ の有限生成性を、十分大きな $ l $ に対して $ M_{\mathscr{O}_X(l)}^p(L) $ の有限生成性に還元する。この際、反射的またはねじれ自由性の仮定を用いる。
• 部分スキーム $ S = L_j $ への制限定理を適用し、$ R(L)|_S $ および $ M^0_{\mathscr{O}_X(l)}(L)|_S $ の有限生成性が、元の代数および加群の有限生成性を示すことを示す。
• 乗数イデアル層およびNadelの消失定理を用いて、基底の位置を制御し、吹き上げにおける非自明な切断の存在を保証することで、線形系統に対する帰納的制御を可能にする。
• 重要な同値関係を確立する：$ R(L) $ が有限生成であり、かつ $ M_G^0(L) $ が $ R(L) $ 上で有限生成であることは、$ (X/Z,B) $ が $ K_Y + B_Y $ が半正則であるような対数最小モデルを持つことに同値である。
• 有限被覆の場合のトレース写像の分解およびイデアルの対応関係を用いて、$ R(X/Z, f^*L) $ の有限生成性が $ R(Y/Z, L) $ の有限生成性を示すことを証明する。

実験結果

リサーチクエスチョン

• RQ1 Noether環 $ A $ 上で、除因子的代数 $ R(L) $ がいつ有限生成になるか。
• RQ2 帰納的技法を用いて、除因子的加群 $ M_{\mathscr{F}}^p(L) $ の有限生成性を、より単純な加群の有限生成性にどのように還元できるか。
• RQ3 対数正則代数の有限生成性と最小モデルおよび豊富性仮説との正確な関係は何か。
• RQ4 部分スキーム $ L_j $ への制限が、除因子的代数および加群の有限生成性の基準として用いられるか。
• RQ5 トレース写像および乗数イデアル技法は、特異性を伴う状況下で、基底の位置をどのように制御し、有限生成性を証明するのを助けるか。

主な発見

• 非常にアンビエントな除因子 $ G $ に対して、$ R(L) $ および $ M_G^0(L) $ の有限生成性は、$ L = I(K_X + B) $ がカルティエかつ擬正則であるという仮定の下で、$ Y/Z $ 上で $ K_Y + B_Y $ が半正則であるような対数最小モデルの存在と同値である。
• もし $ R(L) $ が有限生成であり、すべての十分大きな $ l $ に対して $ M_{\mathscr{O}_X(l)}^p(L) $ が有限生成であれば、任意の反射的な両立層 $ \mathscr{F} $ に対して $ M_{\mathscr{F}}^p(L) $ は有限生成であり、整関数のスキーム上のねじれ自由層へと拡張可能である。
• $ R(L) $ および $ M_{\mathscr{F}}^p(L) $ の有限生成性は、各成分 $ S = L_j $ における制限 $ R(L)|_S $ および $ M^0_{\mathscr{O}_X(l)}(L)|_S $ の有限生成性と同値である。ただし $ H^0(X, -L_1) = 0 $ を仮定する。
• 有限被覆 $ f: X \to Y $ の場合、トレース写像の分解およびイデアルの対応関係を用いて、$ R(X/Z, f^*L) $ の有限生成性が $ R(Y/Z, L) $ の有限生成性を示す。
• 乗数イデアルおよびNadelの消失定理の使用により、線形系統の基底点を制御でき、特定の除因子の台に属さない点が基底の位置から避けられることが保証される。
• この枠組みは、MMPの完全な道具立てに依存せずに、対数正則環の有限生成性を示すための新しい帰納的アプローチを提供する可能性があり、最小モデルプログラムに対する代替的証明をもたらす可能性を秘めている。