[論文レビュー] Coincident root loci and Jack and Macdonald polynomials for special values of the parameters

M. Kasatani, T. Miwa+2 more|ArXiv.org|Apr 5, 2004

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

本稿では、パラメータ $\alpha = -2$ のジャック多項式を用いて、2組の変数が等しいとき（つまり2重根を持つとき）に消える対称多項式のイデアルに対する明示的な線形基底を構成する。ヒルベルト・ポワンカーレ系列を導出し、最小次数の生成子を特定する。さらに、$t^2q=1$ におけるマクドナルド多項式および補間ジャック多項式への拡張も行う。

ABSTRACT

We consider the coincident root loci consisting of the polynomials with at least two double roots andpresent a linear basis of the corresponding ideal in the algebra of symmetric polynomials in terms of the Jack polynomials with special value of parameter $α= -2.$ As a corollary we present an explicit formula for the Hilbert-Poincarè series of this ideal and the generator of the minimal degree as a special Jack polynomial. A generalization to the case of the symmetric polynomials vanishing on the double shifted diagonals and the Macdonald polynomials specialized at $t^2 q = 1$ is also presented. We also give similar results for the interpolation Jack polynomials.

研究の動機と目的

• 2組の変数が等しいとき（分割 $\mu = (2^2, 1^{n-4})$ に対応する重根の軌跡）に消える対称多項式のイデアルを記述すること。
• パラメータ $\alpha = -2$ のジャック多項式を用いて、このイデアルの明示的線形基底を提供すること。これは、単一の多重根に対する先行結果の一般化である。
• $t$-対角およびシフトされた対角を含む関連イデアルへの枠組みの拡張を、$t^2q=1$ におけるマクドナルド多項式および補間ジャック多項式を用いて行うこと。
• イデアルのヒルベルト・ポワンカーレ系列を計算し、最小次数の生成子を明示的に同定すること。
• 他の分割 $\mu = (p^k, q^l)$ に対して結果を一般化し、対称関数論と根軌跡幾何学との間の広範な関係を示唆すること。

提案手法

• 変数 $x_1 = x_2$ および $x_3 = x_4$ のとき消える対称多項式のイデアル $I_n$ を導入し、$t$-対角およびシフトされた対角を含む関連イデアル $J_n$ と $I_n^*$ を定義する。
• $q = t^{-2}$ に特化したマクドナルド多項式を用いて、$J_n$ の基底を構成する。これは、対称関数およびシフトされた対角に関する既知の結果を活用する。
• マクドナルド基底を特殊化および双対性を用いて $I_n$ および $I_n^*$ の基底を導出する。$\alpha = -2$ におけるジャック多項式とマクドナルド多項式の関係を用いる。
• 補間ジャック多項式（Knop, Sahi, Okounkov, Olshanski）の理論を適用し、$I_n^*$ および $I_n$ の構造を記述する。
• ヒルベルト系列の道具立てを用いて、イデアルの生成関数を計算する。これは、許容可能な分割とその重みの構造に依存する。
• graded 成分と $q$-ポッホハマー積の商との間の同型を確立し、正確なヒルベルト・ポワンカーレ系列を導出する。

実験結果

リサーチクエスチョン

• RQ1 2組の変数が等しいとき消える対称多項式のイデアルの構造は何か？
• RQ2 パラメータ $\alpha = -2$ のジャック多項式を用いて、このイデアルの線形基底をどのように構成できるか。特に、個々のジャック多項式では不十分な場合に。
• RQ3 重根を2重に持つ場合のイデアル $I_n$ のヒルベルト・ポワンカーレ系列は何か？
• RQ4 結果は $t^2q = 1$ におけるマクドナルド多項式および補間ジャック多項式へどのように拡張できるか？
• RQ5 イデアル $I_n$ の最小次数生成子は何か。また、これは重根条件を満たす対称多項式とどのように関係するか？

主な発見

• イデアル $I_n$ のヒルベルト・ポワンカーレ系列は、$\mathrm{ch}\,I_n = \frac{q^{(n-1)(n-3)}}{(q)_1(q)_{n-3}} + \frac{q^{(n-2)(n-1)}}{(q)_1(q)_{n-2}} + \frac{q^{n(n-1)}}{(q)_n}$ で与えられる。ここで $(q)_s = \prod_{j=1}^s (1 - q^j)$ である。
• イデアル $I_n$ の最小次数生成子の次数は $M(n) = (n-1)(n-3) = n^2 - 4n + 3$ であり、特定のジャック多項式 $P_\lambda(x, \theta)$ として実現される。ここで $\theta = -\frac{1}{2}$ で、分割 $\lambda = ((2n-5), (2n-7), \dots, 5, 3, 0, 0, 0)$ である。
• この生成子はスカラー倍を除き、$\mathrm{Symm} \prod_{j=4}^n (x_1 - x_j)(x_2 - x_j)(x_3 - x_j) \prod_{4 \leq k < l \leq n} (x_k - x_l)^2$ に一致する。この多項式の次数も $M(n)$ である。
• $n=4$ および $n=5$ の場合、最小次数はそれぞれ 3 および 8 であり、ケイリーの結果および Magma の計算と整合する。
• 結果は $q = t^{-2}$ におけるマクドナルド多項式および補間ジャック多項式へ一般化され、関連するイデアルを統一的に扱うフレームワークを提供する。
• 単一の $p$ 重根を持つ場合の最小次数は $M(n,p) = s(s-1)(p-1) + 2sr$ で与えられ、ここで $s = \lfloor n/(p-1) \rfloor$ で $r = n \mod (p-1)$ である。生成子は $\theta = -1/(p-1)$ におけるジャック多項式として与えられる。