nLab
model structure on cosimplicial rings

Idea

The standard model category structure on cosimplicial objects in unital, commutative algebras over $k$.

Under the monoidal Dold-Kan correspondence this is Quillen equivalent to the model structure on commutative non-negative cochain dg-algebras.

Definition

Write ${\mathrm{Alg}}_k^{\Delta }$ for the category of cosimplicial objects in the category of unital, commutative $k$-algebras. Sending algebras to their underlying $k$-modules yields a forgetful functor

$$U:{\mathrm{Alg}}_k^{\Delta }\to k{\mathrm{Mod}}^{\Delta }.$$U : Alg_k^\Delta \to k Mod^\Delta \,.

The model category structure

The Dold-Kan correspondence provides the normalized cochain complex (Moore complex) functor

$$N:k{\mathrm{Mod}}_k^{\Delta }\to {\mathrm{Ch}}^{•}(k{)}_{+}.$$N : k Mod_k^\Delta \to Ch^\bullet(k)_+ \,.

Define a morphism $f:A\to B$ of cosimplicial algebras is a morphism is a weak equivalence if

$$N(U(f)):N(U(A))\to N(U(B))$$N(U(f)) : N(U(A)) \to N(U(B))

is a quasi-isomorphism in ${\mathrm{Ch}}_{+}^{•}(k)$.

Say a morphism of cosimplicial algebras is a fibration if it is a monomorphism (degreewise surjection).

This defines the projective model category structure on ${\mathrm{Alg}}_k^{\Delta }$.

The simplicial model category structure

There is also the structure of an sSet-enriched category of ${\mathrm{Alg}}_k^{\Delta }$.

For $X$ a simplicial set and $A\in {\mathrm{Alg}}_k$ let $A^X\in {\mathrm{Alg}}_k^{\Delta }$ be the corresponding $A$-valued cochains on simplicial sets

$$A^X:[n]\mapsto \prod _{X_n}{A}_n.$$A^X : [n] \mapsto \prod_{X_n} A_n \,.

If we write $C(X):={\mathrm{Hom}}_{\mathrm{Set}}(X_{•},k)$ for the cosimplicial algebra of cochains on simplicial sets then this may be written as

$$A^X:=A\otimes C(X)$$A^X := A \otimes C(X)

where the tensor product is the degreewise tensor product of $k$-algebras.

For $A,B\in {\mathrm{Alg}}_k^{\Delta }$ define the sSet-hom-object ${\mathrm{Alg}}_k^{\Delta }(A,B)$ by

$${\mathrm{Alg}}_k^{\Delta }(A,B):={\mathrm{Hom}}_{\mathrm{sSet}}(A,B^{\Delta [•]})={\mathrm{Hom}}_{\mathrm{sSet}}(A,B\otimes C(\Delta [•]))\in \mathrm{sSet}.$$Alg_k^\Delta(A,B) := Hom_{sSet}(A, B^{\Delta[\bullet]}) = Hom_{sSet}(A, B \otimes C(\Delta[\bullet])) \in sSet \,.

This makes ${\mathrm{Alg}}_k^{\Delta }$ into a simplicially enriched category which is tensored and cotensored over $\mathrm{sSet}$.

And this is compatible with the model category structure:

Theorem

With the definitions as above, ${\mathrm{Alg}}_k^{\Delta }$ is a simplicial model category.

Proof

To06, theorem 2.1.2

Under the monoidal Dold-Kan correspondence this is related to the model structure on commutative non-negative cochain dg-algebras.

References

Details are in section 2.1 of

• Bertrand Toen, Affine stacks (Champs affines) (arXiv:math/0012219) .

See also

• Goerrs, Jardine, Simplicial homotopy theory

The generalization to arbitrary cosimplicial rings is proposition 9.2 of

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

There also aspects of relation to the model structure on dg-algebras is discussed. (See monoidal Dold-Kan correspondence for more on this).