[論文レビュー] Local Cohomology and Matlis duality

Michael Hellus|ArXiv.org|Mar 5, 2007

Commutative Algebra and Its Applications参考文献 16被引用数 34

ひとこと要約

本稿は、局所コホロジー加群のMatlis双対の構造を調査し、特に関連素イデアルとそれらが集合的完全交差を決定する役割に焦点を当てる。高次局所コホロジーの消滅とMatlis双対加群上での正則列の正則性が、イデアルが集合的完全交差であることを特徴づけることを確立し、$ D(\mathfrak{m} H^h_I(R)) $ を通じた重要な基準を提示するとともに、関連素イデアルに関する中心的予想を支持する。

ABSTRACT

Matlis duals of local cohomology modules are investigated with respect to many different topics (see section 0 - Introduction). One of these topics are complete intersections - see Corollary 1.1.4.

研究の動機と目的

• 局所コホロジー加群のMatlis双対 $ D(\rm H^h_I(R)) $ の関連素イデアルの構造を、イデアル論的性質と関連付けて理解すること。
• 局所コホロジーの消滅が不十分な場合を含め、イデアル $ I $ が集合的完全交差である条件を調査すること。
• Matlis双対加群と正則列を用いた基準を提示し、集合的完全交差を検出すること。
• 局所コホロジーの非消滅を用いた $ \mathrm{Ass}_R(D(\rm H^h_I(R))) $ の正確な特徴づけを提示する予想 (*) を支持し、探求すること。
• 有界な補題を持つ加群の圏への随伴函手による関手の応用を通じ、モジュールのCohen-Macaulay化を一般化し、道具を構築すること。

提案手法

• 局所コホロジー加群をMatlis双対に変換し、その関連素イデアルがイデアル構造を反映するようにする。
• 正則列や正則列で生成されるイデアルの文脈において、特に $ \mathrm{Ass}_R(D(\rm H^h_I(R))) $ を分析する構成的アプローチを適用する。
• 有界な補題を持つ加群の圏とCohen-Macaulay加群の間の随伴函手 $ F_2 $ と $ G_2 $ を用いた圏論的双対性を用いる。
• 特に局所コホロジーとMatlis双対の文脈で、一般の場合を正則の場合に還元する還元技術を用いる。
• 高次局所コホロジー $ \rm H^l_I(R) $ の消滅と $ D(\rm H^h_I(R)) $ 上での正則列の正則性の間の同値性を用い、集合的完全交差を特徴づける。
• 局所双対とBass数の分析を用いて、Cohen-Macaulay性の必要条件を導出し、$ G_2 \circ F_2 $ を用いたCohen-Macaulay化の構成を行う。

実験結果

リサーチクエスチョン

• RQ1 Matlis双対 $ D(\rm H^h_I(R)) $ が、$ \rm H^h_I(R/\frak p) \neq 0 $ となる素イデアル $ \frak p $ のみに台を持つ条件は何か？
• RQ2 関連素イデアル $ \mathrm{Ass}_R(D(\rm H^h_I(R))) $ は、商環上での局所コホロジーの非消滅を用いて完全に特徴づけられるか？
• RQ3 高次局所コホロジーの消滅が成立する条件下で、$ \sqrt{\underline{f}R} = \sqrt{I} $ であることは、$ D(\rm H^h_I(R)) $ 上での $ \underline{f} $ の正則性と同値か？
• RQ4 $ G_2 \circ F_2 $ はモジュール $ M $ の一意的なCohen-Macaulay化を与えるか？また、そのような場合、どのような条件下で適切に定義されるか？
• RQ5 局所コホロジー $ \rm H^i_I(R) = 0 $ が $ i > h $ で成立する場合でも、$ D(\rm H^h_I(R)) $ がイデアルが集合的完全交差であるかどうかを検出する役割を果たすか？

主な発見

• 関連素イデアル $ \mathrm{Ass}_R(D(\rm H^h_I(R))) $ は、$ \rm H^h_I(R/\frak p) \neq 0 $ となる素イデアル $ \frak p $ の集合に含まれる。これは構造的解析に重要な包含関係を提供する。
• 長さ $ h $ の列 $ \underline{f} $ が $ I $ と同じ根イデアルを生成することは、すべての $ l > h $ に対して $ \rm H^l_I(R) = 0 $ であることと、$ \underline{f} $ が $ D(\rm H^h_I(R)) $ 上で正則であることと同値であり、集合的完全交差を特徴づける重要な基準を確立する。
• 局所コホロジーの消滅が失敗する場合でも、Matlis双対 $ D(\rm H^h_I(R)) $ は集合的完全交差の性質を検出できる。Hartshorneの曲線 $ C_4 $ の例では、$ \rm H^3_I(R) = 0 $ であるが、$ D(\rm H^2_I(R)) $ は依然として障害を符号化している。
• $ G_2 \circ F_2 $ は、存在する場合、モジュール $ M $ の一意的なCohen-Macaulay化を与える。この構成はBuchsbaumの場合におけるGotoの定義と整合する。
• $ D(\rm H^i_I(R)) $ の零番目のBass数は一般に有限ではない。これは、局所の場合でさえも、$ D(\rm H^i_I(R)) $ が常に有限長加群であるとは限らないことを示している。
• $ F_2 \circ G_2 = \mathrm{id}_{{\cal A}_0} $ および $ G_2 \circ F_2 = \mathrm{id}_{{\cal N}_0} $ の双対性により、圏の同値性が確立され、随伴函手によるCohen-Macaulay化の構成が可能になる。