In this paper, we establish the connection between the quantized W-algebra of ${\frak sl}(2,1)$ and quantum parafermions of $U_q(\hat {\frak sl}(2))$ that a shifted product of the two quantum parafermions of $U_q(\hat {\frak sl}(2))$ generates the quantized W-algebra of ${\frak sl}(2,1)$.
We determine Zhu's algebra and C_2-algebra of parafermion vertex operator algebras for sl_2. Moreover, we prove the C_2-cofiniteness of parafermion vertex operator algebras for any finite dimensional simple Lie algebras.
The rationality of the parafermion vertex operator algebra associated to any finite dimensional simple Lie algebra and any nonnegative integer is established and the irreducible modules are determined.
The structure of the parafermion vertex operator algebra associated to an integrable highest weight module for any affine Kac-Moody algebra is studied. In particular, a set of generators for this algebra has been determined.
It is proved that the parafermion vertex operator algebra associated to the irreducible highest weight module for the affine Kac-Moody algebra A_1^{(1)} of level k coincides with a certain W-algebra. In particular, a set of generators for the parafermion vertex operator algebra is determined.
The quantum dimensions and the fusion rules for the parafermion vertex operator algebra associated to the irreducible highest weight module for the affine Kac-Moody algebra A_1^{(1)} of level k are determined.
The irreducible modules for the parafermion vertex operator algebra associated to any finite dimensional Lie algebra and any positive integer are identified, the quantum dimensions are computed and the fusion rules are determined.
This paper is about the orbifold theory of affine and parafermion vertex operator algebras. It is known that the parafermion vertex operator algebra $K(sl_2,k)$ associated to the integrable highest weight modules for the affine Kac-Moody algebra $A_1^{(1)}$ is the building block of the general parafermion vertex operator $K(\mathfrak{g},k)$ for any finite dimensional simple Lie algebra $\mathfrak{g}$ and any positive integer $k$. We first classify the irreducible modules of $\mathbb{Z}_{2}$-orbifold of the simple affine vertex operator algebra of type $A_1^{(1)}$ and determine their fusion rul…
In this paper, the irreducible modules for the $\mathbb{Z}_{2}$-orbifold vertex operator subalgebra of the parafermion vertex operator algebra associated to the irreducible highest weight modules for the affine Kac-Moody algebra $A_1^{(1)}$ of level $k$ are classified and constructed.
An irreducible module for the parafermion vertex operator algebra $K(\mathfrak{sl}_2,k)$ is said to be of $σ$-type if an automorphism of the fusion algebra of $K(\mathfrak{sl}_2,k)$ of order $k$ is trivial on it. For any integer $k \ge 3$, we show that there exists an automorphism of order $2$ of the subalgebra of the fusion algebra of $K(\mathfrak{sl}_2,k)^{\langle θ\rangle}$ spanned by the irreducible direct summands of $σ$-type irreducible $K(\mathfrak{sl}_2,k)$-modules, where $θ$ is an involution of $K(\mathfrak{sl}_2,k)$. We discuss some examples of such an automorphism as well.
It is proved that the regularity of parafermion vertex operator algebras associated to integrable highest weight modules for affine Kac-Moody algebra A_1^{(1)} implies the C_2-cofiniteness of parafermion vertex operator algebras associated to integrable highest weight modules for any affine Kac-Moody algebra. In particular, the parafermion vertex operator algebra associated to an integrable highest weight module of small level for any affine Kac-Moody algebra is C_2-cofinite and has only finitely many irreducible modules. Also, the parafermion vertex operator algebras with level 1 are determin…
In this paper, the structure of the parafermion vertex operator algebra associated to an integrable highest weight module for simple affine Lie superalgebra $osp(1|2n)$ is studied. Particularly, we determine the generators for this algebra.
The trace functions for the Parafermion vertex operator algebra associated to any finite dimensional simple Lie algebra $\g$ and any positive integer $k$ are studied and an explicit modular transformation formula of the trace functions is obtained.
It is proved that for a vector space W, any set of parafermion-like vertex operators on W in a certain canonical way generates a generalized vertex algebra in the sense of [DL2] with W as a natural module. This result generalizes a result of [Li2]. As an application, generalized vertex algebras are constructed from Lepowsky-Wilson's Z-algebras of any nonzero level.
We study parafermion vertex algebras $N_{-3/2}(\frak{sl}(2))$ and $N_{-3/2}(\frak{sl}(3))$. Using the isomorphism between $N_{-3/2}(\frak{sl}(3))$ and the logarithmic vertex algebra $\mathcal{W}^{0} (2)_{A_2} $ from [2], we show that these parafermion vertex algebras are infinite direct sums of irreducible modules for the Zamolodchikov algebra $\mathcal{W}(2,3)$ of central charge $c=-10$, and that $N_{-3/2}(\frak{sl}(3))$ is a direct sum of irreducible $N_{-3/2}(\frak{sl}(2))$-modules. As a byproduct, we prove certain conjectures about the vertex algebra $\mathcal{W}^0(p)_{A_2}$. We also obtai…
There is an embedding of affine vertex algebras $V^k(\mathfrak{gl}_n) \hookrightarrow V^k(\mathfrak{sl}_{n+1})$, and the coset $\mathcal{C}^k(n) = \text{Com}(V^k(\mathfrak{gl}_n), V^k(\mathfrak{sl}_{n+1}))$ is a natural generalization of the parafermion algebra of $\mathfrak{sl}_2$. It was called the algebra of generalized parafermions by the third author and was shown to arise as a one-parameter quotient of the universal two-parameter $\mathcal{W}_{\infty}$-algebra of type $\mathcal{W}(2,3,\dots)$. In this paper, we consider an analogous structure of orthogonal type, namely $\mathcal{D}^k(n) …
The conformal field theory based on the $g/u(1)^d$ coset construction is treated as the WZNW theory for the affine Lie algebra $\hat g$ with the constrained $\hat u(1)^d$ subalgebra.Using a modification of the generalized canonical quantization method generators and primary fields of an extended symmetry algebra are found for arbitrary d.
The parafermionic cosets $C_k = \mathrm{Com} (H, L_k(\mathfrak{sl}_2) )$ are studied for negative admissible levels $k$, as are certain infinite-order simple current extensions $B_k$ of $C_k$. Under the assumption that the tensor theory considerations of Huang, Lepowsky and Zhang apply to $C_k$, all irreducible $C_k$- and $B_k$-modules are obtained from those of $L_k(\mathfrak{sl}_2)$, as are the Grothendieck fusion rules of these irreducible modules. Notably, there are only finitely many irreducible $B_k$-modules. The irreducible $C_k$- and $B_k$-characters are computed and the latter are sho…
We define a planar para algebra, which arises naturally from combining planar algebras with the idea of $\mathbb{Z}_{N}$ para symmetry in physics. A subfactor planar para algebra is a Hilbert space representation of planar tangles with parafermionic defects, that are invariant under para isotopy. For each $\mathbb{Z}_{N}$, we construct a family of subfactor planar para algebras which play the role of Temperley-Lieb-Jones planar algebras. The first example in this family is the parafermion planar para algebra (PAPPA). Based on this example, we introduce parafermion Pauli matrices, quaternion re…
We study certain Poisson structures related to quantized enveloping algebras. In particular, we give a description of the Poisson structure of a certain manifold associated to the ring of differential operators.
In this article the quantized matrix algebras as in the title have been studied at a root of unity. A full classification of simple modules over such quantized matrix algebras of rank $2$ along with a class of finite dimensional indecomposable modules are given.
In this paper, we give a criterion on the semisimplicity of quantized walled Brauer algebras $\mathscr B_{r,s}$ and classify its simple modules over an arbitrary field $κ$.
We obtain a presentation of quantum Schur algebras (over the field Q(v)) by generators and relations. This presentation is compatible with the usual presentation of the quantized universal enveloping algebra of the Lie algebra gl(2). We also locate the ``integral'' form of the quantum Schur algebra within the presented algebra and show it has a basis which is closely related to Lusztig's basis of the integral form of the quantized enveloping algebra.
We prove an integral version of the Schur--Weyl duality between the specialized Birman--Murakami--Wenzl algebra $B_n(-q^{2m+1},q)$ and the quantum algebra associated to the symplectic Lie algebra sp_{2m}. In particular, we deduce that this Schur--Weyl duality holds over arbitrary (commutative) ground rings, which answers a question of Lehrer and Zhang [Strongly multiplicity free modules for Lie algebras and quantum groups, J. Algebra (1) 306 (2006), 138--174] in the symplectic case. As a byproduct, we show that, as $Z[q,q^{-1}]$-algebra, the quantized coordinate algebra defined by Kashiwara is…
We propose a quantum analogue of a Tits-Kantor-Koecher algebra with a Jordan torus as an coordinated algebra by looking at the vertex operator construction over a Fock space.
We study a monoid associated to complex semisimple Lie algebras, called the quantic monoid. Its monoid ring is shown to be isomorphic to a degenerate quantized enveloping algebra. Moreover, we provide normal forms and a straightening algorithm for this monoid. All these results are proved by a realization in terms of representations of quivers, namely as the monoid of generic extensions of a quiver with automorphism.
A quantized symplectic oscillator algebra of rank 1 is a PBW deformation of the smash product of the quantum plane with U_q(sl_2). We study its representation theory, and in particular, its category O.
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})$.
In this paper, we establish explicit relationship between decomposition numbers of quantized walled Brauer algebras and those for either Hecke algebras associated to certain symmetric groups or (rational) $q$-Schur algebras over a field $κ$. This enables us to use Ariki's result \cite{Ar} and Varagnolo-Vasserot's result \cite{VV} to compute such decomposition numbers via inverse Kazhdan-Lusztig polynomials associated with affine Weyl groups of type $A$ if the ground field is $\mathbb C$.
The modified quantized enveloping algebra $\dot{\mathbf{U}}$ has a remarkable canonical basis, which was introduced by Lusztig. In this paper, we give an explicit description of all elements of the canonical basis of $\dot{\mathbf{U}}$ for type $A_{2}$.
We will give an explicit description of the center of the De Concini-Kac type specialization of a quantized enveloping algebra at an even root of unity. The case of an odd root of unity was already dealt with by De Concini-Kac-Procesi. Our description in the even case is similar to but a little more complicated than the odd case.
We propose a rational quantum deformed nonlocal currents in the homogenous space $SU(2)_k/U(1)$, and in terms of it and a free boson field a representation for the Drinfeld currents of Yangian double at a general level $k=c$ is obtained. In the classical limit $\hbar \to 0$, the quantum nonlocal currents become $SU(2)_k$ parafermion, and the realization of Yangian double becomes the parafermion realization of $SU(2)_k$ current algebra.
Let $\mathfrak{g}$ be a compact simple Lie algebra. We modify the quantized enveloping $^*$-algebra associated to $\mathfrak{g}$ by a real-valued character on the positive part of the root lattice. We study the ensuing Verma module theory, and the associated quotients of these modified quantized enveloping $^*$-algebras. Restricting to the locally finite part by means of a natural adjoint action, we obtain in particular examples of quantum homogeneous spaces in the operator algebraic setting.
We give a unified construction of quantum groups, q-Boson algebras and quantized Weyl algebras and an action of quantum groups on quantized Weyl algebras. This enables us to give a conceptual proof of the semi-simplicity of the category $\mathcal{O}(B_q)$ introduced by T.Nakashima and the classification of all simple objects in it.
We show that the finite-dimensional fundamental module over a quantized affine algebra is isomorphic to a Demazure module of a higest weight module of level one as a module over a quantized classical universal enveloping algebra.
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.
Belov-Kanel and Kontsevich conjectured that the group of automorphisms of the n'th Weyl algebra and the group of polynomial symplectomorphisms of C^2 are canonically isomorphic. We discuss how this conjecture can be approached by means of (second) quantized Weyl algebras at roots of unity.
A Bernstein-Gelfand-Gelfand resolution for arbitrary Kac-Moody algebras and arbitrary subsets of the set of simple roots is proven. Moreover, quantum group analogs of the Bernstein-Gelfand-Gelfand resolution for symmetrizable Kac-Moody algebras are established. For quantized enveloping algebras with fixed complex nonzero deformation parameter q exactness is proven for all q which are not a root of unity.
We construct a monomial basis of the positive part of the quantized enveloping algebra associated to a finite-dimensional simple Lie algebra. As an application we give a simple proof of the existence and uniqueness of the canonical basis of the positive part.
Starting from bosonization, we study the operator that commute or commute up-to a total difference with of any quantized screen operator of a free field. We show that if there exists a operator in the form of a sum of two vertex operators which has the simplest correlation functions with the quantized screen operator, namely a function with one pole and one zero, then, the screen operator and this operator are uniquely determined, and this operator is the quantized virasoro algebra. For the case when the screen is a fermion, there are a family of this kind of operator, which give new algebraic…
For quantized universal enveloping algebras we construct weight modules by inducing representations of the centralizer of the Cartan subalgebra in the quantized universal enveloping algebra. The induced modules arising from finite-dimensional weight modules the centralizer algebra are studied. In particular, we study the induction of one-dimensional modules, and this is related to the study of commutative subalgebras of the centralizer algebra. For the special case of $U_q(\mathfrak{sl}(2,\mathbb{C}))$ we show that we get the admissible unitary representations corresponding to the non-compact …
We develop a method to give presentations of quantized function algebras of complex reductive groups. In particular, we give presentations of quantized function algebras of automorphism groups of finite dimensional simple complex Lie algebras.
For the Borel part of a quantized enveloping algebra we classify all right coideal subalgebras for which the intersection with the coradical is a Hopf algebra. The result is expressed in terms of characters of the subalgebras $U^+[w]$ of the quantized enveloping algebra, introduced by de Concini, Kac, and Procesi for any Weyl group element $w$. We explicitly determine all characters of $U^+[w]$ building on recent work by Yakimov on prime ideals of $U^+[w]$ which are invariant under a torus action. Key words: Quantum groups, coideal subalgebras
We introduce an integral form U of the quantized enveloping algebra of sl_2. The algebra U is just large enough so that the quasi-R-matrix is contained in a completion of U\otimes U. We study several completions of the algebra U, and determine their centers. This study is motivated by a study of integrality properties of the quantum sl_2 invariants of links and integral homology spheres.
An explicit realization of the affine Lie algebra \hat{sl}_2(C) at the critical level is constructed using a mixture of bosons and parafermions. Subsequently a representation of the associated Lepowsky-Wilson Z-algebra is given on a space of the tensor product of bosonic fields and certain semi-infinite wedge products.
We prove the decomposition conjecture of Leclerc and Thibon for the Schur algebra. We also give a new approach to the Lusztig conjecture for the dimension of the simple U(sl_k)-modules at roots of unity via canonical bases of the Hall algebra.
For a class of pointed Hopf algebras including the quantized enveloping algebras, we discuss cleft extensions, cocycle deformations and the second cohomology. We present such a non-standard method of computing the abelian second cohomology that derives information from the non-abelian second cohomology classifying cleft extensions. As a sample computation, a quantum analogue of Whitehead's second lemma for Lie-algebra cohomology is proved.
We use the fusion construction in the twisted quantum affine algebras to obtain a unified method to deform the wedge product for classical Lie algebras. As a byproduct we uniformly realize all non-spin fundamental modules for quantized enveloping algebras of classical types, and show that they admit natural crystal bases as modules for the (derived) twisted quantum affine algebra. These crystal bases are parametrized in terms of the $q$-wedge products.
We construct braid group actions on coideal subalgebras of quantized enveloping algebras which appear in the theory of quantum symmetric pairs. In particular, we construct an action of the semidirect product of Z^n and the classical braid group in n strands on the coideal subalgebra corresponding to the symmetric pair (sl_{2n}(C), sp_{2n}(C)). This proves a conjecture by Molev and Ragoucy. We expect similar actions to exist for all symmetric Lie algebras. The given actions are inspired by Lusztig's braid group action on quantized enveloping algebras and are defined explicitly on generators. Br…
For a quantized enveloping algebra of a complex semisimple Lie algebra with deformation parameter not a root of unity, we classify all homogeneous right coideal subalgebras. Any such right coideal subalgebra is determined uniquely by a triple consisting of two elements of the Weyl group and a subset of the set of simple roots satisfying some natural conditions. The essential ingredients of the proof are the Lusztig automorphisms and the classification of homogeneous right coideal subalgebras of the Borel Hopf subalgebras of quantized enveloping algebras obtained previously by H.-J. Schneider a…