pith. sign in

arxiv: 1906.09979 · v1 · pith:AW255SJInew · submitted 2019-06-21 · 🧮 math.RA · math-ph· math.MP

Manin triples of 3-Lie algebras induced by involutive derivations

Shuai Hou , Ruipu Bai This is my paper

Pith reviewed 2026-05-25 18:31 UTC · model grok-4.3

classification 🧮 math.RA math-phmath.MP
keywords 3-Lie algebrasManin triplesinvolutive derivationscoadjoint representationLie bialgebrassemidirect productslocal cocycles
0
0 comments X

The pith

An involutive derivation on an n-dimensional 3-Lie algebra produces a 4n-dimensional Manin triple.

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

The paper constructs larger 3-Lie algebra structures from smaller ones that carry an involutive derivation. Given any n-dimensional 3-Lie algebra A equipped with such a derivation D, the authors form the semidirect product B1 = A ⋉_{ad*} A* and obtain its dual B2 from the local cocycle on the resulting 3-Lie bialgebra. These two combine into an explicit 4n-dimensional Manin triple (B1 ⊕ B2, [⋅,⋅,⋅]1, [⋅,⋅,⋅]2, B1, B2) whose multiplication is written out in a chosen basis. A concrete sixteen-dimensional case is worked out from a four-dimensional starting algebra. The construction supplies a systematic source of examples for studying 3-Lie bialgebras and their doubles.

Core claim

For any n-dimensional 3-Lie algebra A over a field of characteristic zero that admits an involutive derivation D, the coadjoint semidirect product B1 together with the dual 3-Lie algebra B2 obtained from the local cocycle Δ form a 4n-dimensional Manin triple (B1 ⊕ B2, [⋅,⋅,⋅]1, [⋅,⋅,⋅]2, B1, B2) in which both summands are isotropic; the paper supplies the full multiplication table on the basis Π1 ∪ Π2 and illustrates the result with a sixteen-dimensional example built from a four-dimensional A having two-dimensional derived algebra.

What carries the argument

The involutive derivation D on A that induces the Manin triple (B1 ⊕ B2, [⋅,⋅,⋅]1, [⋅,⋅,⋅]2, B1, B2) via the coadjoint representation and local cocycle Δ.

If this is right

  • Any n-dimensional 3-Lie algebra carrying an involutive derivation yields a concrete 4n-dimensional Manin triple.
  • Multiplication tables on the basis Π1 ∪ Π2 are explicitly determined by the original structure constants of A and the action of D.
  • The same procedure produces a sixteen-dimensional Manin triple when applied to a four-dimensional 3-Lie algebra with two-dimensional derived algebra.
  • B1 and B2 remain isotropic with respect to the natural pairing for every such input.

Where Pith is reading between the lines

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

  • Repeated application to the newly obtained algebras could generate infinite ascending families of Manin triples.
  • The explicit basis formulas make low-dimensional classification or invariant computation feasible by direct matrix algebra.
  • The same derivation-driven doubling may extend to other classes of n-ary algebras that admit coadjoint representations.

Load-bearing premise

The coadjoint representation must turn the semidirect product into a 3-Lie algebra whose local cocycle yields a dual 3-Lie algebra whose pairing with the first is invariant and isotropic.

What would settle it

Take the explicit sixteen-dimensional construction from the four-dimensional example; expand all triple brackets in the given basis and verify whether B1 and B2 are isotropic subalgebras whose sum satisfies the Manin compatibility identity.

read the original abstract

For any $n$-dimensional 3-Lie algebra $A$ over a field of characteristic zero with an involutive derivation $D$, we investigate the structure of the 3-Lie algebra $B_1=A\ltimes_{ad^*} A^* $ associated with the coadjoint representation $(A^*, ad^*)$. We then discuss the structure of the dual 3-Lie algebra $B_2$ of the local cocycle 3-Lie bialgebra $(A\ltimes_{ad^*} A^*, \Delta)$. By means of the involutive derivation $D$, we construct the $4n$-dimensional Manin triple $(B_1\oplus B_2,$ $ [ \cdot, \cdot, \cdot]_1,$ $ [ \cdot, \cdot, \cdot]_2,$ $ B_1, B_2)$ of 3-Lie algebras, and provide concrete multiplication in a special basis $\Pi_1\cup\Pi_2$. We also construct a sixteen dimensional Manin triple $(B, [ \cdot, \cdot, \cdot])$ with $\dim B^1=12$ using an involutive derivation on a four dimensional 3-Lie algebra $A$ with $\dim A^1=2$.

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 / 2 minor

Summary. The manuscript constructs 4n-dimensional Manin triples of 3-Lie algebras from any n-dimensional 3-Lie algebra A equipped with an involutive derivation D. B1 is defined as the semidirect product A ⋉_{ad*} A* via the coadjoint representation; a local cocycle Δ induced by D on this bialgebra yields the dual 3-Lie algebra B2. The direct sum B1 ⊕ B2 is then equipped with 3-Lie brackets [⋅,⋅,⋅]_1 and [⋅,⋅,⋅]_2 making B1 and B2 isotropic subalgebras whose sum is the total space. Explicit structure constants are supplied on the basis Π1 ∪ Π2, together with a concrete 16-dimensional example arising from a 4-dimensional 3-Lie algebra whose derived algebra is 2-dimensional.

Significance. If verified, the construction supplies an explicit, dimension-doubling procedure for producing Manin triples of 3-Lie algebras from involutive derivations. The provision of concrete multiplication tables in a distinguished basis is a clear strength, permitting direct (if tedious) verification of the 3-Lie identity, isotropy, and invariance of the pairing. The 16-dimensional example further illustrates the method and supplies a low-dimensional test case.

minor comments (2)
  1. [Abstract and §2] The abstract and introductory paragraphs introduce the local cocycle Δ without a self-contained definition or forward reference to its explicit formula; a one-sentence reminder of how Δ is obtained from D would improve readability.
  2. [Example (final section)] In the 16-dimensional example, the non-zero structure constants on the basis Π1 ∪ Π2 are listed in prose; a compact table or enumerated list would make the verification of the 3-Lie identity and the Manin conditions easier for the reader.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the clear summary of the construction, and the recommendation of minor revision. No specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity; direct algebraic construction

full rationale

The manuscript constructs the Manin triple explicitly: B1 is defined as the semidirect product A ⋉_{ad*} A* with the induced 3-Lie bracket; an involutive derivation D on A induces a local cocycle Δ on B1, from which B2 is obtained as the dual; the direct sum B1 ⊕ B2 is then equipped with brackets [⋅,⋅,⋅]1 and [⋅,⋅,⋅]2 making B1 and B2 isotropic subalgebras whose sum is the total space. Concrete structure constants are supplied on the basis Π1 ∪ Π2 (and in the 16-dimensional example), so the 3-Lie identities, isotropy, and pairing invariance are directly verifiable from the given formulas. No equation reduces a claimed result to a fitted input or to a self-citation chain; the derivation is self-contained and externally checkable.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The constructions rest on standard definitions of 3-Lie algebras, derivations, coadjoint representations, and Manin triples drawn from prior literature; no new free parameters, ad-hoc axioms, or postulated entities are introduced in the abstract.

axioms (2)
  • standard math The base field has characteristic zero
    Invoked for the definition and properties of 3-Lie algebras and derivations.
  • domain assumption A admits an involutive derivation D
    The entire construction of B1, B2 and the Manin triple is induced by such a D.

pith-pipeline@v0.9.0 · 5766 in / 1540 out tokens · 28035 ms · 2026-05-25T18:31:07.400191+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

21 extracted references · 21 canonical work pages

  1. [1]

    Awata, M

    H. Awata, M. Li, D. Minic, et al, On the quantization of Nam bu brackets, Journal of High Energy Physics, 2001, 2001(2): 69-82

    work page 2001

  2. [2]

    I. A. Bandos, On multiple M2-brane models and its N =8 superspace formulations, Acta Polytechnica, 2010, 50(3):1-10

    work page 2010

  3. [3]

    R. Bai, W. Guo, L. Lin, n-Lie Bialgebras, Linear and Multilinear Algebra , 2018, 66(2): 382-397

    work page 2018

  4. [4]

    C. Bai, L. Guo, Y . Sheng, Bialgebras, the classical Y ang-Baxter equation and Manin triples for 3-Lie algebras, arXiv:1604.05996

    work page arXiv

  5. [5]

    R. Bai, S. Hou, Y . Gao, Structure of n-Lie Algebras with In volutive Derivations, Interna- tional Journal of Mathematics and Mathematical Sciences, 2018, (2018): 1-9

    work page 2018

  6. [6]

    R. Bai, S. Hou S, 3-Lie bialgebras and 3-pre-Lie algebras induced by involutive deriva- tions, arXiv:1906.06771

    work page arXiv 1906

  7. [7]

    Bagger, N

    J. Bagger, N. Lambert, Gauge symmetry and supersymmetry of multiple M2-branes, Phys- ical Review D, 2008, 77(6): 065008

    work page 2008

  8. [8]

    Dirac, Generalized hamiltonian dynamics, Proceedings of the Royal Society A Mathe- matical Physical and Engineering Sciences, 1958, 246(1246): 2405-2412

    P . Dirac, Generalized hamiltonian dynamics, Proceedings of the Royal Society A Mathe- matical Physical and Engineering Sciences, 1958, 246(1246): 2405-2412

    work page 1958

  9. [9]

    A. S. Dzhumadil’ daev, Representation of V ector Porduct n-Lie Algebras, Communication in Algebra, 2014, 32: 3315-3326

    work page 2014

  10. [10]

    V . G. Drinfeld, Hamiltonian structures of lie groups, l ie bialgebras and the geometric meaning of the classical Y ang-Baxter equations, Soviet Math Doklady, 1983, 27(2): 222- 225

    work page 1983

  11. [11]

    Etingof, D

    P . Etingof, D. Kazhdan, Quantization of Lie bialgebras , II, Selecta Mathematica, 1998, 4(2): 213

    work page 1998

  12. [12]

    V . T. Filippov, n-Lie algebras, Siberian Mathematical Journal, 1985, 26 (6): 879-891

    work page 1985

  13. [13]

    Gustavsson, Algebraic structures on parallel M2-br anes, Nuclear Physics B, 2009, 811(1): 66-76

    A. Gustavsson, Algebraic structures on parallel M2-br anes, Nuclear Physics B, 2009, 811(1): 66-76

    work page 2009

  14. [14]

    Gautheron, Some remarks concerning Nambu mechanics , Letters in Mathematical Physics, 1996, 37(1): 103-116

    P . Gautheron, Some remarks concerning Nambu mechanics , Letters in Mathematical Physics, 1996, 37(1): 103-116

    work page 1996

  15. [15]

    J. P . Gauntlett, J. B. Gutowski, Constraining maximall y supersymmetric membrane ac- tions, Journal of High Energy Physics, 2008, 2008(6): 53

    work page 2008

  16. [16]

    Gerstenhaber, S

    M. Gerstenhaber, S. D. Schack, Bialgebra cohomology, d eformations, and quantum groups, Proceedings of the National Academy of Sciences of the Unite d States of America, 1990, 87(1):478-481

    work page 1990

  17. [17]

    S. Joni, C. Rota, Coalgebras and bialgebras in combinat orics, Studies in Applied Mathe- matics, 1979, 61(2): 93-139

    work page 1979

  18. [18]

    S. M. Kasymov, Theory of n-lie algebras, Algebra and Logic, 1987, 26(3): 155-166. MANIN TRIPLES OF 3-LIE ALGEBRAS INDUCED BY INVOLUTIVE DERIV A TIONS 27

    work page 1987

  19. [19]

    Loday, Generalized bialgebras and triples of operad s, Mathematics, 2008, 320(320): 1-103

    J. Loday, Generalized bialgebras and triples of operad s, Mathematics, 2008, 320(320): 1-103

    work page 2008

  20. [20]

    M. M. Sheikh-Jabbari, A new three-algebra representat ion for the Superconformal Chern- Simons theory, Journal of High Energy Physics, 2008, 6(12): 111-111

    work page 2008

  21. [21]

    Takhtajan, On foundation of the generalized Nambu me chanics, Communications in Mathematical Physics, 1994, 160(2): 295-315

    L. Takhtajan, On foundation of the generalized Nambu me chanics, Communications in Mathematical Physics, 1994, 160(2): 295-315. College of Mathematics and Information Science, Hebei University, Baoding 071002, China E-mail address: hshuaisun@163.com College of Mathematics and Information Science, H ebei University, K ey Laboratory of Machine Learning and ...

    work page 1994