{"id":"c8205aee-5a2f-4152-8b6c-f0f075e4ea43","arxiv_id":"2505.17286","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For any abelian category A, the length-2 part of the derived category admits a natural 2-category of extensions that the triangulated structure alone cannot see, and the enhancement formalism of arXiv:2409.17489 reproduces it.","lead":"This paper builds a 2-category whose objects are two-term chain complexes in an abelian category, with 2-morphisms given by splittings of short exact sequences. It then shows that the author's enhancement machinery, not the triangulated structure of the derived category, recovers this 2-category.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 3.1's proof omits the key comparison (3.7): the claim that (3.7) is an epivalence is left as an unproved diagram chase, and the reduction to pt by replacing A with J^o A is not licensed by the stated 'enough injectives' hypothesis.","rationale":"I focused on Proposition 3.1 because it is the claim that the enhanced formalism recovers the hand-built 2-category; all earlier results are preparatory. The reader's verdict was CONDITIONAL, and my read supports that: I see no demonstrated error, but the proof is not self-contained at its crux. The dependence on [Ka4]/[Ka5] is also a real reproducibility issue, but it is external and would be settled by verifying those references; the missing diagram chase is internal and more directly load-bearing. The J^o A point compounds the problem: even if the black boxes are correct, the universal statement over Pos needs the pt-level comparison for all abelian categories, not just those with enough injectives. A successful re-derivation would upgrade the paper to ACCEPT; a failure would make it REJECT. Since neither outcome is established, the reader's CONDITIONAL verdict should stand unchanged.","tokens_in":20659,"tokens_out":21390,"duration_ms":179162,"concrete_test":"Re-derive the omitted part of Proposition 3.1 in full: for an arbitrary abelian category A, construct an inverse to (3.7) by mapping an object E∈D[0,1](Fun([1],A))_{M,N} to a splitting of (f1⊕id)∘(M⊕N)∘(id⊕(−f0)), and prove functoriality and essential surjectivity without invoking enough injectives. If this succeeds for all A, the J^o A reduction is harmless and the proof is complete; if it requires injectives at some step, replace the hypothesis by 'A is Grothendieck' or restrict J; if it fails, Proposition 3.1 is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 3.1 is the central assertion: it identifies the enhanced 2-category Δ^h D[0,1](A)^h with the hand-built extension 2-category C^(2)_[0,1](A). The proof has two unsecured steps. First, after defining Q and reducing (3.6) to the unenhanced square, the paper says 'we can replace A with J^o A' for arbitrary J∈Pos. The stated hypothesis is only that A has enough injectives. For general posets J, J^o A need not have enough injectives — e.g. torsion abelian groups have enough injectives but countable products are not exact, so functor categories over infinite posets need not — and §3.1 constructs the enhancement D[0,1](−)^h only under enough injectives. Thus the reduction is not justified as written. Second, the actual comparison (3.7) is dismissed as 'straightforward diagram chasing' and left to the reader. In particular, essential surjectivity of (3.7) — every object in D[0,1](Fun([1],A))_{M,N} is represented by a splitting — is not established. Since this is exactly where the enhancement is shown to reproduce the hand-built morphism categories, the central equivalence rests on an unverified assertion. Both gaps are probably fixable, but as written they make Proposition 3.1 conditional.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a 2-category of extensions C^(2)_[0,1](A) for an abelian category A, whose objects are two-term chain complexes, whose 1-morphisms are complex maps, and whose 2-morphisms are given by splittings of a certain exact sequence (Proposition 2.13). The construction in Section 2 is explicit and uses only abelian-category techniques, via admissible functors and the Segal-category formalism. In Section 3, assuming A has enough injectives, the paper uses the enhancement formalism of [Ka4] to define an enhanced 2-category Δ^h D[0,1](A)^h and claims (Proposition 3.1) that it is 1-truncated and naturally 2-equivalent to C^(2)_[0,1](A). The paper argues that the triangulated structure alone does not deliver this 2-category, and that enhancement is necessary. The comparison in Proposition 3.1 is the central technical claim.","tokens_in":20980,"tokens_out":6908,"duration_ms":48950,"significance":"Section 2 provides a careful and mostly self-contained description of the morphism categories of the extension 2-category; Proposition 2.13 is worked out in detail and yields an explicit formula in terms of splittings and Yoneda Ext. If the comparison in Proposition 3.1 can be fully proved, the paper would give a clean illustration of the enhanced-category formalism, showing that it recovers exactly the higher structure that a triangulated structure forgets, with a concrete example (Remark 3.2) demonstrating why semicartesian products are necessary. The paper is honest about its limitations, explicitly flagging black-box dependencies and the remaining verification. However, as written, the main theorem is conditional on two unproved steps and on nontrivial results from the author's earlier preprints.","major_comments":[{"comment":"The reduction \"since we can replace A with J^o A, it suffices to consider the situation over pt\" is not justified by the hypothesis that A has enough injectives. For an arbitrary J∈Pos, J^o A need not have enough injectives (e.g., A = torsion abelian groups has enough injectives, but functor categories over infinite posets need not), yet the enhancement D[0,1](−)^h was constructed in §3.1 only under the enough-injectives assumption. The proof must either strengthen the assumption to A Grothendieck or provide a naturality argument that avoids needing D(J^o A) constructed via h-injective complexes.","section":"§3.2 (proof of Prop. 3.1)"},{"comment":"The assertion that the functor (3.7) is an epivalence is the load-bearing step in the proof of Proposition 3.1, but it is dismissed as \"straightforward diagram chasing\" and left to the reader. In particular, essential surjectivity is not shown: given an arbitrary object in D[0,1](Fun([1],A))_{M,N}, the existence of a splitting of (f1⊕ id)◦(M⊕N)◦(id⊕(−f0)) and the associated zigzag (3.8) is exactly what needs to be proved. Full faithfulness on 2-morphisms is also not demonstrated. Please include a complete proof of this comparison, or state and prove it as a separate lemma.","section":"§3.2 (Eq. (3.7))"},{"comment":"The proof of Proposition 3.1 rests on substantial results imported from the author's preprints [Ka4], [Ka5]: existence of enhanced functor categories and of semicartesian products with the stated universal properties, plus the identification of special functors used in (3.4). The paper does not state these results precisely, so a reader cannot verify the argument without consulting a lengthy preprint. Please state the exact black-box results (or provide an appendix with their statements) and indicate which parts of Proposition 3.1 depend on each.","section":"§3.1 (facts (i), (ii))"}],"minor_comments":[{"comment":"In the sentence defining the categories of morphisms, \"C[0,A]\" should be \"C[0,1](A)\".","section":"§2.3 (Def. 2.12)"},{"comment":"Proposition 3.1 refers to \"Corollary 2.11\" for the 2-category C^(2)_[0,1](A), but Corollary 2.11 only establishes the Segal property; the 2-category itself is introduced in Definition 2.12. Please adjust the reference.","section":"§3.2 (Prop. 3.1)"},{"comment":"The notation M∆q, N∆q is used without an explicit definition; spell out that these are the admissible constant functors corresponding to M q and N q under Example 2.7.","section":"§2.3 (proof of Prop. 2.13)"},{"comment":"In the example with M q=N q and f0=id, f1=id, it would be helpful to state explicitly that the non-trivial π1 of the source is isomorphic to Hom(H0(M q), H1(N q)), as follows from Proposition 2.13.","section":"§3.2 (Remark 3.2)"}],"recommendation":"major_revision","confidential_remarks":"The paper depends heavily on the author's own preprints [Ka4] and [Ka5], which are not yet published in a peer-reviewed venue. The editor may wish to ensure that the black-box results quoted from these preprints are themselves correct and stated in a form that can be verified by the referees. This is a practical issue for the review process, not a criticism of the mathematical approach."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Kaledin does something concrete here: he builds the 2-category of extensions C^(2)_[0,1](A) by hand, gives a complete description of its morphism categories in Proposition 2.13, and then shows that the enhancement formalism of [Ka4] recovers it. The Section 2 part is self-contained and well executed. The paper is honest that it is an illustration rather than a new general theorem. The point that the triangulated structure alone forgets this 2-category is worth recording, and Remark 3.2's warning that one really needs semicartesian rather than cartesian products is instructive.\n\nThe soft spots are concentrated in Proposition 3.1. Two steps are unsecured as written. First, the reduction 'we can replace A with J^o A' is not licensed by the stated hypothesis that A has enough injectives; for arbitrary posets J, J^o A need not have enough injectives, so the enhancement construction of Section 3.1 does not obviously apply. This might be repairable with a weaker hypothesis, but as written it is a gap. Second, the key comparison (3.7) is dismissed as 'straightforward diagram chasing' and left to the reader. That is exactly where the enhancement is shown to reproduce the hand-built morphism categories; essential surjectivity is not established. These are probably fixable, but they make the central equivalence conditional rather than proven.\n\nThere is also the dependence on unpublished black boxes from [Ka4] and [Ka5]. That is not a flaw in itself, but it means the paper cannot be checked independently until those references are available.\n\nWho this is for: people working with enhancements and derived categories, especially anyone who wants a concrete example of what the enhancement formalism buys beyond triangulated structure. The Section 2 construction stands on its own and could be cited independently of the enhancement part.\n\nRecommendation: send it to a serious referee. The referee should ask for a complete proof of the (3.7) epivalence and for a fix or clarification of the J^o A reduction. The paper deserves referee time: the core idea is sound and the explicit construction is valuable. My own verdict would be conditional acceptance pending those repairs.","headline":"A useful concrete illustration of the enhancement formalism, with a load-bearing final comparison left unproved and an unjustified reduction to the point.","tokens_in":21507,"tokens_out":3272,"would_cite":true,"duration_ms":32967,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18N10","18G80","18G35"],"pacs":[],"model":"deepseek-v4-flash","headline":"The derived category of an abelian category with enough injectives carries a natural 2-category of extensions, and the enhancement formalism of [Ka4] recovers it exactly.","keywords":["derived categories","2-categories","extensions","enhancements","triangulated categories","semicartesian products","abelian categories","Yoneda Ext"],"falsifier":"For any abelian category $A$ with enough injectives, take $M^q=N^q$ and maps $f_0=f_1=\\mathrm{id}$; the paper predicts the morphism category in the enhanced 2-category is a groupoid with fundamental group $\\mathrm{Hom}(H_0(M^q),H_1(M^q))$, while the triangulated truncation would be discrete. Computing this groupoid directly from the enhanced functor category, say for modules over a ring with nontrivial $\\mathrm{Ext}^1$, and finding it discrete would falsify Proposition 3.1; finding the predicted nontrivial $\\pi_1$ confirms the need for enhancement.","tokens_in":20437,"feed_emoji":"🔗","tokens_out":7544,"duration_ms":58952,"temperature":0.7,"pith_summary":"The paper's claim is that the derived category of an abelian category with enough injectives carries a natural 2-category, named the 2-category of extensions, whose objects are complexes of length two and whose morphisms are themselves extensions up to homotopy. The author argues that the triangulated structure alone cannot see this 2-category, because at length two the homotopy type of maps between two objects is a groupoid rather than a set, and a triangulated category only records connected components. The paper first builds this 2-category by hand using explicit chain complexes and splittings, then shows that a short construction in the enhancement formalism of [Ka4] and [Ka5] recovers the same 2-category through a natural 2-equivalence. A sympathetic reader should care because it is a concrete low-complexity case where enhancements provably carry information that triangulated categories forget, and where the enhanced construction is simple enough to see exactly why.","feed_headline":"Enhancements expose the 2-category that triangulated categories miss","feed_subtitle":"Enhanced functor categories recover the 2-category of extensions that triangulated structure alone cannot see.","key_machinery":"The load-bearing machinery is the enhanced 2-category $\\Delta^h E$ built from any enhanced category $E$ by formula (3.3): take the enhanced relative functor category $\\mathrm{Fun}^h(\\Delta_q|\\Delta,E)$, then cut it down by a semicartesian square using $\\epsilon^h_*$. The semicartesian product, an enhanced substitute for a fiber product characterized by a universal property and by being an epivalence (conservative, essentially surjective, and full), is the part the author calls absolutely crucial: for two equal objects and identity homology maps, the natural comparison functor from the hand-built morphism category to the ordinary cartesian product is only an epivalence, with source a groupoid with nontrivial $\\pi_1$ and target discrete. The enhanced functor categories supply the homotopy types of mapping objects, and the semicartesian product is what prevents that homotopical information from being collapsed.","core_discovery":"On the paper's own terms, the central discovery is Proposition 3.1: for any abelian category $A$ with enough injectives, the enhanced 2-category $\\Delta^h D_{[0,1]}(A)^h$ is 1-truncated and naturally 2-equivalent to the 2-category $C^{(2)}_{[0,1]}(A)$ constructed by hand in Section 2. This means the elementary abelian-category object whose objects are length-2 complexes, whose 1-morphisms are admissible functors from $\\Delta[1]$, and whose 2-morphisms are splittings of the resulting extensions is exactly what the enhancement formalism produces. The comparison functor is the quotient $h : K(C_{[0,1]}(A)) \\to D_{[0,1]}(A)^h$ applied fiberwise; the proof reduces to showing that over each pair of objects the induced functor on morphism categories is an epivalence, and the nontrivial content is that it is only an epivalence, not an equivalence. The paper also asserts that the triangulated formalism does not deliver this structure, because the needed morphism groupoids have nontrivial $\\pi_1$ in general, which a triangulated category cannot see.","pith_inferences":["Going beyond the paper, one can test the same semicartesian construction on the subcategory of complexes of length at most $n$; the natural expectation is an $n$-truncated higher category refining $D_{[0,n]}(A)$, with the same proof pattern reducing to an epivalence statement.","The appearance of $\\mathrm{Ext}^1$ gerbs as morphism categories suggests these 2-categories are a natural home for obstruction-theoretic gluing data, since a morphism itself is an extension and composing such morphisms may encode associativity information that classical triangulated gluing lacks.","If the enhancement technology eventually covers abelian categories without enough injectives, Proposition 3.1 should carry over verbatim; until then, for such categories the enhanced construction is only conjecturally the right refinement."],"forward_implications":["If Proposition 3.1 is correct, the 2-category of extensions is not an ad hoc abelian-category construction: it is forced by the general enhancement formalism, so any enhancement of a derived category that satisfies the [Ka4] axioms will produce it.","The morphism categories of $C^{(2)}_{[0,1]}(A)$ admit an explicit description (Proposition 2.13): the fiber over a pair of maps $f_0,f_1$ is the groupoid $\\mathrm{Spl}((f_1\\oplus \\mathrm{id})\\circ(M^q\\oplus N^q)\\circ(\\mathrm{id}\\oplus(-f_0)))$, nonempty exactly when the Yoneda $\\mathrm{Ext}^2$ classes match, and then it is a gerb over $\\mathrm{Ext}^1(H_0(M^q),H_1(N^q))$.","Consequently, whenever $A$ has a derived category the 2-category $C^{(2)}_{[0,1]}(A)$ is bounded, and its truncation is the ordinary full subcategory $D_{[0,1]}(A)$.","For the full derived category $D(A)^h$ rather than $D_{[0,1]}(A)^h$, the same construction still gives an enhanced 2-category, but it is not 1-truncated, and the paper leaves open whether its 1-truncation admits a concise explicit description of the kind given in Section 2."],"supporting_citations":[{"why":"Supplies the two black-box facts the construction rests on: enhanced functor categories (Corollary 7.3.3.5) and semicartesian products (Lemma 7.3.3.7).","marker":"[Ka4]"},{"why":"Provides the survey version of the same enhanced-category formalism, including functor categories and semicartesian products.","marker":"[Ka5]"},{"why":"Defines the triangulated structure whose insufficiency motivates the paper: the paper says it cannot recover the 2-category of extensions.","marker":"[V]"},{"why":"Provides the Grothendieck-construction packaging of 2-categories used throughout Sections 1 and 3.","marker":"[Ka3]"},{"why":"Underlies the fibration terminology and the Grothendieck construction used to define Segal categories and enhanced categories.","marker":"[G]"},{"why":"Supports the fact, used in Remark 2.5, that pullback along the nerve embedding identifies functors with special functors.","marker":"[DHKS]"},{"why":"Cited in Remark 2.10 as the standard pattern for Proposition 2.8, which establishes the Segal condition for the hand-built 2-category.","marker":"[Ka2]"}],"fun_headline_variants":["Enhancements reveal the 2-category of extensions","2-category of extensions recovered via enhancements","Triangulated categories miss extensions? Enhancements see them","New 2-category for extensions from enhanced functor categories","Hand-built 2-category of extensions matches enhanced formalism"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper rests on the enhancement black boxes imported from [Ka4] and [Ka5]: the existence and universal property of enhanced functor categories, and especially of semicartesian products, which Remark 3.2 calls absolutely crucial; if that machinery fails, the two-line recovery of the 2-category collapses.","fun_headline_variants_meta":{"raw":{"variants":["Enhancements reveal the 2-category of extensions","2-category of extensions recovered via enhancements","Triangulated categories miss extensions? Enhancements see them","New 2-category for extensions from enhanced functor categories","Hand-built 2-category of extensions matches enhanced formalism"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000896,"raw_usage":{"total_tokens":3852,"prompt_tokens":928,"completion_tokens":2924,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":544,"completion_tokens_details":{"reasoning_tokens":2844}},"tokens_in":544,"tokens_out":2924,"duration_ms":18386,"temperature":1.0,"reasoning_tokens":2844,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:49:04.941129+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For any abelian category $A$ with enough injectives, take $M^q=N^q$ and maps $f_0=f_1=\\mathrm{id}$; the paper predicts the morphism category in the enhanced 2-category is a groupoid with fundamental group $\\mathrm{Hom}(H_0(M^q),H_1(M^q))$, while the triangulated truncation would be discrete. Computing this groupoid directly from the enhanced functor category, say for modules over a ring with nontrivial $\\mathrm{Ext}^1$, and finding it discrete would falsify Proposition 3.1; finding the predicted nontrivial $\\pi_1$ confirms the need for enhancement.","supporting_citations":[],"review_version":1}