## A Note on Raising Operators of the Macdonald Polynomials

### Jun'ichi Shiraishi Graduate School of Mathematical Science, University of Tokyo, Tokyo, Japan

Abstract
A multi variable hypergeometric-type formula for raising operators of the Macdonald polynomials is conjectured.
1. Introduction In this note, we present an observation that the raising operators for the Macdonald polynomials ${Q}_{\lambda }\left(q,t\right)$  [1can be written in a simple manner in terms of the $q$  -shifted factorials.
In the work by Lassalle and Schlosser [2, they have succeeded in obtaining a closed formulas of the raising operators for arbitrary Macdonald polynomials by inverting the Pieri formula, in terms of the $q$  -shifted factorials and a determinant. Hence the program initiated by Jing and Józefiak [3has been completed. In the papers [4, 5, the same object has been studied from a different point of view, and another kind of representation of the raising operators were obtained for some simple cases. Since there is no determinant appearing in the formulas given in [4, 5, it was expected that one may find a general formula for the raising operators without any determinant, if the advantage from the both approaches are taken. The aim of this paper is to present a conjectural formula for the raising operators of such kind. It has been checked for $\ell \left(\lambda \right)\le 4$  and not very large $|\lambda |$  .
2. Basic hypergeometric-like series Let $n$  be a positive integer, and ${s}_{1},{s}_{2},\cdots ,{s}_{n}$  be indeterminates. Introduce ${\stackrel{~}{c}}_{n}\left(\left\{{i}_{k,\ell }{\right\}}_{1\le k<\ell \le n};{s}_{1},\cdots ,{s}_{n}\right)$  recursively by ${\stackrel{~}{c}}_{1}\left(-;{s}_{1}\right)=1$  and
 $\begin{array}{ccc}& & {\stackrel{~}{c}}_{n}\left(\left\{{i}_{k,\ell }{\right\}}_{1\le k<\ell \le n};{s}_{1},\cdots ,{s}_{n}\right)\end{array}$
 $\begin{array}{ccc}& =& {\stackrel{~}{c}}_{n-1}\left(\left\{{i}_{k,\ell }{\right\}}_{1\le k<\ell \le n-1};{q}^{{i}_{1,n}}{s}_{1},\cdots ,{q}^{{i}_{n-1,n}}{s}_{n-1}\right)\end{array}$ (1)
 $\begin{array}{ccc}& & {×}^{n-1}{\prod }_{k=1}{t}^{{i}_{k,n}}\frac{\left(q{t}^{-1};q{\right)}_{{i}_{k,n}}}{\left(q;q{\right)}_{{i}_{k,n}}}\frac{\left(q{t}^{-1}{s}_{k}/{s}_{n};q{\right)}_{{i}_{k,n}}}{\left(q{s}_{k}/{s}_{n};q{\right)}_{{i}_{k,n}}}\end{array}$
 $\begin{array}{ccc}& & ×{\prod }_{1\le k<\ell \le n-1}\frac{\left(q{t}^{-1}{s}_{k}/{s}_{\ell };q{\right)}_{{i}_{k,n}}}{\left(q{s}_{k}/{s}_{\ell };q{\right)}_{{i}_{k,n}}}\frac{\left({q}^{-{i}_{\ell ,n}}t{s}_{k}/{s}_{\ell };q{\right)}_{{i}_{k,n}}}{\left({q}^{-{i}_{\ell ,n}}{s}_{k}/{s}_{\ell };q{\right)}_{{i}_{k,n}}}.\end{array}$
For example, we have
 $\begin{array}{ccc}& & {\stackrel{~}{c}}_{2}\left(\left\{{i}_{1,2}\right\};{s}_{1},{s}_{2}\right)={t}^{{i}_{1,2}}\frac{\left(q{t}^{-1};q{\right)}_{{i}_{1,2}}}{\left(q;q{\right)}_{{i}_{1,2}}}\frac{\left(q{t}^{-1}{s}_{1}/{s}_{2};q{\right)}_{{i}_{1,2}}}{\left(q{s}_{1}/{s}_{2};q{\right)}_{{i}_{1,2}}},\end{array}$ (2)
 $\begin{array}{ccc}& & {\stackrel{~}{c}}_{3}\left(\left\{{i}_{1,2},{i}_{1,3},{i}_{2,3}\right\};{s}_{1},{s}_{2},{s}_{3}\right)={t}^{{i}_{1,2}}\frac{\left(q{t}^{-1};q{\right)}_{{i}_{1,2}}}{\left(q;q{\right)}_{{i}_{1,2}}}\frac{\left({q}^{{i}_{1,3}-{i}_{2,3}}q{t}^{-1}{s}_{1}/{s}_{2};q{\right)}_{{i}_{1,2}}}{\left({q}^{{i}_{1,3}-{i}_{2,3}}q{s}_{1}/{s}_{2};q{\right)}_{{i}_{1,2}}}\end{array}$
 $\begin{array}{ccc}& & ×{t}^{{i}_{1,3}}\frac{\left(q{t}^{-1};q{\right)}_{{i}_{1,3}}}{\left(q;q{\right)}_{{i}_{1,3}}}\frac{\left(q{t}^{-1}{s}_{1}/{s}_{3};q{\right)}_{{i}_{1,3}}}{\left(q{s}_{1}/{s}_{3};q{\right)}_{{i}_{1,3}}}{t}^{{i}_{2,3}}\frac{\left(q{t}^{-1};q{\right)}_{{i}_{2,3}}}{\left(q;q{\right)}_{{i}_{2,3}}}\frac{\left(q{t}^{-1}{s}_{2}/{s}_{3};q{\right)}_{{i}_{2,3}}}{\left(q{s}_{2}/{s}_{3};q{\right)}_{{i}_{2,3}}}\end{array}$ (3)
 $\begin{array}{ccc}& & ×\frac{\left(q{t}^{-1}{s}_{1}/{s}_{2};q{\right)}_{{i}_{1,3}}}{\left(q{s}_{1}/{s}_{2};q{\right)}_{{i}_{1,3}}}\frac{\left({q}^{-{i}_{2,3}}t{s}_{1}/{s}_{2};q{\right)}_{{i}_{1,3}}}{\left({q}^{-{i}_{2,3}}{s}_{1}/{s}_{2};q{\right)}_{{i}_{1,3}}},\end{array}$
and so on. Note that ${\stackrel{~}{c}}_{n}\left(\left\{{i}_{k,\ell }{\right\}}_{1\le k<\ell \le n};{s}_{1},\cdots ,{s}_{n}\right)$  is just given as a product of Lassalle and Schlosser's function ${C}_{{\theta }_{1},\cdots ,{\theta }_{n}}^{\left(q,t\right)}\left({u}_{1},\cdots ,{u}_{n}\right)$  (see §5 of [2) without taking into account the determinant factor.
In the paper [5, a Macdonald-type difference operator acting on the space of formal power series $F\left[\left[{x}_{2}/{x}_{1},{x}_{3}/{x}_{2},\cdots ,{x}_{n}/{x}_{n-1}\right]\right]$  was investigated, where $F=\mathbf{Q}\left(q,t,{s}_{1},{s}_{2},\cdots ,{s}_{n}\right)$  . It is defined by
 $\begin{array}{ccc}{D}^{1}\left({s}_{1},{s}_{2},\cdots ,{s}_{n},t,q\right)& =& {\sum }_{i=1}^{n}{s}_{i}{\prod }_{ji}{\theta }_{+}\left(\frac{{x}_{j}}{{x}_{i}}\right){T}_{{q}^{-1},{x}_{i}}.\end{array}$ (4)
Here ${T}_{q,{x}_{i}}$  denotes the $q$  -shift operator ${T}_{q,{x}_{i}}\cdot g\left({x}_{1},\cdots ,{x}_{n}\right)=g\left({x}_{1},\cdots ,q{x}_{i},\cdots ,{x}_{n}\right)$  and ${\theta }_{±}\left(x\right)$  are the series
 $\begin{array}{ccc}{\theta }_{±}\left(x\right)=\frac{1-{q}^{±1}{t}^{\mp 1}x}{1-{q}^{±1}x}=1+{\sum }_{n=1}^{\infty }\left(1-{t}^{\mp 1}\right){q}^{±n}{x}^{n}.& & \end{array}$ (5)
Let us consider a basic hypergeometric-like series
 $\begin{array}{ccc}& & f\left({x}_{1},{x}_{2},\cdots ,{x}_{n}\right)={\prod }_{1\le k<\ell \le n}\left(1-{x}_{\ell }/{x}_{k}\right)\end{array}$ (6)
 $\begin{array}{ccc}& & ×{\sum }_{\genfrac{}{}{0}{}{{i}_{k,\ell }\ge 0}{1\le k<\ell \le n}}{\stackrel{~}{c}}_{n}\left(\left\{{i}_{k,\ell }{\right\}}_{1\le k<\ell \le n};{s}_{1},\cdots ,{s}_{n}\right){\prod }_{1\le k<\ell \le n}\left({x}_{\ell }/{x}_{k}{\right)}^{{i}_{k,\ell }}.\end{array}$
Then we observe Conjecture. The series $f\left({x}_{1},{x}_{2},\cdots ,{x}_{n}\right)$  in Eq.( 6 ) is an eigenfunction of the difference operator ${D}^{1}$
 $\begin{array}{ccc}{D}^{1}\left({s}_{1},{s}_{2},\cdots ,{s}_{n},t,q\right)f\left({x}_{1},{x}_{2},\cdots ,{x}_{n}\right)={\sum }_{i=1}^{n}{s}_{i}\cdot f\left({x}_{1},{x}_{2},\cdots ,{x}_{n}\right).& & \end{array}$ (7)
Note this conjecture implies that factoring out ${\prod }_{1\le k<\ell \le n}\left(1-{x}_{\ell }/{x}_{k}\right)$  from the series amounts to deal with the determinant in Lassalle and Schlosser's function ${C}_{{\theta }_{1},\cdots ,{\theta }_{n}}^{\left(q,t\right)}\left({u}_{1},\cdots ,{u}_{n}\right)$  .
3. Result From the conjecture above and Proposition A.6 in the paper [5, we obtain the raising operator for the Macdonald polynomials.
Proposition. Let $\lambda =\left({\lambda }_{1},\cdots ,{\lambda }_{n}\right)$  be a partition. Set ${s}_{i}={t}^{n-i}{q}^{{\lambda }_{i}}$  .
Assume that the above conjecture is true. Then the Macdonald polynomila ${Q}_{\lambda }={Q}_{\lambda }\left(q,t\right)$  can be represented by the raising operator ${R}_{k\ell }$  (see §1 of [1) as
 $\begin{array}{ccc}& & {Q}_{\left({\lambda }_{1},\cdots ,{\lambda }_{n}\right)}\end{array}$
 $\begin{array}{ccc}& =& {\prod }_{1\le k<\ell \le n}\left(1-{R}_{k\ell }\right)\end{array}$ (8)
 $\begin{array}{ccc}& & ×{\sum }_{\genfrac{}{}{0}{}{{i}_{k,\ell }\ge 0}{1\le k<\ell \le n}}{\stackrel{~}{c}}_{n}\left(\left\{{i}_{k,\ell }{\right\}}_{1\le k<\ell \le n};{s}_{1},\cdots ,{s}_{n}\right){\prod }_{1\le k<\ell \le n}{R}_{k\ell }^{{i}_{k,\ell }}{Q}_{\left({\lambda }_{1}\right)}\cdots {Q}_{\left({\lambda }_{n}\right)}.\end{array}$
Acknowledgment. This work is supported by the Grant-in-Aid for Scientific Research (C) 16540183.
References

1. I. G. Macdonald, Symmetric Functions and Hall Polynomials (2nd ed.), Oxford University Press, (1995).
2. M. Lassalle and M. Schlosser, Inversion of the Pieri formula for Macdonald polynomials, math.CO/0402127.
3. N. H. Jing and T. Joźefiak, A formula for two-row Macdonald functions, Duke Math. J. 67, 377-385 (1992).
4. J. Shiraishi, A Commutative Family of Integral Transformations and Basic Hypergeometric Series. I. Eigenfunctions, math.QA/0501251.
5. J. Shiraishi, A Commutative Family of Integral Transformations and Basic Hypergeometric Series. II. Eigenfunctions and Quasi-Eigenfunctions, math.QA/0502228.