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}!!)\).
- A Hodge-type decomposition for commutative algebra cohomology
- Chicken or egg? A hierarchy of homotopy algebras
- Cohomology of Lie algebras
- Cohomology of small categories
- Cohomology Theory of Lie Groups and Lie Algebras
- Differential Forms On Regular Affine Algebras
- scientific article; zbMATH DE number 3125399 (Why is no real title available?)
- scientific article; zbMATH DE number 4107039 (Why is no real title available?)
- scientific article; zbMATH DE number 3572386 (Why is no real title available?)
- scientific article; zbMATH DE number 4112813 (Why is no real title available?)
- scientific article; zbMATH DE number 3216237 (Why is no real title available?)
- scientific article; zbMATH DE number 3377452 (Why is no real title available?)
- On the cohomology of an algebra morphism
- On the deformation of rings and algebras. III
- Relative Hochschild cohomology, rigid algebras, and the Bockstein
- Relative Homological Algebra
- The Cohomology of Presheaves of Algebras. I: Presheaves Over a Partially Ordered Set
- The cohomology structure of an associative ring
- The third cohomology group of a ring and the commutative cohomology theory
- On the cohomology of an algebra morphism
- On the invariance and general cohomology comparison theorems
- On deformations of diagrams of commutative algebras
- On the Deformation of Algebra Morphisms and Diagrams
- Deformations associated with rigid algebras.
- Higher cohomologies for presheaves of commutative monoids
- Extensions of associative algebras
- Deformation cohomology of morphisms of Lie-Yamaguti algebras
- Eilenberg-Moore categories and quiver representations of monads and comonads
- Gerstenhaber-Schack diagram cohomology from the operadic point of view
- Local-to-global spectral sequences for the cohomology of diagrams
This page was built for publication: Diagrams of Lie algebras.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1770531)
