A characterization of the space of symmetric Laurent polynomials of type $(BC)_n$ which vanish on a certain set of submanifolds is given by using the Koornwinder-Macdonald polynomials. A similar characterization was given previously for symmetric polynomials of type $A_n$ by using the Macdonald polynomials. We use a new method which exploits the duality relation. The method simplifies a part of the proof in the $A_n$ case.
We study the specializations of parameters in Koornwinder polynomials to obtain Macdonald polynomials associated to the subsystems of the affine root system of type $(C_n^\vee,C_n)$ in the sense of Macdonald (2003), and summarize them in what we call the specialization table. As a verification of our argument, we check the specializations to type $B,C$ and $D$ via Ram-Yip type formulas of non-symmetric Koornwinder and Macdonald polynomials.
We prove certain duality properties and present recurrence relations for a four-parameter family of self-dual Koornwinder-Macdonald polynomials. The recurrence relations are used to verify Macdonald's normalization conjectures for these polynomials.
An overview of the basic results on Macdonald(-Koornwinder) polynomials and double affine Hecke algebras is given. We develop the theory in such a way that it naturally encompasses all known cases. Among the basic properties of the Macdonald polynomials we treat are the quadratic norm formulas, duality and the evaluation formulas. This text is a provisional version of a chapter on Macdonald polynomials for volume 5 of the Askey-Bateman project, entitled "Multivariable special functions".
We consider 3-parametric polynomials which replace the A-series interpolation Macdonald polynomials in the BC case. For these polynomials, we prove: an integral representation, a combinatorial formula, Pieri-type rules, Cauchy identity, and we also show that they do not satisfy any rational q-difference equation. We also prove a binomial formula for the 6-parametric Koornwinder polynomials.
Motivated by the work of Koornwinder, Macdonald, Cherednik, Noumi, and van Diejen we define a 6-parameter double affine Hecke algebra and establish its basic structural properties, including the existence of an involution. We relate the algebra to (symmetric and nonsymmetric) Koornwinder polynomials via the method of intertwiners and, as a consequence, obtain a proof of Macdonald's duality conjecture for Koornwinder polynomials. Combined with earlier work of van Diejen this completely settles all the outstanding conjectures of Macdonald and Koornwinder about these polynomials.
This work records the details of the Ram-Yip formula for nonsymmetric Macdonald-Koornwinder polynomials for the double affine Hecke algebras of not-necessarily-reduced affine root systems. It is shown that the t=0 equal-parameter specialization of nonsymmetric Macdonald polynomials admits an explicit combinatorial formula in terms of quantum alcove paths, generalizing the formula of Lenart in the untwisted case. In particular our formula yields a definition of quantum Bruhat graph for all affine root systems. For mixed type the proof requires the Ram-Yip formula for the nonsymmetric Koornwinde…
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…
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.
In this paper, we give a combinatorial realization of the crystal basis of a quantum Weyl module over a quantum affine algebra of type $A_{2n}^{(2)}$, and a representation-theoretic interpretation of the specialization $P_λ^{A_{2n}^{(2)}} (q,0)$ of the symmetric Macdonald polynomial $P_λ^{A_{2n}^{(2)}} (q,t)$ at $t=0$, where $λ$ is a dominant weight and $P_λ^{A_{2n}^{(2)}}(q,t)$ denotes the specific specialization of the symmetric Macdonald-Koornwinder polynomial $P_λ(q,t_1, t_2, t_3, t_4, t_5)$. More precisely, as some results for untwisted affine types, the set of all ($A_{2n}^{(2)}$-type) q…
We construct Laurent polynomial solutions of the boundary quantum Knizhnik--Zamolodchikov equation for $U_{q}(\widehat{\mathfrak{sl}}_{2})$ on the parabolic Kazhdan--Lusztig bases. They are characterized by non-symmetric Koornwinder polynomials with the specialized parameters. As a special case, we obtain the solution of the minimal degree.
A unified theory of quantum symmetric pairs is applied to q-special functions. Previous work characterized certain left coideal subalgebras in the quantized enveloping algebra and established an appropriate framework for quantum zonal spherical functions. Here a distinguished family of such functions, invariant under the Weyl group associated to the restricted roots, is shown to be a family of Macdonald polynomials, as conjectured by Koornwinder and Macdonald. Our results place earlier work for Lie algebras of classical type in a general context and extend to the exceptional cases.
This note consists of two parts. The first part (§1 and §2) is a partial review of the works by van Meer and Stokman (2010), van Meer (2011) and Stokman (2014) which established a bispectral analogue of the Cherednik correspondence between quantum affine Knizhnik-Zamolodchikov equations and the eigenvalue problems of Macdonald type. In this review we focus on the rank one cases, i.e., on the reduced type $A_1$ and the non-reduced type $(C_1^\vee,C_1)$, to which the associated Macdonald-Koornwinder polynomials are the Rogers polynomials and the Askey-Wilson polynomials, respectively. We give de…
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…
Nonsymmetric interpolation Laurent polynomials in $n$ variables are introduced, with the interpolation points depending on $q$ and on a $n$-tuple of parameters $τ=(τ_1,\ldots,τ_n)$. When $τ_i=st^{n-i}$ Okounkov's $3$-parameter $BC_n$-type interpolation Macdonald polynomials are recovered from the nonsymmetric interpolation Laurent polynomials through Hecke algebra symmetrisation with respect to a type $C_n$ Hecke algebra action. In the appendix we give some conjectures about extra vanishing, based on Mathematica computations in rank two.
We construct a family of BC_n-symmetric biorthogonal abelian functions generalizing Koornwinder's orthogonal polynomials, and prove a number of their properties, most notably analogues of Macdonald's conjectures. The construction is based on a direct construction for a special case generalizing Okounkov's interpolation polynomials. We show that these interpolation functions satisfy a collection of generalized hypergeometric identities, including new multivariate elliptic analogues of Jackson's summation and Bailey's transformation.
Nonsymmetric Koornwinder polynomials are multivariable extensions of nonsymmetric Askey-Wilson polynomials. They naturally arise in the representation theory of (double) affine Hecke algebras. In this paper we discuss how nonsymmetric Koornwinder polynomials naturally arise in the theory of the Heisenberg XXZ spin-$\frac{1}{2}$ chain with general reflecting boundary conditions. A central role in this story is played by an explicit two-parameter family of spin representations of the two-boundary Temperley-Lieb algebra. These spin representations have three different appearances. Their original …
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)}\b…
We consider the polynomial representation of Double Affine Hecke Algebras (DAHAs) and construct its submodules as ideals of functions vanishing on the special collections of affine planes. This generalizes certain results of Kasatani in types A_n, (C_n^\vee,C_n). We obtain commutative algebras of difference operators given by the action of invariant combinations of Cherednik-Dunkl operators in the corresponding quotient modules of the polynomial representation. This gives known and new generalized Macdonald-Ruijsenaars systems. Thus in the cases of DAHAs of types A_n and (C_n^\vee,C_n) we deri…
Elementary properties of the Koornwinder-Macdonald multivariable Askey-Wilson polynomials are discussed. Studied are the orthogonality, the difference equations, the recurrence relations, and the orthonormalization constants for these polynomials. Essential in our approach are certain commuting difference operators simultaneously diagonalized by the polynomials.
In this paper, we study the polynomial representation of the double affine Hecke algebra of type $(C^\vee_n, C_n)$ for specialized parameters. Inductively and combinatorially, we give a linear basis of the representation in terms of linear combinations of non-symmetric Koornwinder polynomials. The basis consists of generalized eigenfunctions with respect to $q$-Dunkl-Cherednik operators $\hat{Y}_i$, and it gives a way to cancel out poles of non-symmetric Koornwinder polynomials. We examine irreducibility and $Y$-semisimplicity of the representation for the specialized parameters. For some case…
In the first part of the paper kernels are constructed which meromorphically extend the Macdonald-Koornwinder polynomials in their degrees. In the second part of the paper the kernels associated with rank one root systems are used to define nonsymmetric variants of the spherical Fourier transform on the quantum SU(1,1) group. Related Plancherel and inversion formulas are derived using double affine Hecke algebra techniques.
Using the Baker-Akhiezer function technique we construct a separation of variables for the classical trigonometric 3-particle Ruijsenaars model (relativistic generalization of Calogero-Moser-Sutherland model). In the quantum case, an integral operator M is constructed from the Askey-Wilson contour integral. The operator M transforms the eigenfunctions of the commuting Hamiltonians (Macdonald polynomials for the root sytem A2) into the factorized form S(y1)S(y2) where S(y) is a Laurent polynomial of one variable expressed in terms of the 3phi2(y) basic hypergeometric series. The inversion of M …
We study a Laurent polynomial representation $V$ of the double affine Hecke algebra of type $GL_n$ for specialized parameters $t^{k+1}q^{r-1}=1$. We define a series of subrepresentations of $V$ by using a vanishing condition. For some cases, we give an explicit basis of the subrepresentation in terms of nonsymmetric Macdonald polynomials. These results are nonsymmetric versions of \cite{FJMM} and \cite{KMSV}.
The two papers in this series analyze quantum invariant differential operators for quantum symmetric spaces in the maximally split case. In this paper, we complete the proof of a quantum version of Harish-Chandra's theorem: There is a Harish-Chandra map which induces an isomorphism between the ring of quantum invariant differential operators and a ring of Laurent polynomial invariants with respect to the dotted action of the restricted Weyl group. We find a particularly nice basis for the quantum invariant differential operators that provides a new interpretation of difference operators associ…
We consider the gl(N)-invariant Calogero-Sutherland Models with N=1,2,3,... in a unified framework, which is the framework of Symmetric Polynomials. By the framework we mean an isomorphism between the space of states of the gl(N)-invariant Calogero-Sutherland Model and the space of Symmetric Laurent Polynomials. In this framework it becomes apparent that all gl(N)-invariant Calogero-Sutherland Models are manifestations of the same entity, which is the commuting family of Macdonald Operators. Macdonald Operators depend on two parameters $q$ and $t$. The Hamiltonian of gl(N)-invariant Calogero-S…
