{"id":"2d02931d-33bd-4cf7-be3b-ef00e8d60265","arxiv_id":"2412.13347","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors construct pullbacks of split-surjective A-infinity functors and thereby prove that (A-infinity Cat, quasi-equivalences) is a fibrant object in RelCat.","lead":"This paper proves that pullbacks exist in the category of strictly unital A-infinity categories for functors satisfying a split-surjectivity condition, and uses this to answer James Pascaleff's open question about whether the relative category of A-infinity categories is fibrant. The result is a step toward a cleaner homotopy theory for A-infinity categories over a field.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 2's unproved claim that γ is a cocategory endomorphism appears false on length-3 tensors, breaking the reduction to the strict functor F1 in diagrams (10).","rationale":"The reader's weakest_assumption identifies exactly the unproved cocategory-functor property of γ and the automorphism property of Φ. My independent computation indicates the issue is stronger than a missing routine verification: the displayed formula for γ conflicts with the comultiplication axiom on length-3 inputs unless all higher components F_n vanish or the section degenerates. Because Theorem 2 uses Φ to replace F by the strict functor F1 and thereby to define the A∞ structure on the candidate pullback, this is the single most load-bearing point of the paper. The proposed test would settle the matter: if the equality Δγ = (γ⊗γ)Δ fails, the construction of the pullback and hence the proof of Theorem 1 is not valid as written. I agree with the reader's identification, but would upgrade the verdict from CONDITIONAL to REJECT because the claim appears internally inconsistent, not just underproved. If an alternative convention for the reduced comultiplication makes the equality hold, the concern would be withdrawn.","tokens_in":21920,"tokens_out":18187,"duration_ms":175250,"concrete_test":"Compute both sides of Δγ = (γ⊗γ)Δ for the γ defined in Section 2 on a length-3 tensor a⊗b⊗c with composable morphisms x→y→z→w, using the reduced comultiplication on B∞(C). Use a concrete A∞ functor F with F2 ≠ 0 and a section s of F1; for instance, take a one-object example with m1 = 0, associative m2, F1 = id, and F2 a nonzero 2-cocycle. Since γ is zero on length-1 cogenerators, (γ⊗γ)Δ(a⊗b⊗c) = 0, whereas the displayed formula gives nonzero terms sF2(a,b)⊗sF1(c) and sF1(a)⊗sF2(b,c) in different direct-sum components after applying Δ. If the two sides differ, γ is not a cocategory functor, and the reduction through diagrams (10), on which Theorem 2 rests, is invalid.","verdict_should_be":"REJECT","load_bearing_attack":"Section 2 defines an endomorphism γ of the reduced cocomplete cocategory B∞(C) by an explicit formula and states: \"The verification that γ is a functor of cocategories is left to the reader.\" This verification is load-bearing: Φ = Id + γ is then asserted to be an automorphism of B∞(C), and diagrams (10) are used to replace the A∞ functor F by the strict functor F1 and to transfer the differential as d̂ = Ψ d Φ. If γ is not a cocategory map, then B∞(F1)Φ is not a functor of cocategories and cannot equal B∞(F); the reduction to diagram (12), on which the pullback construction depends, collapses. The stated formula appears to make the claim false. With the reduced comultiplication, Δ = 0 on length-1 cogenerators, and the displayed formula gives γ(a) = 0 and γ(a⊗b) = sF2(a,b). If γ were a cocategory functor, then for composable morphisms a,b,c we would have (γ⊗γ)Δ(a⊗b⊗c) = γ(a⊗b)⊗γ(c) + γ(a)⊗γ(b⊗c) = 0. But the formula for γ(a⊗b⊗c) contains summands sF2(a,b)⊗sF1(c) and sF1(a)⊗sF2(b,c), whose Δ is nonzero. Hence Δγ and (γ⊗γ)Δ differ whenever F2 ≠ 0 and sF1 does not vanish on some morphism. So the claimed verification is not merely omitted; it is contradicted by a direct computation under the conventions of the paper.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper addresses a question posed by Pascaleff about whether the relative category of A-infinity categories with quasi-equivalences is a fibrant object in the category of relative categories. The authors introduce a class of A-infinity functors satisfying a graded-split surjectivity condition (F1) and, using the bar-cocategory formalism, attempt to prove that pullbacks of such functors along arbitrary A-infinity functors exist (Theorem 2), from which fibrantness is deduced. The proof constructs a candidate pullback quiver, equips it with an A-infinity structure by an inductive procedure, and then verifies the universal property. The main claimed consequence is Theorem 1.","tokens_in":22209,"tokens_out":15688,"duration_ms":143692,"significance":"If correct, the paper would give a positive answer to Pascaleff's question and would provide a missing pullback construction in the category of A-infinity categories, generalizing Lefèvre-Hasegawa's algebra-level result. The paper has the merit of making the construction explicit and of building on standard bar-cocategory bijections. However, the main construction depends on a claimed cocategory endomorphism gamma whose verification is left to the reader; on inspection that claim appears to be false under the paper's own conventions. The significance of the paper is therefore not established in the present version.","major_comments":[{"comment":"The assertion that gamma is a functor of cocategories is load-bearing, and the manuscript does not prove it. The reader is told only: \"The verification that gamma is a functor of cocategories is left to the reader.\" This is not a routine omission: under the reduced comultiplication used in the paper, Delta(a)=0 for a length-1 tensor and Delta(a tensor b tensor c) = a tensor (b tensor c) + (a tensor b) tensor c. From the displayed formula, gamma(a)=0 and gamma(a tensor b)=s F_2(a,b). If gamma were a cocategory functor, then (gamma tensor gamma)Delta(a tensor b tensor c) = gamma(a) tensor gamma(b tensor c) + gamma(a tensor b) tensor gamma(c) = 0. But gamma(a tensor b tensor c) contains the summand s F_2(a,b) tensor s F_1(c) (and s F_1(a) tensor s F_2(b,c)), whose comultiplication is nonzero whenever F_2 is nonzero and the chosen splitting of F_1 does not vanish on some morphism. Hence Delta gamma and (gamma tensor gamma)Delta differ, so gamma is not a functor of cocategories as stated. Since Phi = Id + gamma and the differential transfer d_hat = Psi d Phi depend on gamma and on the commutativity of (10), the reduction to the strict functor F_1 is not justified.","section":"Section 2 (definition of gamma and diagrams (10))"},{"comment":"The displayed equations (21)-(24) do not produce the component tilde b_n that they claim. The computation shows that the first component of the left-hand side of (21) equals tilde c + pr1_E(varrho_n(...)); defining tilde c as pr1_E(varrho_n(...)) makes this first component 2 pr1_E(varrho_n(...)), not zero. A minus sign appears to be missing, or the definition of tilde c must be altered. Since Step 1 constructs all higher components of tilde b by this induction, the existence of the A-infinity structure on the candidate pullback is not established as written.","section":"Section 2.2, proof of Theorem 2.2, Step 1"},{"comment":"The proof of Lemma 3.1 relies on the equality L_{Id x G}(phi) = ... = (0,0), which the text says is \"not hard to prove.\" This equality uses equations (16)-(17) and the properties of tilde b from Theorem 2.2; given the issues above, it is not established. Moreover, uniqueness of the induced functor K is asserted with no argument. A complete proof of the universal property is therefore not supplied.","section":"Section 3, Lemma 3.1"}],"minor_comments":[{"comment":"There are several typographical issues, including \"Pascaleff que stion\" in the Abstract. Please proofread the text carefully.","section":"Abstract and Introduction"},{"comment":"Reference [7] has an empty title; the thesis title should be supplied.","section":"References"},{"comment":"The inequality \"1 >= j >= b\" appears to be a typo for \"1 <= j <= b\".","section":"Section 2.2, Example 2.1"},{"comment":"The text says \"So (13) has limit\" but the intended statement is that the diagram has a pullback; please correct the terminology.","section":"Section 2.2, proof of Theorem 2.2, Step 1"}],"recommendation":"reject","confidential_remarks":"The stress-test concern is well founded: the missing verification of gamma is not merely absent but is contradicted by a direct computation under the paper's conventions. The central construction of Phi and the transfer of the differential therefore collapse, and Theorem 2 is not proved. The paper would need a genuinely different argument, not just additional details, so I cannot recommend major revision in the usual sense. If the authors produce a corrected construction, it could be considered as a new submission."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear [Colleague],\n\nThis note aims to answer Pascaleff's question by proving that (A∞Cat, W_qe) is fibrant. The plan is reasonable: choose (F1)+(F2) as fibrations, construct pullbacks for (F1) functors, and then apply Meier's criterion. The pullback construction is genuinely new and the generalization of Lefèvre-Hasegawa's algebra statement to categories is a natural step.\n\nThe trouble is in Section 2. The whole reduction to the strict functor F1 rests on an endomorphism γ of the bar cocategory B∞(C), defined by a formula that splits the input into blocks, applies higher F_i components, and lifts the outputs using splittings. The paper says \"the verification that γ is a functor of cocategories is left to the reader.\" That verification is not omitted detail; it is false. For length-three tensors, γ(a⊗b⊗c) contains summands sF_2(a,b)⊗sF_1(c) and sF_1(a)⊗sF_2(b,c). Taking the comultiplication gives nonzero terms. On the other side, (γ⊗γ)Δ(a⊗b⊗c) = γ(a⊗b)⊗γ(c) + γ(a)⊗γ(b⊗c) = 0 because γ vanishes on generators. So Δγ and (γ⊗γ)Δ differ, and γ is not a coalgebra map. Consequently Φ = Id + γ is not an automorphism of the cocategory, and the commutative diagrams (10) do not hold. The claimed reduction to diagram (12) has no basis.\n\nThis is load-bearing: Theorem 2, Corollary 1, and Theorem 3 all depend on it, and the fibrantness conclusion goes with them. The pullback might exist by another argument, but this manuscript does not provide one. The citations and the rest of the expository material look fine, and the authors are clear about what they assume. But \"not difficult\" for an essential false verification is a serious problem, not a minor gap.\n\nIf the authors can fix the γ issue—for instance, by working with twisted coalgebras or by treating γ as a coderivation rather than a coalgebra map—the paper could be salvageable. As written, the central result is unproven.\n\nI would not accept the paper in this form. It does deserve a serious referee if the journal is open to a major revision, because the open question is real and the construction is worth engaging with. Ask the referee to check the γ computation first; I am fairly confident it fails.\n\nBest,","headline":"The paper's proof of fibrantness collapses on a false coalgebra-map claim in Section 2; the pullback construction is still interesting, but the central theorem is unsupported.","tokens_in":22745,"tokens_out":7876,"would_cite":false,"duration_ms":70898,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14F08","18E35","18G70"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the relative category of strictly unital flat $A_\\infty$ categories with quasi-equivalences is fibrant in the category of relative categories, resolving Pascaleff's question.","keywords":["A-infinity categories","relative categories","fibrant objects","pullbacks","quasi-equivalences","bar construction","graded quivers","formal morphisms"],"falsifier":"Compute the cocategory-functor equation for $\\gamma$ on a two-tensor input in $B_\\infty(A)$ for a small $A_\\infty$ category where $F_1$ is a split surjection, using the bar-construction signs; if the equation fails, or if the truncated inverse of $\\Phi$ fails to invert it in any degree, then the transferred $A_\\infty$ structure is not justified and Theorem 2 collapses.","tokens_in":21698,"feed_emoji":"","tokens_out":10655,"duration_ms":91770,"temperature":0.7,"pith_summary":"This note proves that the relative category of (strictly unital, flat) $A_\\infty$ categories, with quasi-equivalences as weak equivalences, is a fibrant object in the category of relative categories. The proof establishes the missing pullbacks: any $A_\\infty$ functor whose linear part is a graded-split surjection (condition (F1)) can be pulled back along any $A_\\infty$ functor, and the pullback projection inherits the fibration and acyclicity properties needed for fibrancy. This answers a question posed in Pascaleff's comparison of the homotopy theories of differential graded categories and $A_\\infty$ categories, where fibrancy would simplify the argument. A sympathetic reader should care because fibrant relative categories are the ones whose homotopy theory is controlled by fibrations and pullbacks, so this makes the $A_\\infty$-category homotopy theory more tractable.","feed_headline":"A∞ categories form a fibrant relative category","feed_subtitle":"Pullbacks along split-surjective A∞ functors settle the open question and simplify the homotopy comparison.","key_machinery":"The argument runs through the bar-cobar correspondence: an $A_\\infty$ category is encoded by a DG structure on the reduced cocomplete cocategory $B_\\infty(Q)$ built from its underlying graded quiver $Q$, and $A_\\infty$ functors correspond to DG functors of these cocategories. The central construction is the subquiver $(E \\times C'')_{G'}$ generated by objects, whose hom spaces are $E(x_1,x_2) \\oplus C''(y_1,y_2)$ for pairs with matching $F_0(x) = G_0(y)$. Condition (F1) provides splittings of the maps $F_1$, which are used to define an endomorphism $\\gamma$ of $B_\\infty(A)$; the automorphism $\\Phi = \\mathrm{Id} + \\gamma$ transports the differential of $A$ to a new $A_\\infty$ structure on the candidate pullback, reducing the problem to a pullback along the strict functor $F_1$. The $A_\\infty$ structure is then defined inductively by equations (16) and (17), which force the two projections to be $A_\\infty$ functors.","core_discovery":"The central claim is Theorem 1: the relative category $(A_\\infty\\mathrm{Cat}, W^{A_\\infty}_{\\mathrm{qe}})$ is fibrant in $\\mathrm{RelCat}$. Following the criterion of Meier, the proof reduces fibrancy to three results. Theorem 2 constructs the pullback of an $A_\\infty$ functor $F: A \\to A'$ satisfying (F1), meaning each map $F_1: A(x,y) \\to A'(F_0x, F_0y)$ is a degreewise split surjection of graded modules, along any $A_\\infty$ functor $G: A'' \\to A'$, and shows the pullback projection again satisfies (F1). Theorem 3 shows that the additional fibration condition (F2) and the property of being a quasi-equivalence are preserved by this pullback. The candidate pullback is the subquiver of $A \\times A''$ on pairs $(x,y)$ with $F_0(x) = G_0(y)$, carrying the $A_\\infty$ structure transferred from $A$ through the bar construction and a conjugation by an automorphism $\\Phi = \\mathrm{Id} + \\gamma$ of $B_\\infty(A)$.","pith_inferences":["The proof delegates the verification that $\\gamma$ is a functor of cocategories and $\\Phi$ an automorphism to the reader; a fully spelled-out check in the lowest nontrivial degrees would turn Theorem 2 from a claimed construction into a verified one.","Because the fibration condition (F1) requires graded split surjections rather than mere degreewise surjections, the method is tied to the field case; extending to arbitrary commutative rings would need a different notion of fibration, matching the known over-ring equivalence of homotopy theories.","The pullback is formed as a subquiver of the categorical product with object set $\\{(x,y): F_0(x)=G_0(y)\\}$; if this pattern generalizes, one could look for more finite limits of $A_\\infty$ categories along split-surjective functors, beyond the equalizers that are known to be missing in general."],"forward_implications":["If Theorem 1 holds, Pascaleff's comparison between the homotopy theories of differential graded categories and $A_\\infty$ categories can be simplified, since the $A_\\infty$ side is now known to be fibrant.","Pullbacks exist specifically along $A_\\infty$ functors satisfying (F1); these are the maps that play the role of fibrations in this setting, and the pullback projection is again (F1).","The fibration-theoretic properties (F2) and quasi-equivalence are stable under pullback, so acyclic fibrations pull back to acyclic fibrations, as required for a fibration category structure.","For $A_\\infty$ algebras, the construction recovers Lefèvre-Hasegawa's theorem; the advance is the passage from graded modules to graded quivers, namely to categories with many objects."],"supporting_citations":[{"why":"Pascaleff's paper that poses the fibrancy question and shows how fibrancy would simplify the comparison of DG and A-infinity homotopy theories.","marker":"[11]"},{"why":"Meier's definition of fibrant relative categories, which reduces fibrancy of (A-infinity Cat, W) to existence of pullbacks of fibrations and preservation properties.","marker":"[6]"},{"why":"Lefèvre-Hasegawa's theorem for A-infinity algebras that Theorem 2 generalizes; also the source of the fibration conditions (F1)-(F2).","marker":"[5]"},{"why":"Ornaghi's thesis, cited for the explicit bar/cobar bijections, composition of formal morphisms, and coderivation formulas used throughout.","marker":"[7]"},{"why":"Seidel's book, the source of formal morphisms, prenatural transformations, and the composition properties that the pullback construction relies on.","marker":"[13]"},{"why":"Canonaco-Ornaghi-Stellari, cited for the definition of A-infinity categories and for the fact that A-infinity Cat lacks equalizers, motivating why the pullback existence is nontrivial.","marker":"[1]"},{"why":"Keller-Manzyuk, the source of the notion of sub-quiver generated by objects used to build the candidate pullback.","marker":"[4]"},{"why":"Tabuada's model structure on DG categories, whose fibration conditions motivate the choice of (F1) and (F2) for A-infinity functors.","marker":"[14]"}],"fun_headline_variants":["Pullbacks solve fibrancy for A∞ categories","A∞ relative category proved fibrant","Answering Pascaleff's question on A∞ fibrancy","Pullbacks settle A∞ fibrancy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the endomorphism $\\gamma$ of the bar construction $B_\\infty(A)$ is a functor of cocategories and that $\\Phi = \\mathrm{Id} + \\gamma$ is an automorphism satisfying the key commutative diagrams (10); this verification is left to the reader and carries the whole transfer argument.","fun_headline_variants_meta":{"raw":{"variants":["Pullbacks solve fibrancy for A∞ categories","A∞ relative category proved fibrant","Answering Pascaleff's question on A∞ fibrancy","Pullbacks settle A∞ fibrancy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000584,"raw_usage":{"total_tokens":2727,"prompt_tokens":903,"completion_tokens":1824,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":519,"completion_tokens_details":{"reasoning_tokens":1763}},"tokens_in":519,"tokens_out":1824,"duration_ms":13667,"temperature":1.0,"reasoning_tokens":1763,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T13:14:39.609775+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the cocategory-functor equation for $\\gamma$ on a two-tensor input in $B_\\infty(A)$ for a small $A_\\infty$ category where $F_1$ is a split surjection, using the bar-construction signs; if the equation fails, or if the truncated inverse of $\\Phi$ fails to invert it in any degree, then the transferred $A_\\infty$ structure is not justified and Theorem 2 collapses.","supporting_citations":[{"cited_title":"Pascaleff, Remarks on the equivalence between differential graded cate gories and A∞-categories, Homol- ogy, Homotopy and Applications, vol","cited_arxiv_id":null,"evidence_quote":"Pascaleff's paper that poses the fibrancy question and shows how fibrancy would simplify the comparison of DG and A-infinity homotopy theories."},{"cited_title":"Meier, Fibration categories are fibrant relative categories Algebr","cited_arxiv_id":null,"evidence_quote":"Meier's definition of fibrant relative categories, which reduces fibrancy of (A-infinity Cat, W) to existence of pullbacks of fibrations and preservation properties."},{"cited_title":"Lefèvre-Hasegawa, Sur les A∞ catégories","cited_arxiv_id":null,"evidence_quote":"Lefèvre-Hasegawa's theorem for A-infinity algebras that Theorem 2 generalizes; also the source of the fibration conditions (F1)-(F2)."},{"cited_title":"Ornaghi, , Ph.D","cited_arxiv_id":null,"evidence_quote":"Ornaghi's thesis, cited for the explicit bar/cobar bijections, composition of formal morphisms, and coderivation formulas used throughout."},{"cited_title":"Seidel, Fukaya categories and Picard-Lefschetz theory , Zurich Lectures in Advanced Mathematics","cited_arxiv_id":null,"evidence_quote":"Seidel's book, the source of formal morphisms, prenatural transformations, and the composition properties that the pullback construction relies on."},{"cited_title":"Canonaco, M","cited_arxiv_id":null,"evidence_quote":"Canonaco-Ornaghi-Stellari, cited for the definition of A-infinity categories and for the fact that A-infinity Cat lacks equalizers, motivating why the pullback existence is nontrivial."},{"cited_title":"Keller, O","cited_arxiv_id":null,"evidence_quote":"Keller-Manzyuk, the source of the notion of sub-quiver generated by objects used to build the candidate pullback."},{"cited_title":"Tabuada, Une structure de categorie de modeles de Quillen sur la categ orie des DG categories , C","cited_arxiv_id":null,"evidence_quote":"Tabuada's model structure on DG categories, whose fibration conditions motivate the choice of (F1) and (F2) for A-infinity functors."}],"review_version":1}