[论文解读] 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$ 的杰克多项式，构建了在两对变量相等时（即具有两个重根）对称多项式理想的一个显式线性基。推导了希尔伯特-庞加莱系列，并将最小次数生成元识别为特定的杰克多项式，将结果推广至 $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.

研究动机与目标

• 描述当两对变量相等时对称多项式理想的结构，对应于分拆 $\mu = (2^2, 1^{n-4})$ 的重根轨迹。
• 以 $\alpha = -2$ 的杰克多项式为形式，为该理想提供显式线性基，推广此前关于单个重根的结果。
• 将框架扩展至涉及 $t$-对角线和移位对角线的相关理想，利用 $t^2q=1$ 处的麦克斯韦多项式和插值杰克多项式。
• 计算该理想的希尔伯特-庞加莱系列，并显式识别最小次数生成元。
• 将结果推广至其他分拆 $\mu = (p^k, q^l)$，提示对称函数理论与根轨迹几何之间更广泛的关系。

提出的方法

• 引入对称多项式理想 $I_n$，其在 $x_1 = x_2$ 且 $x_3 = x_4$ 时为零，并定义相关理想 $J_n$ 和 $I_n^*$，分别对应于 $t$-对角线和移位对角线。
• 通过将麦克斯韦多项式特化至 $q = t^{-2}$，利用对称函数与移位对角线的已知结果，为 $J_n$ 构造基。
• 通过特化与对偶性，从麦克斯韦基推导出 $I_n$ 和 $I_n^*$ 的基，利用 $\alpha = -2$ 处杰克多项式与麦克斯韦多项式之间的联系。
• 应用插值杰克多项式理论（Knop, Sahi, Okounkov, Olshanski）来描述 $I_n^*$ 和 $I_n$ 的结构。
• 利用希尔伯特系列工具计算理想的生成函数，依赖于容许分拆及其权重的结构。
• 建立理想各分次组件与 $q$-Pochhammer 乘积商之间的同构，以推导出精确的希尔伯特-庞加莱系列。

实验结果

研究问题

• RQ1 当两对变量相等时，对称多项式理想的结构是什么？
• RQ2 如何利用 $\alpha = -2$ 的杰克多项式为该理想构造线性基，特别是当单个杰克多项式不足以构成基时？
• RQ3 具有重合双根的理想的希尔伯特-庞加莱系列 $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)$ 处的杰克多项式给出。