Volume 2013, Issue 1 275250
Research Article
Open Access

A Realization of Hom-Lie Algebras by Iso-Deformed Commutator Bracket

Xiuxian Li

Corresponding Author

Xiuxian Li

Department of Mathematics, Tongji University, Shanghai 200092, China tongji.edu.cn

Search for more papers by this author
First published: 29 July 2013
Academic Editor: Shi Weichen

Abstract

We construct classical Iso-Lie and Iso-Hom-Lie algebras in gl(V) by twisted commutator bracket through Iso-deformation. We prove that they are simple. Their Iso-automorphisms and isotopies are also presented.

1. Introduction

The conventional Lie theory has been developed in mathematical literature in its linear, local, and canonical formulation and the simplest conceivable product [A, B] = ABBA, where AB is the trivial associative product. But it is not applicable to a growing number of nonlinear, nonlocal, and noncanonical systems which have recently emerged in mathematics. Lie-isotopic theory [13] is the generalization of the unit I to a new one called isotopic unit or isounit. The resulting new mathematical structures include the old ones as special cases.

Hom-Lie algebras (𝔤, [·, ·], α) were first introduced by Hartwig et al. in [4] to describe the structure of deformation of the Witt and Virasoro algebra in 2006. They are a generalization of Lie algebras. When α = id, the Hom-Lie algebras degenerate to exactly the Lie algebras. Because Hom-Lie algebras are closely related to discrete and deformed vector fields, differential calculus [5, 6], they have been researched extensively these years [79].

An elementary but important property of Lie algebras is that each associative algebra gives rise to a Lie algebra via the commutator bracket. But it is not natural to define Hom-Lie algebras by this way. In [10], Makhlouf and Silvestrov introduced the notion of a Hom-associative algebra (𝔤, μ, α), in which the binary operation μ satisfies an α twisted version of associativity. The authors mentioned that Lie-Santilli isotopies [13] can be modified appropriately to suit the Hom-algebras context. The relations between Hom-Lie algebras and Santilli′s deformed bracket products are certainly interesting. This method solves the question how can commutator products in a linear space be modified to yield as general as possible (Hom-)Lie algebras.

The structure of Lie algebras over is better understood now [11, 12]. Classical simple Lie algebras over can be classified into A, B, C, D types. Similarly, we can use the twisted commutator bracket through Iso-deformation to study classical Iso-(Hom-)Lie algebras over .

The paper is organized as follows: in Section 2, we study relations between multiplicative Hom-Lie algebras and Lie algebras; in Section 3, we construct Iso-Lie and Iso-Hom-Lie algebras; in Section 4, classical II types A, B, C, D-Iso-Lie and Iso-Hom-Lie algebras are studied. We prove that they are simple. Their Iso-automorphism and isotopy are also presented.

Throughout this paper, we denote by “E” the identity matrix, “gL(V)” the linear group, and “xt” the transpose of matrix x, and “≅” denotes the isomorphism of algebras. Without otherwise stated, all algebras are finite dimensional and over the complex field .

2. Hom-Lie Algebras

Definition 1 (see [4].)A Hom-Lie algebra is a triple (𝔤, [·, ·], α) consisting of a vector space 𝔤 over , a linear sef-map α, and a bilinear map [·, ·] : 𝔤 × 𝔤𝔤 satisfying

()

When α = id, (𝔤, [·, ·], α) is degenerated to Lie algebra (𝔤, [·, ·]). A Hom-Lie algebra (𝔤, [·, ·], α) is called multiplicative if
()
is satisfied [13]. We call (𝔤, [·, ·], α) Lie-type if there exists a Lie algebra (𝔤, [·, ·]) such that [x, y] = α([x, y] ) = [α(x), α(y)] ,  x, y𝔤. At the same time (𝔤, [·, ·]) is called the Hom-Lie admissible algebra of (𝔤, [·, ·], α).

A subspace 𝔤1 of 𝔤 is called an ideal of (𝔤, [·, ·], α) if α(𝔤1)⊆𝔤1, [𝔤1, 𝔤]⊆𝔤1 are satisfied. We call a Hom-Lie algebra (𝔤, [·, ·], α) simple if it has no nontrivial ideals and [𝔤, 𝔤] = 𝔤.

An automorphism ψ of a Hom-Lie algebra (𝔤, [·, ·], α) is an invertible linear self-map satisfying ψ([x, y]) = [ψ(x), ψ(y)], ∀x, y𝔤 and ψα = αψ.

An isomorphism of Hom-Lie algebras (𝔤1, [·, ·] 1, α1) with (𝔤2, [·, ·] 2, α2) is an invertible linear map ϕ : 𝔤1𝔤2 satisfying ϕ([x, y] 1) = [ϕ(x), ϕ(y)] 2,   ∀ x, y𝔤1 and α2ϕ = ϕα1.

Lemma 2. Let (𝔤, [·, ·], α) be a multiplicative simple Hom-Lie algebra. Then α is invertible.

Proof. It is easy to check that Ker (α) is an ideal of (𝔤, [·, ·], α). By the simplicity of (𝔤, [·, ·], α), we have Ker (α) = 0. That is, α is invertible.

Lemma 3 (see [14].)Let (𝔤, [·, ·]) be a Lie algebra over with an algebraic homomorphism α. Define a bracket [·, ·] α by [x, y] α = α([x, y]), ∀x, y𝔤. Then (𝔤, [·, ·] α, α) is a Hom-Lie algebra.

Theorem 4. Let (𝔤, [·, ·], α) be a multiplicative Hom-Lie algebra with α invertible. Then (𝔤, [·, ·], α) is Lie-type with the Hom-Lie admissible algebra (𝔤, [·, ·] ), where [·, ·]  is defined by [x, y]  = α−1([x, y]), ∀x, y𝔤.

Proof. Define [x, y]  = α−1([x, y]), ∀x, y𝔤. It is easy to check that

()
Now we prove that (𝔤, [·, ·]) is a Lie algebra. The skew-symmetricity of [·, ·]  is obvious. ∀x, y, z𝔤,
()
here ↺x,y,z denotes the cyclic summation over x, y, z. We have the conclusion.

Lemma 5 (see [15].)Let (𝔤1, [·, ·] 1, α) and (𝔤1, [·, ·] 2, β) be Lie type Hom-Lie algebra with β invertible. Then an invertible linear map ϕ is an isomorphism of Hom-Lie algebras if and only if ϕ is an isomorphism of their Hom-Lie admissible algebras satisfying βϕ = ϕα.

Lemma 6 (see [15].)Let (𝔤, [·, ·], α) be a Lie type Hom-Lie algebra with α invertible. Then ψ is an automorphism of (𝔤, [·, ·], α) if and only if ψ is an automorphism of the Hom-Lie admissible algebra satisfying αψ = ψα.

Proposition 7. Let (𝔤, [·, ·], α) be a finite dimensional Lie type Hom-Lie algebra with α invertible. If its Hom-Lie admissible algebra is simple, then (𝔤, [·, ·], α) is simple.

Proof. By Theorem 4, the Hom-Lie admissible algebra can be written as (𝔤, [·, ·] ), where [·, ·]  is defined by [x, y]  = α−1([x, y]), ∀x, y𝔤. Suppose [𝔤, 𝔤]⫋𝔤, then

()
which is a contradiction with the simplicity of (𝔤, [·, ·]). This reduces to [𝔤, 𝔤] = 𝔤.

Let 𝔤1 be a nontrivial ideal of (𝔤, [·, ·], α). By definition there are α(𝔤1)⊆𝔤1; [𝔤1, 𝔤]⊆𝔤1. Therefore, [𝔤1, 𝔤] = α−1([𝔤1, 𝔤])⊆α−1(𝔤1)⊆𝔤1. That is, 𝔤1 is a nontrivial ideal of the Hom-Lie admissible algebra, which is impossible. We have the conclusion.

3. Iso Algebras

Let 𝔤 be an associative algebra with the conventional associative product xy, ∀x, y𝔤 over . An Iso-associative algebra (𝔤, *) is the same vector space 𝔤 over with a product * satisfying (x*y)*z = x*(y*z), ∀x, y, z𝔤, where the product * is defined by one of the following cases, the parameters T, w appearing in cases II–V are fixed not necessary belonging to 𝔤 (it deserves to mention that in [3], (𝔤, *) is an Iso-associative algebra over an Iso-field , specially, in this paper we study Iso-algebra over ):
  • I:  x*y = axy, 0 ≠ a  is  fixed;

  • II:  x*y = xTy, ∀x, y𝔤, T  is  invertible;

  • III:  x*y = wxwyw, ∀x, y𝔤, w2 = w ≠ 0;

  • IV:  x*y = wxwTwyw, ∀x, y𝔤, w2 = w, w, T ≠ 0;

  • V:  x*y = awxwTwyw, x, y𝔤, a, w2 = w; a, w, T ≠ 0.

It is obvious that of the above Iso-associative algebras only the first four are independent and there is no essential difference between type I and the conventional associative algebra.

Definition 8. An Iso-Lie algebra (𝔤, [·, ·]) is a vector space 𝔤 over with a bracket [·, ·] defined by [x, y] = x*yy*x, ∀x, y𝔤, where (𝔤, *) is an Iso-associative algebra. At the same time (𝔤, *) is called the Lie admissible algebra of (𝔤, [·, ·]).

We call an isomorphism of Iso-algebras an isotopy. An automorphism of an Iso-algebra is called an Iso-automorphism.

We call (𝔤, [·, ·], α) an Iso-Hom-Lie algebra if its Hom-Lie admissible algebra is an Iso-Lie algebra.

Corollary 9. Let (𝔤, [·, ·]) be an Iso-Lie algebra with an Iso-automorphism α. Define a bracket [·, ·] α by [x, y] α = α([x, y]), ∀x, y𝔤. Then (𝔤, [·, ·] α, α) is an Iso-Hom-Lie algebra.

We call (𝔤, [·, ·]) I–V type Iso-Lie algebras if their Lie admissible algebras are I–V type Iso-associative algebras, respectively. And call the Iso-Hom-Lie algebras constructed in Corollary 9 I–V type Iso-Hom-Lie algebras if their Hom-Lie admissible algebras are I–V type Iso-Lie algebras, respectively. In this paper we put emphasis on type II Iso-(Hom-)Lie algebras.

4. Classical Type II Iso-(Hom-)Lie Algebras

In this section we study classical types II An,  Bl,  Cn, Dl-Iso-(Hom-)Lie algebras over . Give their Iso-automorphisms and isotopies. Prove that they are simple.

Let V be a finite vector space, gl(V) is the linear space with the conventional associative product xy, ∀x, ygl(V). Tgl(V) is an invertible element, 𝔤Tgl(V). (𝔤T, [·, ·] T) is an II type Iso-Lie algebra over , with the bracket defined by [x, y] T = xTyyTx, ∀x, y𝔤T. It is easy to know that the conventional linear Lie algebra over is a special II type Iso-Lie algebra when T is degenerated to the trivial identity.

Theorem 10. Let be a vector space satisfying

()
  • (1)

    Define a bracket [·, ·] T by . Then is an II type Iso-Lie algebra (one calls it an An-Iso-Lie algebra).

  •   (2)

    Define an invertible linear map αP by

    ()

  • where PgL(V) satisfying PT = TP, and then αP is an Iso-automorphism of .

  • (3)

    There is an isotopy between the conventional An-type Lie algebra (sl(n + 1, ), [·, ·]) and . Moreover, is simple.

  • (4)

    Let and be An-Iso-Lie algebras, and then they are isotopic.

  • (5)

    Define a new bracket by

    ()

  • Then is a simple Iso-Hom-Lie algebra (one calls it an An-Iso-Hom-Lie algebra) with an Iso-automorphism ψ defined by , where QgL(V) satisfying TQ = QT and PQ = kQP, for some k.

  •  (6)

    Let be a Hom-Lie algebra with

    ()

  • If Q = kP, for some k is satisfied, then is isotopic to .

  •  (7)

    Let and be An-Iso-Hom-Lie algebras. They are isotopic if and only if P is conjugate with kQ (for some k).

Proof. (1) , there are ; , then ; therefore, . The Jacobi identity can be checked directly. By Definition 8, ,  [·, ·] T) is an II-type Iso-Lie algebra.

(2) Because TP = PT, so TP−1 = P−1T and P−1TP = T are satisfied. Consider ,

()
Therefore .  ,
()
So αP is an Iso-automorphism of .

(3) Define an invertible linear map ϕ by

()
It is obvious that ϕ is invertible and Tr(Tϕ(x)) = 0; therefore, .
()
We have the first conclusion.

Suppose is a nontrivial ideal of . Let . Then

()
Therefore, 𝔤 is a nontrivial ideal of (sl(n + 1, ), [·, ·]), which is a contradiction with the simplicity of (sl(n + 1, ), [·, ·]). We have that is simple.

(4) Define an invertible linear map ϕ by

()
then
()
can be checked as in (3) of the theorem. We have the conclusion.

(5) According to (2) and (3) of the theorem, Lemma 3, Proposition 7, and the definition of Iso-Hom-Lie algebra, we have that is an simple Iso-Hom-Lie algebra. If ψ is an Iso-automorphism of ,  , by Lemma 6, ψ is an Iso-automorphism of the Hom-Lie admissible algebra and satisfying

()

By (2) of the theorem again we have , where QgL(V) satisfies QT = TQ. Consider , and (17) is equivalent to

()

By (3) of the proof, there exists xsl(n + 1, ) such that . Equation (18) is equivalent to

()

By the arbitrariness of , we have for all xsl(n + 1, ), (19) is established. According to Schur′s lemma we have QP = kPQ, for some k.

(6) If ϕ is an isotopy from to ,  αP); according to Lemma 5, ϕ is an isotopy of their Hom-Lie admissible algebras and satisfying

()

By (3) of the theorem, ϕ can be defined as ϕ(x) = T−1x, ∀xsl(n + 1, ). Then ∀xsl(n + 1, ), (20) is equivalent to

()
By Schur′s lemma, we have QP−1 = kEQ = kP, for some k.

(7) According to (6) of the theorem,

()
Then
()
Suppose ϕ is an isomorphism of and , and then ϕ is an automorphism of (sl(n + 1, ), [·, ·]) satisfying
()
By Lie theory ϕ can be defined by ϕ(x) = R−1xR, ∀xsl(n + 1, ), RgL(V). Then (24) is equivalent to
()
By Schur′s lemma we have
()
That is, P and kQ are conjugate (for some k).

Theorem 11. Let V be a 2n-dimensional vector space with a nondegenerate skew symmetric bilinear form f : V × V. A subspace of gl(V) is set

()

(1) On , define a bracket [·, ·] T by . Then (sp(2n, ) T, [·, ·] T) is a II type Iso-Lie algebra (we call it an Cn-Iso-Lie algebra). Define an invertible linear map αP by , where PgL(V) satisfying PT = TP;  PtsP = s. Then αP is an Iso-automorphism of . Furthermore,

()
is a group (we call it the Iso-symplectic group).

(2) Let sp(2n, ) be a conventional symplectic Lie algebra. Define an invertible linear map ϕ by ϕ(x) = xT−1,  ∀ xsp(2n, ). Then ϕ is an isotopy from (sp(2n, ), [·, ·]) to . Furthermore, is simple.

(3) Let and be Cn-Iso-Lie algebras, and then they are isotopic.

(4) On , define a new bracket by

()

Then is a simple Iso-Hom-Lie algebra (we call it an Cn-Iso-Hom-Lie algebra). Define an invertible linear map ψ of by , where   satisfies PQ = kQP, for some k; then ψ is an Iso-automorphism of ,  αP).

(5) Let be a Hom-Lie algebra with

()

If Q = ±P is satisfied, then is isotopic to ,  .

(6) Let and be Cn-Iso-Hom-Lie algebras. They are isotopic if and only if P and kQ are conjugate (for some k).

Proof. (1) Let,

()
So . The Jacobi identity can be checked directly. Hence is an II-type Iso-Lie algebra.

On , define an invertible linear map αP by ,  , where PgL(V) satisfying PT = TP;   PtsP = s, we have

()
So ,
()

Therefore, αP is an Iso-automorphism of . Let ,

()
Hence . It is obvious that E is a unit of and for every element , there is an invertible element . We have that is a group.

(2)   Because sϕ(x)T = sxT−1T = sx = −xts = −Ttϕ(x) ts,   ∀ xsp(2n, ),

()
can be checked as in (3) of Theorem 10. Therefore, ϕ is an isotopy from (sp(2n, ), [·, ·]) to . is simple and can be proved as (3) of Theorem 10.

(3)  Define an invertible linear map ϕ by . Then

()
can be proved as (2) of the proof. Therefore, ϕ is an isotopy from ,   to .

(4) is a simple Iso-Hom-Lie algebra and can be got from (1) and (3) of Theorem, Lemma 3, and Proposition 7 directly. Suppose ψ is an Iso-automorphism of , and according to Lemma 6, ψ is an Iso-automorphism of the Hom-Lie admissible algebra satisfying

()
By (1) of the theorem, ψ can be defined by , where . So (37) is equivalent to
()
By (2) of the proof, ∃xsp(2n, ) such that . Then (38) is equivalent to
()
By the arbitrariness of , we have for all xsp(2n, ), (39) is established. According to Schur′s lemma, we have PQ = kQP, for some k.

(5) Suppose ϕ is an isotopy from to ,  . According to Lemma 5, ϕ is an isotopy of their Hom-Lie admissible algebras satisfying

()
By (2) of theorem, ϕ can be defined by ϕ(x) = xT−1,   ∀ xsp(2n, ). Equation(40) is equivalent to
()
By Schur′s lemma we have Q = kP, for some k. According to (4) of the theorem, , so PtsP = s. Because QSP(2n, ), then QtsQ = skPtskP = k2PtsP = k2s = sk = ±1. We have the conclusion.

(6) The same reason as (7) of Theorem 10, ,  αP) and are isotopic if and only if . Suppose ψ is an isomorphism from to , then ψ is an automorphism of (sp(2n, ), [·, ·])   satisfying

()
By Lie theory we know ψ can be defined by ψ(x) = R−1xR,   ∀ xsp(2n, ), where  RSP(2n, ) and (42) is equivalent to
()
By Schur′s lemma we have PRQ−1R−1 = kER−1PR = kQ. That is, P is conjugate with kQ (for some k).

Theorem 12. Let V be an n-dimensional vector space with a nondegenerate symmetric bilinear form f : V × V. Define a subspace of gl(V) by

()

(1) On define a bracket [·, ·] T by , and then is an II type  Bl(n = 2l + 1) or Dl  (n = 2l) Iso-Lie algebra.

Define an invertible linear map αP by , where PgL(V) satisfying PT = TP,   PtsP = s. Then αP is an Iso-automorphism of . Furthermore,

()
is a group (we call it the Iso-orthogonal group).

(2) Let (so(n, ), [·, ·]) be a conventional orthogonal Lie algebra. On so(n, ), define an invertible linear map ϕ by ϕ(x) = xT−1,   ∀ xso(n, ). Then ϕ is an isotopy from the conventional Lie algebra (so(n, ), [·, ·]) to . Furthermore is simple.

(3) Let and be Bl (or Dl)-Iso-Lie algebras, and then they are isotopic.

(4) On , define a new bracket by

()

Then is a simple Iso-Hom-Lie algebra (we call it a Bl or Dl-Iso-Hom-Lie algebra). On , define an invertible linear map ψ by , where satisfies PQ = kQP, for some k, and then ψ is an Iso-automorphism of .

(5) Let be a Hom-Lie algebra with

()

If Q = ±P is satisfied, then is isotopic to ,.

(6) Let and be Bl (or Dl)-Iso-Hom-Lie algebras. They are isotopic if and only if P and kQ are conjugate (for some k).

Acknowledgment

This project is partially supported by the National Nature science foundation of China (11071187).

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.