[论文解读] Descent of semidualizing complexes for rings with the approximation property

Lars Winther Christensen, Sean Sather-Wagstaff|arXiv (Cornell University)|Dec 12, 2006

Advanced Topics in Algebra参考文献 10被引用 1

一句话总结

该论文在交换诺戴尔局部环 R 具有逼近性质时，建立了 R 上的半对偶复形与 R 的完备化 bR 上的半对偶复形之间的双射对应关系。利用具有有限生成同调的复形的逼近结果，作者证明了半对偶复形的下降性质，恢复了 Hinich 和 Rotthaus 关于对偶复形存在的结果，并解决了当 R 为科恩-麦克aul伊且等特征时，半对偶 R-模的同构类的有限性问题。

ABSTRACT

Let R be a commutative noetherian local ring with completion b R. When R has the approximation property, we prove an approximation result for complexes with finitely generated homology. This is used to investigate descent of semidualizing complexes from b R to R. We show that, if R has the approximation property, then there is a bijective correspondence between semidualizing b R-complexes and semidualizing R-complexes. In particular, we recover a result of Hinich and Rotthaus stating that every ring with the approximation property has a dualizing complex. As an application of the descent theorem, we prove a new version of a classical result on uniform annihilation of homology modules of perfect complexes. Finally, we resolve the finiteness question for the set of isomorphism classes of semidualizing R-modules, when R is Cohen–Macaulay and equicharacteristic.

研究动机与目标

• 研究当 R 具有逼近性质时，从完备化 bR 到环 R 的半对偶复形的下降性质。
• 在半对偶 bR-复形与半对偶 R-复形之间建立双射对应关系。
• 作为主要下降结果的推论，恢复 Hinich 和 Rotthaus 关于具有逼近性质的环上对偶复形存在的结果。
• 解决在科恩-麦克aul伊且等特征情形下，半对偶 R-模的同构类的有限性问题。
• 利用下降定理证明完美复形同调模的经典一致消去结果的新版本。

提出的方法

• 利用具有有限生成同调的复形在具有逼近性质的环上的逼近结果。
• 将逼近性质应用于在 R 及其完备化 bR 之间提升与下降半对偶复形。
• 采用同调代数技巧，特别是导出范畴与对偶理论。
• 利用完备化映射 R → bR 的结构，控制复形在基变换下的行为。
• 通过对应关系的双射性推导出有限性与存在性结果。
• 应用下降定理，强化关于完美复形同调模一致消去的经典结果。

实验结果

研究问题

• RQ1 R 的逼近性质是否能保证 R 上的半对偶复形与 bR 上的半对偶复形之间存在双射对应？
• RQ2 在逼近性质下，能否建立半对偶复形的下降性？其对对偶复形有何影响？
• RQ3 当 R 为科恩-麦克aul伊且等特征时，半对偶 R-模的同构类集合是否有限？
• RQ4 逼近性质如何促成对完美复形同调模的一致消去定理的新版本？
• RQ5 R 的何种结构性条件可实现从 bR 到 R 的半对偶复形的受控下降？

主要发现

• 当 R 具有逼近性质时，存在半对偶 bR-复形与半对偶 R-复形之间的双射对应关系。
• 作为主要下降结果的推论，任何具有逼近性质的环上对偶复形的存在性得以恢复。
• 当 R 为科恩-麦克aul伊且等特征时，半对偶 R-模的同构类集合是有限的。
• 利用下降定理，证明了关于完美复形同调模的经典一致消去结果的新版本。
• 逼近性质使得通过其完备化 bR 有效控制 R 上复形的同调结构成为可能。
• 通过具有有限生成同调的复形的同调逼近技术，建立了半对偶复形的下降性。