Y. Hara, M. Jimbo, H. Konno, S. Odake, J. Shiraishi
备注:
8 pages
发表信息:
Recent Developments in Infinite-Diminsional Lie Algebras and Conformal Field Theory, Proceedings of the Conference on Infinite-dimensional Lie Theory, Contemporary Mathematics 297, AMS, Providence, 2002.
We show that the deformed Virasoro algebra specializes in a certain limit to Lepowsky-Wilson's Z-algebra. This leads to a free field realization of the affine Lie algebra \hat{sl_2} which respects the principal gradation. We discuss some features of this bosonization including the screening current and vertex operators.
It was recently conjectured that the AGT correspondence between the $U(r)$-instanton counting on $\mathbb R^4/\mathbb Z_p$ and the two-dimensional field theories with the conformal symmetry algebra $\mathcal A(r,p)$ can be considered as a root of unity limit of its K-theoretic analogue. From this point of view, the algebra $\mathcal A(r,p)$ and a special basis in its representation are limits of the Ding-Iohara algebra and the Macdonald polynomials respectively. In this paper we confirm this conjecture for the special case $r=1$. We uncover the implicit $\mathcal A(1,p)$ symmetry in this limit…
This is the second paper in a series to study regular representations for vertex operator algebras. In this paper, given a module $W$ for a vertex operator algebra $V$, we construct, out of the dual space $W^{*}$, a family of canonical (weak) $V\otimes V$-modules called ${\cal{D}}_{Q(z)}(W)$ parametrized by a nonzero complex number $z$. We prove that for $V$-modules $W,W_{1}$ and $W_{2}$, a $Q(z)$-intertwining map of type ${W'\choose W_{1}W_{2}}$ in the sense of Huang and Lepowsky exactly amounts to a $V\otimes V$-homomorphism from $W_{1}\otimes W_{2}$ to ${\cal{D}}_{Q(z)}(W)$ and that a $Q(z)…
We introduce a twisted quantum affine algebra associated to each simply laced finite dimensional simple Lie algebra. This new algebra is a Hopf algebra with a Drinfeld-type comultiplication. We obtain this algebra by considering its vertex representation. The vertex representation quantizes the twisted vertex operators of Lepowsky-Wilson and Frenkel-Lepowsky-Meurman. We also introduce a twisted quantum loop algebra for the Kac-Moody case and give its level one representation.
Certain combinatorial bases of Feigin-Stoyanovsky's type subspaces of level k standard modules for affine Lie algebra sl(r,C)\sptilde are parametrized by (k,r)-admissible configurations. In this note we use Capparelli-Lepowsky-Milas' method to give a new proof of linear independence of these bases, the main ingredient in the proof being the use of Dong-Lepowsky's intertwining operators for fundamental sl(r,C)\sptilde-modules.
This contribution is mainly based on joint papers with Lepowsky and Milas, and some parts of these papers are reproduced here. These papers further extended works by Lepowsky and by Milas. Following our joint papers, I explain the general principles of twisted modules for vertex operator algebras in their powerful formulation using formal series, and derive general relations satisfied by twisted and untwisted vertex operators. Using these, I prove new "equivalence" and "construction" theorems, identifying a set of sufficient conditions in order to have a twisted module for a vertex operator al…
In this article, we show that a framed vertex operator algebra V satisfying the conditions: (1) V is holomorphic (i.e., V is the only irreducible V-module); (2) V is of rank 24; and (3) V_1=0; is isomorphic to the moonshine vertex operator algebra constructed by Frenkel-Lepowsky-Meurman.
Automorphisms of the infinite dimensional Onsager algebra are introduced. Certain quotients of the Onsager algebra are formulated using a polynomial in these automorphisms. In the simplest case, the quotient coincides with the classical analog of the Askey-Wilson algebra. In the general case, generalizations of the classical Askey-Wilson algebra are obtained. The corresponding class of solutions of the non-standard classical Yang-Baxter algebra are constructed, from which a generating function of elements in the commutative subalgebra is derived. We provide also another presentation of the Ons…
The higher rank Askey-Wilson algebra was recently constructed in the $n$-fold tensor product of $U_q(\mathfrak{sl}_2)$. In this paper we prove a class of identities inside this algebra, which generalize the defining relations of the rank one Askey-Wilson algebra. We extend the known construction algorithm by several equivalent methods, using a novel coaction. These allow to simplify calculations significantly. At the same time, this provides a proof of the corresponding relations for the higher rank $q$-Bannai-Ito algebra.
The relation between Wilson and para-Racah polynomials and representations of the degenerate rational Sklyanin algebra is established. Second order Heun operators on quadratic grids with no diagonal terms are determined. These special or S-Heun operators lead to the rational degeneration of the Sklyanin algebra; they also entail the contiguity and structure operators of the Wilson polynomials. The finite-dimensional restriction yields a representation that acts on the para-Racah polynomials.
The Askey-Wilson algebra is realized in terms of the elements of the quantum algebras $U_q(\mathfrak{su}(2))$ or $U_q(\mathfrak{su}(1,1))$. A new realization of the Racah algebra in terms of the Lie algebras $\mathfrak{su}(2)$ or $\mathfrak{su}(1,1)$ is given also. Details for different specializations are provided. The advantage of these new realizations is that one generator of the Askey-Wilson (or Racah) algebra becomes diagonal in the usual representation of the quantum algebras whereas the second one is tridiagonal. This allows to recover easily the recurrence relations of the associated …
This paper studies the algebraic aspect of a general abelian coset theory with a work of Dong and Lepowsky as our main motivation. It is proved that the vacuum space $Ω_{V}$ (or the space of highest weight vectors) of a Heisenberg algebra in a general vertex operator algebra $V$ has a natural generalized vertex algebra structure in the sense of Dong and Lepowsky and that the vacuum space $Ω_{W}$ of a $V$-module $W$ is a natural $Ω_{V}$-module. The automorphism group $\Aut_{Ω_{V}}Ω_{V}$ of the adjoint $Ω_{V}$-module is studied and it is proved to be a central extension of a certain torsion free…
The Askey--Wilson algebras were used to interpret the algebraic structure hidden in the Racah--Wigner coefficients of the quantum algebra $U_q(\mathfrak{sl}_2)$. In this paper, we display an injection of a universal analog $\triangle_q$ of Askey--Wilson algebras into $U_q(\mathfrak{sl}_2)\otimes U_q(\mathfrak{sl}_2)\otimes U_q(\mathfrak{sl}_2)$ behind the application. Moreover we formulate the decomposition rules for $3$-fold tensor products of irreducible Verma $U_q(\mathfrak{sl}_2)$-modules and of finite-dimensional irreducible $U_q(\mathfrak{sl}_2)$-modules into the direct sums of finite-di…
The occurrence of the Askey-Wilson (AW) algebra in the $SU(2)$ Chern-Simons (CS) theory and in the Reshetikhin-Turaev (RT) link invariant construction with quantum algebra $U_q(\mathfrak{su}_2)$ is explored. Tangle diagrams with three strands with some of them enclosed in a spin-$1/2$ closed loop are associated to the generators of the AW algebra. It is shown in both the CS theory and RT construction that the link invariant of these tangles obey the relations of the AW generators. It follows that the expectation values of certain Wilson loops in the CS theory satisfy relations dictated by the …
It is shown how certain idempotents in the Griess algebra generate the discrete series representations for the Virasoro algebra inside the Frenkel-Lepowsky-Meurman's moonshine module vertex operator algebra. It is also shown that each Niemeier lattice determines (in many ways) certain maximal associative subalgebras of the Griess algebra.
The $q$-deformed Bannai-Ito algebra was recently constructed in the threefold tensor product of the quantum superalgebra $\mathfrak{osp}_q(1\vert 2)$. It turned out to be isomorphic to the Askey-Wilson algebra. In the present paper these results will be extended to higher rank. The rank $n-2$ $q$-Bannai-Ito algebra $\mathcal{A}_n^q$, which by the established isomorphism also yields a higher rank version of the Askey-Wilson algebra, is constructed in the $n$-fold tensor product of $\mathfrak{osp}_q(1\vert 2)$. An explicit realization in terms of $q$-shift operators and reflections is proposed, …
We study a certain linear automorphism of a vertex operator algebra induced by the formal change of variable $f(x)=e^x-1$ and describe examples showing how this relates the theory of vertex operator algebras to Bernoulli numbers, Bernoulli polynomial values, and related numbers. We give a recursion for such numbers derived using vertex operator relations, and study the Jacobi identity for modified vertex operators that was introduced in work of Lepowsky.
The $sl_N$-Onsager algebra has been introduced by Uglov and Ivanov in 1995. In this letter, a FRT presentation of the $sl_N$-Onsager algebra is given, its current algebra and commutative subalgebra are constructed. Certain quotients of the $sl_N$-Onsager algebra are then considered, which produce `classical' analogs of higher rank extensions of the Askey-Wilson algebra. As examples, the cases $N=3$ and $N=4$ are described in details.
A description of the embedding of the universal Askey--Wilson algebra, AW(3), in $U_q(sl_2)^{\otimes 3}$ is given in terms of the universal R-matrix of $U_q(sl_2)$. The generators of the centralizer of $U_q(sl_2)$ in its three-fold product are naturally expressed through conjugations of Casimir elements with R. They are identified as the images of the generators of AW(3) under the embedding map by showing that they obey the AW(3) relations. This is achieved by introducing a natural coaction also constructed with the help of the R-matrix.
Within the quantum affine algebra representation theory we construct linear covariant operators that generate the Askey-Wilson algebra. It has the property of a coideal subalgebra, which can be interpreted as the boundary symmetry algebra of a model with quantum affine symmetry in the bulk. The generators of the Askey-Wilson algebra are implemented to construct an operator valued $K$- matrix, a solution of a spectral dependent reflection equation. We consider the open driven diffusive system where the Askey-Wilson algebra arises as a boundary symmetry and can be used for an exact solution of t…
We describe a logarithmic tensor product theory for certain module categories for a ``conformal vertex algebra.'' In this theory, which is a natural, although intricate, generalization of earlier work of Huang and Lepowsky, we do not require the module categories to be semisimple, and we accommodate modules with generalized weight spaces. The corresponding intertwining operators contain logarithms of the variables.
The centralizer of the image of the diagonal embedding of $U_q(\mathfrak{sl}_2)$ in the tensor product of three irreducible representations is examined in a Schur-Weyl duality spirit. The aim is to offer a description in terms of generators and relations. A conjecture in this respect is offered with the centralizers presented as quotients of the Askey-Wilson algebra. Support for the conjecture is provided by an examination of the representations of the quotients. The conjecture is also shown to be true in a number of cases thereby exhibiting in particular the Temperley-Lieb, Birman-Murakami-We…
The $q$-difference equation, the shift and the contiguity relations of the Askey-Wilson polynomials are cast in the framework of the three and four-dimensional degenerate Sklyanin algebras $\mathfrak{ska}_3$ and $\mathfrak{ska}_4$. It is shown that the $q$-para Racah polynomials corresponding to a non-conventional truncation of the Askey-Wilson polynomials form a basis for a finite-dimensional representation of $\mathfrak{ska}_4$. The first order Heun operators defined by a degree raising condition on polynomials are shown to form a five-dimensional vector space that encompasses $\mathfrak{ska…
A novel generalization of the Askey-Wilson algebra is presented and shown to be associated with coproducts in the quantum algebra $U_q(su(1,1))$. This algebra has 15 non-commuting generators given by $Q^{(A)}$, with $A\subset \{1,2,3,4\}$ and their 5 linearly independent inversions generated by the algebra automorphism $q\rightarrow q^{-1}$, $E\leftrightarrow F.$ The set of generators can be split into operators fixed under inversion, and those with an orientation under this inversion. We then show that the generators will either commute or satisfy q-commutator relations linear in the generato…
This is the third in a series of papers studying the vertex-algebraic structure of principal subspaces of twisted modules for lattice vertex operator algebras. We focus primarily on lattices $L$ whose Gram matrix contains only non-negative entries. We develop further ideas originally presented by Calinescu, Lepowsky, and Milas to find presentations (generators and relations) of the principal subspace of a certain natural twisted module for the vertex operator algebra $V_L$. We then use these presentations to construct exact sequences involving this principal subspace, which give a set of recur…
We incorporate a category of certain modules for an affine Lie algebra, of a certain fixed non-positive-integral level, considered by Kazhdan and Lusztig, into the representation theory of vertex operator algebras, by using the logarithmic tensor product theory for generalized modules for a vertex operator algebra developed by Huang, Lepowsky and the author. We do this by proving that the conditions for applying this general logarithmic tensor product theory hold. As a consequence, we prove that this category has a natural vertex tensor category structure, and in particular we obtain a new, ve…
The little and big q-Jacobi polynomials are shown to arise as basis vectors for representations of the Askey-Wilson algebra. The operators that these polynomials respectively diagonalize are identified within the Askey-Wilson algebra generated by twisted primitive elements of $\mathfrak U_q(sl(2))$. The little q-Jacobi operator and a tridiagonalization of it are shown to realize the equitable embedding of the Askey-Wilson algebra into $\mathfrak U_q(sl(2))$.
Recently Pascal Baseilhac and Stefan Kolb obtained a PBW basis for the $q$-Onsager algebra $\mathcal O_q$. They defined the PBW basis elements recursively, and it is obscure how to express them in closed form. To mitigate the difficulty, we bring in the universal Askey-Wilson algebra $Δ_q$. There is a natural algebra homomorphism $\natural \colon \mathcal O_q \to Δ_q$. We apply $\natural $ to the above PBW basis, and express the images in closed form. Our results make heavy use of the Chebyshev polynomials of the second kind.
We obtain an explicit expression for the defining relation of the deformed W_N algebra, DWA(^sl_N)_{q,t}. Using this expression we can show that, in the q-->1 limit, DWA(^sl_N)_{q,t} with t=e^{-2πi/N}q^{(k+N)/N} reduces to the sl_N-version of the Lepowsky-Wilson's Z-algebra of level k, ZA(^sl_N)_k. In other words DWA(^sl_N)_{q,t} with t=e^{-2πi/N}q^{(k+N)/N} can be considered as a q-deformation of ZA(^sl_N)_k. In the appendix given by H.Awata, S.Odake and J.Shiraishi, we present an interesting relation between DWA(^sl_N)_{q,t} and ζ-function regularization.
An algebra is introduced which can be considered as a rank 2 extension of the Askey-Wilson algebra. Relations in this algebra are motivated by relations between coproducts of twisted primitive elements in the two-fold tensor product of the quantum algebra $\mathcal{U}_{q}(\mathfrak{sl}(2,\mathbb C))$. It is shown that bivariate $q$-Racah polynomials appear as overlap coefficients of eigenvectors of generators of the algebra. Furthermore, the corresponding $q$-difference operators are calculated using the defining relations of the algebra, showing that it encodes the bispectral properties of th…
Inspired by a profound observation on the Racah--Wigner coefficients of $U_q(\mathfrak{sl}_2)$, the Askey--Wilson algebras were introduced in the early 1990s. A universal analog $\triangle_q$ of the Askey--Wilson algebras was recently studied. For $q$ not a root of unity, it is known that $Z(\triangle_q)$ is isomorphic to the polynomial ring of four variables. A presentation for $Z(\triangle_q)$ at $q$ a root of unity is displayed in this paper. As an application, a presentation for the center of the double affine Hecke algebra of type $(C_1^\vee,C_1)$ at roots of unity is obtained.
We deal with the classification problem of finite-dimensional representations of so called Askey--Wilson algebra in the case when $q$ is not a root of unity. We classify all representations satisfying certain property, which ensures diagonalizability of one of the generating elements.
In 1992 A. Zhedanov introduced the Askey-Wilson algebra AW=AW(3) and used it to describe the Askey-Wilson polynomials. In this paper we introduce a central extension $Δ$ of AW, obtained from AW by reinterpreting certain parameters as central elements in the algebra. We call $Δ$ the {\it universal Askey-Wilson algebra}. We give a faithful action of the modular group ${\rm {PSL}}_2({\mathbb Z})$ on $Δ$ as a group of automorphisms. We give a linear basis for $Δ$. We describe the center of $Δ$ and the 2-sided ideal $Δ[Δ,Δ]Δ$. We discuss how $Δ$ is related to the $q$-Onsager algebra.
We study matrix elements of a change of base between two different bases of representations of the quantum algebra $U_q(su(1,1))$. The two bases, which are multivariate versions of Al-Salam--Chihara polynomials, are eigenfunctions of iterated coproducts of twisted primitive elements. The matrix elements are identified with Gasper and Rahman's multivariate Askey-Wilson polynomials, and from this interpretation we derive their orthogonality relations. Furthermore, the matrix elements are shown to be eigenfunctions of the twisted primitive elements after a change of representation, which gives a …
Three examples of free field constructions for the vertex operators of the elliptic quantum group ${\cal A}_{q,p}(\hat{sl}_2)$ are obtained. Two of these (for $p^{1/2}=\pm q^{3/2},p^{1/2}=-q^2$) are based on representation theories of the deformed Virasoro algebra, which correspond to the level 4 and level 2 $Z$-algebra of Lepowsky and Wilson. The third one ($p^{1/2}=q^{3}$) is constructed over a tensor product of a bosonic and a fermionic Fock spaces. The algebraic structure at $p^{1/2}=q^{3}$, however, is not related to the deformed Virasoro algebra. Using these free field constructions, an …
Around 1992 A. Zhedanov introduced the Askey-Wilson algebra AW(3). Recently we introduced a central extension $Δ$ of AW(3) called the universal Askey-Wilson algebra. In this paper we discuss a connection between $Δ$ and the quantum algebra $U_q(\mathfrak{sl}_2)$. Our main result is an algebra injection from $Δ$ into a relative of $U_q(\mathfrak{sl}_2)$; the relative is obtained from $U_q(\mathfrak{sl}_2)$ by adjoining three mutually commuting indeterminates. We describe the injection using the equitable presentation of $U_q(\mathfrak{sl}_2)$
A new trigonometric degeneration of the Sklyanin algebra is found and the functional realization of its representations in space of polynomials in one variable is studied. A further contraction gives the standard quantum algebra $U_{q}(sl(2))$. It is shown that the degenerate Sklyanin algebra contains a subalgebra isomorphic to algebra of functions on the quantum sphere $(SU(2)/SO(2))_{q^{1\over2}}$. The diagonalization of general quadratic form in its generators leads in the functional realization to the difference equation for Askey-Wilson polynomials.
Let $\C$ denote the field of complex numbers, and fix a nonzero $q \in \C$ such that $q^4 \ne 1$. Define a $\C$-algebra $Δ_q$ by generators and relations in the following way. The generators are $A,B,C$. The relations assert that each of $A+\frac{qBC-q^{-1}CB}{q^2-q^{-2}}$, $B+\frac{qCA-q^{-1}AC}{q^2-q^{-2}}$, $C+\frac{qAB-q^{-1}BA}{q^2-q^{-2}}$ is central in $Δ_q$. The algebra $Δ_q$ is called the universal Askey-Wilson algebra. Let $Γ$ denote a distance-regular graph that has $q$-Racah type. Fix a vertex $x$ of $Γ$ and let $T=T(x)$ denote the corresponding subconstituent algebra. In this pape…
Let $\mathbb F$ denote an algebraically closed field and assume that $q\in \mathbb F$ is a primitive $d^{\rm \, th}$ root of unity with $d\not=1,2,4$. The universal Askey--Wilson algebra $\triangle_q$ is a unital associative $\mathbb F$-algebra defined by generators and relations. The generators are $A,B,C$ and the relations assert that each of \begin{gather*} A+\frac{qBC-q^{-1}CB}{q^2-q^{-2}}, \qquad B+\frac{qCA-q^{-1}AC}{q^2-q^{-2}}, \qquad C+\frac{qAB-q^{-1}BA}{q^2-q^{-2}} \qquad \end{gather*} commutes with $A,B,C$. We show that every finite-dimensional irreducible $\triangle_q$-module is o…
We consider the double affine Hecke algebra $H=H(k_0,k_1,k^\vee_0,k^\vee_1;q)$ associated with the root system $(C^\vee_1,C_1)$. We display three elements $x$, $y$, $z$ in $H$ that satisfy essentially the $Z_3$-symmetric Askey-Wilson relations. We obtain the relations as follows. We work with an algebra $\hat H$ that is more general than $H$, called the universal double affine Hecke algebra of type $(C_1^\vee,C_1)$. An advantage of $\hat H$ over $H$ is that it is parameter free and has a larger automorphism group. We give a surjective algebra homomorphism ${\hat H} \to H$. We define some eleme…
The Askey-Wilson algebra $AW(3)$ with three generators is shown to serve as a hidden symmetry algebra underlying the Racah and (new) generalized Clebsch-Gordan problems for the quantum algebra $sl_q(2)$. On the base of this hidden symmetry a simple method to calculate corresponding coefficients in terms of the Askey-Wilson polynomials is proposed.
Let $\mathbb F$ denote a field, and fix a nonzero $q\in\mathbb F$ such that $q^4\not=1$. The universal Askey-Wilson algebra $Δ_q$ is the associative $\mathbb F$-algebra defined by generators and relations in the following way. The generators are $A$, $B$, $C$. The relations assert that each of $A+\frac{qBC-q^{-1}CB}{q^2-q^{-2}}$, $B+\frac{qCA-q^{-1}AC}{q^2-q^{-2}}$, $C+\frac{qAB-q^{-1}BA}{q^2-q^{-2}}$ is central in $Δ_q$. The universal DAHA $\hat H_q$ of type $(C_1^\vee,C_1)$ is the associative $\mathbb F$-algebra defined by generators $\lbrace t^{\pm1}_i\rbrace_{i=0}^3$ and relations (i) $t_i…
Generalised matrix elements of the irreducible representations of the quantum $SU(2)$ group are defined using certain orthonormal bases of the representation space. The generalised matrix elements are relatively infinitesimal invariant with respect to Lie algebra like elements of the quantised universal enveloping algebra of $sl(2)$. A full proof of the theorem announced by Noumi and Mimachi [Proc. Japan Acad. Sci. {\bf 66}, Ser. A (1990), pp. 146--149] describing the generalised matrix elements in terms of the full four-parameter family of Askey-Wilson polynomials is given. Various known and …
The Askey-Wilson polynomials are a four-parameter family of orthogonal symmetric Laurent polynomials $R_n[z]$ which are eigenfunctions of a second-order $q$-difference operator $L$, and of a second-order difference operator in the variable $n$ with eigenvalue $z +z^{-1}=2x$. Then $L$ and multiplication by $z+z^{-1}$ generate the Askey-Wilson (Zhedanov) algebra. A nice property of the Askey-Wilson polynomials is that the variables $z$ and $n$ occur in the explicit expression in a similar and to some extent exchangeable way. This property is called duality. It returns in the non-symmetric case a…
Following the pioneering work of Duistermaat and Grünbaum, we call a family $\{p_n(x)\}_{n=0}^{\infty}$ of polynomials bispectral, if the polynomials are simultaneously eigenfunctions of two commutative algebras of operators: one consisting of difference operators acting on the degree index $n$, and another one of operators acting on the variable $x$. The goal of the present paper is to construct and parametrize bispectral extensions of the Askey-Wilson polynomials, where the second algebra consists of $q$-difference operators. In particular, we describe explicitly measures on the real line fo…
Assume that $\mathbb F$ is an algebraically closed field and let $q$ denote a nonzero scalar in $\mathbb F$ that is not a root of unity. The universal Askey--Wilson algebra $\triangle_q$ is a unital associative $\mathbb F$-algebra defined by generators and relations. The generators are $A,B, C$ and the relations state that each of $$ A+\frac{q BC-q^{-1} CB}{q^2-q^{-2}}, \qquad B+\frac{q CA-q^{-1} AC}{q^2-q^{-2}}, \qquad C+\frac{q AB-q^{-1} BA}{q^2-q^{-2}} $$ is central in $\triangle_q$. The universal DAHA (double affine Hecke algebra) $\mathfrak H_q$ of type $(C_1^\vee,C_1)$ is a unital associ…