[論文レビュー] Test ideals via algebras of $p^{-e}$-linear maps

Manuel Blickle|arXiv (Cornell University)|Dec 11, 2009

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

ひとこと要約

本稿は、$p^{-e}$-線形写像の代数を用いて、テストイデアルの統一的枠組みを導入し、$F$-純粋モジュラス—これらの作用素の作用に関して安定なモジュラス—が有限長を持つことを確立する。この構造的結果により、非還元的環を含む広範な一般性においてテストモジュラスの存在が保証され、$F$-有限体上のアフィン$k$-代数におけるジャンピング数の離散性の初等的証明が得られる。

ABSTRACT

Continuing ideas of a recent preprint of Schwede arXiv:0906.4313 we study test ideals by viewing them as minimal objects in a certain class of $F$-pure modules over algebras of p^{-e}-linear operators. This shift in the viewpoint leads to a simplified and generalized treatment, also allowing us to define test ideals in non-reduced settings. In combining this with an observation of Anderson on the contracting property of p^{-e}-linear operators we obtain an elementary approach to test ideals in the case of affine k-algebras, where k is an F-finite field. It also yields a short and completely elementary proof of the discreteness of their jumping numbers extending most cases where the discreteness of jumping numbers was shown in arXiv:0906.4679.

研究の動機と目的

• $p^{-e}$-線形作用素を用いて、還元的環や$\mathbb{Q}$-ゴレンシュタイン設定を超えたテストイデアル理論を一般化すること。
• $F$-純粋モジュラスの圏における最小の$\mathcal{C}$-部分モジュラスとしてのテストモジュラスの存在を確立すること。
• $F$-有限体上のアフィン$k$-代数におけるテストイデアルのジャンピング数の離散性の初等的証明を提供すること。
• $p^{-e}$-線形写像とカルテイユ代数の役割を強調することで、既存のアプローチを統一・簡略化すること。
• 一般のネーター的$F$-有限環上の$\mathcal{C}$-モジュラスの設定に、$F$-正則性および$F$-純粋性の概念を拡張し、特に関連する乗数イデアルとの関係を探索すること。

提案手法

• $\mathcal{C}_+$ を $R$-カルテイユ代数 $\mathcal{C}$ の正次数部とするとき、$F$-純粋$\mathcal{C}$-モジュラスを、$N \subseteq M$ が $\mathcal{C}_+N = N$ を満たす部分モジュラスとして定義する。
• $p^{-e}$-線形写像およびその代数の理論を用いて、$M$ と一般に等しくなる最小の$\mathcal{C}$-部分モジュラスとしてテストモジュラスを構成する。
• $F$-純粋モジュラスの有限長性を活用し、$M \subseteq R$、$\mathcal{C}$ が単項生成、または $R$ が$F$-有限体上有限型のときなど、重要な場合においてテストモジュラスの存在を保証する。
• アンドリューズの観察（$p^{-e}$-線形作用素の収縮性）を応用し、ジャンピング数の離散性の初等的証明を導出する。
• 任意のネーター的$F$-有限環上の$\mathcal{C}$-モジュラスの設定に、$F$-正則性および$F$-純粋性の概念を一般化する。
• $F$-純粋モジュラスの有限長性を活用し、単純な$F$-純粋モジュラス $M$ および $N$ に対して $\operatorname{Hom}_{\mathcal{C}}(M,N)$ の構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 $F$-有限ネーター環 $R$ 上の有限生成$\mathcal{C}$-モジュラス $M$ に対して、テストモジュラス $\tau(M,\mathcal{C})$ が存在する条件は何か？
• RQ2 $M$ の$F$-純粋$\mathcal{C}$-部分モジュラスの圏はネーター的か？ 一般に有限長条件を満たすか？
• RQ3 $F$-有限体上のアフィン$k$-代数において、$p^{-e}$-線形写像を用いて、テストイデアルのジャンピング数の離散性を初等的に証明できるか？
• RQ4 有界な指数 $t_i$ に対して、異なるテストイデアル $\tau(M,\mathcal{C},\mathfrak{a}^{t_1} \cdots \mathfrak{a}^{t_m})$ は有限個しか存在しないか？
• RQ5 $F$-純粋$\mathcal{C}$-モジュラスの特徴零体における類似対応は何か？特に乗数イデアルおよび最大の非$F$-純粋イデアルとの関係において。

主な発見

• 有限生成$\mathcal{C}$-モジュラス $M$ の$F$-純粋$\mathcal{C}$-部分モジュラスの圏が有限長を持つのは、$M$ のすべての$\mathcal{C}$-部分モジュラス $N$ に対してテストモジュラス $\tau(N,\mathcal{C})$ が存在するとき、かつそのときに限る。
• $M \subseteq R$、$\mathcal{C}$ が単項生成、または $R$ が$F$-有限体上有限型のとき、テストモジュラス $\tau(M,\mathcal{C})$ が存在する。
• $F$-純粋モジュラスの有限長性により、それらの部分モジュラスの無限鎖が存在しないことが保証され、理論の構造的基盤が得られる。
• $F$-有限体上のアフィン$k$-代数において、テストイデアルのジャンピング数の離散性の初等的証明が得られ、$\mathbb{Q}$-ゴレンシュタインの場合を超えて拡張される。
• 理論は非還元的環へ一般化され、従来の定義が失敗する状況においても、テストイデアルの候補が得られる。
• この枠組みにより、乗数イデアルへの還元モジュロ$p$を介した関係を含め、テストイデアルの簡略的かつ統一的取り扱いが可能になる。