[論文レビュー] Symmetric and Antisymmetric Vector-valued Jack Polynomials

Charles F. Dunkl|arXiv (Cornell University)|Jan 25, 2010

Algebraic structures and combinatorial models参考文献 7被引用数 8

ひとこと要約

本稿では、対称群 $\mathcal{S}_N$ の有理チャレドニク代数の標準モジュールにおける対称および反対称ベクトル値ジャック多項式の明示的ノルム公式を導出しており、交代多項式のノルムを一般化している。ノルムは、関連する分割のフック長さを用いてポッホハマー記号で表され、列および行の長さの階乗を含む係数を有する。

ABSTRACT

Polynomials with values in an irreducible module of the symmetric group can be given the structure of a module for the rational Cherednik algebra, called a standard module. This algebra has one free parameter and is generated by differential-difference ("Dunkl") operators, multiplication by coordinate functions and the group algebra. By specializing Griffeth's (arXiv:0707.0251) results for the G(r,p,n) setting, one obtains norm formulae for symmetric and antisymmetric polynomials in the standard module. Such polynomials of minimum degree have norms which involve hook-lengths and generalize the norm of the alternating polynomial.

研究の動機と目的

• 有理チャレドニク代数の $\mathcal{S}_N$ における標準モジュールにおけるベクトル値ジャック多項式への交代多項式のノルム公式の一般化。
• 標準モジュールにおける最小次数の対称および反対称多項式の明示的ノルム表現の導出。
• 有理チャレドニク代数の構造、$\mathcal{S}_N$ の表現論、およびヤング盤におけるフック長さの組合せ論との関係の確立。
• 対称多項式のノルム公式を用いて、ゴードン＝スタフォード定理の一部の別証明を提供。
• 標準モジュール $M(\tau)$ の文脈において、パrameter $\kappa$ の特異値およびアスフェリカル値を調査。

提案手法

• $G(r,p,N)$ の設定におけるグリフェスの結果を、対称群 $\mathcal{S}_N = G(1,1,N)$ に特化し、ベクトル値ジャック多項式に注目する。
• Dunkl作用素および群代数の作用を用いて、標準モジュール $M(\tau)$ 内の対称および反対称多項式 $f_\tau^s$ と $f_\tau^a$ を構成する。
• 有理チャレドニク代数の構造に依拠して、$M(\tau)$ 上の対偶（ヘルミート）形式を用い、内積を計算する。
• ポッホハマー記号 $(t)_n = \prod_{i=1}^n (t + i - 1)$ を用いて、ノルムを分割 $\tau$ のヤング図のノード上での積として表現する。
• 標準盤の安定化部分群を用いて、列および行の長さの階乗を含む正規化定数を計算する。
• 双対性および共役性を活用：反対称ノルムを、$\kappa \to -\kappa$ とした共役分割 $\tau'$ における対称ノルムに関連付ける。

実験結果

リサーチクエスチョン

• RQ1 有理チャレドニク代数の $\mathcal{S}_N$ における標準モジュール内の対称および反対称ベクトル値ジャック多項式のノルムは、分割 $\tau$ にどのように依存するか？
• RQ2 反対称多項式 $f\_\tau^a$ のノルムは、対称の場合と同様に、フック長さおよびアーム長さを用いて表現可能か？
• RQ3 パrameter $\kappa$ は、有理チャレドニク代数の特異値およびアスフェリカル値を決定する上で果たす役割は何か？
• RQ4 ノルム公式は、自明表現における既知の交代多項式のノルムをどのように一般化するか？
• RQ5 ノルム積の消滅と $M(\tau)$ 内の真部分モジュールの存在との間にはどのような関係があるか？

主な発見

• 対称多項式 $f_\tau^s$ のノルムは、$\|f_\tau^s\|^2 = c_0 \cdot \frac{N!}{\prod_{i=1}^{\tau_1} \tau_i'!} \cdot \prod_{(i,j)\in\tau} (1 - \kappa h(i,j))_{\mathrm{leg}(i,j)}$ で与えられ、$c_0 \in \mathbb{Q}$ は $\tau$ に依存する定数である。
• 反対称多項式 $f_\tau^a$ のノルムは、$\|f_\tau^a\|^2 = c_1 \cdot \frac{N!}{\prod_{i=1}^{\ell(\tau)} \tau_i!} \cdot \prod_{(i,j)\in\tau} (1 + \kappa h(i,j))_{\mathrm{arm}(i,j)}$ であり、$c_1 \in \mathbb{Q}$ である。
• 自明表現 $\tau = (N)$ の場合、反対称多項式 $f_\tau^a$ はバーデルモンド行列式 $\prod_{1\leq i<j\leq N} (x_i - x_j)$ に還元され、そのノルムは $c_1 \prod_{i=2}^N (1 + i\kappa)_{i-1}$ である。
• 対称多項式 $f_\tau^s$ は標準モジュール $M(\tau)$ 内で最小次数であり、ヤング図のノードのレッグ長さを含むノルムを持つ。
• 反対称多項式 $f_\tau^a$ は $M(\tau)$ 内で最小次数であり、ノードのアーム長さを含むノルムを持つ。導出には共役分割 $\tau'$ およびパrameter $-\kappa$ が用いられる。
• パrameter $\kappa$ のアスフェリカル値 $\kappa_0$ は、$\kappa_0 \in \{ \frac{m}{n} : 1 \leq m < n \leq N \}$ を満たし、このような値は積 $\prod_{(i,j)\in\tau} (1 - \kappa h(i,j))_{\mathrm{leg}(i,j)}$ の零点である。