[论文解读] Acyclicity versus total acyclicity for complexes over noetherian rings

Srikanth B. Iyengar, Henning Krause|ArXiv.org|Jun 14, 2005

Algebraic structures and combinatorial models参考文献 19被引用 99

一句话总结

本文通过函子 $ D \bigotimes_R - $，建立了具有对偶复形的交换诺特环上投射模与内射模的同伦范畴之间的等价关系，并证明了在这两个范畴中，消心复形关于完全消心复形的商范畴是等价的且具有紧生成性。关键结果将这些商范畴识别为厚子范畴的商 $ \operatorname{Thick}(R,D)/\operatorname{Thick}(R) $，从而为奥尔兰德与巴丝范畴中的复形提供了新的刻画方式。

ABSTRACT

It is proved that for a commutative noetherian ring with dualizing complex the homotopy category of projective modules is equivalent, as a triangulated category, to the homotopy category of injective modules. Restricted to compact objects, this statement is a reinterpretation of Grothendieck's duality theorem. Using this equivalence it is proved that the (Verdier) quotient of the category of acyclic complexes of projectives by its subcategory of totally acyclic complexes and the corresponding category consisting of injective modules are equivalent. A new characterization is provided for complexes in Auslander categories and in Bass categories of such rings.

研究动机与目标

• 建立具有对偶复形的交换诺特环上投射模与内射模的同伦范畴之间的 triangulated 等价关系。
• 刻画投射与内射情形下，消心复形模完全消心复形的商范畴。
• 利用该等价关系，为奥尔兰德范畴与巴丝范畴中的复形提供新的刻画方式。
• 通过导出函子与紧对象，将格罗滕迪克对偶性推广至同伦范畴层面。

提出的方法

• 使用函子 $ D \otimes_R - $，其中 $ D $ 为对偶复形，构造 $ \mathbf{K}(\operatorname{Prj} R) $ 与 $ \mathbf{K}(\operatorname{Inj} R) $ 之间的 triangulated 等价关系。
• 利用 $ D $ 是内射模的有界复形且内射模的直和仍为内射模的事实，确保该函子保持 triangulated 结构。
• 通过函子 $ \mathsf{q} \circ \operatorname{Hom}_R(D, -) $ 构造其拟逆，其中 $ \mathsf{q} $ 是从平坦复形到内射复形的商函子。
• 利用 $ \mathbf{K}(\operatorname{Prj} R) $ 与 $ \mathbf{K}(\operatorname{Inj} R) $ 中对象的紧致性，将该等价关系与 $ \mathbf{D}^f(R) $ 中的格罗滕迪克对偶性联系起来。
• 通过厚子范畴的商来分析商范畴 $ \mathbf{K}_{\mathrm{ac}}(\operatorname{Prj} R)/\mathbf{K}_{\mathrm{tac}}(\operatorname{Prj} R) $ 与 $ \mathbf{K}_{\mathrm{ac}}(\operatorname{Inj} R)/\mathbf{K}_{\mathrm{tac}}(\operatorname{Inj} R) $。
• 应用紧生成性与局部化的理论，证明这些商范畴是紧生成的，且与 $ \operatorname{Thick}(R,D)/\operatorname{Thick}(R) $ 等价。

实验结果

研究问题

• RQ1 是否存在具有对偶复形的诺特环上投射模与内射模的同伦范畴之间的 triangulated 等价关系？
• RQ2 在投射与内射情形下，消心复形模完全消心复形的商范畴之间有何关系？
• RQ3 是否能通过这些商范畴刻画奥尔兰德与巴丝范畴？
• RQ4 导出等价 $ \mathbf{R}\operatorname{Hom}_R(-,D) $ 在多大程度上可推广至同伦范畴层面？
• RQ5 何种条件可保证一个内射模复形具有有限的 G-内射维数？

主要发现

• 函子 $ D \otimes_R - $ 诱导了 $ \mathbf{K}(\operatorname{Prj} R) $ 与 $ \mathbf{K}(\operatorname{Inj} R) $ 之间的 triangulated 等价关系，其拟逆为 $ \mathsf{q} \circ \operatorname{Hom}_R(D, -) $。
• 商范畴 $ \mathbf{K}_{\mathrm{ac}}(\operatorname{Prj} R)/\mathbf{K}_{\mathrm{tac}}(\operatorname{Prj} R) $ 与 $ \mathbf{K}_{\mathrm{ac}}(\operatorname{Inj} R)/\mathbf{K}_{\mathrm{tac}}(\operatorname{Inj} R) $ 是紧生成的，且与 $ \operatorname{Thick}(R,D)/\operatorname{Thick}(R) $ 等价。
• 具有有限 G-内射维数的复形恰好属于巴丝范畴 $ \mathcal{B}(R) $，其特征为存在一个正合三角形 $ V \to Y \to T \to \Sigma V $，其中 $ V \in \operatorname{Loc}(D) $ 且 $ T $ 为完全消心复形。
• 一个内射模复形 $ Y $ 具有有限 G-内射维数，当且仅当 $ \mathbf{R}\operatorname{Hom}_R(D,Y) $ 在右侧有界，或等价地，当 $ \mathsf{S}(V) \in \operatorname{Loc}(R) $ 对 $ V \cong \mathsf{v}(Y) $ 成立。
• 同伦范畴的等价关系 $ \mathbf{K}(\operatorname{Prj} R) \simeq \mathbf{K}(\operatorname{Inj} R) $ 作为紧对象对应关系的推论，恢复了格罗滕迪克对偶性。
• 通过环对 $ \langle S,R \rangle $ 上的对偶复形，结果可推广至非交换情形，将 G-投射维数与 G-内射维数识别为奥尔兰德与巴丝范畴中的对象。