{"id":"8c2422f3-b16b-48d4-9111-3e596ab4fd7f","arxiv_id":"2411.18546","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A survey of homotopy limits of model categories along left Quillen functors, with examples and a heuristic argument against mixing left and right Quillen functors.","lead":"This paper reviews the construction of homotopy limits for diagrams of model categories connected by left Quillen functors, and gathers examples from the literature. It argues in the final section that the same construction cannot simply be adapted to diagrams that mix left and right Quillen functors.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 8's claim that mixed left/right Quillen diagrams 'cannot work' is not proved; the abstract states it categorically, while the body only shows two candidate definitions fail and ends with 'we expect' rather than a theorem.","rationale":"The reader's weakest_assumption field identifies right properness as the weakest premise of Theorem 5.2. That is a legitimate concern, and the paper itself openly admits that no conditions guaranteeing right properness are known. However, the right properness issue is already stated as a hypothesis and flagged as a limitation, so it does not undermine a claim the paper actually makes; it only limits the theorem's applicability. The more damaging problem is the paper's new, advertised conclusion in Section 8. The text is explicitly hedged ('we do not seem', 'we expect'), while the abstract presents the impossibility of mixed left/right diagrams as an established fact. Since the paper is otherwise a survey of prior work, this unsupported negative claim is the load-bearing weakness. The concrete test with pointed simplicial sets and the forgetful functor gives a specific mixed diagram where the localization either works, refuting the abstract, or fails in an explicit way that could turn Section 8 into a rigorous statement. This does not change the reader's CONDITIONAL verdict; it sharpens the reason for it.","tokens_in":15002,"tokens_out":14650,"duration_ms":130869,"concrete_test":"Test the obstruction on the mixed span M1=sSets, M3=sSets_*, M2=sSets with F1=(-)_+ (add a disjoint basepoint) and G2 the forgetful functor sSets_*→sSets, whose left adjoint is F2=(-)_+. Work through Definition 8.2 for this example: attempt the right Bousfield localization of the injective model structure with respect to the generating set of objects for which u and v are weak equivalences. If the localization exists and its cofibrant objects all have v a weak equivalence, then the abstract's 'cannot work' is refuted. If the localization fails, identify the specific homotopy colimit in the closure of the generating set for which v is not a weak equivalence; that example would convert Section 8's informal worry into a checkable statement. Either outcome distinguishes the strong claim in the abstract from the weak 'no obvious adaptation' claim in the body.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's only new mathematical content is Section 8, which argues that no homotopy pullback can be defined for a diagram mixing a left Quillen functor F1:M1→M3 and a right Quillen functor G2:M2→M3 (with left adjoint F2). Definition 8.1 reduces to the left-Quillen diagram M1→M3→M2 and is therefore not a mixed construction. Definition 8.2 takes u:F1(x1)→x3 and v:x3→G2(x2), with the homotopy pullback requiring u and v to be weak equivalences. The proposed right Bousfield localization would need homotopy colimits to preserve the property 'v is a weak equivalence'. The text observes that the morphisms of the category are expressed through the adjoint v':F2(x3)→x2, and that v weak equivalent does not imply v' weak equivalent, nor is G2(x2) necessarily cofibrant. It then says: 'It does not seem to be the case ... so it seems we lose all control over what we know about v' and concludes 'we do not seem to have a good way' and 'we expect' the mixed case is problematic. This is an informal failure of one construction, not a proof that no mixed homotopy limit can exist. The abstract, by contrast, asserts that 'we cannot work with a combination of the two' as a definitive result. The gap between the categorical abstract claim and the hedged body claim is the load-bearing weakness: the paper's new conclusion is not established.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":15292,"tokens_out":12375,"duration_ms":107387,"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":[{"comment":"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.","section":"§8, after Definition 8.1"},{"comment":"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.","section":"§8, Definition 8.2 and concluding paragraphs"},{"comment":"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.","section":"§3, Theorem 3.4 and §5, Theorem 5.2"}],"minor_comments":[{"comment":"The phrase 'we talk though possible solutions' should be 'we talk through possible solutions.'","section":"§8, first paragraph"},{"comment":"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.'","section":"Example 4.3"},{"comment":"The article uses 'an finite-dimensional' in two places; it should be 'a finite-dimensional.'","section":"§7, Definition 7.4 and Theorem 7.6"},{"comment":"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.","section":"Definitions 3.1, 8.1, 8.2"},{"comment":"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.","section":"Theorem 5.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is largely a self-review of the author's earlier work, which is appropriate for a proceedings volume, but the only new mathematical assertion in Section 8 is not proved and one of its supporting claims appears to be wrong. The editor should be aware that the abstract's categorical negative claim is stronger than what the body actually establishes. With a careful revision of Section 8 and a softened abstract, the survey could be a useful contribution; as it stands, the central new claim is not reliable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nYour 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.\n\nWho 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.","headline":"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.","tokens_in":15814,"tokens_out":1338,"would_cite":false,"duration_ms":15172,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55U40","55U35","18G55","18G30","18D20"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["model categories","complete Segal spaces","(∞,1)-categories","homotopy theories","homotopy limits","left Quillen functors","right Bousfield localization","combinatorial model categories"],"falsifier":"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.","tokens_in":14719,"feed_emoji":"","tokens_out":11322,"duration_ms":83955,"temperature":0.7,"pith_summary":"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.","feed_headline":"Left Quillen functors admit homotopy limits; mixed diagrams do not","feed_subtitle":"Right properness is required for the construction; a mixed left/right version collapses to a trivial limit.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Introduces the original homotopy fiber product construction and is the source of Theorem 3.4.","marker":"[6]"},{"why":"Develops the general homotopy limit construction and is the source of Theorem 5.2.","marker":"[7]"},{"why":"Contains the first definition of the homotopy pullback and the derived Hall algebra example that motivated it.","marker":"[30]"},{"why":"Provides the right Bousfield localization existence theorem (Theorem 2.16) and the homotopy mapping space technology used throughout.","marker":"[18]"},{"why":"Supplies an alternate treatment of left and right Bousfield localizations, including the non-right-proper context.","marker":"[4]"},{"why":"Gives presentations of combinatorial model categories and the filtered-colimit facts used to build the localizing set B.","marker":"[9]"},{"why":"Provides the adelic module category construction and the Quillen equivalence used as the main application in Section 7.","marker":"[2]"},{"why":"Proves the arithmetic fracture square and chromatic tower examples that are cited as applications of the homotopy limit.","marker":"[15]"},{"why":"Gives a quasi-category version of lax limits that validates the homotopy limit notion in another model of (infinity,1)-categories.","marker":"[16]"}],"fun_headline_variants":["Mixed Quillen diagrams can't have homotopy limits","Right properness unlocks homotopy limits for left Quillen functors","Homotopy limits fail for mixed left and right Quillen functors","Mixed diagrams: homotopy limits collapse to trivial","Left Quillen homotopy limits exist; mixed do not"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Mixed Quillen diagrams can't have homotopy limits","Right properness unlocks homotopy limits for left Quillen functors","Homotopy limits fail for mixed left and right Quillen functors","Mixed diagrams: homotopy limits collapse to trivial","Left Quillen homotopy limits exist; mixed do not"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000358,"raw_usage":{"total_tokens":1860,"prompt_tokens":785,"completion_tokens":1075,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":401,"completion_tokens_details":{"reasoning_tokens":984}},"tokens_in":401,"tokens_out":1075,"duration_ms":8924,"temperature":1.0,"reasoning_tokens":984,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:05:53.244083+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Bergner, Homotopy fiber products of homotopy theori es, Israel J","cited_arxiv_id":null,"evidence_quote":"Introduces the original homotopy fiber product construction and is the source of Theorem 3.4."},{"cited_title":"Bergner, Homotopy limits of model categories an d more general homotopy theories, Bull","cited_arxiv_id":null,"evidence_quote":"Develops the general homotopy limit construction and is the source of Theorem 5.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Contains the first definition of the homotopy pullback and the derived Hall algebra example that motivated it."},{"cited_title":"Hirschhorn, Model Categories and Their Localizations, Mathematical Su rveys and Monographs 99, American Mathematical Society, 2003","cited_arxiv_id":null,"evidence_quote":"Provides the right Bousfield localization existence theorem (Theorem 2.16) and the homotopy mapping space technology used throughout."},{"cited_title":"12 (2010), no","cited_arxiv_id":null,"evidence_quote":"Supplies an alternate treatment of left and right Bousfield localizations, including the non-right-proper context."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives presentations of combinatorial model categories and the filtered-colimit facts used to build the localizing set B."},{"cited_title":"Greenlees, Adelic models of ten sor-triangulated categories, Adv","cited_arxiv_id":null,"evidence_quote":"Provides the adelic module category construction and the Quillen equivalence used as the main application in Section 7."},{"cited_title":"Gui´ errez and Constanze Roitzheim, Towers and fibered products of model structures, Mediterr","cited_arxiv_id":null,"evidence_quote":"Proves the arithmetic fracture square and chromatic tower examples that are cited as applications of the homotopy limit."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives a quasi-category version of lax limits that validates the homotopy limit notion in another model of (infinity,1)-categories."}],"review_version":1}