[论文解读] Local Homology and Local Cohomology

Zhongming Tang|ArXiv.org|Nov 20, 2004

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

一句话总结

本文建立了局部环上 Cohen-Macaulay 模的局部同调与局部上同调之间的对偶性。证明了 Cohen-Macaulay 模 $ M $（维数为 $ d $）的上局部上同调模 $ H^d_{\frak m}(M) $ 是 N-维数为 $ d $ 的上 Cohen-Macaulay 模，且其局部同调 $ H_d^\underline{x}(H^d_{\frak m}(M)) $ 同构于 $ \frak m $-进完备化 $ \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) $ 的局部同调模结构。
• 探讨 Cohen-Macaulay 模背景下局部上同调与局部同调之间的对偶性。
• 建立 $ H^d_{\frak m}(M) $ 为上 Cohen-Macaulay 的条件，并将其局部同调与 $ M $ 的 $ \frak m $-进完备化联系起来。
• 证明 $ M $ 上的正则序列在 $ H^d_{\frak m}(M) $ 上诱导出余正则序列，从而实现局部同调模的构造。

提出的方法

• 使用诺特维数（Noetherian 维数）和局部环上阿廷模的宽度来分析 $ 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 $-进完备化 $ \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 Cohen-Macaulay 模 $ M $ 上的正则序列在 $ H^d_{\frak m}(M) $ 上如何表现为余正则序列？
• RQ3 局部上同调模 $ H^d_{\frak m}(M) $ 与 $ M $ 的 $ \frak m $-进完备化之间存在何种关系？
• RQ4 是否可以在 Cohen-Macaulay 模的背景下证明局部同调与局部上同调函子互为对偶？
• RQ5 在何种条件下，对参数系 $ \underline{x} $ 有 $ H_d^{\underline{x}}(H^d_{\frak m}(M)) \cong \widehat{M} $？

主要发现

• 对维数为 $ d $ 的 Cohen-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)) $ 同构于 $ \frak m $-进完备化 $ \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 $，且满足 $ 0:_{X}\underline{x} $ 有限长，有 $ H^d_{\underline{x}}(H_d^{\underline{x}}(X)) \cong X $。
• 若 $ \dim R = d $，则 $ H_d^{\underline{x}}(X) $ 是一个极大 Cohen-Macaulay $ R $-模，前提是其为有限生成。