Eric M. Rains
Abstract: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.
What problem does this paper attempt to address?
This paper attempts to solve a series of problems related to BCn - symmetric polynomials, especially the problems of Okounkov interpolation polynomials and Koornwinder orthogonal polynomials. Specifically:
1. **Properties of interpolation polynomials**:
- The paper first studies Okounkov's interpolation polynomials and gives a family of difference equations that satisfy the characteristics of interpolation polynomials.
- The author also generalizes the branching rule and Pieri identity, thus obtaining multiple multi - variable q - analogues of classical hypergeometric transformation formulas.
2. **Properties of Koornwinder polynomials**:
- For Koornwinder orthogonal polynomials, the author gives a new proof of Macdonald's conjecture and discovers new identities, including the inverse binomial formula as well as the branching rule and connection coefficient identities.
- By introducing "evaluation symmetry", the author defines Koornwinder polynomials and proves that these polynomials are orthogonal under the Koornwinder inner product and the multi - variable q - Racah inner product.
3. **Conversion from interpolation polynomials to ordinary symmetric functions**:
- The author derives a series of ordinary symmetric functions that can be derived from interpolation polynomials and Koornwinder polynomials.
4. **Applications**:
- As an application, the author considers some new integral conjectures related to classical symmetric spaces.
5. **Main achievements**:
- The author provides new proofs by more classical methods (such as double affine Hecke algebras), avoiding the complex algebraic structures in the existing literature.
- The author proposes a conjecture about the vanishing of integrals of Schur functions on orthogonal or symplectic groups and proves some special cases.
### Key formulas
- **Difference equation of interpolation polynomials**:
\[
D^{(n)}_s(u;q,t) s^k m_\lambda = q^{k/2} E^{(n)}_\lambda(u;q,t) s^k m_\lambda+\text{dominated terms}
\]
where
\[
E^{(n)}_\lambda(u;q,t)=q^{-|\lambda|/2} \prod_{1 \leq i \leq n}(1 - q^{\lambda_i}t^{n - i}u)
\]
- **Definition of Koornwinder polynomials**:
\[
K^{(n)}_\mu(;q,t;u_1,u_1\sqrt{q},u_2,u_2\sqrt{q})
\]
- **Branching rule**:
\[
\bar{P}^{*(n + m)}_\lambda(x_1,x_2,\ldots,x_n,t^{m - 1}v,t^{m - 2}v,\ldots,v;q,t,s)=\sum_{\mu\subset\lambda,\ell(\mu)\leq n} \psi^{(B)}_{\lambda/\mu}(v,vt^m;q,t,st^n)\bar{P}^{*(n)}_\mu(x_1,x_2,\ldots,x_n;q,t,s)
\]
- **Connection coefficient formula**:
\[
[\bar{P}^{*(n)}_\mu(;q,t,s)]\bar{P}^{*(n)}_\lambda(;q,t,s')=\frac{C^0_\lambda(t^n;q,t)C^0_\lambda(t^{1 - n}/ss';1/q,1/t)}{C^0_\mu(t^n;q,t)C^0_\mu(t^{1 - n}/ss';1/q,1/t)}P_{\lambda/\mu}\left(\left[\frac{s^k-{s'}^k}{1 -}\right)\right]