[论文解读] On Cohomologically Complete Intersections in Cohen-Macaulay Rings

Waqas Mahmood|arXiv (Cornell University)|Dec 25, 2013

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

一句话总结

本文将 Hellus 和 Schenzel 在 Gorenstein 环中关于上同调完全交的结果推广到任意局部 Cohen-Macaulay 环，证明了对所有 $ i \neq c = \operatorname{grade}(I,M) $，局部上同调 $ H^i_I(M) = 0 $ 的消失性完全由 $ H^c_I(M) $ 的同调性质决定。关键贡献在于通过典范模和 Ext 范畴对上同调完全交进行刻画，将已知判别准则推广至有限内射维数的极大 Cohen-Macaulay 模。

ABSTRACT

An ideal I of a local Cohen-Macaulay ring R is called a cohomologically complete intersection if H^i_I(R) = 0 for all i eq c = height(I). Here H^i_I(R), i \in Z denotes the local cohomology of R with respect to I. For instance, a set-theoretic complete intersection is a cohomologically complete intersection. Here we study cohomologically complete intersections from various homological points of view. As a main result it is shown that the vanishing H^iI_(M) = 0 for all i eq c is completely encoded in homological properties of H^cI_(M). These results extend those of Hellus and Schenzel (see [13, Theorem 0.1]) shown in the case of a local Gorenstein ring. In particular we get a characterization of cohomologically complete intersections in a Cohen-Macaulay ring in terms of the canonical module.

研究动机与目标

• 将 Hellus 和 Schenzel 在局部 Gorenstein 环中对上同调完全交的刻画推广至任意局部 Cohen-Macaulay 环。
• 证明对所有 $ i \neq c $，局部上同调 $ H^i_I(M) = 0 $ 的消失性完全由 $ H^c_I(M) $ 的同调性质决定，特别是通过典范模。
• 为 Cohen-Macaulay 环中理想成为集值完全交提供新的必要条件。
• 通过 $ H^c_I(M) $ 和 $ M $ 的内射维数，提出 Cohen-Macaulay 环的新刻画，推广 Bass 的猜想。

提出的方法

• 使用局部上同调函子 $ H^i_I(-) $ 及其消失性行为来定义上同调完全交。
• 应用局部对偶性和典范模 $ K(-) $，通过 Ext 函子将 $ H^c_I(M) $ 与 $ M $ 关联。
• 在满足 $ \mathfrak{p} \in V(I) \cap \operatorname{Supp}_R(M) $ 的素理想 $ \mathfrak{p} $ 上，利用截断复形构造局部上同调与 Ext 群之间的自然同态。
• 利用内射解析和拟同构，将 $ \Gamma_I(E^\cdot_R(M)) $ 与 $ H^c_I(M)[-c] $ 关联，从而实现内射维数的比较。
• 应用基底独立性定理及涉及正则序列的短正合列，分析局部上同调在商化下的行为。
• 通过完成 $ \hat{R}_{\mathfrak{p}} $ 将问题约化至完备局部环，从而获得典范模和对偶性的访问。

实验结果

研究问题

• RQ1 在 Cohen-Macaulay 环中，对所有 $ i \neq c $，$ H^i_I(M) $ 消失的条件是什么？
• RQ2 如何利用 $ H^c_I(M) $ 的同调性质来刻画上同调完全交？
• RQ3 典范模在判断 $ I $ 是否为上同调完全交中起什么作用？
• RQ4 能否利用 $ \operatorname{id}_R(M) < \infty $ 与 $ \operatorname{id}_R(H^c_I(M)) < \infty $ 的等价性来刻画 Cohen-Macaulay 环？
• RQ5 正则序列如何影响商模的局部上同调，及其与上同调完全交的关系？

主要发现

• 对所有 $ i \neq c $，$ H^i_I(M) = 0 $ 当且仅当对所有 $ \mathfrak{p} \in V(I) \cap \operatorname{Supp}_R(M) $，自然映射 $ H^{h(\mathfrak{p})}_{{\mathfrak{p}}R_{\mathfrak{p}}}(H^c_{IR_{\mathfrak{p}}}(M_{\mathfrak{p}})) \to H^{\dim(M_{\mathfrak{p}})}_{{\mathfrak{p}}R_{\mathfrak{p}}}(M_{\mathfrak{p}}) $ 是同构，且所有其他局部上同调群消失。
• 对所有 $ i \neq c $，$ H^i_I(M) = 0 $ 当且仅当满足 Ext 同构条件：$ \operatorname{Ext}^{h(\mathfrak{p})}_{R_{\mathfrak{p}}}(k(\mathfrak{p}), H^c_{IR_{\mathfrak{p}}}(M_{\mathfrak{p}})) \to \operatorname{Ext}^{\dim(M_{\mathfrak{p}})}_{R_{\mathfrak{p}}}(k(\mathfrak{p}), M_{\mathfrak{p}}) $ 是同构，且其他位置消失。
• 对所有 $ i \neq c $，$ H^i_I(M) = 0 $ 当且仅当典范模同构：$ K(\hat{M}_{\mathfrak{p}}) \to \operatorname{Ext}^c_{{\hat{R}}_{\mathfrak{p}}}(H^c_{I{\hat{R}}_{\mathfrak{p}}}({\hat{M}}_{\mathfrak{p}}), K({\hat{R}}_{\mathfrak{p}})) $，且高阶 Ext 群消失。
• $ \operatorname{id}_R(M) < \infty $ 与 $ \operatorname{id}_R(H^c_I(M)) < \infty $ 的等价性成立，当且仅当对所有 $ i \neq c $，$ H^i_I(M) = 0 $，且这蕴含 $ R $ 是 Cohen-Macaulay 环。
• 该结果将 Hellus 和 Schenzel 的定理 0.1 从 Gorenstein 环推广至 Cohen-Macaulay 环，将刻画推广至有限内射维数的极大 Cohen-Macaulay 模。
• 本文提出 Cohen-Macaulay 环的新刻画：若对所有 $ i \neq c $，$ H^i_I(M) = 0 $，则 $ R $ 是 Cohen-Macaulay 当且仅当 $ \operatorname{id}_R(M) < \infty $。