We study the representations of the W-algebra W(g) associated to an arbitrary finite-dimensional simple Lie algebra g via the quantized Drinfeld-Sokolov reductions. The characters of irreducible representations with non-degenerate highest weights are expressed by Kazhdan-Lusztig polynomials. The irreduciblity conjecture of Frenkel, Kac and Wakimoto is proved completely for the "-" reduction and partially for the "+" reduction. In particular, the existence of the minimal series representations (= the modular invariant representations) of W(g) is proved.
The notion of locally finite part of the dual coalgebra of certain quantized coordinate rings is introduced. In the case of irreducible flag manifolds this locally finite part is shown to coincide with a natural quotient coalgebra V of U_q(g). On the way the coradical filtration of V is determined. A graded version of the duality between V and the quantized coordinate ring is established. This leads to a natural construction of several examples of quantized vector spaces. As an application covariant first order differential calculi on quantized irreducible flag manifolds are classified. Keywor…
The quantum group version of the Bernstein-Gelfand-Gelfand resolution is used to construct a double complex of U_q(g)-modules with exact rows and columns. The locally finite dual of its total complex is identified with the de Rham complex for quantized irreducible flag manifolds.
We study irreducible *-representations of a certain quantization of the algebra of polynomial functions on a generalized flag manifold regarded as a real manifold. All irreducible *-representations are classified for a subclass of flag manifolds containing in particular the irreducible compact Hermitian symmetric spaces. For this subclass it is shown that the irreducible *-representations are parametrized by the symplectic leaves of the underlying Poisson bracket. We also discuss the relation between the quantized flag manifolds studied in this paper and the quantum flag manifolds studied by S…
It is shown that quantized irreducible flag manifolds possess a canonical $q$-analogue of the de Rham complex. Generalizing the well known situation for the standard Podleś' quantum sphere this analogue is obtained as the universal differential calculus of a distinguished first order differential calculus. The corresponding differential $\dif$ can be written as a sum of differentials $\del$ and $\delbar$. The universal differential calculus corresponding to the first order differential calculi $\dif$, $\del$, and $\delbar$ are given in terms of generators and relations. Relations to well known…
We prove an analogue of Weyl's law for quantized irreducible generalized flag manifolds. By this we mean defining a zeta function, similarly to the classical setting, and showing that it satisfies the following two properties: as a functional on the quantized algebra it is proportional to the Haar state; its first singularity coincides with the classical dimension. The relevant formulae are given for the more general case of compact quantum groups.
We consider the quantized Knizhnik-Zamolodchikov difference equation (qKZ) with values in a tensor product of irreducible sl(2) modules, the equation defined in terms of rational R-matrices. We solve the equation in terms of multidimensional q-hypergeometric integrals. We identify the space of solutions of the qKZ equation with the tensor product of the corresponding modules over the quantum group $U_qsl(2)$. We compute the monodromy of the qKZ equation in terms of the trigonometric R-matrices.
We prove a vanishing theorem of the cohomology arising from the two Quantized Drinfeld-Sokolov reductions (``+'' and ``-'' reduction) introduced by Feigin-Frenkel and Frenkel-Kac-Wakimoto. As a consequence, the vanishing conjecture of Frenkel-Kac-Wakimoto is proved for the ``-'' reduction and partially for the ``+'' reduction.
Around 1990 Soibelman constructed certain irreducible modules over the quantized coordinate algebra. A. Kuniba, M. Okado, Y. Yamada recently found that the relation among natural bases of Soibelman's irreducible module can be described using the relation among the PBW-type bases of the positive part of the quantized enveloping algebra, and proved this fact using case-by-case analysis in rank two cases. In this paper we will give a realization of Soibelman's module as an induced module, and give a unified proof of the above result of Kuniba, Okado, Yamada. We also verify Conjecture 1 of Kuniba,…
We study the properties of level zero modules over quantized affine algebras. The proof of the conjecture on the cyclicity of tensor products by Akasaka and the present author is given. Several properties of modules generated by extremal vectors are proved. The weights of a module generated by an extremal vector are contained in the convex hull of the Weyl group orbit of the extremalweight. The universal extremal weight module with level zero fundamental weight as an extremal weight is irreducible, and isomorphic to the affinization of an irreducible finite-dimensional module.
We prove a version of the Poincare-Birkhoff-Witt theorem for the twisted quantized enveloping algebra U'_q(sp_2n). This is a subalgebra of U_q(gl_2n) and a deformation of the universal enveloping algebra U(sp_2n) of the symplectic Lie algebra. We classify finite-dimensional irreducible representations of U'_q(sp_2n) in terms of their highest weights and show that these representations are deformations of the finite-dimensional irreducible representations of sp_2n.
By properly specializing the parameters irreducible modules of maximal dimension for the De Concini-Kac version of the Drinfeld-Jimbo quantum algebra in type $A$ may be transformed into modules over Lusztig's infinitesimal quantum algeba. Thus obtained modules have a simple socle and a simple head, and share the same dimension as the infinitesimal Verma modules. Despite these common features we find that they are never isomorphic to infinitesimal Verma modules unless they are irreducible. The same carry over to the modular setup for the special linear groups in positive characteristic.
An algorithm is described to compute the canonical basis of an irreducible module over a quantized enveloping algebra of a finite-dimensional semisimple Lie algebra. The algorithm works for modules that are constructed as a submodule of a tensor product of modules with known canonical bases.
The so called quantized algebras of functions on affine Hecke algebras of type A and the corresponding q-Schur algebras are defined and their irreducible unitarizable representations are classified.
Recently, Kuniba, Okado and Yamada proved that the transition matrix of PBW-type bases of the positive-half of a quantized universal enveloping algebra $U_q(\mathfrak{g})$ coincides with a matrix coefficients of the intertwiner between certain irreducible modules over the corresponding quantized coordinate ring $A_q(\mathfrak{g})$, introduced by Soibelman. In the present article, we give a new proof of their result, by using representation theory of the $q$-boson algebra, and the Drinfeld paring of $U_q(\mathfrak{g})$.
We develop an operator commutant version of the First Fundamental Theorem of invariant theory for the general linear quantum group $U_q(\mathfrak{gl}_n)$ by using a double centralizer property inside a quantized Clifford algebra. In particular, we show that $U_q(\mathfrak{gl}_m)$ generates the centralizer of the $U_q(\mathfrak{gl}_n)$-action on the tensor product of braided exterior algebras $\bigwedge_q(\mathbb{C}^n)^{\otimes m}$. We obtain a multiplicity-free decomposition of the $U_q(\mathfrak{gl}_n) \otimes U_q(\mathfrak{gl}_m)$-module $\bigwedge_q(\mathbb{C}^n)^{\otimes m} \cong \bigwedge…
Let $U_q(\hat{\cal G})$ denote the quantized affine Lie algebra and $U_q({\cal G}^{(1)})$ the quantized {\em nontwisted} affine Lie algebra. Let ${\cal O}_{\rm fin}$ be the category defined in section 3. We show that when the deformation parameter $q$ is not a root of unit all integrable representations of $U_q(\hat{\cal G})$ in the category ${\cal O}_{\rm fin}$ are completely reducible and that every integrable irreducible highest weight module over $U_q({\cal G}^{(1)})$ corresponding to $q>0$ is equivalent to a unitary module.
We investigate the algebra $F_q(N)$ introduced by Faddeev, Reshetikhin and Takhadjian. In case $q$ is a primitive root of unity the degree, the center, and the set of irreducible representations are found. The Poisson structure is determined and the De Concini-Kac-Procesi Conjecture is proved for this case. In the case of $q$ generic, the primitive ideals are described. A related algebra studied by Oh is also treated.
Let R be a Noetherian domain and let (σ, δ) be a quasi-derivation of R such that σ is an automorphism. There is an induced quasi-derivation on the classical quotient ring Q of R. Suppose F = t^2 - v is normal in the Ore extension R[t; σ, δ] where v ε R. We show F is prime in R[t; σ, δ] if and only if F is irreducible in Q[t; σ, δ] if and only if there does not exist w ε Q such that v = σ (w)w - δ (w). We apply this result to classify prime quadratic forms in quantum planes and quantized Weyl algebras.
A Dirac operator D on quantized irreducible generalized flag manifolds is defined. This yields a Hilbert space realization of the covariant first-order differential calculi constructed by I. Heckenberger and S. Kolb. All differentials df=i[D,f] are bounded operators. In the simplest case of Podles' quantum sphere one obtains the spectral triple found by L. Dabrowski and A. Sitarz.
Let $U_q(\hat{\cal G})$ be a quantized affine Lie algebra. It is proven that the universal R-matrix $R$ of $U_q(\hat{\cal G})$ satisfies the celebrated conjugation relation $R^\dagger=TR$ with $T$ the usual twist map. As applications, braid generators are shown to be diagonalizable on arbitrary tensor product modules of integrable irreducible highest weight $U_q(\hat{\cal G})$-module and a spectral decomposition formula for the braid generators is obtained which is the generalization of Reshetikhin's and Gould's forms to the present affine case. Casimir invariants are constructed and their eig…
We study quantized enveloping algebras called twisted Yangians. They are analogues of the Yangian Y(gl(N)) for the classical Lie algebras of B, C, and D series. The twisted Yangians are subalgebras in Y(gl(N)) and coideals with respect to the coproduct in Y(gl(N)). We give a complete description of their finite-dimensional irreducible representations. Every such representation is highest weight and we give necessary and sufficient conditions for an irreducible highest weight representation to be finite-dimensional. The result is analogous to Drinfeld's theorem for the ordinary Yangians. Its de…
A classification of finite dimensional irreducible representations of the nonstandard $q$-deformation $U'_q(so_n)$ of the universal enveloping algebra $U(so(n, C))$ of the Lie algebra $so(n, C)$ (which does not coincides with the Drinfeld--Jimbo quantized universal enveloping algebra $U_q(so_n)$) is given for the case when $q$ is not a root of unity. It is shown that such representations are exhausted by representations of the classical and nonclassical types. Examples of the algebras $U'_q(so_3)$ and $U'_q(so_4)$ are considered in detail. The notions of weights, highest weights, highest weigh…
This paper is the detailed version of math.QA/0403477 (T. Arakawa, Quantized Reductions and Irreducible Representations of W-Algebras) with extended results; We study the representation theory of the W-algebra $W_k(g)$ associated with a simple Lie algebra $g$ (and its principle nilpotent element) at level k. We show that the "-" reduction functor is exact and sends an irreducible module to zero or an irreducible module at any level k. Moreover, we show that the character of each irreducible highest weight representation of $W_k(g)$ is completely determined by that of the corresponding irreduci…
For a finite-dimensional simple Lie algebra $\mathfrak{g}$, let $U^+_q(\mathfrak{g})$ be the positive part of the quantized universal enveloping algebra, and $A_q(\mathfrak{g})$ be the quantized algebra of functions. We show that the transition matrix of the PBW bases of $U^+_q(\mathfrak{g})$ coincides with the intertwiner between the irreducible $A_q(\mathfrak{g})$-modules labeled by two different reduced expressions of the longest element of the Weyl group of $\mathfrak{g}$. This generalizes the earlier result by Sergeev on $A_2$ related to the tetrahedron equation and endows a new represent…
Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank 2, and set $λ=Λ_{1} - Λ_{2}$, where $Λ_{1}$, $Λ_{2}$ are the fundamental weights. Denote by $V(λ)$ the extremal weight module of extremal weight $λ$ with $v_λ$ the extremal weight vector, and by $\mathcal{B}(λ)$ the crystal basis of $V(λ)$ with $u_λ$ the element corresponding to $v_λ$. We prove that (i) $\mathcal{B}(λ)$ is connected, (ii) the subset $\mathcal{B}(λ)_μ$ of elements of weight $μ$ in $\mathcal{B}(λ)$ is a finite set for every integral weight $μ$, and $\mathcal{B}(λ)_λ = \{u_λ\}$, (iii) every extremal element in $\mathcal…
We consider Dolbeault-Dirac operators on quantized irreducible flag manifolds as defined by Krähmer and Tucker-Simmons. We show that, in general, these operators do not satisfy a formula of Parthasarathy-type. This is a consequence of two results that we prove here: we always have quadratic commutation relations for the relevant quantum root vectors, up to terms in the quantized Levi factor; there are examples of quantum Clifford algebras where the commutation relations are not of quadratic-constant type.
We prove in this paper that the periodic cyclic homology of the quantized algebras of functions on coadjoint orbits of connected and simply connected Lie group, are isomorphic to the periodic cyclic homology of the quantized algebras of functions on coadjoint orbits of compact maximal subgroups, without localization. Some noncompact quantum groups and algebras were constructed and their irreducible representations were classified in recent works of Do Ngoc Diep and Nguyen Viet Hai, and Do Duc Hanh by using deformation quantization. In this paper we compute their K-groups, periodic cyclic homol…
One of the algebraic structures that has emerged recently in the study of the operator product expansions of chiral fields in conformal field theory is that of a Lie conformal algebra. A Lie pseudoalgebra is a generalization of the notion of a Lie conformal algebra for which C[\partial] is replaced by the universal enveloping algebra H of a finite-dimensional Lie algebra. The finite (i.e., finitely generated over H) simple Lie pseudoalgebras were classified in our previous work. The present paper is the second in our series on representation theory of simple Lie pseudoalgebras. In the first pa…
Reduction of the left regular representation of quantum algebra $sl_q(3)$ is studied and ~$q$-difference intertwining operators are constructed. The irreducible representations correspond to the spaces of local sections of certain line bundles over the q-flag manifold.
We propose the following receipt to obtain the quantization of the Poisson submanifold $N$ defined by the equations $f_i=0$ (where $f_i$ are Casimirs) from the known quantization of the manifold $M$: one should consider factor algebra of the quantized functions on $M$ by the images of $D(f_i)$, where $D: Fun(M) \to Fun(M)\otimes \CC[\hbar]$ is Duflo-Kirillov-Kontsevich map. We conjecture that this algebra is isomorphic to quantization of $Fun(N)$ with Poisson structure inherited from $M$. Analogous conjecture concerning the Hamiltonian reduction saying that "deformation quantization commutes w…
We study the restricted form of the qaunatized enveloping algebra of an untwisted affine Lie algebra and prove a triangular decomposition for it. In proving the decomposition we prove several new identities in the quantized algebra, one of these show a connection between the quantized algebra and Young diagrams. These identities are all invisible in the non-quantum case of the problem which was considered by Garland in 1978. We then study the finite-dimensional irreducible representations and prove a factorization theorem for such representations.
Every irreducible finite-dimensional representation of the quantized enveloping algebra U_q(gl_n) can be extended to the corresponding quantum affine algebra via the evaluation homomorphism. We give in explicit form the necessary and sufficient conditions for irreducibility of tensor products of such evaluation modules.
The problem of describing the singular vectors of $\cW_3$ and $\cW_3^{(2)}$ Verma modules is addressed, viewing these algebras as BRST quantized Drinfeld-Sokolov (DS) reductions of $A^{(1)}_2\,$. Singular vectors of an $A^{(1)}_2\,$ Verma module are mapped into $\W$ algebra singular vectors and are shown to differ from the latter by terms trivial in the BRST cohomology. These maps are realized by quantum versions of the highest weight DS gauge transformations.
Let $G$ be a connected simply-connected simple complex algebraic group and $\mathfrak{g}$ the corresponding simple Lie algebra. In the first half of the present paper, we study the relation between the positive part $U_q(\mathfrak{n^+})$ of the quantized enveloping algebra $U_q(\mathfrak{g})$ and the specific irreducible representations of the quantized function algebra $\mathbb{Q}_q[G]$, taking into account the right $U_q(\mathfrak{g})$-algebra structure of $\mathbb{Q}_q[G]$. This work is motivated by Kuniba, Okado and Yamada's result together with Tanisaki and Saito's results. In the latter …
The main aim of this paper is to give classes of irreducible infinite dimensional representations and of irreducible $*$-representations of the q-deformed algebra $U'_q(so_{2,2})$ which is a real form of the non-standard deformation $U'_q(so_4)$ of the universal enveloping algebra $U(so(4,C))$. These representations are described by two complex parameters and are obtained by "analytical continuation" of the irreducible finite dimensional representations of the algebra $U'_q(so_4)$ in the basis corresponding to the reduction from $U'_q(so_4)$ to $U(so_2\oplus so_2)$.
Analogs of the classical Sylvester theorem have been known for matrices with entries in noncommutative algebras including the quantized algebra of functions on GL(N) and the Yangian for gl(N). We prove a version of this theorem for the twisted Yangians Y(g(N)) associated with the orthogonal and symplectic Lie algebras g(N)=o(N) or sp(N). This gives rise to representations of the twisted Yangian Y(g(N-M)) on the space of g(M)-homomorphisms Hom(W,V), where W and V are finite-dimensional irreducible modules over g(M) and g(N), respectively. In the symplectic case these representations turn out to…
We consider dimensional reduction of the Bagger-Lambert-Gustavsson theory to a zero-dimensional 3-Lie algebra model and construct various stable solutions corresponding to quantized Nambu-Poisson manifolds. A recently proposed Higgs mechanism reduces this model to the IKKT matrix model. We find that in the strong coupling limit, our solutions correspond to ordinary noncommutative spaces arising as stable solutions in the IKKT model with D-brane backgrounds. In particular, this happens for S^3, R^3 and five-dimensional Neveu-Schwarz Hpp-waves. We expand our model around these backgrounds and fi…
