[論文レビュー] Singular polynomials for the symmetric groups

Charles F. Dunkl|ArXiv.org|Mar 16, 2004

Mathematical Analysis and Transform Methods参考文献 7被引用数 6

ひとこと要約

本稿は、対称群の負の有理数パラメータ $\kappa = -\frac{m}{n}$ における $S_N$-不変多項式の既約モジュールを構成する。ここで $2 \leq n \leq N$ かつ $\frac{m}{n} \notin \mathbb{Z}$ である。各モジュールの同型型は $\left(n-1, (n_1-1)^l, \rho\right)$ と特定され、$n_1 = n/\gcd(m,n)$ である。Dunkl作用素の作用に対する明示的公式と、$N$ に依存する極の検出法を提供し、表現論的解析にはMurphy要素を用いる。

ABSTRACT

For certain negative rational numbers k, 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 equals k. It was shown by the author, de Jeu and Opdam (Trans. Amer. Math. Soc. 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. This paper constructs for each pair (m,n) satisfying these conditions an irreducible S_N-module of singular polynomials for the singular value -m/n. The module is of isotype (n-1,(n1-1)^p,r) where n1 = n/gcd(m,n), r = N-n+1-p(n1-1) and 1 <= r <= n1-1 (thus defining p). The singular polynomials are special cases of nonsymmetric Jack polynomials. The paper presents some formulae for the action of Dunkl operators on these polynomials valid in general, and a method for showing the dependence of poles (in the parameter) on the number of variables (N). Murphy elements are used to analyze the representation of S_N on irreducible spaces of singular polynomials.

研究の動機と目的

• 対称群の特異値 $\kappa = -\frac{m}{n}$ における $S_N$-不変多項式の既約モジュールを明示的に構成すること。
• これらの特異多項式によって生成される $S_N$-不変モジュールの同型型を $m$, $n$, $N$ の関数として特定すること。
• 特異多項式へのDunkl作用素の作用に対する公式を提供し、パrameter $\kappa$ における極構造を解析すること。
• Murphy要素を用いて $S_N$ が特異多項式空間に作用する表現を解析し、その半正規形を確立すること。

提案手法

• 特異多項式を、$m$, $n$, $N$ から導かれる組成 $\lambda$ に関連する非対称Jack多項式の特別な場合として構成する。
• 同型型 $\tau = \left(n-1, (n_1-1)^l, \rho\right)$ を定義する。ここで $n_1 = n/\gcd(m,n)$, $l = \left\lceil \frac{N+1-n}{n_1-1} \right\rceil - 1$, および $\rho = (N+1-n) - l(n_1-1)$ である。
• 単項式へのDunkl作用素 $\mathcal{D}_i$ の作用を用い、積の法則を適用することで、$\kappa = \kappa_0$ のときモジュール $M_\tau$ が $\mathcal{D}_i$ に関して閉じていることを示す。
• Murphy要素を用いて、基底 $\{\zeta_{w\lambda}^x : w \in E_\tau\}$ 上での $S_N$ の半正規表現を実現し、モジュールが $\tau$ に沿って変換されることを証明する。
• Dunkl作用素の作用における有理関数の振る舞いを追跡することで、$\kappa$ の極が変数の個数 $N$ にどのように依存するかを解析する。
• 同型型 $\tau$ の特異多項式をラベルづけるために、分割 $\lambda$ の逆ラティス順列を用いる。

実験結果

リサーチクエスチョン

• RQ1 どの負の有理数値 $\kappa = -\frac{m}{n}$ に対して、すべてのDunkl作用素によって消える非自明な特異多項式が存在するか？
• RQ2 特異値 $\kappa = -\frac{m}{n}$ における特異多項式によって生成される $S_N$-不変モジュールの同型型 $\tau$ は何か？
• RQ3 与えられた $\kappa$ に対して、Dunkl作用素の作用における極は変数の個数 $N$ にどのように依存するか？
• RQ4 $S_N$ が特異多項式空間に作用する表現をMurphy要素を用いて完全に特徴づけられるか？
• RQ5 与えられた $\kappa_0$ に対して、すべての特異多項式を一般に構成する方法は存在するか？また、特定の条件下で一意性が保証されるか？

主な発見

• $S_N$ の特異値は、ちょうど $\kappa = -\frac{m}{n}$ であり、$2 \leq n \leq N$, $m \in \mathbb{N}$, かつ $\frac{m}{n} \notin \mathbb{Z}$ を満たす。
• 各 $\kappa_0 = -\frac{m}{n}$ に対して、同型型 $\tau = \left(n-1, (n_1-1)^l, \rho\right)$ の $S_N$-不変特異多項式の既約モジュールが存在する。ここで $n_1 = n/\gcd(m,n)$, $l = \left\lceil \frac{N+1-n}{n_1-1} \right\rceil - 1$, および $\rho = (N+1-n) - l(n_1-1)$ である。
• 特異多項式は非対称Jack多項式の特別な場合であり、その構造は組成 $\lambda = \Lambda(n_1-1, d-1, l, \rho, m_1)$ によって完全に決定される。ここで $d = \gcd(m,n)$, $m_1 = m/d$, および $n_1 = n/d$ である。
• モジュール $M_\tau = \mathrm{span}_{\mathbb{P}}\{\zeta_{w\lambda}^x : w \in E_\tau\}$ は、$\kappa = \kappa_0$ のとき $\mathcal{D}_i$ および $S_N$ の作用に関して閉じており、有理Cherednik代数 $\mathbf{A}$ のモジュールをなす。
• $\{\zeta_{w\lambda}^x\}$ 上での $S_N$ の作用は、Murphy要素および逆ラティス順列の構造を用いて、半正規表現と同型であることが確認された。
• 本稿は、任意のペア $(m,n)$ に対して同型型 $\tau$ およびラベル $\lambda$ を計算する完全なアルゴリズムを提供する。$l$, $\rho$, および $\lambda$ の明示的公式は、$m$, $n$, $N$ の関数として与えられる。