[論文レビュー] (Shifted) Macdonald Polynomials: q-Integral Representation and Combinatorial Formula

Andreĭ Okounkov|arXiv (Cornell University)|May 9, 1996

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

ひとこと要約

この論文は、シフトド・マクドナルド多項式のq積分表現と組合せ的公式を確立し、シフトド・シュール関数に関する結果を(q,t)-設定に拡張する。逆テーブルックスと(q,t)-重みを含む予想された組合せ的公式を証明し、双対性およびジャック極限を導出し、これらの多項式の完全な代数的および組合せ的枠組みを提供する。

ABSTRACT

We extend some results about shifted Schur functions to the general context of shifted Macdonald polynomials. We obtain two explicit formulas for these polynomials: a $q$-integral representation and a combinatorial formula. Our main tool is a $q$-integral representation for ordinary Macdonald polynomials. We also discuss duality for shifted Macdonald polynomials and Jack degeneration of these polynomials.

研究の動機と目的

• シフトド・シュール関数の理論を、シフトド・マクドナルド多項式を介して(q,t)-設定に拡張すること。
• これらの多項式のq積分表現と組合せ的公式を提供し、長年の予想を解決すること。
• シフトド・マクドナルド多項式の双対性およびジャック極限の性質を確立すること。
• 対称性および消失条件の下で、シフトド・マクドナルド多項式の存在および一意性を証明すること。
• q差分作用素および量子群の文脈において、表現論的構造と組合せ的構造を統一すること。

提案手法

• 通常のマクドナルド多項式のq積分表現を基礎的道具として導出する。
• q積分表現を用いて、シフトド・マクドナルド多項式のq積分公式を構成する。
• {1,2,…}に値をとる逆テーブルックスを用いた組合せ的公式を導入し、(q,t)-テーブルックス重みψ_T(q,t)で重みづけられる。
• q積分公式を用いて、極限過程およびジャック多項式への退化を経て、組合せ的公式を導出する。
• q積分フレームワークと対称性の性質を用いて、シフトド・マクドナルド多項式の双対性を確立する。
• q→1としてのジャック極限を分析し、得られる多項式がシフトド・対称関数と関係することを明らかにする。

実験結果

リサーチクエスチョン

• RQ1 通常のマクドナルド多項式の既知の結果を一般化して、シフトド・マクドナルド多項式のq積分表現を構成できるか？
• RQ2 逆テーブルックスと(q,t)-重みを含む、シフトド・マクドナルド多項式に関する予想された組合せ的公式は正当であり、証明可能か？
• RQ3 シフトド・マクドナルド多項式は双対性の下でどのように振る舞い、どのような対称性を満たすか？
• RQ4 シフトド・マクドナルド多項式の正確なジャック極限の形は何か？そして、シフトド・対称関数とどのように関係するか？
• RQ5 q積分公式を用いて、組合せ的公式を導出し、消失条件および対称性条件を検証できるか？

主な発見

• 論文は、シフトド・マクドナルド多項式に関する予想された組合せ的公式を証明した：P*μ(x;q,t) = ∑T ψT(q,t) ∏s∈μ t^{1−T(s)} (xT(s) − q^{a′(s)} t^{−l′(s)}), ここでTはμ上の逆テーブルックスを走る。
• 通常のマクドナルド多項式の積分公式を一般化して、シフトド・マクドナルド多項式のq積分表現が確立された。
• シフトド・マクドナルド多項式の双対性が証明され、通常のマクドナルド多項式に知られていた双対性が拡張された。
• ジャック極限(q→1)において、シフトド・マクドナルド多項式はシフトド・対称関数に退化し、[OO]で知られている結果が回復された。
• ジャック極限により、P*μ(x;θ) = ∑ν≺μ ψμ,ν(θ) ⟨x1⟩μ/ν P*ν(x2,…,xn;θ) が得られ、係数ψμ,ν(θ)はジャック多項式から得られる分岐係数である。
• P*μ(x;q,t)の正規化は、P*μ(μ;q,t) = ∏s∈μ (a(s) + t l(s) + 1) となるように固定されており、これはフック長積の(q,t)-アナログである。