Cyclic homology and the determinant of the Cartan matrix
type: Item
instance of: scholarly article
title: Cyclic homology and the determinant of the Cartan matrix
zbMATH Open document ID: 0823.16028
DOI: 10.1016/0022-4049(92)90158-C
author: Kiyoshi Igusa
published in: Journal of Pure and Applied Algebra
publication date: 1995-10-15T00:00:00Z
review text: Let \(\Lambda = \bigoplus^ \infty_{i = 0} \Lambda_ i\) be a graded algebra over the field \(K\) and let \(R\) denote the ideal \(\bigoplus^ \infty_{i = 1} \Lambda_ i\). Each \(\Lambda_ i\) should be finite dimensional over \(K\), and \(D = \Lambda_ 0 = D_ 1 \times \cdots \times D_ m\) should be a product of finitely many finite-dimensional separable division algebras over \(K\). (\(\Lambda\) may even be \(\mathbb{N}^ n\) graded.) The \(\mathbb{N}\) graded Cartan matrix \(C_ \Lambda (x)\) of \(\Lambda\) is the \(m \times m\) matrix with entries \(C_{ij}(x) \in \mathbb{Z} x\) given by \(C_{ij} (x) = \sum_ k \dim_{D_ j} (D_ i \Lambda_ k D_ j)x^ k\). The author defines the cyclic homology \(HC_ * (\Lambda, R)\) as the homology of a suitable bicomplex. The gradings on \(\Lambda\) and \(R\) are then shown to induce a grading on cyclic homology: \[ HC_ * (\Lambda, R) = \sum_ k HC^ k_ * (\Lambda, R) \] which is then used (when \(K\) has characteristic 0) to define the graded Euler characteristic of \(HC_ * (\Lambda, R)\) as the power series in \(\mathbb{Z} x\) defined by \[ \chi (HC_ * (\Lambda, R)) (x) = \sum_ k \sum_ i (-1)^ i \dim_ K HC^ k_ i (\Lambda, R) x^ k. \] The main theorem of the paper calculates the Euler characteristic in terms of the logarithm of the determinant of the Cartan matrix (and vice versa): the author shows that \[ \chi (HC_ * (\Lambda, R)) (x) = \sum^ \infty_{k = 1} \log \text{det} C_ \Lambda (x^ k) \sum_{d\mid k} (\mu(d)/d) \] where \(\mu\) is of course the Möbius function.
Mathematics Subject Classification ID: 16W50
Mathematics Subject Classification ID: 16E40
Mathematics Subject Classification ID: 16H05
zbMATH DE Number: 584670
zbMATH Keywords: determinant of Cartan matrix
zbMATH Keywords: graded algebras
zbMATH Keywords: finite-dimensional separable division algebras
zbMATH Keywords: graded Cartan matrix
zbMATH Keywords: cyclic homology
zbMATH Keywords: graded Euler characteristic
reviewed by: Andy R. Magid
MaRDI profile type: Publication
cites work: Asymptotic series related to the partition function
cites work: Quantum field theory techniques in graphical enumeration
cites work: A Hodge-type decomposition for commutative algebra cohomology
cites work: The action of \(S_ n\) on the components of the Hodge decomposition of Hochschild homology
cites work: Q5682013
cites work: Q3941473
cites work: On the cyclic homology of monomial relation algebras
cites work: Q3822298
cites work: Cyclic homology and the Lie algebra homology of matrices
cites work: Q5613839
cites work: Perturbative series and the moduli space of Riemann surfaces
full work available at URL: 0022-4049(92)90158-c
OpenAlex ID: W2048275415
description: scientific article; zbMATH DE number 584670