{"id":"d20b1729-21bb-4f1f-b75b-454418c6abd2","arxiv_id":"1908.00931","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For an extriangulated category with a proper class of triangles, the supremum of xi-Gorenstein projective dimensions equals the supremum of xi-Gorenstein injective dimensions.","lead":"A category-theory paper proves that two notions of Gorenstein dimension, projective and injective, agree for extriangulated categories under a natural condition, unifying earlier results for rings and triangulated categories. A generalist might read it as a consolidation of relative homological algebra into a common framework.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.7's equality is conditional on Condition (⋆), which is verified only for exact and triangulated categories; no non-exact, non-triangulated extriangulated example is supplied, and the triangulated verification itself contains an unjustified exact sequence.","rationale":"I read the paper in good faith. The central claim is Theorem 4.7 and Corollary 4.8, which establish equality of global ξ-Gorenstein dimensions under Condition (⋆), generating/cogenerating assumptions, and finiteness of ξ-spli and ξ-silp. The reader identified Condition (⋆) as the weakest assumption, and I agree: it is the precise point where the diagram arguments convert vanishing of higher ξxt into exactness of Hom on the constructed coresolutions. The paper's verification for exact categories is plausible, though terse, and the triangulated verification is only sketched. My independent check of that sketch suggests a real gap: the displayed exact row 0→C(M,N)→C(P,N)→C(K,N)→0 is not justified by the triangulated long exact sequence without additional vanishing assumptions on C(Σ^{−1}K,N) and C(ΣM,N). If that gap cannot be repaired, even Corollary 4.12 is not fully established. This reinforces the reader's CONDITIONAL verdict rather than overturning it: the theorem is explicitly conditional on (⋆), and the missing work is to determine how widely (⋆) holds. I also noted the vacuous-looking hypothesis in Lemma 4.4 and the undefined m/editorial issues in Theorem 3.8, but those are secondary presentation gaps compared with the unverified Condition (⋆). The concrete test above would settle whether the triangulated verification survives, which is the most direct route to determining whether the concern lands.","tokens_in":13809,"tokens_out":13025,"duration_ms":133575,"concrete_test":"Re-derive Example 4.10(2) with the full long exact Hom sequence for the triangle K→P→M→ΣK, namely ...→C(Σ^{−1}K,N)→C(M,N)→C(P,N)→C(K,N)→C(ΣM,N)→..., and identify which hypotheses force the outer adjacent terms to vanish so that the isomorphism C(M,N)≅ξxt^0_ξ(M,N) follows. If those terms cannot be shown to vanish, the claimed induction for Condition (⋆) in triangulated categories is incomplete, and one must either supply the missing argument or exhibit a triangulated category where Condition (⋆) fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing point is Condition (⋆) in Theorem 4.7. In the proof of (3)⇒(1), this hypothesis is used to identify C(I, L^m_j) with ξxt^0_ξ(I, L^m_j) for injectives I with finite ξ-projective dimension, and then to read off that the constructed resolutions are C(I(ξ),−)-exact. If this identification fails, the argument does not produce a complete ξ-injective coresolution and the equality in Corollary 4.8 does not follow. For exact categories the condition is automatic because ξxt^0 is already Hom; for triangulated categories an induction is sketched in Example 4.10(2). But for the general extriangulated categories that the paper advertises as going beyond exact and triangulated cases, no verification is given and no non-exact, non-triangulated example with P(ξ) generating and I(ξ) cogenerating is shown to satisfy (⋆). In addition, the triangulated sketch contains a suspicious exact sequence 0→C(M,N)→C(P,N)→C(K,N)→0 coming from the triangle K→P→M→ΣK; the usual triangulated long exact sequence would have surrounding terms C(Σ^{−1}K,N) and C(ΣM,N), which are not shown to vanish for arbitrary N. Thus even the triangulated verification is not fully established in the text. The central theorem therefore holds conditionally on (⋆), but the paper does not delimit how often (⋆) is actually satisfied.","agreement_with_reader":"agree"},"referee_report":null,"author_rebuttal":null,"desk_editor":null,"rs_alignment":null,"lean_confirmation":null,"pith_extraction":null,"created_at":"2026-08-14T15:55:56.831850+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":null,"supporting_citations":[],"review_version":1}