[論文レビュー] Bisymmetric functions, Macdonald polynomials and sl_3 basic hypergeometric series

S. Ole Warnaar|ArXiv.org|Nov 14, 2005

Advanced Combinatorial Mathematics参考文献 28被引用数 9

ひとこと要約

本稿では、Lie代数 $ττ_3$ に関連する新しい $τ$-超幾何級数のクラスを導入し、Macdonald多項式と $q$-差分作用素、セルバーグ積分、交代符号行列に関連する新規の双対対称関数を介して $q$-二項定理を一般化する。主な結果は、$q\to 1$ の極限において、ジャック多項式に対する新しい $ττ_3$ セルバーグ積分を導く、多変数 $q$-二項恒等式である。

ABSTRACT

A new type of sl_3 basic hypergeometric series based on Macdonald polynomials is introduced. Besides a pair of Macdonald polynomials attached to two different sets of variables, a key-ingredient in the sl_3 basic hypergeometric series is a bisymmetric function related to Macdonald's commuting family of q-difference operators, to the sl_3 Selberg integrals of Tarasov and Varchenko, and to alternating sign matrices. Our main result for sl_3 series is a multivariable generalization of the celebrated q-binomial theorem. In the limit this q-binomial sum yields a new sl_3 Selberg integral for Jack polynomials.

研究の動機と目的

• Lie代数 $ττ_3$ に関連する多変数設定における $q$-二項定理の拡張を目的とする。
• Macdonald多項式2つと、Macdonaldの可換 $q$-差分作用素から導かれる双対対称関数を含む、新しいタイプの基本超幾何級数を定義すること。
• $ττ_3$ ルート系の文脈において、$q$-二項定理の多変数一般化を確立すること。
• 提案された級数の $q\to 1^{-}$ 極限を取ることで、ジャック多項式に対する新しい $ττ_3$ セルバーグ積分を導出すること。
• 変換を介して既知の積分と関連づけ、古典的セルバーグ積分や阿部の積分といった既知の結果が特別な場合に回復されることを示すこと。

提案手法

• 本稿で構築される $ττ_3$ 基本超幾何級数は、変数 $x$ と $y$ がそれぞれサイズ $m$ と $n-m$ の2つのMacdonald多項式 $P_{\lambda}(x;q,t)$ と $P_{\mu}(y;q,t)$ を含む。
• 重要な要素として、単射的インデックス写像の和として定義される双対対称関数 $h(x,y)$ があり、これは $q$-二項係数の構造を一般化し、交代符号行列や可換 $q$-差分作用素と関係する。
• 級数は、$q$-シフト階乗 $(a;q,t)_{\lambda}$ を重みとして用い、$c'_{\lambda}(q,t)$ で正規化された、分割 $\lambda$ と $\mu$ に関する和として定義され、カネコ–マクドナルド恒等式を一般化する。
• 主な恒等式は、$ττ_3$ の文脈における多変数 $q$-二項定理を確立することで証明され、$x_i$ と $y_j$ に関する無限 $q$-ポッホハマー記号の積として表現される。
• 多変数 $q$-積分を用いて級数の $q$-積分表現が導かれ、$q\to 1^{-}$ の極限を取ることで、ジャック多項式に対する新しいセルバーグ型積分が得られる。
• 得られた積分は、$m=0$ のとき古典的セルバーグ積分に還元され、ジャック多項式が初等対称関数である場合に阿部の積分に一致することが示される。

実験結果

リサーチクエスチョン

• RQ1 どのようにして $ττ_3$ ルート系に関連する多変数設定における $q$-二項定理を一般化できるか？
• RQ2 双対対称関数 $h(x,y)$ は、Macdonald多項式、$q$-差分作用素、セルバーグ積分をどのように結びつけるか？
• RQ3 特殊な場合に既知の恒等式に還元される、新しい $ττ_3$ 基本超幾何級数を構築できるか？
• RQ4 新しい $ττ_3$ 級数の $q\to 1^{-}$ 極限は何か？ そして、セルバーグ積分とジャック多項式とどのように関係するか？
• RQ5 新しい積分は、$ττ_3$ 対称性の文脈において、古典的および阿部型セルバーグ積分をどのように一般化するか？

主な発見

• 本稿では、$ττ_3$ 基本超幾何級数における多変数 $q$-二項定理を確立した：${{}_{1}\Phi_{0}}\bigl[\genfrac{}{}{0.0pt}{}{a}{\textbf{--}};q,t;x,y\bigr] = \prod_{i=1}^{m}\frac{(azt^{m-1}x_{i};q)_{\infty}}{(zt^{m-1}x_{i};q)_{\infty}}\prod_{i=1}^{n-m}\frac{(azt^{n-i};q)_{\infty}}{(zt^{n-i};q)_{\infty}}$。
• この級数の $q\to 1^{-}$ 極限は、ジャック多項式に対する新しい $ττ_3$ セルバーグ積分を導き、古典的セルバーグ積分と阿部の積分を一般化する。
• $m=0$ のとき、積分は古典的セルバーグ積分に還元され、既知の結果と整合性が確認される。
• $\nu = (1^r)$ のとき、ジャック多項式は初等対称関数 $e_r(x)$ に還元され、積分は明示的なガンマ関数の表現を持つ新しい $ττ_3$ 版の阿部の積分を導く。
• 積分領域 $C^{m,n}_{\gamma}[0,1]$ と双対対称関数 $h(x,y)$ は、$ττ_3$ 対称性を捉え、指定されたパrameter条件の下での収束を保証するために不可欠である。
• パrameter $\alpha, \beta_1, \beta_2, \gamma$ の条件は、一般の $n$ と $m$ に対して鋭く、$m=0,1$ または $m=n$ の場合に調整が必要であり、ガンマ関数の引数の正の実部を要求することから導出される。