[论文解读] Some results on the local cohomology modules with respect to a pair of ideals

Moharram Aghapournahr, Khadijeh Ahmadi Amoli+1 more|arXiv (Cornell University)|Jan 6, 2013

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

一句话总结

本文通过研究关于一对理想模的局部上同调理论，证明了关联素理想与上同调模的有限性与消失结果。它确立了：若对所有 $ i < t $ 有 $ \operatorname{H}^i_{I,J}(M) = 0 $，则对所有 $ \mathfrak{a} \in \tilde{W}(I,J) $ 和 $ i < t $，有 $ \operatorname{H}^i_{\mathfrak{a}}(M) = 0 $，并表明在特定条件下 $ \operatorname{H}^t_{\mathfrak{a}}(M) $ 是有限的，从而推广了关于滤正则序列的经典结果。

ABSTRACT

Some affirmative answers are given to Huneke's problems. The calculation of local cohomology modules with respect to an arbitrary pair of ideals $I,J$ can be reduced to calculation of local cohomology modules with respect to a pair of ideala whose first ideal is generated by any $k$-regular sequence in $I$.

研究动机与目标

• 解决 Huneke 关于一对理想局部上同调模有限性与消失性的问题。
• 研究 $ \operatorname{Hom}(R/I, \operatorname{H}^i_I(M)) $ 属于塞尔子范畴的成员资格及其对关联素理想有限性的含义。
• 通过 $ k $-正则序列将 Nagel 与 Schenzel 关于滤正则序列的结果推广至非局部诺特环。
• 建立当 $ M $ 和 $ \operatorname{H}^i_{I,J}(M) $ 对所有 $ i < t $ 有限时，$ \operatorname{H}^t_{\mathfrak{a}}(M) $ 有限的条件。

提出的方法

• 利用 $ R $-模范畴与塞尔子范畴分析 $ \mathfrak{a} \in \tilde{W}(I,J) $ 时 $ \operatorname{Hom}(R/\mathfrak{a}, \operatorname{H}^t_{I,J}(M)) $ 的结构。
• 应用保持内射模并满足零化子条件的左正合函子 $ \operatorname{G} $，推导涉及 $ \operatorname{Ext} $ 与 $ \operatorname{Hom} $ 函子的正合序列。
• 运用 $ k $-正则 $ M $-序列与集合 $ \operatorname{W}(I,J) $ 的概念，比较局部上同调模 $ \operatorname{H}^i_{I,J}(M) $ 与 $ \operatorname{H}^i_{\mathfrak{a},J}(M) $。
• 使用极小内射解析与 Bass 数，比较函子 $ \Gamma_{I,J} $ 与 $ \Gamma_{\mathfrak{a},J} $ 在内射模上的像。
• 应用条件 $ \mathfrak{a} \subseteq \sqrt{(0:\operatorname{H}^t_{I,J}(M))} $ 推出 $ \operatorname{H}^t_{\mathfrak{a}}(M) $ 的有限性。
• 依赖于 $ \tilde{W}(I,J) $ 的性质，即满足 $ \operatorname{W}(I,J) \subseteq \operatorname{W}(\mathfrak{a},J) $ 的理想集合 $ \mathfrak{a} $，以关联不同理想上的上同调。

实验结果

研究问题

• RQ1 在何种条件下 $ \operatorname{Hom}(R/I, \operatorname{H}^i_I(M)) $ 属于给定的塞尔子范畴，且该条件如何蕴含 $ \operatorname{Ass}(\operatorname{H}^i_I(M)) $ 的有限性？
• RQ2 若对所有 $ i < t $ 有 $ \operatorname{H}^i_{I,J}(M) = 0 $，是否对所有 $ \mathfrak{a} \in \tilde{W}(I,J) $ 和 $ i < t $，均有 $ \operatorname{H}^i_{\mathfrak{a}}(M) = 0 $？
• RQ3 当 $ M $ 与 $ \operatorname{H}^i_{I,J}(M) $ 对所有 $ i < t $ 有限，且 $ \mathfrak{a} \subseteq \sqrt{(0:\operatorname{H}^t_{I,J}(M))} $ 时，能否推出 $ \operatorname{H}^t_{\mathfrak{a}}(M) $ 的有限性？
• RQ4 Nagel 与 Schenzel 关于滤正则序列的结果在多大程度上可推广至局部环之外？

主要发现

• 若对所有 $ i < t $ 有 $ \operatorname{H}^i_{I,J}(M) = 0 $，则对所有 $ \mathfrak{a} \in \tilde{W}(I,J) $ 与所有 $ i < t $，有 $ \operatorname{H}^i_{\mathfrak{a}}(M) = 0 $，如定理 3.4 所示。
• 对任意满足 $ \mathfrak{a} \subseteq \sqrt{(0:\operatorname{H}^t_{I,J}(M))} $ 的理想 $ \mathfrak{a} \in \tilde{W}(I,J) $，模 $ \operatorname{H}^t_{\mathfrak{a}}(M) $ 是有限的，如推论 3.7 所建立。
• 若对所有 $ i < t $，$ M $ 与 $ \operatorname{H}^i_{I,J}(M) $ 均为有限模，则当 $ \mathfrak{a} \subseteq \sqrt{(0:\operatorname{H}^t_{I,J}(M))} $ 时，$ \operatorname{H}^t_{\mathfrak{a}}(M) $ 为有限模，如推论 3.13 所证明。
• 当 $ a_1, \dots, a_n $ 是 $ I $ 中关于 $ M $ 的 $ k $-正则序列，且 $ \big{(}(\operatorname{Supp}(M) \cap \operatorname{W}(\mathfrak{a},J)) \setminus \operatorname{W}(I,J)\big{)}_{\leq k} = \emptyset $ 时，对所有 $ i < n $，有 $ \operatorname{H}^i_{I,J}(M) \cong \operatorname{H}^i_{\mathfrak{a},J}(M) $，如定理 3.14 所述。
• 当 $ \mathfrak{a} \subseteq \sqrt{(0:\operatorname{H}^t_{I,J}(M))} $ 且对所有 $ n $，有 $ \mathfrak{a}^n \operatorname{H}^t_{I,J}(M) $ 非有限时，$ \operatorname{H}^t_{I,J}(M) $ 的有限性被蕴含，如推论 3.12 所示。
• 在某些 $ \operatorname{Ext} $-消失条件下，$ \operatorname{Hom}(R/\mathfrak{a}, \operatorname{H}^t_{I,J}(M)) $ 属于任意塞尔类 $ \mathcal{S} $ 的成员资格可被保证，如命题 2.1 所形式化。