nLab
model structure on cosimplicial rings

Context

Model category theory

model category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

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

Model structures

for \infty-groupoids

for ∞-groupoids

for nn-groupoids

for \infty-groups

for \infty-algebras

general

specific

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

Contents

Idea

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

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

Definition

Write Alg k ΔAlg_k^\Delta for the category of cosimplicial objects in the category of unital, commutative kk-algebras. Sending algebras to their underlying kk-modules yields a forgetful functor

U:Alg k ΔkMod Δ. 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:kMod k ΔCh (k) +. N : k Mod_k^\Delta \to Ch^\bullet(k)_+ \,.

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

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

is a quasi-isomorphism in Ch + (k)Ch^\bullet_+(k).

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

This defines the projective model category structure on Alg k ΔAlg_k^\Delta.

The simplicial model category structure

There is also the structure of an sSet-enriched category of Alg k ΔAlg_k^\Delta.

Definition

For XX a simplicial set and AAlg kA \in Alg_k let A XAlg k ΔA^X \in Alg_k^\Delta be the corresponding AA-valued cochains on simplicial sets

A X:[n] X nA n. A^X : [n] \mapsto \prod_{X_n} A_n \,.
Remark

If we write C(X):=Hom Set(X ,k)C(X) := Hom_{Set}(X_\bullet,k) for the cosimplicial algebra of cochains on simplicial sets then for XX degreewise finite this may be written as

A X=AC(X) A^X = A \otimes C(X)

where the tensor product is the degreewise tensor product of kk-algebras.

See also CasCor, p. 10.

Definition

For A,BAlg k ΔA,B \in Alg_k^\Delta define the sSet-hom-object Alg k Δ(A,B)Alg_k^\Delta(A,B) by

Alg k Δ(A,B):=Hom sSet(A,B Δ[])=Hom sSet(A,BC(Δ[]))sSet. Alg_k^\Delta(A,B) := Hom_{sSet}(A, B^{\Delta[\bullet]}) = Hom_{sSet}(A, B \otimes C(\Delta[\bullet])) \in sSet \,.
Remark

For BAlg kB \in Alg_k regarded as a constant cosimplicial object under the canonical embedding Alg kAlg k ΔAlg_k \hookrightarrow Alg_k^\Delta we have

Alg k Δ(A,B Δ[n])=Alg k Δ(A,BC(Δ[n]))Alg k(A n,B). Alg_k^\Delta(A, B^{\Delta[n]}) = Alg_k^\Delta(A, B \otimes C(\Delta[n])) \simeq Alg_k(A_n,B) \,.
Proof

Let f:ABC(Δ[n])f : A \to B \otimes C(\Delta[n]) be a morphism of cosimplicial algebras and write

f n:A nB f_n : A_n \to B

for the component of ff in degree nn with values in the copy B=BkB = B \otimes k of functions kk on the unique non-degenerate nn-simplex of Δ[n]\Delta[n]. The n+1n+1 coface maps C(Δ[n]) nC(Δ[n]) n1C(\Delta[n])_n \leftarrow C(\Delta[n])_{n-1} obtained as the pullback of the (n+1)(n+1) face inclusions Δ[n1]Δ[n]\Delta[n-1] \to \Delta[n] restrict on the non-degenerate (n1)(n-1)-cells to the n+1n+1 projections kk n+1:p ik \leftarrow k^{n+1} : p_i.

Accordingly, from the naturality squares for ff

A n f n B δ i p i A n1 f n1 B n+1 \array{ A_n &\stackrel{f_n}{\to}& B \\ \uparrow^{\mathrlap{\delta_i}} && \uparrow^{\mathrlap{p_i}} \\ A_{n-1} &\stackrel{f_{n-1}}{\to}& B^{n+1} }

the bottom horizontal morphism is fixed to have components

f n1=(f nδ 0,,f nδ n)f_{n-1} = (f_n \circ \delta_0, \cdots, f_n \circ \delta_n)

in the functions on the non-degenerate simplices.

By analogous reasoning this fixes all the components of ff in all lower degrees with values in the functions on degenerate simplices.

The above sSet-enrichment makes Alg k ΔAlg_k^\Delta into a simplicially enriched category which is tensored and cotensored over sSetsSet.

And this is compatible with the model category structure:

Theorem

With the definitions as above, Alg k ΔAlg_k^\Delta is a simplicial model category.

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

See also

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).

Revised on September 18, 2014 09:43:04 by Urs Schreiber (185.26.182.29)