[论文解读] Local Cohomology and Matlis duality

Michael Hellus|ArXiv.org|Mar 5, 2007

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

一句话总结

本文研究局部上同调模的Matlis对偶的结构，特别关注关联素理想及其在确定集合理论完全交中的作用。研究证明，较高局部上同调的消失与Matlis对偶模上序列的正则性共同刻画了理想为集合理论完全交的条件，通过 $ D(\m H^h_I(R)) $ 提供了一个关键判别准则，并支持了关于关联素理想的中心猜想。

ABSTRACT

Matlis duals of local cohomology modules are investigated with respect to many different topics (see section 0 - Introduction). One of these topics are complete intersections - see Corollary 1.1.4.

研究动机与目标

• 理解 $ D(\rm H^h_I(R)) $，即局部上同调模的Matlis对偶，其关联素理想的结构，及其与理想论性质的关系。
• 研究理想 $ I $ 为集合理论完全交的条件，尤其在局部上同调消失不足以判断时的情形。
• 通过Matlis对偶模与正则序列，提供检测集合理论完全交的判别准则。
• 支持并探讨猜想 (*)，该猜想提出 $ \mathrm{Ass}_R(D(\rm H^h_I(R))) $ 的精确刻画，其依据为在商环上局部上同调的非消失性。
• 推广局部对偶性，并通过具有有界支撑的模范畴上的伴随函子，发展Cohen-Macaulay化模的工具。

提出的方法

• 使用Matlis对偶将局部上同调模转化为对偶模，其关联素理想反映理想结构。
• 采用构造性方法分析 $ \mathrm{Ass}_R(D(\rm H^h_I(R))) $，尤其在正则序列及由正则序列生成的理想背景下。
• 通过伴随函子 $ F_2 $ 与 $ G_2 $ 在具有有界支撑的模范畴与Cohen-Macaulay模范畴之间实现范畴论对偶。
• 通过约化技术将一般情形化为正则情形，尤其在局部上同调与Matlis对偶的背景下。
• 利用 $ \rm H^l_I(R) $ 在 $ l > h $ 时消失与 $ D(\rm H^h_I(R)) $ 上序列正则性之间的等价性，刻画集合理论完全交。
• 应用局部对偶性与Bass数分析，推导Cohen-Macaulay性的必要条件，并通过 $ G_2 \circ F_2 $ 构造Cohen-Macaulay化。

实验结果

研究问题

• RQ1 Matlis对偶 $ D(\rm H^h_I(R)) $ 的支撑是否仅位于满足 $ \rm H^h_I(R/\frak p) \neq 0 $ 的素理想 $ \frak p $ 上？
• RQ2 是否能完全以在商环上局部上同调的非消失性来刻画 $ D(\rm H^h_I(R)) $ 的关联素理想？
• RQ3 在较高局部上同调消失的前提下，$ D(\rm H^h_I(R)) $ 上序列 $ \underline{f} $ 的正则性是否等价于 $ \sqrt{\underline{f}R} = \sqrt{I} $？
• RQ4 函子 $ G_2 \circ F_2 $ 是否唯一地给出模 $ M $ 的Cohen-Macaulay化？其在何种条件下定义良好？
• RQ5 当 $ \rm H^i_I(R) = 0 $ 对所有 $ i > h $ 时，$ D(\rm H^h_I(R)) $ 在检测理想是否为集合理论完全交中起何作用？

主要发现

• $ D(\rm H^h_I(R)) $ 的关联素理想包含于满足 $ \rm H^h_I(R/\frak p) \neq 0 $ 的素理想集合中，为结构分析提供了关键包含关系。
• 长度为 $ h $ 的序列 $ \underline{f} $ 生成的理想的根等于 $ I $ 的根，当且仅当对所有 $ l > h $ 有 $ \rm H^l_I(R) = 0 $，且 $ \underline{f} $ 在 $ D(\rm H^h_I(R)) $ 上正则，从而为集合理论完全交提供了关键判别准则。
• 即使局部上同调消失不成立，Matlis对偶 $ D(\rm H^h_I(R)) $ 仍能检测集合理论完全交的性质。以Hartshorne曲线 $ C_4 $ 为例，$ \rm H^3_I(R) = 0 $，但 $ D(\rm H^2_I(R)) $ 仍编码了障碍。
• 当存在时，复合函子 $ G_2 \circ F_2 $ 唯一地给出模 $ M $ 的Cohen-Macaulay化，且该构造与Buchsbaum情形下Goto的定义相容。
• $ D(\rm H^i_I(R)) $ 的零阶Bass数不一定是有限的，表明即使在局部情形下，$ D(\rm H^i_I(R)) $ 也不总是有限长模。
• $ F_2 \circ G_2 = \mathrm{id}_{{\cal A}_0} $ 与 $ G_2 \circ F_2 = \mathrm{id}_{{\cal N}_0} $ 的对偶性建立了范畴等价，使得通过伴随函子构造Cohen-Macaulay化成为可能。