[論文レビュー] Some results on the local cohomology modules with respect to a pair of ideals

Moharram Aghapournahr, Khadijeh Ahmadi Amoli+1 more|arXiv (Cornell University)|Jan 6, 2013

Commutative Algebra and Its Applications参考文献 13被引用数 4

ひとこと要約

この論文は、2つのイデアルに関してモジュールを研究することにより、局所コホホロジー理論を発展させ、関連付く素点およびコホモロジー・モジュールの有限性と消失に関する結果を証明する。$ abla^i_{I,J}(M) = 0$ がすべての $i < t$ に対して成り立つならば、すべての $ abla \in \tilde{W}(I,J)$ および $i < t$ に対して $ abla^i_{ abla}(M) = 0$ であることが示され、特定の条件下で $ abla^t_{ abla}(M)$ が有限であることが示され、古典的なフィルター正則列に関する結果を一般化する。

ABSTRACT

Some affirmative answers are given to Huneke's problems. The calculation of local cohomology modules with respect to an arbitrary pair of ideals $I,J$ can be reduced to calculation of local cohomology modules with respect to a pair of ideala whose first ideal is generated by any $k$-regular sequence in $I$.

研究の動機と目的

• 2つのイデアルに関する局所コホモロジー・モジュールの有限性と消失に関するフンケの問題に取り組む。
• Serre部分カテゴリへの $\operatorname{Hom}(R/I, \operatorname{H}^i_I(M))$ の属する条件を調査し、関連素点の有限性に与える影響を明らかにする。
• NagelとSchenzelのフィルター正則列に関する結果を、非局所ネーター環へ $k$-正則列を用いて一般化する。
• $M$ と $\operatorname{H}^i_{I,J}(M)$ がすべての $i < t$ に対して有限であるとき、$\operatorname{H}^t_{\mathfrak{a}}(M)$ が有限である条件を確立する。

提案手法

• R-加群の圏とセール部分カテゴリを用いて、$\mathfrak{a} \in \tilde{W}(I,J)$ に対して $\operatorname{Hom}(R/\mathfrak{a}, \operatorname{H}^t_{I,J}(M))$ の構造を分析する。
• 入射モジュールを保存し、 annihilator 条件を満たす左完全函手 $\operatorname{G}$ を適用し、$\operatorname{Ext}$ および $\operatorname{Hom}$ 函手を含む完全系列を導出する。
• $k$-正則 $M$-系列および集合 $\operatorname{W}(I,J)$ の概念を用いて、局所コホモロジー・モジュール $\operatorname{H}^i_{I,J}(M)$ と $\operatorname{H}^i_{\mathfrak{a},J}(M)$ を比較する。
• 最小入射分解とバース数を用いて、函手 $\Gamma_{I,J}$ と $\Gamma_{\mathfrak{a},J}$ が入射モジュール上で与える像を比較する。
• $\mathfrak{a} \subseteq \sqrt{(0:\operatorname{H}^t_{I,J}(M))}$ の条件を適用し、$\operatorname{H}^t_{\mathfrak{a}}(M)$ の有限性を導出する。
• $\tilde{W}(I,J)$ の性質、すなわち $\operatorname{W}(I,J) \subseteq \operatorname{W}(\mathfrak{a},J)$ を満たすイデアル $\mathfrak{a}$ の集合を用いて、異なるイデアルに関するコホモロジーを関連付ける。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で $\operatorname{Hom}(R/I, \operatorname{H}^i_I(M))$ が与えられたセール部分カテゴリに属し、それが $\operatorname{Ass}(\operatorname{H}^i_I(M))$ の有限性にどのように影響するか？
• RQ2 $\operatorname{H}^i_{I,J}(M) = 0$ がすべての $i < t$ に対して成り立つならば、すべての $\mathfrak{a} \in \tilde{W}(I,J)$ および $i < t$ に対して $\operatorname{H}^i_{\mathfrak{a}}(M) = 0$ が成り立つか？
• RQ3 $M$ と $\operatorname{H}^i_{I,J}(M)$ がすべての $i < t$ に対して有限であり、$\mathfrak{a} \subseteq \sqrt{(0:\operatorname{H}^t_{I,J}(M))}$ であるとき、$\operatorname{H}^t_{\mathfrak{a}}(M)$ の有限性をどのように導出できるか？
• RQ4 NagelとSchenzelのフィルター正則列に関する結果は、局所環を超えてどの程度一般化可能か？

主な発見

• $\operatorname{H}^i_{I,J}(M) = 0$ がすべての $i < t$ に対して成り立つならば、すべての $\mathfrak{a} \in \tilde{W}(I,J)$ およびすべての $i < t$ に対して $\operatorname{H}^i_{\mathfrak{a}}(M) = 0$ である。これは定理 3.4 で示された。
• $\mathfrak{a} \in \tilde{W}(I,J)$ で $\mathfrak{a} \subseteq \sqrt{(0:\operatorname{H}^t_{I,J}(M))}$ を満たす任意のイデアルに対して、$\operatorname{H}^t_{\mathfrak{a}}(M)$ は有限である。これは補題 3.7 で確立された。
• $M$ と $\operatorname{H}^i_{I,J}(M)$ がすべての $i < t$ に対して有限であるとき、$\mathfrak{a} \subseteq \sqrt{(0:\operatorname{H}^t_{I,J}(M))}$ ならば $\operatorname{H}^t_{\mathfrak{a}}(M)$ は有限である。これは補題 3.13 で証明された。
• $a_1, \dots, a_n$ が $I$ 内の $k$-正則 $M$-系列であり、$\big{(}(\operatorname{Supp}(M) \cap \operatorname{W}(\mathfrak{a},J)) \setminus \operatorname{W}(I,J)\big{)}_{\leq k} = \emptyset$ であるとき、すべての $i < n$ に対して局所コホモロジー・モジュール $\operatorname{H}^i_{I,J}(M)$ と $\operatorname{H}^i_{\mathfrak{a},J}(M)$ は同型である。これは定理 3.14 で述べられている。
• $\mathfrak{a} \subseteq \sqrt{(0:\operatorname{H}^t_{I,J}(M))}$ であり、すべての $n$ に対して $\mathfrak{a}^n \operatorname{H}^t_{I,J}(M)$ が非有限であるという条件下で、$\operatorname{H}^t_{I,J}(M)$ の有限性が導かれる。これは補題 3.12 で示された。
• ある任意のセールクラス $\mathcal{S}$ に対して、$\operatorname{Hom}(R/\mathfrak{a}, \operatorname{H}^t_{I,J}(M))$ が $\mathcal{S}$ に属することは、特定の $\operatorname{Ext}$-消失条件のもとで保証される。これは命題 2.1 で形式化された。