THE ACCESSIBILITY RANK OF WEAK EQUIVALENCES Y

advertisement
Theory and Applications of Categories, Vol. 30, No. 19, 2015, pp. 687–703.
THE ACCESSIBILITY RANK OF WEAK EQUIVALENCES
G. RAPTIS AND J. ROSICKÝ
Abstract. We study the accessibility properties of trivial cofibrations and weak equivalences in a combinatorial model category and prove an estimate for the accessibility
rank of weak equivalences. In particular, we show that the class of weak equivalences
between simplicial sets is finitely accessible.
1. Introduction
A well-known and useful property of combinatorial model categories is that their classes
of weak equivalences are accessible. Although each of the various proofs of this result
can also give some estimate for the accessibility rank, these estimates are generally not
the best possible. The purpose of this paper is to address the issue of determining good
estimates for the accessibility rank of weak equivalences in cases of interest. Our main
result is the following theorem.
1.1. Theorem. [see Theorem 4.2] Let M be a κ-combinatorial model category. Suppose
that the following are satisfied:
(i) there is a set A of κ-presentable cofibrant objects such that every object in M is a
κ-filtered colimit of object in A.
(ii) every κ-presentable cofibrant object in A has a (not necessarily functorial) cylinder
object which is again κ-presentable.
(iii) if a composite morphism i0 = qi is a cofibration between cofibrant objects, then i is
a formal cofibration.
Then the full subcategory W of M→ spanned by the class of weak equivalences is κaccessible.
The κ-accessibility of W in M→ means the following: first, W is closed under κfiltered colimits and, secondly, given a weak equivalence f : X → Y in M and a morphism
g : K → L between κ-presentable objects, then every commutative square
/X
K
g
f
/Y
L
Received by the editors 2014-07-28 and, in revised form, 2015-05-17.
Transmitted by Clemens Berger. Published on 2015-05-19.
2010 Mathematics Subject Classification: 55U35, 18C35.
Key words and phrases: model category, weak equivalence, accessible category.
c G. Raptis and J. Rosický, 2015. Permission to copy for private use granted.
687
688
G. RAPTIS AND J. ROSICKÝ
admits a factorization
K
/
g
K0
L
/
/
h
X
L0
/
f
Y
where h : K 0 → L0 is weak equivalence between κ-presentable objects. The first claim is
the easy part of the theorem and its proof does not require the additional assumptions (i)–
(iii). The proof of the second claim is more difficult and requires the auxiliary assumptions
(i)–(iii).
So far, proofs of the accessibility of the weak equivalences in a general combinatorial
model category have made essential use of the Pseudopullback Theorem. The Pseudopullback Theorem, which will be recalled in more detail in Section 2, says that pseudopullbacks
of accessible categories and functors are again accessible categories. In addition, the proof
of this theorem can be used to infer an estimate for the accessibility rank of the pseudopullback based on the accessibility data of the diagram. By expressing the category
of weak equivalences W as such a pseudopullback, it is then possible to obtain estimates
for its accessibility rank. Using this method, it is not difficult to show, for example, that
the category of weak equivalences of simplicial sets, W ⊂ SSet→ , is ℵ1 -accessible. More
generally, applying this method to get an estimate for the accessibility rank of the weak
equivalences in a κ-combinatorial model category will generally produce a regular cardinal
strictly greater than κ.
Our proof uses different methods which we think are also of independent interest.
An important ingredient is the fat small-object argument which was introduced in [18].
Based on this, we first prove in Section 3 that every trivial cofibration in a κ-combinatorial
model category is a κ-directed colimit of trivial cofibrations between κ-presentable objects
(Corollary 3.3). This is also the first step towards the proof of the main theorem (Theorem
4.2) in Section 4.
In Section 5 we discuss examples to which our theorem applies. These include the
following:
• the category of weak equivalences of simplicial sets is finitely accessible (Corollary 5.1). This generalizes easily to combinatorial model categories whose underlying category is a Grothendieck topos and the cofibrations are the monomorphisms
(Corollary 5.2). We note that a different proof of the finite accessibility of the weak
equivalences of simplicial sets appeared subsequently in [5].
• the category of quasi-isomorphisms of chain complexes of R-modules is finitely accessible if R is semi-simple (Corollary 5.3).
• the category of stable isomorphisms of R-modules is finitely accessible if R is a
Noetherian Frobenius ring (Corollary 5.5).
Naturally, the accessibility rank is especially interesting in the cases where it happens to
be ℵ0 , however, our main result will generally predict estimates in other cases too. We
THE ACCESSIBILITY RANK OF WEAK EQUIVALENCES
689
end Section 5 with some comments on the cases of diagram model categories and left
Bousfield localizations.
Acknowledgements. We are grateful to the referee for pointing out a simplification of
our original proof which actually also led to a more general statement requiring less than
our original assumptions. The first-named author would like to warmly acknowledge the
hospitality of the Department of Mathematics in Brno, which he enjoyed during several
visits while this work was being done. The second-named author was supported by GAČR
201/11/0528.
2. Background material and preliminaries
Combinatorial model categories were defined by J. H. Smith to be model categories
M which are locally presentable and cofibrantly generated. The latter means that both
cofibrations and trivial cofibrations are cofibrantly generated by a set of morphisms. There
is always a regular cardinal κ such that M is locally κ-presentable and the generating
cofibrations and trivial cofibrations are morphisms between κ-presentable objects. In this
case we say that M is κ-combinatorial. For instance, the standard model category of
simplicial sets, denoted SSet, is finitely combinatorial (= ℵ0 -combinatorial).
In a κ-combinatorial model category M, the ‘replacement-by-fibration’ functor
Rfib : M→ → M→ that arises from the (trivial cofibration, fibration)-factorization, as
given by the small-object argument, preserves κ-filtered colimits but it does not preserve
κ-presentable objects in general. By the Uniformization Theorem (see [16, 2.4.9], or [2,
2.19]), there is a regular cardinal λ ≥ κ such that Rfib preserves λ-presentable objects.
This cardinal is important because it makes the category of fibrations λ-accessible - any
fibration is a λ-filtered colimit in M→ of fibrations between λ-presentable objects. To
see this, consider a fibration p : X → Y in M and express it as a λ-filtered colimit of
morphisms fi : Xi → Yi between λ-presentable objects. Then Rfib (p) is a λ-filtered colimit
of fibrations between λ-presentable objects. Since p is a retract of Rfib (p), it follows that
p can also be expressed in this way (see the proof of [16, 2.3.11]).
2.1. Example. Let M = SSet and Rfib : SSet→ → SSet→ the standard replacement
by a fibration as given by the small-object argument. The functor Rfib preserves filtered
colimits and sends finitely presentable objects to ℵ1 -presentable ones. It follows that Rfib
preserves ℵ1 -presentable objects since every ℵ1 -presentable object is an ℵ1 -small filtered
colimit of finitely presentable objects (see [16, 2.3.11], [2, 2.15]).
Analogously, one can consider instead the ‘replacement-by-trivial fibration’ functor
Rwfib : M→ → M→ that comes from the standard (cofibration, trivial fibration)-factorization in M and ask for the smallest regular cardinal λ such that Rwfib preserves λ-filtered
colimits and λ-presentable objects. In SSet, the smallest such λ is again ℵ1 , which then
shows that the category F ∩ W of trivial fibrations in SSet→ is ℵ1 -accessible.
Combining these observations, the accessibility of the class of weak equivalences, and
an estimate for the accessibility rank, can be deduced from the following theorem.
690
G. RAPTIS AND J. ROSICKÝ
2.2. Pseudopullback Theorem. Let λ be a regular cardinal and K, L and M λaccessible categories which admit κ-filtered colimits for some κ < λ. Let F : K → L
and G : M → L be functors which preserve κ-filtered colimits and λ-presentable objects.
Consider the pseudopullback
/M
P
G
/L
K
Then P is λ-accessible and has κ-filtered colimits.
F
This theorem is essentially shown in [7, 3.1]. Although the statement of [7, 3.1] includes
stronger accessibility properties, exactly the same proof applies here too. H.-E. Porst has
recently informed us that this theorem follows from the unpublished paper [21].
The category of weak equivalences can be expressed as a pullback
/
W
F ∩W
G
M→
Rfib
/
M→
where G is the full embedding of the trivial fibrations. Since G is transportable, this pullback is equivalent to a pseudopullback (see [16, 5.1.1]). Then the above Pseudopullback
Theorem applied to this pseudopullback gives an estimate for the accessibility rank of W.
Let us add that the accessibility of W was claimed by J. H. Smith and proofs (also using
the Pseudopullback Theorem) can be found in [15, Corollary A.2.6.6] and [20].
2.3. Proposition. Let M be a κ-combinatorial model category and λ > κ a regular
cardinal such that both Rfib and Rwfib preserve λ-presentable objects. Then the category
W of weak equivalences, as a full subcategory of M→ , is λ-accessible and admits κ-filtered
colimits.
2.4. Example. The discussion above and the last proposition show that the full subcategory W of weak equivalences in SSet→ is ℵ1 -accessible.
This means that the estimate that we can get with this method for the accessibility
rank of W in a κ-combinatorial model category M is going to be strictly greater than κ.
A way of improving this estimate was opened in [18] where the idea of good colimits from
[15] was used to prove that every cofibrant object in a κ-combinatorial model category is
a κ-directed colimit of κ-presentable cofibrant objects. In Section 3, we will show how this
can be used to prove that every trivial cofibration in a κ-combinatorial model category
is a κ-directed colimit of trivial cofibrations between κ-presentable objects. This is the
first step of the proof of our main theorem in Section 4, but the rest of the proof requires
more assumptions on M.
THE ACCESSIBILITY RANK OF WEAK EQUIVALENCES
691
2.5. Remark. It was shown in [19] that for every combinatorial model category M there
is an accessible functor F : M → SSet such that a morphism f in M is a weak equivalence
if and only if F (f ) is a weak equivalence in SSet. Then the accessibility of W follows
from the Pseudopullback Theorem and the accessibility of the weak equivalences in SSet.
We like to point out and correct a small error in the construction of F in [19]. We recall
that F was defined by a composition of functors as follows,
R
G
u∗
M → M → SSetC → SSetObC → SSet,
where R is an accessible fibrant replacement functor, G is the right Quillen functor associated with a small presentation of M [10], u∗ is the restriction functor and the last functor
is an accessible functor that detects the (pointwise) weak equivalences of (pointwise) Kan
fibrant objects. The last functor was wrongly chosen in [19] to be the product functor:
this functor does not detect the weak equivalences when the empty (simplicial) set appears in the product! However, there are clearly other functors that have the required
property, e.g., the coproduct.
3. Trivial cofibrations
Combinatorial categories, introduced in [17], are locally presentable categories K equipped
with a class of morphisms cof(K), called cofibrations, which is cofibrantly generated by
a set of morphisms. This basic categorical structure is inspired by combinatorial model
categories, which can be viewed as combinatorial categories in (at least) two different
ways, and the aim is to analyze through this generalization the abstract properties of
cofibrant generation by focusing on a single cofibrantly generated class of morphisms.
In analogy with combinatorial model categories, we say that a combinatorial category
(K, cof(K)) is κ-combinatorial if it is locally κ-presentable and there is a set of generating
cofibrations I between κ-presentable objects. In what follows, Kκ will denote the full
subcategory of K consisting of κ-presentable objects. Every locally presentable category
carries the trivial combinatorial structure where every morphism is a cofibration. The
following result is [17, 2.4] but we will recall the proof.
3.1. Lemma. Let K be a locally κ-presentable category. Then the trivial combinatorial
structure on K is κ-combinatorial.
Proof. If a morphism g has the right lifting property with respect to all morphisms
between κ-presentable objects then g is both a κ-pure monomorphism and a κ-pure epimorphism. Thus g is both a regular monomorphism and an epimorphism (see [1], [3]),
which means that g is an isomorphism. Hence any morphism has the left lifting property
with respect to g.
We say that an object K of a combinatorial category is cofibrant if the unique morphism 0 → K from an initial object is a cofibration. One of the main results of [18]
shows that every cofibrant object in a κ-combinatorial category is a κ-directed colimit of
κ-presentable cofibrant objects [18, 5.1]. A consequence of this is the next theorem.
692
G. RAPTIS AND J. ROSICKÝ
3.2. Theorem. Let K be a κ-combinatorial category. Then every cofibration is a κdirected colimit of cofibrations between κ-presentable objects.
Proof. Let I ⊆ Kκ→ be a generating set of cofibrations. Consider the following sets of
morphisms in K→ :
(g,g)
χ1 = {(id : A → A) −→ (id : B → B) : g ∈ Kκ→ }
and
(id,i)
χ2 = {(id : A → A) −→ (i : A → B) : i ∈ I}.
Then the set χ1 ∪ χ2 generates a κ-combinatorial structure on K→ . By [18, 5.1], it suffices
to show that its cofibrant objects are precisely the cofibrations in K. It is easy to see
that every cofibrant object in K→ is a cofibration in K. Conversely, let f : X → Y be a
cofibration in K. An immediate consequence of Lemma 3.1 is that the object (id : X → X)
is cofibrant with respect to χ1 . Moreover, the morphism in K→ :
(id, f ) : (id : X → X) −→ (f : X → Y )
is a cofibration with respect to χ2 . Therefore f is a cofibrant object with respect to χ1 ∪χ2
and the result follows.
3.3. Corollary. Let M be a κ-combinatorial model category. Then every trivial cofibration in M is a κ-directed colimit of trivial cofibrations between κ-presentable objects.
Proof. It suffices to apply Theorem 3.2 to the κ-combinatorial category defined by the
locally presentable category M together with the class of trivial cofibrations of the model
structure on M.
3.4. Remark. We point out that the proof of Corollary 3.3 does not require the existence
of a generating set of cofibrations between κ-presentable objects. A related argument
that uses this assumption but has some other advantages is as follows. Let I denote a
generating set of cofibrations between κ-presentable objects and replace χ1 with
(i,i)
χ01 = {(id : A → A) −→ (id : B → B) : i ∈ I}
Then (id : X → X) is χ01 -cofibrant if X is cofibrant in M. The same argument as
above then shows that a trivial cofibration f : X → Y between cofibrant objects is a κdirected colimit of a diagram F : P → M→ whose values are trivial cofibrations between
κ-presentable cofibrant objects. Another advantage of this argument is that if X and f
are cellular or κ is uncountable, then F can be chosen so that for all p ∈ P , the morphism
F (p) → f in M→ is given by cofibrations (see [18], esp. the proofs of 5.1 and 5.2). We
recall that a morphism in a combinatorial category, cofibrantly generated by a set X ,
is called cellular if it can be obtained from X by transfinite compositions of pushouts.
Cofibrations are then retracts of cellular morphisms.
Corollary 3.3 has the following consequence which may be useful in concrete situations.
THE ACCESSIBILITY RANK OF WEAK EQUIVALENCES
693
3.5. Corollary. Let M be a κ-combinatorial model category and
/X
u
K
i
/
v
L
f
Y
a commutative square where i is a cofibration between κ-presentable objects and f is a
weak equivalence. Then there is a factorization
/
K
/
L
X
j
i
/
K0
f
/
L0
Y
where j is a trivial cofibration between κ-presentable objects.
Proof. Let
f1
f2
f : X −−−−→ Z −−−−→ Y
be a (trivial cofibration, fibration)-factorization of f . Then f2 is also a weak equivalence.
Since i is a cofibration, there is a morphism l : L → Z making the diagram commutative
f1 u
K
/
>Z
l
i
/
v
L
f2
Y
Thus, we get a morphism (u, l) : i → f1 in M→ . By Corollary 3.3, there is a factorization
u1
K
/
K0
i
l1
L
u2
/X
j
/ L0
l2
f1
/
Z
where u = u2 u1 , l = l2 l1 and j is a trivial cofibration between κ-presentable objects. Thus
K
/
K0
i
L
is the required factorization.
u1
l1
/
u2
/
j
X
L0
f2 l2
/
Y
f
694
G. RAPTIS AND J. ROSICKÝ
4. Weak Equivalences
Let M be a κ-combinatorial model category. Trivial cofibrations in M are not closed
under κ-filtered colimits in general. On the other hand, weak equivalences are accessibly
embedded, as follows from the arguments of Section 2 and Proposition 2.3. These arguments required that both cofibrations and trivial cofibrations are cofibrantly generated
by sets of morphisms between κ-presentable objects. A more direct proof can be found
in [10, Proposition 7.3]. We include a slightly improved version of that proof which only
requires this for the cofibrations. Furthermore, the proof that follows does not require
that M is locally presentable.
4.1. Proposition. Let M be a combinatorial model category and I a generating set of
cofibrations between κ-presentable objects. Then the class of weak equivalences in M is
closed under κ-filtered colimits in M→ .
Proof. Let C be a small κ-filtered category and consider the category of C-diagrams MC
with the projective model structure where weak equivalences and fibrations are defined
pointwise. Then the colimit functor
colimC : MC → M
is a left Quillen functor. It is required to show that the colimit functor preserves weak
equivalences. Every weak equivalence in MC can be written as a composition of a projective trivial cofibration and a pointwise trivial fibration. The colimit of a projective trivial
cofibration is a trivial cofibration in M because colimC is left Quillen. Since both domains
and codomains of the morphisms in I are κ-presentable, it follows that the class of trivial
fibrations I is closed under κ-filtered colimits. This means that colimC preserves trivial
fibrations too, and then the result follows.
We now discuss our main result on an accessibility estimate for the class of weak
equivalences. The proof of this requires additional assumptions on the combinatorial
model category.
First, we recall that given an object X in a model category, a cylinder object for X is
a factorization of the codiagonal morphism
G
(i0 ,i1 )
p
X
X −−−−−−−→ Cyl(X) −−−−→ X
such that (i0 , i1 ) is a cofibration and p is a weak equivalence. Cylinder objects produce
factorizations of morphisms via the classical mapping cylinder construction. In detail,
given a morphism f : X → Y between cofibrant objects, the mapping cylinder Mf is
defined as the pushout
X
f
/Y
id
i0
X
i1
/ Cyl(X) f
/
Mf
fp
q
/5 Y
THE ACCESSIBILITY RANK OF WEAK EQUIVALENCES
f i1
695
q
and X −→ Mf −→ Y is the mapping cylinder factorization of f into a cofibration followed
by a weak equivalence.
Secondly, we introduce some terminology. We say that a morphism i : A → B in a
model category is a formal cofibration if every pushout diagram
A
/
i
f
B
/
X
g
Y
where X is cofibrant, is also a homotopy pushout. In particular, if f is a weak equivalence,
then so is g. It is well-known that every cofibration with cofibrant domain is a formal
cofibration (see, e.g., [15, Proposition A.2.4.4]). Moreover, if the model category is left
proper, then every cofibration is a formal cofibration.
4.2. Theorem. Let M be a κ-combinatorial model category. Suppose that the following
are satisfied:
(i) there is a set A of κ-presentable cofibrant objects such that every object in M is a
κ-filtered colimit of object in A.
(ii) every κ-presentable cofibrant object in A has a (not necessarily functorial) cylinder
object which is again κ-presentable.
(iii) if a composite morphism i0 = qi is a cofibration between cofibrant objects, then i is
a formal cofibration.
Then the full subcategory W of M→ spanned by the class of weak equivalences is κaccessible.
Proof. By Proposition 4.1, the class of weak equivalences in M admits κ-filtered colimits. Thus, it suffices to show that every weak equivalence is a κ-filtered colimit of weak
equivalences between κ-presentable objects.
Let f be a weak equivalence. Let M→
κ denote the full subcategory of morphisms
→
→,cof
between κ-presentable objects in M , Mκ
the full subcategory of morphisms between
→
κ-presentable cofibrant objects, and wMκ the full subcategory of weak equivalences
between κ-presentable objects. There are inclusions of slice categories as follows,
(M→,cof
↓ f)
κ
U
'
(M→
κ ↓ f)
7
V
(wM→
κ ↓ f)
F
/
M→
696
G. RAPTIS AND J. ROSICKÝ
where F is the canonical diagram of f with respect to M→
κ . This diagram is κ-filtered and
has colimit f . By (i), it is easy to see that the functor U is cofinal. Then the composite
diagram F ◦ U is κ-filtered and also has f as a colimit. Analogously, it suffices to show
that V is cofinal.
More precisely, it suffices to show that every commutative square
/X
u
K
g
f
/
v
L
(∗)
Y
where K and L are κ-presentable and f is a weak equivalence, admits a factorization as
follows
/X
/ K0
K
g
h
f
/ L0
/Y
L
where h is a weak equivalence between κ-presentable objects. The difference with Corollary 3.5 is that g is not necessarily a cofibration.
In fact, we can assume that the objects K and L are in A. To see this, note that
having a square (∗), we can use (i) to factorize
u
u
1
2
u : K −−−−
−→ K1 −−−−
−→ X
where K1 is κ-presentable and in A. Then L0 in the pushout
u1
K
/
g
K1
u1
L
/
g
L0
is κ-presentable with a unique morphism w : L0 → Y such that wu1 = v and wg = f u2 .
Using (i) again, we get a factorization
w
w
1
2
w : L0 −−−−
−→ L1 −−−−
−→ Y
where L1 is κ-presentable and in A. For g 0 = w1 g, we get a factorization
K
u1
/
g
K1
L
w1 u1
/
u2
/
g0
X
L1
w2
/
f
Y
Thus, we may restrict to squares (∗) with K and L in A. Then consider the mapping
cylinder factorization of g : K → L,
i
q
K → Mg := Cyl(K) ∪K L → L.
THE ACCESSIBILITY RANK OF WEAK EQUIVALENCES
697
Since K and L are cofibrant, i is a cofibration and q is a weak equivalence. Moreover, by
(ii), Mg is κ-presentable and cofibrant.
There are functorial (cofibration, trivial fibration)-factorizations of the maps u and vq
and therefore a factorization of the morphism (u, vq) : i → f ,
u0
K/
/
i
l0
Mg /
∼
X0
f
//
∼
Y0
(I)
X
f0
/
//
Y
where u0 and l0 are cofibrations. By the “2-out-of-3” property, the morphism f 0 is again
a weak equivalence. By Corollary 3.5, there is a factorization
u1
K
/
i
l1
Mg
u2
K0
/
/
X0
j
l2
L0
/
(II)
f0
Y0
where u0 = u2 u1 , l0 = l2 l1 and j is a trivial cofibration between κ-presentable objects.
Therefore we have a diagram as follows,
u1
K
Cyl(K)
g
K0
i
/
/
l1
Mg
u2
/ X0
j
/ L0
l2
∼
/X
f0
/Y0
∼
(III)
f
/Y
:
∼ q
p
g
K
/
v
L
where the square on the left is a pushout. To obtain the required factorization, it remains
to extend the factorization (II) along the weak equivalence q : Mg → L. We consider the
pushout L00 :
/
Cyl(K)
∼
l1
Mg
/ L0
∼ q
v1
(IV)
j0
/L
/ L00
/Y
K
Since l0 : Mg → L0 → Y 0 is a cofibration between cofibrant objects, by construction, it
follows by (iii) that the morphism l1 : Mg → L0 is a formal cofibration. Therefore the
morphism j 0 is again a weak equivalence.
Therefore we obtain the required factorization
K
u1
/
g
K0
L
v1
/
/
j0j
X
L00
/
Y
f
(V)
698
G. RAPTIS AND J. ROSICKÝ
4.3. Remark. (acyclic objects) Under certain assumptions, it was shown in [18, 5.6]
that every acyclic (=weakly trivial) object in a κ-combinatorial model category M is a
κ-directed colimit of κ-presentable acyclic objects, i.e., that the category of acyclic objects
is κ-accessible. The assumptions were that the terminal object 1 is κ-presentable and the
canonical morphism X → 1 splits by a cofibration for every acyclic object X in M. In
SSet, this recovers a theorem of Joyal and Wraith [13] – any acyclic simplicial set is a
directed colimit of finite acyclic simplicial sets. It seems that this result about objects
is easier to prove than the result about weak equivalences, but at the same time, the
former result does not follow from the latter. This can be demonstrated by the following
op
elementary example: let Set be the category of sets and consider the category Setω
with the discrete model structure where every morphism is a cofibration and the weak
equivalences are the isomorphisms. This model category is finitely combinatorial and the
op
terminal object 1 is the only acyclic object. Since 1 is not finitely presentable in Setω , it
cannot be a directed colimit of finitely presentable acyclic objects. On the other hand, the
identity morphism of 1 is clearly a directed colimit of weak equivalences between finitely
presentable objects.
5. Examples
We mention some immediate corollaries of Theorem 4.2. First, we consider the standard model category of simplicial sets SSet (see, e.g., [12]). The cofibrations are the
monomorphisms, the weak equivalences are the maps whose geometric realizations are
weak homotopy equivalences and the fibrations are the Kan fibrations.
5.1. Corollary. The full subcategory W of SSet→ spanned by the class of weak equivalences is finitely accessible.
Proof. It is well-known that the model category is finitely combinatorial and the standard
cylinder functor X 7→ X × ∆1 preserves finitely presentable objects. The cofibrations are
the monomorphisms and therefore every object is cofibrant. Then the assumptions of
Theorem 4.2 are clearly satisfied and the claim follows.
The same argument applies more generally to Cisinski model categories. A Cisinski model category is a combinatorial model category whose underlying category is a
Grothendieck topos and whose cofibrations are the monomorphisms. A systematic study
of these model structures can be found in [8]. We note that every Grothendieck topos K
is locally presentable and its class of monomorphisms is cofibrantly generated by a set of
morphisms (see [8, 1.29], [6, 1.12]). The following is an immediate application of Theorem
4.2 to general Cisinski model categories.
5.2. Corollary. Let M be a Cisinski model category. Suppose that M is κ-combinatorial and there is a cylinder functor Cyl : M → M which preserves κ-presentable
objects. Then the full subcategory WM of M→ spanned by the class of weak equivalences
is κ-accessible.
THE ACCESSIBILITY RANK OF WEAK EQUIVALENCES
699
For a ring R, let Ch(R) denote the projective model category of chain complexes of
(left) R-modules [12, Theorem 2.3.11]. The weak equivalences are the quasi-isomorphisms
and the fibrations are the surjections. A map is a cofibration if it is degreewise a split
monomorphism and has cofibrant cokernel. Every bounded chain complex of finitely
generated projective R-modules is finitely presentable and cofibrant. We refer to [12] for
the proofs of these assertions.
We recall the classical cylinder construction in Ch(R). Let C(∆1 )• denote the chain
complex which is concentrated in degrees 0 and 1 and defined by
C(∆1 )0 := R ⊕ R
C(∆1 )1 := R
∂ : C(∆1 )1 → C(∆1 )0 ,
x 7→ (x, −x).
Let S 0 (R)• denote the chain complex concentrated in degree 0 and defined by R. We
have an obvious factorization of the codiagonal,
S 0 (R)• ⊕ S 0 (R)• → C(∆1 )• → S 0 (R)• .
More generally, given a chain complex C• , there is a factorization of the codiagonal as
follows,
q
i
C• ⊕ C• → Cyl(C• ) := C(∆1 )• ⊗ C• → C•
(Cyl)
where ⊗ is the tensor product of chain complexes. More explicitly, Cyl(C• )n is the Rmodule Cn ⊕ Cn−1 ⊕ Cn and the boundary map is defined by
∂(cn , cn−1 , c0n ) = (∂(cn ) + cn−1 , −∂(cn−1 ), ∂(cn ) − cn−1 ).
The difficulty with the application of Theorem 4.2 in this case is that cofibrant objects
do not generate the whole category in general. As a result, we can conclude the finite
accessibility of quasi-isomorphisms only for special cases of rings.
5.3. Corollary. Let R be a semi-simple ring. Then the full subcategory Wqis of Ch(R)→
spanned by the class of quasi-isomorphisms is finitely accessible.
Proof. It is well-known that Ch(R) is finitely combinatorial (see the description in [12,
Theorem 2.3.11]). The full subcategory of bounded chain complexes of finitely generated
R-modules generates the category of chain complexes. Since R is semi-simple, every Rmodule is projective, so Ch(R) is generated under filtered colimits by finitely presentable
cofibrant objects. Thus, condition (i) of Theorem 4.2 is satisfied. For condition (ii), consider the cylinder construction defined above. If C• is finitely presentable (and cofibrant),
the cokernel C[−1] of the map i in (Cyl) is cofibrant and therefore (Cyl) is a cylinder
object for C• . Moreover, Cyl(C• ) is finitely presentable if C• is. Finally, condition (iii) is
satisfied since every monomorphism is a formal cofibration.
700
G. RAPTIS AND J. ROSICKÝ
We emphasize that the finite accessibility in the general case of an arbitrary ring remains open. In connection with this, we make some comments about the existence of
strong generators. Recall that a set of objects {Sα } in a category C is a strong generator if the functors C(Sα , −) : C → Set are jointly faithful and jointly conservative (=
isomorphism-reflecting). As observed in [4, 6.2], this definition is equivalent to the one
in [2, 0.6] (see also [4, 6.3]). If a category K is κ-accessible, then in particular it has a
strong generator consisting of κ-presentable objects. Conversely, every cocomplete category with a strong generator of κ-presentable objects is κ-accessible (see [2, 1.20]) and,
as a consequence, it is λ-accessible for all λ ≥ κ.
It is easy to see that Wqis ⊂ Ch(R)→ has a strong generator consisting of finitely
presentable objects. An example is the union of the following sets of morphisms:
• Let S n (R)• be the chain complex which is concentrated in degree n, n ∈ Z, and
S n (R)n = R. Consider the identity maps of these chain complexes.
• Let Dn (R)• be the chain complex which is concentrated in degrees n and n − 1 and
the only non-trivial boundary map is the identity map of R. Consider the maps
0 → Dn (R)• for all n ∈ Z.
However, having a strong generator of κ-presentable objects is weaker than κ-accessibility in general. One would still need to demonstrate that for some strong generator the
canonical diagrams with respect to this set of objects are κ-filtered (cf. [2, 1.20]).
5.4. Remark. Since it is not true in general that a κ-accessible category is also λaccessible (see [2, 2.11]), one cannot expect that any category with κ-filtered colimits
and a strong generator consisting of κ-presentable objects is κ-accessible. This abstract
argument does not work for κ = ℵ0 . For an example in this case, consider the full
subcategory K of the category of sets with monomorphisms as morphisms, and consisting
of the sets which are either one-element or infinite. This category has filtered colimits
and a one-element set is finitely presentable and forms a strong generator. However, K is
not finitely accessible.
The next example concerns the stable module category of R-modules for a Frobenius
ring R. Let Mod(R) denote the category of R-modules. If R is Frobenius, this has
a model structure where the cofibrations are the monomorphisms, the fibrations are the
epimorphisms and the weak equivalences are the stable equivalences [12, Theorem 2.2.12].
This is a combinatorial model category, but it is not finitely combinatorial in general. We
refer to [12] for a detailed account.
5.5. Corollary. Let R be a Noetherian Frobenius ring. Then the full subcategory Wst
of Mod(R)→ spanned by the class of stable equivalences is finitely accessible.
Proof. The model category Mod(R) is finitely combinatorial by [12, Theorem 2.2.12].
Since every object is cofibrant, condition (i) of Theorem 4.2 is satisfied. (iii) is obvious,
so it remains to prove (ii). Following [14, Lemma 4.2], cylinder objects for an object K
are defined by objects of the form K ∗ ⊕ K ∗ ⊕ K where K ∗ is a weak reflection of K to an
THE ACCESSIBILITY RANK OF WEAK EQUIVALENCES
701
injective object in Mod(R). Since injective objects coincide with projective objects and,
following [9, Theorem 3.1.17], they coincide with flat objects, given such a weak reflection
K → K ∗ of a finitely presentable K, there is a factorization through a finitely presentable
injective object (K ∗ )f . Such an object can be taken as a weak reflection of K, and then
the associated (non-functorial) cylinder object Cyl(K) = (K ∗ )f ⊕ (K ∗ )f ⊕ K is finitely
presentable, as required.
Finally we comment on the cases of diagram model categories and (left) Bousfield
localizations. Given a κ-combinatorial model M category and C a small category, we
can consider the diagram category MC with the projective model structure where the
weak equivalences and the fibrations are defined pointwise (see, e.g., [11, 11.6]). We recall
that this model category structure is lifted from the product model category structure on
MOb(C) along the adjunction of the restriction functor u∗ ,
u! : MOb(C) MC : u∗ .
The resulting model category is again κ-combinatorial, but there are difficulties with
applying Theorem 4.2 mainly because of condition (i). We do not know under what reasonable assumptions on M and W, the category of pointwise weak equivalences WM,C ⊂
(MC )→ is κ-accessible for all C. Note that the latter category is the same as W C .
Concerning the weaker property of having a strong generator of κ-presentable objects,
the problem becomes much easier. Suppose that the category of weak equivalences W ⊂
M→ has a strong generator W0 consisting of weak equivalences between κ-presentable
cofibrant objects. Then the subcategory of (pointwise) weak equivalences WM,ObC in
(MObC )→ has a strong generator of κ-presentable cofibrant objects given by the collection
of tuples (fi )i∈ObC such that fi is the initial object except for < κ entries where it is in W0 .
Since u∗ is faithful and detects isomorphisms, it is easy to check that the image of this
strong generator under u! consists of weak equivalences between κ-presentable objects and
forms a strong generator for the category of pointwise weak equivalences WM,C ⊂ (MC )→ .
Regarding left Bousfield localizations (see [11] for a comprehensive account), we recall
that given a left proper κ-combinatorial model category M and S a set of morphisms, then
the left Bousfield localization LS M of M at S exists and is again a combinatorial model
category (see [15, A.3.7] for example). Since this has the same cofibrations, it follows that
the class of S-local equivalences is again closed under κ-filtered colimits by Proposition
4.1. Theorem 4.2 has the following immediate corollary. We emphasize, however, that a
major difficulty in estimating the accessibility rank of S-local equivalences is, of course,
to specify generating sets of trivial cofibrations in LS M.
5.6. Corollary. Let M be a left proper κ-combinatorial model category satisfying the
assumptions (i) and (iii) of Theorem 4.2 and S a set of morphisms in M. Suppose that
the left Bousfield localization LS M of M at S is λ-combinatorial, λ ≥ κ, and satisfies
(ii) of Theorem 4.2. Then the full subcategory WS of LS M→ spanned by the S-local
equivalences is λ-accessible.
702
G. RAPTIS AND J. ROSICKÝ
Proof. It suffices to show that conditions (i)-(iii) of Theorem 4.2 are satisfied. (i) and (ii)
hold by assumption. (iii) follows from the analogous property in M. Indeed every formal
cofibration i : A → B in M is also a formal cofibration in LS M because M → LS M
preserves homotopy pushouts.
References
[1] J. Adámek, H. Hu, and W. Tholen, On pure morphisms in accessible categories, J.
Pure Appl. Algebra 107 (1996), 1–8.
[2] J. Adámek and J. Rosický, Locally Presentable and Accessible Categories, London
Mathematical Society Lecture Note Series 189, Cambridge University Press, 1994.
[3] J. Adámek and J. Rosický, Pure morphisms in pro-categories, J. Pure Appl. Algebra
207 (2006), 9–35.
[4] J. Adámek, J. Rosický, and E. M. Vitale, Algebraic theories, Cambridge Tracts in
Mathematics 184, Cambridge University Press, 2011.
[5] I. Barnea and T. M. Schlank, Model structures on Ind categories and the accessibility
rank of weak equivalences, arXiv:1407.1817.
[6] T. Beke, Sheafifiable homotopy model categories, Math. Proc. Cam. Phil. Soc. 129
(2000), 447–475.
[7] B. Chorny and J. Rosický, Class-locally presentable and class-accessible categories,
J. Pure Appl. Alg. 216 (2012), 2113–2125.
[8] D.-C. Cisinski, Théories homotopiques dans les topos, J. Pure Appl. Algebra 174
(2002), 43–82.
[9] E. E. Enochs and O. M. G. Jenda, Relative Homological Algebra, Walter de Gruyter
2000.
[10] D. Dugger, Combinatorial model categories have presentations, Adv. Math. 164
(2001), 177–210.
[11] P. S. Hirschhorn, Model categories and their localizations, Mathematical Surveys and
Monographs 99, American Mathematical Society, 2003.
[12] M. Hovey, Model categories, Mathematical Surveys and Monographs 63, American
Mathematical Society, 1999.
[13] A. Joyal and G. Wraith, Eilenberg-MacLane toposes and cohomology, Mathematical
applications of category theory, 117–131, Contemporary Mathematics 30, American
Mathematical Society, 1984.
THE ACCESSIBILITY RANK OF WEAK EQUIVALENCES
703
[14] A. Kurz and J. Rosický, Weak factorization systems, fractions and homotopies, Appl.
Categ. Struct. 13 (2005), 141–160.
[15] J. Lurie, Higher Topos Theory, Annals of Mathematics Studies 170, Princeton University Press, 2009.
[16] M. Makkai and R. Paré, Accessible Categories: The Foundations of Categorical Model
Theory, Contemporary Mathematics 104, American Mathematical Society, 1989.
[17] M. Makkai and J. Rosický, Cellular categories, J. Pure Appl. Alg. 218 (2014), 1652–
1664.
[18] M. Makkai, J. Rosický and L. Vokřı́nek, On a fat small object argument, Adv. Math.
254 (2014), 49–68.
[19] G. Raptis, On a conjecture by J. H. Smith, Theory Appl. Categ. 24 (2010), No. 5,
114-116.
[20] J. Rosický, On combinatorial model categories, Appl. Cat. Str. 17 (2009), 303–316.
[21] F. Ulmer, Bialgebras in locally presentable categories, Univ. Wuppertal 1977.
Fakultät für Mathematik, Universität Regensburg
93040 Regensburg, Germany
Department of Mathematics and Statistics, Masaryk University
Faculty of Sciences, Kotlářská 2
611 37 Brno, Czech Republic
Email: georgis.raptis@mathematik.uni-regensburg.de
rosicky@math.muni.cz
This article may be accessed at http://www.tac.mta.ca/tac/
THEORY AND APPLICATIONS OF CATEGORIES (ISSN 1201-561X) will disseminate articles that
significantly advance the study of categorical algebra or methods, or that make significant new contributions to mathematical science using categorical methods. The scope of the journal includes: all areas of
pure category theory, including higher dimensional categories; applications of category theory to algebra,
geometry and topology and other areas of mathematics; applications of category theory to computer
science, physics and other mathematical sciences; contributions to scientific knowledge that make use of
categorical methods.
Articles appearing in the journal have been carefully and critically refereed under the responsibility of
members of the Editorial Board. Only papers judged to be both significant and excellent are accepted
for publication.
Full text of the journal is freely available in .dvi, Postscript and PDF from the journal’s server at
http://www.tac.mta.ca/tac/ and by ftp. It is archived electronically and in printed paper format.
Subscription information Individual subscribers receive abstracts of articles by e-mail as they
are published. To subscribe, send e-mail to tac@mta.ca including a full name and postal address. For institutional subscription, send enquiries to the Managing Editor, Robert Rosebrugh, rrosebrugh@mta.ca.
The typesetting language of the journal is TEX, and LATEX2e is
strongly encouraged. Articles should be submitted by e-mail directly to a Transmitting Editor. Please
obtain detailed information on submission format and style files at http://www.tac.mta.ca/tac/.
Information for authors
Managing editor. Robert Rosebrugh, Mount Allison University: rrosebrugh@mta.ca
TEXnical editor. Michael Barr, McGill University: barr@math.mcgill.ca
Assistant TEX editor. Gavin Seal, Ecole Polytechnique Fédérale de Lausanne:
gavin seal@fastmail.fm
Transmitting editors.
Clemens Berger, Université de Nice-Sophia Antipolis: cberger@math.unice.fr
Richard Blute, Université d’ Ottawa: rblute@uottawa.ca
Lawrence Breen, Université de Paris 13: breen@math.univ-paris13.fr
Ronald Brown, University of North Wales: ronnie.profbrown(at)btinternet.com
Valeria de Paiva: valeria.depaiva@gmail.com
Ezra Getzler, Northwestern University: getzler(at)northwestern(dot)edu
Kathryn Hess, Ecole Polytechnique Fédérale de Lausanne: kathryn.hess@epfl.ch
Martin Hyland, University of Cambridge: M.Hyland@dpmms.cam.ac.uk
Anders Kock, University of Aarhus: kock@imf.au.dk
Stephen Lack, Macquarie University: steve.lack@mq.edu.au
F. William Lawvere, State University of New York at Buffalo: wlawvere@buffalo.edu
Tom Leinster, University of Edinburgh: Tom.Leinster@ed.ac.uk
Ieke Moerdijk, Radboud University Nijmegen: i.moerdijk@math.ru.nl
Susan Niefield, Union College: niefiels@union.edu
Robert Paré, Dalhousie University: pare@mathstat.dal.ca
Jiri Rosicky, Masaryk University: rosicky@math.muni.cz
Giuseppe Rosolini, Università di Genova: rosolini@disi.unige.it
Alex Simpson, University of Edinburgh: Alex.Simpson@ed.ac.uk
James Stasheff, University of North Carolina: jds@math.upenn.edu
Ross Street, Macquarie University: street@math.mq.edu.au
Walter Tholen, York University: tholen@mathstat.yorku.ca
Myles Tierney, Rutgers University: tierney@math.rutgers.edu
R. J. Wood, Dalhousie University: rjwood@mathstat.dal.ca
Download