[论文解读] Algèbre homologique des N-complexes et homologie de Hochschild aux racines de l'unité

Christian Kassel, Marc Wambst|arXiv (Cornell University)|May 2, 1997

Homotopy and Cohomology in Algebraic Topology被引用 4

一句话总结

本文为满足 d^N = 0 的 N-复形（即带有满足 d^N = 0 的微分的分次模）发展了同调代数，并在此背景下定义了 Tor 和 Ext 群。研究表明，当 N=2 时，这些广义同调理论退化为经典理论，并将该框架应用于通过单位根构造 N-复形来定义 Hochschild 同调，从而为 Hochschild 同调提供了新的代数表述。

ABSTRACT

We set up a homological algebra for N-complexes, which are graded modules together with a degree -1 endomorphism d satisfying d^N=0. We define Tor- and Ext-groups for N-complexes and we compute them in terms of their classical counterparts (N=2). As an application, we get an alternative definition of the Hochschild homology of an associative algebra out of an N-complex whose differential is based on a primitive N-th root of unity.

研究动机与目标

• 建立一个一致的 N-复形同调代数框架，其中微分满足 d^N = 0（N ≥ 2）。
• 以经典理论在 N=2 时的对应物为基础，定义并计算 N-复形的广义 Tor 和 Ext 群。
• 探索该框架在 Hochschild 同调中的应用，特别是通过单位根的使用。
• 为结合代数提供一种基于 N-复形的替代构造，以定义 Hochschild 同调。
• 通过与单位根相关的高阶微分结构，统一并推广经典同调构造。

提出的方法

• 将 N-复形定义为配备一个次数为 -1 的自同态 d 的分次模，使得 d^N = 0，从而推广经典情形下的 d^2 = 0 条件。
• 在 N-复形范畴内发展了投射与内射化解的理论，以定义导出函子。
• 利用这些解构定义 N-复形的广义 Tor 和 Ext 群，并通过谱序列将其与经典同调联系起来。
• 通过利用本原 N 次单位根构造一个类似 Hochschild 的复形，用于结合代数。
• 证明当 N=2 时，该 N-复形的同调与经典 Hochschild 同调一致。
• 将该框架应用于以经典不变量表示同调不变量，展示其一致性与推广性。

实验结果

研究问题

• RQ1 如何将同调代数推广至满足 d^N = 0 而非 d^2 = 0 的 N-复形？
• RQ2 在 N-复形的背景下，Tor 和 Ext 的适当类比是什么？它们与经典同调理论有何关系？
• RQ3 能否基于单位根的 N-复形结构重新定义 Hochschild 同调？
• RQ4 该 N-复形构造的同调与经典 Hochschild 同调之间存在何种关系？
• RQ5 在该广义框架中，当 N=2 时，经典同调不变量在多大程度上作为特例出现？

主要发现

• 本文构建了一个一致的 N-复形同调代数，通过解构定义了广义的 Tor 和 Ext 群。
• 当 N=2 时，广义的 Tor 和 Ext 群与经典理论一致，验证了该框架作为自然推广的合理性。
• 结合代数的 Hochschild 同调被重新表达为一个微分涉及本原 N 次单位根的 N-复形的同调。
• 该新构造与经典 Hochschild 复形的同调结果一致，从而提供了 Hochschild 同调的替代代数表述。
• 该框架揭示了单位根与同调代数中高阶微分结构之间深刻的联系。
• 结果已正式确立，并发表于《京都大学数理解析研究所研究报告》，证实了其数学严谨性。