arXiv++ Combinatorics

We construct new families of (q-) difference and (contour) integral operators having nice actions on Koornwinder's multivariate orthogonal polynomials. We further show that the Koornwinder polynomials can be constructed by suitable sequences of these operators applied to the constant polynomial 1, giving the difference-integral representation of the title. Macdonald's conjectures (as proved by van Diejen and Sahi) for the principal specialization and norm follow immediately, as does a Cauchy-type identity of Mimachi.

We prove a pair of transformations relating elliptic hypergeometric integrals of different dimensions, corresponding to the root systems BC_n and A_n; as a special case, we recover some integral identities conjectured by van Diejen and Spiridonov. For BC_n, we also consider their "Type II" integral. Their proof of that integral, together with our transformation, gives rise to pairs of adjoint integral operators; a different proof gives rise to pairs of adjoint difference operators. These allow us to construct a family of biorthogonal abelian functions generalizing the Koornwinder polynomials, and satisfying the analogues of the Macdonald conjectures. Finally, we discuss some transformations of Type II-style integrals. In particular, we find that adding two parameters to the Type II integral gives an integral invariant under an appropriate action of the Weyl group E_7.

We construct explicitly non-polynomial eigenfunctions of the difference operators by Macdonald in case $t=q^k$, $k\in{\mathbb Z}$. This leads to a new, more elementary proof of several Macdonald conjectures, first proved by Cherednik. We also establish the algebraic integrability of Macdonald operators at $t=q^k$ ($k\in {\mathbb Z}$), generalizing the result of Etingof and Styrkas. Our approach works uniformly for all root systems including $BC_n$ case and related Koornwinder polynomials. Moreover, we apply it for a certain deformation of $A_n$ root system where the previously known methods do not work.

We consider two important families of BC_n-symmetric polynomials, namely Okounkov's interpolation polynomials and Koornwinder's orthogonal polynomials. We give a family of difference equations satisfied by the former, as well as generalizations of the branching rule and Pieri identity, leading to a number of multivariate q-analogues of classical hypergeometric transformations. For the latter, we give new proofs of Macdonald's conjectures, as well as new identities, including an inverse binomial formula and several branching rule and connection coefficient identities. We also derive families of ordinary symmetric functions that reduce to the interpolation and Koornwinder polynomials upon appropriate specialization. As an application, we consider a number of new integral conjectures associated to classical symmetric spaces.