[论文解读] 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$ 的有理赫德尼克代数标准模中的显式范数公式，推广了交错多项式的范数。结果表明，这些范数依赖于关联分拆的钩长，通过Pochhammer符号表示，系数涉及列长和行长的阶乘。

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)$ 的背景下，研究参数 $\kappa$ 的奇异值与非球面对值。

提出的方法

• 将格里菲斯在 $G(r,p,N)$ 设置下的结果特化至对称群 $\mathcal{S}_N = G(1,1,N)$，重点关注向量值杰克多项式。
• 通过Dunkl算子作用与群代数的构造，在标准模 $M(\tau)$ 中构造对称与反对称多项式 $f_\tau^s$ 与 $f_\tau^a$。
• 利用 $M(\tau)$ 上的对合（厄米）形式计算内积，依赖于有理赫德尼克代数的结构。
• 应用Pochhammer符号 $(t)_n = \prod_{i=1}^n (t + i - 1)$，将范数表示为分拆 $\tau$ 的杨图中节点的乘积。
• 利用标准杨表的稳定化子子群，计算涉及列长与行长阶乘的归一化常数。
• 利用对偶性与共轭关系：将反对称范数与共轭分拆 $\tau'$ 在 $\kappa \to -\kappa$ 下的对称范数联系起来。

实验结果

研究问题

• RQ1 在对称群 $\mathcal{S}_N$ 的有理赫德尼克代数标准模中，对称与反对称向量值杰克多项式的范数如何依赖于分拆 $\tau$？
• RQ2 反对称多项式 $f_\tau^a$ 的范数能否以类似对称情形的方式，用钩长与臂长表示？
• RQ3 参数 $\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'$ 与参数 $-\kappa$。
• 参数 $\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)}$ 的零点。