Yamaguti Algebras: Theory & Applications

• Yamaguti algebras are algebraic structures defined on vector spaces with one binary and two ternary operations that satisfy eleven same-order identities.
• They serve as associative envelopes of Lie-Yamaguti algebras, bridging geometric, operadic, and cohomological frameworks.
• Their study involves methods from deformation theory, operad combinatorics, and symmetry analysis, highlighting broad applications in modern algebra.

Yamaguti algebras, in the recent sense developed under the name associative-Yamaguti algebras, are vector spaces equipped with one binary operation and two ternary operations satisfying a system of eleven “same-order” identities that act as an associative-side analogue of Lie-Yamaguti theory. They were introduced as enveloping objects for Lie-Yamaguti algebras, because a suitable skew-symmetrization of their operations yields a Lie-Yamaguti algebra. At the same time, a substantial part of the older literature uses “Yamaguti” primarily through Lie-Yamaguti algebras, the binary–ternary structures that generalize Lie algebras and Lie triple systems and arise from differential-geometric constructions involving torsion and curvature (Das, 3 Sep 2025, Chapoton et al., 3 Oct 2025).

1. Terminology, origin, and geometric motivation

The historical core of the subject lies in Lie-Yamaguti algebras. Recent work recalls that Lie-Yamaguti algebras arose from Nomizu’s work on affine connections with parallel torsion and curvature, were axiomatized by Yamaguti, and were later known as Lie triple algebras before the now standard designation Lie-Yamaguti algebras became established (Chapoton et al., 3 Oct 2025). In this older and still standard usage, the “Yamaguti” component refers to a nonassociative structure with a binary and a ternary operation whose compatibility encodes generalized Lie-theoretic and geometric data.

Their geometric meaning is explicit. For a manifold with affine connection, one has

$[x,y]=-T(x,y), \qquad [x,y,z]=-R(x,y)z,$

where $T$ is torsion and $R$ is curvature; this gives a Lie-Yamaguti algebra on vector fields (Zhao et al., 2023). In the reductive homogeneous-space setting, Lie-Yamaguti algebras arise naturally on the smooth sections of the tangent bundle of a reductive homogeneous space, and the conditions

$\nabla R = 0,\qquad \nabla T = 0$

are equivalent to the manifold being locally a reductive homogeneous space with its canonical connection (Stava, 2024). In that geometric dictionary, the binary operation comes from torsion and the ternary operation comes from curvature.

The more recent notion of Yamaguti algebra narrows the terminology in a different direction. In the operadic and associative literature, “Yamaguti algebra” denotes the associative-side envelope of a Lie-Yamaguti algebra, with operations whose arguments always remain in the same order. This newer meaning does not replace the older one; rather, it sits above Lie-Yamaguti theory as a non-skew precursor whose symmetrization recovers the Lie-Yamaguti layer (Chapoton et al., 3 Oct 2025).

2. Lie-Yamaguti algebras as the foundational layer

A Lie-Yamaguti algebra is a vector space $g$ with a skew-symmetric bilinear bracket $[\, ,\,]$ and a trilinear product $\{\, ,\, ,\,\}$, skew-symmetric in the first two variables, satisfying

$[x,y] = -[y,x],\qquad \{x,y,z\}=-\{y,x,z\},$

together with the compatibility identities

$\sum_{x,y,z}\big([[x,y],z]+\{x,y,z\}\big)=0,$

$\sum_{x,y,z}\{[x,y],z,a\}=0,$

$T$0

$T$1

These identities place Lie-Yamaguti algebras strictly between Lie algebras and Lie triple systems: if the ternary operation vanishes, one recovers a Lie algebra; if the binary operation vanishes, one recovers a Lie triple system (Teng, 2024).

This layer already supports a substantial structural theory. The free Lie-Yamaguti algebra on a set $T$2 is described as

$T$3

and admits an explicit basis built from generators, ordered binary products, and Lie-triple-Hall-type ternary products (Stava, 2024). On the deformation side, Lie-Yamaguti algebra structures can be encoded as Maurer-Cartan elements in a graded Lie algebra, and the resulting differential graded Lie algebra realizes Yamaguti cohomology as the deformation differential (Zhao et al., 2023). These developments explain why the associative-side notion of Yamaguti algebra is treated as an envelope rather than as an unrelated construction.

3. Associative-Yamaguti, or Yamaguti, algebras

An associative-Yamaguti algebra—called simply a Yamaguti algebra in the 2025 associative treatment—is a quadruple

$T$4

consisting of a vector space $T$5, a binary operation $T$6, and two ternary operations $T$7 and $T$8, subject to the identities

$T$9

$R$0

$R$1

$R$2

$R$3

$R$4

together with five higher ternary identities $R$5–$R$6 governing iterated applications of the two ternary operations (Das, 3 Sep 2025).

Two features are structurally decisive. First, these are same-order analogues of Lie-Yamaguti identities: the variables do not undergo the skew permutations characteristic of Lie-type structures. Second, the identities are nonsymmetric operadic identities: the authors of the operadic treatment emphasize that the arguments always appear in the same order, so the governing operad is nonsymmetric (Chapoton et al., 3 Oct 2025).

The passage to Lie-Yamaguti algebras is by skew-symmetrization. From a Yamaguti algebra one defines

$R$7

and

$R$8

The resulting structure

$R$9

is a Lie-Yamaguti algebra (Das, 3 Sep 2025). This is the precise sense in which Yamaguti algebras serve as envelopes of Lie-Yamaguti algebras, a point emphasized again in the operadic paper (Chapoton et al., 3 Oct 2025).

4. Constructions and enveloping associative algebras

The associative-Yamaguti framework contains several natural subclasses and sources of examples (Das, 3 Sep 2025).

Source	Induced operations	Outcome
Associative algebra $\nabla R = 0,\qquad \nabla T = 0$0	$\nabla R = 0,\qquad \nabla T = 0$1	associative-Yamaguti algebra
Reductive associative algebra $\nabla R = 0,\qquad \nabla T = 0$2	operations on $\nabla R = 0,\qquad \nabla T = 0$3 defined via $\nabla R = 0,\qquad \nabla T = 0$4 and $\nabla R = 0,\qquad \nabla T = 0$5	associative-Yamaguti structure on $\nabla R = 0,\qquad \nabla T = 0$6
Associative triple system of the first kind	binary product trivial, $\nabla R = 0,\qquad \nabla T = 0$7	associative-Yamaguti algebra
Diassociative algebra $\nabla R = 0,\qquad \nabla T = 0$8	$\nabla R = 0,\qquad \nabla T = 0$9, with ternary operations defined from $g$0	canonical associative-Yamaguti algebra

For reductive associative algebras $g$1 with

$g$2

the induced operations on $g$3 are

$g$4

For a diassociative algebra, the canonical formulas are

$g$5

$g$6

$g$7

A major structural theorem states that every associative-Yamaguti algebra admits an enveloping associative algebra. The construction uses the associative algebra

$g$8

spanned by

$g$9

and forms the reductive associative algebra $[\, ,\,]$0 with product

$[\, ,\,]$1

This product is associative and reductive, so every associative-Yamaguti algebra is induced from a reductive associative algebra (Das, 3 Sep 2025).

5. Operads and the noncrossing-partition model

The nonsymmetric operad of Yamaguti algebras, denoted $[\, ,\,]$2, admits a concrete combinatorial realization in terms of noncrossing partitions without singleton blocks (Chapoton et al., 3 Oct 2025). For each $[\, ,\,]$3, let $[\, ,\,]$4 be the set of noncrossing partitions of

$[\, ,\,]$5

such that every block has cardinality at least $[\, ,\,]$6. The vector space $[\, ,\,]$7 with basis $[\, ,\,]$8 forms a nonsymmetric operad $[\, ,\,]$9, and in fact a nonsymmetric cyclic operad.

The partial composition

$\{\, ,\, ,\,\}$0

is defined by a two-term rule. One glues the disk for $\{\, ,\, ,\,\}$1 into the $\{\, ,\, ,\,\}$2-th segment of $\{\, ,\, ,\,\}$3. The first term is the resulting glued partition. The second term is obtained by cutting the new block along the gluing line, splitting it into two blocks; if this creates a singleton block, the second term is omitted. The unit is the unique basis element in arity $\{\, ,\, ,\,\}$4, written $\{\, ,\, ,\,\}$5.

A key proposition states that $\{\, ,\, ,\,\}$6 is generated by the unique binary partition

$\{\, ,\, ,\,\}$7

and the two ternary partitions

$\{\, ,\, ,\,\}$8

The operad morphism

$\{\, ,\, ,\,\}$9

sends the binary generator to $[x,y] = -[y,x],\qquad \{x,y,z\}=-\{y,x,z\},$0, the first ternary generator to $[x,y] = -[y,x],\qquad \{x,y,z\}=-\{y,x,z\},$1, and the second ternary generator to $[x,y] = -[y,x],\qquad \{x,y,z\}=-\{y,x,z\},$2. The main theorem is that

$[x,y] = -[y,x],\qquad \{x,y,z\}=-\{y,x,z\},$3

is an isomorphism of nonsymmetric operads (Chapoton et al., 3 Oct 2025).

This identification has several explicit consequences. The basis of $[x,y] = -[y,x],\qquad \{x,y,z\}=-\{y,x,z\},$4 is indexed by noncrossing partitions of $[x,y] = -[y,x],\qquad \{x,y,z\}=-\{y,x,z\},$5 without singleton blocks; $[x,y] = -[y,x],\qquad \{x,y,z\}=-\{y,x,z\},$6 is therefore the corresponding Riordan number; the operad is cyclic; and the defining relations exhibit Gröbner-basis behavior. A plausible implication is that the nonsymmetric nature of the Yamaguti identities is not merely formal: it is rigid enough to admit a complete combinatorial normal form.

6. Cohomology, deformations, and splitting structures

The associative-Yamaguti theory includes a dedicated $[x,y] = -[y,x],\qquad \{x,y,z\}=-\{y,x,z\},$7-cohomology used for formal deformations and abelian extensions (Das, 3 Sep 2025). A representation of an associative-Yamaguti algebra $[x,y] = -[y,x],\qquad \{x,y,z\}=-\{y,x,z\},$8 on a vector space $[x,y] = -[y,x],\qquad \{x,y,z\}=-\{y,x,z\},$9 consists of structure maps with one $\sum_{x,y,z}\big([[x,y],z]+\{x,y,z\}\big)=0,$0-input satisfying the AY identities with one variable in $\sum_{x,y,z}\big([[x,y],z]+\{x,y,z\}\big)=0,$1, and $\sum_{x,y,z}\big([[x,y],z]+\{x,y,z\}\big)=0,$2 is an associative-Yamaguti algebra if and only if $\sum_{x,y,z}\big([[x,y],z]+\{x,y,z\}\big)=0,$3 is such a representation.

A $\sum_{x,y,z}\big([[x,y],z]+\{x,y,z\}\big)=0,$4-cocycle is a triple

$\sum_{x,y,z}\big([[x,y],z]+\{x,y,z\}\big)=0,$5

satisfying the AY-type cocycle identities. The quotient

$\sum_{x,y,z}\big([[x,y],z]+\{x,y,z\}\big)=0,$6

is the $\sum_{x,y,z}\big([[x,y],z]+\{x,y,z\}\big)=0,$7-th cohomology group. For a formal deformation

$\sum_{x,y,z}\big([[x,y],z]+\{x,y,z\}\big)=0,$8

the infinitesimal

$\sum_{x,y,z}\big([[x,y],z]+\{x,y,z\}\big)=0,$9

is a $\sum_{x,y,z}\{[x,y],z,a\}=0,$0-cocycle in the adjoint representation, and equivalent deformations have infinitesimals differing by a coboundary. Abelian extensions

$\sum_{x,y,z}\{[x,y],z,a\}=0,$1

are classified by the same cohomology group: $\sum_{x,y,z}\{[x,y],z,a\}=0,$2

The same paper also recasts the theory operadically through Yamaguti multiplications on a nonsymmetric operad and introduces dendriform-Yamaguti algebras as splitting objects for associative-Yamaguti algebras. A dendriform-Yamaguti algebra carries two binary operations $\sum_{x,y,z}\{[x,y],z,a\}=0,$3, three ternary operations $\sum_{x,y,z}\{[x,y],z,a\}=0,$4, and three corresponding double-brace ternary operations $\sum_{x,y,z}\{[x,y],z,a\}=0,$5, subject to 58 identities. Summing the split operations produces an associative-Yamaguti algebra. Relative Rota-Baxter operators provide the bridge: if $\sum_{x,y,z}\{[x,y],z,a\}=0,$6 is a relative Rota-Baxter operator, then $\sum_{x,y,z}\{[x,y],z,a\}=0,$7 inherits a dendriform-Yamaguti structure, and conversely every dendriform-Yamaguti algebra arises from such an operator, namely the identity map on its total associative-Yamaguti algebra (Das, 3 Sep 2025).

7. Generalizations and current structural directions

The Lie-Yamaguti side of the subject continues to expand in several directions. Hom-Lie-Yamaguti algebras are twisted versions

$\sum_{x,y,z}\{[x,y],z,a\}=0,$8

of Lie-Yamaguti algebras; they are multiplicative Hom-algebras, reduce to ordinary Lie-Yamaguti algebras when $\sum_{x,y,z}\{[x,y],z,a\}=0,$9, are closed under twisting by self-morphisms, and connect to Hom-Malcev algebras when the ternary operation is expressed through the binary one by a Yamaguti-type formula (Gaparayi et al., 2010). Their representation and cohomology theory supports infinitesimal deformations and classifies abelian extensions by the $T$00-cohomology group (Zhang, 2015).

Bialgebraic and symmetry-theoretic developments are equally active. The classical Lie-Yamaguti Yang-Baxter equation is defined by

$T$01

and a skew nondegenerate solution corresponds to a relative Rota-Baxter operator with respect to the coadjoint representation; matched pairs, Manin triples, and double construction Lie-Yamaguti bialgebras are equivalent in this setting (Zhao et al., 2022). For finite-dimensional Lie-Yamaguti algebras, a universal algebra $T$02 and its Hopf envelope $T$03 provide a universal coacting bialgebra and a universal coacting Hopf algebra, from which one recovers the automorphism group and classifies abelian group gradings (Goswami et al., 2 Jun 2025).

Recent work also treats the factorization and complement problem. If a Lie-Yamaguti algebra $T$04 strongly factorizes through $T$05 and $T$06, then

$T$07

for a matched pair, and every other $T$08-complement is obtained from $T$09 by a deformation map $T$10. These deformation maps generalize homomorphisms, derivations, crossed homomorphisms, and relative Rota-Baxter operators, and they admit a Maurer-Cartan characterization through a governing $T$11-algebra (Das, 25 May 2026). In the Hom setting, isoclinism has also been developed for regular Hom-Lie Yamaguti algebras: every isoclinism family contains a stem algebra, and for finite-dimensional regular Hom-Lie Yamaguti algebras of the same dimension, isoclinism is equivalent to isomorphism (Asif et al., 3 Aug 2025).

Taken together, these results place Yamaguti algebras in a two-level landscape. On one level, Lie-Yamaguti algebras remain the geometric and Lie-theoretic nucleus of the subject. On the other, associative-Yamaguti algebras supply an envelope with explicit operadic, combinatorial, cohomological, and splitting structures. The present literature treats these levels not as competing definitions, but as adjacent realizations of the same binary–ternary paradigm.