[论文解读] Affine Screening Operators, Affine Laumon Spaces, and Conjectures Concerning Non-Stationary Ruijsenaars Functions

Jun’ichi Shiraishi|arXiv (Cornell University)|Mar 18, 2019

Nonlinear Waves and Solitons被引用 5

一句话总结

本文通过仿射筛子算子导出的形式幂级数，引入了非平稳的 Ruijsenaars 函数 $ f^{\widehat{\mathfrak{gl}}_N}(x,p|s,\kappa|q,t) $，并将其与仿射 Laumon 空间上的欧拉示性数生成函数相联系。主要贡献是一组猜想——双谱对偶性、庞加莱对偶性以及求值公式——将该函数与椭圆 Ruijsenaars 算子的特征函数及 $ \widehat{\mathfrak{sl}}_N $ 的主导可积特征标联系起来，其中核心猜想指出：在 $ \kappa \to 1 $ 极限下，该函数被正规化后收敛于平稳特征函数。

ABSTRACT

Based on the screened vertex operators associated with the affine screening operators, we introduce the formal power series f^{hat{gl}_N}(x,p|s,kappa|q,t) which we call the non-stationary Ruijsenaars function. We identify it with the generating function for the Euler characteristics of the affine Laumon spaces. When the parameters s and kappa are suitably chosen, the limit t rightarrow q of f^{hat{gl}_N}(x,p|s,kappa|q,q/t) gives us the dominant integrable characters of hat{sl}_N multiplied by 1/(p^N;p^N)_infty (i.e. the hat{gl}_1 character). Several conjectures are presented for f^{hat{gl}_N}(x,p|s,kappa|q,t), including the bispectral and the Poincare dualities, and the evaluation formula. Main Conjecture asserts that (i) one can normalize f^{hat{gl}_N}(x,p|s,kappa|q,t) in such a way that the limit kappa rightarrow 1 exists, and (ii) the limit f^{st.hat{gl}_N}(x,p|s|q,t) gives us the eigenfunction of the elliptic Ruijsenaars operator. The non-stationary affine q-difference Toda operator T^{hat{gl}_N}(kappa) is introduced, which comes as an outcome of the study of the Poincare duality conjecture in the affine Toda limit t rightarrow 0. Main Conjecture is examined also in the limiting cases of the affine q-difference Toda (t rightarrow 0), and the elliptic Calogero-Sutherland (q,t rightarrow 1) equations.

研究动机与目标

• 通过仿射筛子算子定义并构造 Ruijsenaars 特征函数的非平稳推广。
• 通过特征比较，将生成函数 $ f^{{\widehat{\mathfrak{gl}}}_N} $ 识别为仿射 Laumon 空间的欧拉示性数生成函数。
• 提出猜想，将 $ f^{{\widehat{\mathfrak{gl}}}_N} $ 与椭圆 Ruijsenaars 算子的特征函数及 $ \widehat{\mathfrak{sl}}_N $ 的主导可积特征标联系起来。
• 通过非平稳函数的猜想极限，研究退化极限，包括 $ q $-差分仿射 Toda 系统和椭圆 Calogero-Sutherland 系统。

提出的方法

• 将非平稳 Ruijsenaars 函数 $ f^{{\widehat{\mathfrak{gl}}}_N}(x,p|s,\kappa|q,t) $ 作为与仿射筛子算子相关的筛子顶点算子复合的矩阵元导出。
• 利用 $ q $-变形 $ K $-理论 Nekrasov 函数 $ {\mathsf{N}}^{(k|N)}_{\lambda,\mu}(u|q,\kappa) $，通过模 $ N $ 的循环指标上的分块乘积构造该级数。
• 在 $ t \to 0 $ 极限下，基于庞加莱对偶性猜想，引入非平稳仿射 $ q $-差分 Toda 算子 $ \mathcal{T}^{{\widehat{\mathfrak{gl}}}_N}(\kappa) $。
• 应用 $ q $-二项式定理及 $ \theta $-函数的性质，分析退化极限下的收敛性与正则性，特别是 $ k=0 $ 处的情形。
• 通过正规化 $ \varphi^{\text{st. eCS}} = \varphi^{\text{eCS}} / \alpha(p|\lambda,k|\beta) \big|_{k=0} $ 定义平稳极限 $ \varphi^{\text{st. eCS}} $，并假设在 $ k=0 $ 处具有解析行为。
• 利用准基态 $ \psi_0(x,p|\beta) $ 及其关于 $ (p^N; p^N)_\infty $ 的正规化，恢复 Weyl-Kac 分母，并在特例中检验猜想。

实验结果

研究问题

• RQ1 非平稳 Ruijsenaars 函数 $ f^{{\widehat{\mathfrak{gl}}}_N} $ 是否可被正规化，使得 $ \kappa \to 1 $ 极限存在？
• RQ2 $ f^{{\widehat{\mathfrak{gl}}}_N} $ 的 $ \kappa \to 1 $ 极限是否给出椭圆 Ruijsenaars 算子的特征函数？
• RQ3 非平稳函数 $ f^{{\widehat{\mathfrak{gl}}}_N} $ 是否通过特征比较与仿射 Laumon 空间的欧拉示性数相关联？
• RQ4 $ t \to 0 $ 极限下，该函数是否生成非平稳仿射 $ q $-差分 Toda 算子？
• RQ5 $ f^{\text{eCS}} / \alpha(p|\lambda,k|\beta) $ 在 $ k=0 $ 处是否正则？导数 $ \frac{1}{k} p \frac{\partial}{\partial p} \log \alpha $ 是否收敛于 $ p^N $ 的非平凡泰勒级数？

主要发现

• 通过特征比较，非平稳 Ruijsenaars 函数 $ f^{{\widehat{\mathfrak{gl}}}_N}(x,p|s,\kappa|q,t) $ 被识别为仿射 Laumon 空间欧拉示性数的生成函数。
• 当参数取为定义 1.6 中的 $ s_i, \kappa $（即主导可积 $ \widehat{\mathfrak{sl}}_N $ 表示），$ f^{{\widehat{\mathfrak{gl}}}_N}(x,p|s,\kappa|q,q/t) $ 在正规化后与 Etingof 和 Kirillov Jr. 的仿射 Macdonald 多项式一致。
• 核心猜想指出：$ f^{{\rm st.}\,\widehat{\mathfrak{gl}}_N}(x,p|s|q,t) = \lim_{\kappa \to 1} f^{{\widehat{\mathfrak{gl}}}_N}(x,p|s,\kappa|q,t) $ 是椭圆 Ruijsenaars 算子的特征函数。
• 在 $ t \to 0 $ 极限下，庞加莱对偶性猜想导出非平稳仿射 $ q $-差分 Toda 算子 $ \mathcal{T}^{{\widehat{\mathfrak{gl}}}_N}(\kappa) $。
• 当 $ \beta = 1 $ 时，函数 $ x^\mu \varphi^{\text{eCS}} $ 满足一个热方程，其特征值为 $ \frac{1}{2} \sum \mu_i^2 $，从而验证了猜想的一个特例。
• 当 $ K=0, \mu=\emptyset $ 时，函数 $ \psi_0(x,p|\beta) / (p^N; p^N)_\infty $ 满足 Langmann 的核恒等式，从而验证了猜想 7.2 在 $ \beta $-无关极限下的情形。