[論文レビュー] BC_n-symmetric polynomials

Eric M. Rains|ArXiv.org|Dec 4, 2001

Advanced Combinatorial Mathematics参考文献 20被引用数 4

ひとこと要約

本稿は、$BC_n$-対称多項式の超幾何的アプローチを、オクヌコフの補間多項式とクーンヴァインダーの直交多項式を、可換な$q$-差分作用素を通じて研究することによって提案する。これにより、バルク分岐規則、ピエリ恒等式、一般化された$q$-サルスシュッツ公式といった新たな恒等式が導かれ、マクドナルドの予想の証明および古典的対称空間に関連する新たな積分予想の提示に繋がる。

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.

研究の動機と目的

• 重い二重アフィンヘッケ代数の道具立てを避けて、$BC_n$-対称多項式の古典的で超幾何的な枠組みを確立すること。
• 評価対称性と二項係数の公式を用いて、クーンヴァインダー多項式のマクドナルド予想を証明すること。
• 補間多項式の分析を通じて、分岐規則、接続係数、逆二項係数の公式といった新たな恒等式を導出すること。
• 補間多項式およびクーンヴァインダー多項式に特殊化する対称関数を構成し、それらをスケュー・マクドナルド多項式と関連付けること。
• 直交的およびラグランジュ的グリーンマンニアン対称空間（例：$O(2n)/O(n)\times O(n)$ および $Sp(2n)/U(n)$）に関連する新たな積分予想を提示・検討すること。

提案手法

• 補間多項式$\bar{P}^{*(n)}_{\lambda}$を、可換な$q$-差分作用素の共通固有関数として定義し、追加の消え性条件$\bar{P}^{*(n)}_{\lambda}(\mu) = 0$（$\lambda \not\subset \mu$ のとき）を満たすようにする。
• オクヌコフの二項係数の公式を用い、クーンヴァインダー多項式を補間多項式の線形結合として表現する。係数は$\genfrac{[}{]}{0.0pt}{}{\lambda}{\mu}_{q,t,s} = \frac{\bar{P}^{*(n)}_{\mu}(\lambda;q,t,st^{1-n})}{\bar{P}^{*(n)}_{\mu}(\mu;q,t,st^{1-n})}$で定義される。
• 二項係数の公式に差分方程式を適用することで、分岐規則およびピエリ恒等式のバルク版を導出し、古典的超幾何変換の多変数$q$-類似を得る。
• 双対性対称性$\genfrac{[}{]}{0.0pt}{}{\lambda}{\mu}_{q,t,s} = \genfrac{[}{]}{0.0pt}{}{\lambda^{\prime}}{\mu^{\prime}}_{t,q,1/\sqrt{qt}s}$を確立し、逆二項係数の公式を導出する。
• 随伴作用素を用いて、クーンヴァインダー多項式の直交性を、クーンヴァインダーおよび多変数$q$-ラカ内積に関して証明する。
• 特殊化されたマクドナルド多項式と$q$-記号を用いて、対称空間の積分評価の予想を提示し、非対称な分割に対しては消え性条件を課す。

実験結果

リサーチクエスチョン

• RQ1 マクドナルドのクーンヴァインダー多項式に関する予想を、代数的ではなく超幾何的アプローチで再証明することは可能か？
• RQ2 補間多項式が満たす構造的恒等式（分岐規則、接続係数など）は何か？
• RQ3 バルクピエリ恒等式から、古典的超幾何恒等式（例：サルスシュッツ、ウォーソン）の多変数$q$-類似を導出可能か？
• RQ4 どの対称関数が補間多項式およびクーンヴァインダー多項式に特殊化され、それらはスケュー・マクドナルド多項式とどのように関連するか？
• RQ5 直交的およびラグランジュ的グリーンマンニアン対称空間に対する妥当な積分評価は何か？非ゼロとなる条件は何か？

主な発見

• 本稿は、バルクピエリ恒等式を用いて、二項係数を用いて表された、新しい多変数$q$-サルスシュッツ和公式の類似を証明する。
• 二項係数に双対性対称性$\genfrac{[}{]}{0.0pt}{}{\lambda}{\mu}_{q,t,s} = \genfrac{[}{]}{0.0pt}{}{\lambda^{\prime}}{\mu^{\prime}}_{t,q,1/\sqrt{qt}s}$を確立し、補間多項式の非自明な対称性を示す。
• 逆二項係数の公式を導出し、補間多項式をクーンヴァインダー多項式の線形結合として展開可能であることを示す。
• 理論により、クーンヴァインダー多項式の接続係数の公式が得られ、ナスララー・ラーマンの積分表現が一般化される。
• 対称空間$O(2n)/O(n)\times O(n)$および$Sp(2n)/U(n)$に対して、積分評価の予想を提示し、分割がそれぞれ$2\mu$または$\mu^2$の形でない限り積分が消えることを示す。
• 非ゼロ積分に対しては、$q$-記号を用いた明示的表現が与えられ、例として$\frac{(-1)^{\vert\mu\vert}C^{-}_{\mu}(q;q^{2},t)C^{+}_{\mu}(a^{2}b^{2}T^{2}/t^{3};q^{2},t)\cdots}{C^{-}_{\mu}(t;q^{2},t)\cdots}$のような形で、$q$-記号への因数分解が確認される。