65 pages, LaTeX. v2-3: Minor corrections and additions (including teasers for the sequel). v4: C^+ notation changed to harmonize with the sequels (and more teasers added)
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.
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 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.
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.
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 schem…
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 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.
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".
In this paper we derive the bi-orthogonality relations, diagonal term evaluations and evaluation formulas for the non-symmetric Koornwinder polynomials. For the derivation we use certain representations of the (double) affine Hecke algebra which were originally defined by Noumi and Sahi. The structure of the diagonal terms is clarified by expressing them as residues of the bi-orthogonality weight function. We furthermore give the explicit connection between the non-symmetric and the (anti-)symmetric theory.
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 …
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…
Quantized Howe-type dualities via Koornwinder polynomials and the X=K phenomenon
Institut Camille Jordan, Lyon 1 University（里昂第一大学）；Department of Mathematics, University of Pittsburgh（匹兹堡大学）；Institut Denis Poisson, University of Tours（图尔大学）；Department of Mathematics and Statistics, State University of New York at Albany（纽约州立大学奥尔巴尼分校）
The quantum complex Grassmannian U_q/K_q of rank l is the quotient of the quantum unitary group U_q=U_q(n) by the quantum subgroup K_q=U_q(n-l)xU_q(l). We show that (U_q,K_q) is a quantum Gelfand pair and we express the zonal spherical functions, i.e. K_q-biinvariant matrix coefficients of finite- dimensional irreducible representations of U_q, as multivariable little q-Jacobi polynomials depending on one discrete parameter. Another type of biinvariant matrix coefficients is identified as multivariable big q-Jacobi polynomials. The proof is based on earlier results by Noumi, Sugitani and the f…
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…
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.
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…
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.
From Koornwinder's interpretation of big $q$-Legendre polynomials as spherical elements on the quantum $SU(2)$ group an addition formula is derived for the big $q$-Legendre polynomial. The formula involves Al-Salam--Carlitz polynomials, little $q$-Jacobi polynomials and dual $q$-Krawtchouk polynomials. For the little $q$-ultraspherical polynomials a product formula in terms of a big $q$-Legendre polynomial follows by $q$-integration. The addition and product formula for the Legendre polynomials are obtained when $q$ tends to 1.
Limiting cases are studied of the Koornwinder-Macdonald multivariable generalization of the Askey-Wilson polynomials. We recover recently and not so recently introduced families of hypergeometric orthogonal polynomials in several variables consisting of multivariable Wilson, continuous Hahn and Jacobi type polynomials, respectively. For each class of polynomials we provide systems of difference (or differential) equations, recurrence relations, and expressions for the norms of the polynomials in terms of the norm of the constant polynomial.
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.
We give a combinatorial formula for the non-symmetric Macdonald polynomials E_μ(x;q,t). The formula generalizes our previous combinatorial interpretation of the integral form symmetric Macdonald polynomials J_μ(x;q,t). We prove the new formula by verifying that it satisfies a recurrence, due to Knop, that characterizes the non-symmetric Macdonald polynomials.
The symmetric Macdonald polynomials are able to be constructed out of the non-symmetric Macdonald polynomials. This allows us to develop the theory of the symmetric Macdonald polynomials by first developing the theory of their non-symmetric counterparts. In taking this approach we are able to obtain new results as well as simpler and more accessible derivations of a number of the known fundamental properties of both kinds of polynomials.
We provide elementary identities relating the three known types of non-symmetric interpolation Macdonald polynomials. In addition we derive a duality for non-symmetric interpolation Macdonald polynomials. We consider some applications of these results, in particular for binomial formulas involving non-symmetric interpolation Macdonald polynomials.
The theory of non-symmetric Jack polynomials is developed independently of the theory of symmetric Jack polynomials, and this theory together with the relationship between the non-symmetric, symmetric and anti-symmetric Jack polynomials is used to deduce the corresponding results for the symmetric Jack polynomials.
We extend the previous paper "Macdonald's evaluation ... and applications" to the non-symmetric polynomilas recently introduced by Macdonald (as difference counterparts of Opdam's non-symmetric ones).
A class of quantum analogues of compact symmetric spaces of classical type is introduced by means of constant solutions to the reflection equations. Their zonal spherical functions are discussed in connection with $q$-orthogonal polynomials.
We give a short proof of the inner product conjecture for the symmetric Macdonald polynomials of type $A_{n-1}$. As a special case, the corresponding constant term conjecture is also proved.
New development of the theory of Grothendieck polynomials, based on an exponential solution of the Yang-Baxter equation in the algebra of projectors are given.
In this paper we use a bicharacter construction to define an $H_D$-quantum vertex algebra structure corresponding to the quantum vertex operators describing certain classes of symmetric polynomials.
