[论文解读] Difference equations and symmetric polynomials defined by their zeros

Friedrich Knop, Siddhartha Sahi|arXiv (Cornell University)|Oct 15, 1996

Advanced Topics in AlgebraMathematics被引用 19

一句话总结

本文引入了一类由在平移分拆点处取值为零的条件定义的非齐次对称多项式，参数为 $ r ∈ \mathbb{C} $。证明了这些多项式是 $ n $ 个对易差分算子的共同本征函数，这些算子是 Sekiguchi-Debiard 微分算子的离散类比，并表明其最高次齐次部分为 Jack 多项式。主要贡献是利用这些非齐次多项式给出了 Jack 多项式 Pieri 法则的新证明，以及关于其整形式的积分性与正性的一个猜想。

ABSTRACT

In this paper, we introduce a new family of symmetric polynomials which depends on a parameter r. They are defined by specifying certain of their zeros. For the parameter values 1/2, 1, and 2 they have an interpretation in terms of Capelli identities. First, we give explicit formulas in some special cases. Then we show that the polynomials can also be defined in terms of difference equations. As a corollary we obtain that their top homogeneous part is a Jack polynomial. This is used to give a new proof of the Pieri formula for Jack polynomials.

研究动机与目标

• 系统分析通过在平移分拆点处取值为零条件定义的一类非齐次对称多项式。
• 确立这些多项式是与 Sekiguchi-Debiard 微分算子离散类比的对易差分算子的本征函数。
• 表明每个此类多项式的最高次齐次部分为 Jack 多项式，从而在非齐次族与经典对称函数理论之间建立联系。
• 利用这些非齐次多项式的结构，给出 Jack 多项式 Pieri 法则的新证明。
• 提出并支持一个关于非齐次多项式整形式的积分性与正性猜想，该猜想推广了 Macdonald 的猜想。

提出的方法

• 通过取值为零条件定义对称多项式 $ P_{\rho}^{r\delta} $：对所有满足 $ |\mu| \leq |\rho| $ 且 $ \mu \neq \rho $ 的 $ \mu $，有 $ P_{\rho}^{r\delta}(\mu + r\delta) = 0 $。
• 基于对 $ n $ 和 $ d $ 的归纳，使用递推插值构造法，将多项式表示为 $ n-1 $ 个变量的平移对称函数与涉及 $ \prod (x_i - \varrho_n) $ 的乘积项之和。
• 引入差分算子 $ \mathcal{E}_k $，其作为 Sekiguchi-Debiard 微分算子的离散类比，证明其对易性，并在 $ P_{\lambda}^{r\delta} $ 上作用为对角算子。
• 建立本征值关系 $ \mathcal{E}_k P_{\mu}^{r\delta} = \sum_{\lambda} \psi'_{\lambda/\mu}(1/r) P_{\lambda}^{r\delta} $，其中求和范围为与 $ \mu $ 仅相差一个垂直 $ k $-条带的分拆 $ \lambda $。
• 利用涉及 $ c_{\lambda}^{r\delta} $ 系数的组合恒等式及乘积表达式中的消去模式，推导出本征值 $ \psi'_{\lambda/\mu}(1/r) $ 的显式公式。
• 定义整形式 $ J_{\lambda}^{r\delta}(x) = (-1)^{|\lambda|} c_{\lambda}(1/r) P_{\lambda}^{r\delta}(-x) $，并猜想其在单项对称函数基下的展开系数在 $ \alpha = 1/r $ 中为正整数。

实验结果

研究问题

• RQ1 如何通过在平移分拆点处的取值为零条件系统地构造对称多项式，特别是非齐次情形？
• RQ2 作用于这些非齐次对称多项式的差分算子的结构是怎样的？
• RQ3 这些差分算子的本征值如何与已知的组合规则（如 Pieri 法则）相关联？
• RQ4 这些多项式的整形式表现出怎样的积分性与正性性质？
• RQ5 非齐次多项式能否提供经典结果（如 Jack 多项式的 Pieri 法则）的新证明？

主要发现

• 在 $ r\delta $ 的 $ d $-优势条件下，多项式 $ P_{\lambda}^{r\delta} $ 由取值为零条件 $ P_{\lambda}^{r\delta}(\mu + r\delta) = 0 $（对所有满足 $ |\mu| \leq |\lambda| $ 且 $ \mu \neq \lambda $ 的 $ \mu $）唯一确定（至多相差一个常数因子）。
• $ n $ 个差分算子 $ \mathcal{E}_k $ 对易，并在 $ P_{\lambda}^{r\delta} $ 上作用为对角算子，其本征值为 $ \psi'_{\lambda/\mu}(1/r) $，其为 $ r $ 的有理函数。
• $ P_{\lambda}^{r\delta} $ 的最高次齐次部分为 Jack 多项式，从而在非齐次族与经典齐次族之间建立了直接联系。
• 通过分析 $ \mathcal{E}_k $ 在 $ P_{\mu}^{r\delta} $ 上的作用，得到 Jack 多项式 Pieri 法则的新证明，揭示了垂直 $ k $-条带插入的结构。
• 整形式 $ J_{\lambda}^{r\delta} $ 的展开系数在 $ \alpha = 1/r $ 中为正整数的猜想被提出，该猜想推广了齐次情形下 Macdonald 的猜想。
• 作者最近已证明该猜想的积分性部分，而正性部分则得到了大量计算的支持。