Simplicial and crossed Lie algebras
type: Item
instance of: scholarly article
title: Simplicial and crossed Lie algebras
zbMATH Open document ID: 0999.18010
author: R. Smith
published in: Homology, Homotopy and Applications
publication date: 2002-06-03T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.hha/1139840054
full work available at URL: https://eudml.org/doc/49553
full work available at URL: volume4-1.htm
review text: The authors examine higher order Peiffer elements in simplicial Lie algebras and apply them to the Lie 2-crossed module and Lie crosssed squares introduced by \textit{G. J. Ellis} [J. Aust. Math. Soc., Ser. A 54, No.~3, 393-419 (1993; Zbl 0824.17022)] The notion of simplicial algebras used here is that considered by \textit{E. B. Curtis} [``Simplicial homotopy theory'', Adv. Math. 6, 107-209 (1971; Zbl 0225.55002)]. Let \(L\) be a simplicial Lie algebra with Moore complex \(NL\). Let \(\vartheta\) denote the boundary homomorphism of the Moore complex. For \(n > 1\) let \(D_n\) be the ideal in \(L_n\) generated by the degenerate elements. In the beginning it is proved that if \(L_n = D_n\), then \(NL_n = I_n\), where \(I_n\) is an ideal in \(L_n\) generated by certain shuffles. Then, the authors use this equality to prove the following theorem (in which the face homomorphisms of the simplicial Lie algebra \(L\) are denoted by \(d_i\), and for \(I\subseteq \{1,\dots,n\}\) the intersection \(\bigcap_{i\in I}\text{Ker }d_i\) is denoted by \(K_I\)). Theorem 1. Let \(L\) be a simplicial Lie algebra. (i) \(L_2=D_2\) then \(\vartheta_2(NL_2) = [\text{Ker} d_0, \text{Ker} d_1]\); (ii) \(L_3=D_3\) then \(\vartheta_3(NL_3) = [K_{\{0,1\}},K_{\{0,2\}}]+[K_{\{0,2\}}, K_{\{1,2\}}] + [K_{\{0,1\}}, K_{\{1,2\}}]+ \sum_{I,J}[K_I,K_J]\), where \(I\cup J=\{0,1,2\}\), \(I\cap J=\emptyset\). (iii) If \(L_n=D_n\) then \(\vartheta_n(NL_2)\supseteq \sum_{I,J}[K_I,K_J]\), where \(I\), \(J\) are nonempty subsets of the set \(\{0,\dots,n-1\}\) with \(I\cup J = \{0,\dots,n-1\}\). In the last section of the paper theorem 1 is used to construct a functor from simplicial Lie algebras to 2-crossed modules, and the authors also explain how theorem 1 yields a functor from simplicial Lie algebras to those crossed \(n\)-cubes of Lie algebras introduced by \textit{G. J. Ellis} [J. Pure Appl. Algebra 52, No.~3, 277-282 (1988; Zbl 0658.17010)].
reviewed by: Ioan Pop
Mathematics Subject Classification ID: 18G50
Mathematics Subject Classification ID: 17B55
Mathematics Subject Classification ID: 18G55
zbMATH DE Number: 1748379
zbMATH Keywords: Peiffer elements
zbMATH Keywords: \(2\)-crossed modules
zbMATH Keywords: simplicial Lie algebras
MaRDI profile type: Publication
OpenAlex ID: W2053908745
DOI: 10.4310/HHA.2002.V4.N1.A4
Recommended article: Q4539730
Recommended article: Q3139962
Recommended article: Q5496393
Recommended article: Q5034844
Recommended article: Q3099645
Recommended article: Peiffer pairings in multisimplicial groups and crossed n-cubes and applications for bisimplicial groups
Recommended article: Quadratic and 2-Crossed Modules of Algebras
Recommended article: Q5440948
Recommended article: Braided crossed modules and reduced simplicial groups
Recommended article: The actor of a crossed module in lie algebras
description: scientific article; zbMATH DE number 1748379