{"id":"1d4e9899-c785-4125-bda8-6fc74bab6904","arxiv_id":"2501.00122","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A reference-style paper that writes down explicit sign rules and bar-complex comparisons for the envelope operations S, A, and Pretr on dg categories, and proves derived Morita equivalence between a category and its envelopes.","lead":"This paper catalogs the standard envelope constructions for differential graded categories, adjoining shifts, finite direct sums, and twists, and records the exact sign rules that govern their interactions with opposites, tensor products, and the bar complex. It proves that a dg category is derived Morita equivalent to its suspended, additive, and pretriangulated envelopes.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem A.2 is misstated (its condition (2) would force every counital idempotent to be the unit), and Proposition A.20 relies on it, so the written proof of Theorem 5.1/6.1 is not sound.","rationale":"The Reader identified Appendix A, especially Proposition A.20 and the counital idempotent machinery, as the weakest assumption, with the main worry being reliance on prior papers and incomplete citations. My stress-test agrees that this is the load-bearing part of the paper, but it finds a sharper, internal problem: Theorem A.2, which Proposition A.20(2) explicitly uses, is misstated and, as written, false. The printed condition (2) 'P1 * P2 ~= P2' would imply every counital idempotent P satisfies P ~= 1 (take P2 = 1, using P <= 1 via Theorem A.1(1L)), which would trivialize the entire theory. The proof sketch in the paper actually proves P1 * P2 ~= P1, confirming the printed statement is a typo. Because Proposition A.20(2) is the mechanism that turns the constructed chain maps Xi_S, Xi_A, and Xi_Pretr into homotopy equivalences, the main theorem's proof depends on this false statement. The concern is concrete and settles with a single logical check; it does not by itself show the main theorem is false, and a corrected Theorem A.2 would likely repair the argument. Therefore the appropriate verdict remains CONDITIONAL, and I recommend no change to the Reader's verdict.","tokens_in":33590,"tokens_out":18976,"duration_ms":171723,"concrete_test":"Test Theorem A.2 in a dg monoidal category that admits a nontrivial counital idempotent, e.g. the homotopy category of spectra with the acyclization associated with a nontrivial smashing localization, or any stable homotopy category where such an idempotent P is known not to be equivalent to the unit. Verify that P <= 1 via Theorem A.1(1L) with X = P, and compute P * 1. If P * 1 ~= P but P is not ~= 1, then Theorem A.2(2) is refuted. This single check settles whether the stated theorem, and thus the proof of Proposition A.20(2) as written, is valid.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition A.20(2) is the step that upgrades the explicit chain maps Xi_S, Xi_A, and Xi_Pretr from chain maps to homotopy equivalences; it is invoked in Lemmas 5.17, 5.18, and 5.26, and hence in Theorem 5.1 and the main Theorem 6.1. Its proof says: if Bar(C,X) <= Bar(C,Y) and Bar(C,Y) <= Bar(C,X), then Bar(C,X) ~= Bar(C,Y), via Theorem A.2. But Theorem A.2 as printed is false. For any counital idempotent P, take P2 = 1 (the monoidal unit). Theorem A.1(1L) with X = P gives P <= 1. Theorem A.2(2) then asserts P * 1 ~= 1, i.e. P ~= 1. This would make the theory of counital idempotents trivial; indeed the proof sketch in the paper derives P1 * P2 ~= P1, not P2. Thus the statement contains a misprint or worse, and the written derivation of the central homotopy equivalence is invalid. The appendix is also not self-contained: Lemma A.6(2),(3) cites an unresolved '[?]', Theorem A.1 is only sketched, and Proposition A.4 is left as an exercise. Correcting the misprint may well salvage the argument, but as it stands the load-bearing step of the main theorem has no valid proof.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper is a reference-style exposition of envelope constructions for dg categories: the suspended envelope S(C), the additive envelope A(C), the twisted envelope Tw(C), and the pretriangulated envelope Pretr(C). It records sign conventions for opposites and tensor products of envelopes and then studies the two-sided bar complex. The main results are Theorem 5.1, asserting that if a set of objects X generates D then Bar(D) is homotopy equivalent to the relative bar complex Bar(D,X), with explicit chain maps for the envelopes S, A, and Pretr, and Theorem 6.1, asserting that C is derived Morita equivalent to S(C), A(C), and Pretr(C) when hom complexes are projective over k. The appendix develops a dg version of the theory of counital idempotents, largely following the author's earlier preprints [Hog17, Hog20], and Proposition A.20 is the tool used to upgrade the explicit chain maps to homotopy equivalences.","tokens_in":33928,"tokens_out":5696,"duration_ms":57214,"significance":"If the results are fully established, the paper would be a useful reference: it collects in one place the needed sign rules for shifts, sums, twists, opposites, tensor products, and the bar complex, and it gives explicit chain-level formulas for the bar-complex comparison between C and its envelopes. The explicit formulas for Xi_S, Xi_A, and Xi_Pretr are valuable for applications such as computing derived traces or Hochschild invariants, and the repair of the vague claim in [GHW22, §5.3] is a genuine contribution. The central Morita-theoretic statement is classical in spirit and independently plausible, but the paper's own proof is not currently self-contained: several load-bearing lemmas are assigned as exercises, one definition is mis-specified, and the appendix contains a false theorem statement on which the main proof depends. The paper does not ship machine-checked proofs or executable code; its strength is the explicit formula work and the careful sign bookkeeping, not formal verification.","major_comments":[{"comment":"Theorem A.2 is false as printed. Taking P2 = 1, the monoidal unit, Theorem A.1(1L) with X = P1 shows P1 ≤ 1 for every counital idempotent P1, but condition (2) of Theorem A.2 would then force P1 ⋆ 1 ≃ 1, i.e. P1 ≃ 1. This would make the theory of counital idempotents trivial. The proof sketch in the same theorem derives P1 ⋆ P2 ≃ P1, not P1 ⋆ P2 ≃ P2, so the intended statement is clearly (2) P1 ⋆ P2 ≃ P1 and (3) P2 ⋆ P1 ≃ P1. This error is load-bearing: Proposition A.20(2) invokes Theorem A.2 to conclude Bar(C,X) ≃ Bar(C,Y) from the two inequalities, and Proposition A.20 is in turn invoked in Lemmas 5.17, 5.18, and 5.26. As written, the proof of Theorem 5.1 and hence of Theorem 6.1 is not valid.","section":"Appendix A, Theorem A.2"},{"comment":"The relative bar complex Bar(D,X) is defined by a sum over X0, X1, ..., Xr ∈ Obj(D), with no dependence on the subset X. As written Bar(D,X) is identical to Bar(D), which would make Theorem 5.1 vacuous. The definition should restrict the internal objects, presumably X0, ..., Xr ∈ X, so that Lemma 5.13 can identify Bar(D,X) with D ⊗_C Bar(C) ⊗_C D. This is a central construction, so the mis-specification must be corrected.","section":"Definition 5.12 and Theorem 5.1"},{"comment":"Lemma 5.16, the 'unique characterization' of Bar(D,X) by properties I_X and K_X, is dismissed with 'Proof. Exercise.' This lemma is not peripheral: Theorem 5.1 uses it to conclude that the pair (Bar(D), ε) satisfies the same uniqueness conditions as (Bar(D,X), ε'), after passing from X to Obj(D). In a reference paper, a load-bearing uniqueness statement cannot be left as an exercise, especially when it is used to prove the paper's main theorem. A complete proof or a precise reference to a proof should be supplied.","section":"Lemma 5.16"},{"comment":"The proof of Theorem 5.1 is incomplete in its present form. After extending K_X to K_Obj(D), it states that each term ⟨Y_b| ⊗ Cone(ε') is contractible 'by (2')', but no property (2') has been defined; the intended reference is presumably K_X or K_Obj(D). Moreover, the step from contractibility of the individual Yoneda tensor products to contractibility of the twisted complex tensor product is asserted without detail. This is a gap in the written proof, even if the intended argument is standard.","section":"Proof of Theorem 5.1"},{"comment":"The proof of Proposition A.20(2) is not logically sufficient. It says that if Bar(C,X) ≤ Bar(C,Y) and Bar(C,Y) ≤ Bar(C,X), then Bar(C,X) ≃ Bar(C,Y), and that Corollary A.11 implies the given counit-compatible map Xi is a homotopy equivalence. Corollary A.11 only asserts uniqueness up to homotopy of a counit-preserving map, not that such a map is an equivalence. Additional argument is needed to show that the counit-compatible chain map between equivalent counital idempotents is itself a homotopy equivalence. This is directly relevant because Proposition A.20 is the tool that upgrades the explicit maps in Lemmas 5.17, 5.18, and 5.26 from chain maps to homotopy equivalences.","section":"Appendix A, Proposition A.20 and Corollary A.11"}],"minor_comments":[{"comment":"The abstract contains a grammar error: 'the most important envelope operations can one perform' should read 'the most important envelope operations one can perform'. The introduction also contains the typo 'viarous' for 'various'.","section":"Abstract and Introduction"},{"comment":"In the paragraph defining the identity bimodule, the text reads 'It is defined by is defined by (2.6)'; the duplicated phrase should be removed.","section":"Section 5.1"},{"comment":"Remark 5.20 contains a duplicated word: 'has has no counit' should be 'has no counit'.","section":"Section 5.7, Remark 5.20"},{"comment":"In each of these propositions, condition (4) is missing the phrase 'is an equivalence': for example, 'C is suspended iff η_C : C → S(C)' should read 'C is suspended iff η_C : C → S(C) is an equivalence'. As printed the condition is grammatically incomplete.","section":"Propositions 3.7, 3.15, 3.21"},{"comment":"The reference [BK] is incomplete: no title, publisher, or arXiv identifier is given. Since Bondal–Kapranov are cited for the pretriangulated envelope, a full bibliographic entry would be helpful.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper's core claim is likely correct and classical enough that the defects are probably repairable, but the written proof has several load-bearing gaps: a false theorem statement in the appendix, a mis-specified relative bar complex, and a key uniqueness lemma left as an exercise. The appendix also relies substantially on the author's unpublished preprints [Hog17, Hog20], and one citation is unresolved ('[?]'). I would recommend revision rather than rejection, but the revision must include a corrected Theorem A.2, a corrected Definition 5.12, and complete proofs of Lemma 5.16 and Proposition A.20(2), not merely references to 'exercise'."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my read on Hogancamp's \"Envelopes and the bar complex.\" The paper is what it says: a reference record of signs and chain maps for the standard envelope operations on dg categories, plus the bar-complex comparison. The explicit maps Xi_S, Xi_A, Xi_Pretr and the relative bar theorem are genuinely useful—they pin down formulas that [GHW22] only sketched, and the sign conventions look carefully derived. The main Morita equivalence (Theorem 6.1) is classical via Toen, so the novel part is really the bookkeeping, but that is exactly what people in categorification and Soergel theory need as a citable source.\n\nThe soft spots are real but mostly cosmetic. Definition 5.12 of Bar(D,X) sums over Obj(D) instead of X; a clear typo, but annoying in a reference. Lemma 5.16 is left as an exercise even though it is load-bearing for Theorem 5.1, and the proof of Theorem 5.1 references a nonexistent property (2'). These are fixable.\n\nThe one that matters is in the appendix. The stress-test is right: Theorem A.2 as printed is false. Take P2 = 1; then P1 <= 1 holds for every counital idempotent, and condition (2) would force P1 ≃ 1. That cannot be the intended statement; almost certainly P1 and P2 are swapped in (2) and/or (3). But Proposition A.20(2)—the step that upgrades Xi_S, Xi_A, Xi_Pretr from chain maps to homotopy equivalences—invokes Theorem A.2, and Lemmas 5.17, 5.18, 5.26 all rely on it. So as written, the proof of the central Theorem 5.1/6.1 has a genuine gap. The appendix also leans on the author's unpublished preprints and cites an unresolved '[?]' in Lemma A.6, so it is not self-contained.\n\nNone of this makes me doubt the result. The classical Morita equivalence is well established, and the chain maps are concrete enough to be checked directly; the bar-complex comparison for S, A, and Pretr is very likely correct. But the paper cannot serve as the reliable reference it wants to be until the appendix is fixed and the small typos are cleaned up.\n\nRecommendation: send to a serious referee, but make clear the appendix needs repair—ideally the author can state Theorem A.2 correctly and either prove it or point to a proof. Who is this for? Anyone working with dg categories, bar complexes, Soergel theory, or categorified knot invariants who wants the signs sorted out. It deserves referee time; I would accept with major revision.","headline":"A genuinely useful sign-rule reference with explicit bar-complex chain maps, but the appendix contains a load-bearing misstatement that must be fixed before the paper can serve as the reliable source it aims to be.","tokens_in":34418,"tokens_out":3524,"would_cite":true,"duration_ms":33441,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18G80","18D20"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every dg category is derived Morita equivalent to each of its suspended, additive, and pretriangulated envelopes, proved with explicit bar-complex chain maps.","keywords":["dg categories","bar complex","envelope operations","pretriangulated envelope","twisted complexes","derived Morita equivalence","counital idempotents","sign rules"],"falsifier":"Take $\\mathcal{C}$ to be the one-object dg category with endomorphism algebra $k$ in degree 0 and compute the map $\\Xi_{\\mathrm{Pretr}}$ of Lemma 5.26 from $\\mathrm{Bar}(\\mathrm{Pretr}(\\mathcal{C}))$ to $\\mathrm{Pretr}(\\mathcal{C}) \\otimes_{\\mathcal{C}} \\mathrm{Bar}(\\mathcal{C}) \\otimes_{\\mathcal{C}} \\mathrm{Pretr}(\\mathcal{C})$; if the induced cohomology map is not an isomorphism, Theorem 5.1 fails. Alternatively, produce a dg monoidal counterexample to the Appendix A lemma whose proof cites '[?]'—two counital idempotents with a counit-compatible closed map that is not a homotopy equivalence—and the main theorem collapses.","tokens_in":33378,"feed_emoji":"🔗","tokens_out":12000,"duration_ms":97425,"temperature":0.7,"pith_summary":"This paper establishes a precise sense in which the standard envelope operations on dg categories are Morita-invariant. For a dg category $\\mathcal{C}$ and each envelope $E \\in \\{S, A, \\mathrm{Pretr}\\}$—adjoining shifts, finite direct sums, and one-sided twisted complexes—the paper proves that $\\mathrm{Bar}(E(\\mathcal{C}))$ is homotopy equivalent to the relative bar complex built from the objects of $\\mathcal{C}$. This yields Theorem 6.1: $\\mathcal{C}$ is derived Morita equivalent to $E(\\mathcal{C})$ whenever the hom complexes of $\\mathcal{C}$ are projective over the ground ring $k$. Along the way the paper records the sign rules for combining envelopes with opposites, tensor products, and the bar resolution, and it gives a counterexample showing that the unrestricted twisted envelope $\\mathrm{Tw}(\\mathcal{C})$ does not have the same invariance property.","feed_headline":"Every dg category is derived Morita equivalent to its envelopes","feed_subtitle":"Explicit bar-complex maps show that adjoining shifts, sums, and cones changes the category only up to homotopy.","key_machinery":"The load-bearing object is the two-sided bar complex $\\mathrm{Bar}(\\mathcal{C})$, the projective resolution of the identity bimodule of $\\mathcal{C}$ built from alternating tensors of Hom-spaces, together with its relative version $\\mathrm{Bar}(\\mathcal{D}, X)$ that only uses Hom-spaces landing in and leaving a generating set $X$. The argument runs through the theory of counital idempotents in dg monoidal categories: $\\mathrm{Bar}(\\mathcal{D}, X)$ is a counital idempotent in the bimodule category, and Proposition A.20 turns a counit-compatible closed bimodule map into a homotopy equivalence. The explicit chain maps $\\Xi_S$, $\\Xi_A$, and $\\Xi_{\\mathrm{Pretr}}$ of Lemmas 5.17, 5.18, and 5.26 are what carry the proof from $\\mathrm{Bar}(E(\\mathcal{C}))$ down to $\\mathrm{Bar}(E(\\mathcal{C}), \\mathrm{Obj}(\\mathcal{C}))$.","core_discovery":"The central claim is Theorem 6.1: for a dg category $\\mathcal{C}$ whose hom complexes are projective over $k$, the derived Morita equivalence class is unchanged by passing to the suspended envelope $S(\\mathcal{C})$, the additive envelope $A(\\mathcal{C})$, or the pretriangulated envelope $\\mathrm{Pretr}(\\mathcal{C})$. The engine is Theorem 5.1, which says that if a set of objects $X$ generates a dg category $\\mathcal{D}$, then the two-sided bar complex $\\mathrm{Bar}(\\mathcal{D})$ is homotopy equivalent to the relative bar complex $\\mathrm{Bar}(\\mathcal{D}, X)$; for the three envelopes, $X = \\mathrm{Obj}(\\mathcal{C})$ generates $E(\\mathcal{C})$. Unlike earlier treatments, the homotopy equivalence is given by explicit chain maps $\\Xi_S$, $\\Xi_A$, and $\\Xi_{\\mathrm{Pretr}}$, with the signs written out, so the theorem is established by formula rather than by general nonsense. The paper also shows that $\\mathrm{Tw}(\\mathcal{C})$ is not invariant: a dg category can be quasi-equivalent to zero while $\\mathrm{Tw}(\\mathcal{C})$ is not.","pith_inferences":["If Theorem 6.1 is correct, the same explicit maps should compute Hochschild homology and cohomology of $S(\\mathcal{C})$, $A(\\mathcal{C})$, and $\\mathrm{Pretr}(\\mathcal{C})$ directly from $\\mathrm{Bar}(\\mathcal{C})$ relative to $\\mathrm{Obj}(\\mathcal{C})$; the paper lists these as motivations but does not carry out the computation.","The failure of $\\mathrm{Tw}(\\mathcal{C})$ suggests that making all twists invariant requires either one-sidedness or a completed bar construction; a natural test is whether the completed bar complex of Definition 5.19 admits a counit-compatible retraction for $\\mathrm{Tw}(\\mathcal{C})$ under finiteness hypotheses.","The fully faithful functors $E(\\mathcal{C}) \\otimes E(\\mathcal{D}) \\to E(\\mathcal{C} \\otimes \\mathcal{D})$ of Section 4 imply that any monoidal structure on $\\mathcal{C}$ lifts to each envelope, though the paper does not package this as a separate theorem.","A practical extension would be to test whether Theorem 6.1 survives over base rings $k$ where hom complexes are not projective, with the bar complex replaced by a flat or semi-projective resolution."],"forward_implications":["Theorem 5.1 upgrades the previously unproved statement of [GHW22, §5.3] to a theorem with explicit formulas and correct signs.","Theorem 6.1 makes $S(\\mathcal{C})$, $A(\\mathcal{C})$, and $\\mathrm{Pretr}(\\mathcal{C})$ interchangeable with $\\mathcal{C}$ in any setting that only depends on the derived Morita equivalence class.","Because the equivalence is realized by explicit chain maps, invariants built from the identity bimodule of the envelopes can be computed from the smaller relative bar complex of $\\mathcal{C}$.","Example 6.11 shows why the unrestricted twisted envelope $\\mathrm{Tw}(\\mathcal{C})$ is the wrong invariant: it can fail even quasi-equivalence, so the one-sided restriction in $\\mathrm{Pretr}$ is essential.","The sign rules in Section 4 give a canonical way to extend contravariant and multilinear functors to envelopes, making constructions like monoidal structures on $\\mathrm{Pretr}(\\mathcal{C})$ formulaic."],"supporting_citations":[{"why":"states the pretriangulated-envelope bar-complex formula without proof and with imprecise signs, which this paper's Theorem 5.1 proves precisely.","marker":"[GHW22]"},{"why":"introduces twisted complexes and the pretriangulated envelope that the paper's $\\mathrm{Pretr}$ is built from.","marker":"[BK]"},{"why":"supplies the idempotent theory in triangulated monoidal categories whose dg lift Appendix A uses in Proposition A.20.","marker":"[Hog17]"},{"why":"provides the construction of counital idempotents used to identify the relative bar complex as a counital idempotent.","marker":"[Hog20]"},{"why":"sets up derived Morita theory for dg categories, the framework in which Theorem 6.1 is stated.","marker":"[Toe04]"}],"fun_headline_variants":["Envelopes preserve derived Morita equivalence","Bar complex maps prove envelopes derived Morita equivalent","Twists break the rule: envelopes yes, twists no","Explicit signs show envelope invariance","Pretri and additive envelopes keep derived type"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on the appendix's theory of counital idempotents for dg monoidal categories, including a result whose proof is only sketched and a lemma containing an unresolved citation; if that theory fails in the dg setting, the homotopy equivalences of Theorem 5.1 and the derived Morita equivalences of Theorem 6.1 are not established.","fun_headline_variants_meta":{"raw":{"variants":["Envelopes preserve derived Morita equivalence","Bar complex maps prove envelopes derived Morita equivalent","Twists break the rule: envelopes yes, twists no","Explicit signs show envelope invariance","Pretri and additive envelopes keep derived type"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000408,"raw_usage":{"total_tokens":2078,"prompt_tokens":862,"completion_tokens":1216,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":478,"completion_tokens_details":{"reasoning_tokens":1148}},"tokens_in":478,"tokens_out":1216,"duration_ms":9525,"temperature":1.0,"reasoning_tokens":1148,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T22:58:46.118119+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $\\mathcal{C}$ to be the one-object dg category with endomorphism algebra $k$ in degree 0 and compute the map $\\Xi_{\\mathrm{Pretr}}$ of Lemma 5.26 from $\\mathrm{Bar}(\\mathrm{Pretr}(\\mathcal{C}))$ to $\\mathrm{Pretr}(\\mathcal{C}) \\otimes_{\\mathcal{C}} \\mathrm{Bar}(\\mathcal{C}) \\otimes_{\\mathcal{C}} \\mathrm{Pretr}(\\mathcal{C})$; if the induced cohomology map is not an isomorphism, Theorem 5.1 fails. Alternatively, produce a dg monoidal counterexample to the Appendix A lemma whose proof cites '[?]'—two counital idempotents with a counit-compatible closed map that is not a homotopy equivalence—and the main theorem collapses.","supporting_citations":[],"review_version":1}