[論文レビュー] Jacobi-Trudy formula for generalised Schur polynomials

A. N. Sergeev, А. П. Веселов|ArXiv.org|May 15, 2009

Advanced Combinatorial Mathematics参考文献 2被引用数 5

ひとこと要約

本稿は、1変数の任意の正規直交多項式列（三項再帰関係で定義）に関連するシュール型多項式に対する一般化されたジャコビ＝トゥーリー公式を確立する。主な貢献は、再帰的に定義された多項式の行列式としてこれらの一般化シュール多項式を表現する行列式公式であり、古典的シュール多項式、シミプレクティック/直交代数の特徴、パラメータθ=1の多次元ジャコビ多項式を統一的に扱う。

ABSTRACT

Jacobi-Trudy formula for a generalisation of Schur polynomials related to any sequence of orthogonal polynomials in one variable is given. As a corollary we have Giambelli formula for generalised Schur polynomials.

研究の動機と目的

• 任意の正規直交多項式列に関連する広範なクラスの一般化シュール多項式に対して、古典的ジャコビ＝トゥーリー公式を拡張すること。
• 既知のシュール多項式、リー代数の特徴、階乗シュール多項式のジャコビ＝トゥーリー公式を統一する代数的枠組みを提供すること。
• パラメータθ=1の多次元ジャコビ多項式に対して、以前にこの形で得られていなかった新しいジャコビ＝トゥーリー公式を導出すること。
• 無限次元およびスーパーアルジブラ的設定への理論の拡張、特にスーパッシュール多項式および関数を含むこと。
• 共役分割を用いた双対形式を確立し、対称関数論における既知の結果と整合させること。

提案手法

• 三項再帰関係を満たす正規直交多項式 $ \varphi_i(z) $ を含むウェイル型行列式を用いて、一般化シュール多項式 $ S_{\nu}(x_1,\dots,x_n|a,b) $ を定義する。
• 再帰的定義された多項式 $ h_i^{(r)} $ を、$ h_i^{(r+1)} = h_{i+1}^{(r)} + a(i+n-1)h_i^{(r)} + b(i+n-1)h_{i-1}^{(r)} $ により定義し、$ h_i^{(0)} = h_i $ とする。
• 主結果の証明：一般化シュール多項式は、$ l \times l $ 行列の行列式に等しく、その成分は $ h_{\lambda_i - i + j}^{(j-1)} $ であり、$ l = l(\lambda) $ である。
• 列の操作により行列式を所望の形に簡約可能であることを示すためのキーレマ：$ h_i^{(r)} - x_1 h_i^{(r-1)} = h_{i+1}^{(r-1)}(x_2,\dots,x_n) $。
• パラメータの特殊化により、一般化シュール関数 $ S_\lambda(x|a,b;d) $ およびスーパッシュール多項式を定義することで、無限次元およびスーパーアルジブラ的設定への公式の拡張を行う。
• 既知の対象との関係を確立：$ \mathfrak{sp}(2n) $、$ \mathfrak{so}(2n) $ の特徴、階乗シュール多項式、$ k = -1 $ のジャコビ対称関数。

実験結果

リサーチクエスチョン

• RQ1 任意の正規直交多項式列から構成されるシュール多項式に対して、古典的ジャコビ＝トゥーリー公式を一般化できるか？
• RQ2 三項再帰関係により定義される一般化シュール多項式の行列式公式は何か？
• RQ3 一般化シュール多項式は、シミプレクティックおよび直交リー代数の特徴とどのように関係するか？
• RQ4 ジャコビ＝トゥーリー公式は、無限次元およびスーパーアルジブラ的設定へ拡張可能か？
• RQ5 無限次元一般化におけるパラメータ $ d $ の役割は何か？また、スーパーディメンジョンとどのように関係するか？

主な発見

• 本稿は、一般化シュール多項式に対する普遍的なジャコビ＝トゥーリー公式を確立する：$ S_{\lambda}(x|a,b) = \left| h_{\lambda_i - i + j}^{(j-1)} \right| $、ここで $ h_i^{(r)} $ は再帰的に定義された多項式である。
• パラメータ $ \varphi_i(z) = z^i $ の場合、この公式は標準シュール多項式に対する古典的ジャコビ＝トゥーリー恒等式を回復し、正規直交多項式列へ拡張する。
• パラメータ $ \varphi_i(z) $ が $ \theta = 1 $ のジャコビ多項式である場合、この公式は多次元ジャコビ多項式に対する新しい行列式表現を導く。
• この手法により、古典的シュール多項式、リー代数の特徴、階乗シュール多項式のジャコビ＝トゥーリーおよびジアムベリの公式を統一的に証明できる。
• パラメータ $ d $ を含むシフトされた再帰関係により定義される $ h_i^{(r)} $ を用いることで、一般化シュール関数 $ S_\lambda(x|a,b;d) $ に対する無限次元版の公式が成り立つ。
• スーパーアルジブラ的拡張により、パラメータ $ d = n - m $ の特殊化により一般化スーパッシュール多項式が得られ、直交シミプレクティックリー超代数への応用が可能となる。