[論文レビュー] THE CONCEPTS OF DEPTH OF A PAIR OF IDEALS (I,J) ON MODULES AND (I,J)-COHEN-MACAULAY MODULES

Moharram Aghapournahr, M. Y. Sadeghi|arXiv (Cornell University)|Jan 6, 2013

Commutative Algebra and Its Applications参考文献 14被引用数 1

ひとこと要約

本稿では、局所コホロジー・モジュールを用いて、加群上の理想の対 (I,J) に対する深さの概念を導入し、古典的な深さおよび Cohen-Macaulay 条件を一般化する。 (I,J)-局所コホロジーの消滅定理を確立し、(I,J)-Cohen-Macaulay モジュールを定義する。これは標準的な Cohen-Macaulay モジュールとは異なり、このようなモジュールに対して Artinian 性質が成り立つことを示す。

ABSTRACT

We introduce a generalization of the notion of depth of an ideal on a module by applying the concept of local cohomology modules with respect to a pair of ideals. Some vanishing theorems are given for this invariant. Vanishing of these kind of local cohomology modules are related to the vanishing of local cohomology modules with respect to an ideal. We show that local cohomology with respect to an arbitrary pair of ideals (I,J) are concerned with the local cohomology with respect to a pair of ideals whose the first ideal is generated by any k-regular sequence in I. We also introduce the concept of (I,J)-Cohen-Macaulay modules as a generalization of the concept of Cohen-Macaulay modules. These kind of modules are different from Cohen-Macaulay modules, as an example shows. Also an artinian result for such modules is given.

研究の動機と目的

• 理想の対 (I,J) に対する深さの概念を導入することで、加群上の古典的深さの概念を一般化すること。
• 理想の対 (I,J) に対する局所コホロジー・モジュールの消滅挙動を調査すること。
• (I,J)-Cohen-Macaulay モジュールを定義し、Cohen-Macaulay モジュールの一般化として研究すること。
• 任意の対 (I,J) に対する局所コホロジーを、I が k-正則列によって生成されるような対に対するものに還元することの関係を明らかにすること。
• (I,J)-Cohen-Macaulay モジュールに対して Artinian 性質を確立すること。

提案手法

• 深さの定義およびその性質の研究に、理想の対 (I,J) に対する局所コホロジー・モジュールを主な道具として用いる。
• k-正則列の理論を応用し、任意の対 (I,J) の研究を、I がこのような列によって生成される場合に還元する。
• 古典的な Cohen-Macaulay 条件を (I,J)-深さを用いて一般化することで、(I,J)-Cohen-Macaulay モジュールの概念を導入する。
• 局所コホロジー・モジュールの消滅定理を用いて、特定のコホモロジー的不変量が消える条件を特徴付ける。
• 理想の対の演算における局所コホロジーの挙動を分析することで、構造的結果を確立する。
• (I,J)-Cohen-Macaulay モジュールを特徴付ける主要な構造的不変量として、Artinian 性質を用いる。

実験結果

リサーチクエスチョン

• RQ1 古典的な理想の対 (I,J) に対する加群の深さの概念を、どのように一般化できるか？
• RQ2 どのような条件下で、理想の対 (I,J) に対する局所コホロジー・モジュールが消えるか？
• RQ3 任意の対 (I,J) に対する局所コホロジーは、I が k-正則列によって生成される場合のものとどのように関係するか？
• RQ4 (I,J)-Cohen-Macaulay モジュールは、標準的な Cohen-Macaulay モジュールとどのような点で異なるか？
• RQ5 (I,J)-Cohen-Macaulay モジュールが満たす Artinian 性質は何か？

主な発見

• 加群の (I,J)-深さは、局所コホロジー・モジュールを用いて定義され、古典的な深さの概念を拡張する。
• (I,J)-局所コホロジー・モジュールの消滅定理が確立され、その消滅が理想対の性質と関連している。
• 任意の対 (I,J) に対する局所コホロジーは、I が I 内の k-正則列によって生成される場合に還元可能である。
• (I,J)-Cohen-Macaulay モジュールの概念は、Cohen-Macaulay モジュールの適切な一般化として導入され、例示によりそれが同値でないことが示されている。
• (I,J)-Cohen-Macaulay モジュールに対して Artinian 性質が証明されており、関連素イデアルに関する有限性または下降鎖条件を示唆する。
• 本研究により、(I,J)-局所コホロジー・モジュールが、単一の理想に対する古典的局所コホロジーと深く関連していることが明らかになった。