[论文解读] A bialternant formula for odd symplectic characters and its application

Soichi Okada|Josai University Repository of Academia (Josai University)|May 30, 2019

Algebraic structures and combinatorial models参考文献 6被引用 4

一句话总结

本文通过引入一个涉及变量 $x_1,\dots,x_n$ 和 $z$ 的新型 $(n+1) \times (n+1)$ 行列式公式，为奇辛特征——即非半单、奇维辛群的不可约表示的特征——建立了双分式公式。该公式推广了经典群的外尔双分式公式，并通过线性代数方法证明了布伦特–克拉特内尔–瓦纳恒等式，即经典特征恒等式的奇辛类比。

ABSTRACT

We present a bialternant formula for odd symplectic characters, which are the characters of indecomposable modules of odd symplectic groups introduced by R. Proctor. As an application, we give a linear algebraic proof to an odd symplectic character identity due to R. P. Brent, C. Krattenthaler and S. O. Warnaar.

研究动机与目标

• 为普罗克特引入的非半单、奇维辛群的不可约表示的特征（即奇辛特征）建立双分式公式。
• 将适用于半单群的外尔特征公式推广至既非半单也非李群的奇辛群情形。
• 通过线性代数方法证明布伦特–克拉特内尔–瓦纳恒等式，该恒等式是奇辛表示理论中的关键特征恒等式。
• 通过引入基于行列式的特征公式，弥合经典特征公式（如雅可比–特鲁迪、柯西型）与其奇辛类比之间的鸿沟。

提出的方法

• 通过生成函数和无表示论定义定义奇辛特征 $\mathrm{Sp}_{2n+1}(\lambda;x_1,\dots,x_n;z)$。
• 构造一个大小为 $(n+1) \times (n+1)$ 的矩阵 $A_\lambda$，其元素包含 $x_i^{\lambda_j + n - j + 2} - x_i^{-(\lambda_j + n - j + 2)}$（$1 \leq i \leq n$），以及最后一行的 $z^{\lambda_j + n - j + 1}$。
• 将分母 $\det A_\varnothing$ 表示为与 $C_n$ 和 $C_{n+1}$ 根系相关的项的乘积，包含 $x_i - x_i^{-1}$ 和 $x_i^{1/2}x_j^{1/2} - x_i^{-1/2}x_j^{-1/2}$。
• 将柯西–比内公式应用于两个此类矩阵的乘积，以表达对分拆求和的奇辛特征乘积。
• 利用范德蒙德型行列式及 $x_i^{2M+2}$-扭曲项的行列式恒等式与因式分解，将求和关系化为更高秩的单个奇辛特征。
• 通过向下归纳法将恒等式从 $m = n$ 推广至任意 $m \leq n$，使用 $x_1 = 0$ 的代换降低秩并保持结构不变。

实验结果

研究问题

• RQ1 能否为奇辛特征构造一个类似于外尔公式对经典群的双分式公式？
• RQ2 考虑到奇辛群的非半单性，其特征公式与偶辛群的特征公式有何不同？
• RQ3 布伦特–克拉特内尔–瓦纳恒等式（将奇辛特征乘积与单个更高秩特征关联）能否通过线性代数方法而非组合方法证明？
• RQ4 奇辛特征双分式公式的分母结构是什么？它与 $C_n$ 和 $C_{n+1}$ 型根系有何关联？
• RQ5 能否通过代数约化技术将奇辛特征的柯西型恒等式从 $m = n$ 情况推广至更一般情形？

主要发现

• 建立了奇辛特征的双分式公式：$\mathrm{Sp}_{2n+1}(\lambda;x_1,\dots,x_n;z) = \frac{\det A_\lambda}{\det A_\varnothing}$，其中 $A_\lambda$ 是一个 $(n+1) \times (n+1)$ 的混合矩阵，其元素包含 $x_i$ 的幂与 $z$ 的幂。
• 分母 $\det A_\varnothing$ 显式计算为 $\prod_{i=1}^n (x_i - x_i^{-1}) \prod_{1 \leq i < j \leq n+1} (x_i^{1/2}x_j^{1/2} - x_i^{-1/2}x_j^{-1/2})(x_i^{1/2}x_j^{-1/2} - x_i^{-1/2}x_j^{1/2})$，其中 $x_{n+1} = z$，与 $C_n$ 和 $C_{n+1}$ 之间的根系一致。
• 通过线性代数方法证明了布伦特–克拉特内尔–瓦纳恒等式：$\sum_{\lambda} z^{-r} \mathrm{Sp}_{2m+1}(\lambda;\mathbf{x};z) \mathrm{Sp}_{2n+1}((r^{n-m}) \cup \lambda;\mathbf{y};z) = \mathrm{Sp}_{2(m+n+1)}((r^{m+n+1});\mathbf{x},\mathbf{y},z)$。
• 证明依赖于将柯西–比内公式应用于由双分式公式导出的矩阵，辅以细致的因子提取与行列式运算。
• 通过向下归纳法，将恒等式从 $m = n$ 推广至任意 $m \leq n$，利用 $x_1 = 0$ 的代换降低秩并保持结构。
• 该方法提供了该恒等式的全新代数证明，绕过了原始的组合解释，建立了行列式恒等式与奇辛特征理论之间的直接联系。