nLab
model structure on dg-algebras

By the dual Dold-Kan correspondence cochain complexes in non-negative degree are equivalent to cosimplicial abelian groups. Moreover, the monoidal Dold-Kan correspondence maps cosimplicial algebras to dg-algebras, but this is no longer an equivalence of ordinary categories. It should, however, be an equivalence of the full (∞,1)-categories of these objects. This, in turn, should be modeled by a model category structures.

The model structure on dg-algebras is such a model.

Definition

Write $dgAlg$ for the category of dg-algebras over a field $k$ of characteristic 0. Write $C dgAlg \subset dgAlg$ for the subcategory of (graded-)commutative dg-algebras.

Definition

The projective model category structure on $C dgAlg$ and on $dgAlg$ is given by setting:

weak equivalences are the quasi-isomorphisms
fibrations are the degreewise surjections.

Proposition

This indeed defines a model category.

At least on $C dgAlg$ this is a cofibrantly generated model category.

Proof

See the references below.

Remark

(category of fibrant objects)

Evidently every object in $dgAlg$ and in $C dgAlg$ is fibrant. Therefore these model categories structures are in particular also structures of a category of fibrant objects.

The nature of the cofibrations is discussed below.

Cofibrations: Sullivan algebras

In this section we describe the cofibrations in the model structure on $C {dgAlg}_{ℕ}$ of non-negatively graded dg-algebras. Notice that it is these that are in the image of the dual monoidal Dold-Kan correspondence.

Before we characterize the cofibrations, first some notation.

For $V$ a $ℤ$ -graded vector space write $\land^{•} V$ for the Grassmann algebra over it. Equipped with the trivial differential $d = 0$ this is a semifree dga $(\land^{•} V, d = 0)$ .

With $k$ our ground field we write $(k,0)$ for the corresponding dg-algebra, the tensor unit for the standard monoidal structure on $dgAlg$ . This is the Grassmann algebra on the 0-vector space $(k,0) = (\land^{•} 0, 0)$ .

Definition

(Sullivan algebras)

A relatived Sullivan algebra is a morphism of dg-algebras that is an inclusion

(A, d) \to (A \otimes_{k} \land^{•} V, d')

for $(A, d)$ some dg-algebra and for $V$ some graded vector space, such that

there is a well ordered set $J$
indexing a basis ${v_{α} \in V ∣ α \in J}$ of $V$ ;
such that with $V_{< β} = span (v_{α} ∣ α < β)$ for all basis elements $v_{β}$ we have that

$d' v_{β} \in A \otimes \land^{•} V_{< β} .$ d' v_\beta \in A \otimes \wedge^\bullet V_{\lt \beta} \,.

This is called a minimal relative Sullivan algebra if in addition the condition

(α < β) \Rightarrow (\deg v_{α} \leq \deg v_{β})

holds. For a Sullivan algebra $(k,0) \to (\land^{•} V, d)$ relative to the tensor unit we call the semifree dga $(\land^{•} V, d)$ simply a Sullivan algebra. And a minimal Sullivan algebra if $(k,0) \to (\land^{•} V, d)$ is a minimal relative Sullivan algebra.

Remark

Sullivan algebras were introduced by Dennis Sullivan in his development of rational homotopy theory. This is one of the key application areas of the model structure on dg-algebras.

Remark

( $L_{∞}$ -algebras)

Because they are semifree dgas, Sullivan dg-algebras $(\land^{•} V, d)$ are (at least for degreewise finite dimensional $V$ ) Chevalley-Eilenberg algebras of L-∞-algebras.

The co-commutative differential co-algebra encoding the corresponding L-∞-algebra is the free cocommutative algebra $\lor^{•} V^{*}$ on the degreewise dual of $V$ with differential $D = d^{*}$ , i.e. the one given by the formula

ω (D (v_{1} \lor v_{2} \lor \dots v_{n})) = - (d ω) (v_{1}, v_{2}, \dots, v_{n})

for all $ω \in V$ and all $v_{i} \in V^{*}$ .

Proposition

(cofibrations are relative Sullivan algebras)

The cofibration in $C {dgAlg}_{ℕ}$ are precisely the retracts of relative Sullivan algebras $(A, d) \to (A \otimes_{k} \land^{•} V, d')$ .

Accordingly, the cofibrant objects in $C dgAlg$ are precisely the Sullivan algebras $(\land^{•} V, d)$

Definition

(sphere and disk algebras)

Write $k [n]$ for the graded vector space which is the ground field $k$ in degree $n$ and 0 in all other degrees. For $n \in ℕ$ , consider the semifree dgas

S (n) : = (\land^{•} k [n], 0)

and for $n \geq 1$ the semifree dga

D (n) : = {\begin{matrix} 0 & (n = 0) \\ (\land^{•} (k [n + 1] \oplus k [n]), 0) & (n > 0) \end{matrix} .

Write

i_{n} : S (n) \to D (n)

for the obvious morphism that takes the generator in degree $n$ to the generator in degree $n$ (and for $n = 0$ it is the unique morphism from the initial object $(0,0)$ ).

For $n > 0$ write

j_{n} : 0 \to D (n) .

Definition

(generating cofibrations)

The sets

I = {i_{n}}_{n} \cup {S (0) \to 0}

and

J = {j_{n}}_{n > 0}

are sets of generating cofibrations and acyclic cofibrations, respectively, exhibiting $C dgAlg$ as a cofibrantly generated model category.

Commutative vs. non-commutative dg-algebras

Observation

The forgetful functor

F : CdgAlg \to dgAlg

from (graded-)commutative dg-algebras to dg-algebras is the right adjoint part of a Quillen adjunction

Ab : dgAlg \overset{\leftarrow}{\to} CdgAlg : F

Proof

The forgetful functor clearly preserves fibrations and cofibrations. It has a left adjoint, the free abelianization functor $Ab$ , which sends a dg-algebra $A$ to its quotient $A / [A, A]$ .

Theorem

Let the ground ring $k$ be a field of characteritsic 0. Then every dg-algebra $A$ which has the structure of an algebra over the E-∞ operad has a dg-algebra morphism $A \to A_{c}$ to a commutative dg-algebra $A_{c}$ which is

a morphism of E-∞ algebras (where $A_{c}$ has the obvious E-∞ algebras structure)
a weak weak equivalence in the model structure on dg-algebras (i.e. a quasi-isomorphism of the underlying cochain complexes).

So this says that the weak equivalence classes of the commutative dg-algebras in the model category of all dg-algebras already exhaust the most general non-commutative but homotopy-commutative dg-algebras.

Proof

This is in II.1.5 of

Igor Kriz and Peter May, Operads, algebras, modules and motives , Astérisque No 233 (1995)

References

The cofibrantly generated model structure on commutative dg-algebras is surveyed usefully for instance on p. 6 of

Kathryn Hess, Rational homotopy theory: a brief introduction (arXiv)

This makes use of the general discussion in section 3 of

Paul Goerss, Kirsten Schemmerhorn, Model categories and simplicial methods Notes from lectures given at the University of Chicago, August 2004 (arXiv)

that obtains the model structure from the model structure on chain complexes.

A standard textbook reference is section V.3 of

Sergei Gelfand, Yuri Manin, Methods of homological algebra, transl. from the 1988 Russian (Nauka Publ.) original. Springer 1996. xviii+372 pp. 2nd corrected ed. 2002.

An original reference seems to be

A. Bousfield, V. Gugenheim, On PL deRham theory and rational homotopy type Memoirs of the AMS 179 (1976)

For general non-commutative (or rather: not necessarily graded-commutative) dg-algebras a model structure is given in

J.F. Jardine, A Closed Model Structure for Differential Graded Algebras , Cyclic Cohomology and Noncommutative Geometry, Fields Institute Communications, Vol. 17, AMS (1997), 55-58.

This is also the structure used in

J.L. Castiglioni G. Cortiñas, Cosimplicial versus DG-rings: a version of the Dold-Kan correspondence (arXiv)

where aspects of its relation to the model structure on cosimplicial rings is discussed. (See monoidal Dold-Kan correspondence for more on this).

Revised on February 28, 2010 20:37:14 by Urs Schreiber (87.212.203.135)

nLab model structure on dg-algebras

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (∞,1)-categories

Model structures

for ∞-groupoids

for (∞,1)-categories

for (∞,1)-operads

for (n,r)-categories

for ∞-sheaves / ∞-stacks

Contents

Idea

Definition

Definition

Proposition

Proof

Remark

Cofibrations: Sullivan algebras

Definition

Remark

Remark

Proposition

Definition

Definition

Commutative vs. non-commutative dg-algebras

Observation

Proof

Theorem

Proof

References

nLab
model structure on dg-algebras

Presentation of $(∞,1)$ -categories

for $∞$ -groupoids

for $(∞,1)$ -categories

for $(∞,1)$ -operads

for $(n, r)$ -categories

for $∞$ -sheaves / $∞$ -stacks