Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Chevalley-Eilenberg homology of crossed modules of Lie algebras in lower dimensions - MaRDI portal

Chevalley-Eilenberg homology of crossed modules of Lie algebras in lower dimensions (Q388554)

From MaRDI portal





scientific article; zbMATH DE number 6242354
Language Label Description Also known as
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
    0 references
    0 references
    2 January 2014
    0 references
    crossed modules of Lie algebras
    0 references
    Chevalley-Eilenberg homology
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references