[论文解读] The generating hypothesis in the derived category of R-modules

Keir Lockridge|ArXiv.org|Nov 21, 2005

Algebraic structures and combinatorial models参考文献 4被引用 5

一句话总结

该论文证明了：在 R-模的导出范畴中，生成假设成立当且仅当 R 是冯·诺伊曼正则环。通过证明当且仅当生成元的自同态环是冯·诺伊曼正则环时，该假设在三角范畴中成立，该研究将弗雷德的猜想推广到了三角范畴，为交换环和诺特型稳定同伦范畴提供了完整的刻画。

ABSTRACT

In this paper, we prove a version of Freyd's generating hypothesis for triangulated categories: if D is a cocomplete triangulated category and S is an object in D whose endomorphism ring is graded commutative and concentrated in degree zero, then S generates (in the sense of Freyd) the thick subcategory determined by S if and only if the endomorphism ring of S is von Neumann regular. As a corollary, we obtain that the generating hypothesis is true in the derived category of a commutative ring R if and only if R is von Neumann regular. We also investigate alternative formulations of the generating hypothesis in the derived category. Finally, we give a characterization of the Noetherian stable homotopy categories in which the generating hypothesis is true.

研究动机与目标

• 将弗雷德的生成假设推广到稳定同伦理论之外的三角范畴。
• 确定生成假设在 R-模的导出范畴中成立的必要且充分条件。
• 刻画由某个模生成的厚子范畴何时与生成元的有限楔积的截影范畴等价。
• 研究冯·诺伊曼正则性和诺特结构在生成假设有效性中的作用。

提出的方法

• 使用函子 π* = Hom*(S, –)（其中 S 为生成元）在三角范畴中形式化生成假设。
• 在分次交换性和集中在零度的假设下，证明生成假设成立当且仅当自同态环 R = π₀(S) 是冯·诺伊曼正则环。
• 应用同调代数技术分析导出范畴中的余纤维序列和分裂性质。
• 利用 π*S 的诺特性限制生成假设的可能实现，表明其意味着厚子范畴必须仅由生成元的悬垂的有限楔积的截影组成。
• 利用非交换环论中的结果，特别是冯·诺伊曼正则环的定义和性质。
• 通过阿廷-韦德伯恩定理和正则性判别准则，建立生成假设与诺特情形下半单性的联系。

实验结果

研究问题

• RQ1 在分次交换且集中在零度的生成元 S 的三角范畴中，生成假设在何种条件下成立？
• RQ2 何时由 S 生成的厚子范畴与生成元的有限楔积的截影范畴等价？
• RQ3 生成假设与生成元自同态环的冯·诺伊曼正则性之间有何关系？
• RQ4 同伦环 π*S 的诺特性如何限制生成假设的有效性？
• RQ5 对于哪些交换环 R，生成假设在导出范畴 D(R) 中成立？

主要发现

• 在 R-模的导出范畴中，生成假设成立当且仅当 R 是冯·诺伊曼正则环。
• 若自同态环 R = π₀(S) 是冯·诺伊曼正则环且分次交换，则 S 通过有限楔积的截影生成其厚子范畴。
• 在交换环 R 的导出范畴中，生成假设成立当且仅当 R 是冯·诺伊曼正则环。
• 对于诺特环，生成假设成立当且仅当 R 是半单环，对交换环而言即 R 是有限个域的直积。
• 在诺特型稳定同伦范畴中，生成假设意味着由 S 生成的厚子范畴恰好由 S 的悬垂的有限楔积的截影组成。
• 在 P¹ 上拟相干层的导出范畴中，生成假设不成立，表明该假设并非普遍有效。