[論文レビュー] On a Duality for local cohomology modules of ralative Cohen-Macaulay rings

Majid Rahro Zargar|arXiv (Cornell University)|Aug 14, 2013

Commutative Algebra and Its Applications参考文献 17被引用数 3

ひとこと要約

この論文は、相対コhen-マカウレイ環における局所コホモロジー加群の双対性を確立し、$R$-加群 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ がコhen-マカウレイ環における正規加群と類似した性質を示すことを示すことにより、古典的な双対性定理を相対的設定に一般化する双対性枠組みを提供する。

ABSTRACT

Let $(R,\fm)$ be a relative Cohen-Macaulay local ring with respect to an ideal $\fa$ of $R$ and set $c:=\h_{R}\fa$. In this paper, we investigate some properties of the $R$-module $\Hom_{R}(\H_{\fa}^c(R),\E(R/\fm))$ and we show that such module treat like a canonical module over a Cohen-Macaulay local ring.

研究の動機と目的

• 相対コhen-マカウレイ環における $R$-加群 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ の構造と性質を調査すること。
• 相対コhen-マカウレイ環の文脈において、局所コホモロジー加群の双対性理論を確立すること。
• 特に正規加群の性質を一般化して、相対的設定に古典的双対性結果を拡張すること。
• $c = \h_R(\fa)$ である局所コホモロジー加群 $\H^c_\fa(R)$ の役割を明確にすること。
• 双対化加群 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ が相対的設定において正規加群に類似した性質を示すことを示すこと。

提案手法

• $c = \h_R(\fa)$ である局所コホモロジー加群 $\H^c_\fa(R)$ を用いる。ここで $\h_R(\fa)$ は $R$ における $\fa$-高さである。
• 剰余体のインジェクティブ包 $\E(R/\fm)$ を用いて、双対加群 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ を構成する。
• コホモロジー次元が $\fa$-高さと一致するように保証するため、相対コhen-マカウレイ環の理論を適用する。
• 局所コホモロジーにおける双対性定理および局所環上のインジェクティブ加群の性質に依拠する。
• 双対加群の加群構造と有限生成性の性質を分析し、その正規加群に類似した振る舞いを確立する。
• $R$ が $\fa$ に関して相対コhen-マカウレイであることから、コホモロジー加群 $\H^c_\fa(R)$ が非ゼロで適切に振る舞うことを保証する。

実験結果

リサーチクエスチョン

• RQ1 相対コhen-マカウレイ環の文脈において、加群 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ はどのように振る舞うか？
• RQ2 この双対加群は、コhen-マカウレイ環における正規加群の性質をどの程度模倣するか？
• RQ3 $\H^c_\fa(R)$ とその双対 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ の間にどのような双対関係が生じるか？
• RQ4 双対加群は相対コhen-マカウレイ設定において正規加群として特徴付けられるか？
• RQ5 $R$ が $\fa$ に関して相対コhen-マカウレイであるとき、$\H^c_\fa(R)$ がどのような構造的性質を持つのか？

主な発見

• $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ 加群が相対コhen-マカウレイ設定において正規加群に類似した性質を示すことが示された。
• 確立された双対性は、標準的なコhen-マカウレイ環における古典的双対性定理を相対的ケースに一般化する。
• コホモロジー次元 $c = \h_R(\fa)$ により、$\H^c_\fa(R)$ が最高次の非ゼロ局所コホモロジー加群であることが保証される。
• 相対コhen-マカウレイ仮定のもとで、双対加群は有限生成かつ反射的加群に類似した性質を備える。
• $\fa$ に関してコhen-マカウレイである環において、正規加群の類似物を構成する。
• 双対性は、局所コホモロジーとインジェクティブ包の構造を相対的設定で適切に尊重する。