[论文解读] Jacobi-Trudy formula for generalised Schur polynomials

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

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

一句话总结

本文为通过三步递推关系定义的任意一元正交多项式序列所关联的类舒尔多项式，建立了一个广义的雅可比-特鲁迪公式。核心贡献是通过递归定义的多项式，以行列式形式表达这些广义舒尔多项式，统一了经典舒尔多项式、典型李代数的特征标以及参数 θ=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+1)} = h_{i+1}^{(r)} + a(i+n-1)h_i^{(r)} + b(i+n-1)h_{i-1}^{(r)} $，引入递归定义的多项式 $ h_i^{(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 $ 的雅可比多项式时，该公式给出了多维雅可比多项式的新型行列式表达式。
• 该方法统一证明了经典舒尔多项式、李代数特征标及阶乘舒尔多项式的雅可比-特鲁迪与吉安贝利公式。
• 无限维版本的公式对广义舒尔函数 $ S_\lambda(x|a,b;d) $ 成立，其中 $ h_i^{(r)} $ 通过含 $ d $ 的平移递推关系定义。
• 超代数扩展通过参数特化 $ d = n - m $ 得到广义超舒尔多项式，其在正交典型李超代数中有应用。