arXiv++ Combinatorics

In this paper, we introduce a family of partially symmetric polynomials, which we call quantum corner polynomials, as a generalization of the Sergeev-Veselov super Macdonald polynomials. We show that these quantum corner polynomials are precisely the partially symmetric polynomials corresponding to the quantum corner VOAs. Furthermore, we provide a detailed proof of the partial symmetricity of these polynomials.

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.

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.

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.

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.

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)$.

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.

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.

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 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).

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).