arXiv++ Combinatorics

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.

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.