[论文解读] From Kajihara's transformation formula to deformed Macdonald-Ruijsenaars and Noumi-Sano operators

Martin Hallnäs, Edwin Langmann+2 more|arXiv (Cornell University)|May 5, 2021

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

一句话总结

本文建立了 Kajihara 的多变量基本超几何变换公式与形变 Macdonald-Ruijsenaars (MR) 及 Noumi-Sano (NS) q-差分算子之间的深刻联系。通过将 Kajihara 公式进行多重主特殊化，作者推导出显式的核恒等式，证明了形变 MR 与 NS 算子可交换，并由超 Macdonald 多项式同时对角化。关键贡献在于一个类似 Harish-Chandra 的同构，描述了这些算子生成的代数结构，并通过逆极限将它们实现为普通 MR 与 NS 算子的限制。

ABSTRACT

Kajihara obtained in 2004 a remarkable transformation formula connecting multiple basic hypergeometric series associated with $A$-type root systems of different ranks. By multiple principle specialisations of his formula, we deduce kernel identities for deformed Macdonald-Ruijsenaars (MR) and Noumi-Sano (NS) operators. The deformed MR operators were introduced by Sergeev and Veselov in the first order case and by Feigin and Silantyev in the higher order cases. As applications of our kernel identities, we prove that all of these operators pairwise commute and are simultaneously diagonalised by the super-Macdonald polynomials. We also provide an explicit description of the algebra generated by the deformed MR and/or NS operators by a Harish-Chandra type isomorphism and show that the deformed MR (NS) operators can be viewed as restrictions of inverse limits of ordinary MR (NS) operators.

研究动机与目标

• 建立 Kajihara 的变换公式与形变 Macdonald-Ruijsenaars 及 Noumi-Sano q-差分算子之间的新联系。
• 通过 Kajihara 公式的多重主特殊化，推导出形变 MR 与 NS 算子的显式核恒等式。
• 证明形变 MR 与 NS 算子可交换，并由超 Macdonald 多项式同时对角化。
• 提供一个类似 Harish-Chandra 的同构，描述由形变算子生成的交换代数的结构。
• 证明形变 MR 与 NS 算子可作为普通 MR 与 NS 算子在对称函数代数上的逆极限的限制而实现。

提出的方法

• 对 A 型根系的 Kajihara 多变量变换公式进行多重主特殊化。
• 推导形变 MR 与 NS 算子的核恒等式，形式为 (Dn,m(x,y;u) − DN,M(z,w;u))Φn,m;N,M(x,y;z,w) = 0，其中 Φ 为形变 MR 与 NS 算子的重归一化生成级数。
• 利用已知的普通 MR 与 NS 算子的可交换性与本征函数性质，推断其形变版本的相应性质。
• 建立一个类似 Harish-Chandra 的同构，将形变 NS 算子生成的代数与 n + m 个变量的对称多项式环相联系。
• 证明形变 MR 与 NS 算子是普通 MR 与 NS 算子在对称函数代数上的逆极限的限制。
• 通过验证对称性与极点抵消条件，确认形变算子的作用保持了变量 x 与 y 的多项式性与对称性。

实验结果

研究问题

• RQ1 如何对 Kajihara 的变换公式进行特殊化，以获得形变 MR 与 NS 算子的核恒等式？
• RQ2 形变 MR 与 NS 算子是否可交换？若是，其根本机制是什么？
• RQ3 超 Macdonald 多项式是否为形变 MR 与 NS 算子的联合本征函数？对应的本征值是什么？
• RQ4 由形变 NS 算子生成的交换代数的代数结构是什么？能否通过类似 Harish-Chandra 的同构来描述？
• RQ5 形变 MR 与 NS 算子能否被解释为通过逆极限从普通 MR 与 NS 算子限制而得到？

主要发现

• 形变 MR 与 NS 算子两两可交换，这是由 Kajihara 公式导出的核恒等式的结果。
• 超 Macdonald 多项式是形变 MR 与 NS 算子的联合本征函数，其本征值通过普通算子的已知性质显式计算得出。
• 由形变 NS 算子生成的交换代数 Rn,m 通过一个类似 Harish-Chandra 的同构，与 n + m 个变量的对称多项式环同构。
• 形变 MR 与 NS 算子满足 Wronski 型递推关系，前 n + m 个算子代数独立，构成一个可积系统。
• 形变 MR 与 NS 算子可实现为普通 MR 与 NS 算子在对称函数代数上的逆极限的限制，推广了此前对 r = 1 的结果。
• 算子核中的极点抵消机制确保了形变算子的作用保持了变量 x 与 y 的多项式性与对称性。