[论文解读] Extension functors of local cohomology modules

Moharram Aghapournahr, A. J. Taherizadeh+1 more|ArXiv.org|Mar 12, 2009

Commutative Algebra and Its Applications被引用 16

一句话总结

本文利用 Serre 子类研究局部上同调模的扩张函子，建立了局部上同调涉及的 Ext 模属于给定 Serre 子类的条件。主要贡献在于在温和的有限性与挠条件之下，建立了 $\mathrm{Ext}^{s+t}_R(N,X)$ 与 $\mathrm{Ext}^s_R(N,H^t_\mathfrak{a}(X))$ 之间的普遍同构，从而导出了局部上同调模的新有限性与余有限性结果。

ABSTRACT

Let $R$ be a commutative Noetherian ring with non-zero identity, $\fa$ an ideal of $R$, and $X$ an $R$--module. In this paper, for fixed integers $s, t$ and a finite $\fa$--torsion $R$--module $N$, we first study the membership of $\Ext^{s+t}_{R}(N, X)$ and $\Ext^{s}_{R}(N, H^{t}_{\fa}(X))$ in Serre subcategories of the category of $R$--modules. Then we present some conditions which ensure the existence of an isomorphism between them. Finally, we introduce the concept of Serre cofiniteness as a generalization of cofiniteness and study this property for certain local cohomology modules.

研究动机与目标

• 研究 $\mathrm{Ext}^{s+t}_R(N,X)$ 与 $\mathrm{Ext}^s_R(N,H^t_\mathfrak{a}(X))$ 属于 $R$-模的 Serre 子类的成员资格。
• 建立 $\mathrm{Ext}^{s+t}_R(N,X)$ 与 $\mathrm{Ext}^s_R(N,H^t_\mathfrak{a}(X))$ 之间同构存在的充分条件。
• 引入并研究 Serre 余有限性，作为局部上同调模经典余有限性的推广。
• 利用谱序列与 Serre 子类技术，推广局部上同调模的现有有限性与余有限性结果。

提出的方法

• 利用 Grothendieck 谱序列，通过滤子论证将 $\mathrm{Ext}^t_R(N,X)$ 与 $\mathrm{Ext}^s_R(N,H^t_\mathfrak{a}(X))$ 关联起来。
• 应用谱序列的收敛性与 Serre 子类中子商的封闭性，推导模的成员资格。
• 引入 Melkersson 子类作为 Serre 子类的特殊类别，以细化有限性条件。
• 使用归纳法与谱序列滤子的正合序列，证明在较低阶 Ext 与局部上同调项满足假设时，$\mathrm{Ext}^n_R(N,X)$ 属于 Serre 子类。
• 通过基变换与模扩张技术，推广了 Serre 余有限性的换环原理。
• 应用极小极大模结构以强化余有限性结果，尤其在 Artinian 模与有限长模的背景下。

实验结果

研究问题

• RQ1 当 $\mathrm{Ext}^{t-r}_R(N,H^r_\mathfrak{a}(X))$ 属于 Serre 子类 $\mathcal{S}$ 对所有 $0 \leq r \leq t$ 成立时，$\mathrm{Ext}^{s+t}_R(N,X)$ 在什么条件下属于 $\mathcal{S}$？
• RQ2 当 $N$ 是有限 $\mathfrak{a}$-挠模时，$\mathrm{Ext}^{s+t}_R(N,X)$ 与 $\mathrm{Ext}^s_R(N,H^t_\mathfrak{a}(X))$ 之间何时存在同构？
• RQ3 如何利用 Serre 子类推广经典的 $\mathfrak{a}$-余有限性概念？
• RQ4 在 $\mathrm{Ext}^i_R(R/\mathfrak{a},X)$ 有限且对所有 $j < i$ 有 $H^j_\mathfrak{a}(X)$ 为极小极大模时，$H^i_\mathfrak{a}(X)$ 何时为 $\mathfrak{a}$-余有限？
• RQ5 $\mathrm{Hom}_R(R/\mathfrak{a},H^n_\mathfrak{a}(X))$ 何时有限？这与 $H^n_\mathfrak{a}(X)$ 的 Artinian 性质与余有限性有何关联？

主要发现

• 定理 2.1 表明，若对所有 $0 \leq r \leq t$ 有 $\mathrm{Ext}^{t-r}_R(N,H^r_\mathfrak{a}(X)) \in \mathcal{S}$，则 $\mathrm{Ext}^t_R(N,X) \in \mathcal{S}$，其证明基于谱序列滤子。
• 定理 3.5 在对 $N$ 与 $\mathfrak{a}$-挠有限性施加温和假设下，提供了标准同构 $\mathrm{Ext}^{s+t}_R(N,X) \cong \mathrm{Ext}^s_R(N,H^t_\mathfrak{a}(X))$。
• 推论 4.11 改进了 [6, 定理 2.3]，表明若对所有 $0 \leq i \leq n$ 有 $\mathrm{Ext}^i_R(R/\mathfrak{a},X)$ 具有有限长，则 $\mathrm{Hom}_R(R/\mathfrak{a},H^n_\mathfrak{a}(X))$ 有限。
• 推论 4.12 建立了 $H^i_\mathfrak{a}(X)$ 为 Artinian $\mathfrak{a}$-余有限当且仅当对所有 $0 \leq i \leq n$ 有 $\mathrm{Ext}^i_R(R/\mathfrak{a},X)$ 具有有限长的等价关系。
• 命题 4.10 证明：若对所有 $i < n$ 有 $H^i_\mathfrak{a}(X)$ 为 $\mathfrak{a}$-余有限，对所有 $n \leq i \leq m$ 有 $\mathrm{Ext}^i_R(R/\mathfrak{a},X)$ 有限，且对所有 $n \leq i \leq m$ 有 $H^i_\mathfrak{a}(X)$ 为极小极大模，则 $H^n_\mathfrak{a}(X)$ 为 $\mathfrak{a}$-余有限。
• 本文通过引入 Serre 余有限性，推广了经典的余有限性结果，表明 $\mathfrak{a}$-余有限极小极大模的类构成一个 Serre 子类，并证明了该性质的换环原理。