Skew odd orthogonal characters and interpolating Schur polynomials

基本信息

• 论文ID: 2502.15586
• 标题: Skew odd orthogonal characters and interpolating Schur polynomials
• 作者: Naihuan Jing, Zhijun Li†, Danxia Wang, Chang Ye, and appendix with Xinyu Pan
• 分类: math.RT (Representation Theory), math.CO (Combinatorics), math.QA (Quantum Algebra)
• 发表时间: 2025年2月21日 (arXiv预印本)
• 论文链接: https://arxiv.org/abs/2502.15586

摘要

本文引入两个顶点算子来实现倾斜奇正交特征标$so_{\lambda/\mu}(x^{\pm})$，并通过类似于Schur函数的Toeplitz-Hankel型行列式推导出倾斜特征标的Cauchy恒等式。该方法还为$so_{\lambda/\mu}(x^{\pm})$的Jacobi-Trudi恒等式和Gelfand-Tsetlin模式提供了新的证明。此外，结合与C、D型特征标相关的顶点算子和与B型特征标相关的新顶点算子，获得了三族对称多项式，它们在$SO_{2n+1}(\mathbb{C})$、$SO_{2n}(\mathbb{C})$和$Sp_{2n}(\mathbb{C})$的特征标之间进行插值，并明确给出了辛特征标和/或正交特征标与奇正交特征标之间的转换公式。

研究背景与动机

问题背景

1. 经典群表示论基础: 一般线性群$GL_n(\mathbb{C})$的不可约表示特征标是由分拆$\lambda$索引的Schur函数$s_\lambda(x)$，它们构成对称函数环的正交基。倾斜Schur函数$s_{\lambda/\mu}(x)$是研究限制到子表示的基本工具。
2. 经典群特征标: 经典群$Sp_{2n}(\mathbb{C})$、$SO_{2n}(\mathbb{C})$和$SO_{2n+1}(\mathbb{C})$的不可约特征标分别被称为辛特征标$sp_\lambda(x^{\pm})$、（偶）正交特征标$o_\lambda(x^{\pm})$和奇正交特征标$so_\lambda(x^{\pm})$。
3. 研究现状: Baker和Jing-Nie已经构建了辛和正交特征标的顶点算子实现。作者在之前的工作中使用顶点代数方法推导了倾斜辛特征标和倾斜（偶）正交特征标的组合结构。

研究动机

1. 完善理论体系: 奇正交特征标（B型）的倾斜版本的顶点算子实现尚未建立，需要完善经典群特征标的统一理论框架。
2. 插值多项式: 需要构建在不同类型经典群特征标之间进行插值的对称多项式，以统一研究它们的性质。
3. 组合恒等式: 需要为倾斜奇正交特征标建立Jacobi-Trudi恒等式、Gelfand-Tsetlin模式和Cauchy型恒等式等重要组合结构。

核心贡献

1. 引入新的顶点算子: 为奇正交特征标$so_\lambda(x^{\pm})$构造了两个新的顶点算子$U(z)$和$U^*(z)$，完成了B型的顶点算子实现。
2. 建立倾斜奇正交特征标的组合理论:
   • 推导了倾斜奇正交特征标$so_{\lambda/\mu}(x^{\pm})$的Jacobi-Trudi恒等式
   • 建立了Gelfand-Tsetlin模式
   • 证明了Cauchy型恒等式
3. 构造三族插值Schur多项式:
   • BD插值多项式$s^{BD}_\lambda(x;\alpha)$：在B型和D型特征标间插值
   • BC插值多项式$s^{BC}_\lambda(x;\alpha)$：在B型和C型特征标间插值
   • CD插值多项式$s^{CD}_\lambda(x;\alpha)$：在C型和D型特征标间插值
4. 建立转换公式: 明确给出了辛、正交和奇正交特征标之间的转换关系。
5. 发现新的行列式恒等式: 建立了与Schur函数相关的三个Toeplitz-Hankel型行列式恒等式。

方法详解

核心顶点算子定义

文章引入了基于Heisenberg代数的两个关键顶点算子：

$U(z) = (1 + z) \exp\left(\sum_{n=1}^{\infty}\frac{a_{-n}}{n}z^n\right) \exp\left(-\sum_{n=1}^{\infty}\frac{a_n}{n}(z^n + z^{-n})\right)$

$U^*(z) = (1- z) \exp\left(-\sum_{n=1}^{\infty}\frac{a_{-n}}{n}z^n\right) \exp\left(\sum_{n=1}^{\infty}\frac{a_n}{n}(z^n + z^{-n})\right)$

分拆元素构造

对于广义分拆$\lambda = (\lambda_1, \lambda_2, \ldots, \lambda_l)$，定义：

• $|\lambda^{so}\rangle = U_{-\lambda_1}U_{-\lambda_2} \cdots U_{-\lambda_l}|0\rangle$
• $\langle\lambda^{so}| = \langle 0|U^*_{-\lambda_l} \cdots U^*_{-\lambda_1}$

半顶点算子

引入多个半顶点算子用于不同目的：

• $\Gamma_+(z) = \exp(\sum_{n=1}^{\infty}\frac{a_n}{n}z^n)$
• $\Gamma_-(z) = \exp(\sum_{n=1}^{\infty}\frac{a_{-n}}{n}z^n)$
• $\tilde{\Gamma}_+(z) = \exp(-\sum_{n=1}^{\infty}\frac{a_{2n}}{n}z^n)$

技术创新点

1. 广义Clifford代数结构: 通过Baker-Campbell-Hausdorff公式，证明了顶点算子满足广义Clifford代数的反交换关系： $U_iU_j + U_{j+1}U_{i-1} = 0$$U^*_iU^*_j + U^*_{j-1}U^*_{i+1} = 0$$U_iU^*_j + U^*_{j+1}U_{i+1} = \delta_{i,j}$
2. 正交性关系: 建立了分拆元素的正交性：$\langle\mu^{so}|\lambda^{so}\rangle = \delta_{\lambda\mu}$
3. 矩阵元实现: 倾斜奇正交特征标可表示为顶点算子的矩阵元： $so_{\lambda/\mu}(x^{\pm}) = \langle\mu^{so}|\Gamma_+(x^{\pm})|\lambda^{so}\rangle$

主要结果

Jacobi-Trudi恒等式

定理3.1: 对于广义分拆$\mu = (\mu_1, \ldots, \mu_l)$和$\lambda = (\lambda_1, \ldots, \lambda_{l+N})$：

$so_{\lambda/\mu}(x^{\pm}) = \det(a_{ij})_{1\leq i,j\leq l+N}$

其中矩阵元素为： $a_{ij} = \begin{cases} h_{\lambda_i-\mu_j-i+j}(x^{\pm}) & 1 \leq j \leq l \\ h_{\lambda_i-i+j}(x^{\pm}) + h_{\lambda_i-i-j+2l+1}(x^{\pm}) & l+1 \leq j \leq l+N \end{cases}$

Gelfand-Tsetlin模式

定理3.5: 对于分拆$\mu \subset \lambda$：

$so_{\lambda/\mu}(x^{\pm}) = \sum_{\mu=z^0 \prec z^1 \prec \cdots \prec z^{2N}=\lambda} \prod_{i=1}^N x_i^{2|z^{2i-1}|-|z^{2i}|-|z^{2i-2}|}$

其中分拆$z^k$满足奇正交Gelfand-Tsetlin模式的交错条件。

Cauchy型恒等式

命题3.7: $\sum_{\mu} so_\mu(x^{\pm})s_\mu(y) = \frac{\prod_{k=1}^N(1+y_k)\prod_{1\leq k<l\leq N}(1-y_ky_l)}{\prod_{i,j=1}^N(1-x_iy_j)(1-x_i^{-1}y_j)}$

插值多项式的转换关系

1. BD插值: $s^{BD}_\lambda(x;0) = so_\lambda(x^{\pm})$, $s^{BD}_\lambda(x;1) = o_\lambda(x^{\pm})$
2. BC插值: $s^{BC}_\lambda(x;0) = so_\lambda(x^{\pm})$, $s^{BC}_\lambda(x;-1) = sp_\lambda(x^{\pm})$
3. CD插值: $s^{CD}_\lambda(x;0) = sp_\lambda(x^{\pm})$, $s^{CD}_\lambda(x;1) = o_\lambda(x^{\pm})$

经典群特征标间的转换公式

定理4.1: $so_\lambda(x^{\pm}) = \sum_{\mu=\lambda-\varepsilon} sp_\mu(x^{\pm})$$o_\lambda(x^{\pm}) = \sum_{\mu=\lambda-\varepsilon} (-1)^{|\lambda/\mu|}so_\mu(x^{\pm})$

其中$\varepsilon = (\varepsilon_1, \ldots, \varepsilon_N)$，$\varepsilon_i \in \{0,1\}$。

理论意义与应用

对称函数理论的完善

本文完成了经典群特征标的顶点算子理论体系，为对称函数理论提供了统一的代数结构。

Toeplitz-Hankel型行列式

定理3.12建立了三个重要的行列式恒等式，将Schur函数表示为Toeplitz-Hankel型行列式，这在组合数学和随机矩阵理论中具有重要意义。

插值理论的发展

三族插值多项式为研究不同类型经典群特征标之间的关系提供了强有力的工具，推广了Bisi-Zygouras的CB和DB插值多项式。

相关工作

历史发展脉络

1. Schur函数理论: 由Weyl、Littlewood-Richardson等建立的经典理论
2. 顶点算子方法: Jing首次将顶点算子引入对称函数研究
3. 经典群特征标: Baker、Jing-Nie建立了C、D型的顶点算子实现
4. 倾斜函数: 作者之前的工作建立了倾斜辛和正交特征标的理论

与最新研究的关系

本文的结果与Albion等人通过格路径方法得到的dual Jacobi-Trudi公式一致，验证了不同方法的等价性。

技术细节与创新

完备对偶空间$\tilde{M}^*$

为处理包含零部分的广义分拆，引入了完备对偶空间$\tilde{M}^*$，这是技术上的重要创新。

BCH公式的应用

巧妙运用Baker-Campbell-Hausdorff公式建立顶点算子间的交换关系，这是证明各种恒等式的关键技术。

行列式表示的统一性

所有的组合恒等式都可以统一表示为某种行列式形式，体现了深层的代数结构。

局限性与未来方向

当前局限

1. 计算复杂性: 对于大分拆，行列式计算的复杂性较高
2. 一般化程度: 目前主要局限于经典群，向例外群的推广尚未涉及
3. 应用范围: 在具体的物理或工程问题中的应用还需进一步探索

未来研究方向

1. 量子群推广: 将结果推广到量子群和仿射Lie代数
2. 椭圆推广: 研究椭圆Schur函数的类似理论
3. 组合应用: 在枚举组合学中寻找更多应用
4. 计算算法: 开发高效的数值计算方法

深度评价

优点

1. 理论完整性: 完成了经典群特征标顶点算子理论的最后一块拼图
2. 方法创新: 顶点算子方法在处理倾斜函数方面展现出强大威力
3. 结果丰富: 一次性建立了多个重要的组合恒等式
4. 统一性: 为不同类型经典群提供了统一的理论框架

技术贡献

1. 新顶点算子: $U(z)$和$U^*(z)$的构造具有原创性
2. 插值多项式: 三族插值多项式的构造巧妙且自然
3. 转换公式: 明确的转换关系为应用提供了便利

影响力评估

1. 学术价值: 在表示论、组合数学和对称函数理论领域具有重要价值
2. 方法论意义: 顶点算子方法的进一步发展和完善
3. 后续研究: 为相关领域的后续研究提供了重要基础

技术质量

论文的数学推理严谨，证明完整，技术处理细致。特别是在处理广义分拆和完备对偶空间方面的技术创新值得称赞。

结论

本文通过引入新的顶点算子，成功建立了倾斜奇正交特征标的完整理论，包括Jacobi-Trudi恒等式、Gelfand-Tsetlin模式和Cauchy型恒等式。更重要的是，通过构造三族插值多项式，为经典群特征标之间的转换提供了统一的框架。这项工作不仅完善了对称函数理论，也为相关领域的后续研究奠定了重要基础。

论文的技术水平高，结果丰富，在表示论和组合数学的交叉领域做出了重要贡献。虽然在计算复杂性和应用范围方面还有改进空间，但其理论价值和方法论意义是显著的。