[论文解读] Errata: On the Homology of Completion and Torsion

Marco Porta, Liran Shaul+1 more|arXiv (Cornell University)|Jun 19, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 1被引用 5

一句话总结

本文修正了作者在交换代数中关于完备化与挠同调的早期工作中存在的两个错误。它通过使用导出函子和望远镜复形，修正了定理 7.12（GM 对偶性）中存在缺陷的证明，提出了一个正确的拟同构论证；并澄清了当且仅当 $\frak{a}$ 是有限生成时，$\frak{a}$-挠模的范畴才是厚子范畴——这一条件在本文框架中成立，因为弱拟正则理想是有限生成的。本文的核心贡献是在导出范畴中提供了格罗滕迪克-马尔格朗日对偶性的正确且严谨的证明。

ABSTRACT

In this note we correct two errors in our paper "On the Homology of Completion and Torsion", arXiv:1010.4386, that appeared in Algebras and Representation Theory (2014).

研究动机与目标

• 修正 [PSY] 中定理 7.12 的错误证明，该证明声称一个在一般情况下不成立的拟同构。
• 澄清只有当 $\frak{a}$ 是有限生成时，$\frak{a}$-挠模的子范畴才是 $\mathsf{Mod} A$ 的厚子范畴，而这一条件在本文框架中成立，因为弱拟正则理想是有限生成的。
• 通过望远镜复形和导出函子，提供格罗滕迪克-马尔格朗日对偶性在导出范畴中的正确且严谨的证明。
• 通过用正确的拟同构论证替代错误的同态陈述，恢复 [PSY] 中导出对偶性结果的有效性。

提出的方法

• 用基于导出函子的修正版本替代错误的断言：$\operatorname{Hom}(u,\operatorname{id}): T\otimes_A P \to \operatorname{Hom}_A(T, T\otimes_A P)$ 是拟同构，改为使用导出函子的正确版本。
• 利用 [PSY, 命题 5.8] 中的同构 $v^{\mathrm{R}}_{\boldsymbol{a},M}: \mathrm{R}\Gamma_{\frak{a}}(M) \xrightarrow{\simeq} \operatorname{Tel}(A;\boldsymbol{a})\otimes_A M$，将完备化与张量积联系起来。
• 应用 [PSY, 推论 5.25] 中的同构 $\operatorname{tel}^{\mathrm{L}}_{\boldsymbol{a},M}: \operatorname{Hom}_A(\operatorname{Tel}(A;\boldsymbol{a}), M) \xrightarrow{\simeq} \mathrm{L}\Lambda_{\frak{a}}(M)$，将挠模与同调复形联系起来。
• 通过导出函子和同构 $\mathrm{L}\Lambda_{\frak{a}}(\sigma^{\mathrm{R}}_M)$，证明 $\operatorname{Hom}_A(\operatorname{id}, u\otimes\operatorname{id}): \operatorname{Hom}_A(T, T\otimes_A M) \to \operatorname{Hom}_A(T, M)$ 是拟同构。
• 利用同调-张量伴随关系，将复形图转换为等价形式，使得可通过引理 5–8 验证拟同构。
• 采用 K-投射和 K-内射化解，将问题约化为在复形的同伦范畴中验证拟同构。

实验结果

研究问题

• RQ1 为何 [PSY] 中定理 7.12 的原始证明失败？具体哪个断言是错误的？
• RQ2 在何种条件下，$\frak{a}$-挠模的范畴是 $\mathsf{Mod} A$ 的厚子范畴？
• RQ3 能否通过修正的拟同构论证恢复定理 7.12 中的导出对偶同构？
• RQ4 $\mathrm{R}\Gamma_{\frak{a}}$ 和 $\mathrm{L}\Lambda_{\frak{a}}$ 导出函子如何与望远镜复形 $\operatorname{Tel}(A;\boldsymbol{a})$ 相互作用？
• RQ5 K-投射和 K-内射化解在验证修正证明中导出同构时起到什么作用？

主要发现

• 原始断言 $\operatorname{Hom}(u,\operatorname{id}): T\otimes_A P \to \operatorname{Hom}_A(T, T\otimes_A P)$ 是拟同构是错误的，反例为 $A = \mathbb{K}[[t]]$ 且 $P = A$。
• 修正后的断言为 $\operatorname{Hom}_A(\operatorname{id}, u\otimes\operatorname{id}): \operatorname{Hom}_A(T, T\otimes_A M) \to \operatorname{Hom}_A(T, M)$ 是拟同构，该结论通过导出函子和同构 $\mathrm{L}\Lambda_{\frak{a}}(\sigma^{\mathrm{R}}_M)$ 证明。
• $\mathsf{Mod}_{\frak{a}\textup{-tor}} A$ 是 $\mathsf{Mod} A$ 的厚阿贝尔子范畴，仅当 $\frak{a}$ 是有限生成时成立，而本文设定中此条件满足，因为弱拟正则理想是有限生成的。
• 定理 9 的修正证明表明，涉及 $\mathrm{R}\Gamma_{\frak{a}}$、$\mathrm{L}\Lambda_{\frak{a}}$ 和望远镜复形的图在导出范畴中以同构方式交换。
• 该证明依赖于用正确的同态替代错误的同态，并通过同调-张量伴随关系和 K-投射化解验证导出图中所有映射均为拟同构。
• 修正后的论证恢复了格罗滕迪克-马尔格朗日对偶性在导出范畴中的有效性，关键步骤是通过导出函子将一个错误的拟同构断言替换为正确的版本。