English

Realization of Lie algebras and classifying spaces of crossed modules

Algebraic Topology 2024-04-03 v4

Abstract

The category of complete differential graded Lie algebras provides nice algebraic models for the rational homotopy types of non-simply connected spaces. In particular, there is a realization functor, \langle -\rangle, of any complete differential graded Lie algebra as a simplicial set. In a previous article, we considered the particular case of a complete graded Lie algebra, L0L_{0}, concentrated in degree 0 and proved that L0\langle L_{0}\rangle is isomorphic to the usual bar construction on the Malcev group associated to L0L_{0}. Here we consider the case of a complete differential graded Lie algebra, L=L0L1L=L_{0}\oplus L_{1}, concentrated in degrees 0 and 1. We establish that the category of such two-stage Lie algebras is equivalent to explicit subcategories of crossed modules and Lie algebra crossed modules, extending the equivalence between pronilpotent Lie algebras and Malcev groups. In particular, there is a crossed module C(L)\mathcal{C}(L) associated to LL. We prove that C(L)\mathcal{C}(L) is isomorphic to the Whitehead crossed module associated to the simplicial pair (L,L0)(\langle L\rangle, \langle L_{0}\rangle). Our main result is the identification of L\langle L\rangle with the classifying space of C(L)\mathcal{C}(L).

Keywords

Cite

@article{arxiv.2103.04927,
  title  = {Realization of Lie algebras and classifying spaces of crossed modules},
  author = {Yves Félix and Daniel Tanré},
  journal= {arXiv preprint arXiv:2103.04927},
  year   = {2024}
}