Cohomology of Homotopy Colimits of Simplicial Sets and Small Categories

: This paper deals with well-known weak homotopy equivalences that relate homotopy colimits of small categories and simplicial sets. We show that these weak homotopy equivalences have stronger cohomology-preserving properties than for local coefﬁcients


Introduction
Since the 1980 paper by Thomason [1], we know that the categories SSet, of simplicial sets, and Cat, of small categories, are equivalent from a homotopical point of view.Indeed, there are several basic functorial constructions by which one can pass freely between these categories, preserving all the homotopy invariants of their objects and morphisms.For instance, we have the functor N : Cat → SSet which assigns to each small category C its nerve N(C), and the functor ∆ : SSet → Cat sending each simplicial set X to its category of simplices ∆(X).
Nevertheless, there are interesting algebraic constructions, both on simplicial sets and on small categories, that are not invariants of their homotopy type.This is the case for Gabriel-Zisman cohomology groups H n (X, A) ( [2] Appendix II), of simplicial sets X with arbitrary coefficient systems on them, that is, with coefficients in abelian group valued functors A : ∆(X) → Ab.Recall from Quillen ([3] II §3, Prop.4) that a simplicial map f : Y → X is a weak homotopy equivalence if and only if it induces an equivalence of fundamental groupoids Π(X) Π(Y), as well isomorphisms H n (X, A) ∼ = H n (Y, f * A), for all n ≥ 0, whenever A is a local coefficient system on X, that is, whenever A is a morphism-inverting functor or, equivalently, if A : Π(X) → Ab is actually an abelian group valued functor on the fundamental groupoid of X.Similarly, Baues-Wirsching cohomology groups H n (C, A) [4], of a small category C with coefficients in natural systems A on it, that is, with coefficients in abelian group valued functors on its category of factorizations A : F(C) → Ab, are homotopy invariants of C only for local coefficients A : Π(C) → Ab.
There are, however, some particular weak homotopy equivalences that have a stronger conservation property of cohomology than for local coefficients.For instance, for any small category C, the morphism between end vertices functor e : ∆N(C) → F(C) is a weak homotopy equivalence of categories which induces isomorphisms H n (C, A) ∼ = H n (N(C), e * A) for any natural system of coefficients A on C. The aim of this paper is to prove that two relevant and well-known weak homotopy equivalences have similar strong cohomology-preserving properties.These come respectively associated to diagrams of small categories and simplicial sets.The first of them arises from the seminal Homotopy Colimit Theorem by Thomason ([5] Theorem 1.2).This theorem states that, for any indexing small category C and any functor F : C op → Cat, there is a natural weak homotopy equivalence of simplicial sets η : hocolim C NF → N( C F ) between the homotopy colimit of the C-diagram of simplicial sets NF, obtained by applying the nerve construction N(F(c)) to each category F(c), and the nerve of the category obtained by applying the Grothendieck construction on F, see (9) below for details.Thus, the Grothendieck construction on a diagram of small categories represents its homotopy colimit with respect to the Thomason model structure in Cat [1].Since one easily sees that the simplicial map η induces an isomorphism between the associated fundamental groupoids Π(hocolim C NF) ∼ = Π(N C F) = Π( C F) (see ([5] p. 95)), Thomason's theorem is actually equivalent to the fact that η induces isomorphisms for every local coefficient system A : Π( C F) → Ab on the category C F. We prove here the following stronger result.
The proof we give of this theorem is independent of that given by Thomason in [5] of his Homotopy Colimit Theorem, so that this latter appears now as a consequence.
Going in the opposite direction, we also consider diagrams of simplicial sets.For any functor G : C op → SSet, there is a known natural weak homotopy equivalence in Cat µ : ∆(hocolim C G) → C ∆G , between the category of simplices of the homotopy colimit of G and the Grothendieck construction on the diagram of small categories ∆G, obtained by applying the category of simplices construction ∆(G(c)) to each simplicial set G(c), see Equation (29) below for details.Then, for any local coefficient system A : Π( C ∆G) → Ab, the functor µ induces isomorphisms Our second main result in the paper is the following.
We show several consequences of the above theorems.For instance, given a functor F : C op → Cat and a natural system A on C F, for any morphism u : c → c in C, there is an induced natural system ι * u A on the category F(c).We describe a first quadrant spectral sequence where H q (F, ι * A) is the natural system on C that assigns to each morphism u : c → c the cohomology group H q (F(c), ι * u A).This spectral sequence reduces to that constructed by Pirashvili-Redondo in ([6] Theorem 5.2) when the natural system of coefficients A is h-local (see also Gálvez-Neumann-Tonks ( [7] Theorem 2.5) and ([8] Theorem 2.16)).In the other direction, given a functor G : C op → SSet, for a coefficient system A on C ∆G and an object c of C, there is an induced coefficient system ι * c A on the simplicial set G(c).We describe a Bousfield-Kan type first quadrant spectral sequence (cf.([9] XII, 4.5, 5.8)) where H q (G, ι * A) : C → Ab is the functor that assigns to each object c of C the cohomology group H q (G(c), ι * c A). Various invariance results appears here as corollaries.Some of them are already known, such as the Invariance Theorem by  Theorem 2.3), but others are new.For example, if F, F : C op → Cat are diagrams of categories and ν : F ⇒ F a natural transformation such that every functor ν c : F (c) → F(c), c ∈ ObC, is a weak homotopy equivalence having the Baues-Wirsching cohomology-preserving property, then the induced C ν : C F → C F is also a weak homotopy equivalence with the same cohomology-preserving property.
The plan of the paper is simple.After this introductory section, the preliminary Section 2 comprises some notations and a brief review of notions and facts concerning cohomology of small categories and simplicial sets, and Sections 3 and 4 are essentially dedicated to proving Theorems 1 and 2 above, respectively.Although the proofs of both theorems follow a similar strategy, they are independent.

Preliminaries
This section aims to make this paper as self-contained as possible; hence, at the same time as fixing notations and terminology, we review some needed constructions and facts concerning cohomology of small categories and simplicial sets.
Throughout the paper, the composition of maps between sets, homomorphisms between abelian groups, and functors between categories, is written by juxtaposition.The composition of arrows in any abstract small category C is denoted by the symbol •.

Cohomology of Small Categories
If C is any small category, then the category of C-modules, denoted C-Mod, has as objects the abelian group valued functors A : C → Ab, with morphisms the natural transformations between them.If A is any C-module and u : a → b is a morphism in C, then we write the associated homomorphism A(u) by u * : A(a) → A(b).
The category C-Mod is abelian.We refer to Mac Lane ([11] Chapter IX, §3) for details, but recall that the set of morphisms between two C-modules A and A , denoted by Hom C (A, A ), is an abelian group by pointwise addition, that is, if f , g : A → A are morphisms, then f + g : A → A is defined by setting ( f + g) a = f a + g a , for each object a ∈ ObC.The zero C-module is the constant functor 0 : C → Ab defined by the trivial abelian group 0, and a sequence of C-modules A → A → A is exact if and only if all the induced sequences of abelian groups A(a) → A (a) → A (a) are exact.
Furthermore, the category C-Mod has enough projective objects.A way to see this is by means of free C-modules: There is a forgetful functor U : C-Mod → Set↓ ObC , from the category of C-modules to the comma category of sets over the set of objects of C, which carries a C-module A to the disjoint union set endowed with the projection map π : U A → ObC, given by π(a, x) = a.
).This functor U has a left adjoint, the free C-module functor, F : Set↓ ObC → C-Mod, which is defined as follows.
If S = (S, π : S → ObC) is any set over ObC, then is the C-module that assigns to each a ∈ ObC the free abelian group F S(a) = Z{(s, u)} with generators all pairs (s, u) consisting of an element s ∈ S together with a morphism u : πs → a of C. We usually write (s, id πs ) simply by s, so that each element of s ∈ S is regarded as an element of F S(πs).For any morphism v : a → b in C, the homomorphism v * : F S(a) → F S(b) is defined on generators by v * (s, u) = (s, v • u).Thus, for any generator (s, u) of F S(a), we have the equality u * (s) = (s, u), where u * : F S(πs) → FS(a) is the homomorphism induced by u.If λ : S → S is any map of sets over ObC (so that π λ = π), the induced F λ : F S → F S is the morphism whose component at an object a of C is the homomorphism (F λ) a : F S(a) → F S (a) such that (F λ) a (s, u) = (λ(s), u).
Proposition 1.The functor F is left adjoint to the functor U .Thus, for S = (S, π) any set over ObC and any C-module A, there is a natural isomorphism Proof.This follows from the Yoneda Lemma.For any list ϕ ∈ ∏ s∈S A(πs), the unique morphism of C-modules f : F S → A such that f πs (s) = ϕ(s), for all s ∈ S, consists of the homomorphisms f a : F S(a) → A(a), a ∈ ObC, defined on generators by f a (s, u) = u * ϕ(s).
From the above proposition, it is plain to see that any free C-module is projective and, moreover, the counit F U A → A is a projective presentation of any C-module A.
Let Z : C → Ab be the C-module that associates to each a ∈ ObC the free abelian group on the generator a, and to each morphism u : a → b the isomorphism of abelian groups u * : Z(a) → Z(b) such that u * a = b.This is isomorphic to the constant functor on C defined by the abelian group Z.

Baues-Wirsching Cohomology of Small Categories
If C is any small category, its category of factorizations, F(C), is the category whose objects are the morphisms u : a → b in C, and whose morphisms (v, v ) : u → u are pairs of morphisms of C such that v • u • v = u , that is, making commutative the square below.
Composition is given by the formula (w, w ) The identity arrow at any u : a → b is the pair (1 a , 1 b ) : u → u.In [4], Baues and Wirsching call such F(C)-modules by the name of natural systems on C, and they define the cohomology groups H n (C, A) of C with coefficients in a natural system A to be those of its category of factorizations (see ([4] Theorem (4.4))): we denote the induced homomorphisms (v, 1 a ) * and (1 c , u) * briefly by respectively.Thus, for any composible arrows a u / / b v / / c w / / d , the equalities below hold.
(w, u) Baues-Wirsching cohomology recovers the cohomology of a small category C with coefficients in C-modules, as follows.There is a canonical target functor By composing with this functor t, every C-module A gives rise to a natural system on C, which is equally denoted A. This way, every C-module A is regarded as a natural system on C and, by ([4] Proposition (8.5)), there are natural isomorphisms Ext n C (Z, A) ∼ = Ext n F(C) (Z, A), so that both Equations ( 3) and ( 4), for coefficients in C-modules, are the same.

Cohomology of Simplicial Sets
As usual, let ∆ denote the simplicial category, whose objects are the finite ordered sets n = {0, 1, . . ., n}, and morphisms the weakly order-preserving maps between them.The coface maps are denoted by Recall that these are the injections that omit the ith element.We denote by SSet the category of simplicial sets.If X : ∆ op → Set is any simplicial set, for any map α : m → n in ∆, we write the attached map X(α) : X(n) → X(m) by α * : X n → X m .In particular, the face maps (d i ) * are denoted by The category of simplices of a simplicial set X is denoted by ∆(X).This has as objects the pairs (n, x) where n ∈ ∆ and x ∈ X n , and an arrow α : (m, x ) → (n, x) is map α : m → n in ∆ such that α * x = x .The assignment X → ∆(X) is the function on objects of a functor ∆ : SSet → Cat, from the category of simplicial sets to the category of small categories, which carries a simplicial map A coefficient system on a simplicial set X is a ∆(X)-module, that is, a functor A : ∆(X) → Ab.To shorten notation, for an object (n, x) of ∆(X), we usually write A(x) instead of A(n, x), leaving understood the dimension n of the simplex x.Thus, if α : (m, α * x) → (n, x) is a morphism in ∆(X), the associated homomorphism is written as α * : A(α * x) → A(x).In particular, for any x ∈ X n , we have the coface homomorphisms The cohomology groups H n (X, A) of a simplicial set X with coefficients ∆(X)-module A are defined to be those of its category of simplices (cf., e.g., Illusie ([12] Chapitre VI §3) and Gabriel-Zisman ( [2] Appendix II)), that is, A is called a local coefficient system on the simplicial set X (see Goerss-Jardine ( [15] Chapter III §1) and Gabriel-Zisman ( [2] Appendix II, 4.7)) whenever, for any map α : m → n of ∆ and any n-simplex x of X, the induced homomorphism Chapter II, §3, Prop.4).However, for arbitrary coefficient systems A on a simplicial set X, the cohomology groups H n (X, A) are not invariants of the homotopy type of X.
The standard cochain complex C(X, A), of a simplicial set X with coefficients in a ∆(X)-module A, consists of the abelian groups In Section 4 below (see Corollary 8) there is a proof of the following well-known fact (see Illusie ([12] Chapitre VI, (3.4.3))) and Gabriel-Zisman ( [2] Appendix II, Prop.4.2).Fact 1.For any coefficient system A on a simplicial set X, there are natural isomorphisms

The Nerve of a Small Category
We usually regard the ordered sets n of ∆ as categories with only one arrow (i, j) : i → j whenever i ≤ j, and the maps α : m → n in ∆ as functors.The nerve N(C) of any small category C is the simplicial set whose n-simplices are the functors σ : n → C, and the map α From now on, we will employ several times the following notation: If σ : n → C is a functor, then we write σ i : σ(i − 1) → σi for the morphism σ(i − 1, i).Thus, for any i < j in n, we have The morphism between end vertices functor is denoted by This carries any object (n, σ) of ∆N(C) to the morphism σ(0, n) : σ0 → σn of C, and carries a morphism α : By composing with this functor e, every natural system A : F(C) → Ab on C produces a coefficient system on the simplicial set N(C), which is denoted also by A. In Section 3 below (see Corollary 1) there is a proof of the following well-known fact (cf.Definition (1.4), Theorem (4.4)), Illusie ([12] Chapitre VI, (3.4.2)), and Gabriel-Zisman ( [2] Appendix II, Proposition 3.3)).
Fact 2. For any natural system A on a small category C, there are natural isomorphisms Let us stress that, after Fact 1, it is implicit in the above Fact 2 that, for any natural system A on C, the cohomology groups H n (C, A) can be computed by means of the standard cochain complex C(N(C), A), which is denoted in [4] by F(C, A).Thus, and the coboundary ∂ : Also, let us point out that the composition of the functors in Equations ( 7) and ( 5), is just the last vertex functor, which sends each object (n, σ) of ∆N(C) to the object σn of C. By composition with it, any C-module defines a coefficient system on N(C) and, in this way, Fact 2 applies to the ordinary cohomology groups of C with coefficients in C-modules.
Remark 2. For a small category C, arbitrary coefficient systems on N(C), that is, arbitrary functors A : ∆N(C) → Ab, are called Thomason natural systems on C by Gálvez-Carrillo-Neumann-Tonks in [8], where the cohomology groups H n (N(C), A) are denoted by H n Th (C, A) and studied under the name of Thomason cohomology groups of the category.

On the Weak Equivalence η : hocolim C NF → N( C F)
Throughout this section, F : C op → Cat denotes a functor, where C is a small category.For a morphism u : a → b of C, we write u * : F(b) → F(a) for the functor F(u).Thus, for any n-simplex σ of N(C), that is, for any functor σ : n → C, we have functors (see Equation ( 6) for the notation)

The Involved Constructions
By composing F with the nerve functor, we get a diagram of simplicial sets NF : C op → SSet, whose homotopy colimit ( [9] Chapter XII, §5) is denoted by hocolim C NF.This simplicial set has as n-simplices pairs of functors (σ, τ), where σ : n → C and τ : n → F(σn) and, for any map In particular, its face operators are given by On the other hand, the Grothendieck construction [5,16,17] on the diagram F yields a small category, denoted by C F, whose objects are pairs (a, x) where a is an object of C and x is an object of F(a).
which carries an n-simplex (σ, τ) of the homotopy colimit to the n-simplex of the nerve of the Grothendieck construction η(σ, τ) : n → C F defined by

A Free Resolution of the Natural System Z over C F
The following construction is key for our main result in this section.Let Ψ = Ψ C (F) be the simplicial replacement construction of Bousfield-Kan ( [9] Chapter XII, §5) on NF: that is, the bisimplicial set whose (p, q)-simplices are pairs of functors (σ, τ) where σ : p → C and τ : q → F(σp).If α : p → p and β : q → q are maps in ∆, the induced maps are defined on a (p, q)-simplex (σ, τ) as above by In particular, its face operators Ψ p−1,q Ψ p,q Now, for each integers p, q ≥ 0, let the set Ψ p,q be endowed with the morphism between end vertices map π : Ψ p,q → ObF( C F), defined by π(σ, τ) = (σ0, σ(0, p) * τ0) σ(0,p), σ(0,p) * τ(0,q) / / σp, τq and let P p,q = F Ψ p,q be the corresponding free F( C F)-module (i.e., free natural system on C F). Thus, for each morphism (u, f ) : (a, x) → (b, y) in C F, is the free abelian group with generators the sextuples (σ, τ, v, g, v , g ), where Note that the latter equations mean that the square in the category C F below commutes.
(σ0, σ(0, p) * τ0) (σ(0,p),σ(0,p) * τ(0,q)) / / (σp, τq) are, respectively, given on generators by These P p,q provide a bisimplicial natural system on C F where, for any maps in the simplicial category, α : p → p and β : q → q, the induced α * h : P p,q → P p ,q and β * v : P p,q → P p,q are the morphisms whose respective components at a morphism (u, f ) : (a, x) → (b, y) of C F are the homomorphisms α * h : P p,q (u, f ) → P p ,q (u, f ) and β * v : P p,q (u, f ) → P p,q (u, f ) respectively defined on generators by In particular, the horizontal and vertical face homomorphisms P p−1,q (u, f ) P p,q (u, f ) act on generators by Let diag P be the complex associated to the simplicial natural system diagonal of P: that is, the cochain complex of natural systems on C F with ( diag P ) n = P n,n , and whose differential Lemma 1. diag P C (F) is a projective resolution of the natural system Z on C F. Therefore, for any natural system A on C F, Proof.Let us write P = P C (F) as in Equation (11).Let : P 0,0 → Z be the morphism of natural systems whose component : P 0,0 (u, f ) → Z(u, f ), at a morphism (u, f ) : (a, x) → (b, y) of C F, is the homomorphism defined on generators by where we have identified any object a 0 of C with the functor σ : 0 → C such that σ0 = a 0 and, similarly, an object x 0 of F(a 0 ) with the functor τ : 0 → F(a 0 ) with τ0 = x 0 .It is easily seen that this morphism : P 0,0 → Z determines an augmentation : diag P Z. Since every natural system P n,n is free, whence projective, it suffices to prove that, for any morphism (u, f ) : (a, x) → (b, y) of C F, the augmented chain complex of abelian groups is exact.To do this, let us fix such a morphism (u, f ) and proceed as follows.
For each q ≥ 0, let P q (u, f ) = Z{(τ, w, w )} be the free abelian group on the set of triples (τ, w, w ) consisting of a functor τ : q → F(b) and morphisms w : τq → u * y and w : x → τ0 of F(a) with f = w • τ(0, q) • w , that is, making commutative the square τ0 τ(0,q) / / τq These P q (u, f ) define a simplicial abelian group P(u, f ), where each map β : q → q of ∆ induces the homomorphism β * : P q (u, f ) → P q (u, f ) defined on generators by In particular, its face homomorphisms d i : P q (u, f ) → P q−1 (u, f ) are defined by This simplicial abelian group P(u, f ) can be endowed with an augmentation over Z(u, f ) by the homomorphism : P 0 (u, f ) Z(u, f ) which acts on generators by (x 0 , x 0 w → u * y, x w → x 0 ) = (u, f ).Let us also denote by P(u, f ) the associated chain complex, in which the differentials ∂ = ∑(−1) i d i are obtained by taking alternating sums.The resulting augmented chain complex of abelian groups admits a contracting homotopy k whence it is exact.Such a contraction k is given by the homomorphisms k −1 : Z(u, f ) → P 0 (u, f ) and k q : P q (u, f ) → P q+1 (u, f ), q ≥ 0 which act on generators by In the above formula, for any functor τ : q → F(a) and any morphism w : τq → u * y, the functor w τ : q + 1 → F(a) is defined by To check that k : id P(u, f ) ⇒ 0 is actually a chain homotopy, we first observe the equalities From these, it is not hard to see that the operators k q satisfy the equations whence the equality ∂k q + k q−1 ∂ = id P q (u, f ) follows for all q ≥ 0. Consider now the simplicial abelian group P(u, f ) as a bisimplicial abelian group which is constant in the horizontal direction.Then, the homomorphisms : P 0,q (u, f ) P q (u, f ) defined on generators by determine a bisimplicial homomorphism : P (u, f ) → P(u, f ).For every q ≥ 0, the associated augmented chain complex of abelian groups is exact, because of it admits a contracting homotopy h given by the homomorphisms h −1 : P q (u, f ) → P 0,q (u, f ) and h p : P p,q (u, f ) → P p+1,q (u, f ) which act on generators by where, for any functor σ : p → C and any morphism v : a → σ0, the functor σ v : p + 1 → C is defined by the formulas As above, to check that h is actually a contracting chain homotopy, we first observe the equalities From these, we see that the operators h p satisfy the equations whence the equality ∂h p + h p−1 ∂ = id P p,q (u, f ) follows.
Finally, the Dold-Puppe theorem implies that the induced map on the associated augmented diagonal complexes : diag P (u, f ) → P(u, f ), is a homology isomorphism.Therefore, the chain complex Equation ( 13) is exact, since the chain complex Equation ( 14) is such.
(γ0, γ(0, m) * δ0) (γ(0,m),γ(0,m) * δ(0,m)) / / (γm, δm) / / (σn, τn) Then, by composition with e ∆(η), any natural system A on C F gives rise to a coefficient system, denoted by η * A, on the simplicial set hocolim C NF.As a main result in this paper, we have Theorem 3.For any natural system A on C F, the Thomason map η in Equation (9) induces isomorphisms Proof.For any given natural system A on C F, the coefficient system η * A on the homotopy colimit hocolim C NF carries an n-simplex (σ, τ) to the abelian group and, for any map α : m → n in the simplicial category, the induced homomorphism α * : In particular, for any n-simplex (σ, τ) of hocolim C NF, the coface homomorphisms Then, the standard cochain complex C(hocolim C NF, η * A) consists of the abelian groups with coboundary ∂ : Now, let P = P C (F) be the bisimplicial natural system in Equation (11).By Proposition 1, for every n ≥ 0, there is an isomorphism of abelian groups which carries any n-cochain ϕ ∈ C n (hocolim C NF, A) to the morphism of natural systems Γϕ : P n,n → A whose component at every morphism (u, f ) : (a, x) → (b, y) of C F is the homomorphism of abelian groups These morphisms Γ fit together to define an isomorphism of cochain complexes In effect, for any ϕ ∈ C n−1 (hocolim C NF, η * A), any morphism (u, f ) : (a, x) → (b, y) of C F, and any generator (σ, τ, v, g, v , g ) of P n,n (u, f ), we have = (Γϕ)∂ (σ, τ, v, g, v , g ).
Hence, the result follows from Lemma 1 and Fact 1 (=Corollary 8 below).
Theorem 3 above is actually a natural generalization of the useful and well-known result below, already presented as Fact 2 in the preliminary Section 2.

Corollary 1.
Let C be a small category.For any natural system A on C, there are natural isomorphisms Proof.Let us specialize Theorem 3 to the case when F = 0 : C op → Cat is the constant functor defined by the only-one-arrow category 0. In this case, C 0 = C, hocolim C N0 = N(C), and the Thomason simplicial map Equation ( 9), η : hocolim C N0 → N( C 0), is the identity map on NC.Therefore, Theorem 3 just says that, for any natural system A on C, there are isomorphisms Particular cases of the following corollary have been used several times in homological algebra to compute cohomology of semidirect products of groups or monoids, diagrams of groups, etc. (see, e.g., Cegarra [18,19]), by means of certain chain complexes more manageable than the standard ones.
Let P = P C (F) be the bisimplicial natural system on C F in Equation ( 11), and let A be any given natural system on C F. By Proposition 1, there is a natural isomorphism of bicosimplicial abelian groups where C( C F, A) is the bicosimplicial abelian group described as follows: for every integers p, q ≥ 0, A(σ(0, p), σ(0, p) * τ(0, q)), (19) and, for any maps α : p → p and β : q → q in the simplicial category, the induced homomorphisms In particular, its horizontal and vertical coface homomorphisms o o are given by the formulas Define the non-standard cochain complex of C F with coefficients in a natural system A to be Tot C( C F, A), the total cochain complex of the associated double cochain complex to C( C F, A).Thus, it consists of the abelian groups A(σ(0, p), σ(0, p) * τ(0, q)), Corollary 2. For any natural system A on C F, there are natural isomorphisms Proof.From the descriptions of the bicomplex C( C F, A) in Equations ( 18) and ( 17) and the complex C(hocolim C NF, η * A) in Equations ( 19)-( 21 Spectral sequences for the cohomology of the Grotendieck construction are implicit in the above corollary.Let A be a natural system on C F. Every arrow u : a → b in C determines a functor between the categories of factorizations which acts on objects by and on morphisms by (b, y ).
Then, by composition with ι u , the natural system A on the Grothendieck construction gives rise to a natural system on the category F(b), denoted by ι * u A, so that the cohomology groups are defined.For any integer q ≥ 0, there is a natural system on C, which acts on morphisms as follows: For any morphism (v, v Then, the induced homomorphism is the composite of the homomorphisms Corollary 3.For any natural system A on C F there is a natural first quadrant spectral sequence where H q (F, ι * A) is the natural system on C defined in Equation (24).
Proof.Let C( C F, A) be the double cochain complex associated to the bicosimplicial abelian group in Equation (19).Fixing any p ≥ 0, and taking homology in the vertical complex C p,• ( C F, A), we have Taking now the cohomology again, we have , whence the result follows from Corollary 2.
Note that, when u = 1 b is the identity arrow of any object b of C, then functor ι 22) is the induced one on the category of factorizations by the canonical inclusion functor So, in this case, we can write the corresponding cohomology group Equation (23) simply as H q (F(b), ι * b A).For any q ≥ 0, we have the C-module which carries every morphism v : b → b to the composite homomorphism is the natural transformation defined, at any object x of F(b ), by There is, for any integer q ≥ 0, a morphism of natural systems on C * : where, recall, the C-module H q (F, ι * A) is regarded as a natural system by composition with the target functor t : F(C) → C in Equation (5).Its component at any morphism induced by the natural transformation u : ) ) which is defined on any morphism f : x → y of F(b) by Following to Pirsahvili-Redondo [6], we say that the natural system A is h-local provided the morphism * : H q (F, ι * A) ∼ = H q (F, ι * A) in Equation ( 27) is an isomorphism, for all q ≥ 0. This means that, for any arrow u : a → b in C, the cochain map u is a homology isomorphism.We call the natural system A local whenever the natural transformations u : is an isomorphism (note that this condition is a bit weaker than the corresponding one stated in [6]).Clearly every local natural system on C F is h-local, as well as every C F-module is a local natural system.The spectral sequence by Pirsahvili-Redondo in ([6] Theorem 5.2) (cf.also Gálvez-Neumann-Tonks ([7] Theorem 2.5)) and ([8] Theorem 2.16)) appears now as a particular case of the spectral sequence in the above Corollary 3.

Corollary 4.
For any h-local natural system A on C F there is a natural spectral sequence where H q (F, ι * A) is the natural system on C defined in Equation (26).
The spectral sequence in Corollary 3 involves some invariance results, as we show below.
Corollary 5. Let F, F : C op → Cat be functors, let ν : F ⇒ F be a natural transformation, and let A be a natural system on C F. If, for any arrow u : a → b in C, the functor ν b : Proof.For any arrow u : a → b of C, the square Since these are natural in u, it follows that ν induces an isomorphism of natural systems on C between H n (F, ι * A) and H n (F , ι * ( C ν) * A).Then, for any integers p, q ≥ 0, there are natural isomorphisms and the result follows from the spectral sequences in Corollary 3 for F and A and F and ( C ν) * A, respectively.
Recall now that a functor A : C F → Ab is called a twisted system of coefficients on the diagram of categories F : C op → Cat whenever, for any object b of C, i * b A is a local system of coefficients on the category F(b); that is, provided that, for any arrow f : x → y in F(b), the induced (1 b , f ) * : A(b, x) ∼ = A(b, y) is an isomorphism, see ([10] Definition 2.1).The following invariance result was proved by Moerdijk-Svensson in ([10] Theorem 2.3).Corollary 6.Let F, F : C op → Cat be functors.Suppose ν : F ⇒ F is a natural transformation such that all the functors ν b : F (b) → F(b), b ∈ ObC, are weak homotopy equivalences of categories.Then, for any twisted system of coefficients A on F, ν induces natural isomorphisms Proof.For any twisted system of coefficients A on F, the induced homomorphisms ν * In particular, every functor σ : n → C gives rise to the simplicial maps, see Equation (6),

The Involved Constructions
The simplicial replacement of G of Bousfield-Kan ( [9] Chapter XII, §5) produces the bisimplicial set whose (p, q)-simplices are pairs (σ, x) where σ : p → C is a functor and x ∈ G(σp) q is a q-simplex of G(σp).If α : p → p and β : q → q are maps in ∆, the induced maps are respectively defined on any (p, q)-simplex (σ, x) as above by In particular, its horizontal and vertical face maps Ψ p−1,q Ψ p,q The homotopy colimit construction on G is the simplicial set Its n-simplices are then pairs (σ, x) where σ : n → C is a functor and x ∈ G(σp) n .If α : m → n is any map in ∆, then the induced map α In particular, its face maps are given by On the other hand, by composing G with the category of simplices functor ∆ : SSet → Cat, we get a diagram of categories ∆G : C op → Cat on which we can apply the Grothendieck construction.This yields the small category C ∆G, whose objects are triples (n, a, x), where n ∈ Ob∆, a ∈ ObC, and Let ∆(hocolim C G) be the category of simplices of the homotopy colimit of G. Its objects are triples (n, σ, x), where σ : n → C is a functor and x ∈ G(σn) n .Its morphisms α : (m, τ, y) → (n, σ, x) are those maps α : m → n in ∆ such that τ = σ α and y = σ(αm, n) * α * x.We have the functor which is defined on objects by µ(n, σ, x) = (n, σn, x), and on morphisms α : (m, τ, y) → (n, σ, x) by µ(α) = (α, σ(αm, n)) : (m, τm, y) −→ (n, σn, x).

A Projective Resolution of the C ∆G-module Z
To shorten some expressions, if A is any C ∆G-module and (n, a, x) is an object of C ∆G, then we write A(a, x) for A(n, a, x), leaving understood the dimension n of the simplex x of G(a).
Let Ψ = Ψ C (G) be as in Equation (28).For any integers p, q ≥ 0, let the set Ψ p,q be equipped with the map π : Ψ p,q → Ob C ∆G , (σ, x) → q, σp, x , and let Q p,q = F Ψ p,q be the associated free C ∆G-module.Thus, for each object (n, a, x) of C ∆G, Q p,q (a, x) = Z{(σ, z, α, u)} is the free abelian group on the set of lists (σ, z, α, u) consisting of a functor σ : p → C, a simplex z ∈ G(σp) q , a map α : q → n in ∆, and a morphism u : σp → a in C, such that z = u * α * x.Equivalently, we can take the free abelian group on the set of triples (σ, u, α) consisting of a functor σ : p → C, a morphism u : σp → a in C, and a map α in which, for any maps β : p → p and γ : q → q in the simplicial category, the induced morphisms at any object (n, a, x) of C ∆G, Q p ,q (a, x) Q p,q (a, x) are the homomorphisms acting on generators by In particular, the horizontal and vertical face homomorphisms are defined on generators by Lemma 2. diag Q C (F) is a projective resolution of the C ∆G-module Z.Hence, for any C ∆G-module A, Proof.Let us write Q = Q C (F) as in Equation (31).There is an augmentation : diag Q Z which, at any object (n, a, x) of C ∆G, is given by the homomorphism that carries all generators (σ, α, u) of Q 0,0 (a, x) to the generator (n, a, x) of Z(a, x).Since every C ∆F-module Q n,n is free, whence projective, it suffices to prove that, for any object (n, a, x) of C ∆F, the augmented chain complex of abelian groups is exact.To do this, let us fix any such (n, a, x) and proceed as follows.
Let ∆ n = Hom ∆ (−, n) be the standard simplicial n-simplex, and let us consider the simplicial abelian group Z∆ n , q → ZHom ∆ (q, n), as a bisimplicial abelian group which is constant in the horizontal direction.Then, a bisimplicial homomorphism : Q(a, x) → Z∆ n is given by the homomorphisms : Q 0,q (a, x) → Z∆ n q defined on generators by where we have identified any object a 0 of C with the functor σ : 0 → C such that σ0 = a 0 .For any q ≥ 0, the associated augmented chain complex of abelian groups admits a contracting homotopy k whence it is exact.Such a homotopy k is given by the homomorphisms k −1 : Z∆ n q → Q 0,q (a, x), k p : Q p,q (a, x) → Q p+1,q (a, x), which act on generators by k −1 (α) = (a, α, 1 a ), k p (σ, α, u) = (−1) p+1 (u σ, α, 1 a ), where, for any σ : p → C and u : σp → a, u σ : p + 1 → C is defined as in Equation (15).It follows from Dold-Puppe Theorem that the induced map on the associated augmented diagonal complexes : diag Q(a, x) is a homology isomorphism.Then, the exactness of Equation (33) follows from the exactness of the augmented chain complex at the bottom in the above diagram, as it has a contracting homotopy given by the homomorphisms h −1 : Z → Z∆ n 0 , h q : Z∆ n q → Z∆ n q+1 , which are defined on generators as follows: h −1 (1) : 0 → n is the map 0 → 0, and, for any α : q → n, h q (α) : q + 1 → n is the map 0 → 0 and i + 1 → α(i).
By composing with the functor µ : ∆(hocolim C G) → C ∆G in Equation (29), every C ∆G-module A gives rise to a coefficient system µ * A on hocolim C G, and we have Theorem 4. For any C ∆G-module A, there are natural isomorphisms H n ( C ∆G, A) ∼ = H n C(hocolim C G, µ * A).
In particular, the cofaces µ * A(d i ) : µ * A(d i (σ, x)) → µ * A(σ, x) are the homomorphisms These Γ fit together to define an isomorphism of cochain complexes In effect, for any ϕ ∈ C m−1 (hocolim C G, µ * A), any object (n, a, x) of C ∆F, and any generator (σ, α, u) of Q m,m (a, x), we have Finally, it is worth noting that both Theorem 3 and Corollary 9 can be useful in combination.For example, for any diagram of categories F : C op → Cat, there is a canonical functor ), a straightforward comparison shows that diag C( C F, A) = C(hocolim C NF, η * A).Then the result follows from Theorem 3, since both cochain complexes diag C( C F, A) and Tot C( C F, A) are cohomology equivalent by the generalized Eilenberg-Zilber theorem of Dold and Puppe (see, e.g., Goerss-Jardine ([15] Chapter IV, Theorem 2.4)).

Definition 1 .Corollary 7 . 4 .
F(b), ι * b A) ∼ = H n (F (b), ν * b ι * b A) are isomorphisms.Since, for any u : a → b in C, we have i * b A = ι * u A, the hypothesis of Corollary 5 above hold, whence the result follows.The following terminology is suggested by T. Pirashvili.A weak homotopy equivalence of categories f : C → C is a Baues-Wirsching weak homotopy equivalence (resp.a Roos-Watts weak homotopy equivalence) provided that, for any natural system A on C (resp.C-module), the induced homomorphisms H n (C, A) ∼ = H n (C , f * A), n ≥ 0, are all isomorphisms.For instance, if f : C → C is any functor with a left or right adjoint, then it is a Baues-Wirsching weak homotopy equivalence.This fact follows from ([20] Lemma 1.5, p. 10).See also([6]  Lemma 2.2), ([8] Corollary 2.3), and ([21] Corollary 4.3).Let F, F : C op → Cat be functors.Suppose ν : F ⇒ F is a natural transformation such that all the functors ν b : F (b) → F(b), b ∈ ObC, are Baues-Wirsching (resp.Roos-Watts) weak homotopy equivalences, then C ν : C F → C F also is.Proof.This follows from Corollary 5. On the Weak Equivalence µ : ∆(hocolim C G) → C ∆G Throughout this section, C is a small category and G : C op → SSet is a functor.For any morphism u : a → b of C, we write u * : G(b) → G(a) for the simplicial map G(u).Since u * is simplicial, for any map α : m → n in ∆, we have α * u * = u * α * , that is, the square below commutes.