[論文レビュー] On Endomorphism Rings of Local Cohomology Modules

Waqas Mahmood|arXiv (Cornell University)|Aug 12, 2013

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

ひとこと要約

この論文は、完全なコhen-マカウレイ局所環 $ R $ に対して、canonical モジュール $ K_R $ と有限生成モジュール $ M $ に対して、自然な準同型 $ R \to \operatorname{Hom}_R(H^c_I(K_R), H^c_I(K_R)) $ が同型となる条件を確立する。ここで $ c = \operatorname{grade}(I) $ である。この研究は、Hellus, Stückrad, Schenzel の先行研究を canonical モジュールおよび有限生成モジュールへと拡張し、局所双対性およびMatlis双対性を用いて、コhomological な消滅条件が成り立つとき、局所コhomology モジュールの自己準同型環が $ R $ に同型であることを示している。

ABSTRACT

Let I be an ideal of a Complete Cohen-Macaulay local ring R of dimension n. We wil show that the natural homomorphism Rto HomR(HcI(KR), HcI(KR)) is an isomorphism provided that I is a cohomologically compltete intersection ideal of grade c where KR (resp. HiI(.)) denote the canonical module (resp. i-th local cohomology with respect to the ideal I) of R. The same result is true for the Matlis dual of HcI(KR).

研究の動機と目的

• 既知の局所コhomology モジュールの自己準同型環に関する同型結果を、$ M = R $ の場合から canonical モジュール $ K_R $ および任意の有限生成モジュール $ M $ へと一般化すること。
• 自然な写像 $ R \to \operatorname{Hom}_R(H^c_I(M), H^c_I(M)) $ が $ M = K_R $ および一般の $ M $ に対して同型となる条件を確立すること。
• 同じ階数を持つ包含関係 $ J \subset I $ を持つイデアルに対して、局所コhomology モジュールの自己準同型環間の自然な準同型の振る舞いを調査すること。
• 自己準同型環が $ R $ に同型であるという結果を、局所コhomology モジュールの Matlis 双対へと拡張すること。

提案手法

• 局所双対性および Matlis 双対性を用いて、$ H^c_I(M) $ とその双対 $ D(H^c_I(M)) $ の関係を特定し、特に $ M = K_R $ の場合に適用する。
• $ \operatorname{Tor} $-モジュールの消滅を用いた階数の基準を適用し、同じ階数を持つイデアル $ J \subset I $ に対する局所コhomology を比較する。
• $ J \subset I $ および $ \operatorname{grade}(I,M) = \operatorname{grade}(J,M) = c $ のもとで、自然な準同型 $ \operatorname{Hom}_R(H^c_J(M), H^c_J(M)) \to \operatorname{Hom}_R(H^c_I(M), H^c_I(M)) $ を構成する。
• すべての $ \mathfrak{p} \in V(J) \cap \operatorname{Supp}_R(M) $ に対して $ \operatorname{Rad}(IR_\mathfrak{p}) = \operatorname{Rad}(JR_\mathfrak{p}) $ かつ $ \operatorname{depth}_{R_\mathfrak{p}}(M_\mathfrak{p}) \leq c $ が成り立つとき、自然な準同型が同型であることを証明する。
• $ \operatorname{Hom}_R(H^c_I(M), H^c_I(M)) $ と $ \operatorname{Hom}_R(D(H^c_I(M)), D(H^c_I(M))) $ の間の可換図式を用いて、双対性を通じて同型性の性質を移す。
• 適切な消滅条件の下で、$ R \to \operatorname{Hom}_R(H^c_I(M), H^c_I(M)) $ が同型であることは、Matlis 双対に対しても同様に成り立つという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 完全な Cohen-Macaulay 局所環 $ R $ およびイデアル $ I $ に対して、自然な準同型 $ R \to \operatorname{Hom}_R(H^c_I(K_R), H^c_I(K_R)) $ が同型となる条件は何か？
• RQ2 $ J \subset I $ および $ \operatorname{grade}(I,M) = \operatorname{grade}(J,M) = c $ のもとで、自然な写像 $ \operatorname{Hom}_R(H^c_J(M), H^c_J(M)) \to \operatorname{Hom}_R(H^c_I(M), H^c_I(M)) $ が同型となるのはいつか？
• RQ3 $ M = K_R $ のとき、$ H^c_I(M) $ とその Matlis 双対 $ D(H^c_I(M)) $ の自己準同型環どうしの関係は何か？
• RQ4 $ \operatorname{Ext}^{i-c}(H^c_I(K_R), H^c_I(K_R)) = 0 $ が成り立つ条件は何か、$ i \neq c $ の場合に。
• RQ5 自然な写像 $ H^c_I(K_R) \otimes_R D(H^c_I(K_R)) \to E $ が同型となるのはいつか？

主な発見

• すべての $ i \neq c = \operatorname{grade}(I) $ に対して $ H^i_I(R) = 0 $ が成り立つならば、自然な準同型 $ R \to \operatorname{Hom}_R(H^c_I(K_R), H^c_I(K_R)) $ は同型であり、これは $ R $ に対する既存の結果を canonical モジュールへと拡張する。
• $ M = K_R $ のとき、自己準同型環 $ \operatorname{Hom}_R(H^c_I(K_R), H^c_I(K_R)) $ は $ R $ に同型であり、すべての $ i \neq c $ に対して $ \operatorname{Ext}^{i-c}(H^c_I(K_R), H^c_I(K_R)) = 0 $ が成り立つ。
• すべての $ \mathfrak{p} \in V(J) \cap \operatorname{Supp}_R(M) $ に対して $ \operatorname{Rad}(IR_\mathfrak{p}) = \operatorname{Rad}(JR_\mathfrak{p}) $ かつ $ \operatorname{depth}_{R_\mathfrak{p}}(M_\mathfrak{p}) \leq c $ が成り立つならば、自然な準同型 $ \operatorname{Hom}_R(H^c_J(M), H^c_J(M)) \to \operatorname{Hom}_R(H^c_I(M), H^c_I(M)) $ は同型である。
• Matlis 双対 $ D(H^c_I(K_R)) $ に対しても同様の同型性が成り立つ：同じ消滅条件の下で $ R \to \operatorname{Hom}_R(D(H^c_I(K_R)), D(H^c_I(K_R))) $ は同型である。
• コhomological な消滅仮定の下で、自然な写像 $ H^c_I(K_R) \otimes_R D(H^c_I(K_R)) \to E $ は同型であり、すべての $ i \neq c $ に対して $ \operatorname{Tor}_{i-c}^R(H^c_I(K_R), D(H^c_I(K_R))) = 0 $ が成り立つ。
• 自己準同型環 $ \operatorname{Hom}_R(H^c_I(K_R), H^c_I(K_R)) $ が $ R $ に同型であることは、関連する素点 $ \mathfrak{p} $ に対して $ \operatorname{Rad}(IR_\mathfrak{p}) = \operatorname{Rad}(JR_\mathfrak{p}) $ が成り立つとき、$ H^c_J(K_R) $ に対しても同様の性質が成り立つことに同値である。