Advances in Mathematical Physics
Volume 2018 (2018), Article ID 8417516, 8 pages
https://doi.org/10.1155/2018/8417516

Research Article

Equivalent Description of Hom-Lie Algebroids

Zhen Xiong

Department of Mathematics and Computer, Yichun University, Jiangxi 336000, China

Correspondence should be addressed to Zhen Xiong; 205137@jxycu.edu.cn

Received 4 July 2018; Accepted 4 September 2018; Published 19 September 2018

Academic Editor: Sergey Shmarev

Copyright © 2018 Zhen Xiong. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We study representations of Hom-Lie algebroids, give some properties of Hom-Lie algebroids, and discuss equivalent statements of Hom-Lie algebroids. Then, we prove that two known definitions of Hom-Lie algebroids can be transformed into each other under some conditions.

1. Introduction

The notion of Hom-Lie algebras was introduced by Hartwig, Larsson, and Silvestrov in [1] as a part of a study of deformations of the Witt and the Virasoro algebras. In a Hom-Lie algebra, the Jacobi identity is twisted by a linear map, called the Hom-Jacobi identity. Some -deformations of the Witt and the Virasoro algebras have the structure of a Hom-Lie algebra [1, 2]. Because of close relations to discrete and deformed vector fields and differential calculus [1, 3, 4], more people pay special attention to this algebraic structure. For a party of -cochains on Hom-Lie algebras, called -Hom-cochains, there is a series of coboundary operators [5]; for regular Hom-Lie algebras, [6] gives a new coboundary operator on -cochains, and there are many works have been done by the special coboundary operator [6, 7]. In [8], there is a series of coboundary operators, and the author generalizes the result “If is a Lie algebra, is a representation if and only if there is a degree- operator on satisfying , and

where is the coboundary operator associated with the trivial representation.”

Geometric generalizations of Hom-Lie algebras are given in [7, 9]. In [9], C. Laurent-Gengoux and J. Teles proved that there is a one-to-one correspondence between Hom-Gerstenhaber algebras and Hom-Lie algebroids; in [10], based on Hom-Lie algebroids from [9], the authors study representation of Hom-Lie algebroids. In [7], the authors make small modifications to the definition of Hom-Lie algebroids and give a new definition of Hom-Lie algebroids; based on the new definition of Hom-Lie algebroids, definitions of Hom-Lie bialgebroids and Hom-Courant algebroids are given.

In this article, we first study representations of Hom-Lie algebroids, give equivalent statements of Hom-Lie algebroids, and prove that different definitions of Hom-Lie algebroids are given by the same Hom-Lie algebras and their representations.

The paper is organized as follows. In Section 2, we recall some basic notions. In Section 3, first, we study representations of Hom-Lie algebroids and give some properties of Hom-Lie algebroids. Then, we prove that two known definitions of Hom-Lie algebroids can be transformed into each other (Theorem 7, Theorem 8).

2. Preliminaries

2.1. Hom-Lie Algebras and Their Representations

The notion of a Hom-Lie algebra was introduced in [1]; see also [11, 12] for more information.

Definition 1. A Hom-Lie algebra is a triple consisting of a vector space , a skew-symmetric bilinear map (bracket) and a linear transformation satisfying , and the following Hom-Jacobi identity:

A Hom-Lie algebra is called a regular Hom-Lie algebra if is a linear automorphism.
A subspace is a Hom-Lie subalgebra of if and is closed under the bracket operation , i.e., for all , .
A morphism from the Hom-Lie algebra to the Hom-Lie algebra is a linear map such that and .

Representation and cohomology theories of Hom-Lie algebra are systematically introduced in [13, 14]. See [15] for homology theories of Hom-Lie algebras.

Definition 2. A representation of the Hom-Lie algebra on a vector space with respect to is a linear map , such that, for all , the following equalities are satisfied:

Let be a Hom-Lie algebra, be a vector space, and be a representation of on the vector space with respect to .

The set of -cochains on with values in , which we denote by , is the set of skew-symmetric -linear maps from (-times) to :

In [8], when , there is a series of operators which is given by

where is the inverse of , , and the authors have the results: .

2.2. Hom-Lie Algebroids

Now, we introduce two kinds of definitions of Hom-Lie algebroids; they are from [7, 9]. For more about Hom-Lie algebroids, please see [7, 9].

Definition 3 (see [9]). A Hom-Lie algebroid is a quintuple , where is a vector bundle over a manifold is a smooth map, is a bilinear map, called bracket, is a vector bundle morphism, called anchor, and is a linear endomorphism of , for such that

(1);(2)the triple is a Hom-Lie algebra;(3)the following Hom-Leibniz identity holds:

(4) is a representation of Hom-Lie algebra on with respect to .

In fact, according to Definition 3, for , we have the following properties:

(a);(b), defined by is a morphism of ;(c). According to in Definition,

 where is defined in Definition 3.1 of [9];(d), when , then , and Hom-Lie algebroid is just a Lie algebroid;(e). It follows from

Definition 4 (see [7]). A Hom-Lie algebroid is a quintuple , where is a vector bundle over a manifold is a smooth map, is a bilinear map, called bracket, is a bundle map, called anchor, and is a linear endomorphism of , for such that

(1);(2)the triple is a Hom-Lie algebra;(3)the following Hom-Leibniz identity holds:

(4) is a representation of Hom-Lie algebra on with respect to .

From Definition 4, for , we have

(a);(b), defined by is a morphism of ;(c);(d);(e).

When and are invertible, Hom-Lie bialgebroids and Hom-Courant algebroids are given in [7].

3. Representations of Hom-Lie Algebroids

In this section, we assume that map is involution; i.e., .

Let be a Hom-Lie algebroid, whence is a representation of on , where is or . We define , , by setting

where ,

We define map by

When , we have .

Let . Then, is a subset of . Let acts on , we have

Actually, when , for , we have

so , and we have

Let and ; we have that is a subset of . So, if , we have .

At the same time, can induce a map , which is defined by

Then, we have

Proposition 5. With above notations, for , , we have

Proof. First let , ; we have

So, when , we have

By induction on , assume that when , we have

For any , then ; we have

The proof is completed.

Proposition 6. With above notations, we have

Proof. With straightforward computations, for any , we have

At the same time, we have

We complete this proof.

Now, we revisited representations of Hom-Lie algebroids, respectively, based on Definitions 3 and 4.

Theorem 7. Let be a vector bundle over manifold is a smooth map and , and is a linear endomorphism of , i.e., for . Then is a Hom-Lie algebriod defined by Definition 3 if and only if there is a series of operators , such that

(i);(ii)for any , we have

(iii); ;(iv)for , we have: ;(v)for , we have

Proof. For necessity, with above propositions which we proved, we just need to prove (iv) and (v). For Hom-Lie algebriod and , by the definition of , we have

For , we have

So, we proved the necessity of this theorem. Now, we prove the adequacy of this theorem.
Sept 1, we define by

Then, by (iv), for , , we have

On the other hand, we have

By (ii), for , we have

Then, we have

The definition of is reasonable.
By (iii), we have

We find the result:

Sept 2, for any , we define by

So, by (36), we have

By , (35), (iii), and (36), we have

We have the following:

For any , by (i), (29), and (36), we have

We get

Sept 3, by (36), (30), (33), and (v), we have

So, for , we have

Sept 4, by (iii), we have

For , by (ii), we have

By (36),

Then, for any , we have

Sept 5, for , by (36), (42), and (i), we have

So, we have

By (39) and (50), is a Hom-Lie algebra.
By (44), we have .
By (35) and (42), is a representation of Hom-Lie algebra on with respect to .
The proof is completed.

Theorem 8. Let be a vector bundle over manifold is a smooth map and , and is a linear endomorphism of , i.e., for , , . Then is a Hom-Lie algebriod define by Definition 4 if and only if there is a series of operators , such that

(1);(2)for any , we have

(3); ;(4)for , we have ;(5)for , we have

Proof. For necessity, with above Propositions which we proved, we just need to prove and .
For Hom-Lie algebriod and , by the definition of , we have

For Hom-Lie algebriod and , we have

So, we proved the necessity of this theorem. The sufficiency of this theorem is similar to Theorem 7.

Remark 9. (i) For is a vector bundle over , we hope that we are able to get a pull-back diagram:

So, we assume that .
(ii) For given Hom-Lie algebriod , we have operators , then, by operators , we can get the other definitions of Hom-Lie algebriod.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This study is supported by the NSF of China (no. 11771382) and the Science and Technology Project (GJJ161029) of Department of Education, Jiangxi Province.

References

J. T. Hartwig, D. Larsson, and S. D. Silvestrov, “Deformations of Lie algebras using σ-derivations,” Journal of Algebra, vol. 295, no. 2, pp. 314–361, 2006.

N. Hu, “q-Witt algebras, q-Lie algebras, q-holomorph structure and representations,” Algebra Colloquium, vol. 6, no. 1, pp. 51–70, 1999.

D. Larsson and S. D. Silvestrov, “Quasi-hom-Lie algebras, central extensions and 2-cocycle-like identities,” Journal of Algebra, vol. 288, no. 2, pp. 321–344, 2005.

D. Larsson and S. D. Silvestrov, “Quasi-Lie algebras,” in Noncommutative Geometry and Representation Theory in Mathematical Physics, vol. 391, pp. 241–248, American Mathematical Society, Providence, RI, USA, 2005.

Y. Sheng and Z. Xiong, “On Hom-Lie algebras,” Linear and Multilinear Algebra, vol. 63, no. 12, pp. 2379–2395, 2015.

L. Cai and Y. Sheng, “Hom-Big Brackets: Theory and Applications,” Symmetry, Integrability and Geometry: Methods and Applications, 2016.

L. Cai, J. Liu, and Y. Sheng, “HOM-LIE algebroids, HOM-LIE bialgebroids and HOM-Courant algebroids,” Journal of Geometry and Physics, vol. 121, pp. 15–32, 2017.

Z. Xiong, “A complement on representations of Hom-Lie algebras,” Advances in Mathematics (China), In press.

C. Laurent-Gengoux and J. Teles, “Hom-Lie algebroids,” Journal of Geometry and Physics, vol. 68, pp. 69–75, 2013.

Q. Zhang, H. Yu, and C. Wang, “Hom-Lie algebroids and hom-left-symmetric algebroids,” Journal of Geometry and Physics, vol. 116, pp. 187–203, 2017.

S. Benayadi and A. Makhlouf, “Hom-Lie algebras with symmetric invariant nondegenerate bilinear forms,” Journal of Geometry and Physics, vol. 76, pp. 38–60, 2014.

A. Makhlouf and S. D. Silvestrov, “Hom-algebra structures,” Journal of Generalized Lie Theory and Applications, vol. 2, no. 2, pp. 51–64, 2008.

F. Ammar, A. Makhlouf, and S. Silvestrov, “Ternary q-Virasoro-Witt Hom-Nambu-Lie algebras,” Journal of Physics A: Mathematical and General, vol. 43, no. 26, 265204, 13 pages, 2010.

Y. Sheng, “Representations of hom-Lie algebras,” Algebras and Representation Theory, vol. 15, no. 6, pp. 1081–1098, 2012.

D. Yau, “Hom-algebras and homology,” Journal of Lie Theory, vol. 19, no. 2, pp. 409–421, 2009.