{"id":"232937a6-b3bf-4acb-9fa0-844907cd76a3","arxiv_id":"2411.18333","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"In di-exact categories, modularity and distributivity of the lattice of normal subobjects characterize homological properties, and concrete examples separate homological self-duality, DPN, and di-exactness.","lead":"This paper compares four related frameworks for homological algebra and shows, with explicit counterexamples, that they are genuinely different. It also connects these categorical notions to the classical theory of lattices, giving criteria for when certain homological lemmas hold.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.3.5's proof silently identifies an isomorphism of quotients with equality of normal subobjects; in general pointed categories this implication is false.","rationale":"I read the paper as a serious contribution whose central claim is plausible and well supported by examples and by the overall framework. The lattice-theoretic characterizations are natural, and the explicit finite examples in Section 4.2 and the Vect_F example in 4.3.8 give independent evidence for the direction of the main theorem. The main issue I found is not the imported lemmas from arXiv:2404.15896, which are standard and seem to hold in pointed categories with kernels and cokernels. Rather, it is a compressed step inside Theorems 4.3.4 and 4.3.5 where an isomorphism of quotient objects is used to conclude equality of the corresponding normal subobjects. In arbitrary pointed categories, and even in concrete semi-abelian categories such as groups or vector spaces, isomorphic quotients do not determine their kernels. The intended argument likely relies on the fact that the isomorphism is the canonical quotient map induced by a morphism of short exact sequences, but this is not written out. Because this step is what turns normality of a map in SES(X) into the distributivity identity in NSub(H), it is load-bearing. The gap is probably repairable by a diagram chase, so I would not reject the paper; I would ask for the missing verification before full acceptance. The reader's weakest-assumption analysis focused on external lemmas; my concern is internal to the proof of the central equivalence, hence only partial agreement.","tokens_in":16286,"tokens_out":40643,"duration_ms":373957,"concrete_test":"Re-derive the final step of Theorem 4.3.5 by writing out the full morphism of short exact sequences that induces the isomorphism F/(B⊳E) ≅ F/(F⊲(D⊳G)). Verify explicitly that the composite isomorphism is the canonical quotient map F/A → F/C, with A = (F⊲D)⊳(F⊲G) and C = F⊲(D⊳G). If it is, the missing argument is a short diagram chase and the theorem stands. If not, test the condition on a concrete non-distributive modular example (for instance H = V4 in Grp, or H = F^2 in Vect_F) to see whether the quotient isomorphism can hold while distributivity fails; such a case would invalidate the claimed equivalence.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"In the proof of Theorem 4.3.5, the condition for the map Γ to be a normal monomorphism is reduced to an isomorphism of quotients: F/(B⊳E) ≅ (D⊳F⊳G)/(D⊳G), which is then rewritten as F/((F⊲D)⊳(F⊲G)) ≅ F/(F⊲(D⊳G)). From this the author concludes that the original pullback generates a di-extension if and only if NSub(H) is distributive, i.e. if and only if (F⊲D)⊳(F⊲G) = F⊲(D⊳G). But in a z-exact category, an isomorphism between quotients of the same object does not in general force the kernels to be equal. For example, in Vect_F, two distinct one-dimensional subspaces U,V of F^2 have isomorphic quotients F/U ≅ F/V; in Grp, the Klein four group has distinct normal subgroups with isomorphic quotients. The step can be repaired if the constructed isomorphism is the canonical quotient map F/A → F/C, where A = (F⊲D)⊳(F⊲G) ≤ C = F⊲(D⊳G); then exactness of 0 → C/A → F/A → F/C → 0 yields A = C. The written proof, however, does not state or prove this compatibility. The same gap appears in Theorem 4.3.4, where Y/T ≅ Y/(Y⊲(T⊳Z)) is used to conclude T = Y⊲(T⊳Z). Since the quotient-isomorphism step is the bridge between homological normality and the lattice distributivity identity, this is a load-bearing, though likely repairable, gap.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the hierarchy of pointed categories with kernels and cokernels introduced by Peschke and Van der Linden (homological self-duality, DPN, di-exactness). It constructs the lattice NSub(X) of normal subobjects in any z-exact category, gives explicit counterexamples over finite monoidal semilattices showing that HSD does not imply DPN and that DPN does not imply di-exactness, and proves that di-exactness forces modularity of all NSub(X) (Theorem 4.3.4), that SES(X) is di-exact iff all NSub(X) are distributive (Theorem 4.3.5), and analogous preservation statements for higher extensions and for homological self-duality in the regular case (Theorem 4.4.5, Propositions 4.3.9 and 4.4.7).","tokens_in":16597,"tokens_out":11131,"duration_ms":99424,"significance":"If the main theorems are correct, they give a clean lattice-theoretic handle on a genuinely categorical notion: the difference between di-exactness and DPN is governed by distributivity of normal-subobject lattices, and di-exactness itself implies modularity. The counterexamples are concrete and easy to check, and the use of finite monoidal semilattices is a nice device that makes the separation arguments transparent. The paper is also honest about its dependence on the external framework of arXiv:2404.15896. The proofs of the two central equivalences, however, currently contain an unjustified identification of isomorphic quotients with equal kernels; this needs to be repaired before the main claims can be regarded as established.","major_comments":[{"comment":"The reduction after diagram (4.1) asserts that gamma'' is a normal monomorphism exactly when F/(B⊳E) is isomorphic to (D⊳F⊳G)/(D⊳G), and rewrites this as F/((F⊲D)⊳(F⊲G)) isomorphic to F/(F⊲(D⊳G)). From this the proof concludes that the pullback generates a di-extension iff NSub(H) is distributive. In a general z-exact category, an isomorphism between two quotients of the same object does not imply equality of the corresponding kernels: for instance, distinct one-dimensional subspaces of F^2 over a field have isomorphic quotients. To make the step valid one must show that the constructed isomorphism is the canonical quotient map F/(B⊳E) -> F/(F⊲(D⊳G)) induced by (F⊲D)⊳(F⊲G) <= F⊲(D⊳G); then exactness of 0 -> C/A -> F/A -> F/C -> 0 yields A = C. This compatibility is not stated or proved in the manuscript, so the central bridge between homological normality and distributivity is missing as written. The argument is likely repairable, but it is load-bearing.","section":"4.3, proof of Theorem 4.3.5"},{"comment":"A similar identification occurs in the modularity proof. The proof obtains isomorphic right terms Y/T and Y/(Y⊲(T⊳Z)) and then concludes T = Y⊲(T⊳Z). This conclusion requires that the isomorphism be the canonical quotient epimorphism Y/T -> Y/(Y⊲(T⊳Z)), since otherwise distinct normal subobjects can have isomorphic quotients, as with normal subgroups of the Klein four group. The manuscript does not establish this compatibility, nor does it display the short exact sequence 0 -> (Y⊲(T⊳Z))/T -> Y/T -> Y/(Y⊲(T⊳Z)) -> 0 that would justify the inference. The gap is localized and probably fixable by a diagram chase, but it is essential for the modularity theorem.","section":"4.3, proof of Theorem 4.3.4"}],"minor_comments":[{"comment":"The final comparison in each proof is stated as 'Comparing ..., we conclude' without displaying the equality of the two middle components. Since the middle components are exactly the two sides of the distributive (resp. modular) identity in NSub(W), please spell out that equality of the displayed normal subobjects is equivalent to equality of those middle components.","section":"Propositions 4.3.9 and 4.4.7"},{"comment":"The proof shows that if Gamma is a normal monomorphism then its dinverse Lambda is normal, but Definition 2.2.5 requires an 'iff'. The converse presumably follows by symmetry of the dinverse relation; this should be stated explicitly.","section":"Proposition 4.3.7"},{"comment":"There are several minor typographical issues: the name Grätzer is missing its diacritic in reference [8], some diagrams have stray 'A' labels and line breaks in the middle of words, and the statement of Lemma 2.3.2 would be clearer if it named the specific diagonal composite being claimed to be normal.","section":"General presentation"}],"recommendation":"major_revision","confidential_remarks":"The paper is part of an ongoing project building on Peschke and Van der Linden's preprint, and it cites that source properly. The main gap identified in the report is a genuine missing step in the proof of Theorems 4.3.4 and 4.3.5, but it looks repairable by showing that the relevant quotient isomorphisms are canonical. If the author supplies that compatibility argument, the paper would be a solid contribution to the categorical algebra literature."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a genuine contribution to the comparison of HSD, DPN, and di-exact categories. The counterexamples in Section 4.2 (CMon is HSD but not DPN, SES(CMon) is not HSD, SES(Vect_F) is DPN but not di-exact) look correct and are new. The lattice-of-normal-subobjects perspective works well, and the monoidal semilattice examples make the constructions concrete and checkable. That part alone justifies reading the paper.\n\nThe soft spot is in the main theorems, 4.3.4 and 4.3.5. The proof of 4.3.5 reduces the condition for a morphism to be a normal monomorphism to an isomorphism of quotients F/((F⊲D)⊳(F⊲G)) ≅ F/(F⊲(D⊳G)), then concludes the two normal subobjects are equal. That implication is false in general pointed categories: distinct normal subobjects can have isomorphic quotients (e.g., in Vect_F). The step would be valid if the isomorphism were the canonical quotient map induced by the inclusion (F⊲D)⊳(F⊲G) ≤ F⊲(D⊳G), and that is likely checkable, but the written proof does not do it. The same gap appears in Theorem 4.3.4, where Y/T ≅ Y/(Y⊲(T⊳Z)) is used to conclude T = Y⊲(T⊳Z). This is load-bearing for the lattice characterizations, so a referee should insist on an explicit identification.\n\nOther concerns are minor. The paper leans on imported lemmas from arXiv:2404.15896, which is normal for a companion paper, but the referee should verify those lemmas cover the uses here. The example of Mon as a pointed variety that is not HSD is attributed to Messora without a reference; that should be clarified as a personal communication or published source.\n\nWho is this for? People working in categorical algebra and non-abelian homology. The counterexamples are the strongest part; the lattice characterizations would be a clean contribution once the quotient-isomorphism gap is fixed. The paper deserves a serious referee, with a request for revision rather than desk rejection.","headline":"Useful new counterexamples and lattice characterizations for HSD/DPN/di-exact categories, but the main theorem has a real, likely repairable gap: quotient isomorphisms are treated as subobject equalities.","tokens_in":17148,"tokens_out":2959,"would_cite":true,"duration_ms":29684,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18E13","18E99","06B10","06B20","06D99","06F05"],"pacs":[],"model":"deepseek-v4-flash","headline":"In di-exact categories, normal-subobject lattices are modular, and short-exact-sequence categories stay di-exact exactly when those lattices are distributive.","keywords":["di-exact category","normal subobject lattice","modular lattice","distributive lattice","homological self-duality","short exact sequences","semi-abelian categories","monoidal semilattices"],"falsifier":"Look for a di-exact category X with an object X whose NSub(X) contains the five-element pentagon N5 as a sublattice; such a category would contradict Theorem 4.3.4. To test Theorem 4.3.5 directly, take a di-exact X in which every NSub(X) is distributive but some pullback square in SES(X) has a comparison map gamma'' that is not a normal monomorphism; that would be a counterexample to the 'if' direction, while a di-exact X with a non-distributive NSub(X) whose SES(X) is nevertheless di-exact would refute the 'only if' direction.","tokens_in":16044,"feed_emoji":"","tokens_out":8735,"duration_ms":72834,"temperature":0.7,"pith_summary":"Di-exact categories are pointed categories with kernels and cokernels in which every antinormal map is normal, the setting where the Normal Snake Lemma holds. This paper sets out to understand the hierarchy of self-dual frameworks—z-exact, homologically self-dual, dinversion-preserving-normal-maps, and di-exact—by measuring them with the lattice of normal subobjects of each object. Its main findings are that di-exactness forces every such lattice to be modular, and that the category of short exact sequences SES(X) is itself di-exact if and only if every such lattice is distributive. Since iterating SES(X) is how higher extensions are built, this makes a purely lattice-theoretic test for when the homological machinery can be iterated. The paper also proves that, in regular categories, homological self-duality survives passage to SES(X) under modularity, and it gives monoidal-semilattice counterexamples separating the frameworks.","feed_headline":"Lattice distributivity decides which di-exact categories iterate","feed_subtitle":"Normal-subobject lattices are modular, and distributivity controls the category of short exact sequences.","key_machinery":"The central object is the lattice of normal subobjects NSub(X) of an object X in a pointed category with kernels and cokernels. Its elements are isomorphism classes of normal monomorphisms into X; the intersection is the pullback of two normal monomorphisms, the union is the kernel of the cokernel of Y -> X/Z, and Lemma 4.1.2 proves these operations always exist in a z-exact category. This lattice is what lets homological hypotheses be translated into modularity and distributivity. The second piece of machinery is the category of finite monoidal semilattices, where normal subobjects are exactly principal down-sets and the lattice NSub(L) is isomorphic to L itself, giving precise control for counterexamples.","core_discovery":"On the paper's own terms, the central result is Theorem 4.3.5: if X is di-exact, then the category SES(X) of short exact sequences in X is di-exact if and only if, for every object X, the lattice NSub(X) of normal subobjects of X is distributive. The companion Theorem 4.3.4 states that di-exactness alone already forces every such lattice to be modular. Put together, the two theorems say that the most restrictive of the self-dual frameworks studied here is controlled by classical lattice identities: modularity at the level of one object, distributivity at the level of short exact sequences. The proof of 4.3.5 converts a pullback of short exact sequences into data of three normal subobjects D, F, G of a single object H, and shows that the required comparison map is a normal monomorphism exactly when NSub(H) satisfies the distributive law. A parallel theorem (4.4.5) shows that, in a regular category, homological self-duality of SES(X) follows from modularity of the same lattices, and examples built from monoidal semilattices show the implications z-exact to homological self-duality, to dinversion-preserving-normal-maps, to di-exact are all strict.","pith_inferences":["The paper leaves open the converse of Theorem 4.3.4; a natural test is whether a z-exact category with all NSub(X) modular but not di-exact exists, or whether modularity plus homological self-duality is enough to force di-exactness.","In ideal-determined categories, where normal subobjects coincide with congruences, the criteria here could be re-read as congruence-modularity and congruence-distributivity conditions, letting known varieties with those properties supply examples or counterexamples.","The monoidal-semilattice method could be automated: since finite monoidal semilattices are essentially finite lattices with a minimum, one could enumerate finite lattices to search for further separating examples among homological self-duality, DPN, and di-exactness, or to test the modularity converse."],"forward_implications":["If Theorem 4.3.5 is right, then the failure of distributivity in any single NSub(X) is a certificate that SES(X) is not di-exact; the diamond in NSub(F^2) is exactly why SES(Vect_F) fails.","With distributivity, the paper's Proposition 4.3.9 shows the condition persists in SES^n(X) for every n, so n-fold extensions of X are exactly the objects of SES^n(X).","In the regular setting, modularity alone is enough to pass homological self-duality from X to SES(X) (Theorem 4.4.5), and by Proposition 4.4.7 this persists to all higher SES^n(X).","The monoidal-semilattice counterexamples separate the four frameworks: CMon is homologically self-dual but not DPN, SES(CMon) is z-exact but not homologically self-dual, and SES(Vect_F) is DPN but not di-exact.","Because every abelian category has non-distributive normal-subobject lattices, iterating di-exactness to SES(X) is a genuinely non-abelian phenomenon."],"supporting_citations":[{"why":"Supplies all four frameworks (z-exact, homologically self-dual, DPN, di-exact) and the pullback/pushout lemmas about kernels and cokernels on which the lattice constructions in Section 4 depend.","marker":"[12]"},{"why":"Provides the pentagon and diamond characterizations of modular and distributive lattices, plus the interval-isomorphism criterion used in Theorems 4.3.4 and 4.3.5.","marker":"[2]"},{"why":"Gives the explicit criterion for normal submonoids of a monoid used to compute normal subobjects in the monoidal semilattice examples.","marker":"[13]"},{"why":"Provides the background of homological and semi-abelian categories, and is cited as a source of similar well-known lemmas.","marker":"[3]"},{"why":"Supplies the notion of regular category and regular epimorphisms used in Section 4.4.","marker":"[1]"},{"why":"Records the theorem that a homological category with binary coproducts is semi-abelian exactly when it is di-exact, which motivates the hierarchy.","marker":"[9]"}],"fun_headline_variants":["Distributive normal subobject lattices keep short exact sequences di-exact","Modular lattices force di-exactness, distributivity iterates it","Di-exact categories: modular lattices, distributive sequences","Normal subobject distributivity controls di-exact short exact sequences","Lattice laws decide when di-exact categories iterate sequences"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper leans on the companion framework's guarantee that, in any category with kernels and cokernels, the kernel of a composite is the pullback of the kernel of the second map along the first, the cokernel of a composite is the pushout of the cokernel of the first along the second, and pullbacks of normal monomorphisms are normal; if any of these imported facts failed, the lattice of normal subobjects would not encode the intended homological notions and the counterexamples would dissolve.","fun_headline_variants_meta":{"raw":{"variants":["Distributive normal subobject lattices keep short exact sequences di-exact","Modular lattices force di-exactness, distributivity iterates it","Di-exact categories: modular lattices, distributive sequences","Normal subobject distributivity controls di-exact short exact sequences","Lattice laws decide when di-exact categories iterate sequences"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000746,"raw_usage":{"total_tokens":3340,"prompt_tokens":972,"completion_tokens":2368,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":588,"completion_tokens_details":{"reasoning_tokens":2276}},"tokens_in":588,"tokens_out":2368,"duration_ms":16087,"temperature":1.0,"reasoning_tokens":2276,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:17:55.659947+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Look for a di-exact category X with an object X whose NSub(X) contains the five-element pentagon N5 as a sublattice; such a category would contradict Theorem 4.3.4. To test Theorem 4.3.5 directly, take a di-exact X in which every NSub(X) is distributive but some pullback square in SES(X) has a comparison map gamma'' that is not a normal monomorphism; that would be a counterexample to the 'if' direction, while a di-exact X with a non-distributive NSub(X) whose SES(X) is nevertheless di-exact would refute the 'only if' direction.","supporting_citations":[{"cited_title":"Birkhoff, Lattice theory, Amer","cited_arxiv_id":null,"evidence_quote":"Provides the pentagon and diamond characterizations of modular and distributive lattices, plus the interval-isomorphism criterion used in Theorems 4.3.4 and 4.3.5."},{"cited_title":"Pin, Characterize kernels of monoid homomorphisms , https://math.stackexchange.com/q/1592859, 2015","cited_arxiv_id":null,"evidence_quote":"Gives the explicit criterion for normal submonoids of a monoid used to compute normal subobjects in the monoidal semilattice examples."},{"cited_title":"Borceux and D","cited_arxiv_id":null,"evidence_quote":"Provides the background of homological and semi-abelian categories, and is cited as a source of similar well-known lemmas."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the notion of regular category and regular epimorphisms used in Section 4.4."},{"cited_title":"Janelidze, L","cited_arxiv_id":null,"evidence_quote":"Records the theorem that a homological category with binary coproducts is semi-abelian exactly when it is di-exact, which motivates the hierarchy."}],"review_version":1}