Cohomologies of Lie algebras of generalized Jacobi matrices
type: Item
instance of: scholarly article
title: Cohomologies of Lie algebras of generalized Jacobi matrices
zbMATH Open document ID: 0544.17011
DOI: 10.1007/BF01083148
author: B. L. Tsygan
author: B. Feigin
publication date: 1983-01-01T00:00:00Z
review text: Let \(k\) be a field of characteristic zero. A generalized Jacobi matrix over \(k\) is a matrix \(\{a_{ij}\}\), \(i,j\in {\mathbb Z}\) with entries from \(k\) having only a finite number of non-zero diagonals. We introduce the following notations. \(J\) is the associative algebra of the generalized Jacobi matrices (with the usual multiplication). \(J_+\) is the subalgebra consisting of the matrices \(\{a_{ij}\}\) such that \(a_{ij}=0\) if \(i\leq 0\) or \(j\leq 0\). \(F\) is the ideal in \(J\) consisting of finite matrices, and \(F_+=F\cap J_+\). \(J_ n\) is the subalgebra consisting of the fixed elements of the automorphism \(\{a_{ij}\}\mapsto \{a_{i+n,j+n}\}\) of \(J\). \(J_{\infty}\) is the minimal subalgebra containing \(J_ n\) for all \(n=1,2,\ldots\). For any associative algebra \(A\), we denote by \({\mathfrak g}A\) the corresponding Lie algebra with the bracket \([a,b]=ab-ba\). (Notice that \({\mathfrak g}J_ n=\mathfrak{gl}_ n(k[t,t^{-1}])\).) The authors present the following results (all the cohomologies are with the trivial coefficients \(k\)): a) \(H^*({\mathfrak g}J)\cong k[c_ 1,c_ 2,\ldots],\) where \(c_ i\in H^{2i}({\mathfrak g}J)\); b) \(H^*({\mathfrak g}(J_+/F_+))\cong H^*({\mathfrak g}J)\); c) \(H^*({\mathfrak g}J_{\infty})\cong k[\xi_ 1,\xi_ 2,\ldots;c_ 1,c_ 2,\ldots],\) where \(\xi_ i\in H^{2i-1}({\mathfrak g}J_{\infty}),\quad c_ i\in H^{2i}({\mathfrak g}J_{\infty}),\) and the homomorphism \(H^*({\mathfrak g}J)\to H^*({\mathfrak g}J_{\infty})\) induced by the inclusion maps ``\(c_ i\) into \(c_ i\)''; d) the composition \[ H^*({\mathfrak g}J_{\infty})\to H^*({\mathfrak g}J_ n)=H^*(\mathfrak{gl}_ n(k[t,t^{-1}]))\to H^*(\mathfrak{sl}_ n(k[t,t^{-1}])) \] is surjective and its kernel is generated by the elements \(\xi_ 1,\xi_{n+1},\xi_{n+2},\ldots\); \(c_ n,c_{n+1},\ldots\); e) \(H^ i({\mathfrak g}J_+)=0\) for \(i>0\). The explicit forms of the generators \(c_ i\) and \(\xi_ i\) are described in the paper. Only the proof of a) is sketched in the pape…
reviewed by: Jiří Vanžura
Mathematics Subject Classification ID: 17B56
zbMATH DE Number: 3865530
zbMATH Keywords: cohomology of Lie algebras
zbMATH Keywords: characteristic zero
zbMATH Keywords: generalized Jacobi matrices
zbMATH Keywords: trivial coefficients
MaRDI profile type: Publication
cites work: Q5566639
published in: Functional Analysis and Its Applications
description: scientific article; zbMATH DE number 3865530