---
title: Regular Hom-Lie Yamaguti Algebras
url: https://www.emergentmind.com/topics/regular-hom-lie-yamaguti-algebras
type: topic
---

# Regular Hom-Lie Yamaguti Algebras

Searching arXiv for the cited HLYA papers to ground the article in the specified literature.
arXiv search query: 2508.01631 "Isoclinism in regular Hom-Lie Yamaguti algebras"
Regular Hom-Lie Yamaguti algebras are multiplicative Hom-Lie-Yamaguti algebras $(A,[-,-],[-,-,-],\alpha_A)$ for which the twisting map $\alpha_A$ is bijective. They are binary–ternary Hom-type algebras over a field $\mathbb K$ of characteristic zero, and they unify several standard structures: when the ternary bracket vanishes one recovers a Hom-Lie algebra, when the binary bracket vanishes one obtains a Hom-Lie triple system, and when $\alpha=\mathrm{Id}$ one returns to the classical Lie-Yamaguti setting. In the regular case, bijectivity of $\alpha_A$ governs quotient constructions, centrality, extension theory, and the isoclinism formalism, culminating in a finite-dimensional rigidity theorem: for regular Hom-Lie Yamaguti algebras of equal dimension, isoclinism implies isomorphism [2508.01631].

## 1. Defining identities and basic reductions

A Hom-Lie-Yamaguti algebra consists of a linear space $A$, a linear self-map $\alpha_A:A\to A$, a bilinear bracket $[-,-]:A\times A\to A$, and a trilinear bracket $[-,-,-]:A\times A\times A\to A$, subject to the identities, for all $x,y,z,w,t\in A$,
\[
[x,y]=-[y,x], \qquad [x,y,z]=-[y,x,z],
\]
\[
\circlearrowleft_{x,y,z} [[x,y],\alpha_A(z)] + \circlearrowleft_{x,y,z}[x,y,z]=0,
\]
\[
[[x,y],\alpha_A(z),\alpha_A(w)] = 0,
\]
\[
\circlearrowleft_{x,y,z}[\alpha_A(x),\alpha_A(y),[z,w]]
=
[[x,y,z],\alpha_A^2(w)] + [\alpha_A^2(z),[x,y,w]],
\]
\[
[\alpha_A^2(x),\alpha_A^2(y),[z,w,t]]
=
[[x,y,z],\alpha_A^2(w),\alpha_A^2(t)]
+
[\alpha_A^2(z),[x,y,w],\alpha_A^2(t)]
+
[\alpha_A^2(z),\alpha_A^2(w),[x,y,t]].
\]
It is multiplicative when
\[
\alpha_A([x,y])=[\alpha_A(x),\alpha_A(y)], \qquad
\alpha_A([x,y,z])=[\alpha_A(x),\alpha_A(y),\alpha_A(z)],
\]
and it is regular when $\alpha_A$ is bijective [2508.01631].

The same structure appears in the earlier Hom-Lie-Yamaguti literature in equivalent binary–ternary form, usually denoted by $(L,*,\{\,,\, ,\,\},\alpha)$ and organized through the twisted Yamaguti identities $(\mathrm{B}1)$–$(\mathrm{B}8)$ or $(\mathrm{HLY}1)$–$(\mathrm{HLY}8)$. In that formulation, the category of multiplicative Hom-Lie-Yamaguti algebras is closed under twisting by self-morphisms: if $\beta$ is an endomorphism commuting with $\alpha$, then
\[
x*_\beta y=\beta(x*y), \qquad \{x,y,z\}_\beta=\beta^2(\{x,y,z\}), \qquad \alpha_\beta=\beta\alpha
\]
again defines a multiplicative Hom-Lie-Yamaguti algebra [1012.0445].

Two reductions are structurally decisive. If $[\cdot,\cdot]=0$, the algebra reduces to a Hom-Lie triple system, with the induced ternary Hom-Nambu behavior emphasized in the foundational papers. If $[\cdot,\cdot,\cdot]=0$, it reduces to a Hom-Lie algebra. These reductions are not peripheral: they identify regular Hom-Lie Yamaguti algebras as a common envelope for binary Hom-Lie and ternary Hom-Lie-type geometries [2508.01631].

## 2. Regularity, central structure, and stem algebras

Regularity means precisely that $\alpha_A$ is bijective. In the isoclinism theory this hypothesis is essential because it guarantees that the induced map on quotients is bijective and that the center is a Hom-ideal. For a subspace $B\subseteq A$, being a Hom-Lie Yamaguti subalgebra means
\[
\alpha_A(B)\subseteq B, \qquad [B,B]\subseteq B, \qquad [B,B,B]\subseteq B,
\]
whereas $B$ is a Hom-ideal when
\[
[B,A]\subseteq B, \qquad [B,A,A]\subseteq B, \qquad [A,A,B]\subseteq B.
\]
The center is
\[
Z(A)=\{\,b\in A\mid [b,x]=0,\ [b,x,y]=0,\ [x,y,b]=0,\ \forall x,y\in A\,\},
\]
and the derived subalgebra is
\[
A^2=[A,A]+[A,A,A].
\]
A regular Hom-Lie Yamaguti algebra is called stem when
\[
Z(A)\subseteq A^2.
\]
In a regular Hom-Lie Yamaguti algebra, $Z(A)$ is a Hom-ideal [2508.01631].

If $B$ is a Hom-ideal of a regular Hom-Lie Yamaguti algebra $A$, the quotient $A/B$ inherits the regular Hom-Lie Yamaguti structure via
\[
[\bar x,\bar y]_{A/B}=\overline{[x,y]},\qquad
[\bar x,\bar y,\bar z]_{A/B}=\overline{[x,y,z]},\qquad
\bar\alpha_A(\bar x)=\alpha_A(x)+B,
\]
and when $\alpha_A$ is bijective with $\alpha_A(B)=B$, the induced $\bar\alpha_A$ is bijective as well. This is the mechanism by which central quotients enter the isoclinism formalism [2508.01631].

Within an isoclinism family, stem objects play the same role that stem groups or stem Lie algebras do in the classical theory: they are the central representatives with no “extraneous” abelian direct summand outside the derived part. For finite-dimensional regular Hom-Lie Yamaguti algebras, this role becomes quantitative: a member of an isoclinism family is stem if and only if its dimension is minimal in that family [2508.01631].

## 3. Isoclinism and the invariants it preserves

For regular Hom-Lie Yamaguti algebras
\[
(A,[\cdot,\cdot]_A,[\cdot,\cdot,\cdot]_A,\alpha_A)
\quad\text{and}\quad
(B,[\cdot,\cdot]_B,[\cdot,\cdot,\cdot]_B,\alpha_B),
\]
write $\bar x=x+Z(A)$ and $\bar a=a+Z(B)$. The binary and ternary commutator maps are
\[
\tau^{(2)}:\frac{A}{Z(A)}\times\frac{A}{Z(A)}\to A^2,\qquad
\tau^{(2)}(\bar x,\bar y)=[x,y]_A,
\]
\[
\tau^{(3)}:\frac{A}{Z(A)}\times\frac{A}{Z(A)}\times\frac{A}{Z(A)}\to A^2,\qquad
\tau^{(3)}(\bar x,\bar y,\bar z)=[x,y,z]_A,
\]
and similarly $\delta^{(2)},\delta^{(3)}$ on $B$ [2508.01631].

A pair $(\theta,\beta)$, with
\[
\theta:A/Z(A)\to B/Z(B),\qquad \beta:A^2\to B^2,
\]
is a homoclinism when the binary and ternary commutator diagrams commute and the twisting maps are respected:
\[
\beta([x,y]_A)=[\theta(\bar x),\theta(\bar y)]_B,\qquad
\beta([x,y,z]_A)=[\theta(\bar x),\theta(\bar y),\theta(\bar z)]_B,
\]
\[
\theta\circ \bar\alpha_A=\bar\alpha_B\circ\theta,\qquad
\beta\circ \alpha_A|_{A^2}=\alpha_B|_{B^2}\circ\beta.
\]
If both $\theta$ and $\beta$ are isomorphisms, one has an isoclinism, written $A\sim B$ [2508.01631].

This notion is weaker than isomorphism. By definition, isomorphism implies isoclinism, but the converse fails in general. The central reason is that isoclinism retains the commutator geometry of the quotient by the center and of the derived subalgebra, while allowing central or abelian enlargement. The preserved invariants are therefore
\[
A/Z(A)\quad\text{up to isomorphism}, \qquad A^2\quad\text{up to isomorphism},
\]
and hence also $\dim(A/Z(A))$ and $\dim(A^2)$. In stem families, the center is also preserved up to isomorphism under the derived-subalgebra isomorphism restricted to the center [2508.01631].

Several structural consequences parallel the classical theory. If $B$ is abelian, then
\[
A\sim A\oplus B.
\]
If $f:A\to B$ is a surjective homomorphism with $\ker(f)\cap A^2=0$, then $A\sim B$. For quotients, one has
\[
A/B \sim A/(B\cap A^2),
\]
and if $A^2$ is finite-dimensional and $A\sim A/B$, then $B\cap A^2=0$ [2508.01631].

A common misconception is that isoclinism is merely a reformulation of isomorphism. The finite-dimensional theory shows that this is false in general and true only under additional hypotheses. In particular, the equal-dimension condition in the main rigidity theorem is indispensable [2508.01631].

## 4. Factor sets and central extension models

A factor set for a regular Hom-Lie Yamaguti algebra $A$ is a pair
\[
\pi=(\pi_2,\pi_3),
\qquad
\pi_2:\frac{A}{Z(A)}\times \frac{A}{Z(A)}\to Z(A),
\qquad
\pi_3:\frac{A}{Z(A)}\times \frac{A}{Z(A)}\times \frac{A}{Z(A)}\to Z(A),
\]
satisfying the identities $(\mathrm{F}1)$–$(\mathrm{F}5)$ together with multiplicativity. These conditions encode $\alpha$-skew-symmetry, a Hom-Jacobi-type identity, ternary Hom-Jacobi compatibility, binary–ternary compatibility, and higher-order compatibility on the central component [2508.01631].

Given such a factor set, one defines
\[
\Omega=\left(Z(A),\frac{A}{Z(A)},\pi\right)
=
\{(a,\bar x)\mid a\in Z(A),\ \bar x\in A/Z(A)\},
\]
with operations
\[
[(a_1,\bar x),(a_2,\bar y)]_\Omega
=
\big(\pi_2(\bar x,\bar y),[\bar x,\bar y]\big),
\]
\[
[(a_1,\bar x),(a_2,\bar y),(a_3,\bar z)]_\Omega
=
\big(\pi_3(\bar x,\bar y,\bar z),[\bar x,\bar y,\bar z]\big),
\]
\[
\alpha_\Omega(a,\bar x)=\big(\alpha_A(a),\bar\alpha_A(\bar x)\big).
\]
Then $\Omega$ is a regular Hom-Lie Yamaguti algebra, and
\[
Z(\Omega)=\{(a,0)\mid a\in Z(A)\}\cong Z(A).
\]
If $\pi$ is multiplicative, $\Omega$ is multiplicative regular [2508.01631].

Every regular Hom-Lie Yamaguti algebra admits such a presentation. Choosing a linear section $\mathfrak R:A/Z(A)\to A$, one sets
\[
\pi_2(\bar x,\bar y)=
[\mathfrak R(\bar x),\mathfrak R(\bar y)]_A-\mathfrak R([\bar x,\bar y]),
\]
\[
\pi_3(\bar x,\bar y,\bar z)=
[\mathfrak R(\bar x),\mathfrak R(\bar y),\mathfrak R(\bar z)]_A-\mathfrak R([\bar x,\bar y,\bar z]),
\]
and obtains
\[
A\cong \left(Z(A),\frac{A}{Z(A)},\pi\right).
\]
Thus regular Hom-Lie Yamaguti algebras can be reconstructed as central extensions of their central quotient by their center [2508.01631].

Inside an isoclinism family, factor sets organize the passage from one stem algebra to another. If $A$ and $B$ are stem regular Hom-Lie Yamaguti algebras in the same isoclinism family, then there exists a factor set $\pi$ on $A$ such that
\[
B\cong \left(Z(A),\frac{A}{Z(A)},\pi\right).
\]
Moreover, isomorphisms between such central extension models are characterized by induced automorphisms on $A/Z(A)$ and $Z(A)$ together with a linear correction term into the center, giving an explicit equivalence criterion for factor sets inside the family [2508.01631].

## 5. Stem decomposition and finite-dimensional rigidity

The existence of stem representatives is a basic structural theorem: every isoclinism family of regular Hom-Lie Yamaguti algebras contains at least one stem algebra. In the finite-dimensional case, stem members are exactly the minimal-dimensional members of the family [2508.01631].

The decomposition theorem sharpens this. If $\mathcal C$ is an isoclinism family of finite-dimensional regular Hom-Lie Yamaguti algebras and $A\in\mathcal C$, then
\[
A=B_1\oplus B_2,
\]
where $(B_1,\alpha_1)$ is a stem regular Hom-Lie Yamaguti algebra and $(B_2,\alpha_2)$ is a finite-dimensional abelian Hom-Lie Yamaguti algebra. The theorem shows that, despite the presence of both a ternary operation and a twisting map, the family still splits into a stem core and an abelian complement [2508.01631].

This decomposition drives the rigidity theorem. In the stem case, if $A$ and $B$ are finite-dimensional regular stem Hom-Lie Yamaguti algebras, then
\[
A\sim B \quad\Longleftrightarrow\quad A\cong B.
\]
In the general case, if $(A,\alpha_A)$ and $(B,\alpha_B)$ are finite-dimensional regular Hom-Lie Yamaguti algebras with
\[
\dim(A)=\dim(B),
\]
then
\[
A\sim B \quad\Longleftrightarrow\quad A\cong B.
\]
The proof proceeds by choosing stem representatives in the common isoclinism family, decomposing each algebra into stem plus abelian summand, using the invariance of $A/Z(A)$ and $A^2$ under isoclinism to identify the dimensions of the stem parts, and then invoking the stem rigidity theorem [2508.01631].

The equal-dimension hypothesis is necessary. The paper gives a $3$-dimensional regular Hom-Lie Yamaguti algebra $A$ with $Z(A)=\{0\}$ and $A^2=\operatorname{span}\{e_1,e_2\}$, and a $4$-dimensional regular Hom-Lie Yamaguti algebra $B$ with $Z(B)=\operatorname{span}\{f_3\}$ and $B^2=\operatorname{span}\{f_1,f_2\}$, such that
\[
A/Z(A)\cong B/Z(B), \qquad A^2\cong B^2,
\]
hence $A\sim B$, but $A\not\cong B$ because $\dim(A)\neq \dim(B)$. A second example exhibits a $5$-dimensional stem algebra $A$ and its central enlargement $B=A\oplus \mathbb K f$, showing concretely that $A\sim B$ while only $A$ is stem [2508.01631].

## 6. Relations to Hom-Lie, Hom-Malcev, Hom-Leibniz, and cohomological constructions

Regular Hom-Lie Yamaguti algebras sit at the intersection of several Hom-algebraic theories. Setting $\alpha=\mathrm{Id}$ recovers Lie-Yamaguti algebras, so the finite-dimensional equal-dimension rigidity theorem extends the corresponding result for Lie-Yamaguti algebras. Setting the ternary bracket to zero recovers Hom-Lie algebras; setting the binary bracket to zero recovers Hom-Lie triple systems, hence ternary Hom-Nambu-type structures [2508.01631].

The foundational construction theory has two classical sources. First, every multiplicative Hom-Lie-Yamaguti algebra can be twisted by a compatible endomorphism, and classical Lie-Yamaguti algebras or Malcev algebras produce Hom-Lie-Yamaguti algebras by this Yau-type mechanism. Second, when the ternary product is defined from the binary one by
\[
\{x,y,z\}=-J_\alpha(x,y,z)+2[[x,y],\alpha(z)],
\]
a Hom-Lie-Yamaguti algebra becomes a multiplicative Hom-Malcev algebra, and conversely every multiplicative Hom-Malcev algebra carries a natural Hom-Lie-Yamaguti structure with
\[
\{x,y,z\}=[[x,y],\alpha(z)]-[[y,z],\alpha(x)]-[[z,x],\alpha(y)].
\]
These equivalences remain valid in the regular case, although bijectivity of $\alpha$ is not required for the underlying Hom-Malcev correspondence [1012.0445; 1507.01691].

A distinct source is Hom-Leibniz theory. Every multiplicative left Hom-Leibniz algebra has a natural Hom-Lie-Yamaguti structure obtained from the skew-symmetrized binary bracket
\[
[x,y]=x\cdot y-y\cdot x
\]
and the ternary operation
\[
\{x,y,z\}=-(x\cdot y)\cdot a(z).
\]
When the twisting map $a$ is bijective, this yields a regular Hom-Lie-Yamaguti algebra. The construction is the Hom-analogue of the classical passage from left Leibniz algebras to Lie-Yamaguti algebras [1208.6038].

Representation and cohomology theory for Hom-Lie-Yamaguti algebras is organized by three action maps $(\rho,D,\theta)$ and a cohomology whose basic deformation-theoretic component is the $(2,3)$-cohomology. A $1$-parameter infinitesimal deformation of a Hom-Lie-Yamaguti algebra is governed by a pair $(v,w)$ that simultaneously defines a Hom-Lie-Yamaguti algebra of deformation type and a $(2,3)$-cocycle with coefficients in the adjoint representation. Abelian extensions are classified by the cohomology group
\[
H^2(T;V)\times H^3(T;V),
\]
equivalently
\[
\operatorname{Ext}(T,V)\cong H^2(T;V)\times H^3(T;V).
\]
In the regular case, invertibility of $\alpha$ simplifies the transport of identities through powers of $\alpha$ and $\beta$, but the cohomological formalism itself is not restricted to bijective twists [1503.06392].

Recent operator-theoretic work extends this further. Twisted $\mathcal O$-operators on a Hom-Lie-Yamaguti algebra, defined relative to a representation and a $(2,3)$-cocycle, induce new Hom-Lie-Yamaguti structures on the representation space. Weighted Reynolds operators are special cases of such twisted $\mathcal O$-operators, and the induced structures are regular when the twisting maps $a$ and $\beta$ are bijective. The same framework produces Hom-NS-Lie-Yamaguti algebras as underlying structures of twisted $\mathcal O$-operators [2502.18804].

The principal limitations of the current structural theory are equally explicit. The isoclinism framework in the 2025 rigidity theorem depends on regularity; without bijectivity of $\alpha$, induced quotient maps may fail to be bijections. Finite-dimensionality is used in the existence and minimality theory of stem algebras, and the equal-dimension assumption is indispensable for the implication “isoclinism $\Rightarrow$ isomorphism.” Infinite-dimensional regular Hom-Lie Yamaguti algebras do not generally satisfy the same rigidity statement. A plausible implication is that future progress will continue to rely on cohomological control of factor sets, classification within individual isoclinism families, and extensions to broader Hom-algebra classes, including Hom-Lie triple systems and superalgebra analogues [2508.01631].

Source: https://www.emergentmind.com/topics/regular-hom-lie-yamaguti-algebras