[论文解读] BC_n-symmetric polynomials

Eric M. Rains|ArXiv.org|Dec 4, 2001

Advanced Combinatorial Mathematics参考文献 20被引用 4

一句话总结

本文通过研究奥库诺夫的插值多项式与库恩瓦尔德的正交多项式，利用交换的 $q$-差分算子，提出了一种 $BC_n$-对称多项式的超几何方法。推导出新的恒等式——如整体分支规则、Pieri 恒等式以及广义 $q$-Saalschütz 公式——从而证明了麦克唐纳的猜想，并提出了关于经典对称空间的新积分猜想。

ABSTRACT

We consider two important families of BC_n-symmetric polynomials, namely Okounkov's interpolation polynomials and Koornwinder's orthogonal polynomials. We give a family of difference equations satisfied by the former, as well as generalizations of the branching rule and Pieri identity, leading to a number of multivariate q-analogues of classical hypergeometric transformations. For the latter, we give new proofs of Macdonald's conjectures, as well as new identities, including an inverse binomial formula and several branching rule and connection coefficient identities. We also derive families of ordinary symmetric functions that reduce to the interpolation and Koornwinder polynomials upon appropriate specialization. As an application, we consider a number of new integral conjectures associated to classical symmetric spaces.

研究动机与目标

• 建立 $BC_n$-对称多项式的经典超几何框架，避免使用复杂的双仿射赫尔代克代数工具。
• 通过评价对称性和二项式公式，证明库恩瓦尔德多项式对应的麦克唐纳猜想。
• 通过分析插值多项式，推导出新的恒等式——如分支规则、连接系数与逆二项式公式。
• 构造在特殊化时分别退化为插值多项式与库恩瓦尔德多项式的对称函数，将其与麦克唐纳多项式联系起来。
• 提出并探索与经典对称空间（如 $O(2n)/O(n)\times O(n)$ 与 $Sp(2n)/U(n)$）相关的新型积分猜想。

提出的方法

• 将插值多项式 $\bar{P}^{*(n)}_{\lambda}$ 定义为满足额外消失性质 $\bar{P}^{*(n)}_{\lambda}(\mu) = 0$（当 $\lambda \not\subset \mu$ 时）的交换 $q$-差分算子的联合本征函数。
• 利用奥库诺夫的二项式公式，将库恩瓦尔德多项式表示为插值多项式的线性组合，其中系数定义为 $\genfrac{[}{]}{0.0pt}{}{\lambda}{\mu}_{q,t,s} = \frac{\bar{P}^{*(n)}_{\mu}(\lambda;q,t,st^{1-n})}{\bar{P}^{*(n)}_{\mu}(\mu;q,t,st^{1-n})}$。
• 通过在二项式公式上求值差分方程，推导出分支规则与 Pieri 恒等式的整体版本，从而得到经典超几何变换的多变量 $q$-类比。
• 建立对偶对称性：$\genfrac{[}{]}{0.0pt}{}{\lambda}{\mu}_{q,t,s} = \genfrac{[}{]}{0.0pt}{}{\lambda^{\prime}}{\mu^{\prime}}_{t,q,1/\sqrt{qt}s}$，并推导出逆二项式公式。
• 通过伴随算子，将该理论应用于证明库恩瓦尔德多项式在库恩瓦尔德与多变量 $q$-Racah 内积下的正交性。
• 利用特殊化的麦克唐纳多项式与 $q$-符号，提出对称空间的猜想积分表达式，并设定非对称分拆下的消失条件。

实验结果

研究问题

• RQ1 如何通过超几何而非代数方法重新证明麦克唐纳关于库恩瓦尔德多项式的猜想？
• RQ2 $BC_n$-对称插值多项式满足的结构性恒等式（如分支规则与连接系数）是什么？
• RQ3 能否从整体 Pieri 恒等式推导出经典超几何恒等式（如 Saalschütz、Watson）的多变量 $q$-类比？
• RQ4 哪些对称函数在特殊化时退化为插值多项式与库恩瓦尔德多项式？它们与斜麦克唐纳多项式有何关系？
• RQ5 正交与拉格朗日子流形对称空间的合理积分表达式是什么？其非消失的条件是什么？

主要发现

• 通过整体 Pieri 恒等式，本文证明了一个新的多变量 $q$-类比的 Saalschütz 求和公式，其表达形式为二项式系数。
• 建立了二项式系数的对偶对称性：$\genfrac{[}{]}{0.0pt}{}{\lambda}{\mu}_{q,t,s} = \genfrac{[}{]}{0.0pt}{}{\lambda^{\prime}}{\mu^{\prime}}_{t,q,1/\sqrt{qt}s}$，揭示了插值多项式的一个非平凡对称性。
• 推导出逆二项式公式，使得插值多项式可表示为库恩瓦尔德多项式的展开。
• 该理论导出了库恩瓦尔德多项式的连接系数公式，并推广了 Nasrallah-Rahman 的积分表示。
• 对于对称空间 $O(2n)/O(n)\times O(n)$ 与 $Sp(2n)/U(n)$，本文提出了积分猜想，其在分拆为 $2\mu$ 或 $\mu^2$ 形式时非零，其余情况消失。
• 本文给出了非零积分的显式表达式，以 $q$-符号表示，如 $\frac{(-1)^{\vert\mu\vert}C^{-}_{\mu}(q;q^{2},t)C^{+}_{\mu}(a^{2}b^{2}T^{2}/t^{3};q^{2},t)\cdots}{C^{-}_{\mu}(t;q^{2},t)\cdots}$，确认其可分解为 $q$-符号的乘积。