Showing 1–45 of 45 results for author: Shiraishi, J

Super Macdonald polynomials and BPS state counting on the blow-up

Authors: Hiroaki Kanno, Ryo Ohkawa, Jun'ichi Shiraishi

Abstract: We explore the relation of the super Macdonald polynomials and the BPS state counting on the blow-up of $\mathbb{P}^2$, which is mathematically described by framed stable perverse coherent sheaves. Fixed points of the torus action on the moduli space of BPS states are labeled by super partitions. From the equivariant character of the tangent space at the fixed points we can define the Nekrasov fac… ▽ More We explore the relation of the super Macdonald polynomials and the BPS state counting on the blow-up of $\mathbb{P}^2$, which is mathematically described by framed stable perverse coherent sheaves. Fixed points of the torus action on the moduli space of BPS states are labeled by super partitions. From the equivariant character of the tangent space at the fixed points we can define the Nekrasov factor for a pair of super partitions, which is used for the localization computation of the partition function. The Nekrasov factor also allows us to compute matrix elements of the action of the quantum toroidal algebra of type $\mathfrak{gl}_{1|1}$ on the $K$ group of the moduli space. We confirm that these matrix elements are consistent with the Pieri rule of the super Macdonald polynomials. △ Less

Submitted 7 July, 2025; v1 submitted 2 June, 2025; originally announced June 2025.

Comments: 56 pages; (v2) minor corrections, a reference added; (v3) a few corrections, typos fixed

Quantum Corner VOA and the Super Macdonald Polynomials

Authors: Panupong Cheewaphutthisakun, Jun'ichi Shiraishi, Keng Wiboonton

Abstract: In this paper, we establish a relation between the quantum corner VOA $q\widetilde{Y}_{L,0,N}[Ψ]$, which can be regarded as a generalization of quantum $W_N$ algebra, and Sergeev-Veselov super Macdonald polynomials. We demonstrate precisely that, under a specific map, the correlation functions of the currents of $q\widetilde{Y}_{L,0,N}[Ψ]$, coincide with the Sergeev-Veselov super Macdonald polynom… ▽ More In this paper, we establish a relation between the quantum corner VOA $q\widetilde{Y}_{L,0,N}[Ψ]$, which can be regarded as a generalization of quantum $W_N$ algebra, and Sergeev-Veselov super Macdonald polynomials. We demonstrate precisely that, under a specific map, the correlation functions of the currents of $q\widetilde{Y}_{L,0,N}[Ψ]$, coincide with the Sergeev-Veselov super Macdonald polynomials. △ Less

Submitted 7 May, 2025; v1 submitted 24 April, 2025; originally announced April 2025.

Comments: 74 pages, added additional reference

A quantum deformation of the ${\mathcal N}=2$ superconformal algebra

Authors: H. Awata, K. Harada, H. Kanno, J. Shiraishi

Abstract: We introduce a unital associative algebra ${\mathcal{SV}ir\!}_{q,k}$, having $q$ and $k$ as complex parameters, generated by the elements $K^\pm_m$ ($\pm m\geq 0$), $T_m$ ($m\in \mathbb{Z}$), and $G^\pm_m$ ($m\in \mathbb{Z}+{1\over 2}$ in the Neveu-Schwarz sector, $m\in \mathbb{Z}$ in the Ramond sector), satisfying relations which are at most quartic. Calculations of some low-lying Kac determinant… ▽ More We introduce a unital associative algebra ${\mathcal{SV}ir\!}_{q,k}$, having $q$ and $k$ as complex parameters, generated by the elements $K^\pm_m$ ($\pm m\geq 0$), $T_m$ ($m\in \mathbb{Z}$), and $G^\pm_m$ ($m\in \mathbb{Z}+{1\over 2}$ in the Neveu-Schwarz sector, $m\in \mathbb{Z}$ in the Ramond sector), satisfying relations which are at most quartic. Calculations of some low-lying Kac determinants are made, providing us with a conjecture for the factorization property of the Kac determinants. The analysis of the screening operators gives a supporting evidence for our conjecture. It is shown that by taking the limit $q\rightarrow 1$ of ${\mathcal{SV}ir\!}_{q,k}$ we recover the ordinary ${\mathcal N}=2$ superconformal algebra. We also give a nontrivial Heisenberg representation of the algebra ${\mathcal{SV}ir\!}_{q,k}$, making a twist of the $U(1)$ boson in the Wakimoto representation of the quantum affine algebra $U_q(\widehat{\mathfrak{sl}}_2)$, which naturally follows from the construction of ${\mathcal{SV}ir\!}_{q,k}$ by gluing the deformed $Y$-algebras of Gaiotto and Rap$\check{\mathrm{c}}$ák. △ Less

Submitted 16 April, 2025; v1 submitted 30 June, 2024; originally announced July 2024.

Comments: 85 pages,(v2) several elucidations provided, typos fixed

Elliptic Deformation of the Gaiotto-Rapčák Corner VOA and the Associated Partially Symmetric Polynomials

Authors: Panupong Cheewaphutthisakun, Jun'ichi Shiraishi, Keng Wiboonton

Abstract: We construct the elliptic Miura transformation and use it to obtain the expression of the currents of elliptic corner VOA. We subsequently prove a novel combinatorial formula that is essential for deriving the quadratic relations of the currents. In addition, we give a conjecture that relates the correlation function of the currents of elliptic corner VOA to a certain family of partially symmetric… ▽ More We construct the elliptic Miura transformation and use it to obtain the expression of the currents of elliptic corner VOA. We subsequently prove a novel combinatorial formula that is essential for deriving the quadratic relations of the currents. In addition, we give a conjecture that relates the correlation function of the currents of elliptic corner VOA to a certain family of partially symmetric polynomials. The elliptic Macdonald polynomials, constructed recently by Awata-Kanno-Mironov-Morozov-Zenkevich, and Fukuda-Ohkubo-Shiraishi, can be obtained as a particular case of this family. △ Less

Submitted 8 August, 2024; v1 submitted 22 June, 2024; originally announced June 2024.

Comments: 44 pages, version to appear in JHEP

$K$-theoretic wall-crossing formulas and multiple basic hypergeometric series

Authors: Ryo Ohkawa, Jun'ichi Shiraishi

Abstract: We study $K$-theoretic integrals over famed quiver moduli via wall-crossing phenomena. We study the chainsaw quiver varieties, and consider generating functions defined by two types of $K$-theoretic classes. In particular, we focus on integrals over the handsaw quiver varieties of type $A_{1}$, and get functional equations for each of them. We also give explicit formula for these partition functio… ▽ More We study $K$-theoretic integrals over famed quiver moduli via wall-crossing phenomena. We study the chainsaw quiver varieties, and consider generating functions defined by two types of $K$-theoretic classes. In particular, we focus on integrals over the handsaw quiver varieties of type $A_{1}$, and get functional equations for each of them. We also give explicit formula for these partition functions. In particular, we obtain geometric interpretation of transformation formulas for multiple basic hypergeometric series including the Kajihara transformation formula, and the one studied by Langer-Schlosser-Warnaar and Hallnäs-Langman-Noumi-Rosengren. △ Less

Submitted 15 April, 2025; v1 submitted 6 February, 2024; originally announced February 2024.

Comments: corrected Theorem 1.2 for non-symmetric quiver

Non-Stationary Difference Equation and Affine Laumon Space II: Quantum Knizhnik-Zamolodchikov Equation

Authors: Hidetoshi Awata, Koji Hasegawa, Hiroaki Kanno, Ryo Ohkawa, Shamil Shakirov, Jun'ichi Shiraishi, Yasuhiko Yamada

Abstract: We show that Shakirov's non-stationary difference equation, when it is truncated, implies the quantum Knizhnik-Zamolodchikov ($q$-KZ) equation for $U_{\mathsf v}\bigl(A_1^{(1)}\bigr)$ with generic spins. Namely, we can tune mass parameters so that the Hamiltonian acts on the space of finite Laurent polynomials. Then the representation matrix of the Hamiltonian agrees with the $R$-matrix, or the qu… ▽ More We show that Shakirov's non-stationary difference equation, when it is truncated, implies the quantum Knizhnik-Zamolodchikov ($q$-KZ) equation for $U_{\mathsf v}\bigl(A_1^{(1)}\bigr)$ with generic spins. Namely, we can tune mass parameters so that the Hamiltonian acts on the space of finite Laurent polynomials. Then the representation matrix of the Hamiltonian agrees with the $R$-matrix, or the quantum $6j$ symbols. On the other hand, we prove that the $K$ theoretic Nekrasov partition function from the affine Laumon space is identified with the well-studied Jackson integral solution to the $q$-KZ equation. Combining these results, we establish that the affine Laumon partition function gives a solution to Shakirov's equation, which was a conjecture in our previous paper. We also work out the base-fiber duality and four-dimensional limit in relation with the $q$-KZ equation. △ Less

Submitted 22 August, 2024; v1 submitted 26 September, 2023; originally announced September 2023.

Journal ref: SIGMA 20 (2024), 077, 55 pages

Non-Stationary Difference Equation and Affine Laumon Space: Quantization of Discrete Painlevé Equation

Authors: Hidetoshi Awata, Koji Hasegawa, Hiroaki Kanno, Ryo Ohkawa, Shamil Shakirov, Jun'ichi Shiraishi, Yasuhiko Yamada

Abstract: We show the relation of the non-stationary difference equation proposed by one of the authors and the quantized discrete Painlevé VI equation. The five-dimensional Seiberg-Witten curve associated with the difference equation has a consistent four-dimensional limit. We also show that the original equation can be factorized as a coupled system for a pair of functions… ▽ More We show the relation of the non-stationary difference equation proposed by one of the authors and the quantized discrete Painlevé VI equation. The five-dimensional Seiberg-Witten curve associated with the difference equation has a consistent four-dimensional limit. We also show that the original equation can be factorized as a coupled system for a pair of functions $\bigl(\mathcal{F}^{(1)},\mathcal{F}^{(2)}\bigr)$, which is a consequence of the identification of the Hamiltonian as a translation element in the extended affine Weyl group. We conjecture that the instanton partition function coming from the affine Laumon space provides a solution to the coupled system. △ Less

Submitted 9 November, 2023; v1 submitted 30 November, 2022; originally announced November 2022.

Journal ref: SIGMA 19 (2023), 089, 47 pages

Branching Formula for $q$-Toda Function of Type B

Authors: Ayumu Hoshino, Yusuke Ohkubo, Jun'ichi Shiraishi

Abstract: We present a proof of the explicit formula for the asymptotically free eigenfunctions of the $B_N$ $q$-Toda operator which was conjectured by the first and third authors. This formula can be regarded as a branching formula from the $B_N$ $q$-Toda eigenfunction restricted to the $A_{N-1}$ $q$-Toda eigenfunctions. The proof is given by a contigulation relation of the $A_{N-1}$ Toda eigenfunctions an… ▽ More We present a proof of the explicit formula for the asymptotically free eigenfunctions of the $B_N$ $q$-Toda operator which was conjectured by the first and third authors. This formula can be regarded as a branching formula from the $B_N$ $q$-Toda eigenfunction restricted to the $A_{N-1}$ $q$-Toda eigenfunctions. The proof is given by a contigulation relation of the $A_{N-1}$ Toda eigenfunctions and a recursion relation of the branching coefficients. △ Less

Submitted 13 September, 2021; v1 submitted 7 March, 2021; originally announced March 2021.

Comments: 7 pages

Basic Properties of Non-Stationary Ruijsenaars Functions

Authors: Edwin Langmann, Masatoshi Noumi, Junichi Shiraishi

Abstract: For any variable number, a non-stationary Ruijsenaars function was recently introduced as a natural generalization of an explicitly known asymptotically free solution of the trigonometric Ruijsenaars model, and it was conjectured that this non-stationary Ruijsenaars function provides an explicit solution of the elliptic Ruijsenaars model. We present alternative series representations of the non-st… ▽ More For any variable number, a non-stationary Ruijsenaars function was recently introduced as a natural generalization of an explicitly known asymptotically free solution of the trigonometric Ruijsenaars model, and it was conjectured that this non-stationary Ruijsenaars function provides an explicit solution of the elliptic Ruijsenaars model. We present alternative series representations of the non-stationary Ruijsenaars functions, and we prove that these series converge. We also introduce novel difference operators called ${\mathcal T}$ which, as we prove in the trigonometric limit and conjecture in the general case, act diagonally on the non-stationary Ruijsenaars functions. △ Less

Submitted 21 October, 2020; v1 submitted 12 June, 2020; originally announced June 2020.

Journal ref: SIGMA 16 (2020), 105, 26 pages

Branching Rules for Koornwinder Polynomials with One Column Diagrams and Matrix Inversions

Authors: Ayumu Hoshino, Jun'ichi Shiraishi

Abstract: We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $BC_n$ Koornwinder polynomials $P_{(1^r)}(x|a,b,c,d|q,t)$ with one column diagrams, to the type $BC_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of four terms recursion relations. These recursions provide us with the branching rules for the Koornwinder pol… ▽ More We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $BC_n$ Koornwinder polynomials $P_{(1^r)}(x|a,b,c,d|q,t)$ with one column diagrams, to the type $BC_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of four terms recursion relations. These recursions provide us with the branching rules for the Koornwinder polynomials with one column diagrams, namely the restriction rules from $BC_n$ to $BC_{n-1}$. To have a good description of the transition matrices involved, we introduce the following degeneration scheme of the Koornwinder polynomials: $P_{(1^r)}(x|a,b,c,d|q,t) \longleftrightarrow P_{(1^r)}(x|a,-a,c,d|q,t)\longleftrightarrow P_{(1^r)}(x|a,-a,c,-c|q,t) \longleftrightarrow P_{(1^r)}\big(x|t^{1/2}c,-t^{1/2}c,c,-c|q,t\big) \longleftrightarrow P_{(1^r)}\big(x|t^{1/2},-t^{1/2},1,-1|q,t\big)$. We prove that the transition matrices associated with each of these degeneration steps are given in terms of the matrix inversion formula of Bressoud. As an application, we give an explicit formula for the Kostka polynomials of type $B_n$, namely the transition matrix from the Schur polynomials $P^{(B_n,B_n)}_{(1^r)}(x|q;q,q)$ to the Hall-Littlewood polynomials $P^{(B_n,B_n)}_{(1^r)}(x|t;0,t)$. We also present a conjecture for the asymptotically free eigenfunctions of the $B_n$ $q$-Toda operator, which can be regarded as a branching formula from the $B_n$ $q$-Toda eigenfunction restricted to the $A_{n-1}$ $q$-Toda eigenfunctions. △ Less

Submitted 25 August, 2020; v1 submitted 6 February, 2020; originally announced February 2020.

Journal ref: SIGMA 16 (2020), 084, 28 pages

Non-Stationary Ruijsenaars Functions for $κ=t^{-1/N}$ and Intertwining Operators of Ding-Iohara-Miki Algebra

Authors: Masayuki Fukuda, Yusuke Ohkubo, Jun'ichi Shiraishi

Abstract: We construct the non-stationary Ruijsenaars functions (affine analogue of the Macdonald functions) in the special case $κ=t^{-1/N}$, using the intertwining operators of the Ding-Iohara-Miki algebra (DIM algebra) associated with $N$-fold Fock tensor spaces. By the $S$-duality of the intertwiners, another expression is obtained for the non-stationary Ruijsenaars functions with $κ=t^{-1/N}$, which ca… ▽ More We construct the non-stationary Ruijsenaars functions (affine analogue of the Macdonald functions) in the special case $κ=t^{-1/N}$, using the intertwining operators of the Ding-Iohara-Miki algebra (DIM algebra) associated with $N$-fold Fock tensor spaces. By the $S$-duality of the intertwiners, another expression is obtained for the non-stationary Ruijsenaars functions with $κ=t^{-1/N}$, which can be regarded as a natural elliptic lift of the asymptotic Macdonald functions to the multivariate elliptic hypergeometric series. We also investigate some properties of the vertex operator of the DIM algebra appearing in the present algebraic framework; an integral operator which commutes with the elliptic Ruijsenaars operator, and the degeneration of the vertex operators to the Virasoro primary fields in the conformal limit $q \rightarrow 1$. △ Less

Submitted 18 November, 2020; v1 submitted 1 February, 2020; originally announced February 2020.

Journal ref: SIGMA 16 (2020), 116, 55 pages

Lattice models, deformed Virasoro algebra and reduction equation

Authors: Michael Lashkevich, Yaroslav Pugai, Jun'ichi Shiraishi, Yohei Tutiya

Abstract: We study the fused currents of the deformed Virasoro algebra (DVA). By constructing a homotopy operator we show that for special values of the parameter of the algebra fused currents pairwise coincide on the cohomologies of the Felder resolution. Within the algebraic approach to lattice models these currents are known to describe neutral excitations of the solid-on-solid (SOS) models in the transf… ▽ More We study the fused currents of the deformed Virasoro algebra (DVA). By constructing a homotopy operator we show that for special values of the parameter of the algebra fused currents pairwise coincide on the cohomologies of the Felder resolution. Within the algebraic approach to lattice models these currents are known to describe neutral excitations of the solid-on-solid (SOS) models in the transfer-matrix picture. It allows us to prove the closeness of the system of excitations for a special nonunitary series of restricted SOS (RSOS) models. Though the results of the algebraic approach to lattice models were consistent with the results of other methods, the lack of such proof had been an essential gap in its construction. △ Less

Submitted 13 April, 2020; v1 submitted 26 November, 2019; originally announced November 2019.

Comments: 14 pages; v2: references added; eq. (4.13) corrected; numerous misprints corrected and text improved; v3: minor misprints and grammar mistakes corrected

Affine Screening Operators, Affine Laumon Spaces, and Conjectures Concerning Non-Stationary Ruijsenaars Functions

Authors: Jun'ichi Shiraishi

Abstract: Based on the screened vertex operators associated with the affine screening operators, we introduce the formal power series f^{hat{gl}_N}(x,p|s,kappa|q,t) which we call the non-stationary Ruijsenaars function. We identify it with the generating function for the Euler characteristics of the affine Laumon spaces. When the parameters s and kappa are suitably chosen, the limit t rightarrow q of f^{hat… ▽ More Based on the screened vertex operators associated with the affine screening operators, we introduce the formal power series f^{hat{gl}_N}(x,p|s,kappa|q,t) which we call the non-stationary Ruijsenaars function. We identify it with the generating function for the Euler characteristics of the affine Laumon spaces. When the parameters s and kappa are suitably chosen, the limit t rightarrow q of f^{hat{gl}_N}(x,p|s,kappa|q,q/t) gives us the dominant integrable characters of hat{sl}_N multiplied by 1/(p^N;p^N)_infty (i.e. the hat{gl}_1 character). Several conjectures are presented for f^{hat{gl}_N}(x,p|s,kappa|q,t), including the bispectral and the Poincare dualities, and the evaluation formula. Main Conjecture asserts that (i) one can normalize f^{hat{gl}_N}(x,p|s,kappa|q,t) in such a way that the limit kappa rightarrow 1 exists, and (ii) the limit f^{st.hat{gl}_N}(x,p|s|q,t) gives us the eigenfunction of the elliptic Ruijsenaars operator. The non-stationary affine q-difference Toda operator T^{hat{gl}_N}(kappa) is introduced, which comes as an outcome of the study of the Poincare duality conjecture in the affine Toda limit t rightarrow 0. Main Conjecture is examined also in the limiting cases of the affine q-difference Toda (t rightarrow 0), and the elliptic Calogero-Sutherland (q,t rightarrow 1) equations. △ Less

Submitted 12 November, 2019; v1 submitted 18 March, 2019; originally announced March 2019.

Comments: 27 pages, typos corrected

Generalized Macdonald Functions on Fock Tensor Spaces and Duality Formula for Changing Preferred Direction

Authors: Masayuki Fukuda, Yusuke Ohkubo, Jun'ichi Shiraishi

Abstract: An explicit formula is obtained for the generalized Macdonald functions on the $N$-fold Fock tensor spaces, calculating a certain matrix element of a composition of several screened vertex operators. As an application, we prove the factorization property of the arbitrary matrix elements of the multi-valent intertwining operator (or refined topological vertex operator) associated with the Ding--Ioh… ▽ More An explicit formula is obtained for the generalized Macdonald functions on the $N$-fold Fock tensor spaces, calculating a certain matrix element of a composition of several screened vertex operators. As an application, we prove the factorization property of the arbitrary matrix elements of the multi-valent intertwining operator (or refined topological vertex operator) associated with the Ding--Iohara--Miki algebra (DIM algebra) with respect to the generalized Macdonald functions, which was conjectured by Awata, Feigin, Hoshino, Kanai, Yanagida and one of the authors. Our proof is based on the combinatorial and analytic properties of the asymptotic eigenfunctions of the ordinary Macdonald operator of $A$-type, and the Euler transformation formula for Kajihara and Noumi's multiple basic hypergeometric series. That factorization formula provides us with a reasonable algebraic description of the 5D (K-theoretic) Alday-Gaiotto-Tachikawa (AGT) correspondence, and the interpretation of the invariance under the preferred direction from the point of view of the $SL(2,\mathbb{Z})$ duality of the DIM algebra. △ Less

Submitted 23 August, 2019; v1 submitted 14 March, 2019; originally announced March 2019.

Comments: 54 pages, 2 figures

Report number: UT-19-03

Macdonald Polynomials of Type $C_n$ with One-Column Diagrams and Deformed Catalan Numbers

Authors: Ayumu Hoshino, Jun'ichi Shiraishi

Abstract: We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $C_n$ degeneration of the Koornwinder polynomials $P_{(1^r)}(x\,|\,a,-a,c,-c\,|\,q,t)$ with one column diagrams, to the type $C_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of three term recursion relations, which can be regarded as a $(a,c,t)$-deformation… ▽ More We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $C_n$ degeneration of the Koornwinder polynomials $P_{(1^r)}(x\,|\,a,-a,c,-c\,|\,q,t)$ with one column diagrams, to the type $C_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of three term recursion relations, which can be regarded as a $(a,c,t)$-deformation of the one for the Catalan triangle or ballot numbers. Some transition matrices are studied associated with the type $(C_n,C_n)$ Macdonald polynomials $P^{(C_n,C_n)}_{(1^r)}(x\,|\,b;q,t)= P_{(1^r)}\big(x\,|\,b^{1/2},-b^{1/2},q^{1/2}b^{1/2},-q^{1/2}b^{1/2}\,|\,q,t\big)$. It is also shown that the $q$-ballot numbers appear as the Kostka polynomials, namely in the transition matrix from the Schur polynomials $P^{(C_n,C_n)}_{(1^r)}(x\,|\,q;q,q)$ to the Hall-Littlewood polynomials $P^{(C_n,C_n)}_{(1^r)}(x\,|\,t;0,t)$. △ Less

Submitted 20 September, 2018; v1 submitted 30 January, 2018; originally announced January 2018.

Journal ref: SIGMA 14 (2018), 101, 33 pages

Tableau Formulas for One-Row Macdonald Polynomials of Types $C_n$ and $D_n$

Authors: Boris Feigin, Ayumu Hoshino, Masatoshi Noumi, Jun Shibahara, Jun'ichi Shiraishi

Abstract: We present explicit formulas for the Macdonald polynomials of types $C_n$ and $D_n$ in the one-row case. In view of the combinatorial structure, we call them "tableau formulas". For the construction of the tableau formulas, we apply some transformation formulas for the basic hypergeometric series involving very well-poised balanced ${}_{12}W_{11}$ series. We remark that the correlation functions o… ▽ More We present explicit formulas for the Macdonald polynomials of types $C_n$ and $D_n$ in the one-row case. In view of the combinatorial structure, we call them "tableau formulas". For the construction of the tableau formulas, we apply some transformation formulas for the basic hypergeometric series involving very well-poised balanced ${}_{12}W_{11}$ series. We remark that the correlation functions of the deformed $\mathcal{W}$ algebra generators automatically give rise to the tableau formulas when we principally specialize the coordinate variables. △ Less

Submitted 5 December, 2015; v1 submitted 26 December, 2014; originally announced December 2014.

Journal ref: SIGMA 11 (2015), 100, 21 pages

Some transformation formulas associated with Askey-Wilson polynomials and Lassalle's formulas for Macdonald-Koornwinder polynomials

Authors: A. Hoshino, M. Noumi, J. Shiraishi

Abstract: We present a fourfold series expansion representing the Askey-Wilson polynomials. To obtain the result, a sequential use is made of several summation and transformation formulas for the basic hypergeometric series, including the Verma's q-extension of the Field and Wimp expansion, Andrews' terminating q-analogue of Watson's 3F2 sum, Singh's quadratic transformation. As an application, we present a… ▽ More We present a fourfold series expansion representing the Askey-Wilson polynomials. To obtain the result, a sequential use is made of several summation and transformation formulas for the basic hypergeometric series, including the Verma's q-extension of the Field and Wimp expansion, Andrews' terminating q-analogue of Watson's 3F2 sum, Singh's quadratic transformation. As an application, we present an explicit formula for the Koornwinder polynomial of type BCn (n in Z_>0) with one row diagram. When the parameters are specialized, we recover Lassalle's formula for Macdonald polynomials of type Bn, Cn and Dn with one row diagram, thereby proving his conjectures. △ Less

Submitted 6 June, 2014; originally announced June 2014.

Comments: 20 pages

A direct approach to the bispectral problem for the Ruijsenaars-Macdonald q-difference operators

Authors: Masatoshi Noumi, Jun'ichi Shiraishi

Abstract: We present a direct approach to the bispectral problem associated with the Ruijsenaars-Macdonald q-difference operators of GL type. We give an explicit construction of the meromorphic function psi_n(x;s|q,t) on T^n_x T^n_s, which is the solution of the bispectral problem up to a certain gauge transformation. Some basic properties of psi_n(x;s|q,t) are studied, including the structure of the diviso… ▽ More We present a direct approach to the bispectral problem associated with the Ruijsenaars-Macdonald q-difference operators of GL type. We give an explicit construction of the meromorphic function psi_n(x;s|q,t) on T^n_x T^n_s, which is the solution of the bispectral problem up to a certain gauge transformation. Some basic properties of psi_n(x;s|q,t) are studied, including the structure of the divisor of poles, the symmetries psi_n(x;s|q,t)=psi_n(s;x|q,t)=psi_n(x;s|q,q/t), and the recursive structure described in terms of Jackson integrals or q-difference operators. △ Less

Submitted 23 June, 2012; originally announced June 2012.

Comments: 44 pages

Macdonald polynomials, Laumon spaces and perverse coherent sheaves

Authors: Alexander Braverman, Michael Finkelberg, Jun'ichi Shiraishi

Abstract: Let $G$ be an almost simple simply connected complex Lie group, and let $G/U_-$ be its base affine space. In this paper we formulate a conjecture, which provides a new geometric interpretation of the Macdonald polynomials associated to $G$ via perverse coherent sheaves on the scheme of formal arcs in the affinization of $G/U_-$. We prove our conjecture for $G=SL(N)$ using the so called Laumon reso… ▽ More Let $G$ be an almost simple simply connected complex Lie group, and let $G/U_-$ be its base affine space. In this paper we formulate a conjecture, which provides a new geometric interpretation of the Macdonald polynomials associated to $G$ via perverse coherent sheaves on the scheme of formal arcs in the affinization of $G/U_-$. We prove our conjecture for $G=SL(N)$ using the so called Laumon resolution of the space of quasi-maps (using this resolution one can reformulate the statement so that only "usual" (not perverse) coherent sheaves are used). In the course of the proof we also give a $K$-theoretic version of the main result of arXiv/0811.4454. △ Less

Submitted 3 November, 2013; v1 submitted 14 June, 2012; originally announced June 2012.

Comments: 20 pages, to appear in Contemporary Mathematics

Quantum Algebraic Approach to Refined Topological Vertex

Authors: H. Awata, B. Feigin, J. Shiraishi

Abstract: We establish the equivalence between the refined topological vertex of Iqbal-Kozcaz-Vafa and a certain representation theory of the quantum algebra of type W_{1+infty} introduced by Miki. Our construction involves trivalent intertwining operators Phi and Phi^* associated with triples of the bosonic Fock modules. Resembling the topological vertex, a triple of vectors in Z^2 is attached to each inte… ▽ More We establish the equivalence between the refined topological vertex of Iqbal-Kozcaz-Vafa and a certain representation theory of the quantum algebra of type W_{1+infty} introduced by Miki. Our construction involves trivalent intertwining operators Phi and Phi^* associated with triples of the bosonic Fock modules. Resembling the topological vertex, a triple of vectors in Z^2 is attached to each intertwining operator, which satisfy the Calabi-Yau and smoothness conditions. It is shown that certain matrix elements of Phi and Phi^* give the refined topological vertex C_{lambda mu nu}(t,q) of Iqbal-Kozcaz-Vafa. With another choice of basis, we recover the refined topological vertex C_{lambda mu}^nu(q,t) of Awata-Kanno. The gluing factors appears correctly when we consider any compositions of Phi and Phi^*. The spectral parameters attached to Fock spaces play the role of the K"ahler parameters. △ Less

Submitted 28 December, 2011; originally announced December 2011.

Comments: 27 pages

Notes on Ding-Iohara algebra and AGT conjecture

Authors: H. Awata, B. Feigin, A. Hoshino, M. Kanai, J. Shiraishi, S. Yanagida

Abstract: We study the representation theory of the Ding-Iohara algebra $\calU$ to find $q$-analogues of the Alday-Gaiotto-Tachikawa (AGT) relations. We introduce the endomorphism $T(u,v)$ of the Ding-Iohara algebra, having two parameters $u$ and $v$. We define the vertex operator $Φ(w)$ by specifying the permutation relations with the Ding-Iohara generators $x^\pm(z)$ and $ψ^\pm(z)$ in terms of $T(u,v)$. F… ▽ More We study the representation theory of the Ding-Iohara algebra $\calU$ to find $q$-analogues of the Alday-Gaiotto-Tachikawa (AGT) relations. We introduce the endomorphism $T(u,v)$ of the Ding-Iohara algebra, having two parameters $u$ and $v$. We define the vertex operator $Φ(w)$ by specifying the permutation relations with the Ding-Iohara generators $x^\pm(z)$ and $ψ^\pm(z)$ in terms of $T(u,v)$. For the level one representation, all the matrix elements of the vertex operators with respect to the Macdonald polynomials are factorized and written in terms of the Nekrasov factors for the $K$-theoretic partition functions as in the AGT relations. For higher levels $m=2,3,...$, we present some conjectures, which imply the existence of the $q$-analogues of the AGT relations. △ Less

Submitted 7 July, 2011; v1 submitted 21 June, 2011; originally announced June 2011.

Comments: 21 pages; Proceeding of RIMS Conference 2010 "Diversity of the Theory of Integrable Systems" (ed. Masahiro Kanai)

Periodic Benjamin-Ono equation with discrete Laplacian and 2D-Toda Hierarchy

Authors: Jun'ichi Shiraishi, Yohei Tutiya

Abstract: We study the relation between the periodic Benjamin-Ono equation with discrete Laplacian and the two dimensional Toda hierarchy. We introduce the tau-functions tau_pm(z) for the periodic Benjamin-Ono equation, construct two families of integrals of motion {M_1,M_2,cdots}, {overline{M}_1,overline{M}_2,cdots}, and calculate some examples of the bilinear equations using the Hamiltonian structure. We… ▽ More We study the relation between the periodic Benjamin-Ono equation with discrete Laplacian and the two dimensional Toda hierarchy. We introduce the tau-functions tau_pm(z) for the periodic Benjamin-Ono equation, construct two families of integrals of motion {M_1,M_2,cdots}, {overline{M}_1,overline{M}_2,cdots}, and calculate some examples of the bilinear equations using the Hamiltonian structure. We confirmed that some of the low lying bilinear equations agree with the ones obtained from a certain reduction of the 2D Toda hierarchy. △ Less

Submitted 9 April, 2010; originally announced April 2010.

Comments: 14 pages

Kernel function and quantum algebras

Authors: B. Feigin, A. Hoshino, J. Shibahara, J. Shiraishi, S. Yanagida

Abstract: We introduce an analogue $K_n(x,z;q,t)$ of the Cauchy-type kernel function for the Macdonald polynomials, being constructed in the tensor product of the ring of symmetric functions and the commutative algebra $\mathcal{A}$ over the degenerate $\mathbb{C} \mathbb{P}^1$. We show that a certain restriction of $K_n(x,z;q,t)$ with respect to the variable $z$ is neatly described by the tableau sum for… ▽ More We introduce an analogue $K_n(x,z;q,t)$ of the Cauchy-type kernel function for the Macdonald polynomials, being constructed in the tensor product of the ring of symmetric functions and the commutative algebra $\mathcal{A}$ over the degenerate $\mathbb{C} \mathbb{P}^1$. We show that a certain restriction of $K_n(x,z;q,t)$ with respect to the variable $z$ is neatly described by the tableau sum formula of Macdonald polynomials. Next, we demonstrate that the integer level representation of the Ding-Iohara quantum algebra naturally produces the currents of the deformed $\mathcal{W}$ algebra. Then we remark that the $K_n(x,z;q,t)$ emerges in the highest-to-highest correlation function of the deformed $\mathcal{W}$ algebra. △ Less

Submitted 12 February, 2010; originally announced February 2010.

Comments: 20 pages,

A commutative algebra on degenerate CP^1 and Macdonald polynomials

Authors: B. Feigin, K. Hashizume, A. Hoshino, J. Shiraishi, S. Yanagida

Abstract: We introduce a unital associative algebra A over degenerate CP^1. We show that A is a commutative algebra and whose Poincar'e series is given by the number of partitions. Thereby we can regard A as a smooth degeneration limit of the elliptic algebra introduced by one of the authors and Odesskii. Then we study the commutative family of the Macdonald difference operators acting on the space of sym… ▽ More We introduce a unital associative algebra A over degenerate CP^1. We show that A is a commutative algebra and whose Poincar'e series is given by the number of partitions. Thereby we can regard A as a smooth degeneration limit of the elliptic algebra introduced by one of the authors and Odesskii. Then we study the commutative family of the Macdonald difference operators acting on the space of symmetric functions. A canonical basis is proposed for this family by using A and the Heisenberg representation of the commutative family studied by one of the authors. It is found that the Ding-Iohara algebra provides us with an algebraic framework for the free filed construction. An elliptic deformation of our construction is discussed, showing connections with the Drinfeld quasi-Hopf twisting a la Babelon Bernard Billey, the Ruijsenaars difference operator and the operator M(q,t_1,t_2) of Okounkov-Pandharipande. △ Less

Submitted 15 April, 2009; originally announced April 2009.

Comments: 43 pages

MSC Class: 05E05; 81R50

Kernel Functions for Difference Operators of Ruijsenaars Type and Their Applications

Authors: Yasushi Komori, Masatoshi Noumi, Jun'ichi Shiraishi

Abstract: A unified approach is given to kernel functions which intertwine Ruijsenaars difference operators of type A and of type BC. As an application of the trigonometric cases, new explicit formulas for Koornwinder polynomials attached to single columns and single rows are derived. A unified approach is given to kernel functions which intertwine Ruijsenaars difference operators of type A and of type BC. As an application of the trigonometric cases, new explicit formulas for Koornwinder polynomials attached to single columns and single rows are derived. △ Less

Submitted 17 May, 2009; v1 submitted 1 December, 2008; originally announced December 2008.

Comments: 40 pages. Three sections are added in Appendix, as well as several comments and references

MSC Class: 81R12; 33D67

Journal ref: SIGMA 5 (2009), 054, 40 pages

The Integrals of Motion for the Deformed Virasoro Algebra

Authors: B. Feigin, T. Kojima, J. Shiraishi, H. Watanabe

Abstract: We explicitly construct two classes of infinitly many commutative operators in terms of the deformed Virasoro algebra. We call one of them local integrals and the other nonlocal one, since they can be regarded as elliptic deformations of the local and nonlocal integrals of motion obtained by V.Bazhanov, S.Lukyanov and Al.Zamolodchikov. We explicitly construct two classes of infinitly many commutative operators in terms of the deformed Virasoro algebra. We call one of them local integrals and the other nonlocal one, since they can be regarded as elliptic deformations of the local and nonlocal integrals of motion obtained by V.Bazhanov, S.Lukyanov and Al.Zamolodchikov. △ Less

Submitted 14 September, 2007; v1 submitted 3 May, 2007; originally announced May 2007.

Comments: Dedicated to Professor Masaki Kashiwara on the occasion on the 60th birthday

MSC Class: 81B68; 17B68

Sugawara and vertex operator constructions for deformed Virasoro algebras

Authors: D. Arnaudon, J. Avan, L. Frappat, E. Ragoucy, J. Shiraishi

Abstract: From the defining exchange relations of the A_{q,p}(gl_{N}) elliptic quantum algebra, we construct subalgebras which can be characterized as q-deformed W_N algebras. The consistency conditions relating the parameters p,q,N and the central charge c are shown to be related to the singularity structure of the functional coefficients defining the exchange relations of specific vertex operators repre… ▽ More From the defining exchange relations of the A_{q,p}(gl_{N}) elliptic quantum algebra, we construct subalgebras which can be characterized as q-deformed W_N algebras. The consistency conditions relating the parameters p,q,N and the central charge c are shown to be related to the singularity structure of the functional coefficients defining the exchange relations of specific vertex operators representations of A_{q,p}({gl_{N}) available when N=2. △ Less

Submitted 11 January, 2006; originally announced January 2006.

Comments: 23 pages

Report number: LAPTH-1135/06 MSC Class: 81R10; 17B37; 17B69

Journal ref: AnnalesHenriPoincare7:1327-1349,2006

A Conjecture about Raising Operators for Macdonald Polynomials

Authors: Jun'ichi Shiraishi

Abstract: A multivariable hypergeometric-type formula for raising operators of the Macdonald polynomials is conjectured. It is proved that this agrees with Jing and Jozefiak's expression for the two-row Macdonald polynomials, and also with Lassalle and Schlosser's formula for partitions with length three. A multivariable hypergeometric-type formula for raising operators of the Macdonald polynomials is conjectured. It is proved that this agrees with Jing and Jozefiak's expression for the two-row Macdonald polynomials, and also with Lassalle and Schlosser's formula for partitions with length three. △ Less

Submitted 25 April, 2005; v1 submitted 31 March, 2005; originally announced March 2005.

Comments: 13 pages

MSC Class: 33D15; 81R50

A Commutative Family of Integral Transformations and Basic Hypergeometric Series. II. Eigenfunctions and Quasi-Eigenfunctions

Authors: Jun'ichi Shiraishi

Abstract: A series of conjectures is obtained as further investigation of the integral transformation I(alpha) introduced in the previous paper. A Macdonald-type difference operator D is introduced. It is conjectured that D and I(alpha) are commutative with each other. Studying the series for the eigenfunctions under termination conditions, it is observed that a deformed Weyl group action appears as a hid… ▽ More A series of conjectures is obtained as further investigation of the integral transformation I(alpha) introduced in the previous paper. A Macdonald-type difference operator D is introduced. It is conjectured that D and I(alpha) are commutative with each other. Studying the series for the eigenfunctions under termination conditions, it is observed that a deformed Weyl group action appears as a hidden symmetry. An infinite product formula for the eigenfunction is found for a spacial case of parameters. A one parameter family of hypergeometric-type series F(alpha) is introduced. The series F(alpha) is caracterized by a covariant transformation property I(alpha q^{-1} t) F(alpha)=F(alpha q^{-1} t) and a certain initial condition given at alpha=t^{1/2}. We call F(alpha) the `quasi-eigenfunction' for short. A class of infinite product-type expressions are conjectured for F(alpha) at the special points alpha=-t^{1/2}, alpha=q, alpha=pm q^{1/2}t^{1/2}, and alpha=pm q^{ell}t^{1/2} (ell=1,2,3,cdots). △ Less

Submitted 12 May, 2005; v1 submitted 11 February, 2005; originally announced February 2005.

Comments: Basic parameters replaced: q -> t, and p^{1/2} -> q

MSC Class: 33D15; 81R50

A Commutative Family of Integral Transformations and Basic Hypergeometric Series. I. Eigenfunctions

Authors: Jun'ichi Shiraishi

Abstract: It is conjectured that a class of n-fold integral transformations {I(alpha)|alpha in {C}} forms a mutually commutative family, namely, we have I(alpha) I(beta)=I(beta) I(alpha) for all alpha, beta in {C}. The commutativity of I(alpha) for the two-fold integral case is proved by using several summation and transformation formulas for the basic hypergeometric series. An explicit formula for the co… ▽ More It is conjectured that a class of n-fold integral transformations {I(alpha)|alpha in {C}} forms a mutually commutative family, namely, we have I(alpha) I(beta)=I(beta) I(alpha) for all alpha, beta in {C}. The commutativity of I(alpha) for the two-fold integral case is proved by using several summation and transformation formulas for the basic hypergeometric series. An explicit formula for the complete system of the eigenfunctions for n=3 is conjectured. In this formula and in a partial result for n=4, it is observed that all the eigenfunctions do not depend on the spectral parameter alpha of I(alpha). △ Less

Submitted 21 April, 2005; v1 submitted 17 January, 2005; originally announced January 2005.

Comments: Basic parameters are replaced to make the notation consistent with the standard Macdonald polynomials: q is replaced by t, and p^{1/2} is replaced by q

MSC Class: 33D15; 81R50

Correspondence between conformal field theory and Calogero-Sutherland model

Authors: Reiho Sakamoto, Jun'ichi Shiraishi, Daniel Arnaudon, Luc Frappat, Eric Ragoucy

Abstract: We use the Jack symmetric functions as a basis of the Fock space, and study the action of the Virasoro generators $L_n$. We calculate explicitly the matrix elements of $L_n$ with respect to the Jack-basis. A combinatorial procedure which produces these matrix elements is conjectured. As a limiting case of the formula, we obtain a Pieri-type formula which represents a product of a power sum and a… ▽ More We use the Jack symmetric functions as a basis of the Fock space, and study the action of the Virasoro generators $L_n$. We calculate explicitly the matrix elements of $L_n$ with respect to the Jack-basis. A combinatorial procedure which produces these matrix elements is conjectured. As a limiting case of the formula, we obtain a Pieri-type formula which represents a product of a power sum and a Jack symmetric function as a sum of Jack symmetric functions. Also, a similar expansion was found for the case when we differentiate the Jack symmetric functions with respect to power sums. As an application of our Jack-basis representation, a new diagrammatic interpretation is presented, why the singular vectors of the Virasoro algebra are proportional to the Jack symmetric functions with rectangular diagrams. We also propose a natural normalization of the singular vectors in the Verma module, and determine the coefficients which appear after bosonization in front of the Jack symmetric functions. △ Less

Submitted 10 December, 2004; v1 submitted 29 July, 2004; originally announced July 2004.

Comments: 23 pages, references added

Journal ref: Nucl.Phys. B704 (2005) 490-509

Free field constructions for the elliptic algebra ${\cal A}_{q,p}(\hat{sl}_2)$ and Baxter's eight-vertex model

Authors: Jun'ichi Shiraishi

Abstract: 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… ▽ More 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 integral formula for the correlation functions of Baxter's eight-vertex model is obtained. This formula shows different structure compared with the one obtained by Lashkevich and Pugai. △ Less

Submitted 21 April, 2003; v1 submitted 9 February, 2003; originally announced February 2003.

Comments: 23 pages. Based on talks given at "MATHPHYS ODYSSEY 2001-Integrable Models and Beyond" at Okayama and Kyoto, February 19-23, 2001, etc

Journal ref: Int.J.Mod.Phys. A19S2 (2004) 363-380

On Lepowsky-Wilson's Z-algebra

Authors: Y. Hara, M. Jimbo, H. Konno, S. Odake, J. Shiraishi

Abstract: 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. 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. △ Less

Submitted 22 May, 2000; originally announced May 2000.

Comments: 8 pages

Journal ref: 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.

Free Field Construction for the ABF Models in Regime II

Authors: M. Jimbo, H. Konno, S. Odake, Y. Pugai, J. Shiraishi

Abstract: The Wakimoto construction for the quantum affine algebra U_q(\hat{sl}_2) admits a reduction to the q-deformed parafermion algebras. We interpret the latter theory as a free field realization of the Andrews-Baxter-Forrester models in regime II. We give multi-particle form factors of some local operators on the lattice and compute their scaling limit, where the models are described by a massive fi… ▽ More The Wakimoto construction for the quantum affine algebra U_q(\hat{sl}_2) admits a reduction to the q-deformed parafermion algebras. We interpret the latter theory as a free field realization of the Andrews-Baxter-Forrester models in regime II. We give multi-particle form factors of some local operators on the lattice and compute their scaling limit, where the models are described by a massive field theory with Z_k symmetric minimal scattering matrices. △ Less

Submitted 28 January, 2000; v1 submitted 13 January, 2000; originally announced January 2000.

Comments: LaTeX2e, 36 pages ; Some misprints are corrected

Report number: HU-IAS/K-8, DPSU-99-8, RIMS-1266

Journal ref: J.Statist.Phys. 102 (2001) 883-921

Free Field Approach to the Dilute A_L Models

Authors: Y. Hara, M. Jimbo, H. Konno, S. Odake, J. Shiraishi

Abstract: We construct a free field realization of vertex operators of the dilute A_L models along with the Felder complex. For L=3, we also study an E_8 structure in terms of the deformed Virasoro currents. We construct a free field realization of vertex operators of the dilute A_L models along with the Felder complex. For L=3, we also study an E_8 structure in terms of the deformed Virasoro currents. △ Less

Submitted 26 February, 1999; originally announced February 1999.

Comments: (AMS-)LaTeX(2e), 43pages

Report number: HU-IAS/K-7; DPSU-99-2

Journal ref: J.Math.Phys. 40 (1999) 3791-3826

Elliptic algebra U_{q,p}(^sl_2): Drinfeld currents and vertex operators

Authors: M. Jimbo, H. Konno, S. Odake, J. Shiraishi

Abstract: We investigate the structure of the elliptic algebra U_{q,p}(^sl_2) introduced earlier by one of the authors. Our construction is based on a new set of generating series in the quantum affine algebra U_q(^sl_2), which are elliptic analogs of the Drinfeld currents. They enable us to identify U_{q,p}(^sl_2) with the tensor product of U_q(^sl_2) and a Heisenberg algebra generated by P,Q with [Q,P]=… ▽ More We investigate the structure of the elliptic algebra U_{q,p}(^sl_2) introduced earlier by one of the authors. Our construction is based on a new set of generating series in the quantum affine algebra U_q(^sl_2), which are elliptic analogs of the Drinfeld currents. They enable us to identify U_{q,p}(^sl_2) with the tensor product of U_q(^sl_2) and a Heisenberg algebra generated by P,Q with [Q,P]=1. In terms of these currents, we construct an L operator satisfying the dynamical RLL relation in the presence of the central element c. The vertex operators of Lukyanov and Pugai arise as `intertwiners' of U_{q,p}(^sl_2) for level one representation, in the sense to be elaborated on in the text. We also present vertex operators with higher level/spin in the free field representation. △ Less

Submitted 14 October, 1998; v1 submitted 31 January, 1998; originally announced February 1998.

Comments: 49 pages, (AMS-)LaTeX ; added an explanation of integration contours; added comments. To appear in Comm. Math. Phys. Numbering of equations is corrected

Report number: HU-IAS/K-6; DPSU-98-2

Journal ref: Commun.Math.Phys. 199 (1999) 605-647

Quasi-Hopf twistors for elliptic quantum groups

Authors: M. Jimbo, H. Konno, S. Odake, J. Shiraishi

Abstract: The Yang-Baxter equation admits two classes of elliptic solutions, the vertex type and the face type. On the basis of these solutions, two types of elliptic quantum groups have been introduced (Foda et al., Felder). Fronsdal made a penetrating observation that both of them are quasi-Hopf algebras, obtained by twisting the standard quantum affine algebra U_q(g). In this paper we present an explic… ▽ More The Yang-Baxter equation admits two classes of elliptic solutions, the vertex type and the face type. On the basis of these solutions, two types of elliptic quantum groups have been introduced (Foda et al., Felder). Fronsdal made a penetrating observation that both of them are quasi-Hopf algebras, obtained by twisting the standard quantum affine algebra U_q(g). In this paper we present an explicit formula for the twistors in the form of an infinite product of the universal R matrix of U_q(g). We also prove the shifted cocycle condition for the twistors, thereby completing Fronsdal's findings. This construction entails that, for generic values of the deformation parameters, representation theory for U_q(g) carries over to the elliptic algebras, including such objects as evaluation modules, highest weight modules and vertex operators. In particular, we confirm the conjectures of Foda et al. concerning the elliptic algebra A_{q,p}(^sl_2). △ Less

Submitted 14 October, 1998; v1 submitted 11 December, 1997; originally announced December 1997.

Comments: 29 pages, (AMS-)LaTeX. Some misprints are corrected. To appear in Transformation Groups. Numbering of equations is corrected

Report number: DPSU-97-11

Journal ref: Transformation Groups 4 (1999) 303-327

A coset-type construction for the deformed Virasoro algebra

Authors: Michio Jimbo, Jun'ichi Shiraishi

Abstract: An analog of the minimal unitary series representations for the deformed Virasoro algebra is constructed using vertex operators of the quantum affine algebra $U_q(\hat{sl}_2)$. A similar construction is proposed for the elliptic algebra $A_{q,p}(\hat{sl}_2)$. An analog of the minimal unitary series representations for the deformed Virasoro algebra is constructed using vertex operators of the quantum affine algebra $U_q(\hat{sl}_2)$. A similar construction is proposed for the elliptic algebra $A_{q,p}(\hat{sl}_2)$. △ Less

Submitted 3 February, 1998; v1 submitted 25 September, 1997; originally announced September 1997.

Comments: 16 pages LaTex; added errata

q-Difference Realization of U_q(sl(M|N)) and Its Application to Free Boson Realization of U_q(\widehat{sl}(2|1))

Authors: H. Awata, S. Odake, J. Shiraishi

Abstract: We present a q-difference realization of the quantum superalgebra U_q(sl(M|N)), which includes Grassmann even and odd coordinates and their derivatives. Based on this result we obtain a free boson realization of the quantum affine superalgebra U_q(\widehat{sl}(2|1)) of an arbitrary level k. We present a q-difference realization of the quantum superalgebra U_q(sl(M|N)), which includes Grassmann even and odd coordinates and their derivatives. Based on this result we obtain a free boson realization of the quantum affine superalgebra U_q(\widehat{sl}(2|1)) of an arbitrary level k. △ Less

Submitted 28 January, 1997; originally announced January 1997.

Comments: 8 pages, LaTeX

Report number: EFI-97-07, DPSU-97-1

Journal ref: Lett. Math. Phys. 42 (1997) 271-279

Quantum Deformation of the W_N Algebra

Authors: H. Awata, H. Kubo, S. Odake, J. Shiraishi

Abstract: We review the W_N algebra and its quantum deformation, based on free field realizations. The (quantum deformed) W_N algebra is defined through the (quantum deformed) Miura transformation, and its singular vectors realize the Jack (Macdonald) polynomials. (Talk at the Nankai-CRM joint meeting on ``Extended and Quantum Algebras and their Applications to Physics'', Tianjin, China, August 19-24, 199… ▽ More We review the W_N algebra and its quantum deformation, based on free field realizations. The (quantum deformed) W_N algebra is defined through the (quantum deformed) Miura transformation, and its singular vectors realize the Jack (Macdonald) polynomials. (Talk at the Nankai-CRM joint meeting on ``Extended and Quantum Algebras and their Applications to Physics'', Tianjin, China, August 19-24, 1996.) △ Less

Submitted 1 December, 1996; originally announced December 1996.

Comments: 18 pages, LaTeX

Report number: DPSU-96-16, UT-762

A level-one representation of the quantum affine superalgebra $\U_q(\hat{\frak{sl}}(M+1|N+1))$

Authors: K. Kimura, J. Shiraishi, J. Uchiyama

Abstract: A level-one representation of the quantum affine superalgebra $\U_q(\hat{\frak{sl}}(M+1|N+1))$ and vertex operators associated with the fundamental representations are constructed in terms of free bosonic fields. Character formulas of level-one irreducible highest weight modules of $\U_q(\hat{\frak{sl}}(2|1))$ are conjectured. A level-one representation of the quantum affine superalgebra $\U_q(\hat{\frak{sl}}(M+1|N+1))$ and vertex operators associated with the fundamental representations are constructed in terms of free bosonic fields. Character formulas of level-one irreducible highest weight modules of $\U_q(\hat{\frak{sl}}(2|1))$ are conjectured. △ Less

Submitted 3 June, 1996; v1 submitted 2 June, 1996; originally announced May 1996.

Comments: AMS-TeX, 11 pages

Vertex Operators of the $q$-Virasoro Algebra; Defining Relations, Adjoint Actions and Four Point Functions

Authors: H. Awata, H. Kubo, Y. Morita, S. Odake, J. Shiraishi

Abstract: Primary fields of the $q$-deformed Virasoro algebra are constructed. Commutation relations among the primary fields are studied. Adjoint actions of the deformed Virasoro current on the primary fields are represented by the shift operator $Θ_ξ f(x)=f(ξx)$. Four point functions of the primary fields enjoy the connection formula associated with the Boltzmann weights of the fusion Andrews-Baxter-For… ▽ More Primary fields of the $q$-deformed Virasoro algebra are constructed. Commutation relations among the primary fields are studied. Adjoint actions of the deformed Virasoro current on the primary fields are represented by the shift operator $Θ_ξ f(x)=f(ξx)$. Four point functions of the primary fields enjoy the connection formula associated with the Boltzmann weights of the fusion Andrews-Baxter-Forrester model. △ Less

Submitted 30 April, 1996; originally announced April 1996.

Comments: 9 pages, LaTex file

Journal ref: Lett.Math.Phys. 41 (1997) 65-78

Quantum $W_N$ Algebras and Macdonald Polynomials

Authors: H. Awata, H. Kubo, S. Odake, J. Shiraishi

Abstract: We derive a quantum deformation of the $W_N$ algebra and its quantum Miura transformation, whose singular vectors realize the Macdonald polynomials. We derive a quantum deformation of the $W_N$ algebra and its quantum Miura transformation, whose singular vectors realize the Macdonald polynomials. △ Less

Submitted 23 September, 1995; v1 submitted 21 August, 1995; originally announced August 1995.

Comments: LaTeX file, 17-pages, no-figures, a reference added

Report number: YITP/U-95-34, DPSU-95-9, UT-718

Journal ref: Commun. Math. Phys. 179 (1996) 401

A Quantum Deformation of the Virasoro Algebra and the Macdonald Symmetric Functions

Authors: Jun'ichi Shiraishi, Harunobu Kubo, Hidetoshi Awata, Satoru Odake

Abstract: A quantum deformation of the Virasoro algebra is defined. The Kac determinants at arbitrary levels are conjectured. We construct a bosonic realization of the quantum deformed Virasoro algebra. Singular vectors are expressed by the Macdonald symmetric functions. This is proved by constructing screening currents acting on the bosonic Fock space. A quantum deformation of the Virasoro algebra is defined. The Kac determinants at arbitrary levels are conjectured. We construct a bosonic realization of the quantum deformed Virasoro algebra. Singular vectors are expressed by the Macdonald symmetric functions. This is proved by constructing screening currents acting on the bosonic Fock space. △ Less

Submitted 5 August, 1995; v1 submitted 30 July, 1995; originally announced July 1995.

Comments: 15 pages, latex file

Report number: YITP/U-95-30, DPSU-95-5, UT-715

Journal ref: Lett.Math.Phys. 38 (1996) 33

Integral Representations of the Macdonald Symmetric Functions

Authors: Hidetoshi Awata, Satoru Odake, Jun'ichi Shiraishi

Abstract: Multiple-integral representations of the (skew-)Macdonald symmetric functions are obtained. Some bosonization schemes for the integral representations are also constructed. Multiple-integral representations of the (skew-)Macdonald symmetric functions are obtained. Some bosonization schemes for the integral representations are also constructed. △ Less

Submitted 1 November, 1995; v1 submitted 8 June, 1995; originally announced June 1995.

Comments: LaTex 21pages

Report number: YITP/U-95-19, DPSU-95-1, UT-706

Journal ref: Commun. Math. Phys. 179 (1996) 647