Homotopy categories and fibrant model structures

Pu Zhang; Xue-Song Lu

Homotopy categories and fibrant model structures

T0 review · 0 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that every fibrant model structure on a weakly idempotent complete additive category is classified by a fibrantly weak factorization system, and that homotopy categories are additive quotients of cofibrant-fibrant objects.

desk verdict Solid new classification of fibrant model structures on weakly idempotent complete additive categories, with the reviewer's two concerns resolving on close reading; worth sending to a serious referee. read the letter →

arxiv 2501.15898 v1 pith:GNPCKQVF submitted 2025-01-27 math.RT

Xue-Song Lu , Pu Zhang This is my paper · ORCID

classification math.RT MSC 18N4018N5518E35

keywords modelstructureshomotopycategoriesweaklyidempotentcompleteadditivefibrantfibrantlyweakfactorizationsystemsquotientexactcotorsionpairs

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Working in weakly idempotent complete additive categories (additive categories in which every splitting monomorphism has a cokernel, or equivalently every splitting epimorphism has a kernel), this paper establishes two structural facts. Theorem 1.1 says that for any model structure the homotopy category $\mathrm{Ho}(\mathcal{A})$ is equivalent as an additive category to the additive quotient $(C\cap F)/(C\cap F\cap W)$ of cofibrant-fibrant objects by the cofibrant-fibrant-trivial objects. Theorems 1.4 and 1.5 go further for fibrant model structures, where every object is fibrant: they are classified by fibrantly weak factorization systems, with fibrations exactly the $\mathrm{Hom}_{\mathcal{A}}(TC,-)$-epic morphisms and weak equivalences the composites $\mathrm{TFib}\circ\mathrm{TCoFib}$. A sympathetic reader would care because this turns the construction of model structures into a check on factorization data and recovers the known $\omega$-model and $W$-model structures as special cases.

What carries the argument

The load-bearing mechanism is the fibrantly weak factorization system $(\mathrm{CoFib},\mathrm{TFib})$: a weak factorization system whose right class is right-cancellative (if $f$ and $gf$ lie in $\mathrm{TFib}$, then so does $g$) and whose class $TC = \{X \mid 0\to X\in \mathrm{CoFib},\ X\to 0\in \mathrm{TFib}\}$ is contravariantly finite, meaning every object has a right approximation by an object of $TC$. From this datum the paper defines $\mathrm{Fib}$ as the class of morphisms $f$ for which $\mathrm{Hom}_{\mathcal{A}}(U,f)$ is surjective for every $U\in TC$, defines $\mathrm{TCoFib}$ as the splitting monomorphisms with cokernel in $TC$, and sets $\mathrm{Weq} = \mathrm{TFib}\circ\mathrm{TCoFib}$. The proofs of Theorems 1.4 and 1.5 show that these three classes satisfy the retract, lifting, factorization, and two-out-of-three axioms. A complementary mechanism is the localization fact that in additive categories, localization along the morphisms inverted by an additive quotient is isomorphic to that quotient, which converts $\mathrm{Ho}(\mathcal{A})$ into $(C\cap F)/(C\cap F\cap W)$.

What would settle it

In an artin algebra module category, take $W=\mathrm{add}(M)$ for a nonzero module $M$ and use the W-model structure of Section 5.2; if 'epic' is read as a surjective homomorphism of abelian groups, then $X\to 0$ is not a fibration for $X=M$, since $\mathrm{Hom}_A(M,M)\neq 0$, directly contradicting the Theorem 1.2(3) assertion that every object is fibrant.

Watch

Extended reading notes

Core claim

The central claim is that fibrant model structures on a weakly idempotent complete additive category are exactly the fibrantly weak factorization systems. Theorem 1.5 states this as a bijection: from $(\mathrm{CoFib},\mathrm{TFib})$ one forms the class $\mathrm{Fib}$ of morphisms $f$ such that $\mathrm{Hom}_{\mathcal{A}}(TC,f)$ is epic, and sets $\mathrm{Weq} = \mathrm{TFib}\circ\mathrm{TCoFib}$, where $TC$ is the class of objects both in the left class on $0\to X$ and in the right class on $X\to 0$, and $\mathrm{TCoFib}$ is the class of splitting monomorphisms with cokernel in $TC$; the inverse sends a fibrant model structure to $(\mathrm{CoFib}, \mathrm{Fib}\cap \mathrm{Weq})$. The paper uses 'epic' in the sense that the induced map of Hom-sets is surjective, the convention fixed just before display (1.1). The paper also proves in Theorem 1.1 that for any model structure the homotopy category is the additive quotient $(C\cap F)/(C\cap F\cap W)$, a description that needs neither pushouts, pullbacks, nor homotopy relations. These two results together say that in this setting the homotopy category is determined by simple object-level data, and fibrant model structures are completely determined by their trivial cofibrations.

Load-bearing premise

The load-bearing premise is that 'epic' means a surjective map of Hom-sets; if it instead means a surjective homomorphism of abelian groups, the fibrant-object claims in Theorem 1.2(3) fail, so the main classification depends on this convention.

Editorial extensions

If this is right

For any model structure on a weakly idempotent complete additive category, $\mathrm{Ho}(\mathcal{A})\simeq (C\cap F)/(C\cap F\cap W)$ as additive categories, so homotopy-theoretic information is readable from the object classes alone.
Fibrant model structures are classified by $\mathrm{CoFib}$ together with $\mathrm{TFib}$, so two fibrant model structures coincide exactly when their cofibrations and trivial fibrations coincide.
In a fibrant model structure, trivial cofibrations are precisely the splitting monomorphisms with cokernel in $TC$, and fibrations are precisely the $\mathrm{Hom}_{\mathcal{A}}(TC,-)$-epic morphisms; both classes are constructible from $TC$.
The homotopy category of a fibrant model structure is $C/TC$ as an additive category.
The $\omega$-model structures on weakly idempotent complete exact categories and the $W$-model structures on weakly idempotent complete additive categories are recovered by the construction, with $W$-model structures exactly the bifibrant case.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial extension: The bijection gives a construction recipe: choose a contravariantly finite class $TC$ and a right-cancellative weak factorization system $(\mathrm{CoFib},\mathrm{TFib})$; the displayed formulas then produce a fibrant model structure, so the remaining work is checking the weak-factorization and finiteness hypotheses.
Editorial extension: Because the proof does not use pushouts, pullbacks, or homotopy relations, the same quotient description and classification are likely to survive in additive contexts with fewer limits and colimits, such as relative settings where only split exact sequences are guaranteed.
Editorial extension: The set-epic versus group-epic ambiguity is a live convention issue for the statement of Theorems 1.2 and 1.4, and the dual cofibrant classification should be scrutinized for the analogous ambiguity with $\mathrm{Hom}_{\mathcal{A}}(-,TF)$.
Editorial extension: When the additive quotient $(C\cap F)/(C\cap F\cap W)$ is the stable category of a Frobenius category, Theorem 1.1 identifies the homotopy category with a triangulated category, giving a direct route to triangulated structure that bypasses explicit loop and suspension functors.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: this is a solid paper with a real new structural result. Theorem 1.1 gives the homotopy category as C∩F / C∩F∩W for any model structure on a weakly idempotent complete additive category, extending what was known for exact and ω-model structures. The genuinely new piece is Theorem 1.5: fibrant model structures are classified by fibrantly weak factorization systems. That is a clean, useful correspondence, and the construction of Fib and Weq from (CoFib, TFib) is explicit enough to use.

The main proofs are careful and largely check out. Section 3's proof of Theorem 3.1 is long because it avoids the homotopy relation, but the replacement argument with C∩F objects is coherent. Section 4's construction of the model structure is structurally sound. I checked the point the reader flagged: "Hom_A(U,f) is epic" cannot meaningfully be read as a group-homomorphism condition that disagrees with set-level surjectivity. In Ab an epimorphism is exactly a surjective group hom, and for maps to Hom_A(U,0) both readings give surjectivity. The two-out-of-three proof in §4.3 is complete; the "as proven before" step refers to the composition case just handled. So the stress-test note is right.

Soft spots are minor. The paper leans on the overlapping-author preprint [CLZ] for Theorem 5.1 and Theorem 5.2, and those results are stated without self-contained proofs. That is acceptable because the central theorems do not depend on [CLZ], but a referee should ask the authors to either prove Theorem 5.1 or clearly mark it as external. The paper is also honest: Theorems 5.3 and Corollary 5.4 are credited to Pirashvili and Beligiannis, and the abstract says "rediscover." That is the right call.

Who is this for? People working in model structures on additive and exact categories, cotorsion pairs, and representation theory. The examples in Section 5 are useful. It deserves a serious referee; I would engage with it. Recommendation: send it to peer review.

Referee Report

0 major / 5 minor

Summary. This paper studies model structures on weakly idempotent complete additive categories. Theorem 1.1 identifies the homotopy category Ho(A) with the additive quotient (C∩F)/(C∩F∩W) of cofibrant-fibrant objects by cofibrant-fibrant-trivial objects. The authors introduce fibrantly weak factorization systems and prove (Theorems 1.2, 1.4, 1.5) that fibrant model structures are in bijection with these systems, with fibrations given by Hom_A(TC,−)-epimorphisms, trivial cofibrations by split monomorphisms with cokernel in TC, and weak equivalences by TFib∘TCoFib. Section 5 applies the framework to rediscover ω-model structures and W-model structures and discusses their relation to exact model structures.

Significance. Assuming the main theorems, this is a valuable contribution. It provides an additive description of homotopy categories of model structures on weakly idempotent complete additive categories, extending known results for exact model structures and ω-model structures. The classification of fibrant model structures by fibrantly weak factorization systems is clean and genuinely useful, and the applications to ω- and W-model structures illustrate the framework well. The proofs in Section 4 are detailed and internally coherent; in particular, the two-out-of-three argument in §4.3 is complete as written, and the verification of the retract, lifting, and factorization axioms from the fibrantly weak factorization system data is sound. The main limitation of the manuscript is presentational: several conventions and diagrams need clarification, but I found no load-bearing mathematical error in the central arguments.

minor comments (5)

[Section 1.2, around Eq. (1.1)] The paper uses the phrase "Hom_A(U,f) is epic" before explicitly defining the convention. Since Hom_A(U,−) takes values in abelian groups, epimorphisms in Ab coincide with surjective homomorphisms and with surjective set maps, so the ambiguity is not mathematically dangerous; nevertheless, the authors should state explicitly that they mean surjectivity of the induced set map, for readability.
[Lemma 4.8] In the first lifting step of Lemma 4.8, the text states that the lifting s satisfies "su = IdX and vus = v". The condition "vus = v" appears to be a typesetting error, since the argument uses only a section of u; it should likely read "vs = vu" or be removed. Please correct the displayed diagram and the surrounding sentence.
[Definition 1.3(3)] In Definition 1.3(3), the symbol L is used both for a class of morphisms and, immediately afterward, for the object class {X | 0→X ∈ L}; the same is true for R. This double use is confusing; please introduce separate notation such as L^ob and R^ob.
[Proof of Theorem 1.4, §4.3] In the factorization axiom part of the converse direction, the proof explicitly constructs only the factorization f = p∘i with i ∈ TCoFib and p ∈ Fib. The companion factorization f = q∘j with j ∈ CoFib and q ∈ TFib holds by the weak factorization system (CoFib,TFib) together with Lemma 4.5, but this should be stated explicitly so that the verification of the model-category factorization axiom is visibly complete.
[Abstract and Introduction] The abstract and several sentences in the introduction contain grammatical errors, e.g., "Fibrant model structures is explicitly described by trivial cofibrations". A careful language edit is recommended before publication.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the central homotopy-category theorem and the fibrant model structure correspondence are proved from model-category axioms, localization facts, and the stated weak factorization system axioms; overlapping-author citations occur only in applications and are not load-bearing for the main results.

full rationale

The paper's central claims are self-contained derivations rather than repackaged inputs. Theorem 1.1 is proved in Section 3 by showing directly, for f in C cap F, that f is a weak equivalence if and only if f becomes an isomorphism in the additive quotient (C cap F)/(C cap F cap W); the proof uses Lemma 2.2 on localization categories, the factorizations (3.2) and (3.3), and Lemmas 2.4, 2.6 and 2.7, all standard model-category consequences. No step assumes the conclusion. The same holds for the classification Theorems 1.2, 1.4 and 1.5: the forward direction derives the formulas Fib = Hom_A(TC,-)-epic and TCoFib = {splitting monomorphisms with cokernel in TC} from the model axioms and Lemmas 2.4 and 2.7, while the converse direction verifies each model axiom from the fibrantly weak factorization system axioms. In particular, the two-out-of-three axiom in Section 4.3 is obtained from Lemmas 4.3-4.8 and Deﬁnition 1.3(2), with no hidden use of a model structure that is being constructed. The 'epic' ambiguity raised in the reader's take is not a circular step and does not affect the argument: in a pointed additive category Hom-sets are abelian groups, epimorphisms in Ab are exactly surjective homomorphisms, and maps to the singleton Hom(U,0) are surjective under either reading. The paper does cite [CLZ], an overlapping-authors preprint, in the applications section: Theorem 5.2 is stated as '[CLZ, Theorem 1.3]' and the full proof of Theorem 5.1 is deferred with 'For a complete proof we refer to [CLZ, Theorem 1.1].' These citations support rediscovery of omega-model structures and weakly projective model structures, not the proofs of Theorems 1.1, 1.2, 1.4 or 1.5; moreover the results are attributed also to Beligiannis and Reiten. Thus the self-citation is minor and non-load-bearing, and the paper's derivation chain does not reduce to its own inputs.

Assumptions & free parameters 0 free parameters · 4 assumptions · 2 invented entities

The central proof uses standard model category lemmas and the Gabriel-Zisman localization construction. The only genuinely new postulated structure is the fibrantly weak factorization system. The most significant hidden convention is the Hom epic interpretation. No scientific constants or fitted parameters appear.

assumptions (4)

standard math Quillen model structure axioms as stated in Definition 2.3, on categories not necessarily complete or bicomplete.
The paper uses these axioms to derive Lemma 2.4 and Lemma 2.7. If one requires all limits and colimits, the theorems still apply, but the paper deliberately works in the broader setting of weakly idempotent complete additive categories.
domain assumption Weak idempotent completeness: every splitting monomorphism has a cokernel and every splitting epimorphism has a kernel.
This is central to Theorem 1.1. The quotient description of the homotopy category needs cokernels and kernels of splitting maps, and the closure of relevant object classes under direct summands.
ad hoc to paper The phrase 'Hom_A(U,f) is epic' is interpreted as surjective on Hom sets, not as a surjective homomorphism of abelian groups.
The paper never states this. The fibrant-object characterization, such as every X to 0 being Hom_A(TC, -)-epic, and the W-model examples only work under the set-surjective reading.
standard math Localization A[S^{-1}] exists and Lemma 2.2 describes localizations by inverting maps that become isomorphisms in an additive quotient category.
This is used in Section 3 to identify the homotopy category with an additive quotient of bifibrant objects by trivial bifibrant objects.

invented entities (2)

Fibrantly weak factorization system
purpose: A pair (L, R) satisfying weak factorization system axioms plus a right-cancellation condition and contravariant finiteness of the object class L intersected with R. It is used to encode fibrant model structures.
This is a new definition whose only evidence is the proven equivalence with fibrant model structures in Theorem 1.5. It has no external falsifiable handle outside the paper.
Cofibrantly weak factorization system
purpose: The dual notion used in Section 6 to encode cofibrant model structures.
Stated without proof as the dual version of the fibrantly weak factorization system material. It mirrors the fibrantly version.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Homotopy categories and fibrant model structures." pith.science (2026). https://pith.science/paper/GNPCKQVF

@misc{pith2026250115898,
  author       = {Pith},
  title        = {Pith review of: Homotopy categories and fibrant model structures},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GNPCKQVF}},
  note         = {Machine review of arXiv:2501.15898}
}

abstract

The homotopy category of a model structure on a weakly idempotent complete additive category is proved to be equivalent to the additive quotient of the category of cofibrant-fibrant objects with respect to the subcategory of cofibrant-fibrant-trivial objects. A model structure on pointed category is fibrant, if every object is a fibrant object. Fibrant model structures is explicitly described by trivial cofibrations, and also by fibrations. Fibrantly weak factorization systems are introduced, fibrant model structures are constructed via fibrantly weak factorization systems, and a one-one correspondence between fibrantly weak factorization systems and fibrant model structures is given. Applications are given to rediscover the $\omega$-model structures and the $\mathcal W$-model structures, and their relations with exact model structures are discussed.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

[1]

Ad\'amek, H

J. Ad\'amek, H. Herrlich, J. Rosick\'y, W. Tholen, Weak factorization systems and topological functors, Appl. Categ. Structures 10(3)(2002), 237-249

work page 2002
[2]

L. L. Avramov, H-B. Foxby, Homological dimensions of unbounded complexes, J. Pure Appl. Algebra 71(2-3)(1991), 129-155

work page 1991
[3]

Becker, Models for singularity categories, Adv

H. Becker, Models for singularity categories, Adv. Math. 254(2014), 187-232

work page 2014
[4]

Beligiannis, Homotopy theory of modules and Gorenstein rings, Math

A. Beligiannis, Homotopy theory of modules and Gorenstein rings, Math. Scand. 89 (2001), 5-45

work page 2001
[5]

Beligiannis, I

A. Beligiannis, I. Reiten, Homological and homotopical aspects of torsion theories, Mem. Amer. Math. Soc. 188, 883(2007)

work page 2007
[6]

B\"uhler, Exact categories, Expositions Math

T. B\"uhler, Exact categories, Expositions Math. 28(2010), 1-69

work page 2010
[7]

J. Cui, X. S. Lu, P. Zhang, Model structure from one hereditary complete cotorsion pair, arXiv: 2401.08078v1

work page Pith review arXiv
[8]

Enochs, M

E. Enochs, M. G. Jenda, J. Xu, Orthogonality in the category of complexes, Math. J. Okayama Univ. 38(1996), 25-46

work page 1996

Show all 20 references

[9]

Gabriel and M

P. Gabriel and M. Zisman, Calculus of fractions and homotopy theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35, Springer-Verlag New York, Inc., New York, 1967

1967
[10]

Gillespie, The flat model structure on Ch (R) , Trans

J. Gillespie, The flat model structure on Ch (R) , Trans. Amer. Math. Soc. 356(8)(2004), 3369-3390

2004
[11]

Gillespie, Model structures on exact categories, J

J. Gillespie, Model structures on exact categories, J. Pure Appl. Algebra 215(12)(2011), 2892-2902

2011
[12]

Gillespie, How to construct a Hovey triple from two cotorsion pairs, Fund

J. Gillespie, How to construct a Hovey triple from two cotorsion pairs, Fund. Math. 230(3)(2015), 281-289

2015
[13]

Hovey, Model categories, Math

\ M. Hovey, Model categories, Math. Surveys and Monographs 63, Amer. Math. Soc., Providence, 1999

1999
[14]

Hovey, Cotorsion pairs, model category structures, and representation theory, Math

\ M. Hovey, Cotorsion pairs, model category structures, and representation theory, Math. Z. 241(3)(2002), 553-592

2002
[15]

Krause, Homological Theory of Representations, Cambridge Studies in Advanced Math

H. Krause, Homological Theory of Representations, Cambridge Studies in Advanced Math. 195, Cambridge University Press, Cambridge, 2022

2022
[16]

Pirashvili, Closed model category structures on abelian categories, Bull

T. Pirashvili, Closed model category structures on abelian categories, Bull. Ac. Sc. Georgian SSR. 124(2)(1986), 265-268

1986
[17]

Quillen, Homotopical algebra, Lecture Notes in Math

\ D. Quillen, Homotopical algebra, Lecture Notes in Math. 43, Springer-Verlag, 1967

1967
[18]

Quillen, Rational Homotopy Theory, Ann

\ D. Quillen, Rational Homotopy Theory, Ann. Math. 90(2)(1969), 205-295

1969
[19]

\ J. S t'ov\' c ek, Exact model categories, approximation theory, and cohomology of quasi-coherent sheaves, in: Advances in Representation Theory of Algebras, EMS Series of Congress Reports, European Math. Soc. Publishing House, 2014, pp. 297--367

2014
[20]

Balchin, A handbook of model categories, Algebra and Applications, 27, Springer, Cham, 2021

S. Balchin, A handbook of model categories, Algebra and Applications, 27, Springer, Cham, 2021

2021

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.

[1] [1]

Ad\'amek, H

J. Ad\'amek, H. Herrlich, J. Rosick\'y, W. Tholen, Weak factorization systems and topological functors, Appl. Categ. Structures 10(3)(2002), 237-249

work page 2002

[2] [2]

L. L. Avramov, H-B. Foxby, Homological dimensions of unbounded complexes, J. Pure Appl. Algebra 71(2-3)(1991), 129-155

work page 1991

[3] [3]

Becker, Models for singularity categories, Adv

H. Becker, Models for singularity categories, Adv. Math. 254(2014), 187-232

work page 2014

[4] [4]

Beligiannis, Homotopy theory of modules and Gorenstein rings, Math

A. Beligiannis, Homotopy theory of modules and Gorenstein rings, Math. Scand. 89 (2001), 5-45

work page 2001

[5] [5]

Beligiannis, I

A. Beligiannis, I. Reiten, Homological and homotopical aspects of torsion theories, Mem. Amer. Math. Soc. 188, 883(2007)

work page 2007

[6] [6]

B\"uhler, Exact categories, Expositions Math

T. B\"uhler, Exact categories, Expositions Math. 28(2010), 1-69

work page 2010

[7] [7]

J. Cui, X. S. Lu, P. Zhang, Model structure from one hereditary complete cotorsion pair, arXiv: 2401.08078v1

work page Pith review arXiv

[8] [8]

Enochs, M

E. Enochs, M. G. Jenda, J. Xu, Orthogonality in the category of complexes, Math. J. Okayama Univ. 38(1996), 25-46

work page 1996