{"id":"fe8da03c-fe9c-4b2c-9a3e-e79fa0757da2","arxiv_id":"1908.04184","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In semi-abelian categories satisfying the Smith-is-Huq condition, pairs of compatible actions are characterized by the existence of a common base object with two internal crossed module structures, and the Peiffer product is constructed as a coequalizer.","lead":"This paper extends the notion of pairs of compatible actions from groups and Lie algebras to the much broader setting of semi-abelian categories, and constructs the associated Peiffer product. It proves that compatible actions are exactly those induced by two crossed modules over a common base object.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Definition 3.1's (CA.0) ternary cosmash conditions are an explicitly open limitation on the scope of Theorem 3.11, but the theorem is internally sound as stated.","rationale":"The reader's weakest assumption identifies exactly the same load-bearing point: the (CA.0) conditions involving the ternary cosmash product are not known to be automatic, so Definition 3.1 may be strictly stronger than the classical notion of compatibility in categories beyond groups and Lie algebras. I agree that this is the main caveat. It is a genuine limitation, explicitly acknowledged by the authors in the remarks after Definition 3.1 and again in Remark 4.4 about the unknown action of L on the Peiffer product without algebraic coherence. However, the concern does not reveal an internal inconsistency or a gap in the proof of Theorem 3.11 as stated: compatibility is defined to include (CA.0), and the theorem's two directions are proved relative to that definition. The 'if' direction relies on Proposition 3.3 and an external result from [20], which is a standard citation practice and not circular. The 'only if' direction constructs the Peiffer product and verifies the crossed module structures using the stated compatibility diagrams. Given the paper's explicit caveats, the central claim is correct for the notion it defines, and the reader's ACCEPT verdict remains appropriate. A concrete analytical test of the (CA.0) square would settle whether the definition is over-restrictive, but the absence of such a test does not undermine the paper's internal correctness.","tokens_in":26723,"tokens_out":17189,"duration_ms":164186,"concrete_test":"Independently re-derive the first (CA.0) square of Proposition 3.3, namely ξ^{M+N}_M ∘ j_{M,N,M} = ˛ξ^N_M ∘ S^{1,2}_{N,M}, using only the crossed module axioms of Definition 1.28, naturality of the folding maps, and the explicit definitions in Section 1, without citing Theorem 5.6 of [20]. If the derivation requires an additional hypothesis such as algebraic coherence or an extra ternary cosmash condition, then Proposition 3.3 has a hidden assumption and the scope of Theorem 3.11 is narrower than stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central equivalence Theorem 3.11 depends on the notion of compatibility in Definition 3.1, which requires coproduct actions satisfying the four triangles of (CA.0) plus the two ternary cosmash squares. In the remarks after Definition 3.1 the authors state that they do not know under which conditions on the semi-abelian category A the ternary cosmash squares follow from the other compatibility equations; they are automatic in Grp and in Lie_R. If some SH semi-abelian category admits a pair of actions satisfying the remaining compatibility conditions but not (CA.0), then Theorem 3.11 characterizes only a proper subclass of what one might reasonably call compatible actions. A related technical gap is that the diagrams use folding maps S^{1,2}_{N,M} that are not explicitly defined in the paper, although they can presumably be obtained from Definition 1.14 via the symmetry of the ternary cosmash product. The 'if' direction of Theorem 3.11 is nonetheless not suspect: Proposition 3.3 constructs coproduct actions by pullback along [μ,ν] and verifies (CA.0) using the crossed module conditions and a cited result, Theorem 5.6 of [20]. Thus the concern is about the definition's scope and the reliance on that external theorem, not about an internal contradiction in the proof.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper extends the group-theoretic notion of compatible actions to semi-abelian categories satisfying the Smith-is-Huq condition (SH). After reviewing internal actions, the cosmash product, and crossed modules, the authors introduce Definition 3.1, which axiomatizes compatibility of two internal actions via the existence of coproduct actions ξ^{M+N}_M and ξ^{M+N}_N satisfying diagrams (CA.0), (CA.M), and (CA.N). They construct the Peiffer product M ⋈ N as a coequaliser (Definition 3.4), prove it is also the pushout of the two semi-direct products (Proposition 3.5), and show that it coincides with a 'strong' Peiffer product defined as a coequaliser of precrossed-module maps (Proposition 3.8). Proposition 3.9 shows that, for compatible actions, the Peiffer product carries crossed module structures M → M ⋈ N and N → M ⋈ N inducing the original actions. The central result, Theorem 3.11, states that two actions are compatible if and only if they are induced by a pair of crossed modules over a common base object. Corollaries 3.12 and 3.13 recover the classical group and Lie algebra characterisations. Section 4 establishes the universal property of the Peiffer product as initial among coterminal crossed modules inducing the given actions, and compares it with the Peiffer product of Cigoli–Mantovani–Metere under algebraic coherence.","tokens_in":26956,"tokens_out":1919,"duration_ms":21129,"significance":"If the main theorem holds, the paper provides a genuinely categorical characterisation of compatible actions: in a semi-abelian category satisfying (SH), compatibility is equivalent to the existence of a common base for two crossed modules. This unifies the Brown–Loday group case and the Ellis Lie algebra case, and it prepares a categorical treatment of non-abelian tensor products and crossed squares. The paper is well organised, carefully motivated by the group case, and makes good use of the previously developed machinery of ternary cosmash products and the Smith-is-Huq condition. The authors are explicit about the role of (SH) and about the open question concerning the status of the (CA.0) ternary cosmash diagrams, which is a strength in terms of scholarly honesty. The Peiffer product is studied through several equivalent descriptions, and the comparison with the existing construction of Cigoli–Mantovani–Metere is a useful contribution.","major_comments":[{"comment":"The definition of compatibility includes the two (CA.0) squares involving the ternary cosmash product, and the paper explicitly states that it is not known under which conditions on A these squares follow from the other compatibility equations. This means that Theorem 3.11 characterises the class of actions for which the (CA.0) squares hold, not a priori the maximal class one might call compatible. The theorem is internally sound as stated, but the authors should state this limitation more prominently in the abstract or introduction, and ideally give a concrete example (or a reference) of a category where the (CA.0) squares are not automatic, even if only in an informal remark.","section":"Definition 3.1 and remarks after it"},{"comment":"The proof of Proposition 3.3 says that the second (CA.0) square is proved by 'similar reasoning', but this square is one of the two non-trivial ternary cosmash conditions, and it involves a folding map S^{1,2}_{N,M} that is not explicitly defined in the manuscript. Given that the reader's main check of the 'if' direction of Theorem 3.11 rests on this square, I ask the authors to spell out the full diagrammatic verification, including the explicit definition of the folding map used, or to provide a precise pointer to where that folding map is defined in [20].","section":"Proposition 3.3, second (CA.0) square"},{"comment":"The proof that (M ⋈ N) has a crossed module structure on M uses the commutativity of a lower square involving χ_{M⋈N}. The step that precomposes with q⋈ 1_M and then uses Proposition 3.8 is only sketched ('it is easy to check that the lower square commutes and thanks to this, by using Proposition 3.8, we find that the whole rectangle commutes'). For a paper aiming at a fully general semi-abelian statement, I would like to see the full diagram and the explicit use of the universal property of the strong Peiffer product (21), since the strong Peiffer product is what exactly enforces the lower square.","section":"Proposition 3.9, lower square of the crossed module condition"},{"comment":"The universal property of the Peiffer product is stated for pairs of compatible actions and pairs of coterminal crossed modules inducing them. The proof correctly shows that the induced map from M ⋈ N to L exists, but the uniqueness part is stated only through the universal property of the coequaliser. The authors should explicitly verify uniqueness of the induced map ½µ/ν¾ on the coequaliser presentation of M ⋈ N, or else explicitly say that it follows from the fact that q is an epimorphism (which it is, being a coequaliser map in a semi-abelian category).","section":"Section 4, Proposition 4.1 and comparison with [11]"},{"comment":"The paper ends with a candid open question about whether L acts on M ⋈ N without algebraic coherence. This is a positive feature of the manuscript, but the wording in the conclusion is slightly too brief; I recommend adding a short discussion of the consequences for Theorem 3.11 if this action fails to exist, and of how the comparison with [11] would be affected.","section":"Remark 4.4"}],"minor_comments":[{"comment":"The notation M ⋈ N for the Peiffer product is introduced only in Definition 3.4, but it is used already in the introduction; I suggest defining it at first mention in the introduction.","section":"Throughout"},{"comment":"The split short exact sequence (1) uses the trivial action τ^A_B defined by τ^A_B = ⟨0,1_B⟩∘k_{A,B}; the text says 'where τ^A_B – ⟨0,1_B⟩∘k_{A,B} is the trivial action of A on B', but the notation '–' is awkward and should be '='.","section":"Remark 1.10"},{"comment":"The phrase 'action cores (maps A ˛ X → X that satisfy suitable axioms)' could be made more precise by referring explicitly to Definition 2.1 of [20] or to the corresponding definition in [18].","section":"Remark 1.26"},{"comment":"In the induction step of Proposition 2.8, the notation ǫ(s_k) is used without explicitly saying that s_k is a single generator; this is clear from the context but could be stated to avoid confusion.","section":"Proposition 2.8 proof"},{"comment":"In the proof of Proposition 2.9, equation (14) uses q ∘ χ_{M+N} ∘ (1_{M+N} 5 i_M); the definition of i_M here is implicit from (13), and the reader has to scroll back; I suggest making explicit that i_M is the coproduct inclusion.","section":"Equation (14)"},{"comment":"The two diagrams in Figure 4 are identical in form to those in Figure 1, but the surrounding text does not mention that Figure 4 is the semi-abelian analogue of Figure 1; a brief sentence would help navigation.","section":"Figure 4 vs Figure 1"},{"comment":"The reference list omits the paper by Gilbert and Higgins [16] from the list of 'several other particular instances of compatible actions' in the introduction; this is not an error, but the introduction's list could cite [16] as a related work.","section":"References"},{"comment":"The distinction between the ordinary and strong Peiffer product is described in words; I suggest adding a small commutative diagram that summarises the relationship between the coequaliser (16) and the coequaliser (21), perhaps after the remark.","section":"Remark 3.7"}],"recommendation":"major_revision","confidential_remarks":"The paper is solid and the main theorem is internally sound as stated. My major_revision recommendation is driven by the explicit open limitation on the (CA.0) conditions in Definition 3.1 and by the delegation of some load-bearing diagrammatic checks to 'similar reasoning'. Both issues are fixable within the manuscript's scope, and the authors are already candid about the first one. I would not recommend reject; the result is a valuable contribution to the categorical study of compatible actions and the Peiffer product."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper is a real step forward, not a repackaging. The main theorem (3.11) genuinely extends the Brown–Loday group case and Ellis's Lie algebra case to semi-abelian categories with (SH), and the coequalizer construction of the Peiffer product together with its universal property (Prop 4.1) is a clean contribution. The strong Peiffer product and the proof that it agrees with the naive coequalizer under compatibility are also handled well. If you work on internal crossed modules or non-abelian tensor products, this is worth reading.\n\nThe main result is an equivalence: compatible actions exist exactly when there is a common base object L carrying two crossed module structures that induce the given actions. The proof goes through the Peiffer product and is internally sound. I checked the key diagrams and found no circularity. The reliance on [20, Theorem 5.6] and on the Lie algebra adaptation [13] is real, but those are published or accepted results, not gaps.\n\nThe soft spots are proportionate. The definition of compatibility (3.1) includes the (CA.0) squares involving ternary cosmash products. The authors explicitly say they do not know when those squares follow from the other conditions; they are automatic in Grp and Lie_R. So the theorem characterizes compatibility for a possibly narrower notion than one might naively want. That is an open scope question, and the paper is honest about it. It weakens the claim of full generality but does not undermine the theorem as stated. The stress-test note is right about this, and also right that the 'if' direction of 3.11 is not suspect.\n\nA few proofs are compressed: the second (CA.0) square in Prop 3.3 and the lower square in Prop 3.9 are dismissed with 'similar reasoning,' and the folding maps S^{1,2} are not decorated in the diagrams, though you can infer them from the symmetry of Def 1.14. A referee should ask for those details, but they are routine. The citation pattern is fine; the second author cites his own earlier work, but the cited results are concrete and checkable.\n\nBottom line: the paper deserves a serious referee. It is a solid contribution to categorical algebra, and the main theorem will be cited. I would recommend acceptance after minor revision, with the compressed proofs expanded and a remark added about which applications are sensitive to the (CA.0) conditions.","headline":"A genuine unification of compatible actions in semi-abelian categories, with a clean Peiffer product construction and a defensible main theorem; the open (CA.0) scope question is a real caveat but not a flaw.","tokens_in":27487,"tokens_out":2066,"would_cite":true,"duration_ms":24724,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18D35","18E10","20J15"],"pacs":[],"model":"deepseek-v4-flash","headline":"Compatible actions are exactly pairs of crossed modules over one base object.","keywords":["semi-abelian category","pair of compatible actions","internal action","crossed module","Peiffer product","non-abelian tensor product","Smith is Huq condition","cosmash product"],"falsifier":"Exhibit a semi-abelian category satisfying (SH) with a pair of internal actions for which the triangular conditions of (CA.0) and the (CA.M) and (CA.N) diagrams all hold but one of the two ternary cosmash squares fails; such an example would show Definition 3.1 excludes some genuinely compatible actions and that Theorem 3.11 characterises only that restricted subclass.","tokens_in":26489,"feed_emoji":"🔗","tokens_out":10704,"duration_ms":97864,"temperature":0.7,"pith_summary":"This paper gives a categorical definition of compatible actions that covers the known group and Lie algebra cases. In a semi-abelian category satisfying the Smith-is-Huq condition, it proves that two internal actions are compatible precisely when a third object carries two crossed module structures inducing those actions. The proof works through a new construction of the Peiffer product, which is shown to be the universal object witnessing the equivalence. A consequence is that compatible actions and crossed modules over a common base become two descriptions of the same data.","feed_headline":"Compatible actions are exactly pairs of crossed modules over one base","feed_subtitle":"A new Peiffer product makes the equivalence work in every semi-abelian category with the Smith-is-Huq condition.","key_machinery":"The machinery is the diagrammatic calculus of internal actions, built from the bifunctor $\\star$ whose algebras are internal actions, the binary and ternary cosmash products, and the Peiffer product. The Peiffer product $M \\star N$ is the coequaliser of the two action maps $(N \\star M) + (M \\star N) \\to M + N$, and it is the object that turns abstract compatibility equations into concrete crossed module structures on $M$ and $N$. The Smith-is-Huq condition is what lets internal crossed modules be described by the two simple diagrams used throughout; the ternary cosmash product enters through the (CA.0) compatibility diagrams.","core_discovery":"The central result is Theorem 3.11: in a semi-abelian category with (SH), internal actions $\\xi_N^M: M \\star N \\to N$ and $\\xi_M^N: N \\star M \\to M$ are compatible exactly when there exists an object $L$ with crossed module structures $(M \\to L, \\xi_L^M)$ and $(N \\to L, \\xi_L^N)$ whose actions pull back to the given ones. The forward direction is obtained by forming the Peiffer product $M \\star N$ as a coequaliser, which automatically carries crossed module structures making $M$ and $N$ maps into it; the reverse direction is a direct verification using the crossed module axioms. The paper also shows the Peiffer product is the pushout of the two semi-direct products, that it coincides with a stronger coequaliser when the actions are compatible, and that it is initial among crossed modules over a common base that induce the given actions.","pith_inferences":["If the (CA.0) ternary cosmash squares turn out to be automatic in every semi-abelian category satisfying (SH), then compatibility reduces to the remaining lower-order equations and Theorem 3.11 is a complete characterization; a category where they are not automatic would show the theorem covers only a proper subclass.","The common-base characterization suggests viewing a pair of compatible actions as a single morphism between categories of internal actions and coterminal crossed modules, making the equivalence a representability statement; the paper does not develop this phrasing.","A testable extension is to check, in categories such as Leibniz algebras or rings, whether the four triangular conditions force the two ternary cosmash squares, which would give an equation-free compatibility criterion there."],"forward_implications":["The non-abelian tensor product of compatible internal actions can be computed as a tensor product of internal crossed modules over a common base, unifying the group and Lie algebra constructions.","The Peiffer product is universal: any coterminal crossed modules inducing the same actions factor uniquely through the Peiffer product.","The general definition restricts to the classical compatibility notions for groups and Lie algebras.","The Peiffer product coincides with the pushout of the two semi-direct products, and for compatible actions it also coincides with the strong Peiffer product coequalising the precrossed module composites.","Under algebraic coherence the new Peiffer product agrees with the existing one for internal precrossed modules, and under the condition (UA) it is the coproduct in the category of L-crossed modules."],"supporting_citations":[{"why":"Introduces compatible actions for groups and the crossed-module equivalence that the general theorem generalises.","marker":"[6]"},{"why":"Supplies the Lie algebra version of compatible actions and the original Peiffer product in that setting.","marker":"[14]"},{"why":"Provides the existing Peiffer product for internal precrossed modules that the paper compares with its own construction.","marker":"[11]"},{"why":"Gives the Lie algebra crossed-module characterisation used to show Definition 3.1 specialises correctly to Lie algebras.","marker":"[13]"},{"why":"Supplies the ternary cosmash product and the crossed-module conditions expressed through action cores.","marker":"[20]"},{"why":"Gives the description of internal crossed modules under (SH) used throughout the paper.","marker":"[23]"},{"why":"Contains the original Peiffer product construction for groups that the new coequaliser definition extends.","marker":"[30]"}],"fun_headline_variants":["Compatible actions are exactly crossed modules over one base","Peiffer product unifies compatible actions and crossed modules","Semi-abelian compatible actions match crossed modules over a common base","Compatible actions in semi-abelian categories are paired crossed modules","New construction: compatible actions as crossed modules on one base"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The definition of compatibility assumes the existence of coproduct actions satisfying the (CA.0) diagrams, in particular the two squares that involve the ternary cosmash product; in groups and Lie algebras these are automatic, but the paper does not identify the general conditions under which they follow from the remaining compatibility equations.","fun_headline_variants_meta":{"raw":{"variants":["Compatible actions are exactly crossed modules over one base","Peiffer product unifies compatible actions and crossed modules","Semi-abelian compatible actions match crossed modules over a common base","Compatible actions in semi-abelian categories are paired crossed modules","New construction: compatible actions as crossed modules on one base"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000241,"raw_usage":{"total_tokens":1475,"prompt_tokens":853,"completion_tokens":622,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":469,"completion_tokens_details":{"reasoning_tokens":538}},"tokens_in":469,"tokens_out":622,"duration_ms":6031,"temperature":1.0,"reasoning_tokens":538,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:48:34.759789+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a semi-abelian category satisfying (SH) with a pair of internal actions for which the triangular conditions of (CA.0) and the (CA.M) and (CA.N) diagrams all hold but one of the two ternary cosmash squares fails; such an example would show Definition 3.1 excludes some genuinely compatible actions and that Theorem 3.11 characterises only that restricted subclass.","supporting_citations":[{"cited_title":"Brown and J.-L","cited_arxiv_id":null,"evidence_quote":"Introduces compatible actions for groups and the crossed-module equivalence that the general theorem generalises."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Lie algebra version of compatible actions and the original Peiffer product in that setting."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the existing Peiffer product for internal precrossed modules that the paper compares with its own construction."},{"cited_title":"Compatible actions of Lie algebras","cited_arxiv_id":"1906.03436","evidence_quote":"Gives the Lie algebra crossed-module characterisation used to show Definition 3.1 specialises correctly to Lie algebras."},{"cited_title":"Hartl and T","cited_arxiv_id":null,"evidence_quote":"Supplies the ternary cosmash product and the crossed-module conditions expressed through action cores."},{"cited_title":"Janelidze, Internal crossed modules , Georgian Math","cited_arxiv_id":null,"evidence_quote":"Gives the description of internal crossed modules under (SH) used throughout the paper."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Contains the original Peiffer product construction for groups that the new coequaliser definition extends."}],"review_version":1}