nLab model structure on dg-Lie algebras

Contents

Context

Model category theory

model category, model \infty -category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (,1)(\infty,1)-categories

Model structures

for \infty-groupoids

for ∞-groupoids

for equivariant \infty-groupoids

for rational \infty-groupoids

for rational equivariant \infty-groupoids

for nn-groupoids

for \infty-groups

for \infty-algebras

general \infty-algebras

specific \infty-algebras

for stable/spectrum objects

for (,1)(\infty,1)-categories

for stable (,1)(\infty,1)-categories

for (,1)(\infty,1)-operads

for (n,r)(n,r)-categories

for (,1)(\infty,1)-sheaves / \infty-stacks

\infty-Lie theory

∞-Lie theory (higher geometry)

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Related topics

Examples

\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras

Contents

Idea

dg-Lie algebras may be thought of (see here) as the “strict” strong homotopy Lie algebras. As such they support a homotopy theory. The model category structure on dg-Lie algebras is one way to present this homotopy theory. This is used for instance in deformation theory, see at formal moduli problems.

For dg-Lie algebras in positive degree and over the rational numbers this model structure, due to (Quillen 69, theorem II) is one of the algebraic models for presenting rational homotopy theory (see there) of simply connected topological spaces.

Definition

Proposition

There exists a model category structure (dgLie k) proj(dgLie_k)_{proj} on the category dgLie kdgLie_k of dg-Lie algebras over a commutative ring kk \supset \mathbb{Q} such that

For dg-Lie algebras in degrees n1 \geq n \geq 1, this is due to Quillen 69. For unbounded dg-Lie algebras this is due to (Hinich 97).

This becomes a simplicial category with simplicial mapping spaces given by

dgLie(𝔤,𝔥)([k]Hom dgLie(𝔤,Ω (Δ k)𝔥)), dgLie(\mathfrak{g}, \mathfrak{h}) \coloneqq ([k] \mapsto Hom_{dgLie}(\mathfrak{g} , \Omega^\bullet(\Delta^k) \otimes\mathfrak{h})) \,,

where

(Hinich 97, 4.8.2, following Bousfield & Gugenheim 1976)

This enrichment satisfies together with the model structure some of the properties of a simplicial model category (Hinich 97, 4.8.3, 4.8.4), but not all of them.

Properties

Relation to L L_\infty-algebras

dg-Lie algebras with this model structure are a rectification of L-∞ algebras: for LieLie the Lie operad and Lie^\widehat Lie its standard cofibrant resolution, algebras over an operad over LieLie in chain complexes are dg-Lie algebras and algebras over Lie^\widehat Lie are L-∞ algebras and by the rectification result discussed at model structure on dg-algebras over an operad there is an induced Quillen equivalence

Alg(Lie^)Alg(Lie) Alg(\widehat Lie) \stackrel{\simeq}{\to} Alg(Lie)

between the model structure for L-∞ algebras which is transferred from the model structure on chain complexes (unbounded propjective) to the above model structure on chain complexes.

There is also a Quillen equivalence from the model structure on dg-Lie algebras to the model structure on dg-coalgebras. This is part of a web of Quillen equivalences that identifies dg-Lie algebra/L L_\infty-algebras with infinitesimal derived ∞-stacks (“formal moduli problems”). More on this is at model structure for L-∞ algebras.

Specifically, there is (Quillen 69) an adjunction

(i):dgLieidgCoCAlg (\mathcal{R} \dashv i) \;\colon\; dgLie \stackrel{\overset{\mathcal{R}}{\leftarrow}}{\underset{i}{\to}} dgCoCAlg

between dg-coalgebras and dg-Lie algebras, where the right adjoint is the (non-full) inclusion that regards a dg-Lie algebra as a differential graded coalgebra with co-binary differential, and where the left adjoint \mathcal{R} (“rectification”) sends a dg-coalgebra to a dg-Lie algebra whose underlying graded Lie algebra is the free Lie algebra on the underlying chain complex. Over a field of characteristic 0, this adjunction is a Quillen equivalence between the model structure for L-∞ algebras on dgCoCAlgdgCoCAlg and the model structure on dgLiedgLie (Hinich 98, theorem 3.2).

In particular, therefore the composite ii \circ \mathcal{R} is a resolution functor for L L_\infty-algebras.

For more see at relation between L-∞ algebras and dg-Lie algebras.

Relation to dg-coalgebras

Via the above relation to L L_\infty-algebras, dg-Lie algebras are also connected by a composite adjunction to dg-coalgebras. We dicuss the direct adjunction.

Throughout, let kk be of characteristic zero.

Definition

(Chevalley-Eilenberg dg-coalgebra)

Write

CE:dgLieAlg kdgCocAlg k CE \;\colon\; dgLieAlg_{k} \longrightarrow dgCocAlg_k

for the Chevalley-Eilenberg algebra functor. It sends a dg-Lie algebra (𝔤,,[,])(\mathfrak{g}, \partial, [-,-]) to the dg-coalgebra

CE(𝔤,,[,])( 𝔤[1],D=+[,]), CE(\mathfrak{g},\partial,[-,-]) \;\coloneqq\; \left( \vee^\bullet \mathfrak{g}[1] ,\; D = \partial + [-,-] \right) \,,

where on the right the extension of \partial and [,][-,-] to graded derivations is understood.

For dg-Lie algebras concentrated in degrees n1 \geq n \geq 1 this is due to (Quillen 69, appendix B, prop 6.2). For unbounded dg-algebras, this is due to (Hinich 98, 2.2.2).

Definition

For (X,D)dgCocalg k(X,D) \in dgCocalg_k write

(X,D)(F(X¯[1]),D+(Δ1idid1))dgLieAlg k \mathcal{L}(X,D) \coloneqq \left( F(\overline{X}[-1]),\; \partial \coloneqq D + (\Delta - 1 \otimes id - id \otimes 1) \right) \;\in dgLieAlg_k\;

where

  1. X¯ker(ϵ)\overline{X} \coloneqq ker(\epsilon) is the kernel of the counit, regarded as a chain complex;

  2. FF is the free Lie algebra functor (as graded Lie algebras);

  3. on the right we are extending (Δ1idid1):X¯X¯X¯(\Delta - 1 \otimes id - id \otimes 1) \colon \overline{X} \to \overline{X} \otimes \overline{X} as a Lie algebra derivation

For dg-Lie algebras concentrated in degrees n1 \geq n \geq 1 this is due to (Quillen 69, appendix B, prop 6.1). For unbounded dg-algebras, this is due to (Hinich 98, 2.2.1).

Proposition

The functors from def. and def. are adjoint to each other:

dgLieAlg kCEdgCocAlg k. dgLieAlg_k \underoverset {\underset{CE}{\longrightarrow}} {\overset{\mathcal{L}}{\longleftarrow}} {\bot} dgCocAlg_k \,.

Moreover, for XdgCocAlg kX \in dgCocAlg_k and 𝔤dgLieAlg k\mathfrak{g} \in dgLieAlg_k then the adjoint hom sets are naturally isomorphic

Hom((X),𝔤)Hom(X,CE(𝔤))MC(Hom(X¯,𝔤)) Hom(\mathcal{L}(X), \mathfrak{g}) \simeq Hom(X, CE(\mathfrak{g})) \simeq MC(Hom(\overline{X},\mathfrak{g}))

to the Maurer-Cartan elements in the Hom-dgLie algebra from X¯\overline{X} to 𝔤\mathfrak{g}.

For dg-Lie algebras concentrated in degrees n1 \geq n \geq 1 this is due to (Quillen 69, appendix B, somewhere). For unbounded dg-algebras, this is due to (Hinich 98, 2.2.5).

Proposition

The adjunction (CE)(\mathcal{L} \dashv CE) from prop. is a Quillen adjunction between then projective model structure on dg-Lie algebras as the model structure on dg-coalgebras

(dgLieAlg k) projCE(dgCocAlg k) Quillen. (dgLieAlg_k)_{proj} \underoverset {\underset{CE}{\longrightarrow}} {\overset{\mathcal{L}}{\longleftarrow}} {\bot} (dgCocAlg_k)_{Quillen} \,.

(Hinich 98, lemma 5.2.2, lemma 5.2.3)

Moreover:

Proposition

In non-negatively graded dg-coalgebras, both Quillen functors (CE)(\mathcal{L} \dashv CE) from prop. preserve all quasi-isomorphisms, and both the adjunction unit and the adjunction counit are quasi-isomorphisms.

For dg-algebras in degrees n1\geq n \geq 1 this is (Quillen 76, theorem 7.5). In unbounded degrees this is (Hinich 98, prop. 3.3.2)

Theorem

The Quillen adjunctin from prop. is a Quillen equivalence:

(dgLieAlg k) proj qu QuCE(dgCocAlg k) Quillen. (dgLieAlg_k)_{proj} \underoverset {\underset{CE}{\longrightarrow}} {\overset{\mathcal{L}}{\longleftarrow}} {{}_{\phantom{qu}}\simeq_{Qu}} (dgCocAlg_k)_{Quillen} \,.

(Hinich 98, theorem 3.2) using (Quillen 76 II 1.4)

Relation to simplicial Lie algebras

The normalized chains complex functor from simplicial Lie algebras constitutes a Quillen adjunction from the projective model structure on simplicial Lie algebras, see there.

References

The model structure on dg-Lie algebras in characteristic zero and in degrees n1\geq n \geq 1 goes back to

  • Dan Quillen, section II.5 and appendix B of Rational homotopy theory, Annals of Math., 90(1969), 205–295 (JSTOR, pdf)

This is extended to a model structure on dg-Lie algebras in unbounded degrees in

and the corresponding Quillen adjunction to the model structure on dg-coalgebras in unbounded degrees is discussed in

  • Vladimir Hinich, DG coalgebras as formal stacks, Journal of Pure and Applied Algebra Volume 162, Issues 2–3, 24 August 2001, Pages 209–250 (arXiv:math/9812034)

See also section 2.1 of

Review with discussion of homotopy limits and homotopy colimits is in

Last revised on April 23, 2023 at 09:54:33. See the history of this page for a list of all contributions to it.