Homotopy limits of model categories, revisited

Julia E. Bergner

REVIEW 3 major objections 5 minor 32 references

Homotopy limits of model categories, revisited

T0 review · 3 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read This paper shows that homotopy limits of model categories exist for diagrams of left Quillen functors whenever the lax limit is right proper, and argues that no mixed left/right analogue can work.

desk verdict A faithful survey of the author's own homotopy-limit construction, with a genuinely new but unproved closing claim about mixed left/right Quillen functors that the abstract overstates. read the letter →

arxiv 2411.18546 v1 pith:ZI3EOOUE submitted 2024-11-27 math.AT math.CT

Julia E. Bergner This is my paper · ORCID

classification math.ATmath.CT MSC 55U4055U3518G5518G3018D20

keywords modelcategoriescompleteSegalspaces(∞1)-categorieshomotopytheorieslimitsleftQuillenfunctorsrightBousfieldlocalizationcombinatorial

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

The paper revisits the construction of homotopy limits for diagrams of model categories connected by left Quillen functors. It explains that such a limit can be obtained as a right Bousfield localization of a lax diagram category, provided the lax limit is right proper. It surveys applications, including derived Hall algebras, the arithmetic fracture square, towers of n-types, chromatic localization, and adelic models for tensor-triangulated categories. It then argues that the construction cannot be adapted to diagrams mixing left and right Quillen functors: the two natural candidates either collapse to a trivial limit or lose homotopy control over the structure maps. The reader should take away that the left-Quillen construction works for real examples, while the right properness hypothesis is a genuine price, not a mere technicality.

What carries the argument

The central object is the lax homotopy limit $L_D M$: the category of compatible families $(x_\alpha, u_\theta)$ where $x_\alpha$ lies in $M_\alpha$ and $u_\theta : F_\theta(x_\alpha) \to x_\beta$ is a not-necessarily-weak-equivalence map in $M_\beta$. The paper gives $L_D M$ the injective model structure and then applies a right Bousfield localization with respect to a carefully chosen set $B$ of objects whose structure maps are weak equivalences. The existence of this localization rests on the right Bousfield localization theorem for right proper combinatorial model categories (Theorem 2.16); the set $B$ is built from presentations of combinatorial model categories by filtered colimits, because filtered colimits preserve the weak equivalence condition on the maps $u_\theta$. That combination — a right proper lax limit, a set of objects detecting the homotopy limit, and a right Bousfield localization — is the mechanism carrying every construction in the paper.

What would settle it

A concrete falsifier would be a diagram $M_1 \xrightarrow{F_1} M_3 \xleftarrow{G_2} M_2$ with $F_1$ left Quillen and $G_2$ right Quillen, together with a model category $H$ and Quillen equivalences to the three vertices making $H$ a genuine homotopy pullback that is not equivalent to $M_1$; such a diagram would overturn the paper's claim that mixed diagrams cannot be handled.

Watch

Extended reading notes

Core claim

The central claim is that a homotopy limit of a diagram of combinatorial model categories and left Quillen functors exists whenever the corresponding lax homotopy limit $L_D M$ carries a right proper model structure. Under that hypothesis, Theorem 5.2 produces a right Bousfield localization of $L_D M$ whose cofibrant objects $(x_\alpha, u_\theta)$ have every $x_\alpha$ cofibrant and every structure map $u_\theta$ a weak equivalence; these are precisely the objects one wants in the homotopy limit. The same mechanism specializes to the homotopy pullback case in Theorem 3.4. Conversely, the paper maintains that no analogue works for diagrams that mix left and right Quillen functors: any proposed definition either reduces to a homotopy limit of left Quillen functors, collapsing to the initial vertex, or fails to preserve the weak equivalence condition under homotopy colimits.

Load-bearing premise

The load-bearing premise is that the lax homotopy pullback (or lax homotopy limit) is a right proper model category; the paper admits that no conditions on the individual model categories are known to guarantee this, and if right properness fails, the localization theorem that produces the homotopy limit no longer applies.

Editorial extensions

If this is right

For any D-shaped diagram of combinatorial model categories whose lax homotopy limit is right proper, the homotopy limit $\mathrm{Lim}_D M$ exists as a model category with the expected cofibrant objects.
The homotopy pullback construction recovers the derived Hall algebra associativity result: the homotopy pullback of the target and cone functors on $N[1]$ is Quillen equivalent to $N[2]$.
The arithmetic fracture square for spectra lifts to a Quillen equivalence between symmetric spectra and the homotopy limit of the localized Moore-spectrum model categories.
The homotopy limit of the tower of n-type localizations recovers simplicial sets, giving a model-category-level version of Postnikov-style convergence; the chromatic analogue reproduces the Chromatic Convergence Theorem as a Quillen pair.
The adelic module diagram construction yields a Quillen equivalence between a finite-dimensional Noetherian model category and the homotopy limit of its adelic module categories.

Reading between the lines

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

A testable extension would be to search for a diagram of combinatorial model categories whose lax homotopy limit is provably not right proper but still admits a homotopy limit by another method; finding one would show the right properness hypothesis in Theorem 5.2 is sufficient but not necessary.
One could try to rescue the mixed left/right construction by replacing the homotopy colimit argument with a homotopy limit argument in the localization set; the paper's obstruction suggests a different universal property, not the usual homotopy pullback, may be needed.
If the adelic module equivalence holds in settings where the ambient categories are not combinatorial, right properness of the lax limit may be automatic there, which would broaden Theorem 5.2's applicability.

Share X Bluesky LinkedIn Reddit HN

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

This is a survey of Bergner's earlier construction of homotopy limits of model categories, written for a birthday proceedings. The survey part is clear and accurate: it walks through the lax homotopy pullback, the localization step, and the examples from Toën, Gutiérrez–Roitzheim, and Balchin–Greenlees without distortion. I would not send a graduate student to the original papers first; this gives a more accessible route. The self-citation is heavy but appropriate for a review of one's own construction.

The genuinely new part is Section 8, on mixing left and right Quillen functors. That section is honest and useful as a discussion, but it does not prove what the abstract claims. The abstract says we "cannot work with a combination of the two," while the body only shows that two candidate definitions fail, then ends with "we expect" the mixed case to be problematic. That gap is real and should be fixed. If the claim can be proved, it would be a useful negative result; if not, it needs to be labeled a conjecture or open problem. The rest of the paper's limitations are mild: Theorem 5.2 is quoted without proof, and the right properness hypothesis is explicitly unverified, but the survey is transparent about both.

Your reader's take is close to mine. I would slightly downweight the "circularity" concern because the paper does not use its own review to prove anything; it is self-reference, not circularity. The strongest soft spot is the abstract/body mismatch on Section 8. That is not a fatal flaw in a survey, but it is the one thing that should be corrected before publication.

Who is this for? Anyone who wants a readable entry point to Bergner's homotopy limits of model categories and the adelic model application. It also gives the community a place to start if they want to take up the mixed-functor question seriously. I would accept this for peer review, but I would send it back with a request to either prove the Section 8 claim or explicitly state it as a conjecture, and to align the abstract with the body.

Referee Report

3 major / 5 minor

Summary. The paper is a survey, written for a birthday conference proceedings, of the author's earlier constructions of homotopy pullbacks and homotopy limits of diagrams of left Quillen functors between combinatorial model categories. It recalls the definitions, states the main existence theorems (Theorems 3.4 and 5.2) under a right properness hypothesis, and summarizes applications due to Toën, Gutiérrez–Roitzheim, and Balchin–Greenlees. The last section discusses whether the construction can be extended to diagrams mixing left and right Quillen functors and concludes, in the abstract and introduction, that such a mixed construction cannot work.

Significance. If its negative claim were established, the paper would provide a useful boundary on the flexibility of the homotopy limit construction for model categories. The survey portion is a clear and helpful summary of the literature, and the collection of examples, especially the adelic models section, is valuable. The paper is also honest about the restrictive right properness assumption. However, the paper's only new mathematical contribution, the discussion in Section 8, is informal and does not prove the stated impossibility; moreover, one of its intermediate claims appears to be false. The paper is therefore currently not reliable as a reference for the negative conclusion in the abstract.

major comments (3)

[§8, after Definition 8.1] The assertion that the homotopy limit of the left-Quillen diagram M1 → M3 → M2 'is equivalent to the model category M1, as the initial object in the diagram' is not consistent with the construction of Definition 5.1 and is false in general. For instance, take M1 = M2 = M3 = sSet with F1 = F2 = id; then the homotopy limit has objects (x1, x3, x2; u, v) with u and v weak equivalences, which is the category of factorizations of weak equivalences through an intermediate object and is not equivalent to sSet. Even the paper's single-arrow case in Example 6.1 gives the weak essential image, not the source. This claim is load-bearing because it is the paper's only reason for rejecting Definition 8.1.
[§8, Definition 8.2 and concluding paragraphs] The abstract and introduction state categorically that mixed left/right Quillen diagrams 'cannot work,' but the body of the paper does not establish this. The discussion after Definition 8.2 is explicitly heuristic, with phrases such as 'It does not seem to be the case,' 'we seem to lose all control,' and 'we expect.' No theorem is proved, and no counterexample is given to show that homotopy colimits fail to preserve the required weak equivalence condition. The paper should either supply a rigorous impossibility result (or a counterexample) or revise the abstract and introduction to present Section 8 as a discussion of difficulties with two natural candidate definitions.
[§3, Theorem 3.4 and §5, Theorem 5.2] The central existence theorems both depend on the hypothesis that the lax homotopy pullback (or lax homotopy limit) is right proper, but the paper explicitly states that no conditions on the model categories M_i are known to guarantee this. None of the survey's examples verifies right properness for its lax homotopy limit, so the advertised applications are not demonstrably covered by the theorems. The paper should clarify for which examples the right properness hypothesis is known to hold, or explicitly frame the theorems as conditional statements for which no generic hypotheses are currently known.

minor comments (5)

[§8, first paragraph] The phrase 'we talk though possible solutions' should be 'we talk through possible solutions.'
[Example 4.3] The sentence 'See also [10] for details about how why such a localization is possible' contains a typo: 'about how why' should be 'about why.'
[§7, Definition 7.4 and Theorem 7.6] The article uses 'an ﬁnite-dimensional' in two places; it should be 'a finite-dimensional.'
[Definitions 3.1, 8.1, 8.2] Several commutative diagrams are typeset illegibly in the manuscript, with arrows appearing as long strings of slashes and digits. The diagrams should be typeset properly so that the objects and arrows are readable.
[Theorem 5.2] Theorem 5.2 is quoted from [7] without proof and with only a remark that the proof is analogous to that of Theorem 3.4. For a survey paper this is acceptable, but giving a precise reference to the location of the proof in [7] would help the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the survey's recalled theorems are cited to prior work with independent proofs, and Section 8's mixed-diagram claims are explicitly informal expectations rather than results derived from their own inputs.

full rationale

The paper is an expository review of the author's earlier homotopy-limit constructions. Its load-bearing statements, Theorem 3.4 and Theorem 5.2, are quoted from [6, Thm 3.1] and [7, Thm 3.2], with the latter proof deferred to [7]; this is self-citation, but it is not used to prove anything new in this paper. The examples are attributed to external authors (Toen, Gutierrez-Roitzheim, Balchin-Greenlees), and the localization machinery in Theorem 2.16 is Hirschhorn's and Barwick's, not an input recycled as a conclusion. Section 8 explicitly presents a failure analysis, not a derivation: it says 'we claim that this definition still does not work,' 'It does not seem to be the case,' 'we do not seem to have a good way,' and 'we expect that the situation ... is analogously problematic.' Those hedged statements may make the abstract's categorical assertion 'cannot work with a combination of the two' stronger than what is proven, but an overstatement is a rigor gap, not circularity. No quantity is fitted and later called a prediction, and no self-citation is invoked as a forced uniqueness theorem. Accordingly, there are no circular steps to report.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters or invented entities. The paper depends on standard model-category theorems from Hirschhorn, Dugger, and Barwick, plus an ad hoc right properness hypothesis on the lax limit that is not derivable from the stated hypotheses. Section 8 depends on an unproved claim about homotopy colimits preserving the adjoint weak equivalence condition.

assumptions (5)

domain assumption The right Bousfield localization of a right proper combinatorial model category with respect to a set of objects exists and has the stated cofibrant objects (Theorem 2.16, cited to Hirschhorn [18] and Barwick [4]).
This is the engine that turns the lax homotopy pullback or limit into a model category whose cofibrant objects have the required weak equivalences; the paper relies on it in the proofs of Theorems 3.4 and 5.2.
ad hoc to paper The lax homotopy pullback M, or lax homotopy limit L_D M, is a right proper model category.
Theorems 3.4 and 5.2 require this as a hypothesis, but the paper states that no conditions on the M_alpha are known to guarantee it. This is the most fragile premise of the existence statement.
standard math Filtered colimits in a combinatorial model category preserve weak equivalences (Dugger [9, 7.3]).
Used in the proof of Theorem 3.4 to show that taking filtered colimits of the generating objects in B still yields objects whose comparison maps are weak equivalences.
standard math Homotopy colimits preserve weak equivalences between cofibrant objects (Hirschhorn [18, 19.4.2]).
Used in the proof of Theorem 3.4 to conclude that hocolim(u) and hocolim(v) are weak equivalences when the x_alpha are cofibrant.
ad hoc to paper In the mixed left/right Quillen setting of Definition 8.2, the homotopy colimit of maps that are weak equivalences has adjoint maps that are again weak equivalences.
The paper needs this to make the right Bousfield localization argument go through, but it says 'It does not seem to be the case' and supplies no proof; the negative conclusion depends on this failure.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Homotopy limits of model categories, revisited." pith.science (2026). https://pith.science/paper/ZI3EOOUE

@misc{pith2026241118546,
  author       = {Pith},
  title        = {Pith review of: Homotopy limits of model categories, revisited},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZI3EOOUE}},
  note         = {Machine review of arXiv:2411.18546}
}

read the original abstract

The definition of the homotopy limit of a diagram of left Quillen functors of model categories has been useful in a number of applications. In this paper we review its definition and summarize some of these applications. We conclude with a discussion of why we could work with right Quillen functors instead, but cannot work with a combination of the two.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 30 canonical work pages

[1]

Adams, Stable Homotopy and Generalized Homology , University of Chicago Press, 1974

J.F. Adams, Stable Homotopy and Generalized Homology , University of Chicago Press, 1974

work page 1974
[2]

Greenlees, Adelic models of ten sor-triangulated categories, Adv

Scott Balchin and J.P.C. Greenlees, Adelic models of ten sor-triangulated categories, Adv. Math. 375 (2020), 107–339

work page 2020
[3]

Reine Angew

Paul Balmer, The spectrum of prime ideals in tensor trian gulated categories, J. Reine Angew. Math. 588 (2005), 149-–168

work page 2005
[4]

12 (2010), no

Clark Barwick, On left and right model categories and lef t and right Bousﬁeld localizations, Homology, Homotopy Appl. 12 (2010), no. 2, 245–320. categories, Trans. Amer. Math. Soc. 361 (2009), 525–546. 18 J.E. BERGNER

work page 2010
[5]

Bergner, Homotopy colimits of model categories , An Alpine Expedition through Algebraic Topology, 31–37, Contemp

Julia E. Bergner, Homotopy colimits of model categories , An Alpine Expedition through Algebraic Topology, 31–37, Contemp. Math. , 617, Amer. Math. Soc., Providence, RI, 2014

work page 2014
[6]

Bergner, Homotopy ﬁber products of homotopy theori es, Israel J

J.E. Bergner, Homotopy ﬁber products of homotopy theori es, Israel J. Math. 185 (2011), 389-–411

work page 2011
[7]

Bergner, Homotopy limits of model categories an d more general homotopy theories, Bull

Julia E. Bergner, Homotopy limits of model categories an d more general homotopy theories, Bull. Lond. Math. Soc. 44 (2012), no. 2, 311–322

work page 2012
[8]

Bousﬁeld and D.M

A.K. Bousﬁeld and D.M. Kan, Homotopy Limits, Completions, and Localizations, Lecture Notes in Math 304 , Springer-Verlag, 1972

work page 1972

Show all 32 references

[9]

Daniel Dugger, Combinatorial model categories have pre sentations. Adv. Math. 164 (2001), no. 1, 177–201

2001
[10]

Homotopy Appl

Daniel Dugger, Spectral enrichments of model categori es, Homol. Homotopy Appl. 8(1), (2006) 1–30

2006
[11]

Dwyer and D.M

W.G. Dwyer and D.M. Kan, Function complexes in homotopi cal algebra, Topology 19 (1980), 427–440

1980
[12]

Dwyer and D.M

W.G. Dwyer and D.M. Kan, Simplicial localizations of ca tegories, J. Pure Appl. Algebra 17 (1980), no. 3, 267–284

1980
[13]

Dwyer and J

W.G. Dwyer and J. Spalinski, Homotopy theories and mode l categories, in Handbook of Algebraic Topology, Elsevier, 1995

1995
[14]

Goerss and J.F

P.G. Goerss and J.F. Jardine, Simplicial Homotopy Theory, Progress in Math , vol. 174, Birkhauser, 1999

1999
[15]

Gui´ errez and Constanze Roitzheim, Towers and ﬁbered products of model structures, Mediterr

Javier J. Gui´ errez and Constanze Roitzheim, Towers and ﬁbered products of model structures, Mediterr. J. Math. 13 (2016), 3863–3886

2016
[16]

Yonatan Harpaz, Lax limits of model categories, Theory Appl. Categ. 35 (2020), Paper No. 25, 959—978

2020
[17]

Yonatan Harpaz and Matan Prasma, The Grothendieck cons truction for model categories, Adv. Math. 281 (2015), 1306—1363

2015
[18]

Hirschhorn, Model Categories and Their Localizations, Mathematical Su rveys and Monographs 99, American Mathematical Society, 2003

Philip S. Hirschhorn, Model Categories and Their Localizations, Mathematical Su rveys and Monographs 99, American Mathematical Society, 2003

2003
[19]

American Math- ematical Society 1999

Mark Hovey, Model Categories, Mathematical Surveys and Monographs, 63 . American Math- ematical Society 1999

1999
[20]

fundamental theorem

Thomas H¨ uttemann, John R. Klein, W olrad Vogell, Fried helm W aldhausen, and Bruce Williams, The “fundamental theorem” for the algebraic K-theory of spaces, I. J. Pure Appl. Algebra 160 (2001), no. 1, 21–52

2001
[21]

Thomas H¨ uttemann and Oliver R¨ ondigs, Twisted diagrams and homotopy sheaves, preprint available at math.AT/0805.4076

arXiv
[22]

Annals of Mathematics Studies , 170

Jacob Lurie, Higher topos theory. Annals of Mathematics Studies , 170. Princeton University Press, Princeton, NJ, 2009

2009
[23]

Saunders Mac Lane, Categories for the Working Mathematician, Second Edition, Graduate Texts in Mathematics 5 , Springer-Verlag, 1997

1997
[24]

May, Simplicial Objects in Algebraic Topology , University of Chicago Press, 1967

J.P. May, Simplicial Objects in Algebraic Topology , University of Chicago Press, 1967

1967
[25]

Daniel Quillen, Homotopical Algebra, Lecture Notes in Math 43 , Springer-Verlag, 1967

1967
[26]

Ravenel, Nilpotence and Periodicity in Stable Homotopy Theory, Anna ls of Math- ematics Studies , 128

Douglas C. Ravenel, Nilpotence and Periodicity in Stable Homotopy Theory, Anna ls of Math- ematics Studies , 128. Princeton University Press, Princeton, NJ, 1992

1992
[27]

Reedy, Homotopy theory of model categories, unpub lished manuscript, available at http://www-math.mit.edu/∼ psh

C.L. Reedy, Homotopy theory of model categories, unpub lished manuscript, available at http://www-math.mit.edu/∼ psh
[28]

Charles Rezk, A model for the homotopy theory of homotop y theory, Trans. Amer. Math. Soc. 353(3) (2001), 973–1007

2001
[29]

Charles Rezk, Toposes and homotopy toposes, available at http://www.math.uiuc.edu/∼ rezk/homotopy-topos-sketch.pdf
[30]

Bertrand To¨ en, Derived Hall algebras, Duke Math. J. 135, no. 3 (2006), 587–615

2006
[31]

Bertrand To¨ en, The homotopy theory of dg-categories a nd derived Morita theory, Invent. Math. 167 (2007), no. 3, 615–667

2007
[32]

Bertrand To¨ en and Gabriele Vezzosi, Homotopical alge braic geometry. I. Topos theory, Adv. Math. 193 (2005), no. 2, 257–372. Department of Mathematics, University of Virginia, Charlott esville, V A 22904 Email address : jeb2md@virginia.edu

2005

Pith tools

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

[1] [1]

Adams, Stable Homotopy and Generalized Homology , University of Chicago Press, 1974

J.F. Adams, Stable Homotopy and Generalized Homology , University of Chicago Press, 1974

work page 1974

[2] [2]

Greenlees, Adelic models of ten sor-triangulated categories, Adv

Scott Balchin and J.P.C. Greenlees, Adelic models of ten sor-triangulated categories, Adv. Math. 375 (2020), 107–339

work page 2020

[3] [3]

Reine Angew

Paul Balmer, The spectrum of prime ideals in tensor trian gulated categories, J. Reine Angew. Math. 588 (2005), 149-–168

work page 2005

[4] [4]

12 (2010), no

Clark Barwick, On left and right model categories and lef t and right Bousﬁeld localizations, Homology, Homotopy Appl. 12 (2010), no. 2, 245–320. categories, Trans. Amer. Math. Soc. 361 (2009), 525–546. 18 J.E. BERGNER

work page 2010

[5] [5]

Bergner, Homotopy colimits of model categories , An Alpine Expedition through Algebraic Topology, 31–37, Contemp

Julia E. Bergner, Homotopy colimits of model categories , An Alpine Expedition through Algebraic Topology, 31–37, Contemp. Math. , 617, Amer. Math. Soc., Providence, RI, 2014

work page 2014

[6] [6]

Bergner, Homotopy ﬁber products of homotopy theori es, Israel J

J.E. Bergner, Homotopy ﬁber products of homotopy theori es, Israel J. Math. 185 (2011), 389-–411

work page 2011

[7] [7]

Bergner, Homotopy limits of model categories an d more general homotopy theories, Bull

Julia E. Bergner, Homotopy limits of model categories an d more general homotopy theories, Bull. Lond. Math. Soc. 44 (2012), no. 2, 311–322

work page 2012

[8] [8]

Bousﬁeld and D.M

A.K. Bousﬁeld and D.M. Kan, Homotopy Limits, Completions, and Localizations, Lecture Notes in Math 304 , Springer-Verlag, 1972

work page 1972