[论文解读] Generalized Sylvester Formulas and skew Giambelli Identities

Soichi Okada|arXiv (Cornell University)|Apr 9, 2017

Advanced Mathematical Theories and Applications参考文献 5被引用 3

一句话总结

本文提出西尔维斯特行列式公式及其帕费安类比的统一推广，通过一种新颖的矩阵构造，将它们扩展至复合行列式和斜对称矩阵。关键贡献是一个统一框架，可恢复经典恒等式，并推导出对称函数的新斜吉安贝利（skew-Giambelli）与斜舒尔（skew-Schur）恒等式，包括斜Q函数的帕费安表达式和斜舒尔函数的广义吉安贝利公式。

ABSTRACT

We obtain a common generalization of two types of Sylvester formulas for compound determinants and its Pfaffian analogue. As applications, we give generalizations of the Giambelli identity to skew Schur functions and the Schur identity to Schur's skew $Q$-functions.

研究动机与目标

• 将复合行列式及其帕费安类比的两个经典西尔维斯特型公式统一到一个框架中。
• 利用广义行列式公式，将吉安贝利恒等式推广至斜舒尔函数。
• 利用广义帕费安公式，将Q函数的舒尔恒等式推广至斜Q函数。
• 通过帕费安与行列式建立广义矩阵恒等式与对称函数理论之间的联系。
• 提供一种系统化方法，利用矩阵理论工具推导对称函数理论中的新恒等式。

提出的方法

• 定义一个 (p+q)×(p+q) 的新矩阵 eX，其元素为矩阵 X 的子矩阵的复合行列式，行索引为序列 I, J, K，列索引为 I′, J′, K′。
• 通过证明 det(eX) 等于涉及 I⊔K, I′⊔K′, J⊔K, J′⊔K′ 的行列式乘积，并附带符号因子 (−1)^q，从而证明广义西尔维斯特行列式恒等式（定理 1.2）。
• 从斜对称矩阵 Y 的子矩阵的帕费安行列式出发，构造一个斜对称矩阵 eY，使用索引序列 I, J, K。
• 通过应用德桑诺-雅可比恒等式的帕费安类比，建立广义帕费安恒等式（定理 1.4）。
• 利用广义行列式与帕费安恒等式，通过将元素解释为斜舒尔函数与斜Q函数，推导出新的对称函数恒等式。
• 将这些恒等式应用于斜舒尔函数 sλ/µ 与斜Q函数 Qλ/µ，将其表示为更简单斜函数的行列式与帕费安行列式。

实验结果

研究问题

• RQ1 能否将经典的西尔维斯特行列式公式及其帕费安类比统一到一个广义公式之下？
• RQ2 如何将子矩阵的复合行列式与帕费安行列式结合，以在对称函数理论中导出新恒等式？
• RQ3 广义矩阵恒等式能否用于将吉安贝利恒等式推广至斜舒尔函数？
• RQ4 能否利用帕费安结构将Q函数的舒尔恒等式推广至斜Q函数？
• RQ5 索引序列及其通过集合差去除在构建广义恒等式中的作用是什么？

主要发现

• 广义西尔维斯特行列式公式（定理 1.2）通过引入一个元素为子矩阵复合行列式的矩阵 eX，统一了经典西尔维斯特与对偶西尔维斯特恒等式。
• 当 q=0 和 p=0 时，该公式分别退化为 (1.1) 与 (1.2)，并包含符号因子 (−1)^q。
• 广义帕费安恒等式（定理 1.4）通过将两个长度为偶数的序列 I 与 J 与一个公共核 K 结合，扩展了克努斯的帕费安类比。
• 建立了斜舒尔函数的斜吉安贝利恒等式：sλ/µ 可表示为形如 ±sν/µ 的斜舒尔函数的行列式。
• 推导出斜Q函数的广义舒尔恒等式：Qλ/µ 可表示为形如 ±Qν/µ 的斜Q函数的帕费安行列式，且具有明确的矩阵结构。
• 帕费安恒等式的证明依赖于德桑诺-雅可比恒等式的帕费安类比，而行列式恒等式则通过行列式-帕费安对应关系从帕费安版本推导而来。