[論文レビュー] Local Homology and Local Cohomology

Zhongming Tang|ArXiv.org|Nov 20, 2004

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

ひとこと要約

この論文は、局所環上のコhen-Macaulay加群に対して、局所ホモロジーと局所コホモロジーの双対性を確立する。次を示す：次元 $ d $ のコhen-Macaulay加群 $ M $ の最高次局所コホモロジー加群 $ H^d_{\frak m}(M) $ は、N次元 $ d $ のコ-Cohen-Macaulay である。また、その局所ホモロジー $ H_d^\underline{x}(H^d_{\frak m}(M)) $ は、$ \frak m $-adic 完備化 $ \widehat{M} $ に同型であり、この文脈における局所コホモロジーと局所ホモロジーの深い双対性を示している。

ABSTRACT

Let $(R, {\frak m})$ be a local ring, $I$ a proper ideal of $R$ and $M$ a finitely generated $R$-module of dimension $d$. We discuss the local homology modules of $H^d_I(M)$. When $M$ is Cohen-Macaulay, it is proved that $H^d_{\frak m}(M)$ is co-Cohen-Macaulay of N.dimension $d$ and $H^{\underline{x}}_d(H^d_{\frak m}(M))\cong\hat{M}$ where $\underline{x}=(x_1,...,x_d)$ is a system of parameters for $M$.

研究の動機と目的

• 局所環 $ (R,\frak m) $ 上の有限生成加群 $ M $ に対する最高次局所コホモロジー加群 $ H^d_I(M) $ の局所ホモロジー加群の構造を調査すること。
• コhen-Macaulay加群の文脈における局所コホモロジーと局所ホモロジーの双対性を調査すること。
• $ H^d_{\frak m}(M) $ がコ-Cohen-Macaulay であるための条件を確立し、その局所ホモロジーを $ M $ の $ \frak m $-adic 完備化に関連付けること。
• $ M $ 上の正則系列が $ H^d_{\frak m}(M) $ 上にコ正則系列を誘導することを証明し、局所ホモロジー加群の構成を可能にすること。

提案手法

• 準局所環上のアーティン加群の N次元（ネーター次元）および幅を用いて $ H^d_I(M) $ を分析すること。
• アーティン加群における $ X $-コ正則系列の定義と応用を通じて、局所ホモロジー関手を研究すること。
• 正則系列の長さに関する帰納法を用いて、$ M $ 上の正則系列が $ H^d_{\frak m}(M) $ 上にコ正則系列であることを証明すること。
• 逆系間の同型の構成：$ H^{d-i}_{\frak m}(M/(x_1^n,\dots,x_i^n)M) \cong 0:_{H^d_{\frak m}(M)}(x_1^n,\dots,x_i^n) $。
• 逆極限を用いて $ H_d^\underline{x}(H^d_{\frak m}(M)) $ を計算し、それが $ \frak m $-adic 完備化 $ \widehat{M} $ に同型であることを示すこと。
• 直接系を用いた双対的議論により、コ-Cohen-Macaulay アーティン加群 $ X $ に対して $ H^d_{\underline{x}}(H_d^{\underline{x}}(X)) \cong X $ を証明すること。

実験結果

リサーチクエスチョン

• RQ1 最高次局所コホモロジー加群 $ H^d_{\frak m}(M) $ がコ-Cohen-Macaulay であるための条件は何か？
• RQ2 コhen-Macaulay加群 $ M $ 上の正則系列は、$ H^d_{\frak m}(M) $ 上でどのようにコ正則系列として振る舞うか？
• RQ3 局所コホモロジー加群 $ H^d_{\frak m}(M) $ の局所ホモロジーと $ M $ の $ \frak m $-adic 完備化との関係は何か？
• RQ4 コhen-Macaulay加群の文脈において、局所ホモロジーと局所コホモロジー関手が双対的であることを示せるか？
• RQ5 正規化パラメータ系 $ \underline{x} $ に対して、$ H_d^{\underline{x}}(H^d_{\frak m}(M)) \cong \widehat{M} $ が成り立つための条件は何か？

主な発見

• 次元 $ d $ のコhen-Macaulay加群 $ M $ に対して、最高次局所コホモロジー加群 $ H^d_{\frak m}(M) $ は、N次元 $ d $ のコ-Cohen-Macaulay である。
• $ M $ 上の任意の正則系列は、$ H^d_{\frak m}(M) $ 上でもコ正則系列であり、すべての $ n \geq 1 $ に対して同型 $ H^{d-i}_{\frak m}(M/(x_1^n,\dots,x_i^n)M) \cong 0:_{H^d_{\frak m}(M)}(x_1^n,\dots,x_i^n) $ が成り立つ。
• 局所ホモロジー加群 $ H_d^{\underline{x}}(H^d_{\frak m}(M)) $ は、$ M $ の $ \frak m $-adic 完備化 $ \widehat{M} $ に同型である。ここで $ \underline{x} $ は $ M $ のパラメータ系である。
• 逆系 $ \{0:_{H^d_{\frak m}(M)}(x_1^n,\dots,x_d^n)\} $ は逆系 $ \{M/(x_1^n,\dots,x_d^n)M\} $ に同型であり、これにより同型 $ H_d^{\underline{x}}(H^d_{\frak m}(M)) \cong \widehat{M} $ が得られる。
• 双対性は、任意の N次元 $ d $ のコ-Cohen-Macaulay アーティン加群 $ X $ に対して $ H^d_{\underline{x}}(H_d^{\underline{x}}(X)) \cong X $ が成り立つという意味で成立する。ただし $ 0:_{X}\underline{x} $ は有限長である。
• $ \dim R = d $ ならば、$ H_d^{\underline{x}}(X) $ が有限生成であれば、それは最大コhen-Macaulay $ R $-加群である。