pith. sign in

arxiv: 2411.01044 · v4 · submitted 2024-11-01 · 🧮 math.RA · math.CT· math.RT

Tensor products of Leibniz bimodules and Grothendieck rings

J\"org Feldvoss , Friedrich Wagemann This is my paper

Pith reviewed 2026-05-23 18:08 UTC · model grok-4.3

classification 🧮 math.RA math.CTmath.RT
keywords Leibniz bimodulestensor productsGrothendieck ringJordan ringsolvable Leibniz algebrasemisimple Leibniz algebraweak bimodules
0
0 comments X

The pith

Truncated tensor products of Leibniz bimodules induce a Grothendieck ring that is an alternative commutative Jordan ring for solvable algebras in characteristic zero.

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

The paper introduces three tensor products for Leibniz bimodules. The natural product fails to stay inside Leibniz bimodules, leading to the auxiliary notion of weak Leibniz bimodules whose category is symmetric monoidal via an associated Hopf algebra. Two truncated tensor products do remain Leibniz bimodules and therefore define a multiplication on the Grothendieck group of finite-dimensional Leibniz bimodules. This multiplication produces an alternative power-associative commutative Jordan ring precisely when the underlying Leibniz algebra is finite-dimensional and solvable over a field of characteristic zero.

Core claim

We introduce two truncated tensor products of Leibniz bimodules which are again Leibniz bimodules. These tensor products induce a non-associative multiplication on the Grothendieck group of the category of finite-dimensional Leibniz bimodules. In particular, we prove that in characteristic zero for a finite-dimensional solvable Leibniz algebra this Grothendieck ring is an alternative power-associative commutative Jordan ring, but for a finite-dimensional non-zero semi-simple Leibniz algebra it is neither alternative nor a Jordan ring.

What carries the argument

The two truncated tensor products of Leibniz bimodules, which close under the Leibniz bimodule axioms and induce a well-defined non-associative multiplication on the Grothendieck group.

If this is right

  • For any finite-dimensional solvable Leibniz algebra over a field of characteristic zero the induced ring is alternative, power-associative and commutative Jordan.
  • For any finite-dimensional nonzero semisimple Leibniz algebra the induced ring is neither alternative nor Jordan.
  • The full subcategory of finite-dimensional weak Leibniz bimodules is rigid and pivotal.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The distinction between solvable and semisimple cases via ring axioms may extend to other non-associative representation categories.
  • The Hopf-algebra description of weak bimodules suggests the construction could be lifted to a braided monoidal setting beyond Leibniz algebras.

Load-bearing premise

The two truncated tensor products of Leibniz bimodules are again Leibniz bimodules and induce a well-defined non-associative multiplication on the Grothendieck group of the category of finite-dimensional Leibniz bimodules.

What would settle it

An explicit computation for a concrete finite-dimensional solvable Leibniz algebra in characteristic zero showing that the induced multiplication fails the Jordan identity, or the same computation for a nonzero semisimple Leibniz algebra showing that the multiplication does satisfy the Jordan identity.

read the original abstract

In this paper we define three different notions of tensor products for Leibniz bimodules. The ``natural" tensor product of Leibniz bimodules is not always a Leibniz bimodule. In order to fix this, we introduce the notion of a weak Leibniz bimodule and show that the ``natural" tensor product of weak bimodules is again a weak bimodule. Moreover, it turns out that weak Leibniz bimodules are modules over a cocommutative Hopf algebra canonically associated to the Leibniz algebra. Therefore, the category of all weak Leibniz bimodules is symmetric monoidal and the full subcategory of finite-dimensional weak Leibniz bimodules is rigid and pivotal. On the other hand, we introduce two truncated tensor products of Leibniz bimodules which are again Leibniz bimodules. These tensor products induce a non-associative multiplication on the Grothendieck group of the category of finite-dimensional Leibniz bimodules. In particular, we prove that in characteristic zero for a finite-dimensional solvable Leibniz algebra this Grothendieck ring is an alternative power-associative commutative Jordan ring, but for a finite-dimensional non-zero semi-simple Leibniz algebra it is neither alternative nor a Jordan ring.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper defines a natural tensor product of Leibniz bimodules, which fails to preserve the Leibniz bimodule axioms in general. To address this, it introduces weak Leibniz bimodules, proves that the natural tensor product of weak bimodules remains a weak bimodule, and shows that weak Leibniz bimodules are modules over a canonically associated cocommutative Hopf algebra, making the category of all weak bimodules symmetric monoidal (with the finite-dimensional subcategory rigid and pivotal). It then defines two truncated tensor products that do preserve the Leibniz bimodule structure and descend to a well-defined non-associative multiplication on the Grothendieck group K_0 of finite-dimensional Leibniz bimodules. The central theorems state that, over a field of characteristic zero, when the underlying finite-dimensional Leibniz algebra is solvable this Grothendieck ring is alternative, power-associative, commutative and Jordan, while for any nonzero finite-dimensional semisimple Leibniz algebra the ring is neither alternative nor Jordan.

Significance. If the constructions and verifications hold, the work supplies a new non-associative ring invariant of Leibniz algebras that distinguishes the solvable and semisimple cases in a sharp way. The Hopf-algebra realization of weak bimodules and the resulting monoidal structure constitute a concrete categorical contribution. The explicit algebraic identities verified for the solvable case (alternative + Jordan) and the counter-examples for the semisimple case are falsifiable predictions that could be checked in low-dimensional examples.

minor comments (3)
  1. [Introduction] The abstract and introduction should explicitly state the base field and the precise definition of 'Leibniz bimodule' (left/right actions satisfying the two Leibniz identities) before introducing the truncated products.
  2. [Section 4] Notation for the two truncated tensor products (e.g., ⊗_1 and ⊗_2) should be introduced once and used consistently; the current description leaves it unclear which truncation is used for each algebraic identity in the main theorems.
  3. [Section 5] The proof that the multiplication on K_0 is independent of the choice of representatives should be cross-referenced to the exact place where exactness of the truncated functors is established.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, the recognition of the significance of the Hopf-algebraic and categorical constructions, and the recommendation of minor revision. The report contains no major comments requiring point-by-point rebuttal.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation consists of explicit definitions of three tensor products (natural, weak, and two truncated variants), verification that the truncated ones preserve Leibniz bimodule axioms, and direct proof that they descend to a multiplication on the Grothendieck group K_0. The subsequent claims about the resulting ring being alternative/power-associative/Jordan in the solvable char-0 case (and failing for nonzero semisimple algebras) are obtained by checking the relevant identities on the basis of these constructions and the finite-dimensionality/solvability hypotheses. No step reduces a claimed prediction to a fitted parameter, renames a known result, or relies on a load-bearing self-citation whose content is itself unverified; the argument is self-contained against the stated axioms and category-theoretic facts.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The central claims rest on newly introduced notions (weak Leibniz bimodules and truncated tensor products) whose closure and ring-inducing properties are asserted without external benchmarks or independent evidence supplied in the abstract.

axioms (1)
  • standard math Standard axioms of category theory, Hopf algebras, and module theory over non-associative algebras
    All constructions presuppose the usual definitions and properties of categories, Hopf algebras, and bimodules.
invented entities (2)
  • weak Leibniz bimodule no independent evidence
    purpose: To ensure the natural tensor product of bimodules remains a bimodule
    New notion introduced to repair closure failure of the natural tensor product.
  • truncated tensor product (two variants) no independent evidence
    purpose: To produce tensor products that remain Leibniz bimodules and induce multiplication on the Grothendieck group
    Two new operations defined specifically to obtain the ring structure.

pith-pipeline@v0.9.0 · 5735 in / 1336 out tokens · 49180 ms · 2026-05-23T18:08:06.666774+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

  1. [1]

    A. A. Albert: Power-associative rings, Trans. Amer. Math. Soc. 64 (1948), no. 3, 552–593

    work page 1948

  2. [2]

    Block: New simple Lie algebras of prime characteristi c, Trans

    R. Block: New simple Lie algebras of prime characteristi c, Trans. Amer. Math. Soc. 89 (1958), no. 2, 421–449

    work page 1958

  3. [3]

    Block: Trace forms on Lie algebras, Canad

    R. Block: Trace forms on Lie algebras, Canad. J. Math. 14 (1962), 553–564

    work page 1962

  4. [4]

    Bremner, L

    M. Bremner, L. Murakami, and I. Shestakov: Chapter 86: No nassociative Algebras, in: Handbook of Linear Algebra (Second enlarged edition) (ed. L. Hogben), Discrete Mathem atics and its Applications, Chapman & Hall/CRC Press, Boca Raton, FL, 2014

    work page 2014

  5. [5]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik: Tensor Categories, Mathematical Surveys and Monographs, vol. 205, American Mathematical Society, Providence, RI, 2015

    work page 2015

  6. [6]

    Feldvoss: On the cohomology of restricted Lie algebra s, Comm

    J. Feldvoss: On the cohomology of restricted Lie algebra s, Comm. Algebra 19 (1991), no. 10, 2865–2906

    work page 1991

  7. [7]

    Feldvoss: Chief factors and the principal block of a re stricted Lie algebra, in: The Monster and Lie Algebras, Columbus, OH, 1996 (eds

    J. Feldvoss: Chief factors and the principal block of a re stricted Lie algebra, in: The Monster and Lie Algebras, Columbus, OH, 1996 (eds. J. C. Ferrar und K. Harada), Ohio State Univ. Math. Res. Inst. Publ. , vol. 7, W alter de Gruyter, Berlin, 1998, pp. 187–194

    work page 1996

  8. [8]

    Feldvoss: Leibniz algebras as non-associative algeb ras, in: Nonassociative Mathematics and Its Applications, Denver, CO, 2017 (eds

    J. Feldvoss: Leibniz algebras as non-associative algeb ras, in: Nonassociative Mathematics and Its Applications, Denver, CO, 2017 (eds. P. Vojtˇ echovs k´ y, M. R. Bremner, J. S. Carter, A. B. Evans, J. Huerta, M. K. Kinyon, G. E. Moorhouse, J. D. H. S mith), Contemp. Math. , vol. 721, American Mathematical Society, Providence, RI, 2019, pp. 115–149

    work page 2017

  9. [9]

    Feldvoss: Semi-simple Leibniz algebras I, Preprint ( 16 pages), available as arXiv:2401.05588 [math.RA], 2024

    J. Feldvoss: Semi-simple Leibniz algebras I, Preprint ( 16 pages), available as arXiv:2401.05588 [math.RA], 2024

    work page arXiv 2024

  10. [10]

    Feldvoss and H

    J. Feldvoss and H. Strade: Restricted Lie algebras with bounded cohomology and related classes of algebras, Manuscripta Math. 74 (1992), no. 1, 47–67

    work page 1992

  11. [11]

    Feldvoss and F

    J. Feldvoss and F. W agemann: On Leibniz cohomology, J. Algebra 569 (2021), 276–317

    work page 2021

  12. [12]

    Garibaldi: Vanishing of trace forms in low character istics (with an appendix by A

    S. Garibaldi: Vanishing of trace forms in low character istics (with an appendix by A. Premet), Algebra Number Theory 3 (2009), no. 5, 543–566

    work page 2009

  13. [13]

    J. E. Humphreys: Introduction to Lie Algebras and Representation Theory (Second printing, revised), Graduate Texts in Mathematics, vol. 9, Springer-Verlag, New York/Berlin, 1978

    work page 1978

  14. [14]

    Kassel: Quantum Groups , Graduate Texts in Mathematics, vol

    C. Kassel: Quantum Groups , Graduate Texts in Mathematics, vol. 155, Springer-Verlag, New York, Inc., 1995

    work page 1995

  15. [15]

    Loday: Une version non commutative des alg` ebres de Lie: les alg` ebres de Leibniz, Enseign

    J.-L. Loday: Une version non commutative des alg` ebres de Lie: les alg` ebres de Leibniz, Enseign. Math. (2) 39 (1993), no. 3-4, 269–293

    work page 1993

  16. [16]

    Loday: Cyclic Homology (2nd edition), Grundlehren der Mathematischen Wis- senschaften, vol

    J.-L. Loday: Cyclic Homology (2nd edition), Grundlehren der Mathematischen Wis- senschaften, vol. 301, Berlin/Heidelberg/New York, Springer, 1998

    work page 1998

  17. [17]

    Loday and T

    J.-L. Loday and T. Pirashvili: Universal enveloping al gebras of Leibniz algebras and (co)homology, Math. Ann. 296 (1993), no. 1, 139–158

    work page 1993

  18. [18]

    Loday and T

    J.-L. Loday and T. Pirashvili: Leibniz representation s of Lie algebras, J. Algebra 181 (1996), no. 2, 414–425

    work page 1996

  19. [19]

    Mac Lane: Categories for the Working Mathematician (Second edition), Graduate Texts in Mathematics, vol

    S. Mac Lane: Categories for the Working Mathematician (Second edition), Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998

    work page 1998

  20. [20]

    Premet and H

    A. Premet and H. Strade: Simple Lie algebras of small cha racteristic VI: Completion of the classification, J. Algebra 320 (2008), no. 9, 3559–3604

    work page 2008

  21. [21]

    R. D. Schafer: An Introduction to Nonassociative Algebras (Slightly corrected reprint of the 1966 original), Dover Publications, Mineola, NY, 2017

    work page 1966

  22. [22]

    Strade and R

    H. Strade and R. Farnsteiner: Modular Lie Algebras and Their Representations , Monographs and Textbooks in Pure and Applied Mathematics, vol. 116, Marcel Dekker, New York/Basel, 1988. Department of Mathematics and Statistics, University of Sou th Alabama, Mobile, AL 36688-0002, USA Email address : jfeldvoss@southalabama.edu Laboratoire de math ´ematiques ...

    work page 1988