Medical, Pharma, Engineering, Science, Technology and Business

**Yongsheng CHENG ^{1*} a and Yiqian SHI ^{2}**

^{1}Institute of Contemporary Mathematics & College of Mathematics and Information Science, Henan University, Kaifeng 475004, China

^{2}Department of Mathematics, University of Science and Technology of China, Hefei 230026, China

- *Corresponding
*Aut*hor: - Yongsheng CHENG

Institute of Contemporary Mathematics & College of Mathematics and Information Science,

Henan University, Kaifeng 475004, China

E-mail:

**Received date: ** April 14, 2009;** Revised date:** October 03, 2009

**Visit for more related articles at** Journal of Generalized Lie Theory and Applications

We use the general method of quantization by Drinfel'd twist element to quantize explicitly the Lie bialgebra structures on the q-analog Virasoro-like algebras studied in Comm. Algebra, 37 (2009), 1264{1274.

The study of Lie bialgebras [1,2] is now well established as an inβnitesimalization of the notion of a quantum group or Hopf algebra. A Lie bialgebra is a Lie algebra g provided with a Lie cobracket which is related to the Lie bracket by a certain compatibility condition. According to quantum groups theory, a quantum group is essentially a formal deformation of the universal enveloping algebra of a Lie algebra g, the semiclassical structure associated with such a deformation is a Lie bialgebra structure on g. Constructing quantizations of Lie bialgebras is an important method to produce new quantum groups. Using the method twisting the coproduct by a Drinfel'd twist element but keeping the product unchanged, Grunspan [3] presented the quantization of a class of inβnite dimensional Lie algebras con- taining Virasoro algebras studied in [4] (see also [5,6]). Using the same technique, Hu and Wang [7] quantized some Lie algebras presented in [8]. In a recent paper [9], the Lie bialgebra structures of q-analog Virasoro-like algebras L with the basis and brackets

for were considered, where 0 ≠ q ∈ C is a fixed non-root of unity. Here we treat L0;0 as zero. Obviously, the Lie algebra is Z^{2}-graded (however its structural constant β2 is not linearly dependent on the gradings ; β; in this case, the Lie algebra is called *non-linear*). This Lie algebra is closely related to the Virasoro and Virasoro-like algebras and the Lie algebras of Cartan type *S *and *H* (cf. [15,16]), which is probably why this type of Lie algebras has attracted some attentions in the literature (cf. [10,11,12,13,14,17,18]).

In this paper, we will use the techniques developed in [3,7] to construct the quantization of this type of bialgebra. However, since in our case the Lie algebra is *non-linear*, some of our arguments may render rather technical.

We βx a βeld F of characteristic zero. Let *A* be a unitary *R-*algebra (*R* is a ring). For z ∈ A, n ∈ Z, we set

that is

Obviously

The following lemma can be found in [3].

**Lemma 1.1.** *Let z be any element of a unitary F-algebras A. For a; d ∈ F, and m; n; r ∈ Z, one has*

where in general is the binomial coecient.

Denote by (U(),μ,τ,Δ_{0}; S_{0}; ε_{0}) the natural Hopf algebra structure on U(L) (the univer- sal enveloping algebra of the Lie algebra L), that is, the coproduct 0, the antipode S_{0} and the counit ε_{0} are respectively deβned by

The following deβnition and well-known result can be found in [2].

**Defnition 1.2.** Let (H,μ,τ,Δ_{0}; S_{0}; ε_{0}) be a Hopf algebra over a commutative ring. An element is called Drinfel'd twist element, if it is invertible such that

Lemma 1.3. Let (H,μ,τ,Δ_{0}; S_{0}; ε_{0}) be a Hopf algebra over a commutative ring, and let be a Drinfel'd twist element of then

Let (U(g),μ,τ,Δ_{0}; S_{0}; ε_{0}) be the natural Hopf algebra structure, where g is a triangular Lie bialgebra, and denote by U(g)[[t]] an associative F-algebra of formal power series with coecients in U(g). Naturally, U(g)[[t]] is equipped with an induced Hopf algebra structure arising from that on U(g).

**Defnition 1.4.** For a triangular Lie bialgebra g over F, the Hopf algebra (U(g)[[t]],μ,τ,Δ_{0}; S_{0}; ε_{0}) is called a quantization of (U(g),μ,τ,Δ_{0}; S_{0},ε_{0}) by a Drinfel'd twist element , if U(g)[[t]]=tU(g)[[t]] ≅ U(g) and is determined by its *r*-matrix *r*.

The following result is obtained in [9].

**Lemma 1.5. ***There is a triangular Lie bialgebra structure on the Lie algebras given by the r-matrix where T and E are deβned in (1:8).*

The main result of this paper is the following theorem.

**Theorem 1.6. ***Let L be the q-analog Virasoro-like algebras with [T;E] = E (cf. (1.8)), then there exists a noncommutative and noncocommutative Hopf algebra structure (U(L)[[t],μ,τ,Δ _{0}; S_{0},ε) on U(L)[[t]], such that U(L)[[t]]=tU(L)[[t]] = U(L), which preserves the product and the counit of U(L)[[t]], but the coproduct and antipode are deβned by*

where

In fact, we can introduce the operator it is easy to check that

Thus, (1.9) and (1.11) in Theorem 1.6 can be rewritten as

From above, in order to quantize the Lie bialgebra structures on q-analog Virasoro-like algebras, the key is to construct the Drinfel'd twisting, thus we have to do some necessary computation.

**Lemma 2.1. ***Let L be the q-analog Virasoro-like algebras. The following equations hold in U():*

**Proof. **Since [T;L_{β}] = cL_{β}, we have L_{β}T = (T -c)L_{β}. It is easy to see that (2.1) is true for m = 1. We can suppose that the βrst equation of (2.1) is true for m, then for m+1, we have

Thus we get (2.1) by induction on m. The second equation in (2.1), (2.2) and (2.3) can be veriβed in a similar way. Since

Similarly, we can obtain (2.5).

For a 2 F, we set

where *t* denotes a formal variable. Denote Since

**Lemma 2.2. **For a; d 2 C, one has

Therefore the elements are invertible elements with

**Proof. **Using the formula (1.5), we have

For the second equation, using (2.2) and (1.5), we have

**Lemma 2.3.*** For any positive integer m and any a 2 F, one has*

*In particular, one has*

**Proof. **In order to get the result, we want to use induction. Since it is easy to see that the result is true for m = 1; suppose that it is true for m, then it is enough to consider the condition for m + 1,

Therefore, the result is proved by induction.

**Proposition 2.4. ** *is a Drinfel'd twist element of (U(L)[[t]]μ,τ,Δ _{0}; S_{0}; ε_{0}), that is satisβes (1.6) and (1.7).*

**Proof.** The proof of (1.7) is easy, we just need to check (1.6). Since

and on the other hand,

thus, to verify (1.6), it suces to show for a βxed m that

Now, x r, s, q such that r +s = m, 0 ≤ q ≤ s, set i = q, i+k = s, then we have j = m-q, j - k = r. We see that the coecients of in both sides are equal. So the result follows.

**Lemma 2.5. **One has for any

where

**Proof. **By the second equation of (2.1) we have

this prove (2.12). For (2.10), using (2.4), we have

this proves (2.10). The following two equations give the proofs of (2.11) and (2.12):

Using (1.4) and (2.5), we have

which gives (2.12). The equations (2.14) and (2.15) follow from the following computations:

Finally,

which proves the last equation of the lemma.

Now we can prove our main theorem in this paper.

**Proof of Theorem 1.6. **For arbitrary elements, L_{β} ∈ , i = 1; 2. First, using (2.7), (2.12) and (2.10), we have

Using (2.7), (2.12) and (2.13), we have

Using (2.7) and (2.11), we have

Using (2.7), (2.14), (2.15) and (2.16), we have

This completes the proof of the theorem.

This work is supported by the National Science Foundation of China (No. 10825101), the Postdoctoral Science Foundation of China (No. 20090450810), the Natural Science Foun- dation of Henan Provincial Education Department of China (No. 2010B110003) and the Natural Science Foundation of Henan University of China (No. 2009YBZR025).

- Drinfel'd V(1983) Constant quasiclassical solutions of the Yang-Baxter quantum equation,DoklAkadNauk SSSR 273: 531-535.
- Drinfel'd V (1987) Quantum groups,Proceedings of the International Congress of Mathemati-cians(Berkeley, CA, 1986), 798{820, American Mathematical Society, Providence, RI,USA, 1987.
- Grunspan C [ 2004] Quantizations of the Witt algebra and of simple Lie algebras in charac-teristicp,J. Algebra 280: 145-161.
- Michaelis W (1994) A Class of in nite-dimensional Lie bialgebras containing the Virasoroalgebras,Adv. Math.,107: 365-392.
- Taft EJ, Witt (1993) Virasoro algebras as Lie bialgebras,J. Pure Appl. Algebra 87: 301-312.
- Ng SH,Taft EJ (2000)Classication of the Lie bialgebra structures on the Witt andVirasoroalgebras,J. Pure Appl. Algebra 151: 67-88.
- Hu N, Wang X (2007)Quantizations of generalized-Witt algebra and of Jacobson-Wittalgebra in modular case,J. Algebra,312: 902-929.
- Song G, Su Y (2006) Liebialgebras of generalized Witt type,Sci. China Ser. A, 49: 533-544.
- Cheng Y, Shi Y (2009) Liebialgebra structures on theq-analogVirasoro-like algebras,Comm. Algebra,37: 1264-1274.
- Lin W, Tan S (2006) Harish-Chandra modules for theq-analogVirasoro-like algebra,J. Algebra,297: 254-272.
- Shen R, Su Y (2007)Classication of irreducible weight modules with a nite-dimensionalweight space over twisted Heisenberg-Virasoroalgebra,Acta Math. Sin(Engl. Ser.) 23: 189192.12Y. Cheng and Y. Shi
- Su Y (2004) Quasi nite representations of a Lie algebra of Block type,J. Algebra 276: 117-128.
- Su Y, Xu X (2001)Structure of divergence-free Lie algebras,J. Algebra 243: 557-595.
- Su Y, Zhou J (2002) Structure of the Lie algebras related to those of block,Comm.Algebra 30: 3205-3226.
- Xu (2000) New generalized simple Lie algebras of Cartan type over a eld with character-istic 0,J. Algebra,224: 23-58.
- Xu X (1999) Generalizations of Block algebras,Manuscripta Math.,100: 489-518.
- Wu Y, Song G, SuY(2006) Lie bialgebras of generalized Virasoro-like type, ActaMath.Sin. (Engl. Ser.) 22: 1915-1922.
- YueX,Su Y (2008) Highest weight representations of a family of Lie algebras of Blocktype,Acta Math. Sin. (Engl. Ser.) 24: 687-696

Select your language of interest to view the total content in your interested language

- Adomian Decomposition Method
- Algebra
- Algebraic Geometry
- Analytical Geometry
- Applied Mathematics
- Axioms
- Balance Law
- Behaviometrics
- Big Data Analytics
- Binary and Non-normal Continuous Data
- Binomial Regression
- Biometrics
- Biostatistics methods
- Clinical Trail
- Combinatorics
- Complex Analysis
- Computational Model
- Convection Diffusion Equations
- Cross-Covariance and Cross-Correlation
- Deformations Theory
- Differential Equations
- Differential Transform Method
- Fourier Analysis
- Fuzzy Boundary Value
- Fuzzy Environments
- Fuzzy Quasi-Metric Space
- Genetic Linkage
- Geometry
- Hamilton Mechanics
- Harmonic Analysis
- Homological Algebra
- Homotopical Algebra
- Hypothesis Testing
- Integrated Analysis
- Integration
- Large-scale Survey Data
- Latin Squares
- Lie Algebra
- Lie Superalgebra
- Lie Theory
- Lie Triple Systems
- Loop Algebra
- Matrix
- Microarray Studies
- Mixed Initial-boundary Value
- Molecular Modelling
- Multivariate-Normal Model
- Noether's theorem
- Non rigid Image Registration
- Nonlinear Differential Equations
- Number Theory
- Numerical Solutions
- Operad Theory
- Physical Mathematics
- Quantum Group
- Quantum Mechanics
- Quantum electrodynamics
- Quasi-Group
- Quasilinear Hyperbolic Systems
- Regressions
- Relativity
- Representation theory
- Riemannian Geometry
- Robust Method
- Semi Analytical-Solution
- Sensitivity Analysis
- Smooth Complexities
- Soft biometrics
- Spatial Gaussian Markov Random Fields
- Statistical Methods
- Super Algebras
- Symmetric Spaces
- Theoretical Physics
- Theory of Mathematical Modeling
- Three Dimensional Steady State
- Topologies
- Topology
- mirror symmetry
- vector bundle

- 7th International Conference on Biostatistics and Bioinformatics

September 26-27, 2018 Chicago, USA - Conference on Biostatistics and Informatics

December 05-06-2018 Dubai, UAE - Mathematics Congress - From Applied to Derivatives

December 5-6, 2018 Dubai, UAE

- Total views:
**11892** - [From(publication date):

November-2010 - Feb 20, 2018] - Breakdown by view type
- HTML page views :
**8078** - PDF downloads :
**3814**

Peer Reviewed Journals

International Conferences
2018-19