[論文レビュー] 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 \in \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規則の新しい証明を与えること。
• 非同次多項式の整数形式の積分性および正値性に関する予想を提示・支持すること。

提案手法

• 多項式 $ P_{\rho}^{r\delta} $ を、すべての $ \mu \neq \rho $ に対して $ |\mu| \leq |\rho| $ を満たす $ \mu $ について $ P_{\rho}^{r\delta}(\mu + r\delta) = 0 $ であるという消失条件によって定義する。
• $ n $ および $ d $ における帰納法に基づく再帰的補間構成を用い、多項式を $ n-1 $ 変数におけるシフトされた対称関数と、$ \prod (x_i - \varrho_n) $ を含む積項の和として表現する。
• Sekiguchi-Debiard微分作用素の離散版としての差分作用素 $ \mathcal{E}_k $ を導入し、それらが可換であり、$ 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規則のような古典的結果の新しい証明を提供できるか？

主な発見

• 多項式 $ P_{\lambda}^{r\delta} $ は、$ d $-優位性条件を満たす $ r\delta $ の下で、すべての $ \mu \neq \lambda $ に対して $ |\mu| \leq |\lambda| $ を満たす $ \mu $ について $ P_{\lambda}^{r\delta}(\mu + r\delta) = 0 $ であるという消失条件によって、スカラー倍を除き一意に定まる。
• $ 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} $ に作用する構造を分析することにより、垂直 $ k $-ストリップの挿入構造が明らかになり、Jack多項式のPieri規則の新しい証明が得られる。
• 整数形式 $ J_{\lambda}^{r\delta} $ は、$ \alpha = 1/r $ における展開係数が正の整数であると予想される。これは、同次系におけるMacdonaldの予想を一般化するものである。
• 著者らは最近、この予想の積分性部分をすでに証明しており、正値性部分は広範な計算によって裏付けられている。