[論文レビュー] $F$-stable submodules of top local cohomology modules of Gorenstein rings

Mordechai Katzman|ArXiv.org|Feb 24, 2006

Commutative Algebra and Its Applications参考文献 8被引用数 3

ひとこと要約

本稿は、$F$-有限モジュールとフロベニウス作用を用いて、ゴレンシュタイン環の上位局所コホホロジー・モジュールにおける$F$-安定部分モジュールおよびパラメーターテストイデアルの明示的記述を提供する。正則環内の特定のイデアルと、上位局所コホホロジー・モジュールの$A[T;f]$-部分モジュールとの間の全単射を確立し、フロベニウス安定性条件を満たすイデアルの共通部分集合としてテストイデアルを特徴付ける。

ABSTRACT

This paper applies G. Lyubeznik's notion of $F$-finite modules to describe in a very down-to-earth manner certain annihilator submodules of some top local cohomology modules over Gorenstein rings. As a consequence we obtain an explicit description of the test ideal of Gorenstein rings in terms of ideals in a regular ring.

研究の動機と目的

• ゴレンシュタイン環上での上位局所コホホロジー・モジュール$H^{ ext{dim} A}_{\mathfrak{m}A}(A)$の$F$-安定部分モジュールを$F$-有限モジュール理論を用いて記述すること。
• 完全交差環における結果を$F$-有限モジュールの枠組みを拡張することでゴレンシュタイン環へ一般化すること。
• 正則環$R$内のイデアルを用いたパラメーターテストイデアルの明示的代数的特徴付けを提供すること。
• 上位局所コホホロジー・モジュールの$A[T;f]$-部分モジュールと、フロベニウス安定性条件を満たす$R$内のイデアルとの間の対応関係を確立すること。
• パラメーターテストイデアルが、$K_{\mathbf{u}}$を含み、$\varepsilon(\mathbf{u})I \subseteq I^{[p]}$および$\text{ht}(IA) > 0$を満たすすべての$R$-イデアル$I$の共通部分集合に等しいことを証明すること。

提案手法

• G. ルーベツニクの$F$-有限モジュール理論を用いて、$H^{ ext{dim} A}_{\mathfrak{m}A}(A)$を$A[T;f]$-モジュールとしての構造を分析する。
• $A[T;f]$-部分モジュールと$R$上の$F_R$-有限$F$-モジュールとの関係を確立するために、函手$\mathcal{H}_{R,A}$を適用する。
• $\mathcal{I}(R,\mathbf{u})$を、$K_{\mathbf{u}}$を含み、$\varepsilon(\mathbf{u})I \subseteq I^{[p]}$を満たすイデアル$I \subseteq R$の集合として定義し、完全交差の場合の一般化を図る。
• 局所双対性を用いて、$\mathcal{H}_{R,A}(H^{ ext{dim} A}_{\mathfrak{m}A}(A)) \cong H^{\delta}_{\mathfrak{m}}(R)$（$\delta = \dim R - \dim A$）を同定し、$\varepsilon(\mathbf{u})$を用いた生成射を構成する。
• $T$- torsion-free 条件の下で、$\mathcal{I}(R,\mathbf{u})$内のイデアルと$H^{ ext{dim} A}_{\mathfrak{m}A}(A)$の$A[T;f]$-部分モジュールとの間の全単射を確立する。
• $\operatorname{ann}_H(IA) \cong (0:_{A} A/IA)$の双対性を適用し、テストイデアルを$\text{ht}(IA) > 0$を満たす$I \in \mathcal{I}(R,\mathbf{u})$に対する$IA$の共通部分集合として表現する。

実験結果

リサーチクエスチョン

• RQ1 ゴレンシュタイン環の上位局所コホホロジー・モジュールの$F$-安定部分モジュールは、正則環内のイデアルを用いてどのように記述できるか？
• RQ2 $IA$が$A$における$F$-イデアルであるようなイデアル$I \subseteq R$に必要な正確な条件は何か？
• RQ3 ゴレンシュタイン環のパラメーターテストイデアルは、$F$-有限モジュール構造から生じるイデアルの共通部分集合として特徴付けられるか？
• RQ4 上位局所コホホロジー・モジュール$H^{ ext{dim} A}_{\mathfrak{m}A}(A)$上のフロベニウス作用は、テストイデアルの annihilator とどのように関係するか？
• RQ5 生成射が$F$-有限モジュール$H^{\delta}_{\mathfrak{m}}(R)$の根となる条件は何か？ そして、これはイデアル構造にどのように影響するか？

主な発見

• ゴレンシュタイン環$A = R/\mathbf{u}R$のパラメーターテストイデアルは、$\bigcap \{ I \in \mathcal{I}(R,\mathbf{u}) \mid \text{ht}(IA) > 0 \}$に等しい。ここで$\mathcal{I}(R,\mathbf{u})$は、$K_{\mathbf{u}}$を含み、$\varepsilon(\mathbf{u})I \subseteq I^{[p]}$を満たすイデアル$I$の集合である。
• $\text{ht}(IA) > 0$を満たす$\{ I \in \mathcal{I}(R,\mathbf{u}) \}$内の唯一の最小イデアル$\tau$が存在し、これが$A$のパラメーターテストイデアルに一致する。
• $H^{ ext{dim} A}_{\mathfrak{m}A}(A)$が$T$- torsion-free であるとき、$I \mapsto IA$は$\mathcal{I}(R,\mathbf{u})$と$A$-特異$H^{\text{dim} A}_{\mathfrak{m}A}(A)$-イデアルとの間の全単射を与える。
• $A$が$F$-有理的であるための必要十分条件は、$\mathcal{I}(R,\mathbf{u}) = \{0, R\}$であることであり、これは$F$-有理性の$\mathcal{I}(R,\mathbf{u})$のイデアル集合に基づく基準を提供する。
• 環$A$のテストイデアル$\overline{\tau}$は、$\overline{\tau} = \bigcap \{ IA \mid I \in \mathcal{I}(R,\mathbf{u}), \text{ht}(IA) > 0 \}$を満たし、共通部分集合の公式が裏付けられる。
• $\mathcal{H}_{R,A}(H^{ ext{dim} A}_{\mathfrak{m}A}(A))$の生成射は、$\varepsilon(\mathbf{u})$による乗法として与えられ、その根は$R/K_{\mathbf{u}} \to R/K_{\mathbf{u}}^{[p]}$である。ここで$K_{\mathbf{u}} = \bigcup_e (\mathbf{u}^{p^{e+1}} : \varepsilon(\mathbf{u})^{1+p+\cdots+p^e})$である。