Diagrams of Lie algebras.
type: Item
instance of: scholarly article
title: Diagrams of Lie algebras.
zbMATH Open document ID: 1087.16008
author: Murray Gerstenhaber
author: Anthony Giaquinto
author: Samuel D. Schack
published in: Journal of Pure and Applied Algebra
publication date: 2005-04-07T00:00:00Z
review text: A diagram of algebras over a small category \(\mathcal C\) is a contravariant functor \(\mathbb{A}\) from \(\mathcal C\) to some category \(\mathcal A\) of algebras (e.g. associative, Lie,\dots). Every diagram has its cohomology. A significant difference between the associative case and others is that in the associative case one has the `Cohomology Comparison Theorem' that asserts that for every diagram \(\mathbb{A}\) of associative unital algebras there is a single algebra which we denote \(\mathbb{A}!!\) and for every diagram \(\mathbb{M}\) of \(\mathbb{A}\)-bimodules there is a single \(\mathbb{A}!!\)-bimodule \(\mathbb{M}!!\) such that \(H^*(\mathbb{A},\mathbb{M})\) is canonically isomorphic to \(H^*(\mathbb{A}!!,\mathbb{M}!!)\) (recall that if we have a diagram \(\mathbb{A}\) of \(\mathcal A\)-algebras over a small category \(\mathcal C\) then by an \(\mathbb{A}\)-module \(\mathbb{M}\) we will mean a diagram of Abelian groups over \(\mathcal C\) such that for each \(i\in\text{ob\,}\mathcal C\) the group \(\mathbb{M}(i)\) is an \(\mathbb{A}(i)\)-module and for each morphism \(\phi\colon i\to j\) the map \(\mathbb{M}(\phi)\colon\mathbb{M}(j)\to\mathbb{M}(i)\) is a morphism of \(\mathbb{A}(j)\)-modules where \(\mathbb{M}(i)\) is viewed as an \(\mathbb{A}(j)\)-module by virtue of the morphism \(\mathbb{A}(\phi)\colon\mathbb{A}(j)\to\mathbb{A}(i)\)). In the Lie case, the authors show that if \(\mathbb{L}\) is a diagram of Lie algebras and \(\mathbb{M}\) a diagram of modules over it, then there is a single associative algebra \(\mathbb{A}!!\) and a single \(\mathbb{A}!!\)-bimodule \(\mathbb{M}!!\) over it such that the Lie cohomology \(H^*_{\text{Lie}}(\mathbb{L},\mathbb{M})\) is canonically isomorphic to the Hochschild cohomology \(H^*_{\text{Hoch}}(\mathbb{A}!!,\mathbb{M}!!)\).
Mathematics Subject Classification ID: 16E40
Mathematics Subject Classification ID: 17B56
Mathematics Subject Classification ID: 18G10
Mathematics Subject Classification ID: 18G15
Mathematics Subject Classification ID: 18G60
zbMATH DE Number: 2153391
zbMATH Keywords: diagrams of algebras
zbMATH Keywords: cohomology of algebras
zbMATH Keywords: deformations
zbMATH Keywords: Hochschild cohomology
zbMATH Keywords: cohomology comparison theorem
zbMATH Keywords: diagrams of Lie algebras
zbMATH Keywords: cochain complexes
Wikidata QID: Q115345644
MaRDI profile type: Publication
full work available at URL: j.jpaa.2004.08.022
OpenAlex ID: W2077758475
cites work: Chicken or egg? A hierarchy of homotopy algebras
cites work: Cohomology of small categories
cites work: Q4143495
cites work: Q3240881
cites work: Cohomology Theory of Lie Groups and Lie Algebras
cites work: Differential Forms On Regular Affine Algebras
cites work: The cohomology structure of an associative ring
cites work: The third cohomology group of a ring and the commutative cohomology theory
cites work: On the deformation of rings and algebras. III
cites work: On the cohomology of an algebra morphism
cites work: Q3831155
cites work: The Cohomology of Presheaves of Algebras. I: Presheaves Over a Partially Ordered Set
cites work: Q4728504
cites work: Relative Hochschild cohomology, rigid algebras, and the Bockstein
cites work: A Hodge-type decomposition for commutative algebra cohomology
cites work: Q5648522
cites work: Relative Homological Algebra
cites work: Cohomology of Lie algebras
cites work: Q5343374
DOI: 10.1016/J.JPAA.2004.08.022
description: scientific article; zbMATH DE number 2153391