[论文解读] Bethe algebra and algebra of functions on the space of differential operators of order two with polynomial solutions

E. Mukhin, V. Tarasov+1 more|ArXiv.org|May 28, 2007

Advanced Topics in Algebra参考文献 8被引用 5

一句话总结

本文建立了在具有多项式解的首一二阶微分算子空间上的函数代数与作用在 $\rho_{\mathfrak{gl}_2}$-模的张量积中奇异向量空间上的贝特代数之间的同构。该同构通过微分算子特征值与贝特 ansatz 特征值之间的谱对应关系构造，将施普伦格几何与可积系统通过交换算子和多项式解联系起来。

ABSTRACT

We show that the following two algebras are isomorphic. The first is the algebra $A_P$ of functions on the scheme of monic linear second-order differential operators on $\C$ with prescribed regular singular points at $z_1,..., z_n, \infty$, prescribed exponents $\La^{(1)}, ..., \La^{(n)}, \La^{(\infty)}$ at the singular points, and having the kernel consisting of polynomials only. The second is the Bethe algebra of commuting linear operators, acting on the vector space $\Sing L_{\La^{(1)}} \otimes ... \otimes L_{\La^{(n)}}[\La^{(\infty)}]$ of singular vectors of weight $\La^{(\infty)}$ in the tensor product of finite dimensional polynomial $gl_2$-modules with highest weights $\La^{(1)},..., \La^{(n)}$.

研究动机与目标

• 建立两个代数之间的深刻结构同构：一个源自格拉斯曼空间上多项式子空间的施普伦格几何，另一个源自量子可积系统中贝特代数。
• 通过将贝特代数与具有指定奇点和多项式核的微分算子方案上的函数代数联系起来，阐明贝特代数的几何与代数性质。
• 在微分算子的特征值与贝特代数的特征值之间建立谱对应关系，从而将微分方程与表示论联系起来。
• 证明多项式子空间格拉斯曼空间中施普伦格循环的交集上的函数代数与贝特代数同构，从而实现对代数算子的几何分析。

提出的方法

• 构造在 $\mathbb{C}$ 上具有在 $z_1, \dots, z_n, \infty$ 处的正则奇点、指定指数和多项式核的首一二阶微分算子方案上的函数代数 $A_P$。
• 将贝特代数 $A_L$ 定义为在张量积 $L_{\Lambda^{(1)}} \otimes \cdots \otimes L_{\Lambda^{(n)}}$ 中作用于权 $\Lambda^{(\infty)}$ 的奇异向量空间上的高阶高井哈密顿算子生成的交换代数。
• 利用单值性与正则奇点条件，建立参数空间 $\mathbb{C}^n$ 中的点与微分算子 $\mathcal{D}_{\mathbf{h}(\mathbf{p})}$ 的特征值之间的对应关系。
• 利用贝特 ansatz 将贝特代数 $A_L$ 的特征向量与微分方程 $\mathcal{D}_{\mathbf{h}(\mathbf{p})}u(x) = 0$ 的多项式解相关联。
• 通过谱对应关系与夏波瓦洛夫形式的非退化性，证明从贝特代数到微分算子空间上函数代数的映射 $\psi_{ML}$ 是同构。
• 利用格罗滕迪克形式与夏波瓦洛夫形式，证明映射 $\xi$ 的核等于双线性形式的根，从而将理想 $(F)$ 识别为乘法算子 $L_F$ 的像。

实验结果

研究问题

• RQ1 是否存在在具有多项式解的二阶微分算子空间上的函数代数与作用在奇异向量上的贝特代数之间的自然同构？
• RQ2 贝特代数的特征值能否被实现为具有指定奇点和多项式解的微分算子的系数？
• RQ3 格拉斯曼空间中多项式子空间的施普伦格循环的几何与贝特代数的表示论构造之间有何关系？
• RQ4 夏波瓦洛夫形式在建立两个代数之间的同构中起什么作用？
• RQ5 在什么条件下，施普伦格循环交集上的函数代数 $A_G$ 包含幂零元，这与贝特代数有何关联？

主要发现

• 具有在 $z_1, \dots, z_n, \infty$ 处的正则奇点、指定指数和多项式核的首一二阶微分算子方案上的函数代数 $A_P$ 同构于在 $L_{\Lambda^{(1)}} \otimes \cdots \otimes L_{\Lambda^{(n)}}$ 中作用于权 $\Lambda^{(\infty)}$ 的奇异向量空间上的贝特代数 $A_L$。
• 对于任意满足 $q_{-1}(\mathbf{h}(\mathbf{p})) = 0$，$q_0(\mathbf{h}(\mathbf{p})) = 0$，且所有 $\mathcal{D}_{\mathbf{h}(\mathbf{p})}u = 0$ 的解均为多项式的点 $\mathbf{p} \in \mathbb{C}^n$，存在一个特征向量 $v \in \operatorname{Sing} L_{\boldsymbol{\Lambda}}[\Lambda^{(\infty)}]$，使得对所有 $s = 1, \dots, n$，有 $\psi_{ML}(H_s)v = h_s(\mathbf{p})v$。
• $\psi_{ML}$ 映射在 $A_P$ 与 $A_L$ 之间诱导出一个 $\mathbb{C}$-代数同构，贝特代数的特征值对应于微分算子 $\mathcal{D}_{\mathbf{h}(\mathbf{p})}$ 的系数。
• $A_D$ 上双线性形式 $(\,,\,)_{S}$ 的核与映射 $\xi$ 的核重合，且该核恰好是形式的根，从而在商空间中保证了非退化性。
• 由 $F$ 生成的 $A_D$ 中的理想 $(F)$ 等于理想 $J = \{ f \in A_D \mid fg = 0 \text{ 对所有 } g \in \ker \psi_{DP} \}$，表明乘法算子 $L_F$ 的像是同构于 $A_L$ 的。
• 在 $A_P$ 上的乘法算子代数同构于贝特代数 $A_L$，且该同构通过微分算子与贝特 ansatz 特征值之间的谱对应关系实现。