Chevalley-Eilenberg homology of crossed modules of Lie algebras in lower dimensions (Q388554)
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: Chevalley-Eilenberg homology of crossed modules of Lie algebras in lower dimensions |
scientific article; zbMATH DE number 6242354
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Chevalley-Eilenberg homology of crossed modules of Lie algebras in lower dimensions |
scientific article; zbMATH DE number 6242354 |
Statements
Chevalley-Eilenberg homology of crossed modules of Lie algebras in lower dimensions (English)
0 references
2 January 2014
0 references
crossed modules of Lie algebras
0 references
Chevalley-Eilenberg homology
0 references
0 references
0.7860719
0 references
0.7263615
0 references
0.7254975
0 references
0.7250455
0 references
0 references
In the present paper the authors answer some of the questions posed in [\textit{J. M. Casas}, \textit{N. Inassaridze} and {the second author}, Manuscr. Math. 131, No. 3--4, 385--401 (2010; Zbl 1239.17014)]. They prove the existence of a five term exact sequence connecting the low dimensional Chevalley-Eilenberg homologies of crossed modules of Lie algebras \((\mathfrak{m}, \mathfrak{g}, \mu)\) and of the Lie algebra \(\mathfrak g/\text{Im}(\mu)\). Finally, a relationship between the Chevalley-Eilenberg homology with coefficients and the homology of a crossed module of Lie algebras is established.NEWLINENEWLINETheir main result reads as follows:NEWLINENEWLINE NEWLINEProposition 3.1. Let \((\mathfrak{m}, \mathfrak{g}, \mu)\) be a crossed module of Lie algebras. Then NEWLINE\[NEWLINE H_0(\mathfrak{m}, \mathfrak{g}, \mu)=\mathfrak k\quad\text{and} \quad H_1(\mathfrak{m}, \mathfrak{g}, \mu)=\text{Coker}(\mu)/[\text{Coker}(\mu),\text{Coker}(\mu)].NEWLINE\]NEWLINE NEWLINEMoreover, if the characteristic of \(\mathfrak k\) is not 2 (i.e. \(1/2\in \mathfrak k\)), then there is an exact sequence of vector spaces NEWLINE\[NEWLINEH_3(\mathfrak{m}, \mathfrak{g}, \mu)\rightarrow H_3(\text{Coker}(\mu))\rightarrow \text{Ker}(\mu)/[\text{Ker}(\mu),\mathfrak g]\rightarrow H_2(\mathfrak{m}, \mathfrak{g}, \mu)\rightarrow H_2(\text{Coker}(\mu)).NEWLINE\]
0 references