[论文解读] Thick subcategories of modules over commutative rings

Henning Krause|ArXiv.org|Mar 6, 2007

Rings, Modules, and Algebras参考文献 8被引用 3

一句话总结

本文通过支持理论与关联素理想准则，对诺特诺特交换环上的模的厚子范畴进行分类。研究证明：子集 Φ ⊆ Spec A 是一致的（即支持一个厚子范畴）当且仅当其满足三个等价条件：复形及其上同调的支撑相等、对扩张和直和的封闭性，以及对关联素理想属于 Φ 的内射化解的封闭性。关键结果是通过一致子集对厚子范畴进行完全分类，并以 Krull 维数 ≤1 作为刻画标准。

ABSTRACT

For a commutative noetherian ring A, we compare the support of a complex of A-modules with the support of its cohomology. This leads to a classification of all full subcategories of A-modules which are thick (that is, closed under taking kernels, cokernels, and extensions) and closed under taking direct sums.

研究动机与目标

• 对诺特交换环 A 上模范畴的所有厚子范畴进行分类。
• 澄清 A-模复形的支持与其上同调的支持之间的关系。
• 对子集 Φ ⊆ Spec A 提供一个刻画，使其通过支持或关联素理想生成厚子范畴。
• 修正并扩展先前关于子范畴的研究，特别是 Hovey 与 Gabriel 的结果。
• 建立关于内射化解与关联素理想的子集一致性的几何与同调准则。

提出的方法

• 将复形 X 的支持定义为 Supp X = {p ∈ Spec A | X ⊗ᴸ k(p) ≠ 0}，并与 Supp H* X = ∪i Supp HiX 进行比较。
• 引入“一致”子集 Φ ⊆ Spec A 的概念，其满足三个等价条件：复形与上同调的支持相等、支持在 Φ 中的模对厚子范畴运算的封闭性，以及对关联素理想属于 Φ 的内射化解的封闭性。
• 利用内射模与关联素理想的结构：每个不可约内射模对应一个素理想 p，且满足 Ass E(M) = Ass M。
• 应用素理想避免定理，并对 Krull 维数进行归纳，构造具有预设深度的模。
• 使用完成化与整闭包技术，将问题约化至完备局部域的情形，并应用 Serre 的 Cohen-Macaulay 环准则。
• 通过最小内射化解构造反例，证明当 Krull 维数 ≥2 时存在非一致子集。

实验结果

研究问题

• RQ1 A-模复形的支持何时等于其上同调的支持？
• RQ2 哪些子集 Φ ⊆ Spec A 满足条件：Supp X ⊆ Φ ⇔ Supp H*X ⊆ Φ 时，能生成 Mod A 的厚子范畴？
• RQ3 厚子范畴与内射模的关联素理想之间有何关系？
• RQ4 A 的 Krull 维数如何影响子集 Φ ⊆ Spec A 的一致性？
• RQ5 是否每个 Mod A 的厚子范畴都可实现为支持在某个一致子集 Φ 中的模的全子范畴？

主要发现

• 子集 Φ ⊆ Spec A 一致当且仅当支持在 Φ 中的 A-模全子范畴是厚的且对直和封闭。
• 定理 1.1 中的三个条件等价：复形与上同调的支持相等、子范畴对厚子范畴运算的封闭性，以及对关联素理想属于 Φ 的内射化解的封闭性。
• 诺特交换环 A 的 Spec A 中所有子集一致，当且仅当其 Krull 维数至多为 1。
• 当 dim A ≥ 2 时，存在非一致子集 Φ ⊆ Spec A，通过构造模 M 与素理想 p，使得 depth ApMp ≥ 2 得以证明。
• 此类非一致子集的存在性通过最小内射化解证明：若 Ass(Id−2) ∪ Ass(Id−1) = Φ 但 p ∈ Ass(Id) ∉ Φ，则 Φ 不满足内射封闭性条件。
• 对任意 Krull 维数 ≥2 的诺特交换环 A，存在模 M 与素理想 p，使得 0ptApMp = max{2, dim A − 1}，从而证明支持相等性的失效。