Hom-associative algebras, Admissibility and Relative averaging operators
2 University of Gabes, Faculty of Sciences Gabes, City Riadh 6072 Zrig, Gabes, Tunisia
3 Department of Mathematics, University of South Florida, Tampa, FL 33620, U.S.A.
4 Faculty of Sciences, University of Gafsa, BP 2100, Gafsa, Tunisia. )
Abstract
We introduce the notion of relative averaging operators on Hom-associative algebras with a representation. Relative averaging operators are twisted generalizations of
relative averaging operators on associative algebras. We give two characterizations of relative averaging operators of Hom-associative algebras via graphs and Nijenhuis operators. A (homomorphic) relative averaging operator of Hom-associative algebras with respect to a given representation gives rise to Hom-associative (tri)dialgebras. By admissibility, a Hom-Jordan (tri)dialgebra and a Hom-(tri)Leibniz algebra can be obtained from Hom-associative (tri)dialgebra.
Keywords: Hom-associative (di)(tri)algebra, Hom-Lie algebra, Hom-Jordan (di)(tri)algebra, Hom-(tri)Leibniz algebra, relative averaging operator.
MSC(2020): 17B61, 17B60, 17C10, 17A32.
1 Introduction
Algebras where the identities defining the structure are twisted by homomorphisms are called Hom-algebras. They have been intensively investigated in the literature recently. The theory of Hom-algebra started from Hom-Lie algebras introduced and discussed in [13, 18], motivated by quasi-deformations of Lie algebras of vector fields, in particular q-deformations of Witt and Virasoro algebras. Hom-associative algebras were introduced in [23] while Hom-Jordan algebras were introduced in [21, 34] as twisted generalizations of Jordan algebras.
The notion of averaging operator was first implicitly considered in [31] by O. Reynolds in 1895. His description was given in terms of idempotent Reynolds operators that appeared in the turbulence theory of fluid dynamics. In 1930, Kampé de Fériet gave the explicit description of an averaging operator in the context of turbulence theory and functional analysis [14]. Let be an associative algebra. A linear map is said to be an averaging operator on the algebra if
An associative algebra equipped with a distinguished averaging operator on it is called an averaging algebra. In the last century, averaging operators and averaging algebras were mostly studied in the algebra of functions on a space [4, 15, 12, 24, 25]. In the algebraic contexts, B. Brainerd [6] first studied the conditions for which an averaging operator can be realized as a generalization of the integral operator on the ring of real-valued measurable functions. In his PhD thesis, W. Cao [7] considered averaging operators from algebraic and combinatorial points of view. Among others, he described the Lie algebra and the Leibniz algebra induced from an averaging operator and constructed the free commutative averaging algebra. Further algebraic study of averaging operators on any binary operad and their relations with bisuccessors, duplicators and Rota-Baxter operators are explicitly given in [2, 27, 28]. Recently, J. Pei and L. Guo [29] constructed the free (associative) averaging algebra using a class of bracketed words, called averaging words (see also [8, 10]). It is worth mentioning that averaging operators also appeared in the context of Lie algebras with the name of embedding tensors. They have close connections with Leibniz algebras, tensor hierarchies and higher gauge theories [5, 19, 33, 32].
The notion of embedding tensors (relative averaging operators) [26] can be traced back to the study of the gauge supergravity theory. Embedding tensors were used to construct supersymmetric gauge theories and to study the Bagger-Lambert theory of multiple -branes in [3]. Embedding tensors were also used to study deformations of maximal -dimensional supergravity [11]. Recently, this topic has attracted much attention of the mathematical physics world [17, 19].
Our main objective is to introduce the notion of relative averaging operators on Hom-associative algebras with a representation. These are twisted generalizations of relative averaging operators on associative algebras. We give two characterizations of averaging operators of Hom-associative algebras via graphs and Nijenhuis operators. A (homomorphic) relative averaging operator of Hom-associative algebras with respect to a given representation gives rise to Hom-associative (tri)dialgebras and by admissibility, a Hom-Jordan (tri)dialgebra and Hom-(tri)Leibniz algebra can be obtained by Hom-associative (tri)dialgebra.
This paper is organized as follow, In Section 2, we recall some knwon results and definitions on Hom-associative, Hom-Lie, Hom-Leibniz and Hom-Jordan algebras and their representations and Hom-associative dialgebras. Section 3 is devoted to study the notion of a relative averaging operator on a Hom-associative, Hom-Lie and Hom-Jordan algebra with respect to a suitable bimodule. We give a characterization of a relative averaging operator by graphs and Nijenhuis operators. We investigate relative averaging operators on Hom- algebras to obtain Hom-di- algebras and present some basic observations. In Section 4, we introduce the notion of a homomorphic relative averaging operator on a Hom- algebra which allows us the replicating of the multiplication into three multiplications of the same nature.
All vector spaces, linear and multilinear maps, unadorned tensor products and wedge products are over a field of characteristic .
2 Review of Hom-associative algebras and some related structures
In this section we recall some knwon results and definitions of Hom-associative, Hom-Lie, Hom-Leibniz and Hom-Jordan algebras and their representations and Hom-associative dialgebras. For more details, we refer to [13, 18, 21, 23, 34].
Definition 2.1.
A Hom-associative algebra is a triple consisting of a vector space togother with a binary operation and a linear map satisfying, for any ,
If , we recover the classical associative algebras.
If the twist map preserves the operation, then the Hom-associative algebra is called multiplicative. For this reason, throughout this paper all Hom-algebras are considered multiplicative. Let and be two Hom-associative algebras. A linear map is a morphism of Hom-associative algebras if
Definition 2.2.
A bimodule (or a representation) of a Hom-associative algebra on a vector space consists of a linear map and two linear maps such that
(2.1) | ||||
(2.2) |
for any A Hom-associative algebra with a representation is a called HAss-Rep pair and refer to it with the pair .
Let and two Hom-associative algebras. We will say that acts on if there are tow -linear maps such that is a bimodule of , and for any and we have
(2.3) |
An action of on is denoted by . A HAss-Act pair is a Hom-associative algebra with an action and refer to it with the pair .
Lemma 2.3.
Note that a tuple is an action of a Hom-associative algebra if and only if carries a Hom-associative structure with product and twisting map given by
for all and which is called the semi-direct product of with .
In the following, we recall the notion of Hom-Jordan and Hom-Lie algebras. These two varieties are closely related to Hom-associative algebras, (see [23] and [21] for more details). In fact, let be a Hom-associative algebra. Define the algebras and where
Theorem 2.4.
Under the following notations, is a Hom-Jordan algebra and is a Hom-Lie algebra. In other words, Hom-associative algebras are Hom-Jordan-admissible and Hom-Lie-admissible.
We aim to extend these relationships to the level of dialgebraic and trialgebraic settings.
Definition 2.5.
A Hom-Jordan algebra is a triple consisting of a vector space and two linear maps and such that, for any
(2.4) | ||||
(2.5) |
Definition 2.6.
A representation (or a module) of a Hom-Jordan algebra on a vector space with respect to is a linear map such that for any
(2.6) | ||||
(2.7) | ||||
(2.8) |
A Hom-Jordan algebra with a representation is called HJor-Rep pair and refer to it with the pair .
Definition 2.7.
A Hom-Lie algebra is a triple consisting of a vector space and two linear maps and such that, for any
(2.9) |
Definition 2.8.
A representation (or a module) of a Hom-Lie algebra on a vector space , with respect to , is a linear map , such that for all , the following identities are satisfied:
(2.10) | ||||
(2.11) |
A Hom-Lie algebra with a representation is called HLie-Rep pair and refer to it with the pair . Let and be two Hom-Lie algebras. We will say that acts on if there is a linear map such that is a module of , and for any and we have
(2.12) |
A HLie-Act pair is a Hom-Lie algebra with an action and refer to it with the pair .
Lemma 2.9.
The tuple is an action of a Hom-Lie algebra if and only if carries a Hom-Lie structure with bracket and twisting map given by
for all and which is called the semi-direct product of with .
Definition 2.10.
A Hom-Leibniz algebra is a tuple consisting of a vector space endowed with a two linear maps and such that for any
(2.13) |
A Hom-dialgebra is a vector space with two bilinear operations , called the left and right products and a linear map . On the other hand, a Hom--dialgebra is a Hom-dialgebra satisfying the left and right bar identities:
(2.14) |
Let be a Hom--dialgebra. Define the left, right and inner Hom-associators as follow
In addition, define, for all the dicommutator by
(2.15) |
and the anti-dicommutator by
(2.16) |
Definition 2.11.
A Hom-associative dialgebra (also called Hom-diassociative algebra) is a Hom--dialgebra satisfying left, right and inner Hom-associativity (for all ):
(2.17) |
Let and be two Hom-associative dialgebras. A morphism of Hom-associative dialgebras from to is a linear map satisfying
Examples 2.12.
We give the following examples:
-
1.
If is a Hom-associative algebra, then the formulas define a structure of Hom-associative dialgebra on .
-
2.
Let be a Hom-associative algebra and be a differential (that is and ). Define left and right products on by the formulas
It is immediate to check that equipped with these two products is a Hom-associative dialgebra.
-
3.
Let be a Hom-associative algebra and let be an -bimodule. Let be an -bimodule map, that is
Then one can put a dialgebra structure on as follows:
-
4.
Let be a Hom-associative dialgebra. Then the operations and define a new Hom-associative dialgebra structure on .
Proposition 2.13.
If is a Hom-associative dialgebra, then is a Hom-Leibniz algebra.
In the following, we recall the notion of Jordan dialgebras and Jordan trialgebras which are obtained by duplicating and triplicating of Jordan algebra. Such algebras are investigated in [16]. Note that a Jordan dialgebra is also named a Leibniz-Jordan algebra since it is related to a Jordan algebra in the same way as Leibniz algebras relate to Lie algebras.
Definition 2.14.
A (left) Jordan dialgebra is a vector space equipped with a binary operation satisfying
(2.18) | ||||
(2.19) | ||||
(2.20) |
for any , where and .
These equations are equivalent to the following polynomial identities:
3 Duplications via relative averaging operators
Let be a variety of algebras over with a single bilinear operation denoted by . In this section, we investigate relative averaging operators on Hom- algebras to obtain Hom-di- algebras and present some basic observations. Especially, we will treat the cases of Hom-Lie, Hom-associative and Hom-Jordan algebras. We will treat each case separately. Let be a Hom- algebra and be a linear map. Then is called an averaging operator if it satisfies the following conditions:
(3.1) | |||
(3.2) |
The notion of Nijenhuis operators plays a crucial role in our study. Recall that a linear map is said to be a Nijenhuis operator on the Hom- algebra if for all
3.1 The Hom-associative case
In what follows, we introduce the notion of a relative averaging operator on a Hom-associative algebra with respect to a bimodule. Let be a HAss-Rep pair as defined in Definition 2.2.
Definition 3.1.
A linear map is called
-
1.
left relative averaging operator on with respect to if
(3.3) -
2.
right relative averaging operator on with respect to if
(3.4) -
3.
relative averaging operator on with respect to if it’s both left and right relative averaging operator.
We give the following examples:
Example 3.2.
Let be a Hom-associative algebra. Then the tensor product can be equipped with an -bimodule structure with the left and right -actions respectively given by
Consider the map given by , for . For any , we have
This shows that is a relative averaging operator.
Example 3.3.
Let be a Hom-associative algebra. Then the space is an -bimodule where the left (resp. right) -action is given componentwise left (resp. right) multiplication map and the morphism is given by
Then it is easy to see that the map
is a relative averaging operator.
Example 3.4.
Let be a HAss-Rep pair. Let be an -bimodule map (defined in Example 2.12, item 3). Then it is easy to see that is a relative averaging operator.
Define on the direct sum the mutiplications and the linear map by
(3.5) | |||||
(3.6) | |||||
(3.7) |
We first prove the following result.
Proposition 3.5.
With the above notations is a Hom-associative dialgebra, called hemisemi-direct product Hom-associative dialgebra and denoted by .
Proof.
For any and we have
and
Then, is a Hom--dialgebra. Similarly, we can check (2.17). Thus is a Hom-associative dialgebra.
In the following, we give a characterization of a relative averaging operator in terms of graphs.
Theorem 3.6.
Let be a HAss-Rep pair. A linear map is a relative averaging operator on the Hom-associative algebra if and only if the graph is a subalgebra of the hemisemi-direct product .
Proof.
Let be a linear map. For all , we have
Therefore, the graph is a subalgebra of the hemisemi-direct product if and only if satisfies , wich implies that is a relative averaging operator on Hom-associative algebra with respect to the representation .
We have the following proposition whose proof is straightforward.
Proposition 3.7.
Let be a HAss-Rep pair. A linear map is a relative averaging operator on over if and only if the map
is a Nijenhuis operator on the hemisemi-direct product .
Note that an averaging operator on a Hom-associative algebra can be regarded as a relative averaging operator on the adjoint -bimodule . In the next result, we show that a relative averaging operator induces an averaging operator.
Proposition 3.8.
Let be a HAss-Rep pair and let be a relative averaging operator on over the algebra . Then is a left relative averaging operator (respectively right relative averaging operator) on the Hom-associative algebra , (respectively on ) .
Proof.
According to Proposition 3.5, we have each of and is Hom-associative. For any and , we have
On the other hand, we have
Thus, is a left relative averaging operator on the Hom-associative algebra . Similarly, is a right relative averaging operator on the Hom-associative algebra .
Theorem 3.9.
Let be a relative averaging operator on a HAss-Rep pair . Then there exists a Hom-associative dialgebra structure on given by
(3.8) |
Proof.
First we begin by showing that and are Hom-associative algebras, let we have
and
Similarly, one can check the other axioms of Definition 2.11. Thus is a Hom-associative dialgebra.
For the case of Lie algebras, a relative averaging operator is also named an embedding tensor. In this paper, we use the name "relative averaging operator" to unify nomination for all algebraic structures treated here. The notion of relative averaging operator (an embedding tensor) on a Lie algebra was introduced in [32]. A generalization of this notion on Hom-setting was introduced in [9]. In what follow we recall some results. Let be a HLie-Rep pair.
Definition 3.10.
A linear map is called a relative averaging operator on HLie-Rep pair if and
(3.9) |
Let be a HLie-Rep pair. On the direct sum vector space , define the two maps and by
(3.10) | |||||
(3.11) |
Proposition 3.11.
With the above notations, is Hom-Leibniz algebra, called hemisemi-direct product Hom-Leibniz algebra and denoted by .
Theorem 3.12.
Let be a HLie-Rep pair. A linear map is a relative averaging operator on the Hom-Lie algebra if and only if the graph is a Hom-Leibniz subalgebra of the hemisemi-direct product .
Proposition 3.13.
Let be a HLie-Rep pair. A linear map is a relative averaging operator on over if and only if the map
is a Nijenhuis operator on the hemisemi-direct product .
Similarly as for Hom-associative algebras (Proposition 3.8), a relative averaging operator induces an averaging operator. We will not write the result to avoid repetition.
Theorem 3.14.
Let be a relative averaging operator on a HLie-Rep pair algebra with respect to the representation , then is a Hom-Leibniz algebra, where
We have the following commuting diagram
3.2 The case of Hom-Jordan
In this section, we introduce a generalization of Jordan dialgebra by twisting their identities. We show that this generalization fits with Hom-associative algebras. We begin by introducing Hom-Jordan dialgebras.
Definition 3.15.
A (left) Hom-Jordan dialgebra is a vector space equipped with a binary operation and a linear map satisfying
(3.12) | ||||
(3.13) | ||||
(3.14) |
When the twisting map is the identity map, we recover the classical notion of Jordan dialgebra.
Remark 3.16.
Let be a HJor-Rep pair.
Definition 3.17.
A linear map is called a relative averaging operator on with respect to if and
(3.17) |
On the direct sum vector space , define the two maps and by
(3.18) | |||||
(3.19) |
Proposition 3.18.
With the above notations, is Hom-Jordan dialgebra.
This Hom-Jordan dialgebra is called the hemisemi-direct product Hom-Jordan dialgebra and denoted by .
Proof.
Theorem 3.19.
Let be a HJor-Rep pair. A linear map is a relative averaging operator on the Hom-Jordan algebra if and only if the graph is a Hom-Jordan subdialgebra of the hemisemi-direct product .
The proof is straightforward.
Proposition 3.20.
Let be a HJor-Rep pair. A linear map is a relative averaging operator on over if and only if the map
is a Nijenhuis operator on the hemisemi-direct product .
Theorem 3.21.
Let be a relative averaging operator on the Hom-Jordan algebra with respect to the module . Then is a Hom-Jordan dialgebra, where
Proof.
Let , since is commutative then we have
Definition 3.22.
Let and be two Hom-Jordan dialgebras. A linear map is called a morphism of Hom-Jordan dialgebras if it’s satisfying, for all ,
The following theorem gives a procedure to construct a Hom-Jordan dialgebras using Hom-Jordan dialgebras and their algebra endomorphisms.
Theorem 3.23.
Let be a Hom-Jordan dialgebra and be a morphism then
is also a Hom-Jordan dialgebra.
Corollary 3.24.
Let be a Jordan dialgebra and be an algebra endomorphism. Then , where , is a Hom-Jordan dialgebra.
Theorem 3.25.
Let be a relative averaging operator on a Hom-associative algebra with respect to an -bimodule . Then is a relative averaging operator on the associated Hom-Jordan algebra , where , with respect to an -module .
Moreover, if is the Hom-associative dialgebra associated to the Hom-associative algebra . Then the anti-dicommutator defined in Eq. (2.16) makes into a Hom-Jordan dialgebra.
Proof.
For any , we have
Then is a relative averaging operator on the Hom-Jordan algebra .
Thus, we have the following diagram
4 Triplications via homomorphic relative averaging operator
In this section, we introduce the notion of a homomorphic relative averaging operator on a Hom-algebra which allows the replicating of the multiplication into three multiplications of the same nature. But notice that homomorphic relative averaging operators do not generalize averaging operators as in the case of relative Rota-Baxter operators. On the other hand, in [30], the authors introduce a weighted version of relative averaging operator called non-abelian embedding tensor. These operators give rise to other algebraic structures such as Lie-Leibniz algebras from Lie algebras. A homomorphic relative averaging operator on a Lie algebra induces a triLeibniz algebra.
4.1 Homomorphic relative averaging operator
Definition 4.1.
Let be a HAss-Act pair. A linear map is called a homomorphic relative averaging operator, if it is a relative averaging operator and for any ,
(4.1) |
Example 4.2.
Let be a Hom-associative algebra. Note that the space can be given a Hom-associative algebra structure with the multiplication given by the componentwise multiplication of , and the twisting map given by
. The space is a Hom-associative -bimodule with the left and right -actions on are respectively given by
(4.2) |
for and . Then for any , the -th projection map is a homomorphic relative averaging operator.
Example 4.3.
A crossed module of Hom-associative algebras is a quadruple in which is a Hom-associative algebra, is an action and is a morphism of Hom-associative algebra, where
for all Thus, is a homomorphic relative averaging operator of the Hom-associative algebra .
Recall that, an -operator of weight is a linear map satisfying , and for any ,
(4.3) |
Lemma 4.4.
Let be a homomorphic relative averaging operator on a HAss-Act pair . Then the linear operator is an -operator of weight on .
Proof.
Let , we have
Thus, is an -operator of weight on .
Definition 4.5.
A Hom-associative trialgebra (also called Hom-associative trialgebra) is a vector space that comes equipped with three binary operations, (left), (right), (middle), and a linear map , where is a Hom-associative dialgebra, is a Hom-associative algebra and for all :
(4.4) | ||||
(4.5) | ||||
(4.6) | ||||
(4.7) | ||||
(4.8) |
When the twisting map is the identity map, we recover the classical notion of associative trialgebras.
Let and be a two Hom-triassociative algebras, a morphism of Hom-associative trialgebras is a morphism of Hom-associative dialgebra satisfying, for all
Remark 4.6.
If is a Hom-associative dialgebra, then is a Hom-associative trialgebra.
Theorem 4.7.
Let be a Hom-associative trialgebra and be a morphism, then
is also a Hom-associative trialgebra. Moreover, if is multiplicative, then so is .
Corollary 4.8.
Let be an associative trialgebra and be an algebra endomorphism. Then is a Hom-associative trialgebra, where
Now we give an example.
Example 4.9.
Let be a basis of a -dimensional vector space over . In [20] the author shows that the following products and define an associative trialgebra over .
We construct a twisting map on as follows
where and are parameters in . Then according to Corollary 4.8, is a Hom-associative trialgebra, where
Let be a HAss-Act pair. Define on the direct sum the mutiplications and , and the map by
(4.9) | |||||
(4.10) | |||||
(4.11) | |||||
(4.12) |
In the following, we give a characterization of a homomorphic relative averaging operator in terms of the graph of the operator. We first prove the following result.
Proposition 4.10.
With the above notations is a Hom-associative trialgebra, called hemisemi-direct product Hom-associative trialgebra and denoted by .
Proof.
We have the following theorem whose proof is similar to the proof of Theorem 3.6.
Theorem 4.11.
Let be a HAss-Act pair. A linear map is a homomorphic relative averaging operator on the Hom-associative algebra if and only if the graph is a Hom-triassociative subalgebra of the hemisemi-direct product Hom-associative trialgebra .
Proposition 4.12.
Let be a HAss-Act pair. A linear map is a homomorphic relative averaging operator on over if and only if the map
is a Nijenhuis operator on the hemisemi-direct product .
Theorem 4.13.
Let be a homomorphic relative averaging operator on the HAss-Act pair . Then the following operations make into a Hom-associative trialgebra:
Proof.
Proposition 4.14.
Let be a Hom-associative trialgebra, then the following operations make into a Hom-tridendriform algebra
For the definition of Hom-tridendriform algebra, see [22].
4.2 From Hom-associative trialgebras to Hom-triLeibniz algebras
In the following, we introduce the notion of homomorphic relative averaging operator on Hom-Lie algebra with a given action.
Definition 4.15.
A linear map is called a homomorphic relative averaging operator on the HLie-Act pair if it’s a relative averaging operator and a morphism, that is
(4.13) |
In [27] the authors give the definition of (right) Leibniz trialgebra, next we will introduce the notion of left Hom-Leibniz trialgebra.
Definition 4.16.
A left Hom-Leibniz trialgebra is a quadruple consisting of a Hom-Lie algebra and a Hom-Leibniz algbra such that, for any
(4.14) | |||
(4.15) |
Remark 4.17.
If we have then is a right Hom-Leibniz trialgebra.
On the direct sum vector space , define the two bilinear maps and and the linear map by
(4.16) | |||||
(4.17) | |||||
(4.18) |
Proposition 4.18.
With the above notations, is a Hom-Leibniz trialgebra, called hemisemi-direct product Hom-Leibniz trialgebra and denoted by .
Proof.
Theorem 4.19.
Let be a HLie-Act pair. A linear map is a homomorphic relative averaging operator on the Hom-Lie algebra if and only if the graph is a Hom-Leibniz subtrialgebra of the hemisemi-direct product Hom-Leibniz trialgebra .
Proof.
Similar to Theorem 3.12.
Proposition 4.20.
Let be a HLie-Act pair. A linear map is a homomorphic relative averaging operator on over if and only if the map
is a Nijenhuis operator on the hemisemi-direct product .
Theorem 4.21.
Let be a Hom-associative trialgebra. Define new binary operations
Then, is a Hom-Leibniz trialgebra.
Proof.
Since is a Hom-associative trialgebra, then is a Hom-associative dialgebra. Thus, according to Remark 2.13 is a Hom-Leibniz algebra.
Moreover, we have the following commuting diagram.
Example 4.22.
Theorem 4.23.
Let be a homomorphic relative averaging operator on the HLie-Act pair . Then is a Hom-triLeibniz algebra, where
4.3 Construction of Hom-Jordan trialgebras
In the following, we introduce the notion of an action of Hom-Jordan algebra on a vector space .
Definition 4.24.
An action of a Hom-Jordan algebra on a Hom-Jordan algebra is a representation of such that for any
(4.19) | ||||
(4.20) | ||||
(4.21) | ||||
(4.22) |
We denote it by .
A HJor-Act pair is a Hom-Jordan algebra with an action and refer to it with the pair .
Proposition 4.25.
Note that a tuple is an action of a Hom-Jordan algebra if and only carries a Hom-Jordan algebra structure with product and twisting map given by
for all and which is called the semi-direct product of with .
In [1], the authors introduce the notion of (right) Jordan trialgebra which is triple where is a Jordan algebra and is a Jordan dialgebra, satisfying polynomial identities. Next, we give the definition of left Hom-Jordan trialgebra as a generalization of left Jordan dialgebras.
Definition 4.26.
A Hom-Jordan trialgebra is a vector space with two bilinear operations and a linear map , where is a Hom-Jordan algebra and is a Hom-Jordan dialgebra, satisfying the following identities:
(4.23) | ||||
(4.24) | ||||
(4.25) | ||||
(4.26) |
When the twisting map is the identity map, we recover the classical notion of Jordan trialgebra.
Definition 4.27.
Let be a HJor-Act pair. A linear map is called a homomorphic relative averaging operator on with respect to if it’s a relative averaging operator and a morphism, that is
(4.27) |
Proposition 4.28.
Let be a HJor-Act pair. Then is Hom-Jordan trialgebra, called hemisemi-direct product Hom-Jordan trialgebra and denoted by , where
Proof.
In the following result, we characterize homomorphic relative averaging operator on Hom-Jordan algebras by their graphs.
Theorem 4.29.
Let be a HJor-Act pair, a linear map is a homomorphic relative averaging operator on the Hom-Jordan algebra if and only if the graph is a Hom-Jordan subtrialgebra of the hemisemi-direct product Hom-Jordan trialgebra algebra .
Proof.
Let be a linear map. For any we have
Therefore, the graph is a subalgebra of the hemisemi-direct product if and only if satisfies , wich implies that is a homomorphic relative averaging operator on HJor-Act pair .
Proposition 4.30.
Let be a HJor-Act pair. A linear map is a homomorphic relative averaging operator on over if and only if the map
is a Nijenhuis operator on the hemisemi-direct product .
Theorem 4.31.
Let be a homomorphic relative averaging operator on the HJor-Act pair . Then is a Hom-Jordan trialgebra, where
(4.28) |
Proof.
According to Theorem 3.25, we have the following result
Theorem 4.32.
Let be a homomorphic relative averaging operator on a HAss-Act pair . Then is a homomorphic relative averaging operator on the associated Hom-Jordan algebra , with respect to an action .
Moreover, if is the Hom-associative trialgebra associated to the Hom-associative algebra . Then is a Hom-Jordan trialgebra, where is the anti-dicommutator defined in Eq. (2.16).
More generally, we have the following diagram which summarize and extend the admissibility of Hom-Lie and Hom-Jordan algebras in the level of Hom-dialgebras and Hom-trialgebras.
References
- [1] F. Bagherzadeh, M. Bremner, S. Madariaga, Jordan trialgebras and post-Jordan algebras, Journal of Algebra, 486 (2017), 360–395
- [2] C. Bai, O. Bellier, L. Guo and X. Ni, Splitting of operations, Manin products and Rota-Baxter operators, Int. Math. Res. Not. 2013, no. 3 (2013), 485-524.
- [3] E. A. Bergshoeff, M. de Roo and O. Hohm, Multiple M2-branes and the embedding tensor. Classical Quantum Gravity 25 (2008), 142001, 10 pp.
- [4] G. Birkhoff, Moyennes de fonctions bornées, Coil. Internat. Centre Nat. Recherthe Sci. (Paris), Algébre Théforie Nombres 24 (1949), 149-153.
- [5] R. Bonezzi and O. Hohm, Leibniz gauge theories and infinity structures, Commun. Math. Phys. 377 (2020), 2027-2077.
- [6] B. Brainerd, On the structure of averaging operators, J. Math. Anal. 5 (1962), 347-377.
- [7] W. Cao, An algebraic study of averaging operators, Ph.D. Thesis, Rutgers University at Newark (2000).
- [8] A. Das, Controlling structures, deformations and homotopy theory for averaging algebras. arXiv preprint arXiv:2303.17798. (2023).
- [9] A. Das, A. Makhlouf, (2023). Embedding tensors on Hom-Lie algebras. arXiv preprint arXiv:2304.04178.
- [10] A. Das and R. Mandal, Averaging algebras of any nonzero weight. arXiv preprint arXiv:2304.12593.(2023).
- [11] J. J. Fernandez-Melgarejo, T. Ortin and E. Torrente-Lujan, Maximal nine dimensional supergravity, general gaugings and the embedding tensor. Fortschr. Phys. 60 (2012), 1012-1018
- [12] J. L. B. Gamlen and J.B. Miller, Averaging operators and Reynolds operators on Banach algebras II. spectral properties of averaging operators, J. Math. Anal. Appl 23 (1968), 183-197.
- [13] J. T. Hartwig, D. Larsson, and S.D. Silvestrov, Deformations of Lie algebras using -derivations, J. Algebra 295 (2006) 314–361.
- [14] J. Kampé de Fériet, L’etat actuel du probléme de la turbulaence (I and II), La Sci. Aérienne 3 (1934) 9-34, 4 (1935), 12-52.
- [15] J. L. Kelly, Averaging operators on , Illinois J. Math. 2 (1958), 214-223.
- [16] P. S. Kolesnikov, (2008). Varieties of dialgebras and conformal algebras. Siberian Mathematical Journal, 49(2), 257-272.
- [17] A. Kotov and T. Strobl, The embedding tensor, Leibniz-Loday algebras, and their higher gauge theories. Comm. Math. Phys. 376 (2020), 235-258.
- [18] D. Larsson and S. D. Silvestrov, Quasi-Hom-Lie algebras, Central Extensions and 2-cocycle-like identities. J. of Algebra, 288 (2005), 321–344.
- [19] S. Lavau, Tensor hierarchies and Leibniz algebras. J. Geom. Phys. 144 (2019), 147-189.
- [20] E. Mainellis, (2022). Classification of Low-dimensional Complex triassociative algebras. arXiv preprint arXiv:2209.04351.
- [21] A. Makhlouf, Hom-alternative algebras and Hom-Jordan algebras, arXiv: 0909.0326.
- [22] A. Makhlouf, (2012). Hom-dendriform algebras and Rota-Baxter Hom-algebras. In Operads and Universal Algebra (pp. 147-171).
- [23] A. Makhlouf and S. Silvestrov, Hom-algebra structures, J. Gen. Lie Theory Appl. 2 (2008) 51–64.
- [24] J. B. Miller, Averaging and Reynolds operators on Banach algebra I, Representation by derivation and antiderivations, J. Math. Anal. Appl. 14 (1966), 527-548.
- [25] S.-T. C. Moy, Characterizations of conditional expectation as a transformation on function spaces, Pacific J. Math. 4 (1954), 47-63.
- [26] H. Nicolai and H. Samtleben, Maximal gauged supergravity in three dimensions. Phys. Rev. Lett. 86 (2001), 1686-1689.
- [27] J. Pei, C. Bai, L. Guo and X. Ni, Replicators, Manin white product of binary operads and average operators, New Trends in Algebras and Combinatorics, pp. 317-353 (2020).
- [28] J. Pei, C. Bai, L. Guo and X. Ni, Disuccessors and duplicators of operads, Manin products and operators, In “Symmetries and Groups in Contemporary Physics”, Nankai Series in Pure, Applied Mathematics and Theoretical Physics 11 (2013), 191-196.
- [29] J. Pei and L. Guo, Averaging algebras, Schröder numbers, rooted trees and operads, J. Algebr. Comb. 42 (2015), 73-109.
- [30] Y. Sheng, R. Tang (2023). Nonabelian embedding tensors. Letters in Mathematical Physics, 113(1), 14.
- [31] O. Reynolds, On the dynamic theory of incompressible viscous fluids, Phil. Trans. Roy. Soc. A 136 (1895), 123-164.
- [32] Y. Sheng, R. Tang and C. Zhu, The controlling -algebra, cohomology and homotopy of embedding tensors and Lie-Leibniz triples, Commun. Math. Phys. 386 (2021), 269-304.
- [33] T. Strobl, Leibniz-Yang-Mills gauge theories and the -Higgs mechanism, Phys. Rev. D 99 (2019), 115026.
- [34] D. Yau, Hom-Maltsev, Hom-alternative and Hom-Jordan algebras. International Electronic Journal of algebras, 11 (2012), 177–217.