Next Article in Journal
Internet of Things: A Scientometric Review
Previous Article in Journal
A Study for Parametric Morphogeometric Operators to Assist the Detection of Keratoconus
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Cohomology Characterizations of Diagonal Non-Abelian Extensions of Regular Hom-Lie Algebras
 †

Department of Mathematics, Jilin University, Changchun 130012, China
*
Author to whom correspondence should be addressed.
Research supported by NSFC (11471139) and NSF of Jilin Province (20170101050JC).
Symmetry 2017, 9(12), 297; https://doi.org/10.3390/sym9120297
Submission received: 18 July 2017 / Revised: 29 November 2017 / Accepted: 29 November 2017 / Published: 5 December 2017

Abstract

:
In this paper, first we show that under the assumption of the center of h being zero, diagonal non-abelian extensions of a regular Hom-Lie algebra g by a regular Hom-Lie algebra h are in one-to-one correspondence with Hom-Lie algebra morphisms from g to Out ( h ) . Then for a general Hom-Lie algebra morphism from g to Out ( h ) , we construct a cohomology class as the obstruction of existence of a non-abelian extension that induces the given Hom-Lie algebra morphism.

1. Introduction

The notion of a Hom-Lie algebra was introduced by Hartwig, Larsson, and Silvestrov in [1] as 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. The set of ( σ , σ ) -derivations of an associative algebra and some q-deformations of the Witt and the Virasoro algebras have the structure of a Hom-Lie algebra [1,2,3]. Because of the close relation to discrete and deformed vector fields and differential calculus [1,4,5], more people have started paying attention to this algebraic structure. In particular, representations and deformations of Hom-Lie algebras are studied in [6,7,8]; extensions of Hom-Lie algebras are studied in [4,9,10]. Some split regular Hom-structures are studied in [11,12].
The notion of a Hom-Lie 2-algebra, which is the categorification of a Hom-Lie algebra, is given in [13]. The category of Hom-Lie 2-algebras and the category of 2-term H L -algebras are equivalent. Skeletal Hom-Lie 2-algebras can be classified by the third cohomology group of a Hom-Lie algebra. Many known Hom-structures, such as Hom-pre-Lie algebras and symplectic Hom-Lie algebras, lead to skeletal or strict Hom-Lie 2-algebras. In [14], we give the notion of a derivation of a regular Hom-Lie algebra ( g , [ · , · ] g , ϕ g ) . The set of derivations Der ( g ) is a Hom-Lie subalgebra of the regular Hom-Lie algebra ( gl ( g ) , [ · , · ] ϕ g , Ad ϕ g ) , which is given in [15]. We constructed the derivation Hom-Lie 2-algebra DER ( g ) , by which we characterize non-abelian extensions of regular Hom-Lie algebras as Hom-Lie 2-algebra morphisms. More precisely, we characterize a diagonal non-abelian extension of a regular Hom-Lie algebra g by a regular Hom-Lie algebra h using a Hom-Lie 2-algebra morphism from g to the derivation Hom-Lie 2-algebra DER ( h ) . Associated to a non-abelian extension of a regular Hom-Lie algebra g by a regular Hom-Lie algebra h , there is a Hom-Lie algebra morphism from g to Out ( h ) naturally. However, given an arbitrary Hom-Lie algebra morphism from g to Out ( h ) , whether there is a non-abelian extension of g by h that induces the given Hom-Lie algebra morphism and what the obstruction is are not known yet.
The aim of this paper is to solve the above problem. It turns out that the result is not totally parallel to the case of Lie algebras [16,17,18,19,20,21]. We need to add some conditions on the short exact sequence related to derivations of Hom-Lie algebras. Under these conditions, first we show that under the assumption of the center of h being zero, there is a one-to-one correspondence between diagonal non-abelian extensions of g by h and Hom-Lie algebra morphisms from g to Out ( h ) . Then for the general case, we show that the obstruction of the existence of a non-abelian extension is given by an element in the third cohomology group.
The paper is organized as follows. In Section 2, we recall some basic notions of Hom-Lie algebras, representations of Hom-Lie algebras, their cohomologies and derivations of Hom-Lie algebras. In Section 3, we study non-abelian extensions of g by h in the case that the center of h is zero. We show that if the center of h is zero and the short exact sequence related to derivations of Hom-Lie algebras is also diagonal, then diagonal non-abelian extensions of g by h correspond bijectively to Hom-Lie algebra morphisms from g to Out ( h ) (Theorem 2). In Section 4, we give a cohomology characterization of the existence of general non-abelian extensions of g by h . We show that the obstruction of the existence of a diagonal non-abelian extension of g by h that induces a given Hom-Lie algebra morphism from g to Out ( h ) is given by a cohomology class in H 3 ( g ; Cen ( h ) ) (Theorem 3). Moreover, isomorphism classes of diagonal non-abelian extensions of g by h are parameterized by H 2 ( g ; Cen ( h ) ) (Theorem 4). In Section 5, we give a conclusion of the paper.

2. Preliminaries

In this paper, we work over an algebraically closed field K of characteristic 0, and all the vector spaces are over K . We only work on finite-dimensional vector spaces.

2.1. Representations, Cohomologies and Derivations of Hom-Lie Algebras

Definition 1.
(i)
A (multiplicative) Hom-Lie algebra is a triple ( g , [ · , · ] g , ϕ g ) consisting of a vector space g , a skew-symmetric bilinear map (bracket) [ · , · ] g : 2 g g and a linear map ϕ g : g g preserving the bracket, such that the following Hom-Jacobi identity with respect to ϕ g is satisfied:
[ ϕ g ( x ) , [ y , z ] g ] g + [ ϕ g ( y ) , [ z , x ] g ] g + [ ϕ g ( z ) , [ x , y ] g ] g = 0
(ii)
A Hom-Lie algebra is called a regular Hom-Lie algebra if ϕ g is an algebra automorphism.
(iii)
The center Cen ( g ) of a regular Hom-Lie algebra ( g , [ · , · ] g , ϕ g ) is defined by
Cen ( g ) = { x g | [ x , y ] g = 0 , y g }
Remark 1.
The center of a Hom-Lie algebra ( g , [ · , · ] g , ϕ g ) (not necessarily regular) is usually defined by Equation (2); see [9] (Definition 2.13). However, for x Cen ( g ) , ϕ g ( x ) may not be in Cen ( g ) . This is a conflict with the definition of a subalgebra of a Hom-Lie algebra, for which one requires that the subspace is closed with respect to both [ · , · ] g and ϕ g . We note that for a regular Hom-Lie algebra, if x g is such that [ x , y ] = 0 for all y g , then ϕ g ( x ) also satisfies this property. This follows from
[ ϕ g ( x ) , y ] g = [ ϕ g ( x ) , ϕ g ϕ g 1 ( y ) ] g = ϕ g [ x , ϕ g 1 ( y ) ] g = 0 , y g
Thus, we suggest that for a general Hom-Lie algebra, one should define its center by
Cen ( g ) = { x g | [ ϕ g k ( x ) , y ] g = 0 , y g , k N }
In the sequel, we always assume that ϕ g is an algebra automorphism. That is, in this paper, all the Hom-Lie algebras are assumed to be regular Hom-Lie algebras despite that some results also hold for general Hom-Lie algebras.
Example 1.
Let V be a vector space and β G L ( V ) . Define a skew-symmetric bilinear bracket operation [ · , · ] β : 2 gl ( V ) gl ( V ) by
[ A , B ] β = β A β 1 B β 1 β B β 1 A β 1 , A , B gl ( V )
Denote by Ad β : gl ( V ) gl ( V ) the adjoint action on gl ( V ) , that is,
Ad β ( A ) = β A β 1
Then ( gl ( V ) , [ · , · ] β , Ad β ) is a regular Hom-Lie algebra. See [15] for more details.
Definition 2.
A morphism of Hom-Lie algebras f : ( g , [ · , · ] g , ϕ g ) ( h , [ · , · ] h , ϕ h ) is a linear map f : g h such that
f [ x , y ] g = [ f ( x ) , f ( y ) ] h , x , y g
f ϕ g = ϕ h f
Definition 3.
A representation of a Hom-Lie algebra ( g , [ · , · ] g , ϕ g ) on a vector space V with respect to β gl ( V ) is a linear map ρ : g gl ( V ) such that for all x , y g , the following equalities are satisfied:
ρ ( ϕ g ( x ) ) β = β ρ ( x )
ρ ( [ x , y ] g ) β = ρ ( ϕ g ( x ) ) ρ ( y ) ρ ( ϕ g ( y ) ) ρ ( x )
We denote a representation by ( ρ , V , β ) .
Theorem 1
([15], (Theorem 4.2)). Let ( g , [ · , · ] g , ϕ g ) be a Hom-Lie algebra, V be a vector space, and β G L ( V ) . Then ρ : g gl ( V ) is a representation of ( g , [ · , · ] g , ϕ g ) on V with respect to β if and only if ρ : ( g , [ · , · ] g , ϕ g ) ( gl ( V ) , [ · , · ] β , Ad β ) is a morphism of Hom-Lie algebras.
For all x g , we define ad x : g g by
ad x ( y ) = [ x , y ] g , y g
Then ad : g gl ( g ) is a representation of the Hom-Lie algebra ( g , [ · , · ] g , ϕ g ) on g with respect to ϕ g , which is called the adjoint representation.
Let ( ρ , V , β ) be a representation. We define the set of k-Hom-cochains by
C ϕ g , β k ( g ; V ) = { f C k ( g ; V ) β ϕ g = ϕ g β k }
For k 1 , we define the coboundary operator d ρ : C ϕ g , β k ( g ; V ) C ϕ g , β k + 1 ( g ; V ) by
( d ρ f ) ( x 1 , , x k + 1 ) = i = 1 k + 1 ( 1 ) i + 1 ρ ( ϕ g k 1 ( x i ) ) ( f ( x 1 , , x i ^ , , x k + 1 ) ) + i < j ( 1 ) i + j f ( [ x i , x j ] g , ϕ g ( x 1 ) , , ϕ g ( x i ) ^ , , ϕ g ( x j ) ^ , , ϕ g ( x k + 1 ) )
where d ρ d ρ = 0 is proved in [8]. Denote by Z k ( g ; ρ ) and B k ( g ; ρ ) the sets of k-cocycles and k-coboundaries, respectively. We define the kth cohomology group H k ( g ; ρ ) to be Z k ( g ; ρ ) / B k ( g ; ρ ) . See also [6] for more details about such cochain and coboundary setups.
Definition 4
([14], (Definition 3.1)). A linear map D : g g is called a derivation of a Hom-Lie algebra ( g , [ · , · ] g , ϕ g ) if
D [ x , y ] g = [ ϕ g ( x ) , ( Ad ϕ g 1 D ) ( y ) ] g + [ ( Ad ϕ g 1 D ) ( x ) , ϕ g ( y ) ] g , x , y g
Denote by Der ( g ) the set of derivations of the Hom-Lie algebra ( g , [ · , · ] g , ϕ g ) . Then we obtain that ( Der ( g ) , [ · , · ] ϕ g , Ad ϕ g ) is a Hom-Lie algebra, which is a subalgebra of the Hom-Lie algebra ( gl ( g ) , [ · , · ] ϕ g , Ad ϕ g ) .
Remark 2.
The above definition of a derivation of a Hom-Lie algebra is more general than that given in [8]. Under the condition D ϕ g = ϕ g D , the above definition is the same as the α-derivation given in [8]. See Remark 3.2 in [14] for more details.
For all x g , ad x is a derivation of the Hom-Lie algebra ( g , [ · , · ] g , ϕ g ) , which we call an inner derivation. See [14] for more details. Denote by Inn ( g ) the set of inner derivations of the Hom-Lie algebra ( g , [ · , · ] g , ϕ g ) , that is,
Inn ( g ) = { ad x x g }
Lemma 1
([14], (Lemma 3.6)). Let ( g , [ · , · ] g , ϕ g ) be a Hom-Lie algebra. For all x g and D Der ( g ) , we have
Ad ϕ g ad x = ad ϕ g ( x ) , [ D , ad x ] ϕ g = ad D ( x )
Therefore, Inn ( g ) is an ideal of the Hom-Lie algebra ( Der ( g ) , [ · , · ] ϕ g , Ad ϕ g ) .
Denote by Out ( g ) the set of out derivations of the Hom-Lie algebra ( g , [ · , · ] g , ϕ g ) , that is,
Out ( g ) = Der ( g ) / Inn ( g )
We use π to denote the quotient map from Der ( g ) to Out ( g ) .

2.2. Non-Abelian Extensions of Hom-Lie Algebras

Definition 5.
A non-abelian extension of a Hom-Lie algebra ( g , [ · , · ] g , ϕ g ) by a Hom-Lie algebra ( h , [ · , · ] h , ϕ h ) is a commutative diagram with rows being short exact sequences of Hom-Lie algebra morphisms:
0 h ι g ^ p g 0 ϕ h ϕ h ϕ g ^ ϕ g ^ ϕ g ϕ g 0 h ι g ^ p g 0
where ( g ^ , [ · , · ] g ^ , ϕ g ^ ) is a Hom-Lie algebra.
We can regard h as a subspace of g ^ and ϕ g ^ | h = ϕ h . Thus, h is an invariant subspace of ϕ g ^ . We say that an extension is diagonal if g ^ has an invariant subspace X of ϕ g ^ such that h X = g ^ . In general, g ^ does not always have an invariant subspace X of ϕ g ^ such that h X = g ^ . For example, the matrix representation of ϕ g ^ is a Jordan block. We only study diagonal non-abelian extensions in the sequel.
Definition 6.
Two extensions of g by h , ( g ^ 1 , [ · , · ] g ^ 1 , ϕ g ^ 1 ) and ( g ^ 2 , [ · , · ] g ^ 2 , ϕ g ^ 2 ) are said to be isomorphic if there exists a Hom-Lie algebra morphism θ : g ^ 2 g ^ 1 such that we have the following commutative diagram:
0 h ι 2 g ^ 2 p 2 g 0 θ θ 0 h ι 1 g ^ 1 p 1 g 0
Lemma 2
([14], (Lemma 4.4)). A Hom-Lie algebra ( g ^ , [ · , · ] g ^ , ϕ g ^ ) is a diagonal non-abelian extension of a Hom-Lie algebra ( g , [ · , · ] g , ϕ g ) by a Hom-Lie algebra ( h , [ · , · ] h , ϕ h ) if and only if there is a section s : g g ^ such that p s = Id and ϕ g ^ s = s ϕ g . This section is called diagonal.
Let ( g ^ , [ · , · ] g ^ , ϕ g ^ ) be a diagonal extension of a Hom-Lie algebra ( g , [ · , · ] g , ϕ g ) by a Hom-Lie algebra ( h , [ · , · ] h , ϕ h ) and s : g g ^ be a diagonal section. Define linear maps ω : g g h and ρ : g gl ( h ) respectively by
ω ( x , y ) = [ s ( x ) , s ( y ) ] g ^ s [ x , y ] g , x , y g
ρ x ( u ) = [ s ( x ) , u ] g ^ , x g , u h
Clearly, g ^ is isomorphic to g h as vector spaces. Transferring the Hom-Lie algebra structure on g ^ to that on g h , we obtain a Hom-Lie algebra ( g h , [ · , · ] ( ρ , ω ) , ϕ ) , where [ · , · ] ( ρ , ω ) and ϕ are given by
[ x + u , y + v ] ( ρ , ω ) = [ x , y ] g + ω ( x , y ) + ρ x ( v ) ρ y ( u ) + [ u , v ] h
ϕ ( x + u ) = ϕ g ( x ) + ϕ h ( u )
The following proposition gives the conditions on ρ and ω such that ( g h , [ · , · ] ( ρ , ω ) , ϕ ) is a Hom-Lie algebra.
Proposition 1
([14], (Proposition 4.5)). With the above notations, ( g h , [ · , · ] ( ρ , ω ) , ϕ ) is a Hom-Lie algebra if and only if ρ and ω satisfy the following equalities:
ϕ h ρ x = ρ ϕ g ( x ) ϕ h
ρ x ( [ u , v ] h ) = [ ϕ h ( u ) , ( Ad ϕ h 1 ρ x ) ( v ) ] h + [ ( Ad ϕ h 1 ρ x ) ( u ) , ϕ h ( v ) ] h
ϕ h ω = ω ϕ g 2
[ ρ x , ρ y ] ϕ h ρ [ x , y ] g = ad ω ( x , y ) ,
ρ ϕ g ( x ) ( ω ( y , z ) ) + c . p . = ω ( [ x , y ] g , ϕ g ( z ) ) + c . p .
where c.p. is the cyclic permutation of x , y , z .
For any diagonal non-abelian extension, by choosing a diagonal section, it is isomorphic to ( g h , [ · , · ] ( ρ , ω ) , ϕ ) . Therefore, we only consider diagonal non-abelian extensions of the form ( g h , [ · , · ] ( ρ , ω ) , ϕ ) in the sequel.
Proposition 2
([14], (Theorem 4.9)). Let ( g h , [ · , · ] ( ρ , ω ) , ϕ ) and ( g h , [ · , · ] ( ρ , ω ) , ϕ ) be two diagonal non-abelian extensions of g by h . The two extensions are equivalent if and only if there is a linear map ξ : g h such that
ϕ h ( ξ ( x ) ) = ξ ( ϕ g ( x ) )
ρ x ρ x = ad ξ ( x )
ω ( x , y ) ω ( x , y ) = ρ x ( ξ ( y ) ) ρ y ( ξ ( x ) ) + [ ξ ( x ) , ξ ( y ) ] h ξ ( [ x , y ] g )

3. Classification of Diagonal Non-Abelian Extensions of Hom-Lie Algebras: Special Case

In this section, we classify diagonal non-abelian extensions of Hom-Lie algebras for the case that Cen ( h ) = 0 .
Theorem 2.
Let ( g , [ · , · ] g , ϕ g ) and ( h , [ · , · ] h , ϕ h ) be Hom-Lie algebras such that Cen ( h ) = 0 . If the following short exact sequence of Hom-Lie algebra morphisms:
0 Inn ( h ) Der ( h ) π Out ( h ) 0
is a diagonal non-abelian extension of Out ( h ) by Inn ( h ) , then isomorphism classes of diagonal non-abelian extensions of g by h correspond bijectively to Hom-Lie algebra homomorphisms:
ρ ¯ : g Out ( h )
Proof. 
Let ( g h , [ · , · ] ( ρ , ω ) , ϕ ) be a diagonal non-abelian extension of g by h given by Equations (15) and (16). By Equation (18), we have ρ x Der ( h ) . Let π : Der ( h ) Out ( h ) be the quotient map. We denote the induced Hom-Lie algebra structure on Out ( h ) by [ · , · ] ϕ h and Ad ϕ h . Hence we can define
ρ ¯ = π ρ
By Equation (17), for all x g , we have
ρ ¯ ϕ g ( x ) = π ( ρ ϕ g ( x ) ) = π ( Ad ϕ h ( ρ x ) ) = Ad ϕ h ( ρ ¯ x )
By Equation (20), we have
ρ ¯ [ x , y ] g = π ( [ ρ x , ρ y ] ϕ h ad ω ( x , y ) ) = π ( [ ρ x , ρ y ] ϕ h ) = [ ρ ¯ x , ρ ¯ y ] ϕ h
Thus, ρ ¯ is a Hom-Lie algebra homomorphism from g to Out ( h ) .
Let ( g h , [ · , · ] ( ρ , ω ) , ϕ ) and ( g h , [ · , · ] ( ρ , ω ) , ϕ ) be isomorphic diagonal non-abelian extensions of g by h . By Proposition 2, we have
ρ ¯ x = π ( ρ x + ad ξ ( x ) ) = ρ ¯ x
Thus, we obtain that isomorphic diagonal non-abelian extensions of g by h correspond to the same Hom-Lie algebra homomorphism from g to Out ( h ) .
Conversely, let ρ ¯ be a Hom-Lie algebra homomorphism from g to Out ( h ) . Because the short exact sequence of Hom-Lie algebras (Equation (25)) is a diagonal non-abelian extension of Out ( h ) by Inn ( h ) , we can choose a diagonal section s of π : Der ( g ) Out ( h ) . Moreover, we define ρ : g gl ( h ) by
ρ x = s ( ρ ¯ x )
We have ρ x Der ( h ) . Thus we obtain Equation (18). Because s is a diagonal section, we have
ρ ϕ g ( x ) ϕ h = ( s ( ρ ¯ ϕ g ( x ) ) ) ϕ h = ( s ( Ad ϕ h ( ρ ¯ x ) ) ) ϕ h = ( ( s Ad ϕ h ) ρ ¯ x ) ) ϕ h = ( ( Ad ϕ h s ) ρ ¯ x ) ) ϕ h = ( Ad ϕ h ( s ( ρ ¯ x ) ) ) ϕ h = ϕ h s ( ρ ¯ x ) ϕ h 1 ϕ h = ϕ h ρ x
Thus, we obtain Equation (17). Because π and ρ ¯ are Hom-Lie algebra homomorphisms, for all x , y g , we have
π ( [ ρ x , ρ y ] ϕ h ρ [ x , y ] g ) = [ π ( ρ x ) , π ( ρ y ) ] ϕ h π ( ρ [ x , y ] g ) = [ ρ ¯ x , ρ ¯ y ] ϕ h ρ ¯ [ x , y ] g = 0
which implies that [ ρ x , ρ y ] ϕ h ρ [ x , y ] g Inn ( h ) . Because we have the following short exact sequence of Hom-Lie algebra morphisms:
0 Cen ( h ) h ad Inn ( h ) 0
and Cen ( h ) = 0 , there exists a unique linear map ω : g g h such that
[ ρ x , ρ y ] ϕ h ρ [ x , y ] g = ad ω ( x , y )
Furthermore, we claim that
ϕ h ω = ω ϕ g 2
In fact, for all u h , we have
[ ϕ h ( ω ( x , y ) ) ω ( ϕ g ( x ) , ϕ g ( y ) ) , ϕ h ( u ) ] h = ϕ h ad ω ( x , y ) u ad ω ( ϕ g ( x ) , ϕ g ( y ) ) ϕ h ( u ) = ϕ h ( [ ρ x , ρ y ] ϕ h ( u ) ρ [ x , y ] g ( u ) ) ( [ ρ ϕ g ( x ) , ρ ϕ g ( y ) ] ϕ h ( ϕ h ( u ) ) ρ ϕ g [ x , y ] g ( ϕ h ( u ) ) ) = 0
which implies that ϕ h ( ω ( x , y ) ) ω ( ϕ g ( x ) , ϕ g ( y ) ) = 0 because Cen ( h ) = 0 . Thus, we obtain Equations (19) and (20). For all x , y , z g , u h , by ρ x Der ( h ) and Equations (27) and (28), we have
[ ( ρ ϕ g ( x ) ( ω ( y , z ) ) ω ( [ x , y ] g , ϕ g ( z ) ) ) + c . p . , ϕ h ( u ) ] h = ϕ h ( [ ( Ad ϕ h 1 ρ ϕ g ( x ) ) ( ω ( ϕ g 1 y , ϕ g 1 z ) ) , ϕ h ( ϕ h 1 u ) ] h [ ω ( [ ϕ g 1 x , ϕ g 1 y ] g , z ) , u ] h + c . p . ) = ϕ h ( ρ ϕ g ( x ) [ ω ( ϕ g 1 y , ϕ g 1 z ) , ϕ h 1 u ] h [ ω ( y , z ) , ( Ad ϕ h 1 ρ ϕ g ( x ) ) ( ϕ h 1 u ) ] h [ ρ [ ϕ g 1 x , ϕ g 1 y ] g , ρ z ] ϕ h ( u ) + ρ [ [ ϕ g 1 x , ϕ g 1 y ] g , z ] g ( u ) + c . p . ) = ϕ h ( ρ ϕ g ( x ) ( ( [ ρ ϕ g 1 y , ρ ϕ g 1 z ] ϕ h ρ [ ϕ g 1 y , ϕ g 1 z ] g ) ( ϕ h 1 u ) ) ( [ ρ y , ρ z ] ϕ h ρ [ y , z ] g ) ( ( ρ x ϕ h 1 ) ( u ) ) [ ρ [ ϕ g 1 x , ϕ g 1 y ] g , ρ z ] ϕ h ( u ) + ρ [ [ ϕ g 1 x , ϕ g 1 y ] g , z ] g ( u ) + c . p . ) = ϕ h ( ( ϕ h ρ x ϕ h 1 [ ρ ϕ g 1 y , ρ ϕ g 1 z ] ϕ h ϕ h 1 ϕ h [ ρ ϕ g 1 y , ρ ϕ g 1 z ] ϕ h ϕ h 1 ρ x ϕ h 1 ) ( u ) + ( ϕ h ρ [ ϕ g 1 y , ϕ g 1 z ] g ϕ h 1 ρ x ϕ h 1 ϕ h ρ x ϕ h 1 ρ [ ϕ g 1 y , ϕ g 1 z ] g ϕ h 1 ) ( u ) [ ρ [ ϕ g 1 x , ϕ g 1 y ] g , ρ z ] ϕ h ( u ) + ρ [ [ ϕ g 1 x , ϕ g 1 y ] g , z ] g ( u ) + c . p . ) = ϕ h ( ( [ ρ x , [ ρ ϕ g 1 y , ρ ϕ g 1 z ] ϕ h ] ϕ h + [ ρ [ ϕ g 1 y , ϕ g 1 z ] g , ρ x ] ϕ h [ ρ [ ϕ g 1 x , ϕ g 1 y ] g , ρ z ] ϕ h + ρ [ [ ϕ g 1 x , ϕ g 1 y ] g , z ] g ) ( u ) + c . p . ) = 0
Thus, we have
ρ ϕ g ( x ) ( ω ( y , z ) ) ω ( [ x , y ] g , ϕ g ( z ) ) + c . p . Cen ( h )
Because Cen ( h ) = 0 , we have Equation (21). Therefore, we deduce that Equations (17)–(21) hold. By Proposition 1, ( g h , [ · , · ] ( ρ , ω ) , ϕ ) is a diagonal non-abelian extension of g by h .
If we choose another section s of π : Der ( g ) Out ( h ) , we obtain another diagonal non-abelian extension ( g h , [ · , · ] ( ρ , ω ) , ϕ ) . Clearly, we have
π ( ρ x ρ x ) = ( π s ) ( ρ ¯ x ) ( π s ) ( ρ ¯ x ) = 0
which implies that ρ x ρ x Inn ( h ) . Because Cen ( h ) = 0 , there is a unique linear map ξ : g h such that
ρ x ρ x = ad ξ ( x )
We claim that
ϕ h ( ξ ( x ) ) = ξ ( ϕ g ( x ) )
In fact, for all u h , we have
[ ϕ h ( ξ ( x ) ) ξ ( ϕ g ( x ) ) , ϕ h ( u ) ] h = ϕ h ad ξ ( x ) u ad ξ ( ϕ g ( x ) ) ϕ h ( u ) = ϕ h ( ρ x u ρ x u ) ( ρ ϕ g ( x ) ϕ h ( u ) ρ ϕ g ( x ) ϕ h ( u ) ) = 0
which implies that ϕ h ( ξ ( x ) ) = ξ ( ϕ g ( x ) ) because Cen ( h ) = 0 . Thus, we obtain Equations (22) and (23). By Lemma 1 and Equation (28), for all x , y g we have
ad ω ( x , y ) ω ( x , y ) = [ ρ x , ρ y ] ϕ h ρ [ x , y ] g [ ρ x , ρ y ] ϕ h + ρ [ x , y ] g = [ ρ x + ad ξ ( x ) , ρ y + ad ξ ( y ) ] ϕ h ρ [ x , y ] g ad ξ ( [ x , y ] g ) [ ρ x , ρ y ] ϕ h + ρ [ x , y ] g = [ ρ x , ad ξ ( y ) ] ϕ h + [ ad ξ ( x ) , ρ y ] ϕ h + [ ad ξ ( x ) , ad ξ ( y ) ] ϕ h ad ξ ( [ x , y ] g ) = ad ρ x ( ξ ( y ) ) ad ρ y ( ξ ( x ) ) + ad [ ξ ( x ) , ξ ( y ) ] h ad ξ ( [ x , y ] g ) = ad ρ x ( ξ ( y ) ) ρ y ( ξ ( x ) ) + [ ξ ( x ) , ξ ( y ) ] h ξ ( [ x , y ] g )
By Cen ( h ) = 0 , we obtain Equation (24). Thus, we have Equations (22)–(24). Therefore, we deduce that ( g h , [ · , · ] ( ρ , ω ) , ϕ ) and ( g h , [ · , · ] ( ρ , ω ) , ϕ ) are isomorphic diagonal non-abelian extensions of g by h . The proof is finished. ☐

4. Obstruction of Existence of Diagonal Non-Abelian Extensions of Hom-Lie Algebras

In this section, we always assume that the following short exact sequences of Hom-Lie algebra morphisms:
0 Inn ( h ) Der ( h ) π Out ( h ) 0 0 Cen ( h ) h ad Inn ( h ) 0
are diagonal non-abelian extensions. Given a Hom-Lie algebra morphism ρ ¯ : g Out ( h ) , where Cen ( h ) 0 , we consider the obstruction of existence of non-abelian extensions. By choosing a diagonal section s of π : Der ( h ) Out ( h ) , we can still define ρ by Equation (26) such that Equation (27) holds. Moreover, we can choose a linear map ω : g g h such that Equations (28) and (29) hold. Thus, ( g h , [ · , · ] ( ρ , ω ) , ϕ ) is a diagonal non-abelian extension of g by h if and only if
ρ ϕ g ( x ) ( ω ( y , z ) ) ω ( [ x , y ] g , ϕ g ( z ) ) + c . p . ( x , y , z ) = 0
Let d ρ be the formal coboundary operator associated to ρ . Then we have
( d ρ ω ) ( x , y , z ) = ρ ϕ g ( x ) ( ω ( y , z ) ) ω ( [ x , y ] g , ϕ g ( z ) ) + c . p . ( x , y , z )
Therefore, ( g h , [ · , · ] ( ρ , ω ) , ϕ ) is a diagonal non-abelian extension of g by h if and only if d ρ ω = 0 .
Definition 7.
Let ρ ¯ : g Out ( h ) be a Hom-Lie algebra morphism. We call ρ ¯ an extensible homomorphism if there exists a diagonal section s of π : Der ( h ) Out ( h ) and linear map ω : g g h such that Equations (27), (28) and (33) hold.
For all u Cen ( h ) , it is clear that ϕ h ( u ) Cen ( h ) . For v h , we have
[ ρ x ( u ) , v ] h = [ ( Ad ϕ h 1 ρ ϕ g ( x ) ) ( u ) , ϕ h ( ϕ h 1 ( v ) ) ] h = ρ ϕ g ( x ) ( [ u , ϕ h 1 ( v ) ] h ) [ ϕ h ( u ) , ( Ad ϕ h 1 ρ ϕ g ( x ) ) ( ϕ h 1 ( v ) ) ] h = 0
Thus, we have ρ x ( u ) Cen ( h ) . Therefore, we can define ρ ^ : g gl ( Cen ( h ) ) by
ρ ^ x ρ x | Cen ( h )
By Equations (27) and (28), we obtain that ρ ^ is a Hom-Lie morphism from g to gl ( Cen ( h ) ) . By Theorem 1, ρ ^ is a representation of ( g , [ · , · ] g , ϕ g ) on Cen ( h ) with respect to ϕ h | Cen ( h ) . By Equation (31), we deduce that different diagonal sections of π give the same representation of g on Cen ( h ) with respect to ϕ h | Cen ( h ) . In the sequel, we always assume that ρ ^ is a representation of g on Cen ( h ) with respect to ϕ h | Cen ( h ) , which is induced by ρ ¯ . By Equation (30), we have ( d ρ ω ) ( x , y , x ) Cen ( h ) . Thus, we have d ρ ω C ϕ g , ϕ h Cen ( h ) 3 ( g ; Cen ( h ) ) . Moreover, we have the following lemma.
Lemma 3.
d ρ ω is a 3-cocycle on g with the coefficient in Cen ( h ) , and the cohomology class [ d ρ ω ] does not depend on the choices of the diagonal section s of π : Der ( h ) Out ( h ) and ω that we make.
Proof. 
For all x , y , z , t g , by straightforward computations, we have
d ρ ^ ( d ρ ω ) ( x , y , z , t ) = ρ ϕ g 2 ( x ) ( d ρ ω ( y , z , t ) ) ρ ϕ g 2 ( y ) ( d ρ ω ( x , z , t ) ) + ρ ϕ g 2 ( z ) ( d ρ ω ( x , y , t ) ) ρ ϕ g 2 ( t ) ( d ρ ω ( x , y , z ) ) ( d ρ ω ) ( [ x , y ] g , ϕ g ( z ) , ϕ g ( t ) ) + ( d ρ ω ) ( [ x , z ] g , ϕ g ( y ) , ϕ g ( t ) ) ( d ρ ω ) ( [ x , t ] g , ϕ g ( y ) , ϕ g ( z ) ) ( d ρ ω ) ( [ y , z ] g , ϕ g ( x ) , ϕ g ( t ) ) + ( d ρ ω ) ( [ y , t ] g , ϕ g ( x ) , ϕ g ( z ) ) ( d ρ ω ) ( [ z , t ] g , ϕ g ( x ) , ϕ g ( y ) )
By the definition of d ρ ω , we have 60 terms in the right-hand side of the above formula. Fortunately, we can cancel the following terms:
ρ ϕ g 2 ( x ) ( ω ( [ y , z ] g , ϕ g ( t ) ) ) ρ ϕ g 2 ( x ) ( ω ( ϕ g ( t ) , [ y , z ] g ) ) = 0 ω ( [ ϕ g ( z ) , ϕ g ( t ) ] g , ϕ g ( [ x , y ] g ) ) + ω ( [ ϕ g ( x ) , ϕ g ( y ) ] g , ϕ g ( [ z , t ] g ) ) = 0 ω ( [ ϕ g ( t ) , [ x , y ] g ] g , ϕ g 2 ( z ) ) + ω ( [ [ x , t ] g , ϕ g ( y ) ] g , ϕ g 2 ( z ) ) ω ( [ [ y , t ] g , ϕ g ( x ) ] g , ϕ g 2 ( z ) ) = 0
By Equations (27)–(29), the above formula reduces to the following:
( [ ρ ϕ g ( x ) , ρ ϕ g ( y ) ] ϕ h ρ ϕ g ( [ x , y ] g ) ) ( ω ( ϕ g ( z ) , ϕ g ( t ) ) ) + ( [ ρ ϕ g ( x ) , ρ ϕ g ( z ) ] ϕ h ρ ϕ g ( [ x , z ] g ) ) ( ω ( ϕ g ( t ) , ϕ g ( y ) ) ) + ( [ ρ ϕ g ( x ) , ρ ϕ g ( t ) ] ϕ h ρ ϕ g ( [ x , t ] g ) ) ( ω ( ϕ g ( y ) , ϕ g ( z ) ) ) + ( [ ρ ϕ g ( y ) , ρ ϕ g ( z ) ] ϕ h ρ ϕ g ( [ y , z ] g ) ) ( ω ( ϕ g ( x ) , ϕ g ( t ) ) ) ( [ ρ ϕ g ( y ) , ρ ϕ g ( t ) ] ϕ h + ρ ϕ g ( [ y , t ] g ) ) ( ω ( ϕ g ( x ) , ϕ g ( z ) ) ) + ( [ ρ ϕ g ( z ) , ρ ϕ g ( t ) ] ϕ h ρ ϕ g ( [ z , t ] g ) ) ( ω ( ϕ g ( x ) , ϕ g ( y ) ) )
Because [ ρ x , ρ y ] ϕ h ρ [ x , y ] g = ad ω ( x , y ) and ϕ g is an algebra morphism, this is rewritten as follows:
[ ω ( ϕ g ( x ) , ϕ g ( y ) ) , ω ( ϕ g ( z ) , ϕ g ( t ) ) ] h + [ ω ( ϕ g ( x ) , ϕ g ( z ) ) , ω ( ϕ g ( t ) , ϕ g ( y ) ) ] h + [ ω ( ϕ g ( x ) , ϕ g ( t ) ) , ω ( ϕ g ( y ) , ϕ g ( z ) ) ] h + [ ω ( ϕ g ( y ) , ϕ g ( z ) ) , ω ( ϕ g ( x ) , ϕ g ( t ) ) ] h [ ω ( ϕ g ( y ) , ϕ g ( t ) ) , ω ( ϕ g ( x ) , ϕ g ( z ) ) ] h + [ ω ( ϕ g ( z ) , ϕ g ( t ) ) , ω ( ϕ g ( x ) , ϕ g ( y ) ) ] h = 0
Thus, we obtain d ρ ω Z 3 ( g ; ρ ^ ) .
Now we check that the cohomology class [ d ρ ω ] does not depend on the choices of the diagonal section s of π : Der ( h ) Out ( h ) and ω that we make. Let s be another diagonal section of π ; we have ρ x Der ( h ) and choose ω such that Equations (27) and (28) hold. We prove that [ d ρ ω ] = [ d ρ ω ] . Because s and s are diagonal sections of π , we have a linear map b : g h such that
b ϕ g = ϕ h b , ρ x = ρ x + ad b ( x )
We define ω * by
ω * ( x , y ) = ω ( x , y ) + ρ x ( b ( y ) ) ρ y ( b ( x ) ) + [ b ( x ) , b ( y ) ] h b [ x , y ] g
By straightforward computations, we obtain that Equations (28) and (29) hold for ρ , ω * . For all x , y , z g , we have
( d ρ ω * d ρ ω ) ( x , y , z ) = ( ρ ϕ g ( x ) ω * ( y , z ) ω * ( [ x , y ] g , ϕ g ( z ) ) ( ρ ϕ g ( x ) ω ( y , z ) ω ( [ x , y ] g , ϕ g ( z ) ) ) + c . p . = A ( x , y , z ) + A ( y , z , x ) + A ( z , x , y ) + B ( x , y , z ) + B ( y , z , x ) + B ( z , x , y ) + C ( x , y , z )
where
A ( x , y , z ) = ρ ϕ g ( x ) ρ y ( b ( z ) ) ρ ϕ g ( y ) ρ x ( b ( z ) ) ρ [ x , y ] g ( b ( ϕ g ( z ) ) ) + [ b ( ϕ g ( z ) ) , ω ( x , y ) ] h , B ( x , y , z ) = ρ ϕ g ( x ) ( [ b ( y ) , b ( z ) ] h ) [ ρ x ( b ( y ) ) , b ( ϕ g ( z ) ) ] h [ b ( ϕ g ( y ) ) , ρ x ( b ( z ) ) ] h , C ( x , y , z ) = [ b ( ϕ g ( x ) ) , [ b ( y ) , b ( z ) ] h ] h + [ b ( ϕ g ( y ) ) , [ b ( z ) , b ( x ) ] h ] h + [ b ( ϕ g ( z ) ) , [ b ( x ) , b ( y ) ] h ] h + b ( [ [ x , y ] g , ϕ g ( z ) ] g ) + b ( [ [ y , z ] g , ϕ g ( x ) ] g ) + b ( [ [ z , x ] g , ϕ g ( y ) ] g )
By Equations (27) and (28), we have A ( x , y , z ) = 0 . Because ρ ϕ g ( x ) is a derivation, we obtain B ( x , y , z ) = 0 . Because b ϕ g = ϕ h b and g , h are Hom-Lie algebras, we obtain C ( x , y , z ) = 0 . Thus, we have d ρ ω = d ρ ω * . Because Equations (28) and (29) hold for ρ , ω * and ρ , ω , respectively, we have
[ ρ x , ρ y ] ϕ h ρ [ x , y ] g = ad ω ( x , y ) = ad ω * ( x , y )
Thus, we have ad ( ω ω * ) ( x , y ) = 0 . Moreover, we have ( ω ω * ) ( x , y ) Cen ( h ) . By Equation (29), we can define τ C ϕ g , ϕ h Cen ( h ) 2 ( g ; Cen ( h ) ) by
τ ( x , y ) = ω ( x , y ) ω * ( x , y )
Thus, we have
d ρ ω d ρ ω = d ρ ω d ρ ω * = d ρ ( ω ω * ) = d ρ τ = d ρ ^ τ
Therefore, we obtain [ d ρ ω ] = [ d ρ ω ] . The proof is finished. ☐
Now we are ready to give the main result in this paper, namely, that the obstruction of a Hom-Lie algebra homomorphism ρ ¯ : g Out ( h ) being extensible is given by the cohomology class [ d ρ ω ] H 3 ( g ; ρ ^ ) .
Theorem 3.
Let ρ ¯ : g Out ( h ) be a Hom-Lie algebra morphism. Then ρ ¯ is an extensible homomorphism if and only if
[ d ρ ω ] = [ 0 ]
Proof. 
Let ρ ¯ : g Out ( h ) be an extensible Hom-Lie algebra morphism. Then we can choose a diagonal section s of π : Der ( h ) Out ( h ) and define ρ by Equation (26). Moreover, we can choose a linear map ω : g g h such that Equations (27) and (28) hold. Because ρ ¯ is extensible, we have d ρ ω = 0 , which implies that [ d ρ ω ] = [ 0 ] .
Conversely, if [ d ρ ω ] = [ 0 ] , then there exists σ C ϕ g , ϕ h Cen ( h ) 2 ( g ; Cen ( h ) ) such that d ρ ω = d ρ ^ σ . Thus, we have
d ρ ( ω σ ) = d ρ ω d ρ σ = d ρ ω d ρ ^ σ = 0
Because σ C ϕ g , ϕ h Cen ( h ) 2 ( g ; Cen ( h ) ) , we also have
ϕ h ( ω σ ) = ( ω σ ) ϕ g 2 [ ρ x , ρ y ] ϕ h ρ [ x , y ] g = ad ( ω σ ) ( x , y )
By Proposition 1, we can construct a Hom-Lie algebra ( g h , [ · , · ] ( ρ , ω σ ) , ϕ ) . Therefore, ρ ¯ is an extensible morphism. The proof is finished. ☐
The following theorem classifies diagonal non-abelian extensions of g by h once they exist.
Theorem 4.
Let ρ ¯ : g Out ( h ) be an extensible morphism. Then isomorphism classes of diagonal non-abelian extensions of g by h induced by ρ ¯ are parameterized by H 2 ( g ; ρ ^ ) .
Proof. 
Because ρ ¯ is an extensible morphism, we can choose a diagonal section s of π and define ρ by Equation (26). We choose a linear map ω such that Equations (27) and (28) hold and d ρ ω = 0 . Thus, the Hom-Lie algebra ( g h , [ · , · ] ( ρ , ω ) , ϕ ) defined by Equations (15) and (16) is a diagonal non-abelian extension of g by h , which is induced by ρ ¯ . Let s be another diagonal section of π and define ρ by Equation (26). We also choose a linear map ω such that Equations (27) and (28) hold and d ρ ω = 0 . Because s and s are diagonal sections of π , there exists a linear map b : g h such that
ϕ h b = b ϕ g , ρ x = ρ x + ad b ( x )
We define ω * by
ω * ( x , y ) = ω ( x , y ) + ρ x ( b ( y ) ) ρ y ( b ( x ) ) + [ b ( x ) , b ( y ) ] h b [ x , y ] g
By the computation in Lemma 3, we have d ρ ω * = d ρ ω = 0 . Thus, the Hom-Lie algebra ( g h , [ · , · ] ( ρ , ω * ) , ϕ ) constructed from ρ , ω * is isomorphic to the Hom-Lie algebra ( g h , [ · , · ] ( ρ , ω , ) , ϕ ) constructed from ρ , ω . Thus, we only need to study the Hom-Lie algebras constructed from a fixed diagonal section s. For all ω ˜ , which satisfy Equations (28) and (29) and d ρ ω ˜ = 0 , we define
λ = ω ω ˜ C ϕ g , ϕ h Cen ( h ) 2 ( g ; Cen ( h ) )
Moreover, we have
d ρ ^ λ = d ρ ( ω ω ˜ ) = 0 0 = 0
which implies that ω ω ˜ Z 2 ( g ; ρ ^ ) .
Moreover, let us assume that the Hom-Lie algebra ( g h , [ · , · ] ( ρ , ω ) , ϕ ) constructed from ρ , ω is isomorphic to the Hom-Lie algebra ( g h , [ · , · ] ( ρ , ω ˜ ) , ϕ ) constructed from ρ , ω ˜ . Then there exists a linear map b : g h that does not change ρ , that is, b : g Cen ( h ) , such that
ϕ h b = b ϕ g ω ω ˜ = d ρ b
This is equivalent to ω ω ˜ B 2 ( g ; ρ ^ ) . Thus, isomorphism classes of diagonal non-abelian extensions of g by h induced by ρ ¯ are parameterized by H 2 ( g ; ρ ^ ) . ☐
Corollary 1.
The isomorphism classes of diagonal non-abelian extensions of a Hom-Lie algebra g by a Hom-Lie algebra h correspond bijectively to the set of pairs ( ρ ¯ , [ κ ] ) , where ρ ¯ is an extensible morphism from g to Out ( h ) and [ κ ] H 2 ( g ; ρ ^ ) .

5. Conclusions

In this paper, we use a cohomological approach to study diagonal non-abelian extensions of regular Hom-Lie algebras. First, for the case that Cen ( h ) = 0 , we classify diagonal non-abelian extensions of a regular Hom-Lie algebra g by a regular Hom-Lie algebra h by Hom-Lie algebra morphisms from g to the outer derivation of the Hom-Lie algebra Out ( h ) . More precisely, we show that under the condition Cen ( h ) = 0 , isomorphism classes of diagonal non-abelian extensions of a regular Hom-Lie algebra g by a regular Hom-Lie algebra h one-to-one correspond to Hom-Lie algebra morphisms from g to Out ( h ) . Then for the general case, isomorphic diagonal non-abelian extensions of a regular Hom-Lie algebra g by h give rise to the same morphism from g to Out ( h ) . However, given a morphism from g to Out ( h ) , there is an obstruction for the existence of a diagonal non-abelian extension of regular Hom-Lie algebras that induces the given morphism. We show that the obstruction is given by a cohomological class in the third cohomology group. More precisely, if the cohomological class is trivial, then there is a diagonal non-abelian extension of regular Hom-Lie algebras inducing the given morphism. In this case, we say that the given morphism is extensible. In particular, if the third cohomology group is trivial, then every Hom-Lie algebra morphism from g to Out ( h ) is extensible. Moreover, we show that isomorphism classes of diagonal non-abelian extensions of g by h inducing the given morphism are parameterized by the second cohomology group.

Author Contributions

Lina Song and Rong Tang did this research together and wrote the paper together.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Hartwig, J.; Larsson, D.; Silvestrov, S. Deformations of Lie algebras using σ-derivations. J. Algebra 2006, 295, 314–361. [Google Scholar] [CrossRef]
  2. Cai, L.; Sheng, Y. Purely Hom-Lie bialgebras. Sci. China Math. 2017. Unpublished. [Google Scholar]
  3. Hu, N. q-Witt algebras, q-Lie algebras, q-holomorph structure and representations. Algebra Colloq. 1999, 6, 51–70. [Google Scholar]
  4. Larsson, D.; Silvestrov, S. Quasi-hom-Lie algebras, central extensions and 2-cocycle-like identities. J. Algebra 2005, 288, 321–344. [Google Scholar] [CrossRef]
  5. Larsson, D.; Silvestrov, S. Quasi-Lie algebras. Contemp. Math. 2005, 391, 241–248. [Google Scholar]
  6. Ammar, F.; Ejbehi, Z.; Makhlouf, A. Cohomology and Deformations of Hom-algebras. J. Lie Theory 2011, 21, 813–836. [Google Scholar]
  7. Makhlouf, A.; Silvestrov, S. Notes on Formal Deformations of Hom-associative and Hom-Lie Algebras. Forum Math. 2010, 22, 715–739. [Google Scholar] [CrossRef]
  8. Sheng, Y. Representations of Hom-Lie algebras. Algebras Represent. Theory 2012, 15, 1081–1098. [Google Scholar] [CrossRef]
  9. Casas, J.M.; Insua, M.A.; Pacheco, N. On universal central extensions of Hom-Lie algebras. Hacet. J. Math. Stat. 2015, 44, 277–288. [Google Scholar] [CrossRef]
  10. Casas, J.M.; Khmaladze, E.; Rego, N.P. A Non-Abelian Tensor Product of Hom-Lie Algebras. Bull. Malays. Math. Sci. Soc. 2016. [Google Scholar] [CrossRef]
  11. Aragon Perinan, M.J.; Calderon Martin, A.J. The structure of split regular Hom-Poisson algebras. Colloq. Math. 2016, 145, 1–13. [Google Scholar] [CrossRef]
  12. Aragon Perinan, M.J.; Calderon Martin, A.J. Split regular Hom-Lie algebras. J. Lie Theory 2015, 25, 875–888. [Google Scholar]
  13. Sheng, Y.; Chen, D. Hom-Lie 2-algebras. J. Algebra 2013, 376, 174–195. [Google Scholar] [CrossRef]
  14. Song, L.; Tang, R. Derivation Hom-Lie 2-algebras and non-abelian extensions of regular Hom-Lie algebras. J. Algebra Appl. 2018. [Google Scholar] [CrossRef]
  15. Sheng, Y.; Xiong, Z. On hom-Lie algebras. Linear Multilinear Algebra 2015, 63, 2379–2395. [Google Scholar] [CrossRef]
  16. Alekseevsky, D.; Michor, P.W.; Ruppert, W. Extensions of Lie algebras. arXiv, 2000; arXiv:math.DG/0005042. [Google Scholar]
  17. Alekseevsky, D.; Michor, P.W.; Ruppert, W. Extensions of super Lie algebras. J. Lie Theory 2005, 15, 125–134. [Google Scholar]
  18. Fregier, Y. Non-abelian cohomology of extensions of Lie algebras as Deligne groupoid. J. Algebra 2014, 398, 243–257. [Google Scholar] [CrossRef]
  19. Hegazi, A.S.; Abdelwahab, H.; Calderon Martin, A.J. The classification of N-dimensional non-Lie Malcev algebras with (N-4)-dimensional annihilator. Linear Algebra Appl. 2016, 505, 32–56. [Google Scholar] [CrossRef]
  20. Hermann, N.K. Non-abelian extensions of topological Lie algebras. Commun. Algebra 2006, 34, 991–1041. [Google Scholar]
  21. Inassaridze, N.; Khmaladze, E.; Ladra, M. Non-abelian cohomology and extensions of Lie algebras. J. Lie Theory 2008, 18, 413–432. [Google Scholar]

Share and Cite

MDPI and ACS Style

Song, L.; Tang, R. Cohomology Characterizations of Diagonal Non-Abelian Extensions of Regular Hom-Lie Algebras
. Symmetry 2017, 9, 297. https://doi.org/10.3390/sym9120297

AMA Style

Song L, Tang R. Cohomology Characterizations of Diagonal Non-Abelian Extensions of Regular Hom-Lie Algebras
. Symmetry. 2017; 9(12):297. https://doi.org/10.3390/sym9120297

Chicago/Turabian Style

Song, Lina, and Rong Tang. 2017. "Cohomology Characterizations of Diagonal Non-Abelian Extensions of Regular Hom-Lie Algebras
" Symmetry 9, no. 12: 297. https://doi.org/10.3390/sym9120297

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop