[論文レビュー] 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 を満たす微分を持つgradedな加群（N複体）のためのホモロジー代数を構築し、この文脈でTorおよびExt群を定義する。これらの一般化されたホモロジー理論がN=2のとき古典的理論に還元されることを示し、原始的N乗根の使用によるN複体構成を用いてホッホシールドホモロジーを定義する応用を示し、ホッホシールドホモロジーの新しい代数的定式化を提示する。

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 ≥ 2 に対して d^N = 0 を満たすN複体のための一貫性のあるホモロジー代数フレームワークを確立すること。
• N=2 のときの古典的対応物に還元されるように、N複体の一般化されたTorおよびExt群を定義し、計算すること。
• このフレームワークをホッホシールドホモロジーに応用し、特に根の単位根の使用を含むこと。
• 結合的代数のための、N複体に基づくホッホシールドホモロジーの代替的構成を提供すること。
• 根の単位根に結びつく高次の微分構造を用いて、古典的ホモロジー構成を統一的かつ一般化すること。

提案手法

• d^N = 0 を満たす次数 -1 の自己準同型 d を備えたgradedな加群としてN複体を導入し、古典的 d^2 = 0 条件の一般化を行う。
• N複体の圏内で射影的および単射的分解の理論を発展させ、導来函手を定義する。
• これらの分解を用いてN複体の一般化されたTorおよびExt群を定義し、スペクトル系列を介して古典的ホモロジーと関係づける。
• 結合的代数に対して、原始的N乗根を用いて構築された微分を持つホッホシールド型複体を構成する。
• N=2 のとき、このN複体の帰結となるホモロジーが古典的ホッホシールドホモロジーと一致することを示す。
• このフレームワークを用いて、古典的不変量に還元されるホモロジー不変量を計算し、一貫性および一般化を示す。

実験結果

リサーチクエスチョン

• RQ1 d^2 = 0 の代わりに d^N = 0 を満たすN複体に対して、ホモロジー代数をどのように一般化できるか？
• RQ2 N複体の文脈におけるTorおよびExtの適切な類似物は何か？ そして、古典的ホモロジー理論とどのように関係するか？
• RQ3 ホッホシールドホモロジーは、根の単位根に基づくN複体構造を用いて再定義可能か？
• RQ4 このN複体構成のホモロジーと古典的ホッホシールドホモロジーの関係は何か？
• RQ5 この一般化されたフレームワークにおいて、N=2 のとき、古典的ホモロジー不変量がどの程度特殊ケースとして現れるか？

主な発見

• 論文は、分解を用いて一般化されたTorおよびExt群を定義する一貫性のあるN複体のためのホモロジー代数を構築した。
• N=2 のとき、一般化されたTorおよびExt群は古典的それらと一致し、フレームワークが自然な一般化であることが妥当化された。
• 結合的代数のホッホシールドホモロジーは、原始的N乗根を含む微分を持つN複体のホモロジーとして再表現された。
• この新しい構成は、古典的ホッホシールド複体と同一のホモロジーをもたらし、代替的代数的定式化を提供した。
• フレームワークは、根の単位根とホモロジー代数における高次の微分構造との深い関係を明らかにした。
• 結果は形式的に確立され、京都大学数理解析研究所紀要に掲載されており、数学的厳密性が確認された。