Lie
–algebras
are the
analogs
of chain Lie algebras from rational homotopy theory. Henriques showed that finite-type Lie
–algebras
can be integrated to produce certain simplicial Banach manifolds, known as Lie
–groups,
via a smooth analog of Sullivan’s realization functor. We
provide an explicit proof that the category of finite-type Lie
–algebras and
(weak)
–morphisms
admits the structure of a category of fibrant objects (CFO) for a homotopy theory.
Roughly speaking, this CFO structure can be thought of as the transfer of the
classical projective CFO structure on nonnegatively graded chain complexes via
the tangent functor. In particular, the weak equivalences are precisely the
–quasi-isomorphisms.
Along the way, we give explicit constructions for pullbacks and factorizations of
–morphisms between
finite-type Lie
–algebras.
We also analyze Postnikov towers and Maurer–Cartan/deformation functors associated to such
Lie
–algebras.
The main application of this work is our joint paper with C Zhu (1127–1219), which characterizes
the compatibility of Henriques’ integration functor with the homotopy theory of Lie
–algebras and that
of Lie
–groups.
PDF Access Denied
We have not been able to recognize your IP address
3.140.185.123
as that of a subscriber to this journal.
Online access to the content of recent issues is by
subscription, or purchase of single articles.
Please contact your institution's librarian suggesting a subscription, for example by using our
journal-recommendation form.
Or, visit our
subscription page
for instructions on purchasing a subscription.
