Reach Us
+44-1522-440391

**Xin TANG**^{*}

Department of Mathematics and Computer Science, Fayetteville State University, Fayetteville NC 28304, U.S.A.

- *Corresponding Author:
- Xin TANG

Department of Mathematics and Computer Science

Fayetteville State University

Fayetteville NC 28304, U.S.A.

**E-mail:**[email protected]

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

Starting from a Hecke R-matrix, Jing and Zhang constructed a new deformation Uq(sl2) of U(sl2) and studied its finite dimensional representations in [Pacific J. Math., 171 (1995), 437-454]. In this note, more irreducible representations for this algebra are constructed. At first, by using methods in noncommutative algebraic geometry the points of the spectrum of the category of representations over this new deformation are studied. The construction recovers all finite dimensional irreducible representations classified by Jing and Zhang, and yields new families of infinite dimensional irreducible weight representations.

Spectral theory of abelian categories was first initiated by Gabriel in [5]. In particular, Gabriel defined the injective spectrum of any noetherian Grothendieck category. The injective spectrum consists of isomorphism classes of indecomposable injective objects in the category endowed with the Zariski topology. If R is a commutative noetherian ring, then the injective spectrum of the category of all R-modules is homeomorphic to the prime spectrum of R. This homeomorphism is a part (and the main step in the argument) of the Gabriel’s reconstruction Theorem [5], according to which any noetherian commutative scheme can be uniquely reconstructed up to isomorphism from the category of quasi-coherent sheaves on it.

The general spectrum of arbitrary abelian category was defined by Rosenberg [15]. Using this spectrum, one can reconstruct any quasi-separated and quasi-compact scheme from the category of quasi-coherent sheaves on the scheme.

Isomorphism classes of simple objects of any abelian category correspond to closed points of its spectrum, and, under some mild finiteness conditions, this correspondence is bijective. For instance, the correspondence is bijective for the category of modules over an associative ring, or, more generally, for the category of quasi-coherent sheaves on a noncommutative (that is not necessarily commutative) scheme.

Thus, in order to study irreducible representations, one can first study the spectrum of the category of all representations, then single out its closed points.

As a specific application of spectral theory to representation theory, points of the spectrum of the category of modules have been constructed for a large family of algebras, which are called Hyperbolic algebras in [15]. And it is a pure luck that a lot of important “small” algebras, including *U*(*sl _{2}*) and its quantized versions, are Hyperbolic algebras.

Starting from a Hecke R-matrix, Jing and Zhang constructed a new deformation U_{q}(*sl _{2}*) of U(

Note that Uq(sl2) also belongs to a general class of algebras studied in [2], where the irreducible weight modules for these algebras are classified based on the study of certain dynamical system. However, this note studies representations from the perspective of noncommutative algebraic geometry, and serves the purpose of providing a more transparent construction of irreducible weight representations for Uq(sl2). Indeed, based on sufficient knowledge about the structure of Uq(sl2), we are able to carry out explicit calculations.

To solve the problem, we first construct families of points for the spectrum of the category of representations for this deformation. Applied to the study of representations, our construction recovers all finite dimensional irreducible representations of Uq(sl2) constructed in [7], and produces new families of infinite dimensional irreducible representations as well. This work can also be regarded as one more nice application of the methods in noncommutative algebraic geometry to representation theory. For more details about spectral theory, we refer the reader to [15].

The paper is organized as follows. In Section 2, we give a very brief review on the spectrum of an abelian category. In Section 3, we review the concept of Hyperbolic algebras. In Section 4, we review some basic facts about the new deformation Uq(sl2) introduced by Jing and Zhang, and prove some supplementary useful Lemmas. In Section 5, we construct families of points of the spectrum for Uq(sl2). Then we use them to construct irreducible representations for this new deformation Uq(sl2). We follow the notations in [7], but we will always denote the new deformation by Uq(sl2). The base field will be fixed to be the complex field *C*, and *q *is not a root of unity.

In this section, we are going to review some basic notions and facts about the spectrum of any abelian category for the purpose of understanding the rest of this work. First, we review the definition of the spectrum of any abelian category, then we explain its applications in representation theory.

Let be an abelian category. Let be any two objects in ; We say that if and only if N is a subquotient of the direct sum of finite copies of *M.* It is easy to verify that is a preorder. We say if and only if and . It is obvious that is an equivalence. Let* Spec(X)* be the family of all nonzero objects such for all nonzero subobject N of *M, N M*. The spectrum of the abelian category is defined [15] by

It is endowed with a natural analogue of the Zariski topology.

The spectrum of an abelian category is one of the fundamental notions of noncommutative algebraic geometry.

The spectrum also has important applications in representation theory. This is due to the fact that there is a natural embedding of the set of isomorphism classes of simple objects of the category into the set of closed points of *Spec(X).* If every nonzero object of the category has a simple subquotient, then the embedding is a bijection. In particular, if A is an algebra and is the category of left A-modules, then the closed points of *Spec(X)* are in a bijective correspondence with isomorphism classes of irreducible A-modules. The spectrum *Spec(X) *has much better functorial properties than the set of its closed points, like in the case of commutative algebraic geometry. So one can study the spectrum via the methods in noncommutative algebraic geometry, then apply to representation theory ([15]).

**2.1 The left spectrum of a ring**

If CX is the category* A−mod* of left modules over a ring A, then it is sometimes convenient to express the points of Spec(X) in terms of left ideals of the ring A. In order to do it, the *left* spectrum *Specl(A) *was defined in [15], which is by definition the set of all left ideals p of A such that *A/p* is an object of Spec(X). The relation on *A − mod* induces a *specialization *relation among left ideals, in particular, the specialization relation on Specl(A). Namely, *A/m A/n* iff there exists a finite subset x of elements of A such that the ideal is contained in *m.* Following [15], we denote this by Note that the relation ≤ is just the inclusion if n is a two-sided ideal. In particular, it is the inclusion if the ring A is commutative. The map which assigns to an element of *Specl(A) *induces a bijection of the quotient of Specl(A) by the equivalence relation associated with ≤ onto *Spec(X).* From now on, we will not distinguish and will express results in terms of the left spectrum.

The rest of this paper is a typical application of spectral theory to representation theory of “small” algebras.

Hyperbolic algebras are studied by Rosenberg in [15] and by Bavula under the name of Generalized Weyl algebras in [1]. Hyperbolic algebra structure is very convenient for the construction of points of the spectrum. And a lot of interesting algebras such as U(sl2) and its quantized versions have a Hyperbolic algebra structure. Points of the spectrum of the category of modules over these algebras have been constructed in [15]. In this section, we review some basic facts about Hyperbolic algebras and two important construction theorems due to Rosenberg ([15]). Let be an automorphism of a commutative algebra R; and let be an element of R. Then we have the following definition from [15].

Definition 3.1. We denote by the corresponding *R−*algebra generated by *x, y *subject to the following relations:

for all

First, we look at some basic examples of Hyperbolic algebras.

**Example 3.1.** The first Weyl algebra *A _{1} *is a Hyperbolic algebra over and its quantized versions are Hyperbolic algebras too. And the reader to referred to [15] for more details about Hyperbolic algebras.

Let mod be the category of left modules over The Hyperbolic algebra structure is very convenient for the construction of points of the spectrum* Spec(X)*. We replace the study of Spec(X) by the study of the left spectrum Specl() of the hyperbolic algebra (see 2.1 above).

For the left spectrum of the Hyperbolic algebra, we have the following two crucial construction theorems due to Rosenberg from [15].

Theorem 3.1 ([15], Theorem 3.2.2.). 1. Let the orbit of *P* under the action of the automorphism θ is infinite.

*2. If the ideal P in (b), (c) or (d) is maximal, then the corresponding left ideal of Specl() is maximal.*

*3. Every left ideal such that is equivalent to one left ideal as defined above uniquely from a prime ideal The latter means that if are two prime ideals of R and (α,β) and (v, μ) take values or (1, n), then , is equivalent to if and only if *

**Theorem 3.2** ([15], Proposition 3.2.3.). 1. Let be a prime ideal of such that

*2. Moreover, if P is a left ideal of such that In particular, if P is a maximal ideal, then is a maximal left ideal.*

3. If a prime ideal is such thatthen for some integer n. Conversely,

Starting from an *R*−matrix, Jing and Zhang constructed a new deformation (which is still denoted by in [7]). This new deformation is a bialgebra deformation of U(sl_{2}) [7]. In this section, we first recall the definition of this new deformation Then we verify thathas a Hyperbolic algebra structure over a polynomial ring in two variables. Finally, we will state and verify some supplementary useful formulas, which will be used in the next section.

Let be the field of complex numbers and be an element of . Let be the −algebra generated by e, f, h subject to following relations:

It is easy to see that this new deformation shares a lot of properties with *U(sl _{2}) *. However, this new deformation is just a bialgebra deformation of

In addition, it has a Casimir element which is defined as follows:

We have the following basic lemma about this Casmir element *C* from [7].

*Lemma 4.1 ([7], Lemma 3.4). The Casimir element C q−commutes with generators of* in the following sense:

We have the following corollary of Lemma 4.1.

**Corollary 4.1.** The element h commutes with ef.

**Proof. **This follows directly from the definition of C and Lemma 4.1.

Let us denote *ef* by respectively. Let be the subalgebra of generated by is a polynomial ring in two variables which is thus commutative. We will verify that is a Hyperbolic algebra over R.

First of all, let us define an endomorphism θ of R by

It is obvious that θ is an algebra automorphism. In addition, we have the following basic

**Lemma 4.2. ***The following identities hold:*

**Proof.** The verification of the above lemma is straightforward, and is left to the reader.

From Lemma 4.2, we obtain the following

**Proposition 4.1. ** is a Hyperbolic algebra over R.

**Proof.** This follows directly from the definition of Hyperbolic algebras and Lemma 4.2.

**Corollary 4.2.** The Gelfand-Kirillov dimension of is **3.**

Proof. This follows from the fact that is a Hyperbolic algebra over a polynomial algebra in two variables. Since the Gelfand-Kirillov dimension of the latter is 2, the Gelfand-Kirillov dimension of is **3.**

Before we finish this section, we would like to state another useful lemma, which will be needed in the next section.

**Lemma 4.3.** One has

*and*

**Proof. **First of all, we prove the statement is true for When *n = 0, *the statement is obviously true. And we have Suppose that the statement is true for *n − 1. *Note that we have

So we have proved the first statement for by using induction. Similar argument shows that the statement is true for all

Now we are going to prove the second statement. Since C is in R, then we have and by Lemma 4.1. So we have .Thus

Therefore, we have

for all

In this section, we construct families of points of the spectrum of the category of representations of using the construction theorems quoted in Section 2 from [15]. As a result, we will obtain families of irreducible weight representations of

First of all, we have the following basic

**Proposition 5.1.** Let *be a closed point of Spec(R). Then* is a finite set if and only if

**Proof. **If

then

In addition,

So the orbit of *P *is finite if and only if

and

hence if and only if

that completes the proof.

For the rest of this section, we may assume that We have the following

**Theorem 5.1.*** Suppose that q is not a root of unity and* *is a half non-negative integer.*

*Let*

*be a maximal ideal of R, then the corresponding point*

*of the left spectrum is a closed point. Hence the representation corresponding to this point is a finite dimensional irreducible representation of* .

**Proof.** If

then we have andThus the statement follows from (b) of part (1) of the Theorem 3.1.

**Remark 5.1. **The representations constructed above recover all finite dimensional irreducible representations as constructed in [7].

Now we are going to construct some new families of infinite dimensional irreducible weight representations. Suppose is a maximal ideal of R, then we have the following

**Theorem 5.2. 1. If**

*for all non-negative half integer s, then the corresponding point*

*of the spectrum is closed. And the corresponding representation is an infinite dimensional irreducible highest weight representation.*

2. If

*for all half positive integers s, then the corresponding point*

*of the spectrum is closed, and the corresponding representation is an infinite dimensional irreducible lowest weight representation.*

**Proof. **We will only verify the first part of this statement, and the rest is similar. According to Lemma 4.4, we have

If

then we have a closed point of the left spectrum by Theorem 3.1, hence the corresponding representation is an infinite dimensional highest weight irreducible representation.

**Theorem 5.3. **Let be a maximal ideal of *R* such that

for all then the point is a closed point of the left spectrum, and the corresponding representation is an infinite dimensional irreducible weight representation.

**Proof. **The proof is a direct verification of the conditions in Theorem 3.2, and we will omit it here.

**Remark 5.2.** It is tempting to construct some nonweight irreducible representations for [17, 18]. Unfortunately, the Whittaker model does not work here. The difficulty lies in that the algebra has a trivial center. So it would be an interesting problem to find a way of constructing nonweight irreducible representations for this new deformation .

The author is very grateful to the referees for their comments and suggestions, which have significantly improved the paper.

- BavulaVV(1993) Generalized Weyl algebras and their representations. Algebra i Analiz,4(1992),75-97; English translation in St Petersburg Math J 4: 71-93.
- CassidyT, SheltonB (2004) Basic properties of generalized down-up algebras. J Algebra 279: 402–421.
- DixmierJ (1977) Enveloping algebras. North-Holland, Amsterdam.
- DrinfeldVG (1985)Hopf algebras and the quantum Yang-Baxter equations. Soviet Math Dokl 32: 254-258.
- Gabriel P (1962) Des categories abeliennes. Bull Soc Math France 90: 323-449.
- JantzenJC (1993) Lectures on Quantum Groups. Graduate Studies in MathAmer Math Soc6.
- JingN, ZhangJ (1995) Quantum Weyl algebras and Deformations ofU (G). Pacific J Math 171: 437-454.
- JiQZ, WangDG, ZhouXQ(2000) Finite dimensional Representations of Quantum groupsUq(f(K)). East-West J Math 2: 201-213.
- KostantB (1978) On Whittaker vectors and representation theory. Invent Math 48: 101-184.
- Kulkarni R (1999) Irreducible representations of Witten’s deformations ofU(sl2). J of Algebra 214: 64-91.
- LarssonD, SilvestrovSD. Quasi-deformations ofsl2(F) using twisted derivations. Preprintmath.RA/0506172.
- Lynch T (1979) Generalized Whittaker vectors and representation theory. M.I.T., Ph.D. Thesis.
- Macdowell E(1985)On modules induced from Whittaker modules. J Algebra 96: 161-177.
- OndrusM (2005) Whittaker modules forUq (sl2). J Algebra 289: 192-213.
- Rosenberg A (1995)Non commutative algebraic geometry and representations of quantized algebras.Kluwer Academic Publishers, Mathematics and Its Applications 330.
- SmithSP(1990) A class of algebras similar to the enveloping algebra ofsl2. Trans Amer Math Soc 322: 285-314.
- TangX Constructing irreducible representations of quantum groupsUq(f(K)). Preprint.
- TangX (2007) On Whittaker modules over algebras similar toU(sl2). Front Math China 2:121-136

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

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

October-2007 - Aug 20, 2019] - Breakdown by view type
- HTML page views :
**8381** - PDF downloads :
**3797**

**Make the best use of Scientific Research and information from our 700 + peer reviewed, Open Access Journals**

International Conferences 2019-20