A Realization of Hom-Lie Algebras by Iso-Deformed Commutator Bracket
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] = AB − BA, 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 [1–3] 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 [7–9].
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 [1–3] 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
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
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
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
-
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.
Definition 8. An Iso-Lie algebra (𝔤, [·, ·]) is a vector space 𝔤 over ℂ with a bracket [·, ·] defined by [x, y] = x*y − y*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, y ∈ gl(V). T ∈ gl(V) is an invertible element, 𝔤T⊆gl(V). (𝔤T, [·, ·] T) is an II type Iso-Lie algebra over ℂ, with the bracket defined by [x, y] T = xTy − yTx, ∀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 P ∈ gL(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 Q ∈ gL(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 ,
(3) Define an invertible linear map ϕ by
Suppose is a nontrivial ideal of . Let . Then
(4) Define an invertible linear map ϕ by
(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 Q ∈ gL(V) satisfies QT = TQ. Consider , and (17) is equivalent to
By (3) of the proof, there exists x′ ∈ sl(n + 1, ℂ) such that . Equation (18) is equivalent to
By the arbitrariness of , we have for all x′ ∈ sl(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, ∀x ∈ sl(n + 1, ℂ). Then ∀x ∈ sl(n + 1, ℂ), (20) is equivalent to
(7) According to (6) of the theorem,
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 P ∈ gL(V) satisfying PT = TP; PtsP = s. Then αP is an Iso-automorphism of . Furthermore,
(2) Let sp(2n, ℂ) be a conventional symplectic Lie algebra. Define an invertible linear map ϕ by ϕ(x) = xT−1, ∀ x ∈ sp(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,
On , define an invertible linear map αP by , , where P ∈ gL(V) satisfying PT = TP; PtsP = s, we have
Therefore, αP is an Iso-automorphism of . Let ,
(2) Because sϕ(x)T = sxT−1T = sx = −xts = −Ttϕ(x) ts, ∀ x ∈ sp(2n, ℂ),
(3) Define an invertible linear map ϕ by . Then
(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
(5) Suppose ϕ is an isotopy from to , . According to Lemma 5, ϕ is an isotopy of their Hom-Lie admissible algebras satisfying
(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
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 P ∈ gL(V) satisfying PT = TP, PtsP = s. Then αP is an Iso-automorphism of . Furthermore,
(2) Let (so(n, ℂ), [·, ·]) be a conventional orthogonal Lie algebra. On so(n, ℂ), define an invertible linear map ϕ by ϕ(x) = xT−1, ∀ x ∈ so(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).