[论文解读] Bispectral and $(\glN,\glM)$ Dualities

E. Mukhin, V. Tarasov+1 more|ArXiv.org|Oct 18, 2005

Algebraic structures and combinatorial models参考文献 9被引用 10

一句话总结

本文通过一种积分变换，建立了 $(\mathfrak{gl}_N, \mathfrak{gl}_M)$ 对偶 Gaudin 模型之间的双谱对偶性，该变换将准多项式空间映射到其对偶空间，从而在相关主函数的临界点之间以及相应 Baez 向量之间诱导出对应关系。关键结果是，在对偶 Gaudin 哈密顿系统中，Baez 本征向量之间存在一种反射性、由对偶性诱导的同构关系。

ABSTRACT

Let $V = < p_{ij}(x)e^{\la_ix}, i=1,...,n, j=1, ..., N_i >$ be a space of quasi-polynomials of dimension $N=N_1+...+N_n$. Define the regularized fundamental operator of $V$ as the polynomial differential operator $D = \sum_{i=0}^N A_{N-i}(x)\p^i$ annihilating $V$ and such that its leading coefficient $A_0$ is a polynomial of the minimal possible degree. We construct a space of quasi-polynomials $U = < q_{ab}(u)e^{z_au} >$ whose regularized fundamental operator is the differential operator $\sum_{i=0}^N u^i A_{N-i}(\partial_u)$. The space $U$ is constructed from $V$ by a suitable integral transform. Our integral transform corresponds to the bispectral involution on the space of rational solutions (vanishing at infinity) to the KP hierarchy, see \cite{W}. As a corollary of the properties of the integral transform we obtain a correspondence between critical points of the two master functions associated with the $(\glN,\glM)$ dual Gaudin models as well as between the corresponding Bethe vectors.

研究动机与目标

• 通过谱对应关系建立 $(\mathfrak{gl}_N, \mathfrak{gl}_M)$ Gaudin 模型之间的对偶性。
• 通过有理 KP 解上的双谱对合，构造一种积分变换，将准多项式空间映射到其对偶空间。
• 证明两个主函数的临界点之间存在反射性对应关系。
• 证明在对偶 Gaudin 模型中，相应的 Baez 向量在 $(\mathfrak{gl}_N, \mathfrak{gl}_M)$ 对偶同构下被识别。
• 提供一个几何与代数框架，将微分算子、主函数与量子可积系统联系起来。

提出的方法

• 定义一个正则化基本微分算子 $ D = \sum_{i=0}^N A_{N-i}(x) \partial_x^i $，其作用于一个由最小次数首项系数为 $ A_0 $ 的准多项式构成的空间 $ V $，并使其为零。
• 构造一个对偶空间 $ U = \langle q_{ab}(u) e^{z_a u} \rangle $，其正则化基本算子为 $ \sum_{i=0}^N u^i A_{N-i}(\partial_u) $，利用特定的积分变换实现。
• 证明该积分变换对应于 KP 层次中在无穷远处趋于零的有理解上的双谱对合。
• 利用该变换的性质，诱导出与对偶 Gaudin 模型相关的两个主函数的临界点之间的对应关系。
• 通过临界点坐标对称有理函数定义 Baez 向量，并证明其在对偶映射下保持不变。
• 应用表示论工具，包括 Verma 模和最高权向量，将张量积中 $ \mathfrak{gl}_N $-模的权空间与重数公式联系起来。

实验结果

研究问题

• RQ1 如何在对偶 $ (\mathfrak{gl}_N, \mathfrak{gl}_M) $ Gaudin 模型中，建立两个主函数临界点之间的双谱对应关系？
• RQ2 何种积分变换可将一个准多项式空间映射到其对偶空间，使得相关微分算子在变量与微分算子交换下互为转置？
• RQ3 KP 层次解上的双谱对合如何与 Gaudin 模型的对偶性相关联？
• RQ4 对偶 Gaudin 模型中的 Baez 向量是否通过由对偶性诱导的典范同构相互关联？
• RQ5 何种精确代数结构将 $ \mathfrak{gl}_N $-模张量积的权空间与 Gaudin 哈密顿系统解联系起来？

主要发现

• 该积分变换将一个准多项式空间 $ V $ 映射到其对偶空间 $ U $，使得 $ U $ 的正则化基本算子通过交换 $ V $ 的算子中变量与微分算子而得到，即 $ \sum u^i A_{N-i}(\partial_u) $。
• 主函数 $ \Phi(t; \lambda, z, \mathbf{m}) $ 的临界点与对偶主函数 $ \Phi(s; z, \lambda, \mathbf{n}) $ 的临界点之间存在双射且反射性对应关系。
• 与第一个主函数临界点相关的 Baez 向量 $ \omega(t_1, \dots, t_{n_2}) $ 在 $ (\mathfrak{gl}_2, \mathfrak{gl}_2) $ 对偶同构下映射到对偶模型中的 Baez 向量 $ \omega(s_1, \dots, s_{m_2}) $。
• 微分方程 $ (u^2 A_0(\partial_u) + u A_1(\partial_u) + A_2(\partial_u)) g(u) = 0 $ 的解为 $ e^{z_2 u} \prod_{i=1}^{m_2} (u - s_i) $，证实 $ (s_1, \dots, s_{m_2}) $ 是第二个主函数的临界点。
• 在 $ \widetilde{U} \otimes \widetilde{L}_{\boldsymbol{c}(\infty_1)} \otimes \widetilde{L}_{\boldsymbol{c}(\infty_2)} $ 中，平凡 $ \mathfrak{sl}_N $-模的重数等于 $ \dim U[n_1, \dots, n_N] $，从而将表示论与 Gaudin 模型联系起来。
• 对偶同构将 $ (L_{m_1} \otimes L_{m_2})[n_1, n_2] $ 与 $ (L_{n_1} \otimes L_{n_2})[m_1, m_2] $ 中的 Baez 本征向量识别为同一对象，从而在本征向量层面确认了 $ (\mathfrak{gl}_N, \mathfrak{gl}_M) $ 对偶性。