[论文解读] On the Cohomology Comparison Theorem

Alin Stancu|arXiv (Cornell University)|Oct 22, 2010

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

一句话总结

本文为环层代数上的双模引入了一个相对导出范畴，使得相对 Yoneda 上同调与 Hochschild 上同调可被识别为该范畴中的同态群。本文建立了环层代数及其关联代数的相对导出范畴之间的全满函子，推广了 Gerstenhaber 与 Schack 的特殊上同调比较定理。

ABSTRACT

A relative derived category for the category of modules over a presheaf of algebras is constructed to identify the relative Yoneda and Hochschild cohomologies with its homomorphism groups. The properties of a functor between this category and the relative derived category of modules over the algebra associated to the presheaf are studied. We obtain a generalization of the $Special$ $ Cohomology$ $Comparison$ $Theorem$ of M. Gerstenhaber and S. D. Schack.

研究动机与目标

• 为 k-代数层上的双模范畴构造一个相对导出范畴。
• 将相对 Yoneda 上同调与 Hochschild 上同调识别为该导出范畴中的同态群。
• 研究环层代数与其关联代数之间的关联在相对导出范畴背景下所诱导的函子。
• 将 Gerstenhaber 与 Schack 的特殊上同调比较定理推广到相对设定中。

提出的方法

• 为 k-代数层 $\mathbb{A}$ 上的双模构造相对导出范畴 $\mathcal{D}_{k}^{-}(\mathbb{A}\text{-bimod})$。
• 定义相对投射双模与可允许分解，以确保在相对设定下分解的存在性。
• 建立从 $\mathbb{A}$-双模的相对导出范畴到 $\mathbb{A}!$-双模的相对导出范畴的函子 $!$。
• 证明所诱导的函子 $!$ 在相对导出范畴之间是全满的。
• 利用伴随函子和涉及张量积与基变换的自然同构，验证相关图表的交换性。
• 利用偏序集与函子的结构，定义并分析 $!$-函子在链复形上的行为。

实验结果

研究问题

• RQ1 如何将环层代数上的相对 Yoneda 与 Hochschild 上同调解释为导出范畴中的同态群？
• RQ2 由环层代数到其关联代数的关联所诱导的函子 $!$ 在相对导出范畴中具有何种性质？
• RQ3 能否通过导出范畴将特殊上同调比较定理推广到相对设定？
• RQ4 可允许映射与相对投射分解在构造环层代数的导出范畴中起到什么作用？
• RQ5 $!$-函子如何与相对导出范畴中链复形的微分结构相互作用？

主要发现

• 相对 Yoneda 上同调 $\mathrm{Ext}^{i}_{\mathbb{A}-\mathbb{A},k}(\mathbb{M},\mathbb{N})$ 同构于相对导出范畴中的同态群 $\mathrm{Mor}_{\mathcal{D}_{k}^{-}(\mathbb{A}\text{-bimod})}(\mathbb{M}_{\bullet}, \mathbb{N}_{\bullet}[i])$。
• $\mathbb{A}$-双模与 $\mathbb{A}!$-双模的相对导出范畴之间的函子 $!$ 是全满的。
• 每个 $\mathbb{A}$-双模均存在相对投射可允许分解，确保该范畴具有足够的相对投射对象。
• $!$-函子保持余极限，并与相关伴随关系交换，从而能够构造复形之间的自然同构。
• 涉及 $\mathcal{T}_p\mathbb{N}$、$\mathcal{S}_p\mathbb{N}$ 及其 $!$-变换的图表是交换的，确认了同构的自然性。
• 特殊上同调比较定理的推广在相对导出范畴中成立，将 Yoneda 与 Hochschild 上同调之间的同构关系扩展到了相对设定。