[論文レビュー] Some properties of generalized local cohomology modules

Амир Мафи|ArXiv.org|Nov 6, 2005

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

ひとこと要約

本稿は、ネーター的可換環における一般化局所コホモロジー加群 $ H_{\frak{a}}^t(M,N) $ を考察し、特定の条件下でその有限性およびアートリアン性を確立する。$ R $ が局所環であり、$ M \bigotimes_R N $ が有限長であるとき、$ H_{\frak{m}}^t(M,N) $ は有限長であり、$ l(H_{\frak{m}}^t(M,N)) \leq \sum_{i=0}^t l(\operatorname{Ext}_R^i(M, H_{\frak{m}}^{t-i}(N))) $ を満たす。さらに、特定の状況では $ \operatorname{Ext}_R^t(M,N) $ に等しくなる。また、$ \dim(R/\frak{a}) = 0 $ であるとき、すべての $ t \geq 0 $ に対して $ H_{\frak{a}}^t(M,N) $ はアートリアンであることが示され、既知のアートリアンなエクステントおよび局所コホモロジー加群に関する結果が一般化される。

ABSTRACT

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, $M$ and $N$ be two finitely generated $R$-modules. Let $t$ be a positive integer. We prove that if $R$ is local with maximal ideal $\fm$ and $ M\otimes_R N$ is of finite length then $H_{\fm}^t(M,N)$ is of finite length for all $t\geq 0$ and $l_R(H_{\fm}^t (M,N))\leq \sum_{i=0}^t l_R(\Ext_R^i(M,H_{\fm}^{t-i}(N)))$. This yields, $l_R(H_{\fm}^t(M,N))=l_R(\Ext_R^t(M,N))$. Additionally, we show that $\Ext_R^i(R/{\fa},N)$ is Artinian for all $ i\leq t$ if and only if $H_{\fa}^i(M,N)$ is Artinian for all $i\leq t$. Moreover, we show that whenever $\dim (R/{\fa})=0$ then $H_{\fa}^t(M,N)$ is Artinian for all $t \geq 0$.

研究の動機と目的

• ネーター環上の有限生成加群に対して、一般化局所コホモロジー加群 $ H_{\frak{a}}^t(M,N) $ の有限性およびアートリアン性を研究すること。
• 局所コホモロジーの有限性およびアートリアン性に関する既知の結果を、一般化された設定にまで拡張すること。
• 有限長のテンソル積条件の下で、$ H_{\frak{m}}^t(M,N) $ と $ \operatorname{Ext}_R^t(M,N) $ の間のスペクトル系列に基づく比較を確立すること。
• メルクェルソンの基準を、任意の有限生成加群 $ M $ の一般化局所コホモロジー加群にまで拡張すること。

提案手法

• グロテンディークのスペクトル系列を用いて、フィルトレーションおよび順次商を介して $ H_{\frak{m}}^t(M,N) $ を $ \operatorname{Ext}_R^i(M, H_{\frak{m}}^{t-i}(N)) $ と関連付ける。
• スペクトル系列 $ E_2^{p,q} = \operatorname{Ext}_R^p(M, H_{\frak{m}}^q(N)) \Rightarrow H_{\frak{m}}^{p+q}(M,N) $ を応用し、長さの上限を導出する。
• 正確な系列 $ 0 \to \phi^{i+1}H^t \to \phi^iH^t \to E_\infty^{i,t-i} \to 0 $ を用いて、$ H_{\frak{m}}^t(M,N) $ の構造を分析する。
• スペクトル系列および加群のフィルトレーションを用いて、$ \operatorname{Ext}_R^i(R/\frak{a}, N) $ のアートリアン性と $ H_{\frak{a}}^i(M,N) $ のアートリアン性の同値性を確立する。
• $ \dim(R/\frak{a}) = 0 $ のとき、次元に基づく有限性およびスペクトル系列の収束に依拠して、すべての $ t \geq 0 $ に対して $ H_{\frak{a}}^t(M,N) $ がアートリアンであることを証明する。
• Cohen-Macaulay仮定の下で、$ H_{\frak{m}}^t(M,N) $ と $ \operatorname{Ext}_R^t(M,N) $ のフィルトレーションを比較し、同型を導出する。

実験結果

リサーチクエスチョン

• RQ1 $ R $ が局所環であり、$ M \otimes_R N $ が有限長であるとき、$ H_{\frak{m}}^t(M,N) $ が有限長であるための条件は何か？
• RQ2 $ H_{\frak{m}}^t(M,N) $ が $ \operatorname{Ext}_R^t(M,N) $ と一致するのはいつか？ その等式を示す構造的条件は何か？
• RQ3 有限生成加群 $ M $ に対して、$ \operatorname{Ext}_R^i(R/\frak{a}, N) $ のアートリアン性と $ H_{\frak{a}}^i(M,N) $ のアートリアン性との関係は何か？
• RQ4 $ R/\frak{a} $ の次元が、すべての $ t \geq 0 $ に対して $ H_{\frak{a}}^t(M,N) $ のアートリアン性にどのように影響するか？
• RQ5 スペクトル系列を用いて、アートリアン局所コホモロジーに関するメルクェルソンの基準を一般化局所コホモロジー加群にまで拡張できるか？

主な発見

• $ R $ が最大イデアル $ \frak{m} $ を持つ局所環であり、$ M \otimes_R N $ が有限長であるとき、スペクトル系列のフィルトレーションおよびアートリアン商の解析により、すべての $ t \geq 0 $ に対して $ H_{\frak{m}}^t(M,N) $ が有限長であることが示された。
• $ H_{\frak{m}}^t(M,N) $ の長さは $ \sum_{i=0}^t l(\operatorname{Ext}_R^i(M, H_{\frak{m}}^{t-i}(N))) $ によって上から抑えられ、与えられた条件下で等号が成り立つ。
• $ N $ が次元 $ d $ のCohen-Macaulay加群であるとき、スペクトル系列における中間項の消滅により、$ H_{\frak{m}}^t(M,N) \cong \operatorname{Ext}_R^t(M,N) $ が成り立つ。
• 任意の有限生成 $ R $-加群 $ M $ に対して、$ \dim(R/\frak{a}) = 0 $ であれば、すべての $ t \geq 0 $ に対して $ H_{\frak{a}}^t(M,N) $ はアートリアンである。これは、古典的なアートリアンコホモロジーに関する結果の拡張である。
• $ i \leq t $ すべての $ i $ に対して $ \operatorname{Ext}_R^i(R/\frak{a}, N) $ がアートリアンであることは、すべての $ i \leq t $ およびすべての有限生成 $ M $ に対して $ H_{\frak{a}}^i(M,N) $ がアートリアンであることと同値であり、スペクトル系列およびフィルトレーションの議論によって示された。
• メルクェルソンの定理（アートリアン局所コホモロジー）は、スペクトル系列を用いて一般化された設定にまで拡張され、$ H_{\frak{a}}^i(M,N) $ がすべての $ i \leq t $ に対してアートリアンであることは、$ \operatorname{Ext}_R^i(R/\frak{a}, N) $ がすべての $ i \leq t $ に対してアートリアンであることと同値であることが示された。