[论文解读] Attached primes of the top local cohomology modules with respect to an ideal (II)

Mohammad T. Dibaei, Siamak Yassemi|ArXiv.org|Jan 5, 2005

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

一句话总结

本文研究了诺特局部环 $ (R, \frak m) $ 上有限生成模 $ M $ 的上局部上同调模 $ \rm H_{\frak a}^n(M) $ 的结构。证明了非同构的上局部上同调模的数量是有限的，给出了其约化的次级表示，并证明了若对所有 $ \frak p \in \rm Supp(M) $ 都有 $ \rm H_{\frak a}^r(R/\frak p) = 0 $，则对所有 $ i \geq r $ 有 $ \rm H_{\frak a}^i(M) = 0 $，从而推广了哈茨霍恩的消去定理。

ABSTRACT

For a finitely generated module $M$, over a commutative Noetherian local ring $(R, \mathfrak{m})$, it is shown that there exist only a finite number of non--isomorphic top local cohomology modules $\mathrm{H}_{\mathfrak{a}}^{\mathrm{dim} (M)}(M)$, for all ideals $\mathfrak{a}$ of $R$. We present a reduced secondary representation for the top local cohomology modules with respect to an ideal. It is also shown that for a given integer $r\geq 0$, if $\mathrm{H}_{\mathfrak{a}}^{r}(R/\mathfrak {p})$ is zero for all $\mathfrak{p}$ in $\mathrm{Supp}(M)$, then $\mathrm{H}_{\mathfrak{a}}^{i}(M)= 0$ for all $i\geq r$.

研究动机与目标

• 确定在诺特局部环中所有理想 $ \frak a $ 下，非同构上局部上同调模 $ \rm H_{\frak a}^n(M) $ 的有限性。
• 为 $ \rm H_{\frak a}^n(M) $ 提供约化的次级表示，以简化其结构。
• 通过在商模 $ R/\frak p $ 上的消去性刻画 $ \rm H_{\frak a}^i(M) = 0 $ 对所有 $ i \geq r $ 成立的条件，推广哈茨霍恩的消去定理。
• 识别上同调最大局部上同调模 $ \rm H_{\frak a}^{\rm cd(\frak a,M)}(M) $ 的一个子集关联素理想，特别是在 $ \rm cd(\frak a,M) = \dim(M) $ 的情形下。

提出的方法

• 证明若 $ R $ 完备，则存在 $ M $ 的同态像 $ K $，使得 $ \rm H_{\frak a}^n(M) \cong \rm H_{\frak m}^n(K) $，从而将上局部上同调与极大理想联系起来。
• 建立当 $ \frak a \subseteq \frak b $ 时有满同态 $ \rm H_{\frak b}^n(M) \to \rm H_{\frak a}^n(M) $，表明上同调支撑具有反向包含关系。
• 利用 $ \rm Att(\rm H_{\frak a}^n(M)) = \{ \frak p \in \rm Supp(M) \mid \rm cd(\frak a, R/\frak p) = n \} $ 作为基础性刻画。
• 通过归纳法和涉及 $ R/\frak p $ 与 $ R/(\frak p + xR) $ 的正合列，证明若 $ \rm H_{\frak a}^r(R/\frak p) = 0 $，则 $ \rm H_{\frak a}^{r+1}(R/\frak p) = 0 $，从而将消去性推广至更高阶。
• 构造子模 $ N \subseteq M $，使得 $ \rm Ass(M/N) = \{ \frak p \in \rm Ass(M) \mid \dim(R/\frak p) = \rm cd(\frak a,M) \} $，从而将问题约化至阿廷模情形。
• 利用已知结论：$ \rm H_{\frak a}^{\dim(N)}(N) $ 是阿廷模，且其关联素理想为 $ \{ \frak p \in \rm Ass(N) \mid \rm cd(\frak a, R/\frak p) = \dim(N) \} $，以识别关键素理想集合。

实验结果

研究问题

• RQ1 对于固定的 $ M $ 和变化的理想 $ \frak a $，非同构上局部上同调模 $ \rm H_{\frak a}^n(M) $ 最多有多少个？
• RQ2 在何种条件下对所有 $ i \geq r $ 有 $ \rm H_{\frak a}^i(M) = 0 $，且其能否通过在 $ R/\frak p $ 上的局部上同调来刻画（其中 $ \frak p \in \rm Supp(M) $）？
• RQ3 上同调最大局部上同调模 $ \rm H_{\frak a}^{\rm cd(\frak a,M)}(M) $ 的精确关联素理想集合是什么？当 $ \rm cd(\frak a,M) = \dim(M) $ 时，该集合是否与 $ \{ \frak p \in \rm Ass(M) \mid \rm cd(\frak a, R/\frak p) = \dim(R/\frak p) = \rm cd(\frak a,M) \} $ 一致？
• RQ4 能否显式构造 $ \rm H_{\frak a}^n(M) $ 的约化次级表示？它揭示了该模的何种结构特征？
• RQ5 对于嵌套的理想，是否存在自然的满同态连接其上局部上同调模？这对其同构类意味着什么？

主要发现

• 非同构上局部上同调模 $ \rm H_{\frak a}^n(M) $ 的数量是有限的，且上界为 $ 2^{\vert \rm Assh(M) \vert} $，因为同构性完全由关联素理想集合决定。
• 存在 $ M $ 的同态像 $ K $，使得 $ \rm H_{\frak a}^n(M) \cong \rm H_{\frak a}^n(K) $，且满足 $ \dim(K) = n $，$ \rm Ass(K) = \{ \frak p \in \rm Ass(M) \mid \rm cd(\frak a, R/\frak p) = n \} $，从而提供了一个极小模型。
• 若 $ \frak a \subseteq \frak b $，则存在满同态 $ \rm H_{\frak b}^n(M) \to \rm H_{\frak a}^n(M) $，表明上同调支撑具有反向包含关系。
• 若 $ \rm Att(\rm H_{\frak a}^n(M)) = \rm Att(\rm H_{\frak b}^n(M)) $，则 $ \rm H_{\frak a}^n(M) \cong \rm H_{\frak b}^n(M) $，因此同构性完全由关联素理想集合决定。
• 上同调维数 $ \rm cd(\frak a, M) < r $ 当且仅当对所有 $ \frak p \in \rm Supp(M) $ 都有 $ \rm H_{\frak a}^r(R/\frak p) = 0 $，从而推广了哈茨霍恩的消去准则。
• 集合 $ \{ \frak p \in \rm Ass(M) \mid \rm cd(\frak a, R/\frak p) = \dim(R/\frak p) = \rm cd(\frak a,M) \} $ 包含于 $ \rm Att(\rm H_{\frak a}^{\rm cd(\frak a,M)}(M)) $，且当 $ \rm cd(\frak a,M) = \dim(M) $ 时两者相等。