REVIEW 4 major objections 6 minor 37 references
Crossed modules of ternary Leibniz algebras
T0 review · 4 major / 6 minor · reviewed 2026-08-09 · deepseek-v4-flash
Pith's one-line read The paper shows that every crossed module of triassociative algebras, and of Leibniz algebras, transfers to a crossed module of ternary Leibniz algebras by explicit action maps.
desk verdict Salvageable idea, but the central transfer formulas have a load-bearing type error and the proofs are missing, so the paper as submitted should be rejected. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the functor $T$ between algebraic categories. On a triassociative algebra $(A,\dashv,\perp,\vdash)$ it puts the ternary bracket $[x,y,z] = x \dashv (y \perp z - z \perp y) - (y \perp z - z \perp y) \vdash x$; on a Leibniz algebra $(L,[-,-])$ it puts $\{x,y,z\} = [x,[y,z]]$. The work of this functor is to push the crossed-module action through: the six maps $m_1,\dots,m'_3$ in (22)–(27) are defined so that each ternary Leibniz action axiom becomes a consequence of the six triassociative action equalities from Definition 2.7.
What would settle it
Take the two-dimensional triassociative algebra from Example 2.3, with basis $\{e_1,e_2\}$, all three products equal, $e_1 \dashv e_1 = e_2 \dashv e_1 = 0$, $e_1 \dashv e_2 = a e_1$, $e_2 \dashv e_2 = e_2$, and compute the bracket $[x,y,z] = x \dashv (y \perp z - z \perp y) - (y \perp z - z \perp y) \vdash x$ on all triples of basis elements. If any of the 32 instances of the identity $[[x,y,z],t,u] = [x,y,[z,t,u]] + [x,[y,t,u],z] + [[x,t,u],y,z]$ fails, Lemma 3.1 is false and Theorem 3.1 collapses; if all pass, the load-bearing bracket is confirmed on this example.
Extended reading notes
Core claim
On the paper's own terms, the discovery is a pair of transfer theorems. Theorem 3.1 states that any crossed module of triassociative algebras yields, through the bracket $[x,y,z] = x \dashv (y \perp z - z \perp y) - (y \perp z - z \perp y) \vdash x$ and the six maps (22)–(27), a crossed module of ternary Leibniz algebras, with morphisms of triassociative crossed modules inducing morphisms of the ternary ones. Theorem 3.3 states the analogous statement for crossed modules of Leibniz algebras via the bracket $\{x,y,z\} = [x,[y,z]]$. The construction is explicit: every action map for the source category is repackaged, using the middle product $\perp$ and the two-sided actions, into the six ternary action maps required by Definition 2.18.
Load-bearing premise
The whole construction depends on one borrowed formula: the bracket $[x,y,z] = x \dashv (y \perp z - z \perp y) - (y \perp z - z \perp y) \vdash x$ must satisfy the ternary Leibniz identity inside every triassociative algebra, and if it fails, the induced maps (22)–(27) need not define an action or a crossed module.
Editorial extensions
If this is right
- Any crossed module of triassociative algebras, for instance an ideal inclusion, becomes a crossed module of ternary Leibniz algebras once the six maps (22)–(27) are installed.
- Any crossed module of Leibniz algebras becomes a ternary Leibniz crossed module without changing the underlying map $\phi$, only reinterpreting the bracket as $[x,[y,z]]$.
- The transfer is functorial: a morphism of crossed modules in the source category is automatically a morphism between the induced ternary crossed modules.
- The semi-direct product respects the transfer: $T(A \rtimes B) = T(A) \rtimes T(B)$, so extensions built from actions survive the passage to ternary structures.
- Rota-Baxter deformations of Leibniz crossed modules also induce ternary Leibniz crossed modules, giving a second family of constructions.
Reading between the lines
- Because $T$ is functorial on crossed modules, it plausibly induces a functor between the associated 2-categories of crossed modules; this would make $T$ a map of homotopy-theoretic models, though the paper does not spell that out.
- The two alternative brackets in Remark 3.1 suggest that the transfer is not unique; one could test whether those brackets also lift actions and crossed modules, and whether the resulting ternary crossed modules are isomorphic.
- A computational sanity check of the ternary Leibniz identity for (22)–(27) on a small example, such as the two-dimensional algebra in Example 2.3, would give independent evidence that no hidden case distinction is missing.
- Averaging operators and Nijenhuis operators, which the paper uses to build new triassociative algebras, might similarly lift to operators on the induced ternary Leibniz crossed modules; the paper does not claim this.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes functorial constructions that send crossed modules of triassociative algebras and crossed modules of Leibniz algebras to crossed modules of ternary Leibniz algebras. The main mechanism is the known bracket [x,y,z] = x ⊣ (y ⊥ z - z ⊥ y) - (y ⊥ z - z ⊥ y) ⊢ x of Lemma 3.1, applied to semidirect products, together with an action transfer stated in Theorems 3.1 and 3.3. The paper also states Rota-Baxter deformations of such crossed modules in Theorems 3.4 and 3.5. The central claims are that the six maps (22)-(27) define an action and a crossed module, that T(A⋊B) = T(A)⋊T(B), and that analogous transfers work for Leibniz algebras and for Rota-Baxter operators.
Significance. If the transfer theorems were correct, the paper would provide a useful bridge between crossed modules of triassociative algebras, Leibniz algebras, and ternary Leibniz algebras, complementing known constructions in the literature. The paper does not contain machine-checked proofs or reproducible code; all central verifications are delegated to 'straightforward' computation. Because several displayed formulas are type-incorrect or internally inconsistent, the significance of the claimed results cannot be assessed from the submitted manuscript.
major comments (4)
- [Theorem 3.1, Eqs. (26)-(27)] The displayed maps m'_2 and m'_3 use the middle product in the first term, writing y ⊥ (µ⊥_2(c,z) - µ⊥_1(z,c)). Lemma 3.1, however, defines the ternary bracket with the left product in that position: [x,y,z] = x ⊣ (y ⊥ z - z ⊥ y) - (y ⊥ z - z ⊥ y) ⊢ x. Expanding [(y,0),(0,c),(z,0)] in T(A⋊B) therefore gives y ⊣ (µ⊥_2(c,z)-µ⊥_1(z,c)) - (...) ⊢ y, not y ⊥ (...). For the crossed module (A,A,id) with the canonical self-action, Condition 2 of Definition 2.19 forces m'_2(y,c,z) = [y,c,z]_{T(A)} = y ⊣ (c⊥z-z⊥c) - (c⊥z-z⊥c) ⊢ y. The printed formula differs by y⊥(...) - y⊣(...), which is not an identity in the free triassociative algebra. Thus Theorem 3.1(b) and Theorem 3.2 are false as stated; the defect is not merely a missing proof. If the intended operation in (26)-(27) is ⊣ rather than ⊥, the theorem may be repairable, but the typeset claim is incorrect.
- [Theorem 3.3] The formulas defining the six action maps are type-incorrect. For instance, m2(p1,l,p2) is defined as µ2(p2, m2(l,p2)), which refers to m2 on the right-hand side before m2 is defined and with an inadmissible number of arguments; m3(p1,p2,l) is defined as µ2(p1, m2(p2,l)), again using the yet-undefined ternary map m2 as a binary map; similarly m'_2(l1,p,l2) = µ1(l1, m2(p,l2)) and m'_3(l1,l2,p) = µ1(l1, m1(l2,p)) use binary applications of ternary maps. Consequently the induced action of T(P) on T(L) is not actually defined, and part (2) of the theorem is unsubstantiated.
- [Definition 2.18] The action axioms for ternary Leibniz algebras are presented in a badly corrupted form. Equations (7)-(21) contain unmatched parentheses, missing commas, and variable mismatches, e.g. equation (9) contains '[p1,p3,p4)' with a closing parenthesis instead of a bracket, equation (12) contains '[l1, m1(l2,p2,p3), l2]' where the middle term has the wrong type, and equation (13) contains 'l[p2,p3,p4]' with no comma. Since every subsequent theorem relies on this definition, the paper does not provide a usable and checkable notion of action.
- [Proofs of Theorems 3.1, 3.3, 3.4, 3.5] The main results are all asserted with 'the proof is long but straightforward' or 'it comes from direct computation' without any verification of the action axioms or the crossed-module conditions. These verifications are the core content of the paper, not routine decoration. In view of the concrete type errors in the displayed formulas, such delegation is insufficient and prevents the reader from distinguishing a repairable typo from an incorrect construction.
minor comments (6)
- [Definition 2.3] The first line states 'Let (A, ⊣, ⊥, ⊣) be an triassociative algebra'; the fourth operation should be ⊢.
- [Proposition 2.1] In the proof, the same symbols x,y,z are used both for elements of A and for their classes in A/I, and the final equality omits the class notation; the displayed chain is not a well-formed proof as written.
- [Proposition 2.2] The second and third multiplication formulas contain 'bA ⊥B b2' and 'bA ⊢B b2', which appear to be typographical errors for 'b1 ⊥B b2' and 'b1 ⊢B b2'.
- [Example 2.4] The example refers to a 'morphism of triassociative dialgebras'; the terminology should be 'triassociative algebras'.
- [Theorem 3.4] The notation mR_2 is used in the definitions of m2, m3, m'_2, and m'_3, but mR_2 is never defined; presumably a definition or a reference to µR_2 is intended.
- [Throughout] There are numerous typographical and grammatical errors, including 'satisfyied', 'propreties', 'connexion', 'communt fact', 'echanging', and 'associate trialgebra'; these should be corrected in any revision.
Circularity Check
No significant circularity: the transfer constructions are explicit formulas built from external lemmas, not re-derivations of their own inputs.
full rationale
The paper's central claims (Theorems 3.1 and 3.3) are constructive: given a crossed module of triassociative algebras or Leibniz algebras, six explicit action maps are written down in formulas (22)-(27) and in Theorem 3.3, and the crossed-module verification is asserted as a direct computation. The key transfer mechanism is Lemma 3.1, attributed to Casas [32], an external source; Lemma 2.1 is also attributed to [32] (and [27]) and does not assume any crossed-module conclusion. The self-citations [27], [29], and [15] concern operator and Rota-Baxter constructions used in supporting results (Theorems 2.1, 3.4, 3.5), not in a way that makes the main transfer theorems depend on their own output. No parameter is fitted to a subset of 'data' and later renamed a prediction; no uniqueness theorem from the authors' prior work is invoked to force a choice. The repeated statement that proofs are 'long and tedious, but straightforward' (Theorems 3.1, 3.3, 3.5) is an omitted-proof rigor concern, not circularity. The skeptic's objection to equations (26)-(27) — that m'_2 is written with a middle product where expansion of T(A⋊B) through Lemma 3.1 would give a left product — is a possible correctness or typographical defect, but a false or unverified theorem is not thereby equivalent to its assumptions. No circular step can be exhibited from the paper's own equations or citation chain, so the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- standard math The right Leibniz identity in Definition 2.10 and the ternary Leibniz identity in Definition 2.14 are the working definitions of the algebras.
- domain assumption Any triassociative algebra satisfies the 11 identities in Definition 2.1.
- domain assumption The 30-identity action of ternary Leibniz algebras in Definition 2.18, taken from the authors' earlier paper [27], is the correct notion of action.
- standard math Lemma 3.1: the bracket x ⊣ (y ⊥ z - z ⊥ y) - (y ⊥ z - z ⊥ y) ⊢ x makes any triassociative algebra into a ternary Leibniz algebra.
- ad hoc to paper The printed formulas in Theorem 3.3 can be repaired to type-correct definitions; as written, m2 is defined in terms of itself.
Cite this review
Pith. "Pith review of Crossed modules of ternary Leibniz algebras." pith.science (2026). https://pith.science/paper/53M7BOIK
@misc{pith2026250118414,
author = {Pith},
title = {Pith review of: Crossed modules of ternary Leibniz algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/53M7BOIK}},
note = {Machine review of arXiv:2501.18414}
}
read the original abstract
The aim of this paper is to construct triassociative algebras (from operators), new actions and crossed modules from a given one, and to make the connexion between these notions on Leibniz algebras or triassociative algebras and the corresponding notions on ternary Leibniz algebras.
Reference graph
Works this paper leans on
-
[36]
J. M. Casas, E. Khmaladze and M. Ladra, Crossed modules for Leibniz n-algebras , Forum Math. 28 (2008) 841-858
work page 2008
-
[1]
Basri W., Rakhimov I., Rikhsiboev I. Classification of 3-Dimensional Complex Diassociative Alg ebras, Malaysian Journal of Mathematical Sciences, V ol. 4, No. 2 (2010)
work page 2010
-
[2]
Basri W., Rakhimov I., Rikhsiboev I. F our-Dimensional Nilpotent Diassociative AlgebrasJournal of Generalized Lie Theory and Applications, V ol. 9, No. 1 (2015)
work page 2015
-
[3]
Dialgebras in Dialgebras and related operads , pp
Loday J.-L. Dialgebras in Dialgebras and related operads , pp. 7-66. Lecture Notes in Mathe- matics, V ol. 1763. Springer-V erlag Berlin Heidelberg (2001)
work page 2001
-
[4]
Rafael Fernandez Casado, Relations between crossed modules of di fferent algebras, thesis of Universidad de Santiago de Compostela, 2015
work page 2015
-
[5]
A duality between standard simplices and Stasheff polytopes
Loday J.-L., Ronco M. A duality between standard simplices and Stasheffpolytopes (2001), arXiv:math/0102089
work page Pith review arXiv 2001
-
[6]
Trialgebras and families of polytopes, (2002), arXiv:math/0205043
Loday, J.-L.; Ronco, M. Trialgebras and families of polytopes, (2002), arXiv:math/0205043
arXiv 2002
-
[7]
Y au, D. (Co)homology of triassociative algebras , International Journal of Mathematics and Mathematical Sc i- ences, V ol. 2006, No. 9 (2006)
work page 2006
Show all 37 references
-
[8]
of pure and Applied Math., No50, 503-513, 2023
Li Qiao and Jun Pei, Relative averaging operators and trialgebras , Italian Journ. of pure and Applied Math., No50, 503-513, 2023
2023
-
[9]
Kolesnikov, Grobner-Shirshov bases for replicated algebras, Algebra Colloquium 24(4) (2017) 563-576
P .S. Kolesnikov, Grobner-Shirshov bases for replicated algebras, Algebra Colloquium 24(4) (2017) 563-576
2017
-
[10]
Erik Menelis, Bouzid Mosbahi, Ahmed Zahari Abdou, Cohomology of BiHom-associative trialgebras , arXiv:2404.15567v1, 23 April 2024
2024 arXiv
-
[11]
and Wu, Y
Bai, R. and Wu, Y . Constructions of 3-Lie algebras. Linear Multilinear Algeb ra, 2015, 63(11), 2171-2186
2015
-
[12]
Iroda Choriyeva, Abror Khudoyberdiyev, Classification of five-dimensional symmetric Leibniz algeb ras, arXiv:2303.01905v1 [math.RA] 3 Mar 2023
2023 arXiv
-
[13]
Bibhash Mondal1 , Ripan Saha2, Nijenhuis operators on Leibniz algebras , arXiv:2306.06428v1 [math.RA] 10 Jun 2023
2023 arXiv
-
[14]
25 (2) (2004) 29-38
Bai R., Meng D., The centroid of n-Lie algebras, Algebras Groups Geom. 25 (2) (2004) 29-38
2004
-
[15]
Bakayoko I., Bangoura M., Bimodules and Rota-Baxter relations , J. Appl. Mech. Eng 4:178, doi:10.4172 /2168- 9873.1000178, 2015
2015
-
[16]
J. M. Casas, R. F. Casado, E. Khmaladze and M. Ladra, More on crossed modules of Lie, Leibniz, associative and diassociative algebras, arXiv:1508.01147 (05.08.2015)
2015 arXiv
-
[17]
Porter, Extensions, crossed modules and internal categories in cat egories of groups with operations , Proc
T. Porter, Extensions, crossed modules and internal categories in cat egories of groups with operations , Proc. Edinburgh Math. Soc. 30 (1987) 373-381
1987
-
[18]
Jorg Feldvoss, Friedrich Wagemann, On Leibniz cohomology, Journal of Algebra, 569 (2021) 276-317
2021
-
[19]
and Y au D., Rota-Baxter Hom-Lie admissible algebras, Communication in Algebra, 23, no 3, 1231- 1257, 2014
Makhlouf A. and Y au D., Rota-Baxter Hom-Lie admissible algebras, Communication in Algebra, 23, no 3, 1231- 1257, 2014
2014
-
[20]
Whitehead, J.H.C., Combinatorial Homotophy II, Bull. Amer. Math. Soc., 55, 453-496. (1949) 13
1949
-
[21]
Mauel Mancini, Biderivation of low-dimensional Leibniz algebras, arXiv:2209.07892v3 [math.RA] 19 Jun 2023
2023 arXiv
-
[22]
Sona Baghiyan, Liam Gallagher, and Erik Mainellis, On Nilpotent Triassociative Algebras, arXiv:2306.15059v2 [math.RA] 14 Dec 2023
2023 arXiv
-
[23]
Erik Mainellis, Classification of Low-dimensional Complex Triassociative Algebras, arXiv:2209.04351v1 [math RA], 9 Sep 2022
2022 arXiv
-
[24]
Bremner, J
M.R. Bremner, J. S´ anchez-Ortega, Leibniz triple systems, Commun. Contemp. Math. 16 (1) (2014) 1350051
2014
-
[25]
Camacho, J.M
L.M. Camacho, J.M. Casas, J.R. G´ omez, M. Ladra, B.A. Om irov, On nilpotent Leibniz n-algebras , J. Algebra Appl. 11 (2) (2012) 1250060
2012
-
[26]
Lister, A structure theory of Lie triple systems , Trans
W. Lister, A structure theory of Lie triple systems , Trans. Am. Math. Soc. 72 (1952) 217-242
1952
-
[27]
(2023), Ternary Leibniz color algebras and beyond , In: Hounkonou, M.N., Mitrovic, M., Abbas, M., Khan, M
BAKA YOKO, I., LARAIEDH, I. (2023), Ternary Leibniz color algebras and beyond , In: Hounkonou, M.N., Mitrovic, M., Abbas, M., Khan, M. (eds) Algebra without Bord ers-Classical and Constructive Nonassocia- tive Algebraic Structures. STEAM-H: Science, Technology, Engineering, Ag...
2023 doi
-
[28]
Dokas, Cohomology of restrited Lie-Rinehart algebras, Adv
I. Dokas, Cohomology of restrited Lie-Rinehart algebras, Adv. Math. 231(5), 2573-2592
-
[29]
Ahmed Zahari and Ibrahima Bakayoko, On BiHom-associative dialgebras, Open J. Math. Sci. 2023, 7, 96-117
2023
-
[30]
X., On the structure of n-Lie algebras , [PhD Thesis]
Ling W. X., On the structure of n-Lie algebras , [PhD Thesis]. Siegen: University-GHS-Siegen; 1993
1993
-
[31]
Guo L., An introduction to Rota-Baxter algebra , Internatational Press (US) and Higher Education Press (Ch ina), 2012
2012
-
[32]
M., Trialgebras and Leibniz 3-algebras, Bol
Casas J. M., Trialgebras and Leibniz 3-algebras, Bol. Soc. Mat. Mexicana (3) 14, 165-178, 2006
2006
-
[33]
M., Loday J.-L
Casas J. M., Loday J.-L. and Pirashvili T., Leibniz n-algebras, Forum Math. 14, 189-207, 2002
2002
-
[34]
W., On Levi’s theorem for Leibniz algebras , Bull
Barnes, D. W., On Levi’s theorem for Leibniz algebras , Bull. Austra. Math. Soc. 86 (2012), 184-185
2012
-
[35]
Arnlind, J., Kitouni, A., Makhlouf, A., Silvestrov, S. : Structure and Cohomology of 3-Lie algebras induced by Lie algebras , in Algebra, Geometry and Mathematical Physics, Springer p roceedings in Mathematics and & Statistics, vol 85 (2014)
2014
-
[37]
Bai, X Li, Y
R. Bai, X Li, Y . Wu, 3-Lie-Rinehart algebras, arXiv:1903.12283v1 (2019). 14
2019 arXiv
Reviewed August 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.