{"id":"03afe569-1348-4af5-98ba-4550efff98c2","arxiv_id":"2412.21182","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new enriched categorical framework characterizes perturbations as absolute limits and proves that the homological perturbation lemma is compatible with composition, iteration, and tensor products.","lead":"This paper rebuilds the homological perturbation lemma, a classic tool for simplifying chain complexes, in the language of enriched category theory. The rewrite reveals that the lemma is functorial: applying it step by step or all at once gives the same result, and it respects tensor products.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The unconstructed 'free closure under perturbations' Q leaves Theorem 11's dg-functoriality claim unsupported; the core perturbation lemma itself appears sound.","rationale":"Reading the paper in good faith, the central claim is Theorem 10 with explicit formulas for the perturbed strong deformation retraction, and the functoriality theorems 11-14. I checked the algebra in Theorem 10: the definitions α = 1+δh and β = 1+hδ satisfy the required factorization conditions, and the identities used to derive f̂, ĝ, ĥ, and δ′ are consistent with the classical perturbation lemma. The proof of Proposition 9 is sketched but plausible. The only serious gap I find is Theorem 11: the proof invokes the unconstructed operator Q of 'free closure under perturbations', so the claimed dg-functoriality and preservation of limits and colimits are not established. This matches the reader's weakest_assumption exactly. Theorems 12-14 have independent proof sketches and do not depend on Q, so the core perturbation lemma remains sound. The CONDITIONAL verdict is therefore appropriate: the paper should be accepted conditional on constructing Q or stating its existence as an explicit assumption. No change to the reader's verdict is needed.","tokens_in":12281,"tokens_out":15722,"duration_ms":142326,"concrete_test":"Construct the free closure Q for the specific dg-category S^loc_ps explicitly: define its objects, Hom-complexes, differentials, and the dg-functor P; then prove the universal property [QS^loc_ps,C] ≅ [S^loc_ps,C] for every dg-category C closed under perturbations. If no such construction can be provided, Theorem 11 should be restated as conditional on an explicit existence assumption rather than asserted as a theorem.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 11 invokes 'Q, the operator of the free closure under perturbations' without any definition, construction, or stated universal property. The argument requires QS^loc_ps to be a dg-category equipped with a dg-functor P: S⊗Z[δ] → QS^loc_ps, and then uses an equivalence [S^loc_ps,C] ≅ [QS^loc_ps,C] for dg-categories C closed under perturbations. No evidence is given that such a free closure exists, and the non-uniqueness of the map θ in Theorem 10 is never resolved into a coherent functorial choice. This is load-bearing for the claimed functoriality in the horizontal direction: without Q, the perturbation lemma is only an assignment on objects, not a verified dg-functor. Theorems 12-14 are proved by independent direct arguments and do not rely on Q, so the central perturbation lemma (Theorem 10) is not threatened.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes an enriched-categorical framework for homological perturbation theory. It defines a perturbation δ of an object A in a dg-category by a universal property, identifies perturbations as absolute weighted limits and colimits (Proposition 4), and introduces a double-categorical setting whose vertical arrows are strong deformation retractions (Section 4). The main technical result is Theorem 10, the homological perturbation lemma: for a strong deformation retraction A→B and a perturbation δ of A with 1+δh invertible, explicit formulas give a perturbed strong deformation retraction. The paper then claims functoriality of this construction (Theorem 11) and proves compatibility with vertical composition, iteration, and tensor products (Theorems 12–14).","tokens_in":12466,"tokens_out":5426,"duration_ms":56835,"significance":"If fully established, the framework would give a conceptual, enrichment-agnostic account of homological perturbation theory, and the compatibility theorems are useful for applications such as transferring perturbations along composite homotopy equivalences. The paper gives explicit, checkable formulas in Theorem 10, identifies perturbations as weighted limits, and acknowledges the non-uniqueness of the auxiliary map θ. The direct arguments for Theorems 12–14 are a genuine contribution. However, the central functoriality claim in Theorem 11 rests on an unconstructed 'free closure under perturbations' Q and an asserted equivalence involving Q; without a definition or universal property for Q, that claim is not supported by the manuscript.","major_comments":[{"comment":"The proof of Theorem 11 is not complete. It introduces 'Q, the operator of the free closure under perturbations' and a dg-functor P : S⊗Z[δ] → QS^loc_ps, but Q is never defined, constructed, or given a universal property. The argument then asserts an equivalence [S^loc_ps,C] ≅ [QS^loc_ps,C] for dg-categories C closed under perturbations; this equivalence is also asserted without proof. Because the theorem claims a dg-functor between diagram categories, one must specify the action on morphisms, and the non-uniqueness of θ in Theorem 10 makes it nontrivial that a coherent functorial choice exists. Without Q and the equivalence, the association is only defined on objects and the claimed dg-functoriality is unsupported. The authors should either construct Q and prove its universal property, or give an explicit, choice-free definition of the functor and verify naturality directly.","section":"Section 6, Theorem 11"},{"comment":"The last sentence of the proof states that the colimit statement follows 'from the same argument but with the perturbation interpreted as a weighted colimit.' This is too terse: preserving limits by P^* and by the weighted limit functor does not automatically imply preservation of colimits by the composite, and the argument would need to identify the appropriate colimit-preserving functors in the colimit version. Since Theorem 11 claims preservation of all limits and colimits, this half of the claim needs a separate justification.","section":"Section 6, Theorem 11 (colimit claim)"},{"comment":"The proof contains several compressed steps that are load-bearing for the explicit formulas. In particular, the claim that 'Sps(s,s)_1 is generated by the compositions ζ = hδ...δh' and the deduction that the universal solution satisfies ζ = h are stated without derivation. The formulas can likely be verified directly, but as written this part of the proof is more an assertion than a demonstration. I recommend expanding this step so the existence and uniqueness claims for α and β are fully justified.","section":"Section 5, proof of Theorem 10"}],"minor_comments":[{"comment":"The abstract contains a typo: 'homologic al' should be 'homological'.","section":"Abstract"},{"comment":"In the first paragraph, 'occuring' should be 'occurring', and 'decorated' is used in an informal way; consider 'equipped with a small model structure' or similar.","section":"Section 1"},{"comment":"The proof transports the weighted-limit construction from Ch to an arbitrary dg-category by representability, but the details of this transport are only sketched. Since this is one of the foundational claims, a few more sentences explaining why the representing object exists and is preserved would improve readability.","section":"Section 3, Proposition 4"},{"comment":"The pullback description of vertical morphisms uses the notation c1,c0 in a way that is slightly confusing; clarifying that c1 and c0 are the source and target objects of the vertical morphism would help.","section":"Section 4"},{"comment":"The parenthetical '(To be perfectively precise, ...)' contains a typo: 'perfectively' should be 'perfectly'.","section":"Theorem 10"},{"comment":"The large diagram in the proof of Theorem 12 is hard to follow; labels such as the middle object and the maps 1−δgh'f2 are not fully explained. Replacing part of the diagram with explicit equations would make the argument much clearer.","section":"Section 6, Theorem 12 proof"},{"comment":"The sentence 'One may understand the proof of the perturbation lemma in QS^loc_ps, in which case it produces exactly the required dg-functor' is cryptic without a definition of Q; this should be expanded or removed until Q is properly introduced.","section":"Section 6, after Theorem 11"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is within the scope of math.CT and the core perturbation lemma appears sound, but the paper's advertised functoriality theorem (Theorem 11) is not yet established because the free closure Q is not defined. The other compatibility theorems (12–14) are proved by direct arguments and look plausible. If the authors can construct Q or replace Theorem 11 with a direct proof of functoriality, the paper would be acceptable. I do not see circular reasoning or inappropriate citation practices; the conjecture about absolute limits is clearly labeled."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nHere's my read of Vokřínek's paper. The genuinely new pieces are the absolute limit characterization of perturbations (Prop 4) and the double categorical framework for strong deformation retractions. Theorem 10 is the perturbation lemma with explicit formulas, and the proof is direct and checkable. Theorems 12–14 answer concrete compatibility questions — vertical composition, iteration, tensor products — and are proved by explicit diagram chases, not by appeal to abstract machinery. These parts hold up.\n\nThe soft spot is Theorem 11, which claims the perturbation lemma association [S^loc_ps,C] → [S,C] is a dg-functor preserving limits and colimits. The proof invokes \"Q, the operator of the free closure under perturbations\" and a dg-functor P: S⊗Z[δ] → QS^loc_ps, but Q is never defined, constructed, or given a universal property. The subsequent equivalence [S^loc_ps,C] ≅ [QS^loc_ps,C] for dg-categories closed under perturbations is simply asserted. Without Q, the horizontal functoriality claim is unsupported. The stress-test note is right that Theorems 12–14 do not rely on Q — their proofs are direct — so the central perturbation lemma and the main compatibility results stand. But the paper's stated goal of proving full functoriality is only partially met.\n\nThere are minor issues too. Prop 4's weighted-limit construction is sketched rather than fully verified, though the idea is clear. And the proof of Theorem 11 also needs closure conditions on C that the author does not spell out. These are fixable.\n\nThe paper is honest: the conjecture about absolute limits is clearly labeled, and there is no circularity or self-citation inflation. The author is a serious thinker, and the gap in Theorem 11 is a missing construction, not a fatal flaw. I would send it to peer review with a request to either construct Q or weaken Theorem 11 to a conditional statement.\n\nFor a reading group, I'd say maybe — the direct proofs are instructive, but the paper needs work before it is fully quotable.","headline":"A genuinely new categorical framing of the perturbation lemma with a real gap in Theorem 11 — the unconstructed 'free closure under perturbations' Q — but Theorems 10, 12–14 stand on explicit arguments.","tokens_in":12958,"tokens_out":2723,"would_cite":false,"duration_ms":25612,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18G35","18D20","18N10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The perturbation lemma becomes a functor in any dg-category","keywords":["homological perturbation lemma","dg-categories","strong deformation retractions","absolute limits","Maurer-Cartan equation","enriched category theory","double categories","functoriality"],"falsifier":"Take a concrete dg-category closed under perturbations, choose a composable pair of strong deformation retractions and a perturbation with $1+\\delta h$ invertible, and compare the two strong deformation retractions obtained by (i) composing first and perturbing once and (ii) perturbing each retraction and then composing; a difference at any component would refute Theorem 12 and with it the claimed functoriality. Equally direct: construct the free closure $Q$ for a simple example such as $\\mathbf{Ch}$, or prove that no such closure can exist, which would settle whether Theorem 11 is supported.","tokens_in":12091,"feed_emoji":"🔁","tokens_out":12692,"duration_ms":113932,"temperature":0.7,"pith_summary":"The paper seeks to place the homological perturbation lemma—the standard recipe for carrying a perturbation of one chain complex across a homotopy equivalence—inside enriched category theory. It defines perturbations as absolute limits, characterizes strong deformation retractions as vertical arrows in a double category, and proves the lemma by an explicit non-dg-isomorphism $\\theta$. The payoff is functoriality: the perturbed strong deformation retraction is produced by a dg-functor, so composing perturbations along composites, iterating the construction, and tensoring transferred structures all yield the same answers. If the claims hold, homological perturbation theory becomes a canonical operation on any dg-category closed under perturbations rather than a case-by-case chain-complex computation.","feed_headline":"Perturbation lemma is a functor in any dg-category","feed_subtitle":"If true, composing and perturbing homotopy equivalences commute, and iteration and tensor products come along.","key_machinery":"The machinery rests on three interlocking objects. The universal dg-category $S$ has two objects $s,t$ and maps $f\\colon s\\to t$, $g\\colon t\\to s$, $h\\colon s\\to s$ of degrees $0,0,1$ subject to $Df=0$, $Dg=0$, $Dh=1-gf$, $1=fg$, $fh=0$, $hg=0$, $hh=0$; a strong deformation retraction in a category $\\mathcal{C}$ is exactly a dg-functor $S\\to\\mathcal{C}$. Perturbations are encoded by adjoining a degree $-1$ generator $\\delta$ with $D\\delta=-\\delta^2$, giving the one-object dg-category $\\mathbb{Z}[\\delta]$; a $\\delta$-perturbation $A_\\delta$ is then the $W$-weighted limit (equivalently $W'$-weighted colimit) of the diagram $\\mathbb{Z}[\\delta]\\to\\mathcal{C}$, so perturbations are absolute limits. The proof itself is carried out in the localization $S_{\\mathrm{ps}}^{\\mathrm{loc}}$ at $1+\\delta h$, using the two non-dg-isomorphisms $\\alpha=1+\\delta h$ and $\\beta=1+h\\delta$: $\\alpha$ preserves the $g$-side factorization and $\\beta$ preserves the $f$-side, and their combination produces the $\\theta$ whose logarithmic derivative factors through $f$ and $g$.","core_discovery":"On the paper's own terms, the central discovery is Theorem 10: for any strong deformation retraction $(f,g,h)\\colon A\\to B$ in a dg-category and any perturbation $\\delta$ of $A$ with $1+\\delta h$ invertible, there exists a non-dg-isomorphism $\\theta\\colon A\\to A_\\delta$ whose left logarithmic derivative $D^{\\ell}\\theta=\\theta^{-1}D\\theta$ factors through $f$ and $g$. This $\\theta$ makes the perturbed diagram fillable and yields the explicit formulas $\\hat{f}=f(1+\\delta h)^{-1}$, $\\hat{g}=(1+h\\delta)^{-1}g$, $\\hat{h}=h(1+\\delta h)^{-1}$, and $\\delta'=\\hat{f}\\delta g$. Theorems 11–14 then assert that this construction is a dg-functor from the localized category of perturbed strong deformation retractions to the category of strong deformation retractions, and that it is compatible with vertical composition of retractions, with iteration of perturbations, and with tensor products. The proof is carried out by writing the source and target of the retraction as the objects $s$ and $t$ of the universal dg-category $S$ and pushing the deformation along the non-dg-isomorphisms $1+\\delta h$ and $1+h\\delta$.","pith_inferences":["The paper leaves the free closure $Q$ of Theorem 11 unconstructed; if such a closure can be built, the same functoriality argument should apply to other universal diagram categories, such as homotopy retracts, yielding a uniform enriched perturbation lemma.","Reading a perturbation as an absolute limit suggests an implementation strategy: compute perturbed complexes as weighted limits, which would make each transfer step a single linear construction rather than a bespoke recursive recipe.","The non-uniqueness of $\\theta$ noted in Section 5 means the perturbation lemma is not itself a universal property; comparing different choices of $\\theta$ could yield a secondary invariant, possibly detected by the composite $\\alpha\\beta^{-1}\\alpha^{-1}\\beta$, which the paper observes is unlikely to be $1$."],"forward_implications":["In any dg-category closed under perturbations, the transfer of a perturbation across a strong deformation retraction is one canonical operation, with the same output regardless of the order in which retractions are composed (Theorem 12).","Iterating the perturbation lemma is associative: perturbing $A$ to $A_\\delta$ and then to $A_\\varepsilon$ gives the same transferred retraction as perturbing directly to $A_\\varepsilon$ (Theorem 13).","The construction respects tensor products: $(F_\\ell\\otimes F_r)^{\\delta_\\ell\\otimes 1+1\\otimes\\delta_r}=F_\\ell^{\\delta_\\ell}\\otimes F_r^{\\delta_r}$, which is exactly the compatibility needed for twisted products and Eilenberg–Zilber-style arguments (Theorem 14).","The perturbed strong deformation retraction is unchanged when the two ingredients $\\alpha$ and $\\beta$ are applied in the opposite order, so the self-dual formulas for $\\hat{f}$, $\\hat{g}$, $\\hat{h}$, and $\\delta'$ give a canonical output even though the intermediate non-dg-isomorphism $\\theta$ is not unique."],"supporting_citations":[{"why":"It supplies the double-category/category-object framework in which strong deformation retractions are treated as vertical maps.","marker":"[1]"},{"why":"It defines the dg-category $S$ of strong deformation retractions that serves as the universal diagram for the perturbation lemma.","marker":"[2]"},{"why":"It characterizes absolute limits in dg-categories, the backdrop for the paper's claim that perturbations are absolute limits.","marker":"[6]"}],"fun_headline_variants":["Perturbation lemma proven functorial in all dg-categories","Composing and perturbing homotopy equivalences commute","Functorial perturbation lemma: explicit formulas for all dg-categories","Perturbation lemma is a dg-functor, iteration and tensors included"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that there is an object $Q$, the 'free closure under perturbations', with the properties used in the proof of Theorem 11; the paper invokes $Q$ but never constructs it, so if no such object exists the functoriality claim has no proof.","fun_headline_variants_meta":{"raw":{"variants":["Perturbation lemma proven functorial in all dg-categories","Composing and perturbing homotopy equivalences commute","Functorial perturbation lemma: explicit formulas for all dg-categories","Perturbation lemma is a dg-functor, iteration and tensors included"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000531,"raw_usage":{"total_tokens":2499,"prompt_tokens":827,"completion_tokens":1672,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":443,"completion_tokens_details":{"reasoning_tokens":1591}},"tokens_in":443,"tokens_out":1672,"duration_ms":11375,"temperature":1.0,"reasoning_tokens":1591,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T22:59:39.548704+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a concrete dg-category closed under perturbations, choose a composable pair of strong deformation retractions and a perturbation with $1+\\delta h$ invertible, and compare the two strong deformation retractions obtained by (i) composing first and perturbing once and (ii) perturbing each retraction and then composing; a difference at any component would refute Theorem 12 and with it the claimed functoriality. Equally direct: construct the free closure $Q$ for a simple example such as $\\mathbf{Ch}$, or prove that no such closure can exist, which would settle whether Theorem 11 is supported.","supporting_citations":[{"cited_title":"Algebraic weak facto risation sys- tems I: Accessible A WFS","cited_arxiv_id":null,"evidence_quote":"It supplies the double-category/category-object framework in which strong deformation retractions are treated as vertical maps."},{"cited_title":"Algebraic weak facto risation sys- tems II: Categories of weak maps","cited_arxiv_id":null,"evidence_quote":"It defines the dg-category $S$ of strong deformation retractions that serves as the universal diagram for the perturbation lemma."},{"cited_title":"Cau chy complete- ness for DG-categories","cited_arxiv_id":null,"evidence_quote":"It characterizes absolute limits in dg-categories, the backdrop for the paper's claim that perturbations are absolute limits."}],"review_version":1}