PreprintPDF Available

Representations over diagrams of categories and abelian model structures

Authors:
Preprints and early-stage research may not have been peer reviewed yet.

Abstract

In this paper we systematically consider representations over diagrams of abelian categories, which unify quite a few notions appearing widely in literature such as representations of categories, sheaves of modules over categories equipped with Grothendieck topologies, representations of species, etc. Since a diagram of abelian categories is a family of abelian categories glued by an index category, the central theme of our work is to determine whether local properties shared by each abelian category can be amalgamated to the corresponding global properties of the representation category. Specifically, we investigate the structure of the representation categories, describe important functors and adjunction relations between them, and construct cotorsion pairs in the representation category by local cotorsion pairs in each abelian category. As applications, we establish abelian model structures on the representation category for some particular index categories, and characterize special homological objects (such as projective, injective, flat, Gorenstein injective, and Gorenstein flat objects) in categories of presheaves of modules over some combinatorial categories.
arXiv:2210.08558v1 [math.RT] 16 Oct 2022
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES
AND ABELIAN MODEL STRUCTURES
ZHENXING DI, LIPING LI, LI LIANG, AND NINA YU
Abstract. In this paper we systematically consider representations over diagrams of abelian cat-
egories, which unify quite a few notions appearing widely in literature such as representations of
categories, sheaves of modules over categories equipped with Grothendieck topologies, representa-
tions of species, etc. Since a diagram of abelian categories is a family of abelian categories glued by
an index category, the central theme of our work is to determine whether local properties shared by
each abelian category can be amalgamated to the corresponding global properties of the represen-
tation category. Specifically, we investigate the structure of the representation categories, describe
important functors and adjunction relations between them, and construct cotorsion pairs in the rep-
resentation category by local cotorsion pairs in each abelian category. As applications, we establish
abelian model structures on the representation category for some particular index categories, and
characterize special homological objects (such as projective, injective, flat, Gorenstein injective, and
Gorenstein flat objects) in categories of presheaves of modules over some combinatorial categories.
Contents
Introduction 2
Part I. Diagrams and their representations 11
1. Diagrams of categories 11
2. Representations over diagrams of categories 15
2.1. Left representations over diagrams of categories 15
2.2. Limits and colimits 18
2.3. Right representations over diagrams of categories 20
3. Functors induced by morphisms between diagrams 21
4. Representations over diagrams of module categories 24
4.1. Diagrams of module categories 24
4.2. Representations over diagrams of module categories 26
Part II. Functors, adjunctions, and their applications 28
5. The induction functor and its applications 28
5.1. The restriction functor and its left adjoint 28
5.2. Grothendieck structure and locally finitely presented property 34
5.3. Dual results for Rep-D36
6. The lift and stalk functors 38
6.1. The lift functor and its left adoint 38
6.2. The stalk functor and its left adjoint 44
6.3. Dual results for Rep-D45
Date: October 18, 2022.
2010 Mathematics Subject Classification. 18G25; 18A25; 18A40.
Key words and phrases. Diagrams of categories; representations over diagrams of categories; (Gorenstein) homo-
logical representations; rooted categories; cotorsion pairs; abelian model structures.
1
2 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
7. Rooted categories and characterizations of projectives and injectives 46
7.1. Rooted categories 46
7.2. Characterizations of projectives and injectives 49
Part III. Abelian model structures and homological objects 55
8. Preliminaries on cotorsion pairs and abelian model structures 55
9. Induced cotorsion pairs in D-Rep 57
10. Abelian model structures on D-Rep 62
10.1. Completeness of the induced cotorsion pairs 62
10.2. Abelian model structures on D-Rep 66
11. Applications to diagrams of module categories 68
11.1. Flat objects 69
11.2. Gorenstein injective model structures 70
11.3. Gorenstein flat model structures 74
Appendix A: Diagrams of small preadditive categories 79
Appendix B: Details in proofs 85
Acknowledgments 91
References 92
Introduction
Motivation. Let (X, OX) be an arbitrary scheme, and let Pbe the poset of all affine open subsets
in Xordered by inclusions. By the descent property of quasi-coherent OX-modules, one obtains
an equivalence between the category of quasi-coherent sheaves on Xand the category of Cartesian
OX-modules on P, which are defined in [25] and [54] as follows: an R-module M, where Ris a
presheaf of commutative rings over P, is Cartesian if for any morphism α:ijin P, the R(i)-
module homomorphism R(i)R(j)M(j)M(i) via rimj7→ riM(αop )(mj) is an isomorphism.
If further Ris flat (that is, R(αop) : R(j)R(i) is a flat ring homomorphism for any morphism
α:ijin P), then the category of Cartesian R-modules is Grothendieck; see [25, Proposition 4.2].
One can interpret the above construction in the framework of 2-categories. Explicitly, the small
category Pcan be viewed as a 2-category in a natural way and presheaves of commutative rings
over Pcan be viewed as contravariant 2-functors. This is a very special case of the notion of
I-diagrams of categories with Ia small category (see Definition 1.1), which appears widely in the
literature under different names. For instance, they are called I-indexed categories by Johnstone
[45]. Also, the pseudo lax functors from Ito the 2-category Cat of small categories, described by
Street in [59], are exactly I-diagrams of small categories. Given an I-diagram Dof categories,
there is a coCartesian fibration from the Grothendieck construction RIDto I. The Grothendieck
construction provides a classical correspondence between diagrams of categories and coCartesian
fibrations over the index category. This machinery was first applied to diagrams of sets by Yoneda
and later developed in full generality by Grothendieck in [37]; see also [49, I.5]. For basic facts and
homological properties on Grothendieck constructions of diagrams of categories, one can refer to
e.g. [2, 6, 38, 60].
The notion of representations over diagrams of categories was given by Mozgovoy in [51], which
are also called twisted representations by Gothen and King in [34] or twisted diagrams by uttemann
and ondigs in [44]. Explicitly, given an I-diagram Dof categories, a left representation Mover
Dis a rule to assign
an object Miin Dito any iOb(I), and
a morphism Mα:Dα(Mi)Mjto any α:ijin Mor(I)
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 3
such that two axioms are satisfied; see Definition 2.1 for details. Denote by D-Rep the category
of all left representations over D. Mozgovoy pointed out in [51, Remark 2.7] that the category of
sections of the associated coCartesian fibration RIDIis equivalent to D-Rep.
We notice that D-Rep unifies many special cases such as comma categories, module categories
of Morita context rings, categories of additive functors from Ito an abelian category (which are
called representations of Iby representation theorists), categories of representations of (generalised)
species and phyla studied in e.g. [15, 16, 27, 28, 29, 46, 47]; see Examples 2.2 and 2.4. Another
example comes from a recent work by Estrada and Virili [26]. Roughly speaking, given an I-diagram
Rof associative rings1, we can construct an I-diagram Rof module categories with
Ri=Ri-Mod, the category of left Ri-modules for any iOb(I) and
Rα=RjRifor any α:ijin Mor(I)
such that R-Rep coincides with the category R-Mod of left R-modules in the sense of Estrada and
Virili [26]2, which is also the category of presheaves of modules over the structure presheaf Rof
rings with respect to the opposite category Iop ; see Subsection 4.1 and Proposition 4.5.
As we mentioned above, diagrams of categories and representations over them provide a uniform
framework for research works in numerous areas, and people have considered them for many special
cases, and obtained quite a few important results. However, it seems to us that a systematical
investigation of representations over diagrams of categories (specifically, abelian categories) is still
essential. In particular, some fundamental aspects of this topic need to be established:
(1) Describe the structure of D-Rep. For instances, under what conditions D-Rep is abelian or
Grothendieck ?
(2) Generalize important functors in representation theory and sheaf theory, and establish adjunc-
tion relations between them. For instances, by composing with a functor G:JIof small
categories, one can obtain a J-diagram of abelian categories from an I-diagram of abelian cat-
egories. Does this process always induce a functor between categories of representations, and
what are its left and right adjoint functors ? Similarly, does a morphism between two diagrams
of abelian categories always induce a functor between the categories of representations, and
what are its left and right adjoint functors ?
(3) Classify or characterize objects in the representation category with special homological prop-
erties such as projective objects, injective objects, flat objects, Gorenstein injective objects,
Gorenstein flat objects, etc.
(4) A “local-global” principle. That is, under what conditions can a certain special property (for
example, locally noetherian property) or a special structure (for example, a cotorsion pair or
an abelian model structure) shared by all local abelian categories Dibe amalgamated to the
corresponding property or structure of the global representation category D-Rep ?
The main goal of this paper is to study representations over diagrams of abelian categories
in a general framework, mostly focusing on the above mentioned aspects. As applications, for
some special index categories I, we construct corresponding global cotorsion pairs in D-Rep by
cotorsion pairs in each local abelian categories Di, investigate some important properties such as
hereditary and completeness of these global cotorsion pairs, and establish abelian model structures
on D-Rep. Furthermore, we classify or characterize objects with special homological properties
(such as projective, injective, flat, Gorenstein injective, and Gorenstein flat objects) in categories
of presheaves of modules over some combinatorial categories.
1which is a covariant functor from Ito the category of associative rings, and is called a representation of Iin that
paper. To avoid possible confusions, we call it an I-diagram of associative rings.
2We shall remind the reader that in our paper the abelian category Riis the left Ri-module category Ri-Mod
rather than the right Ri-module category Mod-Riused in [26].
4 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
Structures of the category D-Rep.A fundamental aspect to understand D-Rep is to describe
its exact structure, that is, whether it is abelian or even Grothendieck. Under the assumptions that
the I-diagram Dof abelian categories is right exact (that is, Dαis right exact for any αMor(I))
and strict (that is, Dis a functor from Ito the meta 2-category of abelian categories rather than a
pseudo-functor), Mozgovoy proved in [51] that D-Rep is abelian, and classified projective objects in
this category; see [51, Corollaries 2.9 and 2.13]. In [26], Estrada and Virili showed that under some
conditions the category R-Mod of left R-modules, where Ris an I-diagram of associative rings, is a
Grothendieck category, while it has a projective generator when Iis a poset; see [26, Theorem 3.18].
Our first main result shows that D-Rep is abelian or even Grothendieck under some relatively
weaker conditions, and hence lay a foundation for us to further consider homological properties
of representations over D; see Theorems 2.6 and 5.11. Moreover, it includes the above mentioned
results as special cases. In particular, we remove the conditions that Iis a poset and that Dis
strict, and hence our results can apply to a much more general situation.
Theorem A. Let Dbe a right exact I-diagram of abelian categories. Then D-Rep is an abelian
category. If further Dαpreserves small coproducts for any αMor(I)and Diis a Grothendieck
category (resp., Grothendieck category with a family of projective generators) for any iOb(I),
then D-Rep is a Grothendieck category (resp., Grothendieck category with a family of projective
generators).
Let Abe a cocomplete abelian category. Recall that an object Xin Ais said to be finitely
presented provided that the representable functor HomA(X, ) commutes with filtered colimits.
Denote the full subcategory of Aconsisting of finitely presented objects by Fp(A). The abelian
category Ais said to be locally finitely presented provided that Fp(A) is skeletally small and any
object in Ais a filtered colimit of finitely presented objects. Based on Theorem A, we prove that
if Dis a right exact I-diagram of abelian categories such that Dαpreserves small coproducts for
any αMor(I) and Diis locally finitely presented for each iOb(I), then D-Rep is locally
finitely presented; see Proposition 5.13. As a consequence of this fact, we obtain the following
representation theorem which is based on a general result of Crawley-Boevey [12, Theorem 1.4(2)].
Theorem B. Let Dbe a right exact I-diagram of abelian categories. Suppose that Dαpreserves
small coproducts for any αMor(I)and Diis locally finitely presented for any iOb(I). Then
D-Rep is equivalent to the subcategory of flat objects in the functor category Fun(Fp(D-Rep)op,Ab).
Functors and adjunctions. It is well known that a ring homomorphism ϕ:STinduces a
functor from the category of T-modules to the category of S-modules, called the restriction functor
along ϕ. Moreover, it has a left adjoint called the induction functor and a right adjoint called
the coinduction functor. It is natural to ask whether this setup also holds for representations over
diagrams of abelian categories.
There are two distinct cases. For the first one, we consider a morphism F:DDbetween
I-diagrams of abelian categories. Surprisingly, the induction functor (extension along F) always
exists, while we can only show the existence of the restriction functor under an extra condition. If
they both exist, they do form an adjoint pair; see Section 3. The second case is much more useful
for our purpose. That is, an I-diagram Dof abelian categories as well as a functor G:JIof
skeletally small categories induces a J-diagram Dof abelian categories, which is nothing but the
composite of Gand D. We show that under some mild conditions this process also induces another
restriction functor from D-Rep to D-Rep, and it has a left adjoint. Explicitly, we establish the
following result; see Proposition 5.2 and Theorem 5.4.
Theorem C. Let Dbe a right exact I-diagram of abelian categories and Ja skeletally small
category. Then a functor G:JIinduces a J-diagram D=DGof abelian categories and an
exact restriction functor
G:D-Rep D-Rep.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 5
If further Disatisfies the axiom AB3 for any iOb(I)and Dαpreserves small coproducts for any
αMor(I), then Ginduces an extension functor
G!:D-Rep D-Rep,
which is a left adjoint of G.
Applying this theorem to the special case that Jis a full subcategory of Iconsisting of only one
object and Gis the natural inclusion functor, we get two functors called the evaluation functor and
the free functor. They play a crucial role in the proof of Theorem B as well as the classification of
projective objects in D-Rep.
Given a left ideal Iof a ring S, the restriction along ϕ:SS/I is the familiar lift functor, via
which every S/I-module can be viewed as a S-module in a natural way. Analogously, we define
prime ideals Pof the morphism set of I: for any morphism αin Pand any morphism βin Mor(I),
its composite αβ or βα, whenever composable, is always contained in P; and furthermore, if a
composite αβ lies in P, then either αor βlies in Pas well. For each prime ideal P, we obtain a
subcategory I/Ptogether with an inclusion functor ιP:I/PI; see Subsection 6.1.
Now we pause for a while to give an example illustrating the above construction. Let Xbe a
topological space and OXthe poset of open subsets in Xordered by set inclusions. Take a fixed
element xXand define a subset Pxof Mor(OX) consisting of morphisms ι:UVin OX
such that either Uor Vdoes not contain x(clearly, this is equivalent to the condition that Udoes
not contain x). It is not hard to check that Pxis a prime ideal. Furthermore, OX/Pxis the full
subcategory of all open subsets containing x. This construction is used in sheaf theory to define
the stalk functor and its right adjoint, the skyscraper functor; see for instance [49, II.6].
Given a prime ideal Pand an I-diagram Dof abelian categories, as we mentioned before, we
obtain an I/P-diagram DιPof abelian categories. Although I/Pis a subcategory rather than a
quotient category of I(compare to the above case of rings), we can still construct the lift functor
and its left adjoint, called the cokernel functor; see Propositions 6.1 and Theorem 6.3.
Theorem D. Let Pbe a prime ideal of the morphism set of Iand Da right exact I-diagram of
abelian categories. Then the inclusion functor ιPinduces a functor
lifP: (DιP)-Rep D-Rep.
If further Disatisfies the axiom AB3 for any iOb(I/P)and Dαpreserves small coproducts for
any αMor(I/P), then there exists a functor
cokP:D-Rep (DιP)-Rep
which is a left adjoint of lifP.
A special example of particular interest to us is as follows. Suppose that Iis a partially ordered
category3, that is, the relation i4jif and only if I(i, j ) is nonempty defines a partial order on
Ob(I). Fix iOb(I). Then Pi=Mor(I)\EndI(i) is a prime ideal. We also suppose that Djsatisfies
both the axioms AB3 and AB3for every jOb(I), and Dγpreserves small coproducts for any
endomorphism γin EndI(i). Then by the above theorem, we obtain two functors stai:DiD-Rep
and coki:D-Rep Disuch that (coki,stai) is an adjoint pair. We shall see that this adjoint pair
plays a key role for us to construct cotorsion pairs in D-Rep.
Cotorsion theory in D-Rep.The concept of cotorsion pairs was first introduced by Salce in [57]
and rediscovered by Enochs and Jenda in [21], which is analogous to the notion of torsion pairs
3In the literature some people call them directed categories or weakly directed categories. In this paper, since we
will consider direct categories defined in [42, Definition 5.1.1], to avoid possible confusion, we call them partially
ordered categories.
6 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
via replacing the Hom functor by the Ext functor. Let Abe an abelian category. A pair (C,D) of
subcategories of Ais called a cotorsion pair if C=Dand D=C, where
C={MA|Ext1
A(M, C ) = 0 for every object CC},and
D={MA|Ext1
A(M, D) = 0 for every object DD}.
Following [21], a cotorsion pair (C,D) is said to be hereditary if it is both resolving and coresolving,
and complete if for any object Min A, there exist short exact sequences
0DCM0 and 0 MDC0
in Awith D, DDand C, CC; see Section 8 for more details.
In the rest of this section, when considering D-Rep, we always impose the following assumptions:
Iis a partially ordered category, Dis a right exact I-diagram of Grothendieck categories
admitting enough projectives, and Dαpreserves small coproducts for all αMor(I).
Fix iOb(I) and consider the prime ideal Pi=Mor(I)\EndI(i) of Imentioned above. For any
left representation Xin D-Rep, by the universal property of colimits, one can construct a special
morphism ϕX
i: colimθPi(,i)Dθ(Ms(θ))Miin Di. Then for a family X={Xi}iOb(I)with each
Xia subcategory of Di, we can define two subcategories of D-Rep as follows:4
Φ(X) = XD-Rep ϕX
iis a monomorphism and
coki(X) = coker(ϕX
i)Xifor all iOb(I),and
D-RepX={XD-Rep |XiXifor all iOb(I)}.
For details, please refer to Subsection 7.2. We mention that the definition of Φ(X) is inspired by
the classical works [8] by Birkhoff and [5] by Auslander and Reiten. Zhang refers to Φ(X) as a
monomorphism category; see [64].
Inspired by Holm and Jørgensen’s work [40, Theorem A], we establish a (hereditary) cotorsion
pair in D-Rep in Propositions 9.9 and 9.12 via gluing (hereditary) cotorsion pairs in those Di, when
the index category Iis a direct category defined in [42, Definition 5.1.1].
Theorem E. Suppose that Iis a direct category and Dis exact. Let X={Xi}iOb(I)and Y=
{Yi}iOb(I)be families of subcategories such that each (Xi,Yi)is a (hereditary) cotorsion pair in Di.
Then (Φ(X),D-RepY)is a (hereditary) cotorsion pair in D-Rep.
When Iis the free category associated to a left rooted quiver introduced in [23] (see Remark
7.6), we can obtain the following result: under a certain compatible condition the cotorsion pair
(Φ(X),D-RepY) established in Theorem E is complete if so is each cotorsion pair (Xi,Yi) in Di; see
Theorem 10.3. Here, a family X={Xi}iOb(I)of subcategories is said to be compatible with respect
to Dif Dα(Xs(α))Xt(α)for all αMor(I) with source s(α) and target t(α).
Theorem F. Suppose that Iis the free category associated to a left rooted quiver and Dis exact.
Let X={Xi}iOb(I)and Y={Yi}iOb(I)be two families of subcategories such that (Xi,Yi)is a
complete cotorsion pair in Difor any iOb(I)and Xis compatible with respect to D. Then
(Φ(X),D-RepY)is a complete cotorsion pair in D-Rep.
Remark. By Corollary 3.6, for every diagram Dof abelian categories indexed by a free category
I, one can construct a strict I-diagram Dof abelian categories such that the categories D-Rep and
D-Rep are isomorphic, so one may suppose in the above theorem that Dis strict.
Remark. In [14, Theorem A], Di, Li, Liang and Xu first proved this result for categories of
representations of left rooted quivers, where they dropped the unnecessary condition imposed in
[53] that each cotorsion pair (Xi,Yi) in Diis hereditary.
4By abuse of notation, occasionally we use the same notation for both a subcategory and the class of objects of
this subcategory provided that it would not cause possible confusion. The reader can understand its precise meaning
from the context.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 7
Abelian model structures on D-Rep.Model category theory was introduced by Quillen in [55],
which provides a classical way of formally introducing homotopy theory into a category. Given a
bicomplete category Aand a class Wof morphisms in A, one may wish to treat the morphisms
in Was isomorphisms, that is, to understand the localization category A[W1]. By imposing a
certain model structure on Aone can construct a new category Ho(A), the homotopy category of
A. A fundamental result shows that there is a canonical equivalence A[W1]
=Ho(A); see [42].
A model category is said to be abelian if its underlying category Ais abelian and the model
structure is abelian, that is, it is compatible with the abelian structure of A. A celebrated result,
serving as a bridge connecting complete cotorsion pairs and abelian model structures, was estab-
lished by Hovey in [43], which is now known as Hovey’s correspondence: an abelian model structure
on Ais equivalent to a triple (Q,W,R) of subcategories of Asuch that Wis thick, and (Q,WR)
and (QW,R) are two complete cotorsion pairs, where W(resp., Qand R) is the subcategory
of Aconsisting of all trivial (resp., cofibrant and fibrant) objects associated to the corresponding
abelian model structure. It is clear from Hovey’s correspondence that an abelian model structure
on Acan be succinctly represented by the triple (Q,W,R). Therefore, one often refers to such a
triple as an abelian model structure in the literature, and call it a Hovey triple. For more details
on abelian model structures, one refers to e.g. [7, 31, 32, 42, 43].
Recall that an abelian model structure (Q,W,R) on Ais said to be hereditary if both the
cotorsion pairs (Q,WR) and (QW,R) are hereditary. Since most cotorsion pairs we encounter
are hereditary, Gillespie [30, Theorem 1.1] provided a more convenient way to construct abelian
model structures: if (Q,e
R) and (e
Q,R) are two hereditary and complete cotorsion pairs in Asuch
that e
QQ(or equivalently, e
RR) and Qe
R=e
QR, then there exists a unique thick subcategory
Wfor which (Q,W,R) is a Hovey triple, and this thick subcategory can be explicitly described.
As an application of Theorems E and F, we may construct a hereditary abelian model structure
on D-Rep from hereditary abelian model structures on those Di; see Theorem 10.9.
Theorem G. Suppose that Iis the free category associated to a left rooted quiver and Dis exact.
Then any family {(Qi,Wi,Ri)}iOb(I)of hereditary abelian model structures on Disuch that both
Q={Qi}iOb(I)and e
Q={QiWi}iOb(I)are compatible with respect to Dinduces a hereditary
abelian model structure
(Φ(Q),D-RepW,D-RepR)
on D-Rep, where Wand Rdenote the families {Wi}iOb(I)and {Ri}iOb(I)of subcategories of Di
respectively.
Di, Estrada, Liang and Odaba¸ established the above hereditary abelian model structures for
categories of representations of left rooted quivers [13, Theorem B]. The above theorem generalizes
their results to a much wider framework.
For a Grothendieck category Aadmitting enough projectives, a classical result by Hovey [43]
asserts that (Proj(A),A,A) is a hereditary abelian model structure on A, where Proj(A) denotes
the subcategory of Aconsisting of all projectives in A. Given an I-diagram Rof associative rings,
by Theorem A, we conclude that R-Rep is a Grothendieck category admitting enough projectives,
so one may ask whether Φ(Proj) in Theorem G is actually the subcategory of projective objects
in R-Rep, where Projdenotes the family {Proj(Ri-Mod)}iOb(I)of subcategories. We answer this
question affirmatively in the following result and classify all projectives and flats in R-Rep for a
direct category I(e.g., the free category associated to a left rooted quiver); see Corollary 7.19 and
Theorem 11.5.
Theorem H. Suppose that Iis a direct category and Ris an I-diagram of associative rings. Then
Φ(Proj)is actually the subcategory of projectives in R-Rep. Moreover, Φ(Flat)is actually the
subcategory of flats in R-Rep, where Flatdenotes the family {Flat(Ri-Mod)}iOb(I)of subcategories.
8 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
Gorenstein flat model structure on R-Rep.For finitely generated modules over a Noetherian
ring, Auslander and Bridger [3] introduced a homological invariant called the G-dimension, which
was soon generalized to arbitrary modules. Enochs, Jenda and Torrecillas proposed in [20] and [22]
two primary generalized classes of modules of G-dimension 0: Gorenstein projective modules and
Gorenstein flat modules. They were found to be of particular importance and were further treated
by Holm in [39]. For an arbitrary ring A,ˇ
Saroch and ˇ
St’ov´ıˇcek introduced a new subcategory
of projectively coresolved Gorenstein flat A-modules in [62], which allows them to construct a
new abelian model structure. Specifically, let GF(A) (resp., PGF(A)) denote the subcategory of
Gorenstein flat (resp., projectively coresolved Gorenstein flat) A-modules. ˇ
Saroch and ˇ
St’ov´ıˇcek
proved that there exists a hereditary abelian model structure (GF(A),PGF(A),Cot(A)), where
Cot(A) is the subcategory of cotorsion A-modules. In particular, if Ris an I-diagram of associative
rings, their construction yields a hereditary abelian model structure
(GF(Ri-Mod),PGF(Ri-Mod),Cot(Ri-Mod))
on Ri-Mod for every iOb(I). On the other hand, it follows from Lemma 11.22 that both
the families Flat={Flat(Ri-Mod)}iOb(I)and GF={GF(Ri-Mod)}iOb(I)of subcategories are
compatible with respect to the associated I-diagram Rof module categories. Thus as an application
of Theorem G, we get a hereditary model structure on the category R-Rep and classify all Gorenstein
flat objects and cotorsion objects in R-Rep; see Theorems 11.31 and 11.28, Proposition 11.25 and
Corollary 11.30. Here, the symbols PGFand Cotdenote the families {PGF(Ri-Mod)}iOb(I)and
{Cot(Ri-Mod)}iOb(I)of subcategories, respectively.
Theorem I. Suppose that Iis the free category associated to a left rooted quiver and Ris a flat
I-diagram of associative rings such that
(a) Riis commutative for any iOb(I), or
(b) Rjhas finite projective dimension as a left Ri-module for any α:ijin Mor(I).
Then there exists a hereditary abelian model structure
(Φ(GF),R-RepPGF
,R-RepCot)
on R-Rep. Moreover, Φ(GF) (resp., R-RepCot)is the subcategory of Gorenstein flat (resp.,
cotorsion)objects in R-Rep, and R-RepPGF
is the right orthogonal subcategory PGF(R-Rep).
Gorenstein injective model structure on Rep-R.The category Rep-Dof right representations
over the I-diagram Dof abelian categories is defined to have objects Nconsisting of the following
data:
for any iOb(I), an object Niin Di, and
for any α:ijin Mor(I), a morphism Nα:NjDα(Ni) in Dj
such that two axioms are satisfied; see Definition 2.13 for details. Dual to Theorem 2.6, we see that
if Dis left exact, then Rep-Dis an abelian category. If further Iis a partially ordered category and
Dαpreserves small products for any αMor(I), then for any iOb(I), there exists a kernel functor
keri:Rep-DDi(see Subsection 6.3), which is dual to the cokernel functor coki:D-Rep Di.
Consider again the prime ideal Pi=Mor(I)\EndI(i) of Imentioned before. For any right
representation Yin Rep-D, by the universal property of limits, one can construct a special morphism
ψY
i:YilimθPi(,i)Dθ(Ys(θ)) in Di. Then for a family Y={Yi}iOb(I)with each Yia subcategory
of Di, we can define two subcategories of Rep-D:
Ψ(Y) = YRep-DψY
iis an epimorphism and
keri(Y) = ker(ψY
i)Yifor all iOb(I),and
(Rep-D)Y={YRep-D|YiYifor all iOb(I)}.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 9
By this construction, one can obtain dual versions of Theorems E, F and G for the subcategory
Ψ(Y).
According to Subsection 4.1, an I-diagram Rof associative rings induces a left exact I-diagram
Rof module categories with
Ri=Mod-Ri, the category of right Ri-modules for any iOb(I), and
Rα= HomRi(Rj,) for any α:ijin Mor(I).
In particular, dual to Proposition 4.5, we concludes that Rep-Rcoincides with the category
Mod-Rof right R-modules in the sense of Estrada and Virili [26]. Denote by Injthe family
{Inj(Mod-Ri)}iOb(I)of subcategories. Then dual to Theorem H, we have the following result class-
fying all injectives in Rep-R; see Corollary 7.23.
Theorem J. Suppose that Iis a direct category and Ris an I-diagram of associative rings. Then
Ψ(Inj)is the subcategory of injectives in Rep-R.
Finally, we get the following hereditary abelian model structure on Rep-Rand classify all Goren-
stein injective objects in Rep-R; see Theorem 11.16 and Corollaries 11.18 and 11.19. Here, denote
by GIthe family {GI(Mod-Ri)}iOb(I)with each GI(Mod-Ri) the subcategory of Mod-Riconsisting
of Gorenstein injective objects.
Theorem K. Suppose that Iis the free category associated to a left rooted quiver and Ris a flat
I-diagram of associative rings satisfying condition (a)or (b)in Theorem I. Then there exists a
hereditary abelian model structure
(Rep-R,(Rep-R)GI,Ψ(GI))
on Rep-R. Moreover, Ψ(GI)is the subcategory of Gorenstein injective objects in Rep-R.
Remark. At a first glance, Theorem K is dual to Theorem I, but it is actually not. It is surprising
to us that these two theorems share the same assumptions, that is, we assume in both theorems
that Ris a flat I-diagram of associative rings satisfying
(a) Riis commutative for any iOb(I), or
(b) Rjhas finite projective dimension as a left Ri-module for any α:ijin Mor(I).
Actually, condition (a) or (b) guarantees that the family GIis compatible with respect to R(see
Lemma 11.10), which is crucial to study both Gorenstein injective objects in Rep-Rand Gorenstein
flat objects in R-Rep; while the condition that Ris a at I-diagram of associative rings ensures
that the I-diagram Rof module categories is exact in Theorem I, as Rα:Ri-Mod Rj-Mod is
nothing but the tensor product functor RjRifor any α:ijin Mor(I). The reader may
expect to replace the condition that Ris flat in Theorem I by the condition that Ris projective to
make sure that the I-diagram Rof module categories in Theorem K is exact, as in the second case
Rα= HomRi(Rj,) : Mod-RiMod-Rjfor any α:ijin Mor(I). However, it turns out that
we do not have to make this change in Theorem K.
We end the introduction with the following notations and conventions.
Notations and Conventions. Throughout the paper,
let Ibe a skeletal small category with the set of objects Ob(I) and the set of morphisms
Mor(I);
for αMor(I), write s(α) for its source and t(α) for its target;
for iOb(I), denote by eithe identity morphism on i, and denote by EndI(i) the set of
endomorphisms;
let Iibe the subcategory of Iconsisting of the single object iand the single morphism ei;
by the term “subcategory” in an abelian category, we always mean a full subcategory which
is closed under isomorphisms and contains the zero object;
10 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
a functor between categories (resp., abelian categories) is always assumed to be covariant
(resp., additive and covariant);
denote by AB the meta 2-category5of abelian categories, while by Ab the full subcategory
of AB consisting of abelian groups;
denote by Ring (resp., Comm.Ring) the category of associative (resp., commutative) rings;
given an abelian category A, denote by Proj(A) (resp., Flat(A), Cot(A), GF(A), PGF(A),
Inj(A), GI(A)) the subcategory of Aconsisting of projective (resp., flat, cotorsion, Gorenstein
flat, projectively coresolved Gorenstein flat, injective, Gorenstein injective) objects;
denote by the symbol ()+the contravariant functor HomZ(,Q/Z).
5By a meta 2-category we mean that the functors between two arbitrary objects in this “category” form a class,
not necessarily a set.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 11
Part I. Diagrams and their representations
The first part of this paper serves as an introduction to diagrams of categories and representations
over them. We introduce definitions, examples, and elementary results, which will be extensively
used in the rest of this paper. As an application as well as an important example, we reformulate
modules over presheaves of associative rings studied by Estrada and Virili [26] in terms of our
notions.
1. Diagrams of categories
In this section, we introduce I-diagrams of categories and morphisms between them, and construct
some special morphisms which will be used to explore relations between categories of representations
over I-diagrams in the next section.
We begin with the notion of Godement products of functors. Let F1, F2:STand G1, G2:
TUbe four functors between categories, and let α:F1F2and β:G1G2be two
natural transformations. Recall that the Godement product (see e.g. [9]) of αand βis the natural
transformation
βα:G1F1G2F2
defined by setting (βα)(S) to be
(1.0.1) β(F2(S)) G1(α(S)) = G2(α(S)) β(F1(S))
for any object Sin S. It is routine to check that the operation is associative.
Now we give the definition of I-diagrams of categories, a central concept studied in this paper.
1.1 Definition. An I-diagram of categories is a tuple (D, η, τ ) (frequently denoted by Dfor brevity
when ηand τare clear from the context) consisting of the following data:
for every iOb(I), a category Di,
for every α:ijin Mor(I), a functor Dα:DiDj,
for every iOb(I), a natural isomorphism ηi: idDi
Dei, and
for any pair of composable morphisms αand βin Mor(I), a natural isomorphism
τβ,α :DβDα
Dβα
such that the following two axioms are satisfied:
(Dia.1) Given composable morphisms iα
jβ
kγ
lin Mor(I), there exists a commutative diagram
DγDβDα
idDγτβ,α
//
τγ,β idDα
DγDβα
τγ,βα
Dγβ Dα
τγβ,α
//Dγβα
of natural isomorphisms.
(Dia.2) Given a morphism iα
jin Mor(I), there exists a commutative diagram
Dα
idDαηi
zz
ηjidDα
$$
DαDei
τα,ei$$
DejDα
τej
zz
Dα
of natural isomorphisms.
12 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
An I-diagram (D, η, τ ) of categories is said to be strict if ηiis the identity for any iOb(I), and
τβ,α is the identity for any pair of composable morphisms αand βin Mor(I).
1.2 Remark. The categorically inclined reader may realize that an I-diagram of categories is
exactly a pseudo lax functor from I, viewed naturally as a 2-category, to the meta 2-category CAT
consisting of all categories (see Street [59]), while a strict I-diagram is exactly a 2-functor from Ito
CAT. Note that an I-diagram of categories is also called an I-indexed category by Johnstone [45].
We call (D, η, τ ) an I-diagram of abelian categories if Diis an abelian category for each iOb(I)
and the functor Dαis additive and covariant for any αMor(I).
1.3 Definition. Let Dbe an I-diagram of abelian categories. Then Dis said to be
(a) exact (resp., left exact, right exact) if the functor Dαis exact (resp., left exact, right exact)
for any αMor(I);
(b) admitting enough right adjoints (resp., left adjoints ) if the functor Dαadmits a right adjoint
(resp., left adjoint) for any αMor(I);
(c) endo-trivial if for any iOb(I) and any endomorphism γEndI(i), there exists a natural
isomorphism ηγ
i: idDiDγ;
(d) locally exact if for any iOb(I) and any endomorphism γEndI(i), the functor Dγis exact.
Clearly, if Dis endo-trivial, then it is locally exact.
1.4 Remark. Give an abelian category A, if we let Di=Afor all iOb(I) and Dαbe the identity
functor on Afor all αMor(I), then Dis called a trivial I-diagram of A. It is clear that trivial
I-diagrams satisfy all conditions in the above definitions, and coincide with covaraint functors from
Ito A. We will give in Sections 2 and 4 a few non-trivial examples of diagrams of abelian categories
satisfying certain conditions in the above definition. For instances, the diagram Uin Example 2.4
is strict, exact and admits both enough right and left adjoints. Both the diagrams Rand Rin
Subsection 4.1 are endo-trivial. Meanwhile, Ris right exact and admits enough right adjoints, and
Ris left exact and admits enough left adjoints.
The following result shows that any I-diagram of categories admitting enough adjoints induces
an Iop-diagram of categories, where Iop is the opposite category of I.
1.5 Proposition. Let Dbe an I-diagram of categories. If Dadmits enough right adjoints (resp.,
left adjoints), then it induces an Iop-diagram L(resp., K) admitting enough left adjoints (resp.,
right adjoints).
Proof. We only prove the statement for the case that Dadmits enough right adjoints since the
other case follows by a dual argument. The definition of Lis straightforward as follows:
for iOb(Iop), set Lito be Di;
for αop :jiin Mor(Iop), set Lαop to be the right adjoint of Dα;
for iOb(Iop), since both (idDi,idDi) and (Dei,Lei) are adjoint pairs and there is a natural
isomorphism ηi: idDiDei, one can obtain a natural isomorphism µi: idLi= idDiLei;
for any pair of composable morphisms βop :kjand αop :jiin Mor(Iop), note
that both (DβDα,Lαop Lβop ) and (Dβα,Lαopβop ) are adjoint pairs and there exists
a natural isomorphism τβ,α :DβDαDβα, one can obtain a natural isomorphism
ναopop :Lαop Lβop Lαopβop .
According to the above setting, it is routine to check that the triple (L, µ, ν ) satisfies the axioms
(Dia.1) and (Dia.2) in Definition 1.1 by Yoneda’s Lemma since so does (D, η, τ ). Moreover, note
that Lαop has a left adjoint Dαfor any αop Mor(Iop). Thus, Lis an Iop-diagram of categories
admitting enough left adjoints.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 13
In order to compare two I-diagrams of categories and consider further the relationship between
representations over them, we introduce morphisms between two I-diagrams of categories.
1.6 Definition. Let (D, η, τ ) and (D, η, τ ) be two I-diagrams of categories. A morphism Ffrom
Dto Dconsists of the following data:
for any iOb(I), a functor Fi:D
iDi, and
for any α:ijin Mor(I), a natural isomorphism Fα:FjD
αDαFi
such that the following two axioms are satisfied:
(Mor.1) Given composable morphisms iα
jβ
kin Mor(I), there exists a commutative diagram
FkD
βD
α
FβidD
α//
idFkτ
β,α
DβFjD
α
idDβFα
//DβDαFi
τβ,α idFi
FkD
βα
Fβα
//Dβα Fi
of natural isomorphisms.
(Mor.2) Given an object iOb(I), there exists a commutative diagram
Fi
ηiidFi//
idFiη
i##
DeiFi
FiD
ei
Fei
99
s
s
s
s
s
s
s
s
s
s
of natural isomorphisms.
Setup. Throughout this paper, when we consider a morphism Fbetween I-diagrams of abelian
categories, we always suppose that the functor Fiis additive and covariant for iOb(I).
1.7 Remark. The categorically inclined reader may realize that a morphism between two I-
diagrams of categories is exactly a pseudo natural transformation (also called an I-indexed functor
by Johnstone in [45]).
Under a certain condition, a morphism between I-diagrams admitting enough adjoints yields a
morphism between the induced Iop-diagrams.
1.8 Proposition. Let F:DDbe a morphism of I-diagrams of categories such that both D
and Dadmit enough right adjoints. If Fiadmits a right adjoint for any iOb(I), then Finduces
a morphism G:LLbetween the induced Iop-diagrams given in Proposition 1.5.
Proof. It follows from Proposition 1.5 that the I-diagram D(resp., D) induces an Iop-diagram
L(resp., L), which admits enough left adjoints. Thus the definition of Gis straightforward as
follows:
for iOb(Iop), set Gi:LiL
ito be the right adjoint of Fi.
for αop :jiin Mor(Iop), note that GiLαop and L
αop Gjare the right adjoint of
DαFiand FjD
α, respectively. Since Fα:FjD
αDαFiis a natural isomorphism
(see Definition 1.6), there exists a natural isomorphism
Gαop :GiLαop L
αop Gj.
It is routine to check that Gsatisfies the axioms (Mor.1) and (Mor.2) in Definition 1.6 by
Yoneda’s Lemma since so does F. Thus G:LLis a morphism between Iop-diagrams.
Dual to Proposition 1.8, we have:
14 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
1.9 Proposition. Let F:DDbe a morphism between I-diagrams of categories such that
both Dand Dhave enough left adjoints. If Fiadmits a left adjoint for any iOb(I), then F
induces a morphism E:KKof the induced Iop-diagrams given in Proposition 1.5.
In the special case that Iis the free category associated to a quiver, we show that any I-diagram
of (abelian) categories induces a corresponding strict I-diagram of (abelian) categories, and there
exists a special morphism between these two I-diagrams. Furthermore, we will show in the next
section that the categories of representations over these two I-diagrams are isomorphic. We begin
with a lemma, which is from [9, Proposition 1.3.5].
1.10 Lemma. Let F1, F2, F3:STand G1, G2, G3:TUbe six functors between categories,
and let α:F1F2,γ:F2F3,β:G1G2and δ:G2G3be four natural transformations.
Then one has
(δγ)(βα) = (δβ)(γα).
1.11 Proposition. Let Ibe the free category associated to a quiver and (D, η, τ )an I-diagram of
(abelian) categories. Then there exist a strict I-diagram Dof (abelian) categories and a morphism
F:DDsuch that Fiis the identity for every iOb(I).
Proof. Suppose that Iis associated to the quiver Q= (Q0, Q1), where Q0is the set of vertices
and Q1is the set of arrows. Define Das follows:
for iOb(I), set D
ito be Di;
for the identity eion iOb(I), set D
eito be idDi;
for a non-identity morphism α:ijin Mor(I), which can be expressed uniquely as
αlαl1 · · · α1with α1,··· , αlarrows in Q1(l=l(α) is called the length of α), set the
functor D
α:DiDjto be the composite DαlDαl1 · · · Dα1.
It is evident that Dis a strict I-diagram of (abelian) categories.
Next, we define an assignment F:DDas follows:
for iOb(I), set Fito be idDi;
for αMor(I), set6
Fα=
ηi,if α=ei,
idDα,if l= 1,
ταll1◦···◦α1(idDαlταl1l2◦···◦α1) · · · (idDαl◦···◦Dα3τα21) if l>2.
It is clear that Fαis a natural isomorphism for any αMor(I). To show that Fis a morphism
between I-diagrams of abelian categories, we only need to prove that {Fα}αMor(I)satisfies the
axioms (Mor.1) and (Mor.2) in Definition 1.6.
The axiom (Mor.2) clearly holds since Fi= idDi,Fei=ηiand Dis a strict I-diagram of (abelian)
categories. It remains to show that {Fα}αMor(I)satisfies the axiom (Mor.1), that is,
τβ,α (FβFα) = Fβα ()
for any pair of composable morphisms iα
jβ
kin Mor(I). We check it case by case.
(a) If α=ei, then
τβ,ei(FβFei) = τβ,ei(Fβηi) = (idDβη1
i)(Fβηi) = (idDβFβ)(η1
iηi) = Fβ,
where the third equality holds by Lemma 1.10. A similar argument also works for the case
that β=ej.
6If l= 2 then Fα=τα21; if l= 3 then Fα=τα32α1(idDα3τα21).
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 15
(b) If l(α) = 1 = l(β), then
τβ,α (FβFα) = τβ (idDβidDα) = τβ,α idDβDα=τβ =Fβα ,
where the first and fourth equalities hold by relevant definitions.
(c) If l(α) = n>2 and l(β) = 1, a detailed check of () is given in Appendix B (see B.1).
(d) If l(α) = n>2 and l(β) = m>1, then we proceed by an induction on m. The case m= 1 has
been handled in (c). Suppose now that () holds for m1 and let β=βmβwith l(βm) = 1
and l(β) = m1. A detailed check of () is given in B.1.
This completes the proof.
2. Representations over diagrams of categories
In this section we introduce the definition of left (right) representations over an I-diagram of
categories, and give the abelian structure for categories of representations.
2.1. Left representations over diagrams of categories. We begin with the following definition.
2.1 Definition. Let (D, η, τ ) be an I-diagram of categories. A left representation Mover D
consists of the following data:
for every iOb(I), an object Miin Di, and
for every α:ijin Mor(I), a structural morphism Mα:Dα(Mi)Mjin Dj
such that the following two axioms are satisfied:
(lRep.1) Given composable morphisms iα
jβ
kMor(I), there exists a commutative diagram
Dβα(Mi)Mβα
//Mk
Dβ(Dα(Mi))
τβ,α(Mi)
OO
Dβ(Mα)
//Dβ(Mj)
Mβ
OO
in Dk, that is, Mβα τβ(Mi) = MβDβ(Mα).
(lRep.2) Given an object iOb(I), there exists a commutative diagram
Mi
idMi//
ηi(Mi)$$
Mi
Dei(Mi)
Mei
::
in Di, that is, Mei=η1
i(Mi).
A morphism ω:MMbetween two left representations Mand Mover Dis a family
{ωi:MiM
i}iOb(I)of morphisms such that the diagram
Dα(Mi)Dα(ωi)
//
Mα
Dα(M
i)
M
α
Mj
ωj
//M
j
in Djcommutes for any α:ijMor(I).
Denote by D-Rep the category of all left representations over D. In the situation that Dis an
I-diagram of abelian categories, it is clear that D-Rep is an additive category with the zero object.
From now on, we always assume that Dis an I-diagram of abelian categories. We give a few
examples of left representations over D.
16 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
2.2 Example. Let F:CDbe a right exact functor between abelian categories Cand D.
One can construct an abelian category, denoted by (FD), whose objects are the morphisms
σ:F(C)Dwith CCand DD, and morphisms from the object σ:F(C)Dto the object
σ:F(C)Dare the pair (α:CC, β :DD) of morphisms such that βσ=σF(α).
Such a category is called a comma category in the literature. Examples of comma categories include
module categories over triangular matrix rings, morphism categories of abelian categories, etc.
Let Ibe the free category associated to the quiver (1 α
2). One can define a strict right exact
I-diagram Dof abelian categories with D1=C,D2=Dand Dα=F. It is evident that the comma
category (FD) coincides with the category D-Rep.
2.3 Example. Recall that a Morita context ring is a matrix
Λ = R M
N S
where Rand Sare two associative rings, Mis an (S, R)-bimodule, and Nis an (R, S )-bimodule,
together with a morphism
φ:NSMR
of (R, R)-bimodules and a morphism
ψ:MRNS
of (S, S)-bimodules. A module over Λ is a quadruple (X, Y, f, g) where Xis an R-module, Yis an
S-module,
f:MRXY
is an S-module homomorphism, and
g:NSYX
is an R-module homomorphism such that certain compatibility conditions are satisfied. For details,
please refer to [35].
We observe that the module category of Λ can be realized as D-Rep of a special diagram Dof
abelian categories. Explicitly, let Ibe the free category associated to the following quiver:
x
α
((y
β
hh
and let Dx=R-Mod,Dy=S-Mod,Dα=MR, and Dβ=NS. The reader can check that
a left representation over Dis precisely a Λ-module, so Λ-Mod coincides with D-Rep.
2.4 Example. Gao, K¨ulshammer, Kvamme and Psaroudakis introduced in [28] the notion of a
phylum on a quiver Q= (Q0, Q1) as an extension of Gabriel’s notion of species [27]. Recall from
[28, Definition 4.1] that a phylum Uon Qconsists of the following data:
for a vertex iQ0, an abelian category Ai;
for an arrow α:ijin Q1, a pair of functors (Fα:AiAj, Gα:AjAi) such that
both (Fα, Gα) and (Gα, Fα) are adjoint pairs.
Examples of representations over phyla include modules over triangular matrix rings, etc; see [28,
Example 4.5] and [46, Example 2.10(c)] for details.
Given a phylum Uon Q, define Uas follows:
for iQ0, set Uito be Ai;
for the identity eion i, set Ueito be idAi;
for any non-trivial path γ:ij, since γcan be written uniquely as γlγl1 · · · γ1with
all γ1,··· , γlarrows in Q1, set the functor Uγ:AiAjto be FγlFγl1 · · · Fγ1.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 17
It is evident that Uis a strict exact I-diagram of abelian categories, where Iis the free category
associated to Q. Furthermore, the category Rep(U) of U-representations given in [28, Definition 4.4]
coincides with the category U-Rep.
2.5 Example. Estrada and Virili introduced in [26] representations of small categories, which are
diagrams of associative rings in our sense and can be viewed as a common generalization of some
important algebraic structures naturally arising in geometric contexts. In Section 4, we will show
that the category of left R-modules in the sense of Estrada and Virili, where Ris a diagram of
associative rings, coincides with the category R-Rep for a certain I-diagram Rof module categories
induced by R.
The cateogry D-Rep is in general not abelian. However, under a mild assumption, we can show:
2.6 Theorem. Let (D, η, τ )be a right exact I-diagram of abelian categories. Then D-Rep is an
abelian category. Moreover, a sequence MNKin D-Rep is exact if and only if MiNi
Kiis exact in Difor each iOb(I).
Proof. Let ω:MMbe a morphism in D-Rep. We construct the cokernel Cok(ω) of ωas
follows. For iOb(I), let πi:M
icoker(ωi) be the cokernel of ωi:MiM
i. For α:ijin
Mor(I), consider the commutative diagram
(2.6.1) Dα(Mi)Dα(ωi)
//
Mα
Dα(M
i)
M
α
Dα(πi)
//Dα(coker(ωi)) //
coker(ω)α
0
Mj
ωj
//M
j
πj
//coker(ωj)//0
in Dj. Since Dαis right exact by assumption, the first row in the above commutative diagram is
exact. Consequently, Dα(πi) is the cokernel of Dα(ωi). Note that
πjM
αDα(ωi) = πjωjMα= 0.
By the universal property of the cokernel, there exists a morphism coker(ω)αsuch that the right
square in the above diagram commutes. Thus, we can make the following construction:
for iOb(I), set Cok(ω)i= coker(ωi), and
for α:ijin Mor(I), set Cok(ω)α= coker(ω)α.
It is routine to check that Cok(ω) satisfies the axioms (lRep.1) and (lRep.2), and hence, is an object
in D-Rep. For details, please refer to Subsection B.2.
We have already obtained a morphism π:MCok(ω) in D-Rep such that πω= 0. Let us
show that πis the cokernel of ω. Choose a morphism ǫ:MM′′ in D-Rep such that ǫω= 0.
For any iOb(I), note that πiis the cokernel of ωiand ǫiωi= 0. Consequently, there is a unique
morphism ρi: Cok(ω)iM′′
isuch that the diagram
(2.6.2) Mi
ωi//M
i
ǫi
##
πi//Cok(ω)i
ρi
M′′
i
18 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
commutes. To see that ρ={ρi}iOb(I)is a morphism in D-Rep, we need to verify that the right
square in the diagram
Dα(M
i)Dα(πi)
//
M
α
Dα(Cok(ω)i)
Cok(ω)α
Dα(ρi)
//Dα(M′′
i)
M′′
α
M
j
πj
//Cok(ω)j
ρj
//M′′
j
commutes for any α:ijin Mor(I); that is,
M′′
αDα(ρi) = ρjCok(ω)α.()
This is checked in Subsection B.2.
We can construct the kernel of ωdually, with the only difference that no exactness conditions
of Dis required. Moreover, it is also clear that the canonical morphism between the image and
the coimage is an isomorphism as it is an isomorphism on each component. Consequently, D-Rep
is an abelian category. The last statement is obvious by the definition of morphisms in D-Rep; see
Definition 2.1.
2.2. Limits and colimits. In this subsection we study limits and colimits in D-Rep, which have
been considered in [44, Subsection 2.3] for the special circumstance that Dadmits enough right
adjoints. The reader can see that constructions and properties described in this subsection are
quite similar to the ones in that paper. Firstly, we recall the AB axioms.
2.7 Definition. An abelian category Asatisfies the axiom AB3 if it is cocomplete, that is, it has
small coproducts. The abelian category Asatisfies the axiom AB4 if it satisfies the axiom AB3
and the further condition that any small coproduct of monomorphisms is a monomorphism. The
axioms AB3and AB4are dual to the axioms AB3 and AB4, respectively. Note that the axiom
AB3 is equivalent to the existence of arbitrary small colimits. We say that Asatisfies the axiom
AB5 if it satisfies the axiom AB3 and the condition that filtered colimits are exact.
A set Gof objects in Ais called a family of generators provided that for any non-zero morphism
f:XYin A, there exist an object GGand a morphism g:GXsuch that f g 6= 0. When
Asatisfies the axiom AB5 and possesses a family of generators, it is called a Grothendieck category.
2.8 Remark. Note that any colimit can be realized as the cokernel of a morphism of two small
coproducts. For a functor F:AAbetween two abelian categories which both have small
coproducts, if Fis right exact and preserves small coproducts, then it preserves small colimits
as well. Dually, if both Aand Ahave small products, and Fis left exact and preserves small
products, then it preserves small limits.
Let Dbe a right exact I-diagram of abelian categories such that Diadmits small coproducts for
every iOb(I) and Dαpreserves small coproducts for every αMor(I), that is, the morphism κα:
`uUDα(Mu
i)Dα(`uUMu
i) induced by the universal property of coproducts is an isomorphism
for any indexed set U. For a family {Mu}uUof objects in D-Rep, the coproduct `uUMuof
{Mu}uUcan be taken componentwise. Explicitly,
for iOb(I), (`uUMu)i=`uUMu
i;
for α:ijin Mor(I), by the universal property of the coproducts, there exists a unique
morphism ςαsuch that the diagram
Dα(Mu
i)Mu
α//
ε
Mu
j
ε
`uUDα(Mu
i)ςα//`uUMu
j= (`uUMu)j
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 19
commutes, where εand εare the canonical injections. Since Dαpreserves small coproducts
by assumption, the structural morphism (`uUMu)αis defined to be the composite
ςακ1
α:Dα(( a
uU
Mu)i)(a
uU
Mu)j.
The reader can check that the above setting of `uUMusatisfies axioms (lRep.1) and (lRep.2),
and hence, is an object in D-Rep. Furthermore, it satisfies the universal property of coproducts.
2.9 Remark. Note that if Dsatisfies the conditions specified in the construction of coproducts,
then Dihas small colimits for any iOb(I) and Dαpreserves small colimits for any αMor(I);
see Remark 2.8. Therefore, given a direct system ((Mx),(fyx)) of objects in D-Rep, by a similar
method one can construct the colimit componentwise.
The following result gives sufficient conditions such that the category D-Rep satisfies AB-axioms.
2.10 Proposition. Let Dbe a right exact I-diagram of abelian categories such that Dαpreserves
small coproducts for any αMor(I). If Disatisfies the axiom AB3 (resp., AB4,AB5)for any
iOb(I), then so does D-Rep.
Proof. By Theorem 2.6, we see that D-Rep is an abelian category. Note that the exactness of
a sequence in D-Rep is completely determined by the exactness of the corresponding sequences
obtained by restricting it to objects in Difor iOb(I) (see Theorem 2.6). By the descriptions of
coproducts and colimits in D-Rep, it follows that if Disatisfies the axiom AB3 (resp., AB4 or AB5)
for any iOb(I), so does D-Rep.
Now we describe products and limits in D-Rep. Let Dbe a right exact I-diagram of abelian
categories such that Dihas small products for each iOb(I). For a family {Mu}uUof objects
in D-Rep with Uthe index set, analogue to the coproduct `uUMu, one can define the product
QuUMuof {Mu}uUcomponentwise. Explicitly,
for iOb(I), (QuUMu)i=QuUMu
i;
for α:ijin Mor(I), by the universal property of products, there exists a unique
morphism σαsuch that the diagram
QuUDα(Mu
i)σα//
π
QuUMu
j= (QuUMu)j
π
Dα(Mu
i)Mu
α//Mu
j
commutes, where πand πare the canonical projections. The structural morphism (QuUMu)α
is defined to be the composite
σαια:Dα(( Y
uU
Mu)i)(Y
uU
Mu)j,
where ια:Dα(QuUMu
i)QuUDα(Mu
i) is the morphism induced by the universal
property of products.
The reader can check that QuUMuis indeed an object in D-Rep, and satisfies the universal
property of products.
2.11 Remark. Note that if Dsatisfies the conditions specified in the construction of products,
then Dihas small limits for any iOb(I) since any limit can be realized as the kernel of a morphism
of two small products. Therefore, given an inverse system ((Mx),(fxy)) of objects in D-Rep, by
a similar method one can define the limit componentwise. We also point out a small difference
between the constructions of coproducts and products. Explicitly, when defining coproducts and
20 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
colimits, we have to assume that Dαpreserves small coproducts for every αMor(I). However,
when defining products and limits, we don’t have to assume that Dαpreserves small products.
As a similar result of Proposition 2.10, we have:
2.12 Proposition. Let Dbe a right exact I-diagram of abelian categories. If Disatisfies the axiom
AB3(resp., AB4)for any iOb(I), then so does D-Rep.
2.3. Right representations over diagrams of categories. In this subsection we describe right
representations over diagrams of categories as well as their elementary properties. Since these
results are dual to the corresponding ones of left representations, we omit all proofs.
2.13 Definition. Let (D, η, τ ) be an I-diagram of categories. A right representations Nover D
consists of the following data:
for iOb(I), an object Niin Di, and
for α:ijin Mor(I), a structural morphism Nα:NjDα(Ni) in Dj
such that the following two axioms are satisfied.
(rRep.1) Given composable morphisms iα
jβ
kMor(I), there exists a commutative diagram
Nk
Nβα
//
Nβ
Dβα(Ni)
Dβ(Nj)
Dβ(Nα)
//Dβ(Dα(Ni))
τβ,α (Ni)
OO
in Dk, that is, Nβα =τβ(Ni)Dβ(Nα)Nβ.
(rRep.2) Given an object iOb(I), there exists a commutative diagram
Ni
idNi//
Nei##
Ni
Dei(Ni)
η1
i(Ni)
;;
in Di, that is, Nei=ηi(Ni).
A morphism σ:NNbetween two right representations Nand Nover Dis a family
{σi:NiN
i}iOb(I)of morphisms such that the following diagram
Nj
σj
//
Nα
N
j
N
α
Dα(Ni)Dα(σi)
//Dα(N
i)
in Djcommutes for any α:ijMor(I).
Denote by Rep-Dthe category of right representations over D, which is clearly additive when D
is an I-diagram of abelian categories.
A dual result of Theorem 2.6 is:
2.14 Theorem. Let Dbe a left exact I-diagram of abelian categories. Then Rep-Dis an abelian
category. Moreover, a sequence MNKin Rep-Dis exact if and only if MiNiKiis
exact in Difor every iOb(I).
One can modify the constructions in Subsection 2.2 to obtain colimits and limits in Rep-D. In
particular, we have the following results.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 21
2.15 Proposition. Let Dbe a left exact I-diagram of abelian categories such that Dαpreserves
small products for any αMor(I). If Disatisfies the axiom AB3(resp., AB4)for any iOb(I),
then so does Rep-D.
2.16 Proposition. Let Dbe a left exact I-diagram of abelian categories. If Disatisfies the axiom
AB3 (resp., AB4,AB5)for any iOb(I), then so does Rep-D.
We end this section by giving an explicit relation between left representations and right repre-
sentations.
2.17 Remark. Suppose that the I-diagram Dof abelian categories admits enough right adjoints.
By Proposition 1.5, Dinduces an Iop -diagram Lof abelian categories admitting enough left ad-
joints. Furthermore, for each αMor(I), the functor Lαop is nothing but the right adjoint of Dα
by definition. One then concludes that D-Rep can be identified with Rep-L. Indeed, given an
object Min D-Rep and a morphism αMor(I), let M
αbe the adjoint morphism of Mα. Then by
Yoneda’s Lemma, Mis a left representation over Dif and only if the following hold:
for iOb(I), an object Miin Li=Di, and
for αop :jiin Mor(Iop), a structural morphism M
α:MiLαop (Mj)
such that the axioms (rRep.1) and (rRep.2) in Definition 2.13 are satisfied, that is, Mis an ob-
ject in Rep-L. Furthermore, one can check that the above construction also gives a bijective
correspondence between morphisms in D-Rep and morphisms in Rep-L.
On the other hand, if the I-diagram Dof abelian categories admitting enough left adjoints,
then by Proposition 1.5, Dinduces an Iop-diagram Kof abelian categories admitting enough right
adjoints. Analogously, the categories Rep-Dand K-Rep coincide.
3. Functors induced by morphisms between diagrams
In this section we investigate the extension and the restriction of scalars along a given morphism
between two I-diagrams of abelian categories, and show that under some mild assumptions they
form an adjoint pair. Furthermore, we prove that a “locally identical” morphism between diagrams
of abelian categories induces an isomorphism between categories of representations.
Some results in this section have been obtained by uttemann and ondigs for the special case
of diagrams admitting enough right adjoints; for details, please refer to [44].
Let F: (D, η, τ )(D, η, τ ) be a morphism between two I-diagrams of abelian categories. We
define an induced functor F!:D-Rep D-Rep as follows: given an object Nand a morphism
ω={ωi:NiN
i}iOb(I):NNin D-Rep,
for iOb(I), F!(N)iis Fi(Ni);
for α:ijin Mor(I), F!(N)α:Dα(F!(N)i) = Dα(Fi(Ni)) F!(N)j=Fj(Nj) is the
composite Dα(Fi(Ni)) F1
α(Ni)
//Fj(D
α(Ni)) Fj(Nα)
//Fj(Nj);
F!(ω) : F!(N)F!(N) is defined to be {Fi(ωi) : F!(N)i=Fi(Ni)Fi(N
i) = F!(N)i}iOb(I).
We have the following result, which can be viewed as an extension along the morphism between
the two I-diagrams. For I-diagrams admitting enough right adjoints, this result has been established
in [44, Lemma 2.3.5].
3.1 Proposition. The above construction gives a functor F!:D-Rep D-Rep.
Proof. We prove that F!is a functor by checking that F!(N) is an object in D-Rep and F!(ω) is
a morphism in D-Rep. Other axioms of functors can be verified similarly. A detailed verification
can be found in Subsection B.3.
22 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
A dual construction F!:Rep-DRep-D7for right representations is as follows: given an object
Nand a morphism σ={σi:NiN
i}iOb(I):NNin Rep-D,F!(N) is defined by:
for iOb(I), F!(N)iis Fi(Ni);
for α:ijMor(I), F!(N)α:F!(N)j=Fj(Nj)Dα(F!(N)i) = Dα(Fi(Ni)) is the
composite Fj(Nj)Fj(Nα)
//Fj(D
α(Ni)) Fα(Ni)
//Dα(Fi(Ni));
F!(σ) : F!(N)F!(N) is defined to be {Fi(σi) : F!(N)i=Fi(Ni)Fi(N
i) = F!(N)i}iOb(I).
A dual version of Proposition 3.1 for right representations is:
3.2 Proposition. The above construction gives a functor F!:Rep-DRep-D.
Under certain assumptions, the right adjoint of F!:D-Rep D-Rep exists. This fact has been
established in [44, Corollary 2.3.7], where a detailed proof is not given. For the convenience of the
reader, we give a complete proof.
3.3 Proposition. Let F:DDbe a morphism of I-diagrams of abelian categories such that
both Dand Dadmit enough right adjoints and Fiadmits a right adjoint for any iOb(I). Then
Finduces a functor F:D-Rep D-Rep, which is the right adjoint of F!.
Proof. By Proposition 1.8, Finduces a morphism G:LL, where Land Lare the Iop -
diagrams of abelian categories induced by Dand Drespectively. By Proposition 3.2, there exists
a functor
G!:Rep-LRep-L,
which is the extension of scalars along G. However, according to Remark 2.17, the categories Rep-L
and D-Rep coincide, and the categories Rep-Land D-Rep coincide as well. In this way we obtain
the desired functor Fwhich is defined to be G!.
Let Mbe an object in D-Rep and Nan object in D-Rep. We prove the adjunction by explicitly
constructing a pair of natural maps
u: HomD-Rep(N , F (M)) HomD-Rep(F!(N), M ) : v,
which are inverse to each other. Note that for any iOb(I), (Fi, Gi) is an adjoint pair by the
definition of G(see the proof of Proposition 1.8). Taking a morphism
ω={ωi:NiF(M)i=G!(M)i=Gi(Mi)}iOb(I)
from Nto F(M), we set u(ω) to be
{u(ω)i:F!(N)i=Fi(Ni)Mi}iOb(I),
where u(ω)iis the adjoint morphism of ωiwith respect to the adjoint pair (Fi, Gi). On the other
hand, for a morphism
σ={σi:F!(N)i=Fi(Ni)Mi}iOb(I)
from F!(N) to M, we set v(σ) to be
{v(σ)i:NiGi(Mi) = G!(M)i=F(M)i}iOb(I),
where v(σ)iis the adjoint morphism of σiwith respect to the adjoint pair (Fi, Gi).
Now the reader can check that u(ω) (resp., v(σ)) is a morphism in D-Rep (resp., D-Rep), and
uand vare inverse to each other. Furthermore, the construction of uand vare natural in both
variants.
The dual result for right representations is:
7Here we use the same symbol F!for both the left representation category and the right representation category.
We believe that it will not cause a big trouble to the reader since he/she can easily distinguish the two cases from
the context.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 23
3.4 Proposition. Let F:DDbe a morphism of I-diagrams of abelian categories such that
both Dand Dadmit enough left adjoints and Fiadmits a left adjoint for every iOb(I). Then
Finduces a functor F:Rep-DRep-D, which is the left adjoint of F!.
The next result asserts that a “locally identical” morphism between two I-diagrams of abelian
categories induces an isomorphism between their representation categories.
3.5 Proposition. Let F: (D, η, τ )(D, η, τ )be a morphism between I-diagrams of abelian
categories such that Fiis the identity for every iOb(I). Then Finduces an isomorphism between
D-Rep and D-Rep (resp., Rep-Dand Rep-D).
Proof. We only show the conclusion for the categories of left representations. By definition, there
exists a family {Fα:D
αDα}αMor(I)of natural isomorphisms satisfying the axioms (Mor.1) and
(Mor.2) in Definition 1.6. We prove the conclusion by explicitly constructing a pair of functors
U:D-Rep D-Rep :V,
which are inverse to each other.
Let Mbe an object in D-Rep. Define U(M) as follows:
for iOb(I), set U(M)i=M
i;
for α:ijMor(I), set
U(M)α=M
αF1
α(M
i) : Dα(U(M)i)U(M)j.
Let δ:MKbe a morphism in D-Rep, that is, δis a family {δ
i:M
iK
i}iOb(I)of
morphisms such that
δ
jM
α=K
αD
α(δ
i) ()
for any morphism α:ijMor(I). Set U(δ) to be δ={δ
i:M
iK
i}iOb(I).
We claim that U(M) is a representation over Dand U(δ) is a morphism. A detailed proof
of this claim can be found in Subsection B.4. Furthermore, one can check that Usatisfies other
axioms of functors.
Analogously, one can define the functor Vby sending an object Min D-Rep to the object V(M)
with V(M)i=Mifor any object iOb(I) and V(M)α=MαFα(Ms(α)) for any morphism
αMor(I), and sending a morphism δ:MKin D-Rep to δitself. Again, one can check that
Vis indeed a functor, and Uand Vare inverse to each other. This completes the proof.
As an immediate consequence of Propositions 1.11 and 3.5, the following result asserts that
whenever studying representations over a diagram Dof abelian categories indexed by a free category
associated to a quiver, without loss of generality one can suppose that Dis strict. This fact will
be frequently used in Part III to significantly simplifies many arguments.
3.6 Corollary. Let Ibe the free category associated to a quiver and Dan I-diagram of abelian
categories. Then there is a strict I-diagram Dsuch that the categories D-Rep and D-Rep (resp.,
Rep-Dand Rep-D) are isomorphic.
3.7 Remark. Let Ibe the free category associated to a quiver Q= (Q0, Q1) and Da strict I-
diagram of abelian categories. Since a non-identity morphism αin Ican be written uniquely as
α=αl · · · α1with all α1,··· , αlarrows in Q1, each object Min D-Rep, up to isomorphism, is
uniquely determined by the family {MiDi}iQ0of objects and the family {Mθ}θQ1of structural
morphisms. In particular,
Mα=(Mei= idMi,if α=ei;
MαlDαl(Mαl1) · · · (Dαl · · · Dα2)(Mα1),otherwise.
24 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
Moreover, given two objects Mand Min D-Rep, a morphism ω:MMin D-Rep is determined
by a family {ωi:MiM
i}iOb(I)of morphisms such that the diagram
Dα(Mi)Dα(ωi)
//
Mα
Dα(M
i)
M
α
Mj
ωj
//M
j
in Djcommutes for all arrows α:ijin Q1.
Similarly, an object Nin Rep-Dis completely determined by the family {NiDi}iQ0of objects
and the family {Nα}αQ1of structural morphisms. Accordingly, a morphism σ:NNin Mod-D
is completely determined by a family {σi:NiN
i}iOb(I)of morphisms such that the diagram
Nj
σj
//
Nα
N
j
N
α
Dα(Ni)Dα(σi)
//Dα(N
i)
in Djcommutes for all arrows α:ijin Q1.
4. Representations over diagrams of module categories
Estrada and Virili introduced in [26] a representation Rof small categories Ion Cat (the 2-category
of small preadditive categories) and modules over R, and established a few fundamental homological
facts on the category of these modules. We observe that a representation Rof Iin that paper
is precisely an I-diagram of small preadditive categories considered in this paper. Therefore, it
is natural to explore relations between modules over Rin their sense and representations over
diagrams in our sense.
In this section, we show that an I-diagram Rof associative rings (or a representation Rof Ion
Ring in [26]) induces a right exact and endo-trivial I-diagram Rof module categories such that
the category R-Mod of left R-modules in [26] coincides with the category R-Rep. Furthermore,
all results on I-diagrams of associative rings in this section can extend to I-diagrams of small
preadditive categories (or a representation of Ion Cat in [26]); see Appendix A. Therefore, the
work described in [26] also falls into our framework.
4.1. Diagrams of module categories. Now we explain that an I-diagram Rof associative rings
induces a right exact and endo-trivial I-diagram Rof module categories. Explicitly,
for iOb(I), Riis a unitary associative ring, and
for α:ijMor(I), Rα:RiRjis a ring homomorphism.
Define Ras follows:
for iOb(I), set Rito be Ri-Mod, the category of left Ri-modules;
for α:ijMor(I), set Rα:Ri-Mod Rj-Mod to be the tensor product functor
RjRi;
for iOb(I), set ηi: idRi-Mod Rei=RiRito be the classical natural isomorphism
defined by the isomorphism M
=
RiRiMfor any left Ri-module M;
for a pair of composable morphisms α:ijand β:jkin Mor(I), set τβ,α :RβRα
Rβα to be the composite of the following classical natural isomorphisms
RkRj(RjRi)
=
(RkRjRj)Ri
=
RkRi.
Dually, define Ras follows:
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 25
for iOb(I), set Rito be Mod-Ri, the category of right Ri-modules;
for α:ijMor(I), set Rα:Mod-RiMod-Rjto be the Hom functor HomRi(Rj,);
for iOb(I), set ηi: idMod-RiRei= HomRi(Ri,) to be the classical natural isomor-
phism defined by the isomorphism N
=
HomRi(Ri, N ) for any right Ri-module N;
for a pair of composable morphisms α:ijand β:jkin Mor(I), set τβ,α :RβRα
Rβα to be the composite of the following classical natural isomorphisms
HomRj(Rk,HomRi(Rj,))
=
HomRi(RkRjRj,)
=
HomRi(Rk,).
It is easy to show that both Rand Rare I-diagrams of abelian categories. Moreover, the following
facts are also clear from the above construction: Ris right exact and admits enough right adjoints;
Ris left exact and admits enough left adjoints, and both Rand Rare endo-trivial.
Recall from [26, Definition 3.5] that Ris said to be flat if Rαis a flat ring homomorphism for
any α:ijin Mor(I), that is, the functor RjRi:Ri-Mod Rj-Mod is exact. The following
example is taken from [26, Example 3.2], which contains three important algebraic structures arising
in geometric context. All these algebraic structures can be naturally viewed as flat diagrams of
associative rings indexed by the corresponding skeletal small categories.
4.1 Example. (1) Let (X, OX) be a scheme. Choose an affine open cover Uof Xand let Ibe the
small category associated to the poset Uordered by reverse inclusion. Then the structure sheaf
OXof rings is a flat I-diagram of commutative rings.
(2) Let Xbe an algebraic stack with the structure sheaf of rings OX, and denote by Ithe small
skeleton of the category of affine schemes smooth over X. Then the structure sheaf of rings OXis
a flat I-diagram of commutative rings.
(3) Let Xbe a Deligne-Mumford stack with the structure sheaf of rings OX, and let Ibe the
small skeleton of the category of affine schemes that are ´etale over X(such a small skeleton must
exist as ´etale morphisms are of finite type). Then the structure sheaf of rings OXis a flat I-diagram
of commutative rings.
Each I-diagram R=OXof commutative rings in Example 4.1 induces an I-diagram Rof module
categories. In particular, all three induced I-diagrams are exact.
The following result shall be well known to experts, which asserts that a morphism between two
presheaves of associative rings induces a functor between the corresponding categories of presheaves
of modules over them.
4.2 Proposition. Let F:RRbe a morphism between I-diagrams of associative rings. Then
Finduces morphisms F:RRand F:RRbetween I-diagrams of module categories.
Proof. Note that Fi:R
iRiis a ring homomorphism for any iOb(I), and both R
α:R
iR
j
and Rα:RiRjare also ring homomorphisms for any α:ijMor(I). Define Fas follows:
for iOb(I), set the functor Fi:Ri=R
i-Mod Ri=Ri-Mod to be RiR
i;
for α:ijMor(I), since Rαand Rαare R
jR
iand RjRirespectively, set
Fα:FjRα=RjR
j(R
jR
i)RαFi=RjRi(RiR
i)
to be the composite of the following classical natural isomorphisms
RjR
j(R
jR
i)
=
(RjR
jR
j)R
i
=
RjR
i
=
(RjRiRi)R
i
=
RjRi(RiR
i).
It is not difficult to verify that Fsatisfies the axioms (Mor.1) and (Mor.2) in Definition 1.6. Thus,
Fis indeed a morphism from Rto R.
On the other hand, define Fas follows:
for iOb(I), set the functor Fi:Ri=Mod-R
iRi=Mod-Rito be HomR
i(Ri,);
26 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
for α:ijMor(I), since Rαand Rαare HomR
i(R
j,) and HomRi(Rj,) respectively,
set Fα:FjRα= HomR
j(Rj,HomR
i(R
j,)) RαFi= HomRi(Rj,HomR
i(Ri,)) to
be the composite of the following classical natural isomorphisms
HomR
j(Rj,HomR
i(R
j,))
=
HomR
i(RjR
jR
j,)
=
HomR
i(Rj,)
=
HomR
i(RjRiRi,)
=
HomRi(Rj,HomR
i(Ri,)).
It is not difficult to verify that Fsatisfies the axioms (Mor.1) and (Mor.2) in Definition 1.6. Thus,
Fis a morphism from Rto R.
4.2. Representations over diagrams of module categories. As before, let (R, η, τ ) be an I-
diagram of associative rings. In this subsection we show that the category R-Mod of left R-modules
studied in [26] coincides with the category R-Rep8.
Let F1, F2:STand H1, H2:Top Ube four functors between categories, and let α:F1F2
and β:H2H1be two natural transformations. Recall that the Godement product of αand β
is the natural transformation βα:H2F2H1F1by defining (βα)(S) as
(4.2.1) H1(α(S)) β(F2(S)) = β(F1(S)) H2(α(S))
for any object Sin S.
4.3 Definition (Estrada and Virili). Recall from [26, Definition 3.6] that a left R-module M
consists of the following data:
for iOb(I), a left Ri-module Mi, and
for α:ijMor(I), a morphism Mα:Mi(Rα)(Mj) in Ri-Mod, where (Rα)=
HomRj(Rj,) is the restriction of scalars along Rα,
such that the following axioms are satisfied:
(Mod.1) Given composable morphisms iα
jβ
kMor(I), there is a commutative diagram
Mi
Mβα
//
Mα
(Rβα)(Mk)
idMkτβ,α
(Rα)(Mj)(Rα)(Mβ)
//(Rα)((Rβ)(Mk)).
(Mod.2) For iOb(I), there exists a commutative diagram
Mi
idMi//
Mei%%
Mi
(Rei)(Mi)
idMiηi
99
t
t
t
t
t
t
t
t
t
t
4.4 Remark. We mention that (Rβα)(Mk) = MkRβα and (Rα)((Rβ)(Mk)) = MkRβRαin
(Mod.1); one refers to (4.2.1) for the definition of idMkτβ,α . Also, note that (Rei)(Mi) = MiRei
in (Mod.2).
8The objects in R-Rep are called modules over the diagram Rby Greenlees and Shipley in [36].
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 27
A morphism ω:MMbetween two left R-modules is a family {ωi:MiM
i}iOb(I)of
morphisms such that the diagram
Mi
ωi//
Mα
M
i
M
α
(Rα)(Mj)(Rα)(ωj)
//(Rα)(M
j)
in Ri-Mod commutes for any α:ijMor(I). Denote by R-Mod the category of left R-modules.
4.5 Proposition. Let Rbe an I-diagram of associative rings. Then the category R-Mod of left
R-modules coincides with the category R-Rep.
Proof. For any α:ijMor(I), note that ((Rα)!,(Rα)) is an adjoint pair, where (Rα)!=
RjRi. Let (Rα)!(Mi)Mjbe the adjoint morphism of Mi(Rα)(Mj). Then it is routine to
check by Yoneda’s Lemma that the definition of a left R-module Mis equivalent to the following
conditions:
for iOb(I), a left Ri-module Mi, and
for α:ijMor(I), a homomorphism Mα: (Rα)!(Mi)Mjin Rj-Mod
such that the following axioms are satisfied:
(Mod.1) Given composable morphisms iα
jβ
kMor(I), there is a commutative diagram
(Rβα)!(Mi)Mβα
//Mk
(Rβ)!((Rα)!(Mi)) (Rβ)!(Mα)
//
τβ,α (Mi)
OO
(Rβ)!(Mj).
Mβ
OO
(Mod.2) For iOb(I), there exists a commutative diagram
Mi
idMi//
ηi(Mi)%%
Mi
(Rei)!(Mi).
Mei
99
s
s
s
s
s
s
s
s
s
s
Therefore, a left R-module Mis precisely an object in R-Rep. Furthermore, by Yoneda’s Lemma
a morphism between two left R-modules is precisely a morphism in R-Rep.
4.6 Remark. Since Radmits enough right adjoints, it induces an Iop-diagram Lof module cat-
egories by Proposition 1.5. Therfore, R-Mod =R-Rep =Rep-Lby Proposition 4.5 and Remark
2.17.
28 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
Part II. Functors, adjunctions, and their applications
In this part we explore functors between representation categories induced by functors between
index categories. Explicitly, by a standard procedure, a functor G:JIof skeletal small
categories as well as an I-diagram Dof abelian categories give rise to an induced J-diagram DG
of abelian categories as well as a restriction functor from D-Rep to (DG)-Rep. Furthermore,
under suitable conditions we construct the left adjoint functor of the restriction functor.
Some special cases (for instances, Jis a full subcategory consisting of only one object) are of
particular interest to us, so we also study them in details and obtain a few important functors (such
as the stalk functor and the evaluation functor) and their adjoints, which are extensively applied
in this part to deduce some useful results on the structure of D-Rep.
Setup. Throughout this part suppose that (D, η, τ ) is right exact I-diagram of abelian categories
unless otherwise specified, so that the category D-Rep is abelian by Theorem 2.6, though some
results still hold without this assumption.
5. The induction functor and its applications
5.1. The restriction functor and its left adjoint. It is well known that continuous maps be-
tween topological spaces induce functors between categories of sheaves of sets (or groups, modules).
In this section we establish the same result for diagrams of abelian categories and representations
over them. We mention that uttemann and ondigs have considered this question for the special
case of diagrams admitting enough right adjoints and established a few results appearing in this
subsection; for details, please refer to [44, Subsection 2.4].
Given a functor G:JIof skeletal small categories, we can obtain an associated J-diagram of
abelian categories via a process of composing functors.
5.1 Lemma. Let G:JIbe a functor between skeletal small categories. Then DGis a right
exact J-diagram with (DG)i=DG(i)for iOb(J)and (DG)λ=DG(λ)for λMor(J).
Proof. Note that the I-diagram Dis a pseudo 2-functor from I, viewed naturally as a 2-category,
to the meta-2-category AB of abelian categories; see Remark 1.2. Then the composite DGis
also a pseudo 2-functor from Jto AB, and hence, a J-diagram. Specifically, the J-diagram DG
consists of the following data:
for iOb(J), an abelian category (DG)i=DG(i);
for λ:ijMor(J), a functor (DG)λ: (DG)i(DG)j, which is the functor
DG(λ):DG(i)DG(j);
for iOb(J), a natural isomorphism µi: id(DG)i(DG)ei, which is the natural
isomorphism ηG(i): idDG(i)DG(ei)=DeG(i);
for a pair of composable morphisms λand κin Mor(J), a natural isomorphism
νκ,λ : (DG)κ(DG)λ(DG)κλ,
which is the natural isomorphism
τG(κ),G(λ):DG(κ)DG(λ)DG(κλ).
It is clear from the above descriptions that DGis right exact since so is D.
Now we begin to construct various functors between D-Rep and (DG)-Rep. The first one is
the restriction functor G:D-Rep (DG)-Rep defined as follows: given an object Mand a
morphism ω={ωi:MiM
i}iOb(I):MMin D-Rep,
for jOb(J), set G(M)jto be MG(j)in DG(j);
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 29
for λ:ijMor(J), set the structural morphism G(M)λ: (DG)λ(G(M)i)G(M)j
to be the morphism MG(λ):DG(λ)(MG(i))MG(j);
set G(ω) : G(M)G(M) to be {ωG(i):MG(i)M
G(i)}iOb(J).
5.2 Proposition. The above construction gives an exact functor G:D-Rep (DG)-Rep.
Proof. By a routine check, we conclude that G(M) satisfies the axioms (lRep.1) and (lRep.2) in
Definition 2.1, and hence, is an object in (DG)-Rep. It is also clear that G(ω) is a morphism in
(DG)-Rep. Furthermore, one can check that Gsatisfies other axioms of functors, and is exact
by Theorem 2.6.
Suppose that Disatisfies the axiom AB3 for every iOb(I) and Dαpreserves small coproducts
for every αMor(I). By Remark 2.8, each Dihas small colimits for iOb(I) and each Dαpreserves
small colimits. We can construct a functor G!: (DG)-Rep D-Rep in the inverse direction, called
the induction functor. A more conceptual construction of this functor is given in [44, Subsection
2.4], where it is called a twisted left Kan extension. To help the reader understand this abstract
and complicated construction, here we give a more explicit and constructive description, but do
not claim originality.
For this purpose, we introduce a special construction of colimits over morphism categories.
Explicitly, for iOb(I), let G/i be the over category whose objects are morphisms in Istarting at
G(j) for a certain jOb(J) and ending at i, and morphisms from θ:G(j)ito θ:G(j)i
are morphisms β:jjin Jsuch that θ=θG(β). Now given a representation N(DG)-Rep,
we define a functor ˜
N:G/i Dias follows:
for θ:G(j)i, let ˜
N(θ) = Dθ(Nj);
for a morphism β:jjfrom θ:G(j)ito θ:G(j)i, let ˜
N(β) be the composite
of the following morphisms Dθ(Nj) = DθG(β)(Nj)
=Dθ(DG(β)(Nj)) Dθ(Nj) where the
last map is obtained by applying Dθto the structural map DG(β)(Nj)Nj.
It is easy to check that ˜
Nis indeed a functor, so one can define colimG/i ˜
N. Frequently we also
denote this colimit by colimG/i Dθ(N) where θdenotes all morphisms G()iwith Ob(J).
Now we define the induction functor as follows. Given an object Nand a morphism σ:NN
in (DG)-Rep, we define:
For iOb(I), set G!(N)ito be colimG/i Dθ(N).
For α:ijMor(I), note that αθ HomI(G(), j) for any morphism θHomI(G(), i),
so there exists a canonical morphism
sαθ :Dαθ(N) colim
G/j
Dδ(N).
By the universal property of colimits, we can find a unique morphism ϑαsuch that the
diagram
(5.2.1) Dα(Dθ(N)) τα,θ(N)
//
sα,θ
θ
Dαθ(N)
sαθ
colimG/i Dα(Dθ(N)) ϑα//colimG/j Dδ(N)
30 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
commutes. On the other hand, by the universal property of colimits again, there exists a
morphism χαsuch that the diagram
(5.2.2) Dα(Dθ(N))
Dα(sθ)
**
sα,θ
θ
colimG/i Dα(Dθ(N)) χα//Dα(colimG/i Dθ(N))
commutes. We mention that Dαpreserves small colimits (see Remark 2.8), that is, the
morphism χαis an isomorphism. Thus we set the structural morphism G!(N)αto be the
composite ϑαχ1
α.
For any object θG/i, there exists a morphism Dθ(σ) : Dθ(N)Dθ(N
). By the
universal property of colimits, we can find a unique morphism ωisuch that the diagram
(5.2.3) Dθ(N)Dθ(σ)
//
sθ
Dθ(N
)
s
θ
colimG/i Dθ(N) = G!(N)i
ωi//G!(N)i= colimG/i Dθ(N
)
commutes. Define G!(σ) : G!(N)G!(N) to be {ωi}iOb(I).
5.3 Example. Colimits appearing in the above construction seems mysterious, so let us give an
explicit example for illustration. Let Q= (Q0, Q1) be a quiver without loops (arrows from a vertex
to itself) and oriented cycles (that is, a nontrivial path which is of length at least two and starts
and ends at the same vertex), and let Q= (Q
0, Q
1) be the subquiver obtained by removing from
Qa vertex jand all paths through it. Since each quiver can be viewed as a category in a natural
way, we obtain an inclusion functor ι:QQ. Then objects in ι/j are paths γ:ijsuch that
i6=j, and morphisms from γ:ijto γ:ijare paths β:iisuch that γ=γβ(here we
need the assumption that Qhas no loops or oriented cycles to guarantee that every path from ito
iin Qis also contained in Q). It is easy to deduce the following observations:
(1) ι/j has a poset structure given by γ6γif γ=γβfor a certain β;
(2) each connect component of ι/i contains a unique arrow γ: j, which is the terminal
object of this component.
By these observations, the colimit over ι/i becomes the coproduct indexed by arrows ending at j:
colim
ι/j
Dθ(N) = a
θQ1(,j)
Dθ(N).
The following result is a generalization of a well known fact in representation theory of rings
and sheaf theory on topological spaces: the restriction functor and the induction functor form an
adjoint pair, though its proof becomes much more complicated in our very general framework. We
shall point out that H¨uttemann and ondigs have proved this result in [44, Theorem 2.4.1] for
I-diagrams admitting enough right adjoints. We do not make this assumption, and hence the result
can apply to a wider framework.
5.4 Theorem. Suppose that Disatisfies the axiom AB3 for iOb(I)and Dαpreserves small
coproducts for αMor(I). Then G!defined above is a functor, and is the left adjoint of G.
Proof. For the rst statement, we prove that G!sends objects to objects and morphisms to mor-
phisms; the other axioms of functors are clear since the above construction is clearly functorial. To
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 31
show that G!(N) is an object in D-Rep, we verify the axioms (lRep.1) and (lRep.2) in Definition
2.1. Explicitly, we shall have:
G!(N)βDβ(G!(N)α)τ1
β,α(G!(N)i) = G!(N)βα ()
for every pair of composable morphisms α:ijand β:jkin Mor(I), and
G!(N)eiηi(G!(N)i)sθ=sθ()
for any iOb(I). Similarly, to verify that {ωi}iOb(I)is a morphism in D-Rep, we shall have
ωjG!(N)α=G!(N)αDα(ωi) ()
for any α:ijin Mor(I). Detailed proofs of these identities are given in Subsection B.5.
Now we prove the second statement by explicitly constructing a pair of natural maps for every
object Nin (DG)-Rep and every object Min D-Rep
u: HomD-Rep(G!(N), M )Hom(DG)-Rep(N, G(M)) : v,
and showing that uand vare inverse to each other.
To define the map u, take a morphism ω={ωi}iOb(I):G!(N)Min D-Rep. For iOb(J),
note that Ni(DG)i=DG(i)and µi=ηG(i)(see the proof of Lemma 5.1). Define u(ω)ito be
the composite
Ni
ηG(i)(Ni)
DeG(i)(Ni)
seG(i)
G!(N)G(i)= colim
G/G(i)
Dθ(N)ωG(i)
MG(i)=G(M)i,
that is, u(ω)i=ωG(i)seG(i)ηG(i)(Ni). Then for any morphism λ:ijMor(J), we have
G(M)λ(DG)λ(u(ω)i) = u(ω)jNλ,()
whose proof is given in Subsection B.5. Thus {u(ω)i}iOb(J)is a morphism in (DG)-Rep. Now
define u(ω) to be {u(ω)i}iOb(J).
To define the map v, let σ={σi}iOb(J):NG(M) be a morphism in (DG)-Rep. For
iOb(I) and θOb(G/i), note that the morphism σ:NG(M)induces the morphism
Dθ(σ) : Dθ(N)Dθ(G(M)). By the universal property of colimits, there exists a unique
morphism v(σ)isuch that the diagram
(5.4.1) Dθ(N)Dθ(σ)
//
sθ
Dθ(G(M)) = Dθ(MG())
Mθ
G!(N)i= colimG/i Dθ(N)v(σ)i//Mi
commutes. Define v(σ) to be {v(σ)i}iOb(I). Then for any morphism α:ijMor(I), we have
v(σ)jG!(N)αχαsα,θ
θ=MαDα(v(σ)i)χαsα,θ
θ(§)
whose proof is given in Subsection B.5. Since χαis an isomorphism, by the universal property of
colimits one has
v(σ)jG!(N)α=MαDα(v(σ)i),
and so v(σ) is a morphism in D-Rep.
32 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
Clearly, the maps uand vconstructed above are natural with respect to Nand M. We prove
that they are inverse to each other. On one hand, for iOb(J), one has
u(v(σ))i=v(σ)G(i)seG(i)ηG(i)(Ni) by def. of u(v(σ))i
=MeG(i)DeG(i)(σi)ηG(i)(Ni) by (5.4.1)
=η1
G(i)(MG(i))DeG(i)(σi)ηG(i)(Ni) by (lRep.2)
=σiη1
G(i)(Ni)ηG(i)(Ni)
=σi,
where the fourth equality holds by the commutative diagram
DeG(i)(Ni)
η1
G(i)(Ni)
DeG(i)(σi)
//DeG(i)(MG(i))
η1
G(i)(MG(i))
Ni
σi//MG(i)
induced by applying the natural isomorphism η1
G(i)to the morphism σi. Thus, u(v(σ)) = σ, so uv
is the identity map.
On the other hand, for iOb(I), we have
v(u(ω))isθ=MθDθ(u(ω)) by (5.4.1)
=MθDθ(ωG())Dθ(seG())Dθ(ηG()(N)) by def. of u(ω)
=ωiG!(N)θDθ(seG())Dθ(ηG()(N))
=ωiϑθχ1
θDθ(seG())Dθ(ηG()(N)) by def. of G!(N)θ
=ωiϑθχ1
θχθsθ,eG()
eG()Dθ(ηG()(N)) by (5.2.2)
=ωiϑθsθ,eG()
eG()Dθ(ηG()(N))
=ωiϑθsθ,eG()
eG()τ1
θ,eG()(N) by (Dia.2)
=ωisθby (5.2.1).
Therefore, by the universal property of colimits, we have v(u(ω))i=ωiand hence v(u(ω)) = ω.
Consequently, vu is also the identity map.
5.5 Example. The above construction unifies many constructions familiar to the reader. For
instances, if Iis a group (a category with one object such that all endomorphisms are invertible),
and Iis a subgroup. Take Dto be the trivial diagram over a module category. Then we recover
the classical induction functor in group representation theory. Similarly, the extension functor
along a ring homomorphism is also a special case of this general construction. More generally, this
construction also includes the classical left Kan extension in category theory.
5.6 Remark. When the diagram Dadmits enough right adjoints and each Diis complete, one can
construct the right adjoint functor of G, using the right adjoint of Dαfor αMor(I). However,
for an arbitrary diagram D, we do not know whether its right adjoint exists.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 33
Proposition 3.3 and the above theorem are two distinct aspects of a general base change proce-
dure. Explicitly, given the following diagram which might not be commutative
JG//
D
I
D
~~
AB
with Da right exact J-diagram of abelian categories. If both Dand Dadmit enough right adjoints,
and there is a morphism F:DDGsuch that Fjadmits a right adjoint for jOb(J), then
by Proposition 3.3 one obtains an adjoint pair of functors
F!:D-Rep (DG)-Rep :F.
On the other hand, if Disatisfies the axiom AB3 for iOb(I) and Dαpreserves small coproducts
for αMor(I), then by Theorem 5.4 one obtains another adjoint pair of functors
G!: (DG)-Rep D-Rep :G.
Combining these two facts, we get the following result.
5.7 Corollary. Suppose that the conditions specified in Proposition 3.3 and Theorem 5.4 hold.
Then G!F!:D-Rep D-Rep :FGis an adjoint pair.
Now we apply the general results to a special case. Take an object iOb(I). Let Iibe the
subcategory of Iconsisting of the single object iand the single morphism ei. Note that there exists
an obvious isomorphism between (Dιi)-Rep and Di, where ιi:IiIis the canonical inclusion.
Explicitly, an object Miin Dican be viewed as an object in (Dιi)-Rep with the structural morphism
(Mi)ei: (Dιi)ei(Mi) = Dei(Mi)Mi, which is exactly η1
i(Mi). A morphism ωi:MiM
iin
Digives a commutative diagram
(Dιi)ei(Mi) = Dei(Mi)
Dei(ωi)
//
(Mi)ei
(Dιi)ei(M
i) = Dei(M
i)
(M
i)ei
Mi
ωi//M
i
and hence it is also a morphism in (Dιi)-Rep. Therefore, in the rest of this paper we identify
these two categories.
We define the evaluation functor at ito be the composite
evai:D-Rep (ιi)
(Dιi)-Rep
Di
sending a left representation Mover Dto its “local” value Miin Di. If Djsatisfies the axiom AB3
for every jOb(I) and Dαpreserves small coproducts for every αMor(I), then by Theorem 5.4,
the inclusion ιi:IiIinduces a functor
frei:Di
(Dιi)-Rep (ιi)!
D-Rep.
The functor freihas a very simple description. Indeed, since Iicontains only one morphism, the
over category ιi/j for any object jOb(I) is discrete. Therefore, all colimits appearing in that
construction become coproducts. That is, for MiDiand jOb(I), one has
(frei(Mi))j=a
θHomI(i,j)
Dθ(Mi).
An immediate corollary of Theorem 5.4 is:
34 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
5.8 Corollary. Let ibe an object in Ob(I). Suppose that Djsatisfies the axiom AB3 for jOb(I)
and Dαpreserves small coproducts for αMor(I). Then (frei,evai)is an adjoint pair.
5.2. Grothendieck structure and locally finitely presented property. The evaluation func-
tor and its left adjoint can serve as a bridge connecting the global datum of D-Rep and local data of
Di’s. In this subsection we illustrate some applications, and establish a few fundamental results on
the structure of D-Rep. In particular, local Grothendieck structures on Di’s can amalgamate to a
Grothendieck structure on D-Rep, and under certain conditions, D-Rep is locally finitely presented.
Consequently, we can obtain a generalization of the classical representation theorem of Makkai and
Par´e [50] (see also [1] and [12]).
5.9 Proposition. Suppose that Disatisfies the axiom AB3 for iOb(I)and Dαpreserves small
coproducts for αMor(I). If Dihas a family of generators (resp., projective generators) for every
iOb(I), then so does D-Rep.
Proof. Denote by Githe family of generators of Difor iOb(I). We claim that
fre(G) = {frei(Gi)|GiGi, i Ob(I)}
is a family of generators of D-Rep.
Let ω:MMbe a non-zero morphism in D-Rep. Then there exists an object iOb(I) such
that ωi:MiM
iis non-zero. Since Giis a family of generators of Di, one can find a morphism
gi:GiMiwith GiGisuch that ωigi6= 0. We construct a morphism σ:frei(Gi)M
such that ωσ6= 0, which implies the claim. It turns out that such a σcan be expressed as the
composite of two morphisms.
To construct the first morphism, applying the functor freito gi, we obtain a morphism frei(gi) :
frei(Gi)frei(Mi) such that the diagram
(5.9.1) Dei(Gi)
Dei(gi)
//
εGi
ei
Dei(Mi)
εMi
ei
`ιHomI(i,i)Dι(Gi) = frei(Gi)i
frei(gi)i
//frei(Mi)i=`ιHomI(i,i)Dι(Mi)
in Dicommutes, where εGi
eiand εMi
eiare the canonical injections; see (5.2.3).
To construct the second morphism, for jOb(I), by the universal property of coproducts, there
exists a unique morphism ρjsuch that for every θHomI(i, j) the diagram
(5.9.2) Dθ(Mi)
εMi
θ
Mθ
))
`θHomI(i,j)Dθ(Mi) = frei(Mi)jρj
//Mj
in Djcommutes. Note that Dαpreserves small coproducts for αMor(I) by assumption. It is
routine to check that ρ={ρj}jOb(I)is a morphism from frei(Mi) to M.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 35
Now let σ=ρfrei(gi). To verify ωσ6= 0, it is enough to show ωiσi6= 0. Indeed, we have
ωiσiεGi
eiηi(Gi) = ωiρifrei(gi)iεGi
eiηi(Gi)
=ωiρiεMi
eiDei(gi)ηi(Gi) by (5.9.1)
=ωiMeiDei(gi)ηi(Gi) by (5.9.2)
=ωiη1
i(Mi)Dei(gi)ηi(Gi)
=ωigiη1
i(Gi)ηi(Gi)
=ωigi6= 0,
where the fifth equality holds by the commutative diagram induced by applying the natural iso-
morphism η1
ito the morphism gi.
In particular, if the objects in Giare projective for iOb(I), then fre(G) is a family of projective
generators of D-Rep since frei, as the left adjoint of the exact functor evai, preserves projective
objects.
5.10 Remark. According to the proof of Proposition 5.9, any projective object in D-Rep is iso-
morphic to a direct summand of a direct sum of members in the family
{frei(Pi)|iOb(I) and Piis projective in Di}.
As an immediate consequence of Propositions 2.10 and 5.9, we have:
5.11 Theorem. Suppose that Dαpreserves small coproducts for αMor(I). If Diis a Grothendieck
category (resp., a Grothendieck category with a family of projective generators) for every iOb(I),
then so is D-Rep.
Let Rbe an I-diagram of associative rings. Estrada and Viliri showed in [26, Theorem 3.18]
that the category R-Mod in Definition 4.3 is a Grothendieck category. If further Iis a poset,
then R-Mod has a projective generator. According to Proposition 4.5, R-Mod coincides with the
category R-Rep, where Ris the I-diagram of module categories induced by R. Applying the above
theorem to this special case, we obtain the following result, which improves [26, Theorem 3.18] by
dropping the unessential condition that Iis a poset.
5.12 Corollary. Let Rbe an I-diagram of associative rings. Then R-Rep is a Grothendieck
category with a projective generator.
Let Abe an abelian category satisfying the axiom AB3. Recall that an object Xin Ais said to
be finitely presented provided that the representable functor HomA(X, ) commutes with filtered
colimits. Denote the full subcategory of finitely presented objects by Fp(A). Recall that Ais
locally finitely presented if Fp(A) is skeletally small and every object in Ais a filtered colimit of
finitely presented objects, or equivalently, Apossesses a family of finitely presented generators; see
[1, Theorem 1.11]9. The following proposition tells us that the locally finitely presented property
of each abelian category Dican also be amalgamated to the locally finitely presented property of
D-Rep.
5.13 Proposition. Suppose that Dαpreserves small coproducts for αMor(I). If Diis a locally
finitely presented for all iOb(I), then so is D-Rep.
Proof. By Proposition 5.9, it is enough to show that freipreserves finitely presented object in Di
for iOb(I). Let Nibe a finitely presented object in Diand (Mx, f yx) be a filtered direct system
9In an abelian category, any set of generators is a set of strong generators.
36 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
of objects in D-Rep. Then we have
HomD-Rep(frei(Ni),colim Mx)
=HomDi(Ni,evai(colim Mx))
= HomDi(Ni,colim Mx
i)
=colim HomDi(Ni, Mx
i)
=colim HomD-Rep(frei(Ni), M x),
where the first isomorphism holds by Corollary 5.8, the second equality holds since evai(colim Mx) =
(colim Mx)iand the filtered colimits in D-Rep are computed componentwise (see Subsection 2.2),
the third isomorphism holds as Niis a finitely presented object in Di, and the last isomorphism
holds by Corollary 5.8 again.
The next result, following from [12, Theorem 1.4(2)] and Proposition 5.13, gives the representa-
tion theorem for D-Rep. Recall from [52] that an object in the functor category Fun(Cop,Ab) (where
Cis a skeletally small additive category) is called flat if it is a colimit of representable functors.
5.14 Theorem. Suppose that Dαpreserves small coproducts for αMor(I). If Diis locally
finitely presented for iOb(I), then D-Rep is equivalent to the subcategory of flat objects in the
functor category Fun(Fp(D-Rep)op,Ab).
5.15 Remark. A similar result was given in [26, Theorem 4.13] for R-Rep, based on a specific
tensor product constructed in the representation category. However, we shall remind the reader
that flat objects defined in that paper are different from flat objects in our paper; see [26, Definition
3.20] for the precise meaning.
5.3. Dual results for Rep-D.In this subsection we describe the dual constructions and results
for the category Rep-D, where Dis assumed to be a left exact I-diagram of abelian categories. For
the convenience of the reader, we give brief constructions, but omit detailed proofs.
Let G:JIbe a functor between two skeletal small categories. The restriction functor
G:Rep-DRep-(DG) is defined as follows. Given an object Kin Rep-D, the object G(K)
consists of the following data:
for iOb(J), G(K)i=KG(i)in DG(i);
for λ:ijMor(J), set the structural morphism G(K)λ:G(K)j(DG)λ(G(K)i)
to be the morphism KG(λ):KG(j)DG(λ)(KG(i)).
Given a morphism ω={ωi}iOb(I):KKin Rep-D, the morphism G(ω) : G(K)G(K)
in Rep-(DG) is defined to be {ωG(i):KG(i)K
G(i)}iOb(J).
Dual to Proposition 5.2, we have:
5.16 Proposition. The above construction G:Rep-DRep-(DG)is an exact functor.
Suppose that Disatisfies the axiom AB3for iOb(I) and Dαpreserves small products for
αMor(I). By Remark 2.8, Dihas small limits for iOb(I) and Dαpreserves small limits for
αMor(I). In this case, the induction functor G!:Rep-(DG)Rep-Dcan be defined by a
construction dual to the one described in Subsection 5.1 via replacing all colimits by limits.
The following result is dual to Theorem 5.4. For the reader’s convenience, we give in the proof
the definitions of the two inverse maps, while leave the process of verifying the relevant axioms and
corresponding commutative diagrams to the interested reader.
5.17 Theorem. Let G:JIbe a functor between skeletal small categories. Suppose that Di
satisfies the axiom AB3for iOb(I)and Dαpreserves small products for αMor(I). Then G!
defined above is a functor, and is the right adjoint of G.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 37
Proof. Let Lbe an object in Rep-(DG) and Kan object in Rep-D. The definitions of the pair
of inverse maps
s: HomRep-D(K, G!(L)) HomRep-(DG)(G(K), L) : t
are given as follows.
Take a morphism ρ={ρi}iOb(I):KG!(L) in Rep-D. For jOb(J), note that Lj
(DG)j=DG(j)and µj=ηG(j)(see the proof of Lemma 5.1). We have the following maps:
G(K)j=KG(j)
ρG(j)
G!(L)G(j)= lim
G/G(j)
Dθ(L)peG(j)
DeG(j)(Lj)η1
G(j)(Lj)
Lj.
Define s(ρ)j=η1
G(j)(Lj)peG(j)ρG(j)and s(ρ) to be {s(ρ)j}jOb(J).
Let ς={ςj}jOb(J):G(K)Lbe a morphism in Rep-(DG). For iOb(I) and θOb(G/i),
note that the morphism ς:G(K)Linduces the morphism
Dθ(ς) : Dθ(G(K))Dθ(L).
By the universal property of limits, there exists a unique morphism t(ς)isuch that the diagram
Ki
t(ς)i//
Kθ
G!(L)i= limG/i Dθ(L)
pθ
Dθ(G(K)) = Dθ(KG())Dθ(ς)
//Dθ(L)
commutes. Define t(ς) to be {t(ς)i}iOb(I).
Now we describe the dual result of Corollary 5.7. Given the following diagram which might not
commute
JG//
D
I
D
~~
AB
with Da left exact J-diagram of abelian categories. If both Dand Dadmit enough left adjoints,
and there is a morphism F:DDGsuch that Fjadmits a left adjoint for jOb(J), then by
Proposition 3.4 one obtains an adjoint pair of functors
F:Rep-(DG)Rep-D:F!.
On the other hand, if Disatisfies the axiom AB3for iOb(I) and Dαpreserves small products
for αMor(I), then by Theorem 5.17 one obtains another adjoint pair
G:Rep-DRep-(DG) : G!.
Combining these two facts, we have the following result.
5.18 Corollary. Suppose that the conditions specified in Proposition 3.4 and Theorem 5.17 hold.
Then FG:Rep-DRep-D:G!F!is an adjoint pair.
Fix an object iOb(I) and let Iibe the category with object iand one morphism ei. The
evaluation functor at iis defined as
evai:Rep-Dι
i
Rep-(Dιi)
Di.
Its left adjoint is
frei:Di
Rep-(Dιi)(ιi)!
Rep-D.
38 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
In particular, for MiDiand jOb(I), one has
(frei(Mi))j=Y
θHomI(i,j)
Dθ(Mi).
As an immediate consequence of Theorem 5.17, we have:
5.19 Corollary. Let ibe an object in Ob(I). Suppose that Djsatisfies the axiom AB3for j
Ob(I)and Dαpreserves small products for αMor(I). Then (evai,frei)is an adjoint pair.
A dual result of Proposition 5.9 asserts that under some assumptions Rep-Dhas enough injectives
provided that so does each Di.
5.20 Proposition. Suppose that Disatisfies the axiom AB3for iOb(I)and Dαpreserves small
products for αMor(I). If Dihas a family of cogenerators (resp., injective cogenerators) for
iOb(I), then so does Rep-D.
Remark. Unfortunately, at this moment we do not know whether Rep-Dis a Grothendieck cate-
gory even with the assumption in the above proposition and the extra condition that each Diis an
Grothendieck category. However, if Dadmits enough left adjoints, then by Remark 2.17, Rep-D
can be identified with the left representation category over another diagram of abelian categories.
In this case, Rep-Dis an Grothendieck category under suitable conditions. In particular, when R
is an I-diagram of associative rings, both R-Rep and Rep-Rare Grothendieck categories.
6. The lift and stalk functors
We already know that a functor G:JIbetween two skeletal small categories as well as an
I-diagram Dof abelian categories induces a J-diagram DGof abelian categories and a restriction
functor from D-Rep to (DG)-Rep. When J=I/Pis a subcategory of Iobtained by removing a
special subset Pof Mor(I) (called a prime ideal of Mor(I)) and its associated objects from I, we
can construct a functor in the inverse direction, from (DG)-Rep to D-Rep, called the lift functor.
Intuitively, this construction is similar to the following classical example: given a two-sided ideal
Iof an associative ring A, every A/I-module can be viewed as an A-module in a natural way,
and hence we obtain an embedding functor from the category of A/I-modules to the category of
A-modules, which is exactly the restriction functor along the quotient homomorphism AA/I.
However, there are several remarkable differences: Pmust be a prime ideal rather than an arbitrary
ideal; I/Pis a subcategory (rather than a quotient category) of I; and the lift functor does not
coincide with the restriction functor along the embedding functor I/PI.
In this section we systematically study this lift functor, and construct its left adjoint, the cokernel
functor. Since we are always interested to relate properties of D-Rep to corresponding properties
of Di(the local-global principle), we consider in details the case that I/Phas only one object. In
this special case we obtain the stalk functor and its left adjoint.
6.1. The lift functor and its left adoint. In this subsection, we introduce the lift functor lifP
and the cokernel functor cokPwith respect to a prime ideal Pof Mor(I), and show that they form
an adjoint pair.
A nonempty subset Pof Mor(I) is called a two-sided ideal of Iif for any αMor(I) and any
morphism βP, one has αβ or βα, whenever composable, is always contained in P. The two-sided
ideal Pof Iis said to be prime if the converse statement holds, that is, one has αPor βP
whenever αβ P.
From the above definition, it is easy to see that a two-sided ideal Pof Mor(I) is prime if and only
if Mor(I)\Pis closed under compositions of morphisms. More generally, ideals and prime ideals
can be defined for any nonempty set Sequipped with a “partial” binary operation, which is a map
from a subset of S×Sto S.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 39
Given a prime ideal PMor(I), we can construct a subcategory I/Pof Ias follows:
iOb(I) is also an object in Ob(I/P) if ei/P.
α:ijMor(I) is contained in Mor(I/P) if α /P10.
Note that for any pair of composable morphisms αand βin Mor(I) such that neither αnor β
is in P, their composite βα is not in Psince Pis prime by assumption. Therefore, βα belongs
to Mor(I/P), so I/Pis indeed a subcategory. Furthermore, one has Mor(I/P) = Mor(I)\P, the
complement set of Pin Mor(I).
Let ιP:I/P֒Ibe the inclusion functor. According to Lemma 5.1, the I-diagram Dof abelian
categories induces an I/P-diagram DιPof abelian categories. We construct a lift functor lifPfrom
(DιP)-Rep to D-Rep, which roughly speaking, is obtained by adding zeroes. Explicitly, given an
object Mand a morphism σ:MMin (DιP)-Rep, define
for iOb(I),
lifP(M)i=(Mi,if iOb(I/P);
0,otherwise;
for α:ijin Mor(I),
lifP(M)α=(Mα:Dα(Mi)Mj,if αMor(I/P),
0,otherwise;
for iOb(I),
lifP(σ)i=(σi,if iOb(I/P),
0,otherwise.
The following proposition tells us that what we constructed above is indeed a functor.
6.1 Proposition. Let Pbe a prime ideal of I. Then lifP: (DιP)-Rep D-Rep is a functor.
Proof. We show that lifPsends objects to objects and morphisms to morphisms. Other axioms of
functors can be verified routinely. To show that lifP(M) is an object in D-Rep, we need to check
that lifP(M) satisfies the axioms (lRep.1) and (lRep.2) in Definition 2.1.
For the axiom (lRep.1), we want to prove the equality
lifP(M)βα τβ,α (lifP(M)i) = lifP(M)βDβ(lifP(M)α)
for any pair iα
jβ
kof composable morphisms in Mor(I). We have four cases.
(a) If αMor(I/P) and βMor(I/P), then α /Pand β /P, so βα Mor(I/P) since Mor(I/P) =
Mor(I)\Pis closed under composition of morphisms. In this case the desired equality holds
as Msatisfies the axioms (lRep.1).
(b) If αMor(I/P) but β /Mor(I/P), then βPand lifP(M)β= 0, so lifP(M)βDβ(lifP(M)α) =
0. On the other hand, since Pis an ideal, βα P, so βα /Mor(I/P) and lifP(M)βα = 0.
Consequently, lifP(M)βα τβ,α (lifP(M)i) = 0, as desired.
(c) If α /Mor(I/P) but βMor(I/P), then one can verify the equality as in the second case.
(d) If α /Mor(I/P) and β /Mor(I/P), then lifP(M)α= 0 and lifP(M)β= 0, so lif P(M)β
Dβ(lifP(M)α) = 0. On the other hand, βα /Mor(I/P) because Pis closed under composition,
and hence lifP(M)βα = 0, which implies the desired equality.
10This is well defined since in this case eiand ejcan not be in Pas Pis a two-sided ideal, and hence iand jare
objects in Ob(I/P).
40 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
For the axiom (lRep.2), we want to prove the equality
lifP(M)eiηi(lifP(M)i) = idlifP(M)i
for iOb(I). Indeed, if iOb(I/P), then eiMor(I/P), so we have
lifP(M)eiηi(lif P(M)i) = Meiηi(Mi) = idMi= idlif P(M)i,
where the second equality holds as Msatisfies the axiom (lRep.2). In the case where i /Ob(I/P),
we have ei/Mor(I/P) and lif P(M)i= 0, so
lifP(M)eiηi(lifP(M)i) = 0 = idlifP(M)i.
Thus, lifP(M)αsatisfies the axiom (lRep.2) as well.
To verify that lifP(σ) is a morphism in D-Rep, we have to show
lifP(σ)jlifP(M)α=lifP(M)αDα(lifP(σ)i)
for all α:ijMor(I). Indeed, if αMor(I/P), then both iand jare in Ob(I/P), and we
deduce that
lifP(σ)jlifP(M)α=σjMα=M
αDα(σi) = lifP(M)αDα(lifP(σ)i).
If α /Mor(I/P), then both lifP(M)αand lifP(M)αare zero. The desired equality holds clearly in
this case.
6.2 Remark. The natural inclusion functor ιP:I/P֒Iinduces a restriction functor
ι
P:D-Rep (DιP)-Rep
by Proposition 5.2. Clearly, ι
PlifPis isomorphic to the identity functor on (DιP)-Rep.
For any object Min D-Rep, by the universal property of colimits, there exists a unique morphism
ϕM
isuch that for every morphism θP(, i), the diagram
(6.2.1) Dθ(Ms(θ))
sM
θ
Mθ
''
P
P
P
P
P
P
P
P
P
P
P
P
P
P
colimθP(,i)Dθ(Ms(θ))ϕM
i
//Mi
commutes, where sM
θis the canonical morphism, and the colimit is taken over the morphism
category whose object set is
P(, i) = {θMor(I)|θPwith target i}
and morphisms between θ: iand θ: iare morphisms δ: such that θ=θδ.
Suppose that Disatisfies the axiom AB3 for iOb(I) and Dαpreserves small coproducts for
αMor(I/P). We use the above commutative diagram to define the left adjoint cokP:D-Rep
(DιP)-Rep of the lift functor. Explicitly, given an object Mand a morphism ω={ωi}iOb(I):
MMin D-Rep,
for iOb(I/P), set cokP(M)ito be coker(ϕM
i); see (6.2.1). Explicitly,
cokP(M)i=Mi/X
θP(,i)
Mθ(Dθ(Ms(θ))).
We shall mention that the sum appearing in the above equality is precisely the image of
ϕM
idefined in (6.2.1).
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 41
For α:ijMor(I/P), one can obtain a composite of morphisms
MαDα(X
θP(,i)
Mθ(Dθ(Ms(θ))))X
θP(,i)
Mαθ(Dαθ(Ms(θ))) X
θP(,j)
Mθ(Dθ(Ms(θ)))
where the first one is obtained by applying a suitable natural transformation in (l.Rep1)
and the second one is an actual inclusion. This composite of morphisms gives rise to a
morphism αmaking the following diagram
(6.2.2) Dα(colimθP(,i)Dθ(Ms(θ)))
Dα(ϕM
i)
//Dα(Mi)
Dα(πM
i)
//
Mα
Dα(cokP(M)i)//
α
0
colimθP(,j)Dσ(Ms(σ))ϕM
j
//Mj
πM
j
//cokP(M)j//0
commutes. We then define cokP(M)αto be α.
For iOb(I/P), one has
πM
iωiϕM
isM
θ=πM
iωiMθ=πM
iM
θDθ(ωs(θ)) = πM
iϕM
isM
θDθ(ωs(θ)) = 0,
where the first and third equalities follow from (6.2.1). By the universal property of colimts,
πM
iωiϕM
i= 0. Therefore, by the universal property of cokernels, we can find a unique
morphism cokP(ω)isuch that the diagram
(6.2.3) colimθP(,i)Dθ(Ms(θ))ϕM
i//Mi
πM
i//
ωi
cokP(M)i//
cokP(ω)i
0
colimθP(,i)Dθ(M
s(θ))ϕM
i//M
i
πM
i//cokP(M)i//0
commutes.
6.3 Theorem. Let Pbe a prime ideal of I. Suppose that Disatisfies the axiom AB3 for iOb(I/P)
and Dαpreserves small coproducts for αMor(I/P). Then cokPdefined above is a functor, and is
the left adjoint of lifP.
Proof. To establish the first statement, it is enough to show that cokPsends objects to objects
and morphisms to morphisms, and other axioms of functors are clear since the above construction
of cokPis functorial. To show that cokP(M) is an object in (DιP)-Rep, we need to verify the
axioms (lRep.1) and (lRep.2) in Definition 2.1.
For any pair iα
jβ
kof morphisms in Mor(I/P), we have equalities
cokP(M)βDβ(cokP(M)α)Dβ(Dα(πM
i))
=cokP(M)βDβ(πM
j)Dβ(Mα) by (6.2.2)
=πM
kMβDβ(Mα) by (6.2.2)
=πM
kMβα τβ(Mi) by (lRep.1)
=cokP(M)βα Dβα (πM
i)τβ,α(Mi) by (6.2.2)
=cokP(M)βα τβ,α(cokP(M)i)Dβ(Dα(πM
i)),
where the last equality follows from the commutative diagram obtained by applying τβ,α to πM
i.
Since both Dβand Dαare right exact and πM
iis an epimorphism, so is Dβ(Dα(πM
i)). Thus we
have
cokP(M)βDβ(cokP(M)α) = cokP(M)βα τβ,α (cokP(M)i).
42 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
For iOb(I/P), we have equalities
cokP(M)eiηi(cokP(M)i)πM
i
=cokP(M)eiDei(πM
i)ηi(Mei)
=πM
iMeiηi(Mei) by (6.2.2)
=πM
i,
where the first equality holds by the commutative diagram obtained by applying ηito πM
i. Since
πM
iis an epimorphism, one has
cokP(M)eiηi(cokP(M)i) = idcokP(M)i,
which is exactly the axiom (lRep.2).
To verify that cokP(ω) = {cokP(ω)i}iOb(I/P)is a morphism from cokP(M) to cokP(M), we must
show the equality
cokP(ω)jcokP(M)α=cokP(M)αDα(cokP(ω)i)
for any morphism α:ijMor(I/P). But we have
cokP(ω)jcokP(M)αDα(πM
i)
=cokP(ω)jπM
jMαby (6.2.2)
=πM
jωjMαby (6.2.3)
=πM
jM
αDα(ωi)
=cokP(M)αDα(πM
i)Dα(ωi) by (6.2.2)
=cokP(M)αDα(cokP(ω)i)Dα(πM
i),by (6.2.3)
where the third equality holds as ωis a morphism in D-Rep. Since Dαis right exact and πM
iis an
epimorphism, it follows that Dα(πM
i) is also an epimorphism. Hence, the desired equality follows.
Now we prove the second statement. Let Mbe an object in D-Rep and Nan object in (D
ιP)-Rep. We construct a pair of natural maps
u: Hom(DιP)-Rep(cokP(M), N )HomD-Rep(M, lifP(N)) : v
which are inverse to each other. Note that for iOb(I/P), there exists an exact sequence
colim
θP(,i)
Dθ(Ms(θ))ϕM
i
Mi
πM
i
cokP(M)i0
in Di.
To define the map u, let σ={σi}iOb(I/P):cokP(M)Nbe a morphism in (DιP)-Rep. Then
for iOb(I), define
u(σ)i=(σiπM
i,if iOb(I/P),
0,otherwise
by noting that lifP(N)i=Niif iOb(I/P) and Ni= 0 otherwise.
To show that u(σ) = {u(σ)i}iOb(I)is a morphism from Mto lifP(N), we verify the equality
u(σ)jMα=lifP(N)αDα(u(σ)i) ()
for any α:ijMor(I) case by case.
(a) If j /Ob(I/P), then lifP(N)j= 0, and the equality () holds.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 43
(b) If jOb(I/P) but i /Ob(I/P), then eiP, so αP(, j ). Consequently, Mα=ϕM
isM
α,
and one has
u(σ)jMα=σjπM
jMα=σjπM
jϕM
isM
α= 0.
On the other hand, since u(σ)i= 0 by definition, lifP(N)αDα(u(σ)i) = 0. This implies that
the equality () holds, too.
(c) If jOb(I/P), iOb(I/P) but α /Mor(I/P), one can check the equality by an argument
similar to that of the previous case.
(d) If jOb(I/P), iOb(I/P) and αMor(I/P), then one has
lifP(N)αDα(u(σ)i) = NαDα(σi)Dα(πM
i)
=σjcokP(M)αDα(πM
i)
=σjπM
jMα
=u(σ)jMα,
where the first equality holds by the definitions of lifP(N)αand u(σ)i.
To define the map v, let ω={ωi}iOb(I):MlifP(N) be a morphism in D-Rep. Then for
iOb(I/P) and θP(, i), one has
ωiϕM
isM
θ=ωiMθ=lifP(N)θDθ(ωs(θ)) = 0,
where the first equality holds by (6.2.1), and the last equality holds since θ /Mor(I/P). Therefore,
ωiϕM
i= 0 by the universal property of colimts, and hence we can nd a unique morphism v(ω)i
such that the diagram
(6.3.1) colimθP(,i)Dθ(Ms(θ))ϕM
i//Mi
πM
i//
ωi
cokP(M)i
v(ω)i
ww
//0
lifP(N) = Ni
commutes.
We show that v(ω) = {v(ω)i}iOb(I/P)is a morphism from cokP(M) to Nby checking the equality
v(ω)jcokP(M)α=NαDα(v(ω)i)
for any morphism α:ijMor(I/P). Indeed, one has
v(ω)jcokP(M)αDα(πM
i) = v(ω)jπM
jMαby (6.2.2)
=ωjMαby (6.3.1)
=lifP(N)αDα(ωi)
=NαDα(v(ω)i)Dα(πM
i) by (6.3.1).
Since Dα(πM
i) is an epimorphism, the desired equality follows.
Clearly, the maps vand uare natural with respect to Mand N, so it remains to prove that
they are inverse to each other. For this purpose, let ibe an object in Ob(I). If i /Ob(I/P), then
u(v(ω))i= 0 by definition. Note that lif P(N)i= 0 in this case, so ωi= 0. Therefore, u(v(ω))i=ωi.
If iOb(I/P), then u(v(ω))i=v(ω)iπM
i=ωi, where the the second equality holds by (6.3.1).
Consequently, we always have uv(ω) = ω.
On the other hand, one has
v(u(σ))iπM
i=u(σ)i=σiπM
i,
44 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
where the first equality holds by (6.3.1). By the universal property of cokernels, we conclude that
v(u(σ))i=σi, and hence vu(σ) = σ.
6.2. The stalk functor and its left adjoint. In this subsection we apply the general results
established in the previous subsection to a special type of index categories I:partially ordered
categories. In this case, the subset Pi=Mor(I)\EndI(i) is a prime ideal for all iOb(I), so I/Pi
coincides with the full subcategory of Iconsisting of the single object i. Consequently, under some
extra assumptions, the lift functor and cokernel functor constructed in the previous subsection give
other relations between D-Rep and Di, besides the relations provided by evaluation functor and its
left adjoint.
We recall the notion of partially ordered categories. The relation 4on the set Ob(I) such that
i4jif HomI(i, j)6=is clearly reflexive and transitive, but in general not anti-symmetric. If
furthermore 4is anti-symmetric, then Ob(I) becomes a poset with respect to the partial order
4. Categories satisfying this condition are called partially ordered categories (or weakly directed
categories,directed categories in the literature by some authors), which can be viewed as a natural
generalization of posets and quivers without oriented cycles (but loops from a vertex to itself are
allowed).
In this subsection we always suppose that Iis a partially ordered category. Then Mor(I)\EndI(i)
forms a prime ideal for any iOb(I), which is denoted by Pifor short. It is also clear that I/Pi
is the full subcategory of Iwith only one object i. Therefore, we have canonical inclusion functors
ιi:IiI,i:IiI/Piand ιPi:I/PiI. Clearly, we have ιi=ιPii.
Suppose that Disatisfies the axiom AB3 and Dγpreserves small coproducts for γEndI(i).
Then we have the following functors:
D-Rep cokPi//(DιPi)-Rep
i//(Dιi)-Rep
=Di,
whose composite is denoted by coki. Explicitly, given a representation Mover D, one has
coki(M) = Mi/X
θPi(,i)
Mθ(Dθ(Ms(θ))).
The right adjoint of cokican be defined as follows. The right adjoint of cokPiis the functor
lifPi: (DιPi)-Rep D-Rep.
If Disatisfies the axiom AB3, we can construct the right adjoint
rani: (Dιi)-Rep (DιPi)-Rep,
of
iwhich sends an object Kin Di
=(Dιi)-Rep to the object
rani(K) = Y
γEndI(i)
Dγ(K)
in (DιPi)-Rep. Thus we define the stalk functor at ias the composite of
stai:Di
=(Dιi)-Rep rani//(DιPi)-Rep lifPi
//D-Rep.
Explicitly, given an object MiDiand for jOb(I), one has
(stai(Mi))j=(0,if i6=j;
Qθ:iiDθ(Mi),else.
6.4 Remark. We have actually defined two cokernel functors cokiand cokPi. Given an object M
in D-Rep,cokPi(M) is an object in (DιPi)-Rep, which can be also identified with an object in
Di. With this identification, one can see that coki(M) = cokPi(M). This is not surprising since
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 45
cokiis the composite of cokPiand the restriction functor, which does not change the value. On the
other hand, note that an object Min (DιPi)-Rep uniquely determines an object MiDi, so the
functor lifPican also be viewed as a stalk functor since one has
(lifPi(M))j=(0,if i6=j;
Mi,else,
which is different from stai(Mi). The reason is very subtle: when applying lifPiwe regard Mias
a representation over DιPi, while applying staiwe only regard Mias an object in Diand hence
forget the actions of all non-identity morphisms θ:iion it.
The following result follows immediately from Theorem 6.3.
6.5 Corollary. Let ibe an object in Ob(I). Suppose that Iis a partially ordered category, Di
satisfies both the axioms AB3 and AB3, and Dγpreserves small coproducts for γEndI(i). Then
(coki,stai)is an adjoint pair.
6.6 Example. The stalk functor and its left adjoint have been widely used in the literature, see
e.g. [18, 19, 23, 24, 40, 41, 64]. In particular, when Iis the free category associated to a quiver
Q= (Q0, Q1) without oriented cycles, these two functors have a very simple description. For
instance, when Dis a trivial Q-diagram over a fixed abelian category Aand V:QAis a
functor, then coki(V) is the quotient Vi/PθQ1(,i)θ(V), where Q1(, i) is the set of arrows with
target i.
6.7 Remark. If DιPiis locally exact (i.e., Dγis an exact functor on Difor every γEndI(i)),
and Disatisfies the axiom AB4, then raniis exact as well. Consequently, staiis exact since so is
lifPi.
6.3. Dual results for Rep-D.Throughout this subsection we suppose that Pis a prime ideal of
Mor(I) and Dis left exact, and briefly describe dual constructions and results for the category
Rep-D.
The natural inclusion functor ιP:I/P֒Iinduces an I/P-diagram DιPas well as a lift functor
lifP:Rep-(DιP)Rep-D.
Suppose that Disatisfies the axiom AB3. Then for any object Kin Rep-D, by the universal
property of limits, there exists a unique morphism ψK
isuch that the diagram
(6.7.1) Ki
Kθ''
ψK
i//limθP(,i)Dθ(Ks(θ))
πK
θ
Dθ(Ks(θ))
commutes, where πK
θdenotes the canonical morphism. We can use this commutative diagram to
define a functor kerPdual to the one described in Subsection 6.1, and obtain following result dual
to Theorem 6.3.
6.8 Theorem. Suppose that Disatisfies the axiom AB3for iOb(I/P)and Dαpreserves small
products for αMor(I/P). Then kerPdefined above is a functor, and is the right adjoint of lifP.
Suppose that Iis a partially ordered category and Disatisfies the axiom AB3. Then one can
define an induction functor
(i)!:Di
Rep-(Dιi) Rep-(DιPi)
46 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
which sends object Kin Dito the object
(i)!(K) = a
γEndI(i)
Dγ(Ki)
in Rep-(DιPi). The stalk functor at iis defined to be the composite
stai:Di
Rep-(Dιi)(i)!
Rep-(DιPi)lifPi
Rep-D.
When Disatisfies the axiom AB3and Dγpreserves small products for γEndI(i), it has a right
adjoint, which is the composite
keri:Rep-DkerPi
Rep-(DιPi)
i
Rep-(Dιi)
Di.
An immediate consequence of Theorem 6.8 is the following result.
6.9 Corollary. Let ibe an object in Ob(I). Suppose that Iis a partially ordered category, Di
satisfies both axioms AB3 and AB3, and Dγpreserves small products for γEndI(i). Then
(stai,keri)is an adjoint pair.
7. Rooted categories and characterizations of projectives and injectives
In this section, we introduce a few categories Isatisfying certain combinatorial conditions, including
left rooted categories, locally trivial categories, and direct categories. We clarify relations among
these categories, and give characterizations of projective objects (resp., injective objects) in D-Rep
(resp., Rep-D).
7.1. Rooted categories. We begin this subsection by introducing the following transfinite se-
quence inspired by the work [23] of Enochs, Oyonarte and Torrecillas.
7.1. Suppose that Iis a partially ordered category, that is, the relation 4on Mor(I) defined by
setting i4jif HomI(i, j)6=is a partial order. We define a transfinite sequence {Vχ}χordinal of
subsets of Ob(I) as follows:
For the first ordinal χ= 0, set V0=.
For a successor ordinal χ+ 1, set
Vχ+1 =iOb(I)iis not the target of any αMor(I)
with source s(α)6=iand s(α)/ µ6χVµ.
For a limit ordinal χ, set Vχ=µ<χVµ.
7.2 Remark. We can give the slightly mysterious definition of transfinite sequences a more trans-
parent interpretation. That is, V0=,V1consists of objects in Ob(I) which is minimal with respect
to the partial order 4, and Vχ+1 is the union of Vχand the set of minimal elements in Ob(I)\Vχ.
By this observation, one deduces that there is a chain V1V2 · · · Ob(I).
A nonempty subset Iof a poset (P, 6) is said to be an ideal if the following is true: for jI
and iP, if i6j, then iIas well.
7.3 Lemma. Suppose that Iis a partially ordered category. Then each Vχin the above construc-
tion with χ>1is an ideal of the poset (Ob(I),4).
Proof. Since V1is the set of minimal objects with respect to the partial order 4, it is obviously
an ideal. Now suppose that χ > 1. Take an object jVχand an objetct iOb(I) with ij,
that is, HomI(i, j)6=and i6=j. We want to show iVχas well.
If χis a successor ordinal, then Vχ=Vχ1Uχ, where Uχis the set of minimal objects in
Ob(I)\Vχ1. We have two cases:
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 47
(a) If jUχ, then jis a minimal object in Ob(I)\Vχ1. Since ij, we deduce that i /
Ob(I)\Vχ1, so iVχ1by Remark 7.2.
(b) If j /Uχ, then jVχ1. Note that Vχ1is an ideal by induction hypothesis. It follows that
iVχ1as well, so iVχby Remark 7.2.
If χis a limit ordinal, then Vχ=µ<χVµ, and hence jlies in a certain Vµ. By the induction
hypothesis, each Vµis an ideal, so iVµVχ.
7.4 Remark. In the above proof we actually obtain a stronger conclusion. That is, if χis a
successor ordinal, ij, and jVχ, then iVχ1.
Now we are ready to define left rooted categories.
7.5 Definition. A partially ordered category Iis said to be left rooted if there exists an ordinal ζ
such that Vζ=Ob(I).
Let Ibe the free category associated to a quiver Q= (Q0, Q1). Explicitly, objects and morphisms
in Iare vertices and oriented paths (including the trivial paths) in Q. A morphism αin Iis called
aloop if it is an arrow from a vertex to itself, and is an oriented cycle if it is a oriented path from
a vertex to itself but is not an arrow. Clearly, Iis a partially ordered category if and only if the
associated quiver Qhas no oriented cycles (but loops may exist in Qsince they contribute nothing
to the partial order 4).
7.6 Remark. We give a relation between rooted quiver introduced in [23] and rooted categories
introduced in this paper. Let Q= (Q0, Q1) be a quiver. There is a transfinite sequence {Vχ}χordinal
of subsets of Q0as follows:
for the first ordinal χ= 0, set V0=;
for a successor ordinal χ+ 1, set
Vχ+1 =iQ0iis not the target of any arrow αQ1
with s(α)/ µ6χVµ;
for a limit ordinal χ, set Vχ=µ<χVµ.
The quiver Qis called left rooted if there exists an ordinal ζsuch that Vζ=Q0.
Note that in the above definition of Vχ+1, we do not require s(α)6=i, which is imposed in the
definition of the transfinite sequences of partially ordered categories. This subtle difference causes
a big deviation. Indeed, if Qis left rooted, then it has no oriented cycles and loops (if α:ii
is a loop, then the vertex iis not contained in any Vχ), and one can show that the associated free
category is a left rooted category. However, the converse statement is not true. That is, we can
find quivers which are not left rooted quivers, but their associated free categories are left rooted
categories. A simple example is the quiver with one vertex and one loop.
The underlying reason causing this difference is the definition of 4, which gives a possible partial
order on Q0. Indeed, we define i4jif there is an oriented path from ito j. As we mentioned
before, loops from a vertex ito itself do not bring any trouble to this possible partial order since we
always have i4i. Therefore, in our definition of left rooted categories, loops are allowed. However,
the definition of left rooted quivers in [23] implicitly implies that ijif there is an arrow from i
to j. Consequently, loops are not allowed since otherwise one will obtain ii, which is absurd.
The following result from [23, Proposition 3.6] gives a characterization of left rooted quivers.
7.7 Lemma. A quiver Qis left rooted if and only if it has no infinite sequence of arrows of the
form · · · (vertices in this sequence need not to be distinct).
7.8 Remark. Recall that a poset is said to be artinian if it satisfies the descending chain condition.
By a similar proof as in [23, Proposition 3.6], we conclude that a partially ordered category Iis left
rooted if and only if the poset (Ob(I),4) is artinian.
48 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
Now we recall the definition of locally trivial categories studied in [58], which can be seen as a
generalization of posets.
7.9 Definition. A skeletal small category Iis called locally trivial if EndI(i) contains only the
identity morphism for all iOb(I).
Direct categories play a prominent role in this paper for constructing cotorsion pairs. The
following definition is taken from [42, Definition 5.1.1].
7.10 Definition. A skeletal small category Iis called a direct category if there exists a functor
F:Iχ, where χis an ordinal (viewed as a category in a natural way) such that Fsends non-
identity morphisms in Ito non-identity morphisms in χ. Similarly, one can define direct quivers.
The following result clarifies relations among notions introduced above, and will be used fre-
quently in the rest of the paper.
7.11 Proposition. Let Ibe a skeletal small category, and Q= (Q0, Q1)a quiver. Then one has:
(a) If Iis locally trivial, then it is partially ordered.
(b) Iis a direct category if and only if it is a locally trivial left rooted category.
(c) Qis a direct quiver if and only if it is a left rooted quiver, and if and only if the associated
free category is a direct category.
Proof. (a) If there exist objects iand jsuch that i4jand j4i, then one can find two morphisms
α:ijand β:ji. But this implies that both αβand βαare the identity morphisms.
Consequently, i
=j. But Iis skeletal, so i=j.
(b) Suppose that Iis a direct category and let F:Iχbe the functor in Definition 7.10. If
there exists an object xOb(I) and a non-identity morphism f:xx, then F(x)< F (x) by the
definition of direct categories, which is absurd. Thus for every object x, there exists no non-identity
morphisms from xto itself, that is, Iis locally trivial. Furthermore, by defining
Vλ={xOb(I)|F(x)6λ},
one can construct the desired transfinite sequence described at the beginning of this subsection.
Clearly, one has Vχ=Ob(I), so Iis left rooted.
Conversely, suppose that Iis a locally trivial left rooted category. Then there exists an ordinal
χand a transfinite sequence {Vλ}λ6χsuch that Vχ=Ob(C). Now we define another sequence of
subsets of Ob(C) as follows: U0=, and
Uλ=Vλ\([
µ<λ
Vµ).
Equivalently, Uλ+1 =Vλ+1 \Vλif λ+ 1 is a successor order, and Uλ=if λis a limit order. Then
one has
Ob(C) = G
λ6χ
Uλ.
Note that objects in each Uλare disjoint, that is, there is no morphisms among these objects. Now
define a functor F:Iχsuch that F(x) = λxfor xUλxand Fsends a morphism xyto
the unique morphism λx6λy. It is not hard to check that Fis well defined. Furthermore, since
Iis locally trivial, Fmaps non-identity morphisms to non-identity morphisms. Thus Iis a direct
category.
(c) Applying the argument in part (b) we can show that Qis a direct quiver if and only if it
is a left rooted quiver. For the second equivalence, let Ibe the free category associated to Q. By
Remark 7.6, if Qis a left rooted quiver, then Iis a left rooted category. The converse holds if I
is locally trivial. That is, Qis a left rooted quiver if and only if Iis a locally trivial left rooted
category.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 49
We end this subsection by giving a few examples.
7.12 Example. Let Nbe the following poset: elements are sequences n= (n1, n2,...) of natural
numbers such that only finitely many entries are nonzero, and m4nif and only if mi6ni
for every i. Then Nis a direct category. Note that it is not a free category associated to a
quiver. Moreover, one can obtain an explicit isomorphism between this poset and the poset of
positive integers and division, by ordering all prime numbers in the natural order and applying the
fundamental theorem of arithmetics.
7.13 Example. Any skeletal full subcategory of the category of finite sets and injections is a left
rooted category. Similarly, let Abe an associative ring. Then any skeletal full subcategory of the
category of free left A-modules with finite rank and A-linear injections is a left rooted category. A
skeleton of the category of finitely generated left A-modules and injective module homomorphisms
is a left rooted category if and only if Ais left artinian. In general these categories are not locally
trivial.
7.2. Characterizations of projectives and injectives. Throughout this subsection we suppose
that Iis a partially ordered category. We apply the functors constructed in the previous sections
to characterize projective objects in D-Rep and injective objects in Rep-D.
We mention that for each iOb(I), Pi=Mor(I)\EndI(i) is a prime ideal of Mor(I). We have
an inclusion functor ιPi:I/PiI, which induces a restriction functor ι
Pi:D-Rep (DιPi)-Rep
and an induction functor (ιPi)!: (DιPi)-Rep D-Rep. The two cokernel functors cokiand cokPi
are defined in Section 6.
The following lemma is straightforward.
7.14 Lemma. Fix iOb(I). Suppose that Disatisfies the axiom AB3 and Dγpreserves small
coproducts for γEndI(i). If Pis a projective object in D-Rep, then cokPiis a projective object in
(DιPi)-Rep. If furthermore Disatisfies the axiom AB4and DιPiis locally exact, then coki(P)
is a projective object in Di.
Proof. The conclusion follows from the fact that (coki,stai) (resp., (cokPi,lif Pi)) is an adjoint pair
and stai(resp., lifPi) is exact; see Remark 6.7.
Given a family X={Xi}iOb(I)with each Xia subcategory of Di, we use the functors cokto
define a subcategory Φ(X) of D-Rep. This subcategory will play a key role for us to construct
cotorsion pairs in D-Rep and to characterize projective, flat and Gorenstein flat objects.
7.15 Definition. Suppose that Disatisfies the axiom AB3 for iOb(I), and Dγpreserves small
coproducts for γEndI(i). Define a subcategory of D-Rep:
Φ(X) = {XD-Rep |ϕX
iis a monomorphism and coki(X)Xifor iOb(I)},
where ϕX
i: colimθPi(,i)Dθ(Xs(θ))Xiis given in (6.2.1)11. In particular,
Φ(D) = {XD-Rep |ϕX
iis a monomorphism for iOb(I)}.
The next result can be checked routinely.
7.16 Lemma. Suppose that Disatisfies the axioms AB3 for iOb(I), and Dγpreserves small
coproducts for γEndI(i). Then:
(a) The subcategory Φ(D)is closed under direct summands.
(b) If further Disatisfies the axiom AB4 for iOb(I)and Dαpreserves small coproducts for
αMor(I), then Φ(D)is closed under small coproducts.
11Under the assumption that Iis partially ordered, Piis a prime ideal for iOb(I). Therefore, if each Disatisfies
the axiom AB3, then one can define ϕX
i.
50 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
The following result gives a characterization of projective objects in D-Rep.
7.17 Theorem. Suppose that Disatisfies the axiom AB4 for iOb(I)and Dαpreserves small
coproducts for αMor(I). Let Hbe an object in D-Rep. If His projective, then the following
conditions hold for every jOb(I):
(a) ϕH
j: colimσPj(,j)Dσ(Hs(σ))Hjis a monomorphism and
(b) cokPj(H)is a projective object in (DιPj)-Rep.
If furthermore Iis left rooted, then the converse holds.
Proof. The statement (b) follows from Lemma 7.14. In the following we prove the statement (a),
that is, HΦ(D). We mention that any projective object in D-Rep is isomorphic to a direct
summand of a direct sum of members in the family {frei(Pi)|iOb(I) and PiProj(Di)}; see
Remark 5.10. Thus by Lemma 7.16, it suffices to prove that frei(Mi) is in Φ(D) for any object Mi
in Di.
Denote frei(Mi) by Lfor short. It is clear that ϕL
iis a monomorpism. In the following we prove
that the morphism
ϕL
j: colim
σ:tj
t6=j
Dσ(Lt) = colim
σ:tj
t6=j
Dσ(a
θ:it
Dθ(Mi)) a
α:ij
Dα(Mi) = Lj
is actually an isomorphism for each jOb(I) with j6=i, where we write
colim
σPj(,j)= colim
σ:tj
t6=j
which looks more intuitive. By the universal property of colimits, we only need to show that Ljis
isomorphic to the colimit on the left side.
Recall that a morphism δ:tt,t6=j6=jin the morphism category with object set P(, j) is
a commutative diagram
t
σ
δ//t
σ
j
In particular, δinduces an obvious morphism
`θ:itDσ(Dδθ(Mi)) δ
//`θ:itDσ(Dθ(Mi))
by sending each component in the coproduct of the left side to the same component in the coproduct
of the right side since δθ is a morphism from it, which is clearly a monomorphism. We also
note that
Dσa
θ:it
Dθ(Mi)
=a
θ:it
Dσ(Dθ(Mi))
=a
θ:it
Dσ(Dδθ (Mi))
and a
θ:it
Dσ(Dθ(Mi))
=Dσa
θ:it
Dθ(Mi)
since Dαpreserves small colimits for each αMor(I). Consequently, we obtain a morphism
Dσ`θ:itDθ(Mi)δσ,σ
//Dσ`θ:itDθ(Mi).
On the other hand, for each σ:tjand any θ:itin Mor(I), one has a composite of morphisms
ψσ:Dσa
θ:it
Dθ(Mi)
=a
θ:it
Dσ(Dθ(Mi)) a
α:ij
Dα(Mi)
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 51
where the second morphism sends each Dσ(Dθ(Mi)) to Dσθ(Mi). This in general is not monic.
Now we assemble these maps to obtain the following diagram
Dσ`θ:itDθ(Mi)δσ,σ
//
ψσ))
Dσ`θ:itDθ(Mi)
ψσ
uu
`α:ijDα(Mi),
which is clearly a cocone indexed by the over category ιPj/j. It is also easy to see that the colimit
of this cocone is exactly colimσ:tj
t6=j
Dσ(Lt), so it suffices to show that the above cocone is a limit
cocone to deduce the desired isomorphism between colimσ:tj
t6=j
Dσ(Lt) and `α:ijDα(Mi).
Take an arbitrary cocone indexed by ιPj/j as follows:
Dσ`θ:itDθ(Mi)δσ,σ
//
φσ
''
Dσ`θ:itDθ(Mi)
φσ
vv
X,
For each α:ij, one can define a map ραwhich is the composite:
Dα(Mi) a
ς:ii
Dα(Dς(Mi))
=Dαa
ς:ii
Dς(Mi) X
where the first map is the inclusion (by taking ςbe the identity on i) and the last one is φα. By
the universal property of coproducts, one gets a unique morphism
ρ:a
α:ij
Dα(Mi) X
such that ρrestricted to each component is exactly ρα.
We need to verify that the following diagram
Dσ`θ:itDθ(Mi)ψσ//
φσ
))
`α:ijDα(Mi)
ρ
X
commutes for each σ. It suffices to show the commutativity of the following diagram for each θ:
(7.17.1) Dσ(Dθ(Mi)) ǫ//`θ:itDσ(Dθ(Mi))
=Dσ`θ:itDθ(Mi)ψσ//
φσ
++
`α:ijDα(Mi)
ρ
X
where ǫis the natural inclusion. By our constructions, ρψσǫequals to the composite of the following
maps
Dσ(Dθ(Mi))
=//Dσθ (Mi)inc //`ς:iiDσθ (Dς(Mi))
=Dσθ `ς:iiDς(Mi)φσθ //X
52 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
where the map inc is obtained by taking ςto be the identity on i. By the commutativity of the
cocone, φσθ =φσδσθ, so ρψσǫequals to the composite
Dσ(Dθ(Mi))
=Dσθ (Mi)inc //`ς:iiDσθ (Dς(Mi))
=Dσθ `ς:iiDς(Mi)δσθ,σ
//Dσ`θ:itDθ(Mi)
φσ
X.
This establishes the commutativity of the diagram (7.17.1). Furthermore, it is also clear that the
map ρguaranteeing the commutativity of (7.17.1) must be defined as above. Thus as claimed,
colim
σ:tj
t6=j
Dσ(Lt)
=a
α:ij
Dα(Mi).
Now we suppose that Iis a left rooted category. Let Hbe an object in D-Rep satisfying
statements (a) and (b), and let {Vχ}be the transfinite sequence of subsets of Ob(I) defined in 7.1.
Then Ob(I) = Vζfor a certain ordinal ζ. We construct a family {Hχ}χ6ζof projective subobjects
of Has follows.
Set H0= 0 and H1=`iV1(ιPi)!(Hi). Note that objects in V1are minimal. Consequently, for
iV1, one has Hi=cokPi(H) which is projective in (DιPi)-Rep. Since (ιPi)!is the left adjoint of
the exact functor ι
Pi, it preserves projective objects. Therefore, (ιPi)!(Hi) is projective in D-Rep,
and hence H1is also projective in D-Rep.
There are two cases:
(a) Suppose that χ+ 1 is a successor ordinal and let ibe an object in Vχ+1 \Vχ. Then we set
Hχ+1 =a
iVχ+1\Vχ
(ιPi)!(cokPi(H)),
which is clearly is projective in D-Rep by the statement (b).
(b) Suppose that µis a limit ordinal and the projective objects Hκhave been constructed for all
ordinals κ < µ. Then set Hµ=`κ<µ Hκ, which is projective.
Now define Hζ=`χ<ζ Hχ. It is routine to check that His indeed isomorphic to Hζ, using the
following isomorphism
Hi
=( colim
θPi(,i)
Dθ(Hs(θ))) cokPi(H).
Thus His a projective object in R-Rep, as desired.
7.18 Remark. The above proof of the first direction is constructive and very detailed. Actually,
one can give a much shorter proof from the abstract viewpoint. Let jbe an object in Isuch that
j6=iand there exists at least one morphism from ito j. Since Iis a partially ordered category, one
has ij. Denote by Ijthe full subcategory of Iconsisting of objects tsuch that tj. Clearly,
the object iis contained in Ij.
We have the following inclusion functors F:IiIjand G:IjI, whose composite is
precisely ιi:IiI. Consequently, one has frei
=G!F!. We also note that for an object Kin (D
G)-Rep, one has (G!(K))j= colimG/j Dσ(Ks(σ)) = colimσP(,j)Dσ(Ks(σ)) = colimσ:tj
t6=j
Dσ(Kt).
Therefore, for an object Miin Di,
a
α:ij
Dα(Mi) = (frei(Mi))j
=(G!(F!(Mi)))j= colim
σ:tj
t6=j
Dσ(F!(Mi))t.
But one also has (F!(Mi))t=`θ:itDθ(Mi) since F!is induced by the inclusion IiIj. Conse-
quently, one has `α:ijDα(Mi)
=colimσ:tj
t6=j
Dσ`θ:itDθ(Mi)as claimed.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 53
Denote by Projthe family {Proj(Di)}iOb(I)with Proj(Di) the subcategory of Diconsisting of
projective objects in Di. Then one has:
7.19 Corollary. Suppose that Dis locally exact, Disatisfies both the axioms AB4 and AB4for
iOb(I), and Dαpreserves small coproducts for αMor(I). Then
Proj(D-Rep)Φ(Proj).
If furthermore Iis a direct category, then these two categories coincide.
Proof. Note that DιPiis locally exact for every iOb(I) as Dis locally exact by assumption.
By replacing cokPiwith coki, a similar version of statement (b) in the previous theorem holds by
Lemma 7.14. Now the same proof in the previous theorem shows that every projective object in
D-Rep also satisfies statement (a). This establishes the rst conclusion. The second one is trivial
since in this case I/Pi=Ii, so (DιPi)-Rep Di,coki=cokPi, and frei= (ιPi)!.
7.20 Example. In Theorem 7.17 one cannot replace the functor cokPiby the functor coki. Here
we give a trivial example. Let Ibe a cyclic group of order 2 which is viewed as a category with
one object xand two morphisms, and let Dbe the trivial diagram with Dxthe category of vector
spaces over a field kof characteristic 2. Clearly, an object in D-Rep is nothing but a representation
of I. Let kbe the trivial representation. Then it clearly lies in Φ(Proj), but is not a projective
representation of I. The reason is obvious: although an object Miin (DιPi)-Rep can be viewed
as an object in Di, the condition that Miis projective in Dicannot guarantee that Miis also
projective in (DιPi)-Rep.
We finish this section by describing some dual results for right representations.
7.21 Definition. Let Y={Yi}iOb(I)with each member a subcategory of Di. Suppose that I
is a partially ordered category, Disatisfies the axiom AB3, and Dγpreserves small products for
γEndI(i). Define
Ψ(Y) = {YRep-D|ψY
iis an epimorphism and keri(Y)Yifor iOb(I)},
which makes sense since each Disatisfies AB3, so one can define ψY
ias in (6.7.1).
Denote by Injthe family {Inj(Di)}iOb(I)with Inj(Di) the subcategory of Diconsisting of injective
objects in Di. The following dual result of Theorem 7.17 gives a characterization of injectives in
Rep-D.
7.22 Theorem. Suppose that Disatisfies the axiom AB4for iOb(I)and Dαpreserves small
products for αMor(I). Let Ibe an object in Rep-D. If Iis injective, then the following conditions
hold for every jOb(I):
(a) ψI
i:IilimθPi(,i)Dσ(Is(θ))is an epimorphism and
(b) kerPi(I)is an injective object in Rep-(DiιPi).
If furthermore Iis left rooted, then the converse holds.
Dual to Corollary 7.19, we have:
7.23 Corollary. Suppose that Dis locally exact, Disatisfies both the axioms AB4 and AB4for
iOb(I), and Dαpreserves small products for αMor(I). Then
Inj(D-Rep)Ψ(Inj).
If furthermore Iis a direct category, then these two categories coincide.
7.24 Remark. For the trivial diagram indexed by the free category associated to a left rooted
quiver, Corollaries 7.19 and 7.23 were proved by Enochs, Estrada and Garc´ıa Rozas in [18, Theorem
3.1] and [19, Theorem 4.2], respectively.
54 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
7.25 Remark. When Iis a direct category, according to the proofs of Theorem 7.17 and Corollary
7.19, for every projective object Min D-Rep, one has M
=`iOb(I)frei(coki(M)). Dually, for every
injective object Nin Rep-D, one has N
=QiOb(I)frei(keri(N)). We mention that the two frei
appearing here have different meanings. Explicitly, the first freiis a functor from Dito D-Rep,
while the second freiis a functor from Dito Rep-D.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 55
Part III. Abelian model structures and homological objects
The main goal of this part is to describe a few applications of the functors introduced in Part
II, focusing on constructions of cotorsion pairs and abelian model structures on D-Rep as well as
characterizations of special homological objects in this category. We first recall some background
knowledge on cotorsion theory and abelian model category theory. Then we construct several co-
torsion pairs in D-Rep amalgamated from cotorsion pairs in those Dis. In particular, we show
under some assumptions that the induced cotorsion pairs are complete, and that a family of hered-
itary abelian model structures on abelian categories Diamalgamates to a hereditary abelian model
structure on D-Rep. As special examples, we consider the categories R-Rep and Rep-R, where R
and Rare I-diagrams of module categories induced by an I-diagram Rof associative rings. Specif-
ically, we characterize Gorenstein homological objects in the two module categories, and construct
a Gorenstein injective model structure on Rep-Rand a Gorenstein flat model structure on R-Rep.
Setup. Throughout this part, unless otherwise specified, suppose that Dis a right exact I-diagram
such that Diis a Grothendieck category admitting enough projectives for each iOb(I) and Dα
preserves small coproducts for each αMor(I). Under this assumption, D-Rep is a Grothendieck
category admitting enough projectives by Theorem 5.11.
8. Preliminaries on cotorsion pairs and abelian model structures
In this section we give some background knowledge on cotorsion theory and abelian model category
theory. Throughout this section, let Abe an abelian category.
We begin with the following notions: a continuous direct (inverse) ζ-sequence in Aindexed by
an ordinal ζ, and an F-filtration (cofiltration) of an object in Awith respect to a subcategory F.
They will be used frequently in the later sections.
8.1 Definition. Let ζbe an ordinal. A continuous direct ζ-sequence in Ais a directed ζ-sequence
{Mχ, f χ}χ6χ6ζof objects and morphisms in Asuch that fχ+1 is a monomorphism for any
ordinal χ < ζ and Mµ= colimχ<µ Mχfor any limit ordinal µ6ζ. Dually, a continuous inverse
ζ-sequence in Ais an inverse ζ-sequence {Mχ, gχ,χ}χ6χ6ζof objects and morphisms in Asuch
that gχ,χ+1 is an epimorphism for any ordinal χ < ζ and Mµ= limχ<µ Mχfor any limit ordinal
µ6ζ. Let Fbe a subcategory of A. An object Min Ais said to have an F-filtration if there is a
continuous direct ζ-sequence {Mχ, fχ,χ}χ6χ6ζsuch that M0= 0, Mζ=Mand coker(fχ+1)F
for any ordinal χ < ζ. Dually, Mis said to have an F-cofiltration if there is a continuous inverse
ζ-sequence {Mχ, gχ,χ}χ6χ6ζsuch that M0= 0, Mζ=Mand ker(gχ,χ+1)Ffor any ordinal
χ < ζ.
For a subcategory Fof A, set
F={MA|Ext1
A(F, M ) = 0 for FF}and F={MA|Ext1
A(M, F ) = 0 for FF}.
The following Lemma, known as Eklof’s Lemma, will be used in the proof of Lemma 9.8; see [17,
Theorem 1.2] and [61, Lemma 2.3] or [40, Lemmas 6.6 and 6.8].
8.2 Lemma. Let Fbe a subcategory of Aand Man object in A.
(a) If Asatisfies the axiom AB3 and Mhas an F-filtration, then Mis in F.
(b) If Asatisfies the axiom AB3and Mhas an F-cofiltration, then Mis in F.
Next, we recall the definition of (complete, hereditary) cotorsion pairs.
8.3 Definition. Let Fbe a subcategory of Aand Man object in A. A morphism f:FM
is called a special F-precover of Mif fis an epimorphism, FFand ker(f)F. Dually, a
morphism g:MFis called a special F-preenvelope of Mif gis a monomorphism, FFand
56 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
coker(g)F. The subcategory Fis called special precovering (resp., special preenveloping) if
every object in Ahas a special F-precover (resp., a special F-preenvelope).
8.4 Definition. A pair (C,D) of subcategories of Ais called a cotorsion pair if C=Dand
D=C.
Let (C,D) be a cotorsion pair in A. Then Ais said to have enough C-objects (resp., D-objects)
if for any object Min A, there exists an epimorphism C։M(resp., a monomorphism M֌D)
with CC(resp., DD). Following from [21], a cotorsion pair (C,D) is said to have enough
projectives (resp., injectives) if Cis special precovering (resp., Dis special preenveloping) in A. A
cotorsion pair is called complete if it has both enough projectives and enough injectives.
A cotorsion pair (C,D) in Ais called resolving if Cis closed under taking kernels of epimorphisms
between objects of C, that is, for any short exact sequence 0 XYZ0 in A, if Yand Z
are in C, then Xis in C. We say that (C,D) is coresolving if Dsatisfies the dual statement. Finally,
we say that a cotorsion pair is hereditary if it is both resolving and coresolving.
8.5 Remark. Let Cbe a subcategory of A. According to [33, Definition 2.2.1], there are two
associated cotorsion pairs ((C),C) and (C,(C)) in A, called the cotorsion pair generated by
Cand cogenerated by C, respectively.
The following result is a general form of the Salce’s Lemma; see [57] or [53, Lemma 3.3].
8.6 Lemma. Let (C,D)be a cotorsion pair in A. If one of the following conditions holds:
(a) (C,D)has enough projectives and Ahas enough D-objects (e.g., Ahas enough injectives);
(b) (C,D)has enough injectives and Ahas enough C-objects (e.g., Ahas enough projectives),
then (C,D)is complete.
Next, we recall the notion of abelian model structures and some relevant facts. A model category
is said to be abelian if its underlying category is abelian and the model structure is compatible with
the abelian structure of the underlying category (see Hovey [43] for details). The central result
on abelian model categories is now known as Hovey’s correspondence: a bijective correspondence
between complete and compatible cotorsion pairs and abelian model structures.
8.7 Theorem (Hovey’s correspondence). Let Abe a bicomplete abelian category. An abelian
model structure on Acorresponds bijectively to a triple (Q,W,R)of subcategories of Asuch that
(a) (Q,WR)and (QW,R)are complete cotorsion pairs, and
(b) Wis thick, that is, it is closed under direct summands, extensions, and taking kernels of
epimorphisms and cokernels of monomorphisms.
Hovey’s correspondence makes it clear that an abelian model structure on Acan be succinctly
represented by the triple (Q,W,R) of subcategories of Athat satisfies the conditions (a) and (b)
in Theorem 8.7. Here, the objects in Q(resp., W,R) are actually cofibrant (resp., trivial,fibrant)
objects. Therefore, one often refers to such a triple as an abelian model structure in the literature,
and call it a Hovey triple.
Recall that a Hovey triple (Q,W,R) on Ais said to be hereditary if the complete cotorsion pairs
(Q,WR) and (QW,R) are hereditary. The next result supplements Hovey’s correspondence,
making it much easier to construct abelian model structures from complete and hereditary cotorsion
pairs; see Gillespie [30, Theorem 1.1].
8.8 Lemma. Suppose that (Q,e
R)and (e
Q,R)are two complete and hereditary cotorsion pairs in
Asuch that e
QQ(or equivalently, e
RR)and Qe
R=e
QR. Then there exists a unique thick
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 57
subcategory Wsuch that (Q,W,R)is a Hovey triple. Moreover Wcan be characterized as
W={M|there is a s.e.s. 0MAB0with Ae
Rand Be
Q}
={M|there is a s.e.s. 0ABM0with Ae
Rand Be
Q}.
The reader can refer to [32] for more background materials on abelian model structures.
9. Induced cotorsion pairs in D-Rep
In this section we describe a method to amalgamate cotorsion pairs in those Dito obtain cotorsion
pairs in D-Rep. The principle technical tools for this amalgamation are the functors and adjunctions
constructed in Part II. We mention that Holm and Jørgensen established in [40] some cotorsion
pairs in D-Rep in the case where Dis a trivial diagram, that is, all Di’s are identical and each Dα
is the identity functor.
Setup. Throughout this section, let X={XiDi}iOb(I)and Y={YiDi}iOb(I)be two families
of subcategories such that (Xi,Yi) is a cotorsion pair in Difor iOb(I).
We begin with the following result, which is from [40, Lemma 5.1].
9.1 Lemma. Let F:BC:Gbe an adjoint pair between abelian categories Band C, and n>0
an integer. Suppose that the following statements hold for an object Xin Band an object Yin C:
(a) the functor Fsends any short exact sequence 0G(Y)X1X0in Bto a short exact
sequence 0F(G(Y)) F(X1)F(X)0in C;
(b) the functor Gsends any short exact sequence 0YY1F(X)0in Cto a short exact
sequence 0G(Y)G(Y1)G(F(X)) 0in B.
Then there exists a natural isomorphism Ext1
C(F(X), Y )
=Ext1
B(X, G(Y)) of abelian groups.
The following result is an application of Lemma 9.1.
9.2 Lemma. Suppose that Dis exact. Then the following statements hold for each iOb(I).
(a) The functor freiis exact;
(b) For every object Miin Diand every object Min D-Rep, there exists a natural isomorphism
Ext1
D-Rep(frei(Mi), M )
=Ext1
Di(Mi,evai(M)).
Proof. Statement (a) implies statement (b) by Lemma 9.1 since evaiis exact by Theorem 2.6, so
it suffices to prove statement (a).
Let GiKiLibe an exact sequence in Di. Since Dis exact by assumption, Dθis an exact
functor for any θHomI(i, j). So we obtain an exact sequence
Dθ(Gi)Dθ(Ki)Dθ(Li)
in Dj. As Djsatisfies the axiom AB4, we get another exact sequence
a
θHomI(i,j)
Dθ(Gi)a
θHomI(i,j)
Dθ(Ki)a
θHomI(i,j)
Dθ(Li)
in Dj, which is exactly
frei(Gi)jfrei(Ki)jfrei(Li)j.
By Theorem 2.6, freiis exact, as desired.
We introduce an extra notation. Given a family S={Si}iOb(I)with each Sia subcategory of
Di, define a full subcategory D-RepSof D-Rep as follows:
D-RepS={MD-Rep |MiSifor all iOb(I)}.
58 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
Under some assumptions the subcategory D-RepYand its left-orthogonal subcategory in D-Rep
form a cotorsion pair in D-Rep.
9.3 Proposition. Suppose that Dis exact. Then (D-RepY,D-RepY)is a cotorsion pair.
Proof. Let fre(X) be the full subcategory of D-Rep whose objects are of the form frei(Xi) with
iOb(I) and XiXi. By Remark 8.5, it suffices to show that D-RepY=fre(X).
Let Mbe an object in fre(X) and Man object in D-RepY. Then there exists an object iOb(I)
and an object XiXisuch that M
=frei(Xi) and MiYi. By Lemma 9.2, we have
Ext1
D-Rep(M, M )
=Ext1
D-Rep(frei(Xi), M )
=Ext1
Di(Xi,evai(M))
=Ext1
Di(Xi, Mi) = 0,
so D-RepYfre(X).
For the inclusion of the other direction, we take an object Min fre(X)and show M
iYifor
iOb(I). Let Xibe an object in Xi. Then by Lemma 9.2 again, we have
Ext1
Di(Xi, M
i)
=Ext1
Di(Xi,evai(M))
=Ext1
D-Rep(frei(Xi), M ) = 0.
It follows that M
iX
i=Yias (Xi,Yi) is a cotorsion pair in Di.
In the rest of this section we construct other cotorsion pairs in D-Rep if Iis partially ordered. It
follows from Corollary 6.5 that (coki,stai) is an adjoint pair for iOb(I). This implies that cokiis
right exact for iOb(I), so its first left derived functor L1cokiexists. If further Dis locally exact,
then staiis exact; see Remark 6.7. Thus the next result is a special case of [41, Lemma 1.2], which
is based on [56, Theorem 10.33].
9.4 Lemma. Suppose that Iis a partially ordered category and Dis locally exact. Then for
iOb(I), object Yiin Diand object Xin D-Rep, there exists an exact sequence
0Ext1
Di(coki(X), Yi)Ext1
D-Rep(X, stai(Yi)) HomDi(L1coki(X), Yi)
Ext2
Di(coki(X), Yi)Ext2
D-Rep(X, stai(Yi)).
Let S={Si}iOb(I)be a family of subcategories of Di. Following [40, Definition 1.5], we define
a full subcategory Φ(S) of D-Rep as follows:
Φ(S) = {SD-Rep |L1coki(S) = 0 and coki(S)Sifor iOb(I)}.
Our next result follows from [40, Theorem 1.7]. For the reader’s convenience, we give a proof.
9.5 Proposition. Suppose that Iis a partially ordered category and Dis locally exact. Then
(Φ(X),Φ(X))is a cotorsion pair in D-Rep.
Proof. Let sta(Y) be the full subcategory of D-Rep whose objects are of the form stai(Yi) with
iOb(I) and YiYi. We show that Φ(X) = sta(Y). If this is true, then the conclusion follows
from Remark 8.5.
Let Xbe an object in Φ(X). Then coki(X)Xiand L1coki(X) = 0 for each iOb(I), and so
for each object stai(Yi)sta(Y), one has Ext1
D-Rep(X, stai(Yi)) = 0 by Lemma 9.4 as (Xi,Yi) is a
cotorsion pair in Di. Consequently, Xis an object in sta(Y), so Φ(X)sta(Y).
Conversely, let Xbe an object in sta(Y) and ian object in Ob(I). Then for any object Yiin Yi,
one has Ext1
D-Rep(X, stai(Yi)) = 0. By Lemma 9.4 again, one concludes that Ext1
Di(coki(X), Yi) = 0,
so coki(X) is in Xi. Furthermore, since Dihas enough injectives, there exists a monomorphism
f:L1coki(X)֌Iiwith Iiinjective in Di. Since Ext2
Di(coki(X), Ii) = 0 = Ext1
D-Rep(X, stai(Ii))
as IiYi, it follows from Lemma 9.4 that HomDi(L1coki(X), Ii) = 0. Consequently, f= 0, so
L1coki(X) = 0, and hence XΦ(X). This establishes the inclusion of the other direction.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 59
The subcategory Φ(X) of D-Rep is defined by the functor cokiand its left derived functor,
which is hard to compute in practice. Our next result gives a more transparent description of this
subcategory. Recall from Definition 7.15
Φ(X) = {XD-Rep |ϕX
iis a monomorphism and coki(X)Xifor iOb(I)}.
9.6 Lemma. If Iis a partially ordered category and Dis locally exact, then Φ(X) = Φ(X).
Proof. By the definitions of Φ(X) or Φ(X), to prove the conclusion, it suffices to show the following
statement: for any object Xin D-Rep and any iOb(I), ϕX
iis a monomorphism if and only if
L1coki(X) = 0.
Note that we have assumed that each Dihas enough projectives at the beginning of this part.
By Proposition 5.9, D-Rep has enough projectives as well, so one has a short exact sequence
0XPX0
in D-Rep with Pprojective. Because Dαis right exact for any αPi(, i), the above short exact
sequence induces a commutative diagram with exact rows
colimαPi(,i)Dα(X
s(α))//
ϕX
i
colimαPi(,i)Dα(Ps(α))//
ϕP
i
colimαPi(,i)Dα(Xs(α))//
ϕX
i
0
0//X
i//Pi//Xi//0
in Di. By Corollary 7.19, ϕP
iis a monomorphism, and so there is an exact sequence
0ker(ϕX
i)coki(X)coki(P)coki(X)0
by the snake lemma. Since cokPi(P) is projective in Diby Corollary 7.19, it follows that L1coki(P) =
0. Consequently, ϕX
iis a monomorphism if and only if the sequence
0coki(X)coki(P)coki(X)0
is exact, and if and only if L1coki(X) = 0.
The following proposition is an immediate consequence of Proposition 9.5 and Lemma 9.6.
9.7 Proposition. Suppose that Iis a partially ordered category and Dis locally exact. Then
(Φ(X),Φ(X))is a cotorsion pair in D-Rep.
The subcategory Φ(X)of D-Rep still seems mysterious to us. Thus we give it a more trans-
parent interpretation under certain extra assumptions. The strategy of the proof comes from [40,
Theorem 7.9].
9.8 Proposition. Let Ibe a direct category and suppose that Dis exact. Then Φ(X)=D-RepY.
Proof. Note that Φ(X) = sta(Y) by the proof of Proposition 9.5, Φ(X) = Φ(X) by Lemma 9.6,
and D-RepY=fre(X)according to the proof of Proposition 9.3.
The inclusion Φ(X)D-RepYfollows from the claim fre(X)Φ(X). Indeed, if this is true,
then for an object Yin Φ(X), by Lemma 9.2 we have
Ext1
Di(Xi, Yi)
=Ext1
Di(Xi,evai(Y))
=Ext1
D-Rep(frei(Xi), Y ) = 0
for any iOb(I) and any object Xiin Xi. Consequently, YiYisince (Xi,Yi) is a cotorsion pair
in Di. Thus Yis contained in D-RepYas desired.
To prove the above claim, we take two objects iand jin Ob(I) together with an object Xiin Xi
and an object Yjin Yj. By Lemma 9.2, we have
Ext1
D-Rep(frei(Xi),staj(Yj))
=Ext1
Di(Xi,evai(staj(Yj))).
60 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
If i=j, then evai(staj
l(Yj)) = Yi; otherwise, evai(staj(Yj)) = 0. In both cases we conclude that
Ext1
Di(Xi,evai(staj(Yj))) = 0 since (Xi,Yi) is a cotorsion pair in Di. Thus, we have
frei(Xi)sta(Y) = Φ(X),
so fre(X)Φ(X) as claimed.
The other inclusion D-RepYΦ(X)follows from the claim that every object Yin D-RepYhas
a Φ(X)-cofiltration. Indeed, if this is true, then by Lemma 8.2, YΦ(X)as desired.
Now we prove the claim. Let {Vχ}be the transfinite sequence of subsets of Ob(I). Since Iis
a left rooted category by Proposition 7.11, Ob(I) = Vζfor a certain ordinal ζ. We construct the
following continuous inverse ζ-sequence {Yχ, gχ,χ}χ6χ6ζin D-Rep as in Definition 8.1.
For an ordinal χ6ζ, define Yχas follows:
for iOb(I), set
Yχ
i=(Yi,if iVχ,
0,otherwise;
for α:ijMor(I), set the structural morphism
Yχ
α:Dα(Yχ
i)Yχ
j=(Yα,if i, j Vχ,
0 otherwise.
We verify that Yχis a left representation over D. The axiom (lRep.2) holds clearly. To check
the axiom (lRep.1), we need to show
τβ,α(Yχ
i)Yχ
βα=Yχ
βDβ(Yχ
α)
for any pair of composable morphisms iα
jβ
kMor(I). If k /Vχ, then Yχ
βα = 0 = Yχ
β;
otherwise, if kVχ, then both jand iare in Vχby Remark 7.4, and hence Yχ
βα =Yβα,Yχ
β=Yβ
and Yχ
α=Yα. In both cases the above equality holds, so Yχis indeed a left representation over D.
For ordinals χ6χ6ζ, define gχ,χ={gχ,χ
i}iOb(I)as follows: for any iOb(I),
(a) if iVχ, then iVχ(see Remark 7.2), so Yχ
i=Yiand Yχ
i=Yi, and we set gχ,χ
ito be idYi;
(b) if i /Vχ, then Yχ
i= 0, and we set gχ,χ
ito be 0.
To verify that gχ,χis a morphism in D-Rep, we have to show
gχ,χ
jYχ
α=Yχ
αDα(gχ,χ
i)
for all α:ijMor(I). If j /Vχ, then Yχ
j= 0; otherwise, if jVχ, then both i, j VχVχby
Remark 7.4, and in this case we have gχ,χ
j= idYj,Yχ
α=Yα,Yχ
α=Yαand Dα(gχ,χ
i) = Dα(idYi) =
idDα(Yi). In both cases the above equality holds. Thus, gχ,χis a morphism in D-Rep. Furthermore,
it is easy to check that {Yχ, gχ,χ}χ6χ6ζis a continuous inverse ζ-sequence in D-Rep.
We finish the proof by showing that {Yχ, gχ,χ}χ6χ6ζis a Φ(X)-cofiltration of Y(see Definition
8.1). Clearly, Y0= 0 and Yζ=Y, so it remains to show ker(gχ,χ+1)Φ(X)for any ordinal
χ < ζ. Note that for iOb(I), we have:
ker(gχ,χ+1)i=(Yi,if iVχ+1 \Vχ;
0,otherwise.
Thus for a morphism α:ij, we have two cases:
(a) if i=j, then α=eias Iis locally trivial by Proposition 7.11, so the structural morphism
ker(gχ,χ+1)eiis η1
i(ker(gχ,χ+1)i);
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 61
(b) if i6=j, then the structural morphism
ker(gχ,χ+1)α:Dα(ker(gχ,χ+1)i)ker(gχ,χ+1)j
is 0. Indeed, if j /Vχ+1\Vχ, then ker(gχ,χ+1)j= 0, so ker(gχ,χ+1)α= 0; if jVχ+1\Vχ, then
iVχby Remark 7.4, so ker(gχ,χ+1)i= 0 and consequently ker(gχ,χ+1)α= 0 as well.
With these observations in mind, it is routine to check that
ker(gχ,χ+1)
=Y
iVχ+1\Vχ
stai(Yi).
But for any iVχ+1\Vχ, we have
stai(Yi)sta(Y)(sta(Y))= Φ(X).
Thus ker(gχ,χ+1)Φ(X)as desired. This completes the proof.
The following result is a straightforward consequence of Propositions 9.7 and 9.8.
9.9 Proposition. Suppose that Iis a direct category and Dis exact. Then (Φ(X),D-RepY)is a
cotorsion pair in D-Rep.
We summarize the main results of this section in the following theorem.
9.10 Theorem. Let X={XiDi}iOb(I)and Y={YiDi}iOb(I)be two families of subcate-
gories such that (Xi,Yi)is a cotorsion pair in Difor each iOb(I).
(a) If Dis exact, then (D-RepY,D-RepY)is a cotorsion pair in D-Rep.
(b) If Iis a partially ordered category and Dis locally exact, then (Φ(X),Φ(X))is a cotorsion
pair in D-Rep.
(c) If Iis a direct category and Dis exact, then Φ(X)=D-RepY, and hence (Φ(X),D-RepY)is
a cotorsion pair in D-Rep.
9.11 Remark. Let Ibe the free category associated to a quiver Qand Aa Grothendieck category
admitting enough projectives. Suppose that Dis a trivial I-diagram of the category A, that is,
Di=Afor each iOb(I) and Dαis the identity functor on Afor each αMor(I). The cotorsion
pairs in (a) and (b) in Theorem 9.10 were established by Holm and Jørgensen; see [40, Theorem
7.4(a)]. If furthermore Qis a left rooted quiver, then the cotorsion pair in Theorem 9.10(c) can be
found in [40, Theorem 7.9].
We end this section with the next result, which asserts that under some extra conditions the
hereditary property of the cotorsion pair (Φ(X),D-RepY) can be deduced from the hereditary prop-
erty of each cotorsion pair (Xi,Yi).
9.12 Proposition. Suppose that Iis a direct category and Dis exact. If the cotorsion pair (Xi,Yi)
is hereditary for every iOb(I), then so is (Φ(X),D-RepY).
Proof. By Proposition 9.9, (Φ(X),D-RepY) is a cotorsion pair in D-Rep, so we only need to prove its
hereditary property; that is, it is both resolving and coresolving (see 8.4). However, by Theorem 2.6
and the assumption that the cotorsion pair (Xi,Yi) is coresolving, it is trivial that (Φ(X),D-RepY)
is also coresolving. Therefore, we only need to show that (Φ(X),D-RepY) is resolving.
Let 0 MLK0 be a short exact sequence in D-Rep such both Land Kare in Φ(X).
Then for iOb(I), this short exact sequence induces the following commutative diagram:
0//colimαPi(,i)Dα(Ms(α))//
ϕM
i
colimαPi(,i)Dα(Ls(α))//
ϕL
i
colimαPi(,i)Dα(Ks(α))//
ϕK
i
0
0//Mi//Li//Ki//0
62 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
in Di. Note that each row in the above commutative diagram is exact. Indeed, the exactness of
the first row comes from Theorem 2.6 as well as the condition that Dαis an exact functor for any
αPi(, i). The second row is also exact by Theorem 2.6.
Since both Land Kare in Φ(X), both ϕL
iand ϕK
iare monomorphisms. Thus by the snake
lemma, ϕM
iis a monomorphism as well, and we obtain a short exact sequence
0coker(ϕM
i)coker(ϕL
i)coker(ϕK
i)0
in Di. However, by the definition of the functor coki, this short exact sequence is precisely
0coki(M)coki(L)coki(K)0.
Since both coki(L) and coki(K) are in Xiand the cotorsion pair (Xi,Yi) is resolving, coki(M) is
also in Xi. Thus Mis in Φ(X), and so (Φ(X),D-RepY) is resolving.
10. Abelian model structures on D-Rep
In this section we show that the cotorsion pair (Φ(X),D-RepY) given in Proposition 9.9 is complete
when the I-diagram Dsatisfies certain extra conditions, and hence induces an abelian model strcture
on D-Rep.
Setup. Throughout this section, let Ibe the free category associated to a left rooted quiver Q=
(Q0, Q1). Then by Theorem 1.11, there exist a strict I-diagram Dand a morphism F:DDof
I-diagrams such that Fiis the identity for each iOb(I), which induces an isomorphism between
the categories D-Rep and D-Rep by Proposition 3.5. Consequently, without loss of generality, we
may suppose that Dis strict. On the other hand, by an argument similar to that Example 5.3, the
morphism category P(, i) is a disjoint union of components each of which corresponds to a unique
arrow i, and this arrow is the terminal object in the component. Consequently, one has
colim
θPi(,i)=a
θQ1(,i)
,
where Q1(, i) is the set of arrows with target i.
10.1. Completeness of the induced cotorsion pairs. Throughout this subsection, let X=
{Xi}iOb(I)and Y={Yi}iOb(I)be two families of subcategories such that (Xi,Yi) is a complete
cotorsion pair in Difor each iOb(I). Then we show that the cotorsion pair (Φ(X),D-RepY) given
in Proposition 9.9 is complete.
We begin with the following notion derived from some concrete cases that will be considered in
Section 11.
10.1 Definition. Let {Si}iOb(I)be a family with each Sia subcategory of Di. We say that
{Si}iOb(I)is compatible with respect to Dif Dα(Ss(α))St(α)for any αMor(I), where s(α) and
t(α) are the source and target of α, respectively.
The next result paves the way for proving the completeness of the induced cotorsion pair in
Proposition 9.9, which actually holds true for a general free category associated to a quiver.
10.2 Lemma. Suppose that Dis exact and X={Xi}iOb(I)is compatible with respect to D. Then
for any object Min D-Rep, there exist short exact sequences
0MYX0and 0YXM0
in D-Rep with X, XD-RepXand Y, Y D-RepY.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 63
Proof. Since (Xi,Yi) is a complete cotorsion pair for each iOb(I), there exists an exact sequence
0Mi
fi
Yi
gi
Xi0
in Diwith YiYiand XiXi. Let α:ijbe an arrow in Q1. Since Dα(Xi)Xjand Dαis
exact, there exist morphisms Yαand Xαsuch that the diagram
0//Dα(Mi)Dα(fi)
//
Mα
Dα(Yi)
Yα
Dα(gi)
//Dα(Xi)
Xα
//0
0//Mj
fj
//Yj
gj
//Xj//0
commutes. By Remark 3.7, one obtains the first short exact sequence, and the second one can be
constructed dually.
Now we are able to prove the main result of this section.
10.3 Theorem. Suppose that Dis exact and X={Xi}iOb(I)is compatible with respect to D.
Then (Φ(X),D-RepY)is a complete cotorsion pair in D-Rep.
Proof. It follows from Propositions 7.11 and 9.9 that (Φ(X),D-RepY) is a cotorsion pair in D-Rep,
so we only need to show its completeness. Furthermore, without loss of generality we may suppose
that Dis strict.
Let Mbe an object in D-Rep. By Lemma 10.2 we obtain a short exact sequence
E: 0 YXM0
in D-Rep such that XD-RepXand YD-RepY. But Xmay fail to be in Φ(X). We will use the
transfinite induction to construct another short exact sequence
E: 0 YXM0
in D-Rep with XΦ(X) and YD-RepY. If this is done, the cotorsion pair (Φ(X),D-RepY) is
complete in D-Rep by Lemma 8.6(a), as D-Rep has enough (D-RepY)-objects by Lemma 10.2.
Let {Vχ}be the transfinite sequence of subsets of Ob(I) defined in 7.1. Since Iis left rooted by
Proposition 7.11, Ob(I) = Vζfor a certain ordinal ζ. Now we construct an inverse ζ-sequence
{Eχ: 0 Yχkχ
Xχhχ
Mχ0}χ6ζ
of short exact sequences in D-Rep satisfying the following conditions:
for any ordinal 0 < χ 6ζ, one has Mχ=M;
for any ordinal 0 < χ 6ζand any iOb(I)\Vχ, one has Xχ
i=XiXiand Yχ
i=YiYi;
for any ordinal χ6ζand any iVχ,ϕXχ
iis a monomorphism, Xχ
iXi,coki(Xχ)Xi
and Yχ
iYi;
for all 0 < χ < χ6ζ,Xχ
i=Xχ
iand Yχ
i=Yχ
ifor all i /Vχ\Vχ, and there exists the
following commutative diagram
Eχ: 0 //Yχkχ
//
gχ,χ
Xχ
fχ,χ
hχ
//Mχ=M//0
Eχ: 0 //Yχkχ
//Xχhχ
//Mχ=M//0
in D-Rep such that both fχ,χand gχ,χare epimorphisms.
64 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
Set E0= 0 0000 and E1=E. We have two cases:
Case I: χ+ 1 is a successor ordinal and we have constructed Eχ= 0 YχXχM0.
We construct Eχ+1 in the following steps.
Step 1. Construct Xχ+1 and Yχ+1.
Let iVχ+1\Vχ. The cotorsion pair (Xi,Yi) is complete in Di, so there is a short exact sequence
0a
αQ1(,i)
Dα(Xχ
s(α))(σα)αQ1(,i)
Dχ+1
iXi0
in Diwith Dχ+1
iYiand XiXi. Since {Xi}iOb(I)is compatible with respect to D, it follows
that `αQ1(,i)Dα(Xχ
s(α)) is in Xias each αQ1(, i) has the source s(α) in Vχby Remark 7.4.
Thus, Dχ+1
iXiYi.
For any arrow αQ1(, i), there exists a canonical monomorphism
(σα)αQ1(,i)εα:Dα(Xχ
s(α))Dχ+1
i,
where εαis the canonical injection. On the other hand, Xχ
αis a morphism from Dα(Xχ
s(α)) to
Xχ
i=Xias iOb(I)\Vχ. Thus there is a morphism
Xχ
α
(σα)αQ1(,i)εα:Dα(Xχ
s(α))XiDχ+1
i
in Diwhich induces a monomorphism
()(Xχ
α)αQ1(,i)
(σα)αQ1(,i):a
αQ1(,i)
Dα(Xχ
s(α))XiDχ+1
i,
as (σα)αQ1(,i)is a monomorphism.
Now we defineXχ+1 and Yχ+1 as follows:
For iOb(I), set
Xχ+1
i=(Xχ
i,if i /Vχ+1\Vχ,
XiDχ+1
i,otherwise; and Yχ+1
i=(Yχ
i,if i /Vχ+1\Vχ,
YiDχ+1
i,otherwise.
Since Dχ+1
iXiYi, it follows that XiDχ+1
iXiand YiDχ+1
iYi. Thus Xχ+1
iXi
and Yχ+1
iYi.
For an arrow γ:ijin Q112, the structural morphisms Xχ+1
γand Yχ+1
γare defined as
follows:
(a) If jVχ+1\Vχ, then iVχby Remark 7.4. Define
Xχ+1
γ=Xχ
γ
(σβ)βQ1(,j)εγ:Dγ(Xχ+1
i) = Dγ(Xχ
i)Xχ+1
j=XjDχ+1
j,and
Yχ+1
γ=Yχ
γ
(σβ)βQ1(,j)εγDγ(kχ
i):Dγ(Yχ+1
i) = Dγ(Yχ
i)Yχ+1
j=YjDχ+1
j.
(b) If iVχ+1\Vχ, then j /Vχ+1 by Remark 7.4 again. Thus Xχ+1
i=XiDχ+1
i,
Xχ+1
j=Xχ
j=Xj,Yχ+1
i=YiDχ+1
i, and Yχ+1
j=Yχ
j=Yj. Define Xχ+1
γto be
the composite of the projection Dγ(XiDχ+1
i)
=Dγ(Xi)Dγ(Dχ+1
i)։Dγ(Xi)
followed by Xγ:Dγ(Xi)Xj, and define Yχ+1
γto be the composite of the projection
Dγ(YiDχ+1
i)
=Dγ(Yi)Dγ(Dχ+1
i)։Dγ(Yi) followed by Yγ:Dγ(Yi)Yj.
(c) For other cases, define Xχ+1
α=Xχ
αand Yχ+1
α=Yχ
α.
12Note here that i6=jas the quiver Qis left rooted by assumption; see Lemma 7.7.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 65
By Remark 3.7, we obtain two objects Xχ+1 and Yχ+1 in D-Rep such that Xχ+1 D-RepXand
Yχ+1 D-RepY. To show that Xχ+1 and Yχ+1 satisfy the desired conditions (b) and (c), it remains
to prove that coki(Xχ+1 )Xifor all iVχ+1\Vχ, that is, the cokernel of the monomorphism
ϕXχ+1
i=(Xχ
α)αQ1(,i)
(σα)αQ1(,i)
given in () is in Xi. To this end, consider the following commutative diagram
0
Xi
ι
0//`αQ1(,i)Dα(Xχ
s(α))ϕXχ+1
i//XiDχ+1
i//
π
coki(Xχ+1)//
0
0//`αQ1(,i)Dα(Xχ
s(α))//Dχ+1
i
//Xi//0.
0
in Diwith exact rows and columns. Then there exists a morphism coki(Xχ+1 )Xisuch that the
right square commutes. By the snake lemma, one gets a short exact sequence
0Xicoki(Xχ+1)Xi0
in Di. Since both Xiand Xiare in Xi, so is coki(Xχ+1 ).
Step 2. Construct Eχ+1.
Set Mχ+1 =M. Define hχ+1 :Xχ+1 Mand kχ+1 :Yχ+1 Xχ+1 as follows:
hχ+1
i=(hχ
i,if i /Vχ+1\Vχ,
(hχ
i,0),otherwise; and kχ+1
i=
kχ
i,if i /Vχ+1\Vχ,
kχ
i0
0 1 !,otherwise.
According to the above constructions and by Remark 3.7 again, it is routine to check that
Eχ+1 : 0 Yχ+1 kχ+1
Xχ+1 hχ+1
Mχ+1 =M0
is a short exact sequence in D-Rep.
Step 3. Construct epimorphisms fχ,χ+1 :Xχ+1 Xχand gχ,χ+1 :Yχ+1 Yχ.
Define fχ,χ+1 and gχ,χ+1 as follows:
fχ,χ+1
i=(idXχ
i,if i /Vχ+1\Vχ,
(1,0) ,otherwise; and gχ,χ+1
i=(idYχ
i,if i /Vχ+1\Vχ,
(1,0) ,otherwise.
It is clear that fχ,χ+1 and gχ,χ+1 are epimorphisms, and it is routine to check that the diagram
Eχ+1 : 0 //Yχ+1 kχ+1
//
gχ,χ+1
Xχ+1
fχ,χ+1
hχ+1
//M//0
Eχ: 0 //Yχkχ
//Xχhχ
//M//0
in D-Rep commutes.
Case II. µ6ζis a limit ordinal and Eκhas been constructed for all κ < µ. Next we construct
Eµ. In this case one has Vµ=κ<µVκ.
66 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
(a) If iVµ, then iVκfor some ordinal κ < µ, and so for all ordinal κ < κ6µone has
Eκ
i=Eκ
ias i /Vκ\Vκ.
(b) If i /Vµ, then by the induction hypothesis, one has that Eκ
i=Eifor all κ < µ.
Let Eµ= limκ<µ Eκ. One has
Eµ
i= lim
κ<µ
Eκ
i=(Eκ
ifor some κ < µ if iVµ,
Eiif i /Vµ.
Thus, Eµis an exact sequence in D-Rep satisfying the desired conditions.
In both cases we have defined Eµfor µ6ζ. In particular, for µ=ζ, one gets the desired exact
sequence E=Eζ: 0 YXM0. This finishes the proof.
10.4 Remark. In the special situation that Dis a trivial I-diagram of the category Aand (X,Y) is
a complete cotorsion pair in A, the completeness of the cotorsion pair (Φ(X),D-RepY) in Theorem
10.3 was proved by Di, Li, Liang and Xu; see [14, Theorem A and Remark 2.2]13.
The following result is an immediate consequence of Proposition 9.12 and Theorem 10.3.
10.5 Proposition. Suppose that Dis exact and X={Xi}iOb(I)is compatible with respect to
D. If (Xi,Yi)is a complete and hereditary cotorsion pair in Difor every iOb(I), then so is
(Φ(X),D-RepY).
10.2. Abelian model structures on D-Rep.In this subsection, as an application of Proposition
10.5, we show that under some assumptions a family {(Qi,Wi,Ri)}iOb(I)of hereditary Hovey triples
on Di’s induces a hereditary Hovey triple on D-Rep.
10.6 Lemma. Suppose that S={Si}iOb(I)is a family with each Sia subcategory of Diclosed
under extensions and small coproducts for each iOb(I). If Sis compatible with respect to D,
then Φ(S)D-RepS.
Proof. Let {Vχ}be the transfinite sequence of subsets of Ob(I) defined in 7.1. Since Iis left rooted,
Ob(I) = Vζfor a certain ordinal ζ. For each SΦ(S), we use the transfinite induction to show the
following assertion: for all ordinals χ, all objects iVχ, one has SiSi.
The assertion holds trivially for V0=. For χ>1, we have two cases.
(a) Let χ+ 1 be a successor ordinal and iVχ+1. Since SΦ(S), there is a short exact sequence
0a
αQ1(,i)
Dα(Ss(α))ϕS
i
Sicoki(S)0
in Diwith coki(S)Si. Since iVχ+1, it follows from Remark 7.2 that s(α)Vχfor
all arrows αQ1(, i). Note that {Si}iOb(I)is compatible with respect to D. By the
induction hypothesis and the assumption that Siis closed under small coproducts, we deduce
that `αQ1(,i)Dα(Ss(α))Si. But Siis closed under extensions, so SiSi.
(b) If χ6ζis a limit ordinal. Then the assertion is clearly true for χbecause in this case
Vχ=µ<χVµand the assertion holds for all ordinals µ < χ.
This yields that Sis in D-RepS, and so Φ(S)D-RepS.
To describe other results, we need to fix some assumptions and notations.
Setup. Given a family {(Qi,Wi,Ri)}iOb(I)with each (Qi,Wi,Ri) a Hovey triple on Di, denote by
e
Qi(resp., e
Ri) the subcategory QiWi(resp., RiWi) for iOb(I);
13In the special case where the cotorsion pair (X,Y) is assumed to be hereditary and complete, such a result was
first proved by Odaba¸sı; see [53, Theorem 4.6].
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 67
Q(resp., W,e
Q,R,e
R) the family {Qi}iOb(I)(resp., {Wi}iOb(I),{e
Qi}iOb(I),{Ri}iOb(I),
{e
Ri}iOb(I)) of subcategories.
10.7 Lemma. Suppose that Dis exact. Then any family {(Qi,Wi,Ri)}iOb(I)of hereditary Hovey
triples on Disuch that both Qand e
Qare compatible with respect to Dinduces a hereditary Hovey
triple (Φ(Q),T,D-RepR)on D-Rep in which
T={XD-Rep |there is a s.e.s. 0XAB0with AD-Repe
Rand BΦ(e
Q)}
={XD-Rep |there is a s.e.s. 0ABX0with AD-Repe
Rand BΦ(e
Q)}.
Proof. By Proposition 10.5, we obtain two complete and hereditary cotorsion pairs (Φ(Q),D-Repe
R)
and (Φ(e
Q),D-RepR) in D-Rep. It is evident that Φ(e
Q)Φ(Q) since e
QQ. According to Lemma
8.8, if we prove that
Φ(Q)D-Repe
R= Φ(e
Q)D-RepR,
then there exists a unique thick subcategory Twith the desired form such that (Φ(Q),T,D-RepR)
is a hereditary Hovey triple on D-Rep.
For the inclusion Φ(e
Q)D-RepRΦ(Q)D-Repe
R, we take an object XΦ(e
Q)D-RepR. It
suffices to show that XD-Repe
R. Indeed, by Lemma 10.6, we see that Xie
Qifor any iOb(I).
Thus Xie
QiRi=QiWiRie
Ri, so XD-Repe
Ras desired.
For the other inclusion, let Xbe an object in Φ(Q)D-Repe
R. By Lemma 10.6 again, we have
XiQie
Ri=e
QiRi, so it remains to prove that coki(X) in the exact sequence
0a
αQ1(,i)
Dα(Xs(α))ϕX
i
Xicoki(X)0
belongs to e
Qi=QiWi. Since coki(X)Qi, it remains to show coki(X)Wi. But Wiis a thick
subcategory of Di, so it is enough to show that the rst two terms are in Wi. This is clearly true
for Xias it belongs to e
Ri=WiRi.
We finish the proof by showing that the first term lies in Wi. Since Qs(α)e
Rs(α)=e
Qs(α)Rs(α)
for any arrow αPi(, i), we conclude that Xs(α)e
Qs(α). But {e
Qi}iOb(I)is compatible with
respect to Dby assumption, so Dα(Xs(α))e
Qi. Consequently, `αQ1(,i)Dα(Xs(α))e
Qias e
Qiis
closed under small coproducts. In particular, `αQ1(,i)Dα(Xs(α))Wias e
Qi=QiWi.
The next result shows that the subcategory Tof trivial objects in the Hovey triple given in
Lemma 10.7 coincides with the subcategory D-RepW.
10.8 Lemma. Keep the assumptions and notations as in Lemma 10.7. Then T=D-RepW.
Proof. The inclusion TD-RepWholds as Φ(e
Q)D-Repe
Qby Lemma 10.6, so we only need to
show the inclusion D-RepWT.
Let Xbe an object in D-RepW. For any iOb(I), since (Qi,e
Ri) is a complete cotorsion pair
in Diand {Qi}iOb(I)is compatible with respect to Dby assumption, it follows from Lemma 10.2
that there exists a short exact sequence
0XAB0
in D-Rep with AD-Repe
Rand BD-RepQ. Since both Xiand Aibelong to Wi, which is a thick
subcategory of Di, we conclude that BiWias well, so BD-Repe
Q. But Bmight not be in Φ(e
Q).
We will use transfinite induction to construct an exact sequence
E: 0 XAB0
68 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
in D-Rep such that AD-Repe
Rand BΦ(e
Q). If this is done, then Xlies in T.
Let {Vχ}be the transfinite sequence of subsets of Ob(I) defined in 7.1. Since Iis left rooted,
Ob(I) = Vζfor some ordinal ζ. We construct an inverse ζ-sequence
{Eχ: 0 Xχkχ
Aχhχ
Bχ0}χ6ζ
of short exact sequences in D-Rep satisfying the following conditions:
for ordinal 0 < χ 6ζ,Xχ=X;
for ordinal 0 < χ 6ζand object iOb(I)\Vχ,Aχ
i=Aie
Riand Bχ
i=Bie
Qi;
for ordinal χ6ζand object iVχ,Aχ
ie
Ri,ϕBχ
iis a monomorphism, Bχ
ie
Qi, and
coki(Bχ)e
Qi;
for ordinals 0 < χ < χ6ζ,Aχ
i=Aχ
iand Bχ
i=Bχ
ifor objects i /Vχ\Vχ, and there
exists a commutative diagram
Eχ: 0 //Xχkχ
//Aχ
fχ
hχ
//Bχ
gχ
//0
Eχ: 0 //Xχkχ
//Aχhχ
//Bχ
//0
in D-Rep such that both fχ and gχ are epimorphisms.
Now we can just mimic the construction in the proof of Theorem 10.3 to do that. Finally we
obtain the desired exact sequence E=Eζ: 0 XAB0.
The main result of this section is as follows, which is immediate from Lemmas 10.7 and 10.8.
10.9 Theorem. Suppose that Dis exact. Then a family {(Qi,Wi,Ri)}iOb(I)of hereditary Hovey
triples on Disuch that Qand e
Qare compatible with respect to Dinduces a hereditary Hover triple
(Φ(Q),D-RepW,D-RepR)on D-Rep.
10.10 Remark. This result has been proved in [13, Theorem B] for the category of representations
from a left rooted quiver Qto a Grothendieck category admitting enough projectives, which is a
special case of the above theorem by taking Dto be the corresponding trivial diagram. We shall
also point out that for an I-diagram Dof model categories where Iis a direct category, Greenlees
and Shipley constructed a diagram-projective model structure on D-Rep; see [36, Theorem 3.1].
They did this by constructing a weak equivalence and a (co)fibration in D-Rep, while we construct
model structures through the cotorsion theory and Hovey correspondence.
10.11 Remark. All results in Sections 9 and 10 have their dual versions on the subcategory Ψ(Y)
of the right representation category Rep-Dintroduced in Definition 7.21.
11. Applications to diagrams of module categories
Let Rbe an I-diagram of associative rings. In this section we describe some applications of the
main results in previous sections to representations over I-diagrams Rand Rof module categories
induced by R. More specifically, under some assumptions, we give characterizations of (Gorenstein)
flat objects in R-Rep as well as characterizations of Gorenstein injective objects in Rep-R, and
establish a Gorenstein flat model structure on R-Rep as well as a Gorenstein injective model
structure on Rep-R.
Let us recall some results established in previous sections. According to Subsection 4.1, Rinduces
a right exact endo-trivial I-diagram Rof module categories with
Ri=Ri-Mod for iOb(I) and
Rα=RjRi:Ri-Mod Rj-Mod for α:ijMor(I),
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 69
and a left exact endo-trivial I-diagram Rof module categories with
Ri=Mod-Rifor iOb(I) and
Rα= HomRi(Rj,) : Mod-RiMod-Rjfor α:ijMor(I).
It is clear that Rα(resp., Rα) preserves small coproducts (resp., products) for any αMor(I).
By Proposition 4.5, the category R-Mod of left R-modules (resp., the category Mod-Rof right R-
modules ) introduced in [26, Definition 3.6] coincides with the category R-Rep (resp., the category
Rep-R).
11.1. Flat objects. In this subsection we give a description of the categorical flat objects in R-Rep
based on the the categorical tensor product due to Oberst and Rohrl [52]. We recall the following
construction.
Given an object Min R-Rep and a Z-module G, we define an object Hom(M , G) in Rep-Ras
follows:
for iOb(I), set Hom(M, G)ito be HomZ(Mi, G)Mod-Ri;
for α:ijMor(I), there exists a morphism Mα:Rα(Mi) = RjRiMiMjin Rj,
which yields a morphism Hom(M , G)j= HomZ(Mj, G)HomZ(Mα,G)
//HomZ(RjRiMi, G)
in Rj. Set Hom(M , G)αto be the composite of HomZ(Mα, G) and the classical isomorphism
Isoα: HomZ(RjRiMi, G)HomRi(Rj,HomZ(Mi, G)) = Rα(Hom(M, G)i).
It is routine to check that Hom(M, G) satisfies the axioms (rRep.1) and (rRep.2) in Definition
2.13, and hence is an object in Rep-R. It is also clear that Hom(M , ) is a functor from Z-Mod
to Rep-R, and is left exact and preserves products. Consequently, it has a left adjoint, denoted by
RM:Rep-RZ-Mod, and called the tensor product functor.
From the definition we immediately obtain:
11.1 Lemma. Let Mbe an object in R-Rep and Nan object in Rep-R. Then for any Z-module
G, there exists a natural isomorphism
HomZ(NRM , G)
=HomRep-R(N, Hom(M, G)).
Now we can define categorical flat objects in R-Rep.
11.2 Definition. An object Fin R-Rep is called flat if the functor RFis exact. The subcat-
egory of all flat objects in R-Rep is denoted by Flat(R-Rep).
An equivalent characterization of categorical flat object is:
11.3 Lemma. An object Fin R-Rep is flat if and only if F+= HomZ(F, Q/Z)is injective in
Rep-R.
Proof. Given any short exact sequence 0 NNN′′ 0 in Rep-R, we consider the
following commutative diagram
0//HomRep-R(N, F +)//
=
HomRep-R(N, F +)//
=
HomRep-R(N′′, F +)//
=
0
0//(NRF)+//(NRF)+//(N′′ RF)+//0
of abelian groups, where the columns are isomorphisms by Lemma 11.1. Then the first row is exact
if and only if so is the second one, or equivalently, Fis at if and only if F+is injective.
From now on, we denote by Flatthe family {Flat(Ri-Mod)}iOb(I)of subcategories consisting of
flat objects in Ri-Mod.
70 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
11.4 Lemma. Suppose that Iis a partially ordered category. Then an object Min R-Rep is
contained in the subcategory Φ(Flat)of R-Rep if and only if M+is contained in the subcategory
Ψ(Inj)of Rep-R.
Proof. The statement that MΦ(Flat) is equivalent to the second statement: for all jOb(I)
there exists a short exact
0colim
σPj(,j)(RjRs(σ)Fs(σ))ϕF
j
Fjcokj(F)0
in Rj-Mod with cokj(F) flat; see Definition 7.15. This turns out to be equivalent to the third
statement: for jOb(I), there exists a short exact sequence
0(cokj(F))+(Fj)+(ϕF
j)+
( colim
σPj(,j)(RjRs(α)Fs(α)))+0
in Mod-Rjwith (cokj(F))+injective. However, since
( colim
σPj(,j)(RjRs(σ)Fs(σ)))+= HomZ( colim
σPj(,j)(RjRs(σ)Fs(σ)),Q/Z)
=lim
σPj(,j)HomZ(RjRs(σ)Fs(σ),Q/Z)
=lim
σPj(,j)HomRs(σ)(Rj,HomZ(Fs(σ),Q/Z))
= lim
σPj(,j)HomRs(σ)(Rj,(Fs(σ))+),
and (ϕF
j)+is nothing but ψF+
jby definitions, the third statement is equivalent to the statement
that M+Ψ(Inj); see Subsection 6.3.
As an immediate consequence of Corollaries 7.19 and 7.23 and Lemmas 11.3 and 11.4, we obtain
the following characterization of flat objects in R-Rep.
11.5 Theorem. Suppose that Iis a direct category. Then Flat(R-Rep) = Φ(Flat).
11.6 Remark. Theorem 11.5 was first proved by Enochs, Oyonarte and Torrecillas in [23, Theorem
3.7] for the trivial diagram indexed by the free category associated to a left rooted quiver.
11.2. Gorenstein injective model structures. In this subsection we consider Gorenstein injec-
tive objects in Rep-R, and construct Gorenstein injective model structures on Rep-R.
Enochs and Jenda introduced in [21] the notion of Gorenstein injective modules over associative
rings. Analogously, we give the following definition of Gorenstein injective objects in Rep-R.
11.7 Definition. An object Nin Rep-Ris called Gorenstein injective if there is an exact sequence
I:· · · I1I0I1 · · ·
in Rep-Rwith Ijinjective for all jZsuch that N
=ker (I0I1) and the sequence Iremains
exact after applying the functor HomRep-R(E, ) for every injective object Ein Rep-R. The
subcategory of all Gorenstein injective objects in Rep-Ris denoted by GI(Rep-R).
Denote by GIthe family {GI(Mod-Ri)}iOb(I)of subcategories consisting of Gorenstein injective
objects in Mod-Ri. Our next task is to show that under some assumptions the subcategories
GI(Rep-R) and Ψ(GI) of Rep-Rcoincide. Before proving this result, we need to finish a few
preparatory works.
Denote by Proj(resp., Inj) the family {Proj(Ri-Mod)}iOb(I)(resp., {Inj(Mod-Ri)}iOb(I)) of
subcategories of Ri-Mod (resp., Mod-Ri) consisting of projective objects (resp., injective objects).
It is easy to show the following result.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 71
11.8 Lemma. The family Projis compatible with respect to Rand the family Injis compatible
with respect to R.
Recall that the I-diagram Rof associative rings is called flat if the functor Rαis flat for any
α:ijMor(I), that is, the tensor product functor RjRi:Ri-Mod Rj-Mod is exact. As
we described at the beginning of Section 10, one has
lim
θPi(,i)=Y
θQ1(,i)
whenever Iis the free category associated to a quiver Q= (Q0, Q1).
11.9 Lemma. Suppose that Iis the free category associated to a left rooted quiver Q, and Ris
flat. Let Nbe a Gorenstein injective object in Rep-R. Then for any iOb(I), one has:
(a) ψN
i:NiQθQ1(,i)HomRs(θ)(Ri, Ns(θ))is an epimorphism;
(b) keri(N) = ker(ψN
i)is Gorenstein injective in Mod-Ri.
That is, GI(Rep-R)Ψ(GI).
Proof. Fix an object iOb(I) and consider the exact sequence of injective objects in Definition
11.7. For all integers j, since IjΨ(Inj) by Corollary 7.23, there exists a short exact sequence
0keri(Ij)Ij
iY
θQ1(,i)
HomRs(θ)(Ri, Ij
s(θ))0
in Mod-Riwith keri(Ij) injective. For any arrow θQ1(, i), we have an exact sequence
Is(θ)=· · · I1
s(θ)I0
s(θ)I1
s(θ) · · ·
in Mod-Rs(θ). Since the family Injis compatible with respect to Rby Lemma 11.8, we conclude
by the dual version of Lemma 10.6 that Ij
s(θ)is injective in Mod-Rs(θ). Hence, it follows from
[63, Corollary 5.9] that the sequence HomRs(θ)(Ri,Is(θ)) is exact as Riis flat in Mod-Rs(θ). This
implies that the sequence QθQ1(,i)HomRs(θ)(Ri,Is(θ)) is also exact. Consequently, we obtain the
commutative diagram
.
.
.
.
.
.
.
.
.
0//keri(I1)
//I1
i
//QθQ1(,i)HomRs(θ)(Ri, I1
s(θ))
//0
0//keri(I0)
//I0
i
//QθQ1(,i)HomRs(θ)(Ri, I0
s(θ))
//0
0//keri(I1)
//I1
i
//QθQ1(,i)HomRs(θ)(Ri, I1
s(θ))
//0
.
.
..
.
..
.
.
with exact rows and columns, which induces the short exact sequence
0keri(N)Ni
ψN
i
Y
θQ1(,i)
HomRs(θ)(Ri, Ns(θ))0.
Therefore, to complete the proof, it remains to show that keri(N) is Gorenstein injective in Mod-Ri,
that is, the sequence HomRi(Ei,keri(I)) is exact for any injective object Eiin Mod-Ri. Indeed, we
72 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
have
HomRep-R(frei(Ei),I)
=HomRep-R(frei(Ei),Y
iOb(I)
frei(keri(I)))
=Y
iOb(I)
HomRep-R(frei(Ei),frei(keri(I)))
=Y
iOb(I)
HomRi(evai(frei(Ei)),keri(I)),
where the first isomorphism holds by Remark 7.25 and the third isomorphism holds as (evai,frei)
is an adjoint pair by Corollary 5.19. Since frei(Ei) is injective in Rep-Ras the functor evaiis
exact, the sequence HomRep-R(frei(Ei),I) is exact by Definition 11.7. Consequently, the sequence
HomRi(evai(frei(Ei)),keri(I)) is also exact by the above isomorphisms. The conclusion then follows
by observing that evai(frei(Ei)) = Rei(Ei) = HomRi(Ri, Ei)
=Ei.
11.10 Lemma. Suppose that Ris flat and satisfies one of the following two conditions:
(a) Riis commutative for all iOb(I);
(b) Rjhas finite projective dimension as a left Ri-module for all α:ijMor(I).
Then the family GIis compatible with respect to R.
Proof. In both cases Rα= HomRi(Rj, Ei) is Gorenstein injective in Mod-Rjfor any α:ij
Mor(I) and any Gorenstein injective object Eiin Mod-Ri; see [11, Lemma 3.4] and [10, Ascent
table II(h)]. The conclusion then follows.
Denote by GIthe family {GI(Mod-Ri)}iOb(I)of subcategories of Mod-Ri, and by (Rep-R)GI
the subcategory of Rep-Rconsisting of objects Xwith Xicontained in GI(Mod-Ri) for iOb(I).
By [62, Theorem 5.6], (GI(Mod-Ri),GI(Mod-Ri)) is a complete hereditary cotorsion pair in Mod-Ri.
Now we describe a cotorsion pair in Rep-Rsuch that Ψ(GI) is the right half of this pair.
11.11 Proposition. Suppose that Iis a direct category and Ris flat. Then ((Rep-R)GI,Ψ(GI))
is a cotorsion pair in Rep-R. If Iis the free category associated to a left rooted quiver and Rsatisfies
further the condition (a) or (b) in Lemma 11.10, then the cotorsion pair ((Rep-R)GI,Ψ(GI)) is
complete and hereditary.
Proof. Take an object iOb(I), an object N
iGI(Mod-Ri) and an object NRep-R. Consider
a short exact sequence 0 N
iKievai(N)0 in Mod-Ri. Since Ris flat, Rjis a flat object
in Mod-Rifor any α:ijMor(I). It follows from [63, Corollary 5.9] that Ext1
Ri(Rj, N
i) = 0.
Thus the above short sequence remains exact after applying the functor frei. Since (evai,frei) is an
adjoint pair by Corollary 5.19, we have an isomorphism
Ext1
Rep-R(N, frei(N
i))
=Ext1
Mod-Ri(evai(N), N
i)
by Lemma 9.1. Now by an argument similar to the one obtaining Proposition 9.9, one can show
that ((Rep-R)GI,Ψ(GI)) is a cotorsion pair in Rep-R. Moreover, note that the family GIis
compatible with respect to Rby Lemma 11.10. By an argument similar to the one obtaining
Proposition 10.5, one can show that the cotortion pair is complete and hereditary.
11.12 Remark. The above result is not a special case of the dual version of Proposition 10.5,
though it is proved in a similar way. Indeed, even if Ris flat, the I-diagram Rof module categories
is not exact in general, that is, Rα= HomRi(Rj,) might not be exact for every α:ijMor(I).
The key point we used here is that Ext1
Ri(Rj, Ni) = 0 for each α:ijMor(I) and each
Gorenstein injective right Ri-module Ni; see [63, Corollary 5.9].
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 73
11.13 Proposition. Suppose that Iis the free category associated to a left rooted quiver, and R
is flat and satisfies condition (a) or (b) in Lemma 11.10. Then there is a hereditary Hovey triple
(Rep-R,(Rep-R)GI,Ψ(GI))
on Rep-R.
Proof. Note that (Mod-Ri,GI(Mod-Ri),GI(Mod-Ri)) is a hereditary Hovey triple on Mod-Ri;
see [62, Page 31]. By Lemmas 11.8 and 11.10, both families Injand GIare compatible with respect
to R. The conclusion then follows by an argument similar to the one obtaining Theorem 10.9; here
we do not assume that Rα= HomRi(Rj,) is exact.
We recall the following definition from Auslander and Buchweitz [4] .
11.14 Definition. Let Ybe a subcategory of an abelian category A. A subcategory Vof Yis called
agenerator for Yif for each object YYthere exists a short exact sequence 0 YVY0
with VVand YY. Dually, Vis a cogenerator for Yif there exists a short exact sequence
0YVY0 with VVand YY.
11.15 Lemma. Suppose that Iis the free category associated to a left rooted quiver, and Ris flat
and satisfies condition (a) or (b) in Lemma 11.10. Then Ψ(Inj)is a generator for Ψ(GI).
Proof. Take an object Nin Ψ(GI). Since ((Rep-R)GI,Ψ(GI)) is a complete cotorsion pair in
Rep-Rby Proposition 11.11, there exists a short exact sequence 0 NEN0 in Rep-R
with E(Rep-R)GIΨ(GI) and NΨ(GI). We finish the proof by showing EΨ(Inj).
Indeed, by Proposition 11.13 and Corollary 7.23, one has
(Rep-R)GIΨ(GI) = Inj(Rep-R) = Ψ(Inj).
This finishes the proof.
Now we are ready to characterize Gorenstein injective objects in Rep-Rfor certain special dia-
grams of module categories.
11.16 Theorem. Suppose that Iis the free category associated to a left rooted quiver, and Ris
flat and satisfies the condition (a) or (b) in Lemma 11.10. Then GI(Rep-R) = Ψ(GI).
Proof. The inclusion GI(Rep-R)Ψ(GI) holds by Lemma 11.9. For the other inclusion, we take
an object NΨ(GI) and show that NGI(Rep-R).
Since Inj(Rep-R) is a generator for Ψ(GI) by Corollary 7.23 and Lemma 11.15, there exists a short
exact sequence 0 N1I1N0 in Rep-Rwith I1Inj(Rep-R) and N1Ψ(GI). For
any injective object Ein Rep-R, since the family Injis compatible with respect to Rby Lemma
11.8, we conclude by the dual version of Lemma 10.6 that E(Rep-R)Inj(Rep-R)GI. Thus
by Proposition 11.11, Ext1
Rep-R(E, N 1) = 0, so the above short exact sequence remains exact after
applying the functor HomRep-R(E, ). Continuing this process for N1, eventually one gets an
exact sequence
· · · I2I1N0 ()
in Rep-Rwith IjInj(Rep-R) for all integers j < 0 such that the sequence () remains exact after
applying the functor HomRep-R(E, ).
On the other hand, since Rep-Rhas enough injectives by Proposition 5.20, we get an exact
sequence
0NI0I1 · · · ()
in Rep-Rwith IjInj(Rep-R) for all integers j0. By Proposition 11.11 again, Ψ(GI) is closed
under taking cokernels of monomorphisms, so all cokernels of the sequence () belong to Ψ(GI)
by noting that each IjΨ(Inj) and Ψ(Inj)Ψ(GI). Using the same argument as above, we
conclude that the sequence () remains exact after applying the functor HomRep-R(E, ).
74 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
Assembling the sequences () and (), we deduce that NGI(Rep-R), as desired.
11.17 Remark. The above theorem generalizes [24, Theorem 3.5.1] by Eshraghi, Hafezi and
Salarian, where they proved the same result for the trivial diagram.
As an immediate consequence of Proposition 11.11 and Theorem 11.16, we have:
11.18 Corollary. Suppose that Iis the free category associated to a left rooted quiver, and R
is flat and satisfies the condition (a) or (b) in Lemma 11.10. Then ((Rep-R)GI,GI(Rep-R)) is a
complete and hereditary cotorsion pair in Rep-R.
The following result gives a Grenstein injective model structure on Rep-R.
11.19 Corollary. Suppose that Iis the free category associated to a left rooted quiver, and Ris
flat and satisfies the condition (a) or (b) in Lemma 11.10. Then there is a hereditary Hovey triple
(Rep-R,GI(Rep-R),GI(Rep-R))
on Rep-R.
Proof. By Propositin 11.13, there exists a hereditary Hovey triple
(Rep-R,(Rep-R)GI,Ψ(GI))
on Rep-R. The conclusion then follows from Theorem 11.16 and Corollary 11.18.
11.3. Gorenstein flat model structures. In this subsection we consider Gorenstein flat objects
in R-Rep, which have certain special flat property with respect to the categorical tensor product
introduced previously, and construct Gorenstein flat model structures on R-Rep.
Enochs, Jenda and Torrecillas introduced in [23] the notion of Gorenstein flat modules over asso-
ciative rings. Projectively coresolved Gorenstein flat modules over associative rings were introduced
by ˇ
Saroch and ˇ
St’ov´ıˇcek in [62]. We extend them to representations over diagrams.
11.20 Definition. An object Min R-Rep is called Gorenstein flat if there is an exact sequence
F:· · · F1F0F1 · · ·
in R-Rep where Fjis flat for every jZsuch that M
=ker (F0F1) and the sequence remains
exact after applying the functor ERfor every injective object Ein Rep-R.
Similarly, one can define projectively coresolved Gorenstein flat representations when flat repre-
sentations in the above exact sequence are replaced by projective representations.
We introduce a few more notations. Denote by
GF(Ri-Mod) the subcategory of Gorenstein flat objects in Ri-Mod;
PGF(Ri-Mod) the subcategory of projectively coresolved Gorenstein flat objects in Ri-Mod;
GFthe family {GF(Ri-Mod)}iOb(I)of subcategories of Ri-Mod;
PGFthe family {PGF(Ri-Mod)}iOb(I)of subcategories of Ri-Mod;
PGF
the family {PGF(Ri-Mod)}iOb(I)of subcategories of Ri-Mod;
GF(R-Rep) the subcategory of R-Rep consisting of Gorenstein flat objects;
PGF(R-Rep) the subcategory of R-Rep consisting of projectively coresolved Gorenstein flat
objects.
Recall that an object Miin Ri-Mod is called cotorsion if Ext1
Ri(Fi, Mi) = 0 for any flat object
Fiin Ri-Mod. Similarly, one can define cotorsion objects in R-Rep. Denote by
Cot(Ri-Mod) the subcategory of cotorsion objects in Ri-Mod;
Cotthe family {Cot(Ri-Mod)}iOb(I)of subcategories of Ri-Mod;
Cot(R-Rep) the subcategory of R-Rep consisting of cotorsion objects.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 75
In the following lemma we collect some elementary properties of Gorenstein flat objects in R-Rep,
which are quite similar to those of Gorenstein injective objects in Rep-R; see Lemma 11.9.
11.21 Lemma. Suppose that Iis the free category associated to a left rooted quiver Q, and Ris
flat. Let Mbe an Gorenstein flat object in R-Rep. Then for any iOb(I), one has:
(a) φM
i:`θQ1(,i)(RiRs(θ)Ms(θ))Miis a monomorphism, and
(b) coki(M) = coker(φM
i)is Gorenstein flat in Ri-Mod.
That is, GF(R-Rep)Φ(GF).
Proof. Fix an object iOb(I) and consider the exact sequence Fof flat objects in Definition
11.20. For all integers j, since FjΦ(Flat) by Theorem 11.5, there is a short exact sequence
0a
θQ1(,i)
(RiRs(θ)Fj
s(θ))Fj
icoki(Fj)0
in Ri-Mod with coki(Fj) flat. For any arrow θQ1(, i), we have an exact sequence
Fs(θ):· · · F1
s(θ)F0
s(θ)F1
s(θ) · · ·
in Rs(θ). Since Riis flat in Mod-Rs(θ)as Ris flat, the sequence RiRs(θ)Fs(θ)is exact. This implies
that the sequence `θPi(,i)(RiRs(θ)Fs(θ)) is exact. Consequently, we obtain the commutative
diagram
.
.
.
.
.
.
.
.
.
0//`θQ1(,i)(RiRs(θ)F1
s(θ))
//F1
i
//coki(F1)
//0
0//`θQ1(,i)(RiRs(θ)F0
s(θ))
//F0
i
//coki(F0)
//0
0//`θQ1(,i)(RiRs(θ)F1
s(θ))
//F1
i
//coki(F1)
//0
.
.
..
.
..
.
.
with exact rows and columns, which induces the short exact sequence
0a
θQ1(,i)
(RiRs(θ)Ms(θ))φM
i
Micoki(M)0.
Therefore, to complete the proof, it remains to show that coki(M) is Gorenstein flat in Ri-Mod,
that is, the sequence IiRicoki(F) is exact for any injective object Iiin Mod-Ri.
For any injective object ERep-R, the sequence HomRep-R(E, F+) is exact as
HomRep-R(E, F+)
=(ERF)+
by Lemma 11.1. By an argument similar to the one used in the proof of Lemma 11.9, we con-
clude that the sequence HomRi(Ii,keri(F+)) is exact. Now the conclusion follows from the above
isomorphism and the observation that keri(F+) is exactly coki(F)+.
11.22 Lemma. If Ris flat, then the families GFand PGFare compatible with respect to R.
76 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
Proof. We only deal with GFas the argument also works for PGFwith small modifications. Since
Ris flat, Rjis flat in Ri-Mod for any α:ijMor(I). By [10, Ascent table II(a)], RjRiGi
is Gorenstein flat in Rj-Mod for any Gorenstein flat object Giin Ri-Mod. Thus the family GFis
compatible with respect to R.
By [62, Corollary 4.12], (GF(Ri-Mod),GF(Ri-Mod)) is a complete and hereditary cotorsion
pair in Ri-Mod for iOb(I). Moreover, by [62, Theorem 4.9], (PGF(Ri-Mod),PGF(Ri-Mod)) is
another complete and hereditary cotorsion pair in Ri-Mod. Thus by Lemma 11.22 and Proposition
10.5, we obtain the following result.
11.23 Proposition. Suppose that Iis the free category associated to a left rooted quiver and R
is flat. Then:
(a) (Φ(GF),R-RepGF
)is a complete and hereditary cotorsion pair in R-Rep.
(b) (Φ(PGF),R-RepPGF
)is a complete and hereditary cotorsion pair in R-Rep.
The complete hereditary cotorsion pairs in the above proposition induce two hereditary Hovey
triples. Explicitly, one has:
11.24 Proposition. Suppose that Iis the free category associated to a left rooted quiver and R
is flat. Then there exist hereditary Hovey triples
(Φ(GF),R-RepPGF
,R-RepCot)and (Φ(PGF),R-RepPGF
,R-Rep)
on R-Rep.
Proof. There are two hereditary Hovey triples
(GF(Ri-Mod),PGF(Ri-Mod),Cot(Ri-Mod)) and (PGF(Ri-Mod),PGF(Ri-Mod), Ri-Mod)
on Ri-Mod; see [62, Page 27]. Moreover, the families GF,PGFand Projare compatible with
respect to Rby Lemmas 11.22 and 11.8, and clearly Flatis also compatible with respect to R.
Thus by Theorem 10.9, we obtain the desired hereditary Hovey triples on R-Rep.
Next we show that under some conditions the subcategories Cot(R-Rep) and R-RepCotcoincide.
11.25 Proposition. Suppose that Iis the free category associated to a left rooted quiver Q, and
Ris flat. Then Cot(R-Rep) = R-RepCot.
Proof. Since (Flat(Ri-Mod),Cot(Ri-Mod)) is a cotorsion pair in Ri-Mod for each iOb(I), it
follows from Proposition 9.9 that (Φ(Flat),R-RepCot) is a cotorsion pair in R-Rep. On the other
hand, note that the notion of flat objects given in Definition 11.2 is indeed the categorical flat objects
in R-Rep; see [52]. It follows that (Flat(R-Rep),Cot(R-Rep)) is also a cotorsion pair in R-Rep.
However, by Theorem 11.5, we have Flat(R-Rep) = Φ(Flat), so Cot(R-Rep) = R-RepCot.
The next result will be applied in the proof of Theorem 11.28.
11.26 Lemma. Suppose that Iis the free category associated to a left rooted quiver and Ris flat.
Then the following statements hold.
(a) Φ(Flat)is a cogenerator for Φ(GF).
(b) Φ(Proj)is a cogenerator for Φ(PGF).
Proof. We only prove the statement (a); the statement (b) is proved similarly.
Let Mbe an object in Φ(GF). Since (Φ(GF),R-RepGF
) is a complete cotorsion pair in R-Rep
by Proposition 11.23(a), there exists a short exact sequence 0 MFM0 in R-Rep
with FΦ(GF)R-RepGF
and MΦ(GF). Thus it is enough to show FΦ(Flat).
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 77
By Proposition 11.24, (Φ(GF),R-RepPGF
,R-RepCot) is a Hovey triple on R-Rep, so the pair
(Φ(GF),R-RepPGF
R-RepCot) is a cotorsion pair. Thus by Proposition 11.23(a), we have
R-RepGF
=R-RepPGF
R-RepCot.
We also have Φ(GF)R-RepPGF
=Flat(R-Rep) since (Flat(R-Rep),Cot(R-Rep)) is a cotorsion
pair in R-Rep and Cot(R-Rep) = R-RepCotby Proposition 11.25. It follows immediately that
Φ(GF)R-RepGF
=Φ(GF)R-RepPGF
R-RepCotFlat(R-Rep).
However, by Theorem 11.5, Flat(R-Rep) = Φ(Flat), so Φ(GF)R-RepGF
Φ(Flat).Thus we
have FΦ(Flat).
According to [39, Theorem 3.6], if Miis Gorenstein flat in Ri-Mod, then M+
iis Gorenstein
injective in Mod-Ri. The converse statement holds true whenever Riis right coherent. Relying on
this fact, one can prove the following result by an argument similar to the one used in the proof of
Lemma 11.4.
11.27 Lemma. Suppose that Iis a partially ordered category and let Mbe an object in R-Rep.
If Mis contained in Φ(GF), then M+is contained in Ψ(GI). Furthermore, the converse statement
holds if Riis right coherent for every iOb(I).
Now we can give characterizations of Gorenstein flat objects and projectively coresolved Goren-
stein flat objects in R-Rep for some special kind of diagrams Rof module categories.
11.28 Theorem. Suppose that Iis the free category associated to a left rooted quiver, and Ris
flat and satisfies condition (a) or (b) in Lemma 11.10. Then
GF(R-Rep) = Φ(GF)and PGF(R-Rep) = Φ(PGF).
Proof. We only show the first equality since the second one can be proved similarly. Lemma 11.21
tells us that GF(R-Rep)Φ(GF), so we only need to show the other inclusion.
Take an object MΦ(GF). By Theorem 11.5 and Lemma 11.26(a), Φ(Flat) = Flat(R-Rep) is
a cogenerator for Φ(GF), so there is a short exact sequence 0 MF0M10 in R-Rep
with F0Flat(R-Rep) and M1Φ(GF), which induces a short exact sequence
0(M1)+(F0)+M+0
in Rep-R. By Lemma 11.27, (M1)+is contained in Ψ(GI). Therefore, by Theorem 11.16, (M1)+is
Gorenstein injective in Rep-R, and hence the sequence
0HomRep-R(E, (M1)+)HomRep-R(E, (F0)+)HomRep-R(E, M +)0
is exact for any injective object ERep-R. It follows from Lemma 11.1 that the sequence
0ERMERF0ERM10
is also exact. Replacing Mby M1, recursively one gets an exact sequence
0MF0F1 · · · ()
in R-Rep with FjFlat(R-Rep) for all integers j0 such that the sequence () remains exact
after applying the functor ER.
On the other hand, note that R-Rep has enough projectives by Proposition 5.9, so there exists
an exact sequence
· · · F2F1M0 ()
in R-Rep with FjProj(R-Rep)Flat(R-Rep) for all integers j < 0. Since Φ(GF) is closed
under taking kernels of epimorphisms by Proposition 11.23, all kernels of the sequence () belong
78 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
to Φ(GF) by noting that each FjΦ(Flat) and Φ(Flat)Φ(GF) clearly. Using a similar
argument as before we get that the sequence () remains exact after applying the functor ER.
Assembling the sequences () and (), we deduce that Mis in GF(R-Rep), as desired.
11.29 Remark. Theorem 11.28 was first proved by Di, Estrada, Liang and Odaba¸ in [13, Theo-
rem A and Theorem 3.13] for the trivial diagram.
As an immediate consequence of Proposition 11.23 and Theorem 11.28, we have:
11.30 Corollary. Suppose that Iis the free category associated to a left rooted quiver, and
Ris flat satisfying condition (a) or (b) in Lemma 11.10. Then (GF(R-Rep),R-RepGF
)and
(PGF(R-Rep),R-RepPGF
)are complete and hereditary cotorsion pairs in R-Rep.
We end this section with the following result which provides a Gorenstein flat model structure
on R-Rep.
11.31 Corollary. Suppose that Iis the free category associated to a left rooted quiver, and Ris
flat satisfying condition (a) or (b) in Lemma 11.10. Then there is a hereditary Hovey triple
(GF(R-Rep),PGF(R-Rep),Cot(R-Rep))
on R-Rep.
Proof. By Proposition 11.24, there is a hereditary Hovey triple (Φ(GF),R-RepPGF
,R-RepCot) on
R-Rep. However, note that Φ(GF) = GF(R-Rep) by Theorem 11.28, R-RepPGF
=PGF(R-Rep)
by Corollary 11.30 and R-RepCot=Cot(R-Rep) by Proposition 11.25. The conclusion follows.
11.32 Remark. Corollary 11.31 was first proved by Di, Estrada, Liang and Odaba¸ in [13, The-
orem C] for the trivial diagram.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 79
Appendix A: Diagrams of small preadditive categories
We have claimed that all relevant results in Section 4 can extend from I-diagrams of associative
rings to I-diagrams of small preadditive categories. In this appendix we mainly show that an I-
diagram Rof small preadditive categories induces two diagrams R:IAB and R:IAB. The
processes become a bit more complicated (but not very difficult) in this more general case. For the
reader’s convenience, we recall some necessary definitions and results appeared in [26, Section 2].
A.1 Modules over small preadditive categories. Let Sbe a small preadditive category. Recall
that a left (resp., right)S-module Mis an additive functor M:SAb (resp., M:Sop Ab), and
a homomorphism φ:MNof left S-modules is a natural transformation consisting of a family
{φ(s) : M(s)N(s)}sOb(S)of homomorphisms of abelian groups such that the square
M(s)φ(s)
//
M(α)
N(s)
N(α)
M(t)φ(t)
//N(t)
commutes for any morphism α:stin Mor(S). Similarly, one can give the definition of ho-
momorphisms of right S-modules. Denote by (S, Ab) (resp., (Sop,Ab)) the category of left (resp.,
right) S-modules.
The following result is well-known.
A.2 Lemma. Let Sbe a small preadditive category. Then the category (S, Ab) (resp., (Sop ,Ab)) of
left (resp., right)S-modules is a Grothendieck category with a family of small projective generators.
A.3 Tensor product of small preadditive categories. Let Sand Tbe small preadditive
categories. Recall that the tensor product STis defined as follows:
Ob(ST) = Ob(S)×Ob(T);
given two objects (s1, t1) and (s2, t2) in Ob(ST),
HomST((s1, t1),(s2, t2)) = HomS(s1, s2)ZHomT(t1, t2);
composition of morphisms in STis defined by
(f1g1)(f2g2) = (f1f2)(g1g2).
By properties of tensor products of abelian groups, it is not difficult to verify that STis a
small preadditive category, and the operation to form tensor products is associative.
A.4 Bimodules. Recall that a (T , S)-bimodule Mis an additive functor M:Sop TAb.For
example, HomS(,): Sop SAb is an (S, S )-bimodule.
Given a (T, S )-bimodule M:Sop TAb, one obtains a right S-module M(, t): Sop Ab
for any tOb(T) and a left T-module M(s, ) : TAb for any sOb(S). In particular, given
an additive functor φ:ST, one obtains a (T , S)-bimodule HomT(φ(),): Sop TAb.
A.5 Tensor product of modules. Let Mbe right S-module and Na left S-module. The tensor
product of Mand Nis defined as
MSN=
M
sOb(S)
M(s)ZN(s)
/,
where is the subgroup generated by elements of the form M(α)(x)yxN(α)(y) with
α:abMor(S), xM(b) and yN(a).
80 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
Given homomorphisms φ:MMin (Sop,Ab) and ψ:NNin (S, Ab), the homomorphism
φSψ:MSNMSN
of abelian groups is defined as the morphism induced on the quotient by the diagonal morphism
M
sOb(S)
φ(s)Zψ(s): M
sOb(S)
M(s)ZN(s)M
sOb(S)
M(s)ZN(s).
The following well known result gives some natural properties of tensor products of modules; see
for instance [26, Lemma 2.7].
A.6 Lemma. Let Sbe a small preadditive category. Then the following statements hold.
(a) The tensor product −⊗S: (Sop ,Ab)×(S, Ab)Ab commutes with colimits in both variables.
(b) HomS(, s)SM
=M(s)for all sOb(S)and all left S-modules M.
(c) NSHomS(s, )
=N(s)for all sOb(S)and all right S-modules N.
A.7 Tensor product of bimodules. Let S,Tand Ube small preadditive categories. Following
[26, Definition 2.9], one defines a bifunctor
T: (Top U, Ab)×(Sop T, Ab)(Sop U, Ab)
as follows:
Given a (U, T )-bimodule Mand a (T , S)-bimodule N, define MTN:Sop UAb via
letting (MTN)(s, u) = M(, u)TN(s, ) for uOb(U) and sOb(S).
Given morphisms α:s1s2Mor(Sop) and β:u1u2Mor(U),
(MTN)(αβ): (MTN)(s1, u1) (MTN)(s2, u2)
is defined as the tensor product over Tof the two morphisms Mβ:M(, u1)M(, u2)
of right T-modules and Nα:N(s1,)N(s2,) of left T-modules.
Given homomorphisms φ:MMof (U, T )-bimodules and ψ:NNof (T , S)-
bimodules, the homomorphism φψ:MTMNTNof (U, S)-bimodules is defined
as (φψ)(s, u) = φ(, u)ψ(s, ).
It is routine to verify that the above definition indeed gives a bifunctor. Furthermore, the
following result [26, Lemma 2.10] shows that the tensor product of bimodules is associative.
A.8 Lemma. Let S,T,Uand Vbe small preadditive categories, and let M:Top SAb,
N:Uop TAb and K:Vop UAb be bimodules. Then there is a natural isomorphism
MT(NUK)(MTN)UK
of (S, V )-bimodules such that the component (MT(NUK))(v, s)((MTN)UK)(v, s)
with sOb(S)and vOb(V)is determined by the assignment l(hk)7→ (lh)kfor
lM(t, s),hN(u, t)and kK(v, u).
A.9 Change of base. Let φ:STbe an additive functor between small preadditive categories.
Recall from [26, Subsection 2.3] that the restriction of scalars along φis the functor
φ= ( φ): (T , Ab)(S, Ab)
which is defined by composing a functor N:TAb with φto obtain a functor
φ(N) = Nφ:SAb.
The extension of scalars along φis the functor
φ!= HomT(φ(),)S: (S, Ab)(T, Ab)
which is the tensor product over Sby the (T, S )-bimodule HomT(φ(),).
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 81
The extension φ!of scalars is the left adjoint of the restriction φof scalars, and we say that the
adjunction (φ!, φ) is the change of base adjunction along φ. It is clear that φis exact and φ!is
only right exact in general.
Given additive functors φ:STand ψ:TUbetween small preadditive categories, it is
easy to check that φψ= (ψφ), so we obtain a natural isomorphism ψ!φ!
=(ψφ)!, whose
explicit description is given in the proof of the following lemma ([26, Lemma 2.15]).
A.10 Lemma. Let φ:STand ψ:TUbe two additive functors between small preadditive
categories. Then there exists a natural isomorphism
ζψ,φ : HomU(ψ(),)T(HomT(φ(),)S) HomU(ψ(φ()),)S.
Proof. For any left S-module M, define
ζψ,φ(M) : HomU(ψ(),)T(HomT(φ(),)SM) HomU(ψ(φ()),)SM
by composing the natural isomorphism
HomU(ψ(),)T(HomT(φ(),)SM) (HomU(ψ(),)THomT(φ(),)) SM
described in Lemma A.8 with the natural isomorphism
HomU(ψ(), u)THomT(φ(s),)
HomU(ψ(φ(s)), u),
determined by the assignment
(ψ(t)g
u)(φ(s)f
t)7− (ψ(φ(s)) gψ(f)
u)
with tOb(T), sOb(S) and uOb(U). More explicitly, the map ζψ,φ(M) is defined by the
assignments
(ψ(t)g
u)((φ(s)f
t)m)7− (ψ(φ(s)) gψ(f)
u)m,
and the inverse map ζ1
ψ,φ(M) is defined by the assignement
(ψ(φ(s)) h
u)m7− h(idφ(s)m)
for all mM.
Now we show that an I-diagram Rof small preadditive categories induces a diagram (R, η, τ ) :
IAB of abelian categories.
A.11 Example. Let (R, η, τ ) be an I-diagram of small preadditive categories. Define (R, η, τ ) :
IAB as follows:
For iOb(I), set Rito be the abelian category (Ri,Ab).
For α:ijin Mor(I), set Rαto be the functor
(Rα)!= HomRj(Rα(),)Ri: (Ri,Ab)(Rj,Ab).
Fix a left Ri-module M(Ri,Ab). Note that for aOb(Ri), there exists an isomorphism
θa:M(a)HomRi(, a)RiM= HomRi(idRi(), a)RiM
of abelian groups by Lemma A.6(b). This yields a natural isomorphism
θ:MHomRi(idRi(),)RiM
of left Ri-modules. On the other hand, since ηi: idRiReiis a natural isomorphism by
Definition 1.1, there exists an isomorphism
HomRi(η1
i(), a)RiidM: HomRi(idRi(), a)RiMHomRi(Rei(), a)RiM
of abelian groups, which yields a natural isomorphism
HomRi(η1
i(),)RiidM: HomRi(idRi(),)RiMHomRi(Rei(),)RiM
82 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
of left Ri-modules. Consequently, one gets a natural isomorphism
(HomRi(η1
i(),)RiidM)θ:MHomRi(Rei(),)RiM
of left Ri-modules, which is defined to be ηi(M). In this way we obtain
ηi: id(Ri,Ab)
(Rei)!=Rei.
For any pair of composable morphisms α:ijand β:jkin Mor(I), by Lemma A.10,
there exists a natural isomorphism
ζRβ,Rα: (Rβ)!(Rα)!= HomRk(Rβ(),)Rj(HomRj(Rα(),)Ri)
(RβRα)!= HomRk(Rβ(Rα()),)Ri;
see the proof of Lemma A.10 for details. On the other hand, since τβ,α :RβRαRβα
is a natural isomorphism by Definition 1.1, there exists a natural isomorphism
(τ1
β,α)!: (RβRα)!(Rβα)!= HomRk(Rβα(),)Ri.
Thus one obtains a natural isomorphism
(τ1
β,α)!ζRβ,Rα:RβRαRβα
which is defined to be τβ,α .
In the rest of this appendix, for any pair of composable morphisms αand βin Mor(I), denote
the natural isomorphism ζRβ,Rαby ζβ,α for brevity.
A.12 Rsatisfies the axioms (Dia.1) and (Dia.2). We prove that (R, η, τ ) defined above does
satisfy the axioms (Dia.1) and (Dia.2) in Definition 1.1, so it is indeed an I-diagram of abelian
categories. Furthermore, it is right exact since Rα= HomRj(Rα(),)Riis a right exact
functor for all αMor(I).
For the axiom (Dia.1), let iα
jβ
kγ
lbe three composable morphisms in Mor(I). We claim
that the natural transformation
(τ1
γ,β idRα)!: (RγRβRα)!= HomRl(Rγ(Rβ(Rα())),)Ri
(RγβRα)!= HomRl(Rγβ(Rα()),)Ri
between two functors from (Ri,Ab) to (Rl,Ab) (see A.9) can be explicitly described as
ζγβ ((τ1
γ,β )!id(Rα)!)(ζγ id(Rα)!)(id(Rγ)!ζ1
β,α)(id(Rγ)!(τβ,α)!)ζ1
γ,βα (idRγτ1
β,α)!,
which is equivalent to the equality
(τ1
γ,β idRα)!(M)(b) = ζγβ,α (M)(b)((τ1
γ,β )!id(Rα)!)(M)(b)(ζγ,β id(Rα)!)(M)(b)
(id(Rγ)!ζ1
β,α)(M)(b)(id(Rγ)!(τβ,α)!)(M)(b)ζ1
γ,βα(M)(b)(idRγτ1
β,α)!(M)(b)
for M(Ri,Ab) and bOb(Rl), since the naturality holds clearly. Note that both are maps from
M
aOb(Ri)
HomRl(Rγ(Rβ(Rα(a))), b)ZM(a)
/
to the abelian group
M
aOb(Ri)
HomRl(Rγβ(Rα(a)), b)ZM(a)
/;
see A.5. Thus we only need to show that they send the image in the quotient of any object fm
with fHomRl(Rγ(Rβ(Rα(a))), b) and mM(a) to the same target.
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 83
On one hand, we have
[(τ1
γ,β idRα)!(M)(b)](fm) = (fτ1
γ,β (Rα(a))) m.
On the other hand, by the definitions of Godement products (see Definition 1.0.1), ζ1
,(M) and
ζ,(M) (see the proof of Lemma A.10), one has the following equalities
{ζγβ(M)(b)((τ1
γ,β )!id(Rα)!)(M)(b)(ζγ id(Rα)!)(M)(b)(id(Rγ)!ζ1
β,α)(M)(b)
(id(Rγ)!(τβ,α)!)(M)(b)ζ1
γ,βα(M)(b)}[((idRγτ1
β,α)!(M)(b))(fm)]
={ζγβ(M)(b)((τ1
γ,β )!id(Rα)!)(M)(b)(ζγ,β id(Rα)!)(M)(b)(id(Rγ)!ζ1
β,α)(M)(b)
(id(Rγ)!(τβ,α)!)(M)(b)}[(ζ1
γ,βα(M)(b))((fRγ(τ1
β,α(a))) m)]
={ζγβ(M)(b)((τ1
γ,β )!id(Rα)!)(M)(b)(ζγ,β id(Rα)!)(M)(b)(id(Rγ)!ζ1
β,α)(M)(b)}
[((id(Rγ)!(τβ,α)!)(M)(b))((fRγ(τ1
β,α(a))) (idRβα (a)m))]
={ζγβ(M)(b)((τ1
γ,β )!id(Rα)!)(M)(b)(ζγ,β id(Rα)!)(M)(b)}[((id(Rγ)!ζ1
β,α)(M)(b))
((fRγ(τ1
β,α(a))) ((idRβα (a)τβ,α(a)) m))]
={ζγβ(M)(b)((τ1
γ,β )!id(Rα)!)(M)(b)}[((ζγ,β id(Rα)!)(M)(b))
((f(Rγ(τ1
β,α(a)))) ((idRβα (a)τβ,α(a)) (idRα(a)m)))]
={ζγβ(M)(b)}[((τ1
γ,β )!id(Rα)!)(M)(b)((fRγ(τ1
β,α (a)) Rγ(τβ,α (a))) (idRα(a)m))]
={ζγβ(M)(b)}[((τ1
γ,β )!id(Rα)!)(M)(b)(f(idRα(a)m))]
= (ζγβ(M)(b))((fτ1
γ,β (Rα(a))) (idRα(a)m))
= (fτ1
γ,β (Rα(a)) Rγ β (idRα(a))) m
= (fτ1
γ,β (Rα(a))) m.
Thus the above two maps are identical, and we have the following equalities
τγ,βα (idRγτβ,α )
=τγ,βα (id(Rγ)!τβ,α)
= (τ1
γ,βα)!ζγ ,βα (id(Rγ)!((τ1
β,α)!ζβ,α ))
= ((idRγτβ,α)(τ1
γ,β idRα)τ1
γβ)!ζγ ,βα (id(Rγ)!((τ1
β,α )!ζβ,α ))
= (τ1
γβ)!(τ1
γ,β idRα)!(idRγτβ)!ζγ ,βα (id(Rγ)!((τ1
β,α)!ζβ,α ))
= (τ1
γβ)!(τ1
γ,β idRα)!(idRγτβ)!ζγ ,βα (id(Rγ)!(τ1
β,α)!)(id(Rγ)!ζβ,α )
= (τ1
γβ)!ζγ β,α ((τ1
γ,β )!id(Rα)!)(ζγ,β id(Rα)!)(id(Rγ)!ζ1
β,α)(id(Rγ)!(τβ,α )!)ζ1
γ,βα
(idRγτ1
β,α)!(idRγτβ,α)!ζγ,β α (id(Rγ)!(τ1
β,α)!)(id(Rγ)!ζβ,α)
= (τ1
γβ)!ζγ β,α ((τ1
γ,β )!id(Rα)!)(ζγ,β id(Rα)!)
= (τ1
γβ)!ζγ β,α (((τ1
γ,β )!ζγ )) id(Rα)!)
=τγβ (τγ,β id(Rα)!)
=τγβ (τγ,β idRα),
where the first holds by the definition of Rγ, the second holds by the definitions of τγ,βα and τβ ,
the third holds by the axiom (Dia.1) in Definition 1.1, the fifth and eighth hold by Lemma 1.10,
the sixth equality holds by the identity we just established, the ninth holds by the definitions of
τγβ and τγ,β , and the last one holds by the definition of Rα. Thus Rsatisfies the axioms (Dia.1).
84 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
For the axiom (Dia.2), take iα
jMor(I). We want to show
idRα=τα,ei(idRαηi) = (ηjidRα)τej,
where Rα= (Rα)!= HomRj(Rα(),)Riis a functor (Ri,Ab)(Rj,Ab); see Example A.11
for details. We prove the first identity as the second one can be established in a similar way. It
suffices to show (τα,ei(id(Rα)!ηi))(M)(c), an endomorphism of the abelian group
M
aOb(Ri)
HomRj(Rα(a), c)ZM(a)
/,
is actually the identity for M(Ri,Ab) and cOb(Rj), that is, it sends the image in the quotient
of fmwith fHomRj(Rα(a), c) and mM(a) to itself. Indeed, one has the following equalities
[(τα,ei(id(Rα)!ηi))(M)(c)](fm)
= [τα,ei(M)(c)(id(Rα)!ηi)(M)(c)](fm)
= [(τ1
α,ei)!(M)(c)ζα,ei(M)(c)(id(Rα)!ηi)(M)(c)](fm)
={(τ1
α,ei)!(M)(c)ζα,ei(M)(c)}[((id(Rα)!ηi)(M)(c))(fm)]
={(τ1
α,ei)!(M)(c)}[(ζα,ei(M)(c))(f(η1
i(a)m))]
= [(τ1
α,ei)!(M)(c)](f(Rα(η1
i(a)m)))
= (fτ1
α,ei(a)Rα(η1
i(a))) m
= (fτ1
α,ei(a)(idRαη1
i)(a)) m
= (fidRα(a)) m
=fm,
where the second holds by the definition of τα,ei(see Example A.11), the fourth holds by the
definitions of Godement product and ηi(see (1.0.1) and Example A.11), the fifth holds by the
definition of ζα,ei(M) (see the proof of Lemma A.10), the seventh holds by (1.0.1), and the eighth
holds by the axiom (Dia.2) in Definition 1.1. Thus Rsatisfies the axiom (Dia.2).
We end this appendix with the following example showing that an I-diagram Rof small pread-
ditive categories also induces a diagram (R, η, τ ) : IAB.
A.13 Example. Let (R, η, τ ) be an I-diagram of small preadditive categories. Define (R, η, τ ) :
IAB as follows:
For iOb(I), set Ri= (Rop
i,Ab), the category of right Ri-modules.
For α:ijin Mor(I), since HomRj(Rα(),) is an (Rj, Ri)-bimodule, we set Rαto be
the functor HomRi(HomRj(Rα(),),) : (Rop
i,Ab)(Rop
j,Ab).
For iOb(I), take a right Ri-module Nin (Rop
i,Ab). Since there exists an isomorphism
ξa:N(a)HomRi(HomRi(, a), N ) = HomRi(HomRi(idRi(), a), N )
of abelian groups for all aOb(Ri) by Yoneda’s Lemma, one gets a natural isomorphism
ξ:NHomRi(HomRi(idRi(),), N)
of right Ri-modules. On the other hand, since ηi: idRiReiis a natural isomorphism by
Definition 1.1, there exists an isomorphism
HomRi(HomRi(ηi(), a), N) : HomRi(HomRi(idRi(), a), N)HomRi(HomRi(Rei(), a), N )
of abelian groups, which yields a natural isomorphism
HomRi(HomRi(ηi(),), N) : HomRi(HomRi(idRi(),), N )HomRi(HomRi(Rei(),), N)
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 85
of right Ri-modules. Thus we obtain a natural isomorphism
HomRi(HomRi(ηi(),), N)ξ:NHomRi(HomRi(Rei(),), N )
of right Ri-modules, which is defined to be ηi(N). This gives the definition of
ηi: id(Rop
i,Ab)
HomRi(HomRj(Rei(),),) = Rei.
For a pair of composable morphisms α:ijand β:jkin Mor(I), take a right
Ri-module Nin (Rop
i,Ab). By the adjunction, there exists a natural isomorphism ϑ(N) of
right Rk-modules from HomRj(HomRk(Rβ(),),HomRi(HomRj(Rα(),), N )) to
HomRi(HomRk(Rβ(),)RjHomRj(Rα(),), N).
Since there exists an isomorphism
Rα(): HomRk(Rβ(),)RjHomRj(Rα(),)HomRk(Rβ(Rα()),)
of abelian groups by Lemma A.6(c), one gets a natural isomorphism HomRi(Rα(), N ) of
right Rk-modules from HomRi(HomRk(Rβ(),)RjHomRj(Rα(),), N ) to
HomRi(HomRk(Rβ(Rα()),), N).
On the other hand, note that τβ :RβRαRβα is a natural isomorphism by Defini-
tion 1.1, so there exists a natural isomorphism HomRi(HomRi(τβ,α(),), N ) of right Rk-
modules from HomRi(HomRk(Rβ(Rα()),), N ) to HomRi(HomRk(Rβα(),), N). Thus
one obtains an isomorphism HomRi(HomRi(τβ,α (),), N )HomRi(Rα(), N)ϑ(N) of
right Rk-modules from HomRj(HomRk(Rβ(),),HomRi(HomRj(Rα(),), N )) to
HomRi(HomRk(Rβα(),), N ).
Finally, we get an isomorphism HomRi(HomRi(τβ (),),)HomRi(Rα(),)ϑ()
from the functor RβRα= HomRj(HomRk(Rβ(),),HomRi(HomRj(Rα(),),)) to
the functor Rβα = HomRi(HomRk(Rβα(),),) , which is defined to be τβ,α.
One can show that (R, η, τ ) satisfies the axioms (Dia.1) and (Dia.2). Therefore, it is an I-diagram
of abelian categories. Furthermore, since the functor Rα= HomRi(HomRj(Rα(),),) is clearly
left exact for all αMor(I), the I-diagram (R, η, τ ) is left exact.
Appendix B: Details in proofs
In this appendix, we give details omitted in the proofs.
86 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
B.1 Details in the proof of Proposition 1.11. For case (c) in the proof of Proposition 1.11,
we have:
τβ,α (FβFα) = τβ (idDβFα)
=τβ,α (idDβ((ταnn1◦···◦α1)(idDαnταn1n2◦···◦α1)
· · · (idDαn◦···◦Dα3τα21)))
=τβ,α (
n1
z}| {
(idDβ · · · idDβ)((ταnn1◦···◦α1)(idDαnταn1n2◦···◦α1)
· · · (idDαn◦···◦Dα3τα21)))
=τβ,α (idDβταnn1◦···◦α1)(idDβ(idDαnταn1n2◦···◦α1))
· · · (idDβ(idDαn◦···◦Dα3τα21))
=τβ,α (idDβταnn1◦···◦α1)((idDβidDαn)ταn1n2◦···◦α1)
· · · ((idDβidDαn◦···◦Dα3)τα21))
=τβ,α (idDβταnn1◦···◦α1)(idDβDαnταn1n2◦···◦α1)
· · · (idDβDαn◦···◦Dα3τα21)
=Fβαn◦···◦α1=Fβα,
where the fourth equality holds by Lemma 1.10, and the fifth equality follows from the associativity
of the operation ”.
For case (d), we have:
τβ,α (FβFα)
=τβ,α ((τβm(FβmFβ)) Fα) by case (c)
=τβ,α ((τβm(idDβmFβ)) Fα) by def. of Fβm
=τβ,α ((τβm(idDβmFβ)) (idDαFα))
=τβ,α (τβmidDα)((idDβmFβ)Fα) by Lemma 1.10
=τβ,α (τβmidDα)(idDβm(FβFα)) by associativity of
=τβ,α (τβmidDα)(idDβm(τ1
β Fβα)) by induction assumption
=τβ,α (τβmidDα)((idDβmidDβm)(τ1
β Fβα))
=τβ,α (τβmidDα)(idDβmτ1
β)(idDβmFβα) by Lemma 1.10
=τβ,α (τβmidDα)(idDβmτβ)1(idDβmFβα)
=τβmα(idDβmFβα) by (Dia.1)
=Fβα.by case (c)
B.2 Details in the proof of Theorem 2.6. We check that Cok(ω) is an object in D-Rep. Given
two composable morphisms α:ijand β:jkin Mor(I), we have the following equalities
Cok(ω)βDβ(Cok(ω)α)τ1
β,α(Cok(ω)i)Dβα(πi)
= Cok(ω)βDβ(Cok(ω)α)((DβDα)(πi)) τ1
β,α(M
i)
= Cok(ω)βDβ(πj)Dβ(M
α)τ1
β,α(M
i) by diagram (2.6.1)
=πkM
βDβ(M
α)τ1
β,α(M
i) by diagram (2.6.1)
=πkM
βα by (lRep.1)
= Cok(ω)βα Dβα (πi),by diagram (2.6.1)
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 87
where the first equality holds by the commutative diagram
Dβα(M
i)
τ1
β,α (M
i)
Dβα (πi)
//Dβα(Cok(ω)i)
τ1
β,α (Cok(ω)i)
(DβDα)(M
i)(DβDα)(πi)
//(DβDα)(Cok(ω)i)
induced by applying the natural isomorphism τ1
β,α to the morphism πi. So one has
Cok(ω)βDβ(Cok(ω)α)τ1
β,α(Cok(ω)i) = Cok(ω)βα ,
as Dβα(πi) is an epimorphism. That is, Cok(ω) satisfies the axiom (lRep.1).
For iOb(I), we have the following equalities
Cok(ω)eiηi(Cok(ω)i)πi
= Cok(ω)eiDei(πi)ηi(M
i)
=πiM
eiηi(M
i) by diagram (2.6.1)
=πiidM
iby (lRep.2)
= idCok(ω)iπi,
where the first equality holds by the commutative diagram induced by applying the natural iso-
morphism ηito the morphism πi. Consequently,
Cok(ω)eiηi(Cok(ω)i) = idCok(ω)i,
as πiis an epimorphism, so Cok(ω) satisfies the axiom (lRep.2).
Now we check the equality
M′′
αDα(ρi) = ρjCok(ω)α.()
Note that
M′′
αDα(ρi)Dα(πi) = M′′
αDα(ρiπi)
=M′′
αDα(ǫi) by diagram (2.6.2)
=ǫjM
α
=ρjπjM
αby diagram (2.6.2)
=ρjCok(ω)αDα(πi).by diagram (2.6.1),
Since Dα(πi) is an epimorphism, the desired equality follows.
B.3 Details in the proof of Proposition 3.1. In this subsection we verify that F!constructed
before Proposition 3.1 is indeed a functor by showing that it sends objects to objects and morphisms
to morphisms.
88 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
To verify that F!(N) satisfies the axiom (lRep.1), let α:ijand β:jkbe two composable
morphisms in Mor(I). Then we have
F!(N)βα
=Fk(Nβα)F1
βα (Ni) by def. of F!(N)βα
=Fk(Nβ)Fk(D
β(Nα)) Fk(τ1
β,α(Ni)) F1
βα (Ni) by (lRep.1)
=Fk(Nβ)Fk(D
β(Nα)) Fk(τ1
β,α(Ni)) (idFkτ
β,α)(Ni)
(F1
βidD
α)(Ni)(idDβF1
α)(Ni)(τ1
β,α idFi)(Ni) by (Mor.1)
=Fk(Nβ)Fk(D
β(Nα)) Fk(τ1
β,α(Ni)) idFk(D
βα(Ni)) Fk(τ
β,α(Ni))
F1
β(D
α(Ni)) Dβ(Fj(idD
α(Ni))) idDβ(Fj(D
α(Ni))) Dβ(F1
α(Ni))
τ1
β,α(Fi(Ni)) Fi(idFi(Ni)) by def. of
=Fk(Nβ)Fk(D
β(Nα)) Fk(τ1
β,α(Ni)) Fk(τ
β,α(Ni)) F1
β(D
α(Ni))
Dβ(F1
α(Ni)) τ1
β,α(Fi(Ni))
=Fk(Nβ)Fk(D
β(Nα)) F1
β(D
α(Ni)) Dβ(F1
α(Ni)) τ1
β,α(Fi(Ni))
=Fk(Nβ)F1
β(Nj)Dβ(Fj(Nα)) Dβ(F1
α(Ni)) τ1
β,α(Fi(Ni))
=F!(N)βDβ(Fj(Nα)) Dβ(F1
α(Ni)) τ1
β,α(F!(N)i) by def. of F!(N)β
=F!(N)βDβ(F!(N)α)τ1
β,α(F!(N)i),by def. of F!(N)α
where the seventh equality holds by the commutativity of the diagram induced by applying the
natural isomorphism F1
βto the morphism Nα. Thus, F!(N) satisfies the axiom (lRep.1).
To verify that F!(N) satisfies the axiom (lRep.2), let ibe an object in Ob(I). Then we have
F!(N)eiηi(F!(N)i) = Fi(Nei)F1
ei(Ni)ηi(Fi(Ni)) by def. of F!(N)ei
=Fi(Nei)(idFiη
i)(Ni)(η1
iidFi)(Ni) by (Mor.2)
=Fi(Nei)idFi(D
ei(Ni)) Fi(η
i(Ni)) η1
i(Fi(Ni))
idDi(idFi(Ni)) ηi(Fi(Ni)) by def. of
=Fi(Nei)Fi(η
i(Ni))
=Fi(idNi) by (lRep.2)
=idF!(N)i.by def. of F!(N)i
To verify that F!(ω) is a morphism in D-Rep, we have to show that for any morphism α:i
jMor(I), the diagram
Dα(Fi(Ni)) Dα(Fi(ωi))
//
F!(N)α
Dα(Fi(N
i))
F!(N)α
Fj(Nj)Fj(ωj)
//Fj(N
j)
commutes, that is,
Fj(ωj)F!(N)α=F!(N)αDα(Fi(ωi)).
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 89
Indeed, we have
Fj(ωj)F!(N)α=Fj(ωj)Fj(Nα)F1
α(Ni) by def. of F!(N)α
=Fj(N
α)Fj(D
α(ωj)) F1
α(Ni)
=Fj(N
α)F1
α(N
i)Dα(Fi(ωi))
=F!(N)αDα(Fi(ωi)) by def. of F!(N)α,
where the third equality holds by the commutativity of the diagram induced by applying the natural
isomorphism F1
αto the morphism ωi.
B.4 Details in the proof of Proposition 3.5. Given two composable morphisms α:ijand
β:jkin Mor(I), we get that
U(M)βDβ(U(M)α) = M
βF1
β(M
j)Dβ(M
αF1
α(M
i))
=M
βF1
β(M
j)Dβ(M
α)Dβ(F1
α(M
i))
=M
βD
β(M
α)F1
β(D
α(M
i)) Dβ(F1
α(M
i)) by naturality of F1
β
=M
βα τ
β,α(M
i)F1
β(D
α(M
i)) D
β(F1
α(M
i)) by (lRep.1)
=M
βα τ
β,α(M
i)(F1
βF1
α)(M
i) by def. of F1
βF1
α
=M
βα F1
βα (M
i)τβ,α(M
i) by (Mor.1)
=U(M)βα τβ(M
i)
=U(M)βα τβ(U(M)i).
Thus U(M) satisfies the axiom (lRep.1).
For iOb(I), we have
idU(M)i= idM
i=M
eiη
i(M
i) = M
eiF1
ei(M
i)ηi(M
i) = U(M)eiηi(U(M)i),
where the second equality follows from (lRep.2) and the third equality follows from (Mor.2). Thus
U(M) satisfies the axiom (lRep.2).
For any morphism α:ijin Mor(I), we have that
U(K)αDα(U(δ)i) = K
αF1
α(K
i)Dα(δ
i)
=K
αD
α(δ
i)F1
α(M
i)
=δ
jM
αF1
α(M
i) by ()
=U(δ)jU(M)α.
Thus U(δ) is a morphism from U(M) to U(K).
90 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
B.5 Details in the proof of Theorem 5.4. For the identity (), we have:
G!(N)βDβ(G!(N)α)τ1
β,α(G!(N)i)χβα sβα,θ
θ
=ϑβχ1
βDβ(ϑαχ1
α)τ1
β,α(G!(N)i)χβα sβα,θ
θby def. of G!(N)βand G!(N)α
=ϑβχ1
βDβ(ϑαχ1
α)τ1
β,α(G!(N)i)Dβα(sθ) by (5.2.2)
=ϑβχ1
βDβ(ϑαχ1
α)Dβ(Dα(sθ)) τ1
β,α(Dθ(N))
=ϑβχ1
βDβ(ϑα)Dβ(χ1
α)Dβ(Dα(sθ)) τ1
β,α(Dθ(N))
=ϑβχ1
βDβ(ϑα)Dβ(sα,θ
θ)τ1
β,α(Dθ(N)) by (5.2.2)
=ϑβχ1
βDβ(sαθ)Dβ(τα,θ (N)) τ1
β,α(Dθ(N))
=ϑβχ1
βDβ(sαθ)τ1
β,αθ (N)τβα,θ(N) by (Dia.1)
=ϑβsβ,αθ
αθ τ1
β,αθ (N)τβα,θ (N) by (5.2.2)
=sβαθ τβα,θ(N) by (5.2.1)
=ϑβα sβα,θ
θby (5.2.1)
=G!(N)βα χβα sβ α,θ
θ,by def. of G!(N)βα
where the third equality holds by the commutative diagram induced by applying the natural trans-
formation τ1
β,α to the morphism sθ, and the sixth equality holds by the commutative diagram
induced by applying Dβto (5.2.1). Since χβα is an isomorphism, the universal property of colimits
gives
G!(N)βDβ(G!(N)α)τ1
β,α(G!(N)i) = G!(N)βα.
For the identity (), we have:
G!(N)eiηi(G!(N)i)sθ=ϑeiχ1
eiηi(G!(N)i)sθby def. of G!(N)ei
=ϑeiχ1
eiDei(sθ)ηi(N)
=ϑeisei
θηi(N) by (5.2.2)
=sθτei(N)ηi(N) by (5.2.1)
=sθ,by (Dia.2)
where the second equality holds by the commutative diagram induced by applying the natural
transformation ηito the morphism sθ.
To show the identity (), we have
ωjG!(N)αχαsα,θ
θ=ωjϑαsα,θ
θby def. of G!(N)α
=ωjsαθ τα,θ(N) by (5.2.1)
=s
αθ Dαθ(σ)τα,θ (N) by (5.2.3)
=s
αθ τα,θ(N
)Dα(Dθ(σ))
=ϑ
αs
α,θ Dα(Dθ(σ)) by (5.2.1)
=ϑ
αχ1
αDα(s
θ)Dα(Dθ(σ)) by (5.2.2)
=ϑ
αχ1
αDα(ωi)Dα(sθ)
=ϑ
αχ1
αDα(ωi)χαsα,θ
θby (5.2.1)
=G!(N)αDα(ωi)χαsα,θ
θ,by def. of G!(N)α
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 91
where the fourth equality holds by the commutative diagram induced by applying the natural
transformation τα,θ to the morphism σ, and the seventh equality holds by the commutative diagram
induced by applying Dαto (5.2.3). Since χαis an isomorphism, the desired equality follows from
the universal property of colimits.
For the identity (), we have
G(M)λ(DG)λ(u(ω)i)
=MG(λ)DG(λ)(ωG(i))DG(λ)(seG(i))DG(λ)(ηG(i)(Ni))
=ωG(j)G!(N)G(λ)DG(λ)(seG(i))DG(λ)(ηG(i)(Ni))
=ωG(j)ϑG(λ)χ1
G(λ)DG(λ)(seG(i))DG(λ)(ηG(i)(Ni))
=ωG(j)ϑG(λ)χ1
G(λ)χG(λ)sG(λ),eG(i)
eG(i)DG(λ)(ηG(i)(Ni)) by (5.2.2)
=ωG(j)ϑG(λ)sG(λ),eG(i)
eG(i)DG(λ)(ηG(i)(Ni))
=ωG(j)sG(λ)eG(i)τG(λ),eG(i)(Ni)DG(λ)(ηG(i)(Ni)) by (5.2.1)
=ωG(j)sG(λ)eG(i)τeG(j),G(λ)(Ni)ηG(j)(DG(λ)(Ni)) by (Dia.2)
=ωG(j)sG(λ)τeG(j),G(λ)(Ni)ηG(j)(DG(λ)(Ni))
=ωG(j)seG(j)DeG(j)(Nλ)τ1
eG(j),G(λ)(Ni)τeG(j),G(λ)(Ni)ηG(j)(DG(λ)(Ni))
=ωG(j)seG(j)DeG(j)(Nλ)ηG(j)(DG(λ)(Ni))
=ωG(j)seG(j)DeG(j)(Nλ)τ1
eG(j),G(λ)(Ni) by (Dia.2)
=ωG(j)seG(j)ηG(j)(Nj)η1
G(j)(Nj)DeG(j)(Nλ)τ1
eG(j),G(λ)(Ni)
=ωG(j)seG(j)ηG(j)(Nj)Nλby (lRep.1)
=u(ω)jNλ,
where the first equality holds by the definitions of G(M)λ, (DG)λand u(ω)i, the third holds by
the definition of G!(N)G(λ), and the ninth holds by the definition of cocone.
For the identity (§), we have
v(σ)jG!(N)αχαsα,θ
θ=v(σ)jϑαsα,θ
θ
=v(σ)jsαθ τα,θ(N) by (5.2.1)
=Mαθ Dαθ(σ)τα,θ (N)
=Mαθ τα,θ(G(M))Dα(Dθ(σ))
=MαDα(Mθ)Dα(Dθ(σ)) by (lRep.1)
=MαDα(v(σ)i)Dα(sθ)
=MαDα(v(σ)i)χαsα,θ
θ,by (5.2.2)
where the first equality holds by the definition of G!(N)α, the third holds by (5.4.1), the fourth
holds by the commutative diagram induced by applying the natural transformation τα,θ to the
morphism σ, and the sixth holds by the commutative diagram induced by applying Dαto (5.4.1).
Acknowledgments
We thank Zhongkui Liu and Fei Xu for helpful discussions related to this work. Z. Di was partly
supported by NSF of China Grant No. 11971388; L. Li was partly supported by NSF of China
Grant No. 12171146 and the Hunan Provincial Science and Technology Department Grant No.
2019RS1039; L. Liang was partly supported by NSF of China Grant No. 12271230 and NSF of
92 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
Gansu Province Grant No. 21JR7RA297; N. Yu was partly supported by NSF of China Grant No.
11971396.
References
[1] Jiˇr´ı Ad´amek and Jiˇı Rosick´y, Locally presentable and accessible categories, London Mathematical Society Lecture
Note Series, vol. 189, Cambridge University Press, Cambridge, 1994. MR1294136
[2] Hideto Asashiba, Gluing derived equivalences together, Adv. Math. 235 (2013), 134–160. MR3010054
[3] Maurice Auslander and Mark Bridger, Stable module theory, Memoirs of the American Mathematical Society,
No. 94, American Mathematical Society, Providence, R.I., 1969. MR0269685
[4] Maurice Auslander and Ragnar-Olaf Buchweitz, The homological theory of maximal Cohen-Macaulay approxi-
mations, em. Soc. Math. France (N.S.) (1989), no. 38, 5–37, Colloque en l’honneur de Pierre Samuel (Orsay,
1987). MR1044344
[5] Maurice Auslander and Idun Reiten, Applications of contravariantly finite subcategories, Adv. Math. 86 (1991),
no. 1, 111–152. MR1097029
[6] Jonathan Beardsley and Liang Ze Wong, The enriched Grothendieck construction, Adv. Math. 344 (2019),
234–261. MR3895649
[7] Hanno Becker, Models for singularity categories, Adv. Math. 254 (2014), 187–232. MR3161097
[8] Garrett Birkhoff, Subgroups of Abelian Groups, Proc. London Math. Soc. (2) 38 (1935), 385–401. MR1576323
[9] Francis Borceux, Handbook of categorical algebra. 1, Encyclopedia of Mathematics and its Applications, vol. 50,
Cambridge University Press, Cambridge, 1994, Categories of sheaves. MR1291599
[10] Lars Winther Christensen and Henrik Holm, Ascent properties of Auslander categories, Canad. J. Math. 61
(2009), no. 1, 76–108. MR2488450
[11] Lars Winther Christensen, Fatih oksal, and Li Liang, Gorenstein dimensions of unbounded complexes and
change of base (with an appendix by Driss Bennis), Sci. China Math. 60 (2017), no. 3, 401–420. MR3600932
[12] William Crawley-Boevey, Locally finitely presented additive categories, Comm. Algebra 22 (1994), no. 5, 1641–
1674. MR1264733
[13] Zhenxing Di, Sergio Estrada, Li Liang, and Sinem Odaba¸sı, Gorenstein flat representations of left rooted quivers,
J. Algebra 584 (2021), 180–214. MR4270554
[14] Zhenxing Di, Liping Li, Li Liang, and Fei Xu, Completeness of induced cotorsion pairs in representation categories
of rooted quivers, preprint arXiv:2102.05826 [math.RT].
[15] Vlastimil Dlab and Claus Michael Ringel, On algebras of finite representation type, J. Algebra 33 (1975), 306–394.
MR357506
[16] ,Indecomposable representations of graphs and algebras, Mem. Amer. Math. Soc. 6(1976), no. 173, v+57.
MR447344
[17] Paul C. Eklof, Homological algebra and set theory, Trans. Amer. Math. Soc. 227 (1977), 207–225. MR453520
[18] Edgar E. Enochs and Sergio Estrada, Projective representations of quivers, Comm. Algebra 33 (2005), no. 10,
3467–3478. MR2175445
[19] Edgar E. Enochs, Sergio Estrada, and Juan Ramon Garc´ıa Rozas, Injective representations of infinite quivers.
Applications, Canad. J. Math. 61 (2009), no. 2, 315–335. MR2504018
[20] Edgar E. Enochs and Overtoun M. G. Jenda, Gorenstein injective and projective modules, Math. Z. 220 (1995),
no. 4, 611–633. MR1363858
[21] ,Relative homological algebra, de Gruyter Expositions in Mathematics, vol. 30, Walter de Gruyter & Co.,
Berlin, 2000. MR1753146
[22] Edgar E. Enochs, Overtoun M. G. Jenda, and Blas Torrecillas, Gorenstein flat modules, Nanjing Daxue Xuebao
Shuxue Bannian Kan 10 (1993), no. 1, 1–9. MR1248299
[23] Edgar E. Enochs, Luis Oyonarte, and Blas Torrecillas, Flat covers and flat representations of quivers, Comm.
Algebra 32 (2004), no. 4, 1319–1338. MR2100360
[24] Hossein Eshraghi, Rasool Hafezi, and Shokrollah Salarian, Total acyclicity for complexes of representations of
quivers, Comm. Algebra 41 (2013), no. 12, 4425–4441. MR3169529
[25] Sergio Estrada, The derived category of quasi-coherent modules on an Artin stack via model structures, Int. Math.
Res. Not. IMRN (2015), no. 15, 6411–6432. MR3384483
[26] Sergio Estrada and Simone Virili, Cartesian modules over representations of small categories, Adv. Math. 310
(2017), 557–609. MR3620694
[27] Peter Gabriel, Indecomposable representations. II, Symposia Mathematica, Vol. XI (Convegno di Algebra Com-
mutativa, INDAM, Rome, 1971), 1973, pp. 81–104. MR0340377
[28] Nan Gao, Julian ulshammer, Sondre Kvamme, and Chrysostomos Psaroudakis, A functorial approach to
monomorphism categories for species I, Commun. Contemp. Math. 24 (2022), no. 6, Paper No. 2150069, 55.
MR4466168
REPRESENTATIONS OVER DIAGRAMS OF CATEGORIES AND ABELIAN MODEL STRUCTURES 93
[29] Christof Geiss, Bernard Leclerc, and Jan Schr¨oer, Quivers with relations for symmetrizable Cartan matrices I:
Foundations, Invent. Math. 209 (2017), no. 1, 61–158. MR3660306
[30] James Gillespie, How to construct a Hovey triple from two cotorsion pairs, Fund. Math. 230 (2015), no. 3,
281–289. MR3351474
[31] ,Gorenstein complexes and recollements from cotorsion pairs, Adv. Math. 291 (2016), 859–911.
MR3459032
[32] ,Hereditary abelian model categories, Bull. Lond. Math. Soc. 48 (2016), no. 6, 895–922. MR3608936
[33] udiger obel and Jan Trlifaj, Approximations and endomorphism algebras of modules. Volume 2, extended ed.,
De Gruyter Expositions in Mathematics, vol. 41, Walter de Gruyter GmbH & Co. KG, Berlin, 2012, Predictions.
MR2985654
[34] Peter B. Gothen and Alastair D. King, Homological algebra of twisted quiver bundles, J. London Math. Soc. (2)
71 (2005), no. 1, 85–99. MR2108248
[35] Edward L. Green, On the representation theory of rings in matrix form, Pacific J. Math. 100 (1982), no. 1,
123–138. MR661444
[36] J. P. C. Greenlees and B. Shipley, Homotopy theory of modules over diagrams of rings, Proc. Amer. Math. Soc.
Ser. B 1(2014), 89–104. MR3254575
[37] Alexandre Grothendieck and Mich`ele Raynaud, Revˆetements ´etales et groupe fondamental, Lecture Notes in
Mathematics, Vol. 224, Springer-Verlag, Berlin-New York, 1971, S´eminaire de eom´etrie Alg´ebrique du Bois
Marie 1960–1961 (SGA 1), Dirig´e par Alexandre Grothendieck. Augment´e de deux expos´es de M. Raynaud.
MR0354651
[38] Yonatan Harpaz and Matan Prasma, The Grothendieck construction for model categories, Adv. Math. 281
(2015), 1306–1363. MR3366868
[39] Henrik Holm, Gorenstein homological dimensions, J. Pure Appl. Algebra 189 (2004), no. 1-3, 167–193.
MR2038564
[40] Henrik Holm and Peter Jørgensen, Cotorsion pairs in categories of quiver representations, Kyoto J. Math. 59
(2019), no. 3, 575–606. MR3990178
[41] ,Model categories of quiver representations, Adv. Math. 357 (2019), 106826, 46. MR4013804
[42] Mark Hovey, Model categories, Mathematical Surveys and Monographs, vol. 63, American Mathematical Society,
Providence, RI, 1999. MR1650134
[43] , Cotorsion pairs, model category structures, and representation theory, Math. Z. 241 (2002), no. 3,
553–592. MR1938704
[44] Thomas uttemann and Oliver ondigs, Twisted diagrams and homotopy sheaves, preprint
arXiv:0805.4076 [math.AT].
[45] Peter T. Johnstone, Sketches of an elephant: a topos theory compendium. Vol. 1, Oxford Logic Guides, vol. 43,
The Clarendon Press, Oxford University Press, New York, 2002. MR1953060
[46] Julian ulshammer, Pro-species of algebras I: Basic properties, Algebr. Represent. Theory 20 (2017), no. 5,
1215–1238. MR3707912
[47] Fang Li, Modulation and natural valued quiver of an algebra, Pacific J. Math. 256 (2012), no. 1, 105–128.
MR2928543
[48] Saunders Mac Lane, Categories for the working mathematician, second ed., Graduate Texts in Mathematics,
vol. 5, Springer-Verlag, New York, 1998. MR1712872
[49] Saunders Mac Lane and Ieke Moerdijk, Sheaves in geometry and logic, Universitext, Springer-Verlag, New York,
1994, A first introduction to topos theory, Corrected reprint of the 1992 edition. MR1300636
[50] Michael Makkai and Robert Par´e, Accessible categories: the foundations of categorical model theory, Contempo-
rary Mathematics, vol. 104, American Mathematical Society, Providence, RI, 1989. MR1031717
[51] Sergey Mozgovoy, Quiver representations in abelian categories, J. Algebra 541 (2020), 35–50. MR4012211
[52] Ulrich Oberst and Helmut ohrl, Flat and coherent functors, J. Algebra 14 (1970), 91–105. MR257181
[53] Sinem Odaba¸sı, Completeness of the induced cotorsion pairs in categories of quiver representations, J. Pure Appl.
Algebra 223 (2019), no. 10, 4536–4559. MR3958104
[54] Martin Olsson, Sheaves on Artin stacks, J. Reine Angew. Math. 603 (2007), 55–112. MR2312554
[55] Daniel G. Quillen, Homotopical algebra, Lecture Notes in Mathematics, No. 43, Springer-Verlag, Berlin-New
York, 1967. MR0223432
[56] Joseph J. Rotman, An introduction to homological algebra, second ed., Universitext, Springer, New York, 2009.
MR2455920
[57] Luigi Salce, Cotorsion theories for abelian groups, Symposia Mathematica, Vol. XXIII (Conf. Abelian Groups
and their Relationship to the Theory of Modules, INDAM, Rome, 1977), Academic Press, London-New York,
1979, pp. 11–32. MR565595
[58] Itamar Stein, Representation theory of order-related monoids of partial functions as locally trivial category alge-
bras, Algebr. Represent. Theory 23 (2020), no. 4, 1543–1567. MR4125591
94 Z.X. DI, L.P. LI, L. LIANG, AND N.N. YU
[59] Ross Street, Two constructions on lax functors, Cahiers Topologie eom. Diff´erentielle 13 (1972), 217–264.
MR347936
[60] Dai Tamaki, The Grothendieck construction and gradings for enriched categories, preprint
arXiv:0907.0061 [math.CT].
[61] Jan Trlifaj, Ext and inverse limits, Illinois J. Math. 47 (2003), no. 1-2, 529–538, Special issue in honor of Reinhold
Baer (1902–1979). MR2031338
[62] Jan ˇ
Saroch and Jan ˇ
St’ov´ıˇcek, Singular compactness and definability for Σ-cotorsion and Gorenstein modules,
Selecta Math. (N.S.) 26 (2020), no. 2, Paper No. 23. MR4076700
[63] Jan ˇ
St’ov´ıˇcek, On purity and applications to coderived and singularity categories, preprint
arXiv:1412.1601v1 [math.CT].
[64] Pu Zhang, Monomorphism categories, cotilting theory, and Gorenstein-projective modules, J. Algebra 339 (2011),
181–202. MR2811319
Z.X. Di School of Mathematical Sciences, Huaqiao University, Quanzhou 362021, China
Email address:dizhenxing@163.com
L.P. Li LCSM (Ministry of Education), Department of Mathematics, Hunan Normal University,
Changsha 410081, China.
Email address:lipingli@hunnu.edu.cn
L. Liang Department of Mathematics, Lanzhou Jiaotong University, Lanzhou 730070, China
Email address:lliangnju@gmail.com
URL:https://sites.google.com/site/lliangnju
N.N. Yu School of Mathematical Sciences, Xiamen University, Xiamen 361005, China
Email address:ninayu@xmu.edu.cn
ResearchGate has not been able to resolve any citations for this publication.
Article
Full-text available
In this paper we study the representation theory of three monoids of partial functions on an n-set. The monoid of all order-preserving functions (i.e., functions satisfying f(x) ≤ f(y) if x ≤ y) the monoid of all order-decreasing functions (i.e. functions satisfying f(x) ≤ x) and their intersection (also known as the partial Catalan monoid). We use an isomorphism between the algebras of these monoids and the algebras of some corresponding locally trivial categories. We obtain an explicit description of a quiver presentation for each algebra. Moreover, we describe other invariants such as the Cartan matrix and the Loewy length.
Article
Full-text available
Given a complete hereditary cotorsion pair (A, B) in an abelian category C satisfying certain conditions, we study the completeness of the induced cotorsion pairs (Φ(A), Φ(A) ⊥) and (⊥ Ψ(B), Ψ(B)) in the category Rep(Q, C) of C-valued representations of a given quiver Q. We show that if Q is left rooted, then the cotorsion pair (Φ(A), Φ(A) ⊥) is complete, and if Q is right rooted, then the cotorsion pair (⊥ Ψ(B), Ψ(B)) is complete. Besides, we work on the infinite line quiver A ∞ ∞ , which is neither left rooted nor right rooted. We prove that these cotorsion pairs in Rep(A ∞ ∞ , R) are complete, as well.
Article
Full-text available
In this paper, we generalise part of the theory of hereditary algebras to the context of prospecies of algebras. Here, a prospecies is a generalisation of Gabriel's concept of species gluing algebras via projective bimodules along a quiver to obtain a new algebra. This provides a categorical perspective on a recent paper by Gei\ss, Leclerc, and Schr\"oer. In particular, we construct a corresponding preprojective algebra, and establish a theory of a separated prospecies yielding a stable equivalence between certain functorially finite subcategories.
Article
We introduce a very general extension of the monomorphism category as studied by Ringel and Schmidmeier which in particular covers generalized species over locally bounded quivers. We prove that analogues of the kernel and cokernel functor send almost split sequences over the path algebra and the preprojective algebra to split or almost split sequences in the monomorphism category. We derive this from a general result on preservation of almost split morphisms under adjoint functors whose counit is a monomorphism. Despite of its generality, our monomorphism categories still allow for explicit computations as in the case of Ringel and Schmidmeier.
Article
We study Gorenstein flat objects in the category Rep(Q,R) of representations of a left rooted quiver Q with values in Mod(R), the category of all left R-modules, where R is an arbitrary associative ring. We show that a representation X in Rep(Q,R) is Gorenstein flat if and only if for each vertex i the canonical homomorphism φiX:⊕a:j→iX(j)→X(i) is injective, and the left R-modules X(i) and CokerφiX are Gorenstein flat. As an application, we obtain a Gorenstein flat model structure on Rep(Q,R) in which we give explicit descriptions of the subcategories of trivial, cofibrant and fibrant objects.
Article
We introduce a general version of the singular compactness theorem which makes it possible to show that being a \(\Sigma \)-cotorsion module is a property of the complete theory of the module. As an application of the powerful tools developed along the way, we give a new description of Gorenstein flat modules which implies that, regardless of the ring, the class of all Gorenstein flat modules forms the left-hand class of a perfect cotorsion pair. We also prove the dual result for Gorenstein injective modules.
Article
We introduce the notion of (twisted) quiver representations in abelian categories and study the category of such representations. We construct standard resolutions and coresolutions of quiver representations and study basic homological properties of the category of representations. These results are applied in the case of parabolic vector bundles and framed coherent sheaves.
Article
We investigate the properties of opfibrations of $\mathbf{V}$-enriched categories when $\mathbf{V}$ is any semi-cartesian monoidal category in which coproducts distribute over fibered products. This includes sets, simplicial sets, topological spaces, categories, strict $n$-categories, Poisson manifolds, and elementary topoi. In particular we show that if $B$ is an ordinary category then there is an equivalence of 2-categories between $\mathbf{V}$-enriched opfibrations over the free $\mathbf{V}$-category on $B$ and pseudofunctors from $B$ to the 2-category of $\mathbf{V}$-categories. This generalizes the classical ($Set$-enriched) Grothendieck correspondence.