Showing 1–50 of 59 results for author: Jimbo, M

Remarks on $q$-difference opers arising from quantum toroidal algebras

Authors: B. Feigin, M. Jimbo, E. Mukhin

Abstract: We propose a conjectural correspondence between the spectra of the Bethe algebra for the quantum toroidal $\mathfrak{gl}_2$ algebra on relaxed Verma modules, and $q$-hypergeometric opers with apparent singularities. We introduce alongside the notion of apparent singularities for linear $q$-difference operators and discuss some of their properties. We also touch on a generalization to… ▽ More We propose a conjectural correspondence between the spectra of the Bethe algebra for the quantum toroidal $\mathfrak{gl}_2$ algebra on relaxed Verma modules, and $q$-hypergeometric opers with apparent singularities. We introduce alongside the notion of apparent singularities for linear $q$-difference operators and discuss some of their properties. We also touch on a generalization to $\mathfrak{gl}_n$. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Comments: Latex, 30 pages

Combinatorial bases in quantum toroidal $\mathfrak{gl}_2$ modules

Authors: Michio Jimbo, Evgeny Mukhin

Abstract: We show that many tame modules of the quantum toroidal $\mathfrak{gl}_2$ algebra can be explicitly constructed in a purely combinatorial way using the theory of $q$-characters. The examples include families of evaluation modules obtained from analytic continuation and automorphism twists of Verma modules of the quantum affine $\mathfrak{gl}_2$ algebra. The combinatorial bases in the modules are la… ▽ More We show that many tame modules of the quantum toroidal $\mathfrak{gl}_2$ algebra can be explicitly constructed in a purely combinatorial way using the theory of $q$-characters. The examples include families of evaluation modules obtained from analytic continuation and automorphism twists of Verma modules of the quantum affine $\mathfrak{gl}_2$ algebra. The combinatorial bases in the modules are labeled by colored plane partitions with various properties. △ Less

Submitted 25 March, 2024; originally announced March 2024.

Comments: Latex, 26 pages, 12 figures

Commutative subalgebra of a shuffle algebra associated with quantum toroidal $\mathfrak{gl}_{m|n}$

Authors: B. Feigin, M. Jimbo, E. Mukhin

Abstract: We define and study the shuffle algebra $Sh_{m|n}$ of the quantum toroidal algebra $\mathcal E_{m|n}$ associated to Lie superalgebra $\mathfrak{gl}_{m|n}$. We show that $Sh_{m|n}$ contains a family of commutative subalgebras $\mathcal B_{m|n}(s)$ depending on parameters $s=(s_1,\dots,s_{m+n})$, $\prod_i s_i=1$, given by appropriate regularity conditions. We show that $\mathcal B_{m|n}(s)$ is a fre… ▽ More We define and study the shuffle algebra $Sh_{m|n}$ of the quantum toroidal algebra $\mathcal E_{m|n}$ associated to Lie superalgebra $\mathfrak{gl}_{m|n}$. We show that $Sh_{m|n}$ contains a family of commutative subalgebras $\mathcal B_{m|n}(s)$ depending on parameters $s=(s_1,\dots,s_{m+n})$, $\prod_i s_i=1$, given by appropriate regularity conditions. We show that $\mathcal B_{m|n}(s)$ is a free polynomial algebra and give explicit generators which conjecturally correspond to the traces of the $s$-weighted $R$-matrix computed on the degree zero part of $\mathcal E_{m|n}$ modules of levels $\pm 1$. △ Less

Submitted 8 June, 2023; originally announced June 2023.

Comments: Latex 31 page

Extensions of deformed $W$-algebras via $qq$-characters

Authors: B. Feigin, M. Jimbo, E. Mukhin

Abstract: We use combinatorics of $qq$-characters to study extensions of deformed $W$-algebras. We describe additional currents and part of the relations in the cases of $\mathfrak{gl}(n|m)$ and $\mathfrak{osp}(2|2n)$. We use combinatorics of $qq$-characters to study extensions of deformed $W$-algebras. We describe additional currents and part of the relations in the cases of $\mathfrak{gl}(n|m)$ and $\mathfrak{osp}(2|2n)$. △ Less

Submitted 3 December, 2022; originally announced December 2022.

Comments: Latex, 28 pages

Quantum Toroidal Comodule Algebra of Type $A_{n-1}$ and Integrals of Motion

Authors: Boris Feigin, Michio Jimbo, Evgeny Mukhin

Abstract: We introduce an algebra $\mathcal{K}_n$ which has a structure of a left comodule over the quantum toroidal algebra of type $A_{n-1}$. Algebra $\mathcal{K}_n$ is a higher rank generalization of $\mathcal{K}_1$, which provides a uniform description of deformed $W$ algebras associated with Lie (super)algebras of types BCD. We show that $\mathcal{K}_n$ possesses a family of commutative subalgebras. We introduce an algebra $\mathcal{K}_n$ which has a structure of a left comodule over the quantum toroidal algebra of type $A_{n-1}$. Algebra $\mathcal{K}_n$ is a higher rank generalization of $\mathcal{K}_1$, which provides a uniform description of deformed $W$ algebras associated with Lie (super)algebras of types BCD. We show that $\mathcal{K}_n$ possesses a family of commutative subalgebras. △ Less

Submitted 19 July, 2022; v1 submitted 29 December, 2021; originally announced December 2021.

Journal ref: SIGMA 18 (2022), 051, 31 pages

Combinatorics of vertex operators and deformed $W$-algebra of type D$(2,1;α)$

Authors: B. Feigin, M. Jimbo, E. Mukhin

Abstract: We consider sets of screening operators with fermionic screening currents. We study sums of vertex operators which formally commute with the screening operators assuming that each vertex operator has rational contractions with all screening currents with only simple poles. We develop and use the method of $qq$-characters which are combinatorial objects described in terms of deformed Cartan matrix.… ▽ More We consider sets of screening operators with fermionic screening currents. We study sums of vertex operators which formally commute with the screening operators assuming that each vertex operator has rational contractions with all screening currents with only simple poles. We develop and use the method of $qq$-characters which are combinatorial objects described in terms of deformed Cartan matrix. We show that each qq-character gives rise to a sum of vertex operators commuting with screening operators and describe ways to understand the sum in the case it is infinite. We discuss combinatorics of the qq-characters and their relation to the q-characters of representations of quantum groups. We provide a number of explicit examples of the qq-characters with the emphasis on the case of $D(2,1;α)$. We describe a relationship of the examples to various integrals of motion. △ Less

Submitted 16 November, 2021; v1 submitted 28 March, 2021; originally announced March 2021.

Comments: Latex, 44 pages. We made some corrections

Deformations of $\mathcal W$ algebras via quantum toroidal algebras

Authors: B. Feigin, M. Jimbo, E. Mukhin, I. Vilkoviskiy

Abstract: The deformed $\mathcal W$ algebras of type $\textsf{A}$ have a uniform description in terms of the quantum toroidal $\mathfrak{gl}_1$ algebra $\mathcal E$. We introduce a comodule algebra $\mathcal K$ over $\mathcal E$ which gives a uniform construction of basic deformed $\mathcal W$ currents and screening operators in types $\textsf{B},\textsf{C},\textsf{D}$ including twisted and supersymmetric c… ▽ More The deformed $\mathcal W$ algebras of type $\textsf{A}$ have a uniform description in terms of the quantum toroidal $\mathfrak{gl}_1$ algebra $\mathcal E$. We introduce a comodule algebra $\mathcal K$ over $\mathcal E$ which gives a uniform construction of basic deformed $\mathcal W$ currents and screening operators in types $\textsf{B},\textsf{C},\textsf{D}$ including twisted and supersymmetric cases. We show that a completion of algebra $\mathcal K$ contains three commutative subalgebras. In particular, it allows us to obtain a commutative family of integrals of motion associated with affine Dynkin diagrams of all non-exceptional types except $\textsf{D}^{(2)}_{\ell+1}$. We also obtain in a uniform way deformed finite and affine Cartan matrices in all classical types together with a number of new examples, and discuss the corresponding screening operators. △ Less

Submitted 22 June, 2021; v1 submitted 9 March, 2020; originally announced March 2020.

Comments: Latex 53 pages. Several misprints are corrected

Towards trigonometric deformation of $\widehat{\mathfrak{sl}}_2$ coset VOA

Authors: B. Feigin, M. Jimbo, E. Mukhin

Abstract: We discuss the quantization of the $\widehat{\mathfrak{sl}}_2$ coset vertex operator algebra $\mathcal{W}D(2,1;α)$ using the bosonization technique. We show that after quantization there exist three families of commuting integrals of motion coming from three copies of the quantum toroidal algebra associated to ${\mathfrak{gl}}_2$. We discuss the quantization of the $\widehat{\mathfrak{sl}}_2$ coset vertex operator algebra $\mathcal{W}D(2,1;α)$ using the bosonization technique. We show that after quantization there exist three families of commuting integrals of motion coming from three copies of the quantum toroidal algebra associated to ${\mathfrak{gl}}_2$. △ Less

Submitted 5 November, 2018; originally announced November 2018.

Comments: Latex, 20 pages

The $(\mathfrak{gl}_m,\mathfrak{gl}_n$) duality in the quantum toroidal setting

Authors: B. Feigin, M. Jimbo, E. Mukhin

Abstract: On a Fock space constructed from $mn$ free bosons and lattice ${\Bbb {Z}}^{mn}$, we give a level $n$ action of the quantum toroidal algebra $\mathscr {E}_m$ associated to $\mathfrak{gl}_m$, together with a level $m$ action of the quantum toroidal algebra ${\mathscr E}_n$ associated to ${\mathfrak {gl}}_n$. We prove that the $\mathscr {E}_m$ transfer matrices commute with the $\mathscr {E}_n$ trans… ▽ More On a Fock space constructed from $mn$ free bosons and lattice ${\Bbb {Z}}^{mn}$, we give a level $n$ action of the quantum toroidal algebra $\mathscr {E}_m$ associated to $\mathfrak{gl}_m$, together with a level $m$ action of the quantum toroidal algebra ${\mathscr E}_n$ associated to ${\mathfrak {gl}}_n$. We prove that the $\mathscr {E}_m$ transfer matrices commute with the $\mathscr {E}_n$ transfer matrices after an appropriate identification of parameters. △ Less

Submitted 25 January, 2018; originally announced January 2018.

Comments: Latex, 28 pages

Evaluation modules for quantum toroidal ${\mathfrak{gl}}_n$ algebras

Authors: B. Feigin, M. Jimbo, E. Mukhin

Abstract: The affine evaluation map is a surjective homomorphism from the quantum toroidal ${\mathfrak {gl}}_n$ algebra ${\mathcal E}'_n(q_1,q_2,q_3)$ to the quantum affine algebra $U'_q\widehat{\mathfrak {gl}}_n$ at level $κ$ completed with respect to the homogeneous grading, where $q_2=q^2$ and $q_3^n=κ^2$. We discuss ${\mathcal E}'_n(q_1,q_2,q_3)$ evaluation modules. We give highest weights of evaluati… ▽ More The affine evaluation map is a surjective homomorphism from the quantum toroidal ${\mathfrak {gl}}_n$ algebra ${\mathcal E}'_n(q_1,q_2,q_3)$ to the quantum affine algebra $U'_q\widehat{\mathfrak {gl}}_n$ at level $κ$ completed with respect to the homogeneous grading, where $q_2=q^2$ and $q_3^n=κ^2$. We discuss ${\mathcal E}'_n(q_1,q_2,q_3)$ evaluation modules. We give highest weights of evaluation highest weight modules. We also obtain the decomposition of the evaluation Wakimoto module with respect to a Gelfand-Zeitlin type subalgebra of a completion of ${\mathcal E}'_n(q_1,q_2,q_3)$, which describes a deformation of the coset theory $\widehat{\mathfrak {gl}}_n/\widehat{\mathfrak {gl}}_{n-1}$. △ Less

Submitted 23 February, 2021; v1 submitted 5 September, 2017; originally announced September 2017.

Comments: Latex, 24 pages. Section 5.3 and Appendix are added

CFT approach to the $q$-Painlevé VI equation

Authors: M. Jimbo, H. Nagoya, H. Sakai

Abstract: Iorgov, Lisovyy, and Teschner established a connection between isomonodromic deformation of linear differential equations and Liouville conformal field theory at $c=1$. In this paper we present a $q$ analog of their construction. We show that the general solution of the $q$-Painlevé VI equation is a ratio of four tau functions, each of which is given by a combinatorial series arising in the AGT co… ▽ More Iorgov, Lisovyy, and Teschner established a connection between isomonodromic deformation of linear differential equations and Liouville conformal field theory at $c=1$. In this paper we present a $q$ analog of their construction. We show that the general solution of the $q$-Painlevé VI equation is a ratio of four tau functions, each of which is given by a combinatorial series arising in the AGT correspondence. We also propose conjectural bilinear equations for the tau functions. △ Less

Submitted 17 August, 2017; v1 submitted 6 June, 2017; originally announced June 2017.

Comments: 26 pages

Integrals of motion from quantum toroidal algebras

Authors: B. Feigin, M. Jimbo, E. Mukhin

Abstract: We identify the Taylor coefficients of the transfer matrices corresponding to quantum toroidal algebras with the elliptic local and non-local integrals of motion introduced by Kojima, Shiraishi, Watanabe, and one of the authors. That allows us to prove the Litvinov conjectures on the Intermediate Long Wave model. We also discuss the (gl(m),gl(n)) duality of XXZ models in quantum toroidal setti… ▽ More We identify the Taylor coefficients of the transfer matrices corresponding to quantum toroidal algebras with the elliptic local and non-local integrals of motion introduced by Kojima, Shiraishi, Watanabe, and one of the authors. That allows us to prove the Litvinov conjectures on the Intermediate Long Wave model. We also discuss the (gl(m),gl(n)) duality of XXZ models in quantum toroidal setting and the implications for the quantum KdV model. In particular, we conjecture that the spectrum of non-local integrals of motion of Bazhanov, Lukyanov, and Zamolodchikov is described by Gaudin Bethe ansatz equations associated to affine sl(2). △ Less

Submitted 18 August, 2017; v1 submitted 22 May, 2017; originally announced May 2017.

Comments: Latex, 28 pages, minor revision, some misprints corrected

Finite type modules and Bethe ansatz equations

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin

Abstract: We introduce and study a category $\text{Fin}$ of modules of the Borel subalgebra of a quantum affine algebra $U_q\mathfrak{g}$, where the commutative algebra of Drinfeld generators $h_{i,r}$, corresponding to Cartan currents, has finitely many characteristic values. This category is a natural extension of the category of finite-dimensional $U_q\mathfrak{g}$ modules. In particular, we classify the… ▽ More We introduce and study a category $\text{Fin}$ of modules of the Borel subalgebra of a quantum affine algebra $U_q\mathfrak{g}$, where the commutative algebra of Drinfeld generators $h_{i,r}$, corresponding to Cartan currents, has finitely many characteristic values. This category is a natural extension of the category of finite-dimensional $U_q\mathfrak{g}$ modules. In particular, we classify the irreducible objects, discuss their properties, and describe the combinatorics of the q-characters. We study transfer matrices corresponding to modules in $\text{Fin}$. Among them we find the Baxter $Q_i$ operators and $T_i$ operators satisfying relations of the form $T_iQ_i=\prod_j Q_j+ \prod_k Q_k$. We show that these operators are polynomials of the spectral parameter after a suitable normalization. This allows us to prove the Bethe ansatz equations for the zeroes of the eigenvalues of the $Q_i$ operators acting in an arbitrary finite-dimensional representation of $U_q\mathfrak{g}$. △ Less

Submitted 19 September, 2016; originally announced September 2016.

Comments: Latex 33 pages

Finite type modules and Bethe Ansatz for quantum toroidal gl(1)

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin

Abstract: We study highest weight representations of the Borel subalgebra of the quantum toroidal gl(1) algebra with finite-dimensional weight spaces. In particular, we develop the q-character theory for such modules. We introduce and study the subcategory of `finite type' modules. By definition, a module over the Borel subalgebra is finite type if the Cartan like current ψ^+(z) has a finite number of eigen… ▽ More We study highest weight representations of the Borel subalgebra of the quantum toroidal gl(1) algebra with finite-dimensional weight spaces. In particular, we develop the q-character theory for such modules. We introduce and study the subcategory of `finite type' modules. By definition, a module over the Borel subalgebra is finite type if the Cartan like current ψ^+(z) has a finite number of eigenvalues, even though the module itself can be infinite dimensional. We use our results to diagonalize the transfer matrix T_{V,W}(u;p) analogous to those of the six vertex model. In our setting T_{V,W}(u;p) acts in a tensor product W of Fock spaces and V is a highest weight module over the Borel subalgebra of quantum toroidal gl(1) with finite-dimensional weight spaces. Namely we show that for a special choice of finite type modules $V$ the corresponding transfer matrices, Q(u;p) and T(u;p), are polynomials in u and satisfy a two-term TQ relation. We use this relation to prove the Bethe Ansatz equation for the zeroes of the eigenvalues of Q(u;p). Then we show that the eigenvalues of T_{V,W}(u;p) are given by an appropriate substitution of eigenvalues of Q(u;p) into the q-character of V. △ Less

Submitted 8 March, 2016; originally announced March 2016.

Comments: Latex 42 pages

Quantum toroidal gl(1) and Bethe ansatz

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin

Abstract: We establish the method of Bethe ansatz for the XXZ type model obtained from the R-matrix associated to quantum toroidal gl(1). We do that by using shuffle realizations of the modules and by showing that the Hamiltonian of the model is obtained from a simple multiplication operator by taking an appropriate quotient. We expect this approach to be applicable to a wide variety of models. We establish the method of Bethe ansatz for the XXZ type model obtained from the R-matrix associated to quantum toroidal gl(1). We do that by using shuffle realizations of the modules and by showing that the Hamiltonian of the model is obtained from a simple multiplication operator by taking an appropriate quotient. We expect this approach to be applicable to a wide variety of models. △ Less

Submitted 25 February, 2015; originally announced February 2015.

Comments: Latex, 25 pages

Branching rules for quantum toroidal gl(n)

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin

Abstract: We construct an analog of the subalgebra $Ugl(n)\otimes Ugl(m)$ of $Ugl(m+n)$ in the setting of quantum toroidal algebras and study the restrictions of various representations to this subalgebra. We construct an analog of the subalgebra $Ugl(n)\otimes Ugl(m)$ of $Ugl(m+n)$ in the setting of quantum toroidal algebras and study the restrictions of various representations to this subalgebra. △ Less

Submitted 12 January, 2018; v1 submitted 9 September, 2013; originally announced September 2013.

Comments: Latex, 38 pages, misprints corrected

Journal ref: Advances in Mathematics, 300 (2016), 229-274

Representations of quantum toroidal $gl_n$

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin

Abstract: We define and study representations of quantum toroidal $gl_n$ with natural bases labeled by plane partitions with various conditions. As an application, we give an explicit description of a family of highest weight representations of quantum affine $gl_n$ with generic level. We define and study representations of quantum toroidal $gl_n$ with natural bases labeled by plane partitions with various conditions. As an application, we give an explicit description of a family of highest weight representations of quantum affine $gl_n$ with generic level. △ Less

Submitted 24 April, 2012; originally announced April 2012.

Comments: Latex 31 pages

Quantum toroidal $\mathfrak{gl}_1$ algebra : plane partitions

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin

Abstract: In third paper of the series we construct a large family of representations of the quantum toroidal $\gl_1$ algebra whose bases are parameterized by plane partitions with various boundary conditions and restrictions. We study the corresponding formal characters. As an application we obtain a Gelfand-Zetlin type basis for a class of irreducible lowest weight $\gl_\infty$-modules. In third paper of the series we construct a large family of representations of the quantum toroidal $\gl_1$ algebra whose bases are parameterized by plane partitions with various boundary conditions and restrictions. We study the corresponding formal characters. As an application we obtain a Gelfand-Zetlin type basis for a class of irreducible lowest weight $\gl_\infty$-modules. △ Less

Submitted 24 October, 2011; originally announced October 2011.

Comments: Latex, 38 pages

Journal ref: Kyoto J. Math. 52, no. 3 (2012), 621-659

Asymptotic representations and Drinfeld rational fractions

Authors: David Hernandez, Michio Jimbo

Abstract: We introduce and study a category of representations of the Borel algebra, associated with a quantum loop algebra of non-twisted type. We construct fundamental representations for this category as a limit of the Kirillov-Reshetikhin modules over the quantum loop algebra and we establish explicit formulas for their characters. We prove that general simple modules in this category are classified by… ▽ More We introduce and study a category of representations of the Borel algebra, associated with a quantum loop algebra of non-twisted type. We construct fundamental representations for this category as a limit of the Kirillov-Reshetikhin modules over the quantum loop algebra and we establish explicit formulas for their characters. We prove that general simple modules in this category are classified by n-tuples of rational functions in one variable, which are regular and non-zero at the origin but may have a zero or a pole at infinity. △ Less

Submitted 1 April, 2012; v1 submitted 11 April, 2011; originally announced April 2011.

Comments: 32 pages; accepted for publication in Compositio Mathematica

Journal ref: Compositio Math. 148 (2012) 1593-1623

Quantum continuous $gl_\infty$: Tensor products of Fock modules and $W_n$ characters

Authors: B. Feigin, E. Feigin, M. Jimbo, T. Miwa, E. Mukhin

Abstract: We construct a family of irreducible representations of the quantum continuous $gl_\infty$ whose characters coincide with the characters of representations in the minimal models of the $W_n$ algebras of $gl_n$ type. In particular, we obtain a simple combinatorial model for all representations of the $W_n$-algebras appearing in the minimal models in terms of $n$ interrelating partitions. We construct a family of irreducible representations of the quantum continuous $gl_\infty$ whose characters coincide with the characters of representations in the minimal models of the $W_n$ algebras of $gl_n$ type. In particular, we obtain a simple combinatorial model for all representations of the $W_n$-algebras appearing in the minimal models in terms of $n$ interrelating partitions. △ Less

Submitted 16 February, 2010; originally announced February 2010.

Comments: 24 pages

Journal ref: Kyoto J. Math. 51, no. 2 (2011), 365-392

Quantum continuous $\mathfrak{gl}_\infty$: Semi-infinite construction of representations

Authors: B. Feigin, E. Feigin, M. Jimbo, T. Miwa, E. Mukhin

Abstract: We begin a study of the representation theory of quantum continuous $\mathfrak{gl}_\infty$, which we denote by $\mathcal E$. This algebra depends on two parameters and is a deformed version of the enveloping algebra of the Lie algebra of difference operators acting on the space of Laurent polynomials in one variable. Fundamental representations of $\mathcal E$ are labeled by a continuous paramet… ▽ More We begin a study of the representation theory of quantum continuous $\mathfrak{gl}_\infty$, which we denote by $\mathcal E$. This algebra depends on two parameters and is a deformed version of the enveloping algebra of the Lie algebra of difference operators acting on the space of Laurent polynomials in one variable. Fundamental representations of $\mathcal E$ are labeled by a continuous parameter $u\in {\mathbb C}$. The representation theory of $\mathcal E$ has many properties familiar from the representation theory of $\mathfrak{gl}_\infty$: vector representations, Fock modules, semi-infinite constructions of modules. Using tensor products of vector representations, we construct surjective homomorphisms from $\mathcal E$ to spherical double affine Hecke algebras $S\ddot H_N$ for all $N$. A key step in this construction is an identification of a natural bases of the tensor products of vector representations with Macdonald polynomials. We also show that one of the Fock representations is isomorphic to the module constructed earlier by means of the $K$-theory of Hilbert schemes. △ Less

Submitted 16 February, 2010; originally announced February 2010.

Comments: 23 pages

Journal ref: Kyoto J. Math. 51, no. 2 (2011), 337-364

Gelfand-Zetlin basis, Whittaker vectors and a bosonic formula for the $\sln$ principal subspace

Authors: B. Feigin, M. Jimbo, T. Miwa

Abstract: We derive a bosonic formula for the character of the principal space in the level $k$ vacuum module for $\widehat{\mathfrak{sl}}_{n+1}$, starting from a known fermionic formula for it. In our previous work, the latter was written as a sum consisting of Shapovalov scalar products of the Whittaker vectors for $U_{v^{\pm1}}(\mathfrak{gl}_{n+1})$. In this paper we compute these scalar products in th… ▽ More We derive a bosonic formula for the character of the principal space in the level $k$ vacuum module for $\widehat{\mathfrak{sl}}_{n+1}$, starting from a known fermionic formula for it. In our previous work, the latter was written as a sum consisting of Shapovalov scalar products of the Whittaker vectors for $U_{v^{\pm1}}(\mathfrak{gl}_{n+1})$. In this paper we compute these scalar products in the bosonic form, using the decomposition of the Whittaker vectors in the Gelfand-Zetlin basis. We show further that the bosonic formula obtained in this way is the quasi-classical decomposition of the fermionic formula. △ Less

Submitted 12 July, 2009; originally announced July 2009.

Fermionic formulas for eigenfunctions of the difference Toda Hamiltonian

Authors: B. Feigin, E. Feigin, M. Jimbo, T. Miwa, E. Mukhin

Abstract: We use the Whittaker vectors and the Drinfeld Casimir element to show that eigenfunctions of the difference Toda Hamiltonian can be expressed via fermionic formulas. Motivated by the combinatorics of the fermionic formulas we use the representation theory of the quantum groups to prove a number of identities for the coefficients of the eigenfunctions. We use the Whittaker vectors and the Drinfeld Casimir element to show that eigenfunctions of the difference Toda Hamiltonian can be expressed via fermionic formulas. Motivated by the combinatorics of the fermionic formulas we use the representation theory of the quantum groups to prove a number of identities for the coefficients of the eigenfunctions. △ Less

Submitted 24 January, 2018; v1 submitted 12 December, 2008; originally announced December 2008.

Comments: 33 pages, Latex

MSC Class: 81R50

Principal $\hat{sl}(3)$ subspaces and quantum Toda Hamiltonian

Authors: B. Feigin, E. Feigin, M. Jimbo, T. Miwa, E. Mukhin

Abstract: We study a class of representations of the Lie algebra of Laurent polynomials with values in the nilpotent subalgebra of sl(3). We derive Weyl-type (bosonic) character formulas for these representations. We establish a connection between the bosonic formulas and the Whittaker vector in the Verma module for the quantum group $U_v sl(3)$. We also obtain a fermionic formula for an eigenfunction of… ▽ More We study a class of representations of the Lie algebra of Laurent polynomials with values in the nilpotent subalgebra of sl(3). We derive Weyl-type (bosonic) character formulas for these representations. We establish a connection between the bosonic formulas and the Whittaker vector in the Verma module for the quantum group $U_v sl(3)$. We also obtain a fermionic formula for an eigenfunction of the sl(3) quantum Toda Hamiltonian. △ Less

Submitted 27 August, 2007; v1 submitted 11 July, 2007; originally announced July 2007.

Comments: Latex, 42 pages

Fermionic basis for space of operators in the XXZ model

Authors: H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama

Abstract: In the recent study of correlation functions for the infinite XXZ spin chain, a new pair of anti-commuting operators $b(z), c(z)$ was introduced. They act on the space of quasi-local operators, which are local operators multiplied by the disorder operator. For the inhomogeneous chain with the spectral parameters $ξ_{k}$, these operators have simple poles at $z^2=ξ_{k}^2$. The residues are denote… ▽ More In the recent study of correlation functions for the infinite XXZ spin chain, a new pair of anti-commuting operators $b(z), c(z)$ was introduced. They act on the space of quasi-local operators, which are local operators multiplied by the disorder operator. For the inhomogeneous chain with the spectral parameters $ξ_{k}$, these operators have simple poles at $z^2=ξ_{k}^2$. The residues are denoted by $b_{k}, c_{k}$. At $q=i$, we show that the operators $b_{k}, c_{k}$ are cubic monomials in free fermions. In other words, the action of these operators is very simple in the fermion basis. We give an explicit construction of these fermions. Then, we show that the existence of the fermionic basis is a consequence of the Grassmann relation, the equivariance with respect to the action of the symmetric group and the reduction property, which are all valid for the operators $b_{k}, c_{k}$ in the case of generic $q$. △ Less

Submitted 12 February, 2007; originally announced February 2007.

Comments: 34 pages, no figure

Hidden Grassmann structure in the XXZ model

Authors: H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama

Abstract: For the critical XXZ model, we consider the space W of operators which are products of local operators with a disorder operator. We introduce two anti-commutative family of operators b(z), c(z) which act on the space W. These operators are constructed as traces over representations of the q-oscillator algebra, in close analogy with Baxter's Q-operators. We show that the vacuum expectation values… ▽ More For the critical XXZ model, we consider the space W of operators which are products of local operators with a disorder operator. We introduce two anti-commutative family of operators b(z), c(z) which act on the space W. These operators are constructed as traces over representations of the q-oscillator algebra, in close analogy with Baxter's Q-operators. We show that the vacuum expectation values of operators in W can be expressed in terms of an exponential of a quadratic form of b(z), c(z). △ Less

Submitted 11 July, 2006; v1 submitted 30 June, 2006; originally announced June 2006.

Comments: 20 pages, no figure, minor misprints corrected

Journal ref: Commun.Math.Phys.272:263-281,2007

A $φ_{1,3}$-filtration of the Virasoro minimal series M(p,p') with 1<p'/p< 2

Authors: B. Feigin, E. Feigin, M. Jimbo, T. Miwa, Y. Takeyama

Abstract: The filtration of the Virasoro minimal series representations M^{(p,p')}_{r,s} induced by the (1,3)-primary field $φ_{1,3}(z)$ is studied. For 1< p'/p< 2, a conjectural basis of M^{(p,p')}_{r,s} compatible with the filtration is given by using monomial vectors in terms of the Fourier coefficients of $φ_{1,3}(z)$. In support of this conjecture, we give two results. First, we establish the equalit… ▽ More The filtration of the Virasoro minimal series representations M^{(p,p')}_{r,s} induced by the (1,3)-primary field $φ_{1,3}(z)$ is studied. For 1< p'/p< 2, a conjectural basis of M^{(p,p')}_{r,s} compatible with the filtration is given by using monomial vectors in terms of the Fourier coefficients of $φ_{1,3}(z)$. In support of this conjecture, we give two results. First, we establish the equality of the character of the conjectural basis vectors with the character of the whole representation space. Second, for the unitary series (p'=p+1), we establish for each $m$ the equality between the character of the degree $m$ monomial basis and the character of the degree $m$ component in the associated graded module Gr(M^{(p,p+1)}_{r,s}) with respect to the filtration defined by $φ_{1,3}(z)$. △ Less

Submitted 8 June, 2006; v1 submitted 3 March, 2006; originally announced March 2006.

Comments: 34 pages, no figure

Algebraic representation of correlation functions in integrable spin chains

Authors: H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama

Abstract: Taking the XXZ chain as the main example, we give a review of an algebraic representation of correlation functions in integrable spin chains obtained recently. We rewrite the previous formulas in a form which works equally well for the physically interesting homogeneous chains. We discuss also the case of quantum group invariant operators and generalization to the XYZ chain. Taking the XXZ chain as the main example, we give a review of an algebraic representation of correlation functions in integrable spin chains obtained recently. We rewrite the previous formulas in a form which works equally well for the physically interesting homogeneous chains. We discuss also the case of quantum group invariant operators and generalization to the XYZ chain. △ Less

Submitted 22 January, 2006; v1 submitted 19 January, 2006; originally announced January 2006.

Comments: 31 pages, no figure

Journal ref: AnnalesHenriPoincare7:1395-1428,2006

Sets of rigged paths with Virasoro characters

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin, Y. Takeyama

Abstract: Let \{M_{r,s}\}_{0< r < p, 0< s < p'} be the irreducible Virasoro modules in the $(p,p')$-minimal series. In our previous paper, we have constructed a monomial basis of \oplus_{r=1}^{p-1}M_{r,s} in the case of $1<p'/p<2$. By `monomials' we mean vectors of the form φ^{(r_L,r_{L-1})}_{-n_L}...φ^{(r_1,r_{0})}_{-n_1} |r_0,s >, where φ_{-n}^{(r',r)} are the Fourier components of the (2,1)-primary fie… ▽ More Let \{M_{r,s}\}_{0< r < p, 0< s < p'} be the irreducible Virasoro modules in the $(p,p')$-minimal series. In our previous paper, we have constructed a monomial basis of \oplus_{r=1}^{p-1}M_{r,s} in the case of $1<p'/p<2$. By `monomials' we mean vectors of the form φ^{(r_L,r_{L-1})}_{-n_L}...φ^{(r_1,r_{0})}_{-n_1} |r_0,s >, where φ_{-n}^{(r',r)} are the Fourier components of the (2,1)-primary field mapping M_{r,s} to M_{r',s}, and |r_0,s > is the highest weight vector of M_{r_0,s}. In this article, for all p<p' with p>2 and s=1, we describe a subset of such monomials which conjecturally forms a basis of \oplus_{r=1}^{p-1}M_{r,1}. We prove that the character of the combinatorial set labeling these monomials coincides with the character of the corresponding Virasoro module. We also verify the conjecture in the case of p=3. △ Less

Submitted 7 April, 2006; v1 submitted 8 June, 2005; originally announced June 2005.

Comments: Latex, 20 pages

Density matrix of a finite sub-chain of the Heisenberg anti-ferromagnet

Authors: H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama

Abstract: We consider a finite sub-chain on an interval of the infinite XXX model in the ground state. The density matrix for such a subsystem was described in our previous works for the model with inhomogeneous spectral parameters. In the present paper, we give a compact formula for the physically interesting case of the homogeneous model. We consider a finite sub-chain on an interval of the infinite XXX model in the ground state. The density matrix for such a subsystem was described in our previous works for the model with inhomogeneous spectral parameters. In the present paper, we give a compact formula for the physically interesting case of the homogeneous model. △ Less

Submitted 9 January, 2006; v1 submitted 21 June, 2005; originally announced June 2005.

Comments: 6 pages, some formulas are refined

Journal ref: Lett.Math.Phys. 75 (2006) 201-208

Traces on the Sklyanin algebra and correlation functions of the eight-vertex model

Authors: H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama

Abstract: We propose a conjectural formula for correlation functions of the Z-invariant (inhomogeneous) eight-vertex model. We refer to this conjecture as Ansatz. It states that correlation functions are linear combinations of products of three transcendental functions, with theta functions and derivatives as coefficients. The transcendental functions are essentially logarithmic derivatives of the partiti… ▽ More We propose a conjectural formula for correlation functions of the Z-invariant (inhomogeneous) eight-vertex model. We refer to this conjecture as Ansatz. It states that correlation functions are linear combinations of products of three transcendental functions, with theta functions and derivatives as coefficients. The transcendental functions are essentially logarithmic derivatives of the partition function per site. The coefficients are given in terms of a linear functional on the Sklyanin algebra, which interpolates the usual trace on finite dimensional representations. We establish the existence of the functional and discuss the connection to the geometry of the classical limit. We also conjecture that the Ansatz satisfies the reduced qKZ equation. As a non-trivial example of the Ansatz, we present a new formula for the next-nearest neighbor correlation functions. △ Less

Submitted 21 June, 2005; v1 submitted 8 April, 2005; originally announced April 2005.

Comments: 35 pages, 2 figures, final version

Journal ref: J.Phys. A38 (2005) 7629-7660

Reduced qKZ equation and correlation functions of the XXZ model

Authors: H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama

Abstract: Correlation functions of the XXZ model in the massive and massless regimes are known to satisfy a system of linear equations. The main relations among them are the difference equations obtained from the qKZ equation by specializing the variables (λ_1,...,λ_{2n}) as (λ_1,...,λ_n,λ_{n}+1,...,λ_{1}+1). We call it the reduced qKZ equation. In this article we construct a special family of solutions t… ▽ More Correlation functions of the XXZ model in the massive and massless regimes are known to satisfy a system of linear equations. The main relations among them are the difference equations obtained from the qKZ equation by specializing the variables (λ_1,...,λ_{2n}) as (λ_1,...,λ_n,λ_{n}+1,...,λ_{1}+1). We call it the reduced qKZ equation. In this article we construct a special family of solutions to this system. They can be written as linear combinations of products of two transcendental functions $\tildeω, ω$ with coefficients being rational functions. We show that correlation functions of the XXZ model in the massive regime are given by these formulas with an appropriate choice of $\tildeω, ω$. We also present a conjectural formula in the massless regime. △ Less

Submitted 11 April, 2005; v1 submitted 16 December, 2004; originally announced December 2004.

Comments: 32 pages, some formulas revised

Journal ref: Commun.Math.Phys. 261 (2006) 245-276

A monomial basis for the Virasoro minimal series M(p,p') : the case 1<p'/p<2

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin, Y. Takeyama

Abstract: Quadratic relations of the intertwiners are given explicitly in two cases of chiral conformal field theory, and monomial bases of the representation spaces are constructed by using the Fourier components of the intertwiners. The two cases are the (p,p')-minimal series for the Virasoro algebra where 1<p'/p<2, and the level k integrable highest weight modules for the affine Lie algebra \hat{sl}_2. Quadratic relations of the intertwiners are given explicitly in two cases of chiral conformal field theory, and monomial bases of the representation spaces are constructed by using the Fourier components of the intertwiners. The two cases are the (p,p')-minimal series for the Virasoro algebra where 1<p'/p<2, and the level k integrable highest weight modules for the affine Lie algebra \hat{sl}_2. △ Less

Submitted 24 May, 2004; v1 submitted 24 May, 2004; originally announced May 2004.

Comments: Latex, 29 pages

A recursion formula for the correlation functions of an inhomogeneous XXX model

Authors: H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama

Abstract: A new recursion formula is presented for the correlation functions of the integrable spin 1/2 XXX chain with inhomogeneity. It relates the correlators involving n consecutive lattice sites to those with n-1 and n-2 sites. In a series of papers by V. Korepin and two of the present authors, it was discovered that the correlators have a certain specific structure as functions of the inhomogeneity p… ▽ More A new recursion formula is presented for the correlation functions of the integrable spin 1/2 XXX chain with inhomogeneity. It relates the correlators involving n consecutive lattice sites to those with n-1 and n-2 sites. In a series of papers by V. Korepin and two of the present authors, it was discovered that the correlators have a certain specific structure as functions of the inhomogeneity parameters. Our formula allows for a direct proof of this structure, as well as an exact description of the rational functions which has been left undetermined in the previous works. △ Less

Submitted 28 June, 2004; v1 submitted 5 May, 2004; originally announced May 2004.

Comments: 37 pages, 1 figure, Proof of Lemma 4.8 modified

A functional model for the tensor product of level 1 highest and level -1 lowest modules for the quantum affine algebra U_q(sl_{2}^)

Authors: B. Feigin, M. Jimbo, M. Kashiwara, T. Miwa, E. Mukhin, Y. Takeyama

Abstract: Let $V(Λ_i)$ (resp., $V(-Λ_j)$) be a fundamental integrable highest (resp., lowest) weight module of $U_q(\hat{sl}_{2})$. The tensor product $V(Λ_i)\otimes V(-Λ_j)$ is filtered by submodules $F_n=U_q(\hat{sl}_{2})(v_i\otimes \bar{v}_{n-i})$, $n\ge 0, n\equiv i-j\bmod 2$, where $v_i\in V(Λ_i)$ is the highest vector and $\bar{v}_{n-i}\in V(-Λ_j)$ is an extremal vector. We show that $F_n/F_{n+2}$ i… ▽ More Let $V(Λ_i)$ (resp., $V(-Λ_j)$) be a fundamental integrable highest (resp., lowest) weight module of $U_q(\hat{sl}_{2})$. The tensor product $V(Λ_i)\otimes V(-Λ_j)$ is filtered by submodules $F_n=U_q(\hat{sl}_{2})(v_i\otimes \bar{v}_{n-i})$, $n\ge 0, n\equiv i-j\bmod 2$, where $v_i\in V(Λ_i)$ is the highest vector and $\bar{v}_{n-i}\in V(-Λ_j)$ is an extremal vector. We show that $F_n/F_{n+2}$ is isomorphic to the level 0 extremal weight module $V(n(Λ_1-Λ_0))$. Using this we give a functional realization of the completion of $V(Λ_i)\otimes V(-Λ_j)$ by the filtration $(F_n)_{n\geq0}$. The subspace of $V(Λ_i)\otimes V(-Λ_j)$ of $sl_2$-weight $m$ is mapped to a certain space of sequences $(P_{n,l})_{n\ge 0, n\equiv i-j\bmod 2,n-2l=m}$, whose members $P_{n,l}=P_{n,l}(X_1,...,X_l|z_1,...,z_n)$ are symmetric polynomials in $X_a$ and symmetric Laurent polynomials in $z_k$, with additional constraints. When the parameter $q$ is specialized to $\sqrt{-1}$, this construction settles a conjecture which arose in the study of form factors in integrable field theory. △ Less

Submitted 17 October, 2003; originally announced October 2003.

Comments: 33 pages

Form factors and action of U_{\sqrt{-1}}(sl_2~) on infinite-cycles

Authors: M. Jimbo, T. Miwa, E. Mukhin, Y. Takeyama

Abstract: Let ${\bf p}=\{P_{n,l}\}_{n,l\in\Z_{\ge 0}\atop n-2l=m}$ be a sequence of skew-symmetric polynomials in $X_1,...,X_l$ satisfying $°_{X_j}P_{n,l}\le n-1$, whose coefficients are symmetric Laurent polynomials in $z_1,...,z_n$. We call ${\bf p}$ an $\infty$-cycle if $P_{n+2,l+1}\bigl|_{X_{l+1}=z^{-1},z_{n-1}=z,z_n=-z} =z^{-n-1}\prod_{a=1}^l(1-X_a^2z^2)\cdot P_{n,l}$ holds for all $n,l$. These obj… ▽ More Let ${\bf p}=\{P_{n,l}\}_{n,l\in\Z_{\ge 0}\atop n-2l=m}$ be a sequence of skew-symmetric polynomials in $X_1,...,X_l$ satisfying $°_{X_j}P_{n,l}\le n-1$, whose coefficients are symmetric Laurent polynomials in $z_1,...,z_n$. We call ${\bf p}$ an $\infty$-cycle if $P_{n+2,l+1}\bigl|_{X_{l+1}=z^{-1},z_{n-1}=z,z_n=-z} =z^{-n-1}\prod_{a=1}^l(1-X_a^2z^2)\cdot P_{n,l}$ holds for all $n,l$. These objects arise in integral representations for form factors of massive integrable field theory, i.e., the SU(2)-invariant Thirring model and the sine-Gordon model. The variables $α_a=-\log X_a$ are the integration variables and $β_j=\log z_j$ are the rapidity variables. To each $\infty$-cycle there corresponds a form factor of the above models. Conjecturally all form-factors are obtained from the $\infty$-cycles. In this paper, we define an action of $U_{\sqrt{-1}}(\widetilde{\mathfrak{sl}}_2)$ on the space of $\infty$-cycles. There are two sectors of $\infty$-cycles depending on whether $n$ is even or odd. Using this action, we show that the character of the space of even (resp. odd) $\infty$-cycles which are polynomials in $z_1,...,z_n$ is equal to the level $(-1)$ irreducible character of $\hat{\mathfrak{sl}}_2$ with lowest weight $-Λ_0$ (resp. $-Λ_1$). We also suggest a possible tensor product structure of the full space of $\infty$-cycles. △ Less

Submitted 20 August, 2003; v1 submitted 22 May, 2003; originally announced May 2003.

Comments: 27 pages, abstract and section 3.1 revised

Counting minimal form factors of the restricted sine-Gordon model

Authors: M. Jimbo, T. Miwa, Y. Takeyama

Abstract: We revisit the issue of counting all local fields of the restricted sine-Gordon model, in the case corresponding to a perturbation of minimal unitary conformal field theory. The problem amounts to the study of a quotient of certain space of polynomials which enter the integral representation for form factors. This space may be viewed as a $q$-analog of the space of conformal coinvariants associa… ▽ More We revisit the issue of counting all local fields of the restricted sine-Gordon model, in the case corresponding to a perturbation of minimal unitary conformal field theory. The problem amounts to the study of a quotient of certain space of polynomials which enter the integral representation for form factors. This space may be viewed as a $q$-analog of the space of conformal coinvariants associated with U_q(sl_{2}^) with q=\sqrt{-1}. We prove that its character is given by the restricted Kostka polynomial multiplied by a simple factor. As a result, we obtain a formula for the truncated character of the total space of local fields in terms of the Virasoro characters. △ Less

Submitted 29 January, 2004; v1 submitted 25 March, 2003; originally announced March 2003.

Comments: 58 pages, final version, Proposition 2.8 modified

Particle content of the (k,3)-configurations

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin, Y. Takeyama

Abstract: For all $k$, we construct a bijection between the set of sequences of non-negative integers ${\bf a}=(a_i)_{i\in{\bf Z}_{\geq0}}$ satisfying $a_i+a_{i+1}+a_{i+2}\leq k$ and the set of rigged partitions $(λ,ρ)$. Here $λ=(λ_1,...,λ_n)$ is a partition satisfying $k\geqλ_1\geq...\geqλ_n\geq1$ and $ρ=(ρ_1,...,ρ_n)\in{\bf Z}_{\geq0}^n$ is such that $ρ_j\geqρ_{j+1}$ if $λ_j=λ_{j+1}$. One can think of… ▽ More For all $k$, we construct a bijection between the set of sequences of non-negative integers ${\bf a}=(a_i)_{i\in{\bf Z}_{\geq0}}$ satisfying $a_i+a_{i+1}+a_{i+2}\leq k$ and the set of rigged partitions $(λ,ρ)$. Here $λ=(λ_1,...,λ_n)$ is a partition satisfying $k\geqλ_1\geq...\geqλ_n\geq1$ and $ρ=(ρ_1,...,ρ_n)\in{\bf Z}_{\geq0}^n$ is such that $ρ_j\geqρ_{j+1}$ if $λ_j=λ_{j+1}$. One can think of $λ$ as the particle content of the configuration ${\bf a}$ and $ρ_j$ as the energy level of the $j$-th particle, which has the weight $λ_j$. The total energy $\sum_iia_i$ is written as the sum of the two-body interaction term $\sum_{j<j'}A_{λ_j,λ_{j'}}$ and the free part $\sum_jρ_j$. The bijection implies a fermionic formula for the one-dimensional configuration sums $\sum_{\bf a}q^{\sum_iia_i}$. We also derive the polynomial identities which describe the configuration sums corresponding to the configurations with prescribed values for $a_0$ and $a_1$, and such that $a_i=0$ for all $i>N$. △ Less

Submitted 27 December, 2002; originally announced December 2002.

Comments: 46 pages

Fermionic formulas for (k, 3)-admissible configurations

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin, Y. Takeyama

Abstract: We obtain the fermionic formulas for the characters of (k, r)-admissible configurations in the case of r=2 and r=3. This combinatorial object appears as a label of a basis of certain subspace $W(Λ)$ of level-$k$ integrable highest weight module of $\hat{sl}_{r}$. The dual space of $W(Λ)$ is embedded into the space of symmetric polynomials. We introduce a filtration on this space and determine th… ▽ More We obtain the fermionic formulas for the characters of (k, r)-admissible configurations in the case of r=2 and r=3. This combinatorial object appears as a label of a basis of certain subspace $W(Λ)$ of level-$k$ integrable highest weight module of $\hat{sl}_{r}$. The dual space of $W(Λ)$ is embedded into the space of symmetric polynomials. We introduce a filtration on this space and determine the components of the associated graded space explicitly by using vertex operators. This implies a fermionic formula for the character of $W(Λ)$. △ Less

Submitted 27 December, 2002; originally announced December 2002.

Comments: 30 pages

Two character formulas for $\hat{sl_2}$ spaces of coinvariants

Authors: B. Feigin, M. Jimbo, S. Loktev, T. Miwa

Abstract: We consider $\hat{sl_2}$ spaces of coinvariants with respect to two kinds of ideals of the enveloping algebra $U(sl_2\otimes\C[t])$. The first one is generated by $sl_2\otimes t^N$, and the second one is generated by $e\otimes P(t), f\otimes R(t)$ where $P(t), R(t)$ are fixed generic polynomials. (We also treat a generalization of the latter.) Using a method developed in our previous paper, we g… ▽ More We consider $\hat{sl_2}$ spaces of coinvariants with respect to two kinds of ideals of the enveloping algebra $U(sl_2\otimes\C[t])$. The first one is generated by $sl_2\otimes t^N$, and the second one is generated by $e\otimes P(t), f\otimes R(t)$ where $P(t), R(t)$ are fixed generic polynomials. (We also treat a generalization of the latter.) Using a method developed in our previous paper, we give new fermionic formulas for their Hilbert polynomials in terms of the level-restricted Kostka polynomials and $q$-multinomial symbols. As a byproduct, we obtain a fermionic formula for the fusion product of $sl_3$-modules with rectangular highest weights, generalizing a known result for symmetric (or anti-symmetric) tensors. △ Less

Submitted 13 January, 2003; v1 submitted 22 November, 2002; originally announced November 2002.

Comments: LaTeX, 22 pages; very minor changes

Journal ref: Internat. J. Modern Phys. A 19 (2004), May suppl., 134-154

Symmetric polynomials vanishing on the diagonals shifted by roots of unity

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin, Y. Takeyama

Abstract: For a pair of positive integers (k,r) with r>1 such that k+1 and r-1 are relatively prime, we describe the space of symmetric polynomials in variables x_1,...,x_n which vanish at all diagonals of codimension k of the form x_i=tq^{s_i}x_{i-1}, i=2,...,k+1, where t and q are primitive roots of unity of orders k+1 and r-1. For a pair of positive integers (k,r) with r>1 such that k+1 and r-1 are relatively prime, we describe the space of symmetric polynomials in variables x_1,...,x_n which vanish at all diagonals of codimension k of the form x_i=tq^{s_i}x_{i-1}, i=2,...,k+1, where t and q are primitive roots of unity of orders k+1 and r-1. △ Less

Submitted 11 September, 2002; originally announced September 2002.

Comments: Latex, 13 pages

Symmetric polynomials vanishing on the shifted diagonals and Macdonald polynomials

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin

Abstract: For each pair (k,r) of positive integers with r>1, we consider an ideal I^(k,r)_n of the ring of symmetric polynomials in n variables. The ideal I_n^(k,r) has a basis consisting of Macdonald polynomials P(x_1,...,x_n;q,t) at t^{k+1}q^{r-1}=1, and is a deformed version of the one studied earlier in the context of Jack polynomials. In this paper we give a characterization of I^(k,r)_n in terms o… ▽ More For each pair (k,r) of positive integers with r>1, we consider an ideal I^(k,r)_n of the ring of symmetric polynomials in n variables. The ideal I_n^(k,r) has a basis consisting of Macdonald polynomials P(x_1,...,x_n;q,t) at t^{k+1}q^{r-1}=1, and is a deformed version of the one studied earlier in the context of Jack polynomials. In this paper we give a characterization of I^(k,r)_n in terms of explicit zero conditions on the k-codimensional shifted diagonals of the form x_{2}=tq^{s_1}x_1,...,x_{k+1}=tq^{s_k}x_k. The ideal I^(k,r)_n may be viewed as a deformation of the space of correlation functions of an abelian current of the affine Lie algebra \hat{sl_r}. We give a brief discussion about this connection. △ Less

Submitted 4 September, 2002; originally announced September 2002.

Comments: Latex, 17 pages

Spaces of coinvariants and fusion product II. Affine sl_2 character formulas in terms of Kostka polynomials

Authors: B. Feigin, M. Jimbo, R. Kedem, S. Loktev, T. Miwa

Abstract: In this paper, we continue our study of the Hilbert polynomials of coinvariants begun in our previous work math.QA/0205324 (paper I). We describe the sl_n-fusion products for symmetric tensor representations following the method of Feigin and Feigin, and show that their Hilbert polynomials are A_{n-1}-supernomials. We identify the fusion product of arbitrary irreducible sl_n-modules with the fus… ▽ More In this paper, we continue our study of the Hilbert polynomials of coinvariants begun in our previous work math.QA/0205324 (paper I). We describe the sl_n-fusion products for symmetric tensor representations following the method of Feigin and Feigin, and show that their Hilbert polynomials are A_{n-1}-supernomials. We identify the fusion product of arbitrary irreducible sl_n-modules with the fusion product of their resctriction to sl_{n-1}. Then using the equivalence theorem from paper I and the results above for sl_3, we give a fermionic formula for the Hilbert polynomials of a class of affine sl_2-coinvariants in terms of the level-restricted Kostka polynomials. The coinvariants under consideration are a generalization of the coinvariants studied in [FKLMM]. Our formula differs from the fermionic formula established in [FKLMM] and implies the alternating sum formula conjectured in [FL] for this case. △ Less

Submitted 8 October, 2002; v1 submitted 21 August, 2002; originally announced August 2002.

Comments: 30 pages

MSC Class: 17B67

Journal ref: J. Algebra 279 (2004), no. 1, 147--179.

Spaces of coinvariants and fusion product I. From equivalence theorem to Kostka polynomials

Authors: B. Feigin, M. Jimbo, R. Kedem, S. Loktev, T. Miwa

Abstract: The fusion rule gives the dimensions of spaces of conformal blocks in the WZW theory. We prove a dimension formula similar to the fusion rulefor spaces of coinvariants of affine Lie algebras g^. An equivalence of filtered spaces is established between spaces of coinvariants of two objects: highest weight g^-modules and tensor products of finite-dimensional evaluation representations of g\otimes\… ▽ More The fusion rule gives the dimensions of spaces of conformal blocks in the WZW theory. We prove a dimension formula similar to the fusion rulefor spaces of coinvariants of affine Lie algebras g^. An equivalence of filtered spaces is established between spaces of coinvariants of two objects: highest weight g^-modules and tensor products of finite-dimensional evaluation representations of g\otimes\C[t]. In the sl_2 case we prove that their associated graded spaces are isomorphic to the spaces of coinvariants of fusion products, and that their Hilbert polynomials are the level-restricted Kostka polynomials. △ Less

Submitted 8 October, 2002; v1 submitted 30 May, 2002; originally announced May 2002.

Comments: 31 pages

MSC Class: 17B65

Journal ref: Duke Math. J. 125 (2004), no. 3, 549--588.

A differential ideal of symmetric polynomials spanned by Jack polynomials at $β=-(r-1)/(k+1)$

Authors: B. Feigin, M. Jimbo, T. Miwa, E. Mukhin

Abstract: For each pair of positive integers (k,r) such that k+1,r-1 are coprime, we introduce an ideal $I^{(k,r)}_n$ of the ring of symmetric polynomials. The ideal $I^{(k,r)}_n$ has a basis consisting of Jack polynomials with parameter $β=-(r-1)/(k+1)$, and admits an action of a family of differential operators of Dunkl type including the positive half of the Virasoro algebra. The space $I^{(k,2)}_n$ co… ▽ More For each pair of positive integers (k,r) such that k+1,r-1 are coprime, we introduce an ideal $I^{(k,r)}_n$ of the ring of symmetric polynomials. The ideal $I^{(k,r)}_n$ has a basis consisting of Jack polynomials with parameter $β=-(r-1)/(k+1)$, and admits an action of a family of differential operators of Dunkl type including the positive half of the Virasoro algebra. The space $I^{(k,2)}_n$ coincides with the space of all symmetric polynomials in $n$ variables which vanish when $k+1$ variables are set equal. The space $I_n^{(2,r)}$ coincides with the space of correlation functions of an abelian current of a vertex operator algebra related to Virasoro minimal series (3,r+2). △ Less

Submitted 12 December, 2001; originally announced December 2001.

Comments: Latex, 12 pages

Addendum to `Bosonic formulas for $(k,l)$-admissible partitions'

Authors: B. Feigin, M. Jimbo, S. Loktev, T. Miwa, E. Mukhin

Abstract: In our earlier paper we made a combinatorial study of (k,l)-admissible partitions. This object appeared already in the work of M. Primc as a label of a basis of level k-integrable modules over $\hat{sl}_l$. We clarify the relation between these two works. As a byproduct we obtain an explicit parameterization of the affine Weyl group of $\hat{sl}_l$ by a simple combinatorial set. In our earlier paper we made a combinatorial study of (k,l)-admissible partitions. This object appeared already in the work of M. Primc as a label of a basis of level k-integrable modules over $\hat{sl}_l$. We clarify the relation between these two works. As a byproduct we obtain an explicit parameterization of the affine Weyl group of $\hat{sl}_l$ by a simple combinatorial set. △ Less

Submitted 11 December, 2001; originally announced December 2001.

Comments: Latex, 11 pages

Bosonic formulas for (k,l)-admissible partitions

Authors: B. Feigin, M. Jimbo, S. Loktev, T. Miwa, E. Mukhin

Abstract: Bosonic formulas for generating series of partitions with certain restrictions are obtained by solving a set of linear matrix q-difference equations. Some particular cases are related to combinatorial problems arising from solvable lattice models, representation theory and conformal field theory. Bosonic formulas for generating series of partitions with certain restrictions are obtained by solving a set of linear matrix q-difference equations. Some particular cases are related to combinatorial problems arising from solvable lattice models, representation theory and conformal field theory. △ Less

Submitted 11 December, 2001; v1 submitted 6 July, 2001; originally announced July 2001.

Comments: Latex, 29 pages

Bosonic formulas for $\hat{sl_2}$ coinvariants

Authors: M. Jimbo, T. Miwa, E. Mukhin

Abstract: We derive bosonic-type formulas for the characters of $\hat{sl_2}$ coinvariants. We derive bosonic-type formulas for the characters of $\hat{sl_2}$ coinvariants. △ Less

Submitted 6 July, 2001; originally announced July 2001.

Comments: Latex, 17 pages

Vertex operator algebra arising from the minimal series M(3,p) and monomial basis

Authors: B. Feigin, M. Jimbo, T. Miwa

Abstract: We study a vertex operator algebra (VOA) V related to the M(3,p) Virasoro minimal series. This VOA reduces in the simplest case p=4 to the level two integrable vacuum module of $\hat{sl}_2$. On V there is an action of a commutative current a(z), which is an analog of the current e(z) of $\hat{sl}_2$. Our main concern is the subspace W generated by this action from the highest weight vector of V.… ▽ More We study a vertex operator algebra (VOA) V related to the M(3,p) Virasoro minimal series. This VOA reduces in the simplest case p=4 to the level two integrable vacuum module of $\hat{sl}_2$. On V there is an action of a commutative current a(z), which is an analog of the current e(z) of $\hat{sl}_2$. Our main concern is the subspace W generated by this action from the highest weight vector of V. Using the Fourier components of a(z), we present a monomial basis of W and a semi-infinite monomial basis of V. We also give a Gordon type formula for their characters. △ Less

Submitted 15 March, 2002; v1 submitted 19 December, 2000; originally announced December 2000.

Comments: 28 pages

Report number: RIMS-1310 MSC Class: 17B69 (Primary); 17B68 (Secondary)

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.