[論文レビュー] On Cohomologically Complete Intersections in Cohen-Macaulay Rings

Waqas Mahmood|arXiv (Cornell University)|Dec 25, 2013

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

ひとこと要約

この論文は、Gorenstein環におけるコhomologically complete intersectionに関するHellusとSchenzelの結果を、任意の局所Cohen-Macaulay環へ一般化する。局所コホモロジー $ H^i_I(M) = 0 $ がすべての $ i \neq c = \operatorname{grade}(I,M) $ に対して成り立つことは、$ H^c_I(M) $ のホモロジー的性質によって完全に決定されることを確立する。主な貢献は、canonicalモジュールとExt函手を用いたcohomologically complete intersectionの特徴付けであり、有限の内挿度をもつ最大Cohen-Macaulayモジュールへ既知の基準を拡張する。

ABSTRACT

An ideal I of a local Cohen-Macaulay ring R is called a cohomologically complete intersection if H^i_I(R) = 0 for all i eq c = height(I). Here H^i_I(R), i \in Z denotes the local cohomology of R with respect to I. For instance, a set-theoretic complete intersection is a cohomologically complete intersection. Here we study cohomologically complete intersections from various homological points of view. As a main result it is shown that the vanishing H^iI_(M) = 0 for all i eq c is completely encoded in homological properties of H^cI_(M). These results extend those of Hellus and Schenzel (see [13, Theorem 0.1]) shown in the case of a local Gorenstein ring. In particular we get a characterization of cohomologically complete intersections in a Cohen-Macaulay ring in terms of the canonical module.

研究の動機と目的

• 局所Gorenstein環におけるHellusとSchenzelのcohomologically complete intersectionの特徴付けを、任意の局所Cohen-Macaulay環へ拡張すること。
• 局所コホモロジー $ H^i_I(M) = 0 $ がすべての $ i \neq c $ に対して成り立つことは、特にcanonicalモジュールを通じて $ H^c_I(M) $ のホモロジー的性質に埋め込まれていることの確立。
• Cohen-Macaulay環において、イデアルがset-theoretic complete intersectionであるための新しい必要条件の提供。
• Bassの予想を一般化し、$ H^c_I(M) $ および $ M $ の内挿度を用いたCohen-Macaulay環の新しい特徴付けの提示。

提案手法

• 局所コホモロジー函手 $ H^i_I(-) $ 及びその消滅挙動を用いて、cohomologically complete intersectionを定義する。
• 局所双対性およびcanonicalモジュール $ K(-) $ を用いて、Ext函手を通じて $ H^c_I(M) $ と $ M $ を関連付ける。
• 正則列を含む短い完全系列を用いて、商の局所コホモロジーの挙動を分析する。
• 完成化 $ \hat{R}_{\mathfrak{p}} $ を用いた完全局所環への還元により、canonicalモジュールおよび双対性へのアクセスを可能にする。
• 自然なホモモーフィズムを、$ \mathfrak{p} \in V(I) \cap \operatorname{Supp}_R(M) $ における素点で構成し、切断複体を用いる。
• 内挿度比較を可能にするために、injective分解およびquasi-isomorphismを用いて $ \Gamma_I(E^\cdot_R(M)) $ を $ H^c_I(M)[-c] $ に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 Cohen-Macaulay環において、すべての $ i \neq c $ に対して $ H^i_I(M) $ が消える条件は何か？
• RQ2 $ H^c_I(M) $ のホモロジー的性質を用いて、cohomologically complete intersectionを特徴付ける方法は何か？
• RQ3 canonicalモジュールは、$ I $ がcohomologically complete intersectionであるかどうかを決定するために果たす役割は何か？
• RQ4 $ \operatorname{id}_R(M) < \infty $ と $ \operatorname{id}_R(H^c_I(M)) < \infty $ の同値性が、Cohen-Macaulay環を特徴付けるのに利用できるか？
• RQ5 正則列は、商モジュールの局所コホモロジーがcohomological complete intersectionに関連してどのように影響を及えるか？

主な発見

• すべての $ i \neq c $ に対して $ H^i_I(M) = 0 $ であることは、すべての $ \mathfrak{p} \in V(I) \cap \operatorname{Supp}_R(M) $ に対して、自然な写像 $ H^{h(\mathfrak{p})}_{{\mathfrak{p}}R_{\mathfrak{p}}}(H^c_{IR_{\mathfrak{p}}}(M_{\mathfrak{p}})) \to H^{\dim(M_{\mathfrak{p}})}_{{\mathfrak{p}}R_{\mathfrak{p}}}(M_{\mathfrak{p}}) $ が同型であり、他のすべての局所コホモロジー群が消えるという条件と同値である。
• すべての $ i \neq c $ に対して $ H^i_I(M) = 0 $ であることは、Ext同型条件：$ \operatorname{Ext}^{h(\mathfrak{p})}_{R_{\mathfrak{p}}}(k(\mathfrak{p}), H^c_{IR_{\mathfrak{p}}}(M_{\mathfrak{p}})) \to \operatorname{Ext}^{\dim(M_{\mathfrak{p}})}_{R_{\mathfrak{p}}}(k(\mathfrak{p}), M_{\mathfrak{p}}) $ が同型であり、他の場所では消えるという条件と同値である。
• すべての $ i \neq c $ に対して $ H^i_I(M) = 0 $ であることは、canonicalモジュール同型：$ K(\hat{M}_{\mathfrak{p}}) \to \operatorname{Ext}^c_{{\hat{R}}_{\mathfrak{p}}}(H^c_{I{\hat{R}}_{\mathfrak{p}}}({\hat{M}}_{\mathfrak{p}}), K({\hat{R}}_{\mathfrak{p}})) $ であり、高次のExt群が消えるという条件と同値である。
• $ \operatorname{id}_R(M) < \infty $ と $ \operatorname{id}_R(H^c_I(M)) < \infty $ の同値性は、すべての $ i \neq c $ に対して $ H^i_I(M) = 0 $ であることと同値であり、このことは $ R $ がCohen-Macaulayであることを示唆する。
• この結果は、Gorenstein環からCohen-Macaulay環へ、HellusとSchenzelの定理0.1を一般化し、有限内挿度をもつ最大Cohen-Macaulayモジュールへ特徴付けを拡張する。
• 本論文はCohen-Macaulay環の新しい特徴付けを提供する：すべての $ i \neq c $ に対して $ H^i_I(M) = 0 $ ならば、$ R $ がCohen-Macaulayであることと $ \operatorname{id}_R(M) < \infty $ であることは同値である。