Pith. sign in

REVIEW 5 major objections 8 minor 30 references

Compatible actions in semi-abelian categories

T0 review · 5 major / 8 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Compatible actions are exactly pairs of crossed modules over one base object.

desk verdict 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. read the letter →

arxiv 1908.04184 v1 pith:LWVJOVX7 submitted 2019-08-12 math.CT

Davide di Micco , Tim Van der Linden This is my paper · ORCID
classification math.CT MSC 18D3518E1020J15
keywords semi-abeliancategorypairofcompatibleactionsinternalactioncrossedmodulePeifferproductnon-abeliantensorSmithisHuqconditioncosmash
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

5 major / 8 minor

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.

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 (5)
  1. [Definition 3.1 and remarks after it] 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.
  2. [Proposition 3.3, second (CA.0) square] 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].
  3. [Proposition 3.9, lower square of the crossed module condition] 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.
  4. [Section 4, Proposition 4.1 and comparison with [11]] 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).
  5. [Remark 4.4] 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.
minor comments (8)
  1. [Throughout] 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.
  2. [Remark 1.10] 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 '='.
  3. [Remark 1.26] 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].
  4. [Proposition 2.8 proof] 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.
  5. [Equation (14)] 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.
  6. [Figure 4 vs Figure 1] 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.
  7. [References] 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.
  8. [Remark 3.7] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 3.11 is a genuine equivalence; the acknowledged (CA.0) scope gap is a limitation, not a tautology.

full rationale

The main theorem is not forced by definition. Definition 3.1 makes compatibility an existential condition on coproduct actions satisfying diagrams (CA.0), (CA.M), and (CA.N); Proposition 3.3 shows coterminal crossed modules produce such actions (using Theorem 5.6 of [20] for the ternary cosmash squares), and Proposition 3.9 constructs crossed module structures on the Peiffer product from compatible actions. These are separate constructions, so the if-and-only-if does not reduce to a fit or to a renamed input. The remarks after Definition 3.1 explicitly leave open whether the two ternary cosmash squares in (CA.0) follow from the other compatibility equations; this narrows the scope of the theorem but is an openly stated assumption, not a circular argument. Self-citations ([20], [13], [10]) support lemmas and consistency checks in published form and are not invoked as an unverified uniqueness theorem; in particular, the central 'only if' direction is proved in the paper rather than imported. Hence no circular step.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No free parameters or invented entities. The central result rests on the axioms of semi-abelian categories, the (SH) condition, a new definitional postulate (CA.0), and several cited results from prior work, including [20] and [11], which share authors with the present paper but are published derivations. The (CA.0) diagrams are the only genuinely new postulate introduced specifically to make the proof work.

assumptions (6)
  • domain assumption A is a semi-abelian category (pointed, Barr-exact, Bourn-protomodular, with binary coproducts).
    Section 1, opening definition. This is the ambient setting for all constructions.
  • domain assumption A satisfies the Smith-is-Huq condition (SH).
    Used from Definition 1.28 onward for the simple description of internal crossed modules; Remark 3.10 notes the paper relies on (SH).
  • ad hoc to paper Compatibility definition includes the (CA.0) ternary cosmash product diagrams.
    Definition 3.1. These are new postulates in the general setting; the paper notes they are automatic in Grp and Lie_R but not known to be implied in general.
  • standard math Background results: Lemma 1.11 (preservation of coequalizers by the functor -5X) and Lemma 1.16 (coverage by cosmash components) hold as stated, following [19,20].
    These are cited from prior work (Hartl and Van der Linden) and used in the proof of Proposition 3.8.
  • domain assumption Theorem 5.6 in [20] gives crossed module conditions in terms of action cores and ternary cosmash products.
    Invoked in the proof of Proposition 3.3 to establish the (CA.0) diagrams.
  • standard math Results in [11] (Cigoli-Mantovani-Metere) about Peiffer products of precrossed modules are used in Remark 4.3.
    External published results, used to compare Peiffer products under algebraic coherence.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Compatible actions in semi-abelian categories." pith.science (2026). https://pith.science/paper/LWVJOVX7

@misc{pith2026190804184,
  author       = {Pith},
  title        = {Pith review of: Compatible actions in semi-abelian categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LWVJOVX7}},
  note         = {Machine review of arXiv:1908.04184}
}
read the original abstract

The concept of a pair of compatible actions was introduced in the case of groups by Brown and Loday and in the case of Lie algebras by Ellis. In this article we extend it to the context of semi-abelian categories (that satisfy the Smith-is-Huq condition). We give a new construction of the Peiffer product, which specialises to the definitions known for groups and Lie algebras. We use it to prove our main result, on the connection between pairs of compatible actions and pairs of crossed modules over a common base object. We also study the Peiffer product in its own right, in terms of its universal properties, and prove its equivalence with existing definitions in specific cases.

Figures

Figures reproduced from arXiv: 1908.04184 by the authors.

Figure 1
Figure 1. Induced actions of the Peiffer product Lemma 1.11 implies that q51M is the coequaliser of v kN,M kM,N w 51M and pξ N M `ξM N q51M and that q51N is the coequaliser of v kN,M kM,N w 51N and pξ N M ` ξM N q51N . We want to use these universal properties to define induced actions ξ M’N M and ξ M’N N of M ’ N on M and N as in [PITH_FULL_IMAGE:figures/full_fig_p014_1.png] view at source ↗
Figure 2
Figure 2. The diagrams (CA.0) ppN5Mq ` pM5Nqq5M pξ N M`ξM N q51M ,2 v kN,M kM,N w 51M  pM ` Nq5M ξ M`N M  pM ` Nq5M ξ M`N M ,2M (CA.M) ppN5Mq ` pM5Nqq5N pξ N M`ξM N q51N ,2 v kN,M kM,N w 51N  pM ` Nq5N ξ M`N N  pM ` Nq5N ξ M`N N ,2N (CA.N) [PITH_FULL_IMAGE:figures/full_fig_p017_2.png] view at source ↗
Figure 3
Figure 3. The diagrams (CA.M) and (CA.N) This definition obviously implies the one given in the case of groups, but we will see later (Corollary 3.12) that in Grp the two definitions coincide. The difference between these two definitions is twofold. ‚ First of all, the commutativity of the two squares in (CA.0) involving the ternary cosmash products is for free in Grp (and in LieR as one can see from [13]). Right now it is no… view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: Actions ξ M’N M and ξ M’N N of the Peiffer product By definition we know that q coequalises each of these pairs of maps, and thus we obtain the unique regular epimorphisms qN¸M and qM¸N making the triangles M ` N σξNM ✤ ,2 q ☞ !) ▲▲ ▲▲ ▲▲ ▲▲ ▲ M ¸ N qM¸N ❴  M ’ N M ` …

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 29 canonical work pages

  1. [13]

    Compatible actions of Lie algebras

    Davide di Micco, Compatible actions of Lie algebras , Comm. Algebra, accepted for publica- tion. Preprint arXiv:1906.03436, Jun 2019

    work page Pith review arXiv 1906

  2. [20]

    Hartl and T

    M. Hartl and T. Van der Linden, The ternary commutator obstruction for internal crossed modules, Adv. Math. 232 (2013), 571–607

    work page 2013

  3. [11]

    A. S. Cigoli, S. Mantovani, and G. Metere, Peiffer product and Peiffer commutator for internal pre-crossed modules , Homology Homotopy Appl. 19 (2017), no. 1, 181–207

    work page 2017

  4. [1]

    Borceux and D

    F. Borceux and D. Bourn, Mal’cev, protomodular, homological and semi-abelian cate gories, Mathematics and its Applications, vol. 566, Kluwer Academi c Publishers, Dordrecht, 2004

    work page 2004

  5. [2]

    Borceux, G

    F. Borceux, G. Janelidze, and G. M. Kelly, Internal object actions , Comment. Math. Univ. Carolin. 46 (2005), no. 2, 235–255

    work page 2005

  6. [3]

    Bourn, 3 ˆ 3 lemma and protomodularity , J

    D. Bourn, 3 ˆ 3 lemma and protomodularity , J. Algebra 236 (2001), no. 2, 778–795

    work page 2001

  7. [4]

    Bourn, The denormalized 3 ˆ 3 lemma, J

    D. Bourn, The denormalized 3 ˆ 3 lemma, J. Pure Appl. Algebra 177 (2003), no. 2, 113–129

    work page 2003

  8. [5]

    Bourn and G

    D. Bourn and G. Janelidze, Protomodularity, descent, and semidirect products , Theory Appl. Categ. 4 (1998), no. 2, 37–46

    work page 1998

Show all 30 references
  1. [6]

    Brown and J.-L

    R. Brown and J.-L. Loday, Van Kampen theorems for diagrams of spaces , Topology 26 (1987), no. 3, 311–335

    1987

  2. [7]

    Carboni and G

    A. Carboni and G. Janelidze, Smash product of pointed objects in lextensive categories , J. Pure Appl. Algebra 183 (2003), 27–43

    2003

  3. [8]

    J. M. Casas, E. Khmaladze, and N. Pacheco Rego, A non-abelian tensor product of Hom-Lie algebras, Bull. Malays. Math. Sci. Soc. 40 (2017), no. 3, 1035–1054

    2017

  4. [9]

    J. M. Casas, E. Khmaladze, and N. Pacheco Rego, A non-abelian Hom-Leibniz tensor product and applications, Linear Multilinear Algebra 66 (2018), no. 6, 1133–1152

    2018

  5. [10]

    A. S. Cigoli, J. R. A. Gray, and T. Van der Linden, Algebraically coherent categories, Theory Appl. Categ. 30 (2015), no. 54, 1864–1905

    2015

  6. [12]

    di Micco and T

    D. di Micco and T. Van der Linden, Internal crossed squares and the non-abelian tensor product, in preparation

  7. [14]

    G. J. Ellis, A nonabelian tensor product of Lie algebras , Glasgow Math. J. 33 (1991), no. 1, 101–120

    1991

  8. [15]

    Gerstenhaber, A categorical setting for the Baer extension theory , pp

    M. Gerstenhaber, A categorical setting for the Baer extension theory , pp. 50–64

  9. [16]

    N. D. Gilbert and P. J. Higgins, The nonabelian tensor product of groups and related con- structions, Glasgow Math. J. 31 (1989), no. 1, 17–29. COMPATIBLE ACTIONS IN SEMI-ABELIAN CATEGORIES 27

    1989

  10. [17]

    A. V. Gnedbaye, A non-abelian tensor product of Leibniz algebras , Ann. Inst. Fourier (Gren- oble) 49 (1999), no. 4, 1149–1177

    1999

  11. [18]

    Hartl and B

    M. Hartl and B. Loiseau, On actions and strict actions in homological categories , Theory Appl. Categ. 27 (2013), no. 15, 347–392

    2013

  12. [19]

    Hartl and T

    M. Hartl and T. Van der Linden, The ternary commutator obstruction for internal crossed modules, preprint arXiv:1107.0954v1, 2011

    2011 arXiv

  13. [21]

    P. J. Higgins, Groups with multiple operators , Proc. Lond. Math. Soc. (3) 6 (1956), no. 3, 366–416

    1956

  14. [22]

    S. A. Huq, Commutator, nilpotency and solvability in categories , Q. J. Math. 19 (1968), no. 2, 363–389

    1968

  15. [23]

    Janelidze, Internal crossed modules , Georgian Math

    G. Janelidze, Internal crossed modules , Georgian Math. J. 10 (2003), no. 1, 99–114

    2003

  16. [24]

    Janelidze, L

    G. Janelidze, L. Márki, and W. Tholen, Semi-abelian categories, J. Pure Appl. Algebra 168 (2002), no. 2–3, 367–386

    2002

  17. [25]

    Khmaladze, Non-abelian tensor and exterior products modulo q and universal q-central relative extension of Lie algebras , Homology Homotopy Appl

    E. Khmaladze, Non-abelian tensor and exterior products modulo q and universal q-central relative extension of Lie algebras , Homology Homotopy Appl. 1 (1999), 187–204

    1999

  18. [26]

    Mantovani and G

    S. Mantovani and G. Metere, Normalities and commutators , J. Algebra 324 (2010), no. 9, 2568–2588

    2010

  19. [27]

    Smith is Huq

    N. Martins-Ferreira and T. Van der Linden, A note on the “Smith is Huq” condition , Appl. Categ. Structures 20 (2012), no. 2, 175–187

    2012

  20. [28]

    Pure Appl

    Nelson Martins-Ferreira and Manuela Sobral, On categories with semidirect products , J. Pure Appl. Algebra 216 (2012), no. 8-9, 1968–1975

    2012

  21. [29]

    Orzech, Obstruction theory in algebraic categories I and II , J

    G. Orzech, Obstruction theory in algebraic categories I and II , J. Pure Appl. Algebra 2 (1972), 287–314 and 315–340

    1972

  22. [30]

    J. H. C. Whitehead, On adding relations to homotopy groups , Ann. of Math. (2) 42 (1941), no. 2, 409–428. (Davide di Micco) Università degli Studi di Milano, Via Saldini 50, 20133 Mila no, Italy E-mail address , Davide di Micco: davide.dimicco@unimi.it (Tim Van der Linden) Ins...

    1941

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.