[論文レビュー] Singular Polynomials and Modules for the Symmetric Groups

Charles F. Dunkl|arXiv (Cornell University)|Jan 27, 2005

Advanced Algebra and Geometry参考文献 4被引用数 8

ひとこと要約

本稿は、負の有理数パラメータ $\kappa_0 = -\frac{m}{n}$ に対して、同次特異多項式の既約 $S_N$-加群の一意性を証明する。ここで $2 \leq n \leq N$ かつ $\frac{m}{n}$ は整数でない。Murphyの固有値理論と非対称ジャック多項式の解析を用いて、これらの加群が、$\tau_2 = \cdots = \tau_{\ell-1} = \frac{n}{\gcd(m,n)} - 1 \geq \tau_\ell$ を満たす同型型 $\tau$ のものに限られることを示し、このような加群の完全な分類を確認する。

ABSTRACT

For certain negative rational numbers k0, called singular values, and associated with the symmetric group S_N on N objects, there exist homogeneous polynomials annihilated by each Dunkl operator when the parameter k = k0. It was shown by de Jeu, Opdam and the author (TAMS 346(1994),237-256) that the singular values are exactly the values m/n with 2<=n<=N, m = 1,2... and m/n is not an integer. For each pair (m,n) satisfying these conditions there is a unique irreducible S_N-module of singular polynomials for the singular value -m/n. The existence of these polynomials was established by the author (IMRN 2004,#67,3607-3635). The uniqueness is proven in the present paper. By using Murphy's (J. Alg. 69(1981), 287-297) results on the eigenvalues of the Murphy elements, the problem of existence of singular polynomials is first restricted to the isotype of a partition of N (corresponding to an irreducible representation of S_N) such that (n/gcd(m,n)) divides t+1 for each part t of the partition except the last one. Then by arguments involving nonsymmetric Jack polynomials it is shown that the assumption that the second part of the partition is greater than or equal to n/gcd(m,n) leads to a contradiction.This shows that the singular polynomials are exactly those already determined.

研究の動機と目的

• 負の有理数パラメータ $\kappa_0 = -\frac{m}{n}$ に対して、同次特異多項式の既約 $S_N$-加群の一意性を確立すること。
• 特異多項式が $\kappa_0$ で存在可能な特定の同型型 $\tau$ のみであることを証明することで、このような加群の分類を完全化すること。
• 特異多項式が、$\kappa = -\frac{m}{n}$ において非対称ジャック多項式によって事前に構成された加群にちょうど一致することを示すこと。
• 加群 $A(\kappa_0)$-部分加群の構造が、ペア $(m,n)$ によって完全に決定されることを示し、部分加群のネストされた鎖 $M(dm,dn)$ を示すこと。

提案手法

• Murphyの、Murphy要素の固有値に関する結果を適用し、特異多項式の $S_N$-加群をラベル付ける分割 $\tau$ に対する必要条件を導出する。
• 非対称ジャック多項式（NSJPs）の理論を用いて、$\kappa \to -\frac{m}{n}$ の極限におけるこれらの多項式の振る舞い、特に極限と特異性を分析する。
• $\tau_2 \geq \frac{n}{\gcd(m,n)}$ を仮定すると矛盾が生じることを証明することで、可能な同型型が $\tau_2 = \cdots = \tau_{\ell-1} = \frac{n}{\gcd(m,n)} - 1$ に制限されることを示す。
• $M(dm,dn)$ 加群の次数と構造を分析し、固定された $\kappa_0 = -\frac{m}{n}$ に対して、各同次次数の既約 $S_N$-加群が高々一つであることを示す。
• Dunkl作用素の積則を用いて、$A(\kappa_0)$-部分加群構造が乗法によって保存されることを示し、$M(dm,dn)$ 部分加群のネストされた包含関係を支持する。

実験結果

リサーチクエスチョン

• RQ1 どの分割 $\tau$ に対して、$\kappa_0 = -\frac{m}{n}$ における同次特異多項式の既約 $S_N$-加群が存在できるか？
• RQ2 条件を満たすペア $(m,n)$ に対して、$\kappa_0 = -\frac{m}{n}$ における特異多項式の加群が、なぜ各々に対して一意的なのか？
• RQ3 Murphy要素の固有値は、特異多項式加群の同型型 $\tau$ の可能性をどのように制限するか？
• RQ4 $\kappa_0 = -\frac{m}{n}$ における $A(\kappa_0)$-部分加群のラティスの正確な構造は何か？ また、$M(dm,dn)$ 加群どうしの関係は？

主な発見

• 特異多項式の既約 $S_N$-加群として可能な同型型は、$\tau_2 = \cdots = \tau_{\ell-1} = \frac{n}{\gcd(m,n)} - 1 \geq \tau_\ell$ を満たし、さらに $1 \leq i < \ell(\tau)$ に対して $\frac{n}{\gcd(m,n)}$ が $\tau_i + 1$ を割り切ることを満たすものに限られる。
• 特異多項式はペア $(m,n)$ によって一意に決定され、$\kappa_0 = -\frac{m}{n}$ において他の既約 $S_N$-加群は存在しない。
• $\gcd(m,n) = 1$ の場合、最小の $A(\kappa_0)$-部分加群は $M(m,n)$ であり、これはすべての非自明な $A(\kappa_0)$-部分加群に含まれる。
• $1 \leq d \leq \lfloor N/n \rfloor$ に対して、$A(\kappa_0)$-部分加群 $M(dm,dn)$ は次数が減少するネストされた鎖をなし、それぞれが一意の同型型に対応する。
• 最小次数の特異多項式は $d = \lfloor N/n \rfloor$ に対応し、$N = nq + r$ かつ $r < n-1$ のとき次数 $k = m q (r+1)$、$r = n-1$ のとき $k = m(qn+1)$ である。