[論文レビュー] Shifted Jack polynomials, binomial formula, and applications

Andreĭ Okounkov, Grigori Olshanski|ArXiv.org|Aug 23, 1996

Advanced Combinatorial MathematicsMathematics参考文献 9被引用数 20

ひとこと要約

本稿では、逆テーブルックスと$\theta$-重みを用いた明示的な組合せ的表現を用いて、シフトド・ジャック多項式の二項公式を確立する。主な貢献は、$1+x_i$ におけるジャック多項式とシフトド・ジャック多項式を結ぶ生成関数の恒等式を確立することであり、$\theta$-次元の公式を介して表現論および漸近的キャラクター理論への応用が得られる。

ABSTRACT

In this note we prove an explicit binomial formula for Jack polynomials and discuss some applications of it.

研究の動機と目的

• 対称関数および組合せ的テーブルックスを用いて、シフトド・ジャック多項式の明示的な二項公式を導出すること。
• シフトド・ジャック多項式と$1+x_i$ におけるジャック多項式との間の関係を確立すること。
• 組合せ的恒等式を用いて、シフトド・ジャック多項式の双対性および消去性の性質に対する新しい証明を提供すること。
• 二項公式を用いて、スケイア形状および漸近的キャラクター理論の$\theta$-次元の公式を導出すること。

提案手法

• 微分作用素とシフトド対称多項式を関係付けるハリシュ・チャンドラ同型写像の使用。
• すべての$\nu' \neq \nu$ で$|\nu'| \geq |\nu|$ を満たす$\nu'$ において消える、$\bar{\theta}$-対称代数に属する一意な要素として、シフトド・ジャック多項式$P^{*}_{\nu}(x;\theta)$ を定義すること。
• 分割$\mu$ 上の逆テーブルックス$T$ を用いた組合せ的公式の適用。ここで、$T$ の各列は弱く非増加で、各行は厳密に減少する。
• $\psi_T(\theta)$ を、テーブルックスの$\theta$-重みとして定義し、$P^{*}_{\mu}(x;\theta)$ の展開における単項式$\prod_{s\in\mu}(x_{T(s)} - a'(s) + \theta l'(s))$ を重みづけすること。
• 主な二項定理の導出：$\frac{P_{\lambda}(1+x_1,\dots,1+x_n;\theta)}{P_{\lambda}(1,\dots,1;\theta)} = \sum_{\mu} \frac{P^{*}_{\mu}(\lambda;\theta) Q_{\mu}(x;\theta)}{(n\theta)_{\mu}}$、ここで$Q_{\mu} = \frac{H'(\mu)}{H(\mu)} P_{\mu}$。
• スケーリング$\lambda \to \kappa\lambda$、$\mu \to \kappa\mu$ を$\kappa \to \infty$ で行う漸近的解析により、ベータ関数および差の積を用いた$P_{\mu}(\lambda)$ の積分表現が得られる。

実験結果

リサーチクエスチョン

• RQ1 標準ジャック多項式およびその双対を用いて、シフトド・ジャック多項式の二項型展開をどのように構成できるか？
• RQ2 シフトド・ジャック多項式の組合せ的構造は何か？ そして、シフトド・シュール関数理論をどのように一般化するか？
• RQ3 二項恒等式および双対性の性質から、スケイア形状の$\theta$-次元はどのように導かれるか？
• RQ4 二項公式を用いて、漸近的極限を介してジャック多項式の積分表現を導出できるか？
• RQ5 二項公式は、$U(\infty)$ および$S(\infty)$ の漸近的キャラクター理論にどのような意味を持つのか？

主な発見

• 二項公式$\frac{P_{\lambda}(1+x_1,\dots,1+x_n;\theta)}{P_{\lambda}(1,\dots,1;\theta)} = \sum_{\mu} \frac{P^{*}_{\mu}(\lambda;\theta) Q_{\mu}(x;\theta)}{(n\theta)_{\mu}}$ は、すべての分割$\lambda$ および$\mu$ に対して成り立ち、$Q_{\mu}(x;\theta) = \frac{H'(\mu)}{H(\mu)} P_{\mu}(x;\theta)$ である。
• $\lambda$ の$\theta$-次元は$\operatorname{\theta-dim}\lambda = \frac{| olimits|\lambda|!}{H(\lambda)}$ で与えられ、ここで$H(\lambda) = \prod_{s\in\lambda}(a(s) + \theta l(s) + 1)$ である。
• スケイア形状の$\theta$-次元の比は$\frac{\operatorname{\theta-dim}\lambda/\mu}{\operatorname{\theta-dim}\lambda} = \frac{P^{*}_{\mu}(\lambda;\theta)}{| olimits|\lambda|(|\lambda|-1)\cdots(|\lambda|-|\mu|+1)}$ を満たし、スケイア$\theta$-次元の組合せ的解釈が得られる。
• 積分表現$P_{\mu}(\lambda) = \frac{1}{C(\mu,n)} \frac{1}{V(\lambda)^{2\theta-1}} \int \dots \int P_{\mu}(\nu) V(\nu) \Pi(\lambda,\nu;\theta) \, d\nu$ が、実数$\lambda$ および$\theta > 0$ に対して導出され、ここで$C(\mu,n) = \prod_{i\leq n-1} B(\mu_i + (n-i)\theta, \theta)$ である。
• 漸近的極限$\kappa \to \infty$ における$P^{*}_{\mu}(\kappa\lambda;\theta)/\kappa^{| olimits|\mu|}$ は$P_{\mu}(\lambda;\theta)$ に収束し、標準ジャック多項式の極限と整合することが確認される。
• この方法により、$P^{*}_{\mu}(\lambda;\theta) = 0$ となるのは$\mu \subset \lambda$ の場合に限ること、および$P^{*}_{\mu}(x;\theta) = P_{\mu}(x;\theta) + \text{lower degree terms}$ であるという主項の恒等式に対する、新しい組合せ的証明が得られる。