Homological algebra of \(N\)-complexes and Hochschild homology of roots of unity (Q5931089)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Homological algebra of \(N\)-complexes and Hochschild homology of roots of unity |
scientific article; zbMATH DE number 1593169
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Homological algebra of \(N\)-complexes and Hochschild homology of roots of unity |
scientific article; zbMATH DE number 1593169 |
Statements
Homological algebra of \(N\)-complexes and Hochschild homology of roots of unity (English)
0 references
2 May 2001
0 references
Hochschild homology
0 references
\(N\)-complex
0 references
root of unity
0 references
0 references
0.75186586
0 references
0 references
0.70791876
0 references
0 references
0.70674485
0 references
0.6977427
0 references
This article develops systematically the foundations of homological algebra for \(N\)-complexes. Recall that \(N\)-complexes are graded modules provided with a degree \(-1\) endomorphism \(d\) such that \(d^N=0\). These objects have been also studied in the work of Dubois-Violette et al. and Kapranov on the quantum differential calculus [see, e.g., \textit{M. Dubois-Violette} and \textit{R. Kerner}, ``Universal \(Z_N\)-graded differential calculus'', J. Geom. Phys. 23, No. 3-4, 235-246 (1997; Zbl 1004.46045); \textit{M. Dubois-Violette}, ``Generalized differential spaces with \(d^N=0\) and the \(q\)-differential calculus'', Czech. J. Phys. 46, No. 12, 1227-1233 (1996; Zbl 0953.18004)]. The authors introduce for example the notions of projective or injective \(N\)-resolutions, as well as \(p\text{Tor}\) and \(p\text{Ext}\) groups that share some properties with the usual Tor and Ext groups.NEWLINENEWLINENEWLINEThe first motivation of this work is provided by the Hochschild complex of an associative algebra \(A\). When the powers of \(-1\) in the definition of the Hochschild boundary \(b\) are replaced by the powers of a scalar \(q\), the \(q\)-version \(b_q\) of the boundary is such that \(b_q^N=0\) in the following cases: \(q\) is a primitive \(N\)-root of unity or \(q=1\), \(N\) is prime and \(N=0\) in \(A\). The main theorem on Hochschild homology of the article relates the \(q\)-version to the usual one as follows. Under the above assumptions on \(N\) and \(q\): for each \(n\geq 0\) and each \(p=1,\dots,N-1\): NEWLINE\[NEWLINEpHH_n(A)\cong HH_{2(n-p+1)/N}(A) \;\text{if} n+1\equiv p \bmod N,NEWLINE\]NEWLINE NEWLINE\[NEWLINEpHH_n(A)\cong HH_{(2n+2-N)/N}(A) \;\text{if} n+1\equiv 0\bmod N,NEWLINE\]NEWLINE and \(pHH_n(A)=0\) else.
0 references