[论文解读] Radial part calculations for affine sl2 and the Heun KZB-heat equation

Stefan Kolb|arXiv (Cornell University)|Oct 2, 2013

Nonlinear Waves and Solitons参考文献 24被引用 5

一句话总结

本文在仿射李代数 $\widehat{\mathfrak{sl}}_2$ 的 Chevalley 对合下，计算了卡西米尔算子的径向部分，将其识别为 Inozemtsev 哈密顿量与 KZB 热方程的一维混合形式。所得算子控制着扭曲的球面 zonal 函数，这些函数产生对称 theta 函数，其收敛性通过完备化程序和模性质得以确立。

ABSTRACT

In the present paper we determine the radial part of the Casimir element for the Lie algebra affine sl2 with respect to the Chevalley involution. The resulting operator is identified with a blend of the Inozemtsev Hamiltonian and the KZB-heat equation in dimension one. Moreover, it is shown how the corresponding zonal spherical functions give rise to symmetric theta functions and convergence is discussed. The paper takes guidance from previous work by Etingof and Kirillov on the diagonal case.

研究动机与目标

• 将对称空间理论中关于 $K \times K/K$ 对角情形的径向部分计算推广至仿射 $\widehat{\mathfrak{sl}}_2$ 代数及其 Chevalley 对合情形。
• 在仿射设定下，为非平凡 $K$-型定义并研究扭曲的球面 zonal 函数，推广 Etingof 与 Kirillov 的工作。
• 将卡西米尔元的径向部分识别为一维 Heun 型推广的 KZB-heat 算子。
• 建立所得 zonal 函数的收敛性与模性质，将其与对称 theta 函数联系起来。

提出的方法

• 利用 Peter-Weyl 定理与一种完备化程序，为 Onsager 代数的一维表示定义扭曲的球面 zonal 函数 ${}^\eta\overline{\mathbb{C}}[\widehat{SL}_2]^\chi_K$。
• 通过适当的元素 $\hat{\delta}$ 的共轭运算，计算 $\widehat{\mathfrak{sl}}_2$ 的卡西米尔元在这些函数上的径向部分。
• 将所得算子识别为 KZB-heat 方程的一维 Heun 形式，结合 Inozemtsev 哈密顿量与 KZB-heat 结构。
• 利用 theta 函数的模性质与乘积展开式，分析径向算子的谱行为与收敛性。
• 利用与 theta 函数 $\theta_{i,j}$ 相关的 Weierstrass $\wp$-函数变体 $\wp_{i,j}(z,\tau)$，表达径向算子中的势能项。
• 证明径向算子的本征函数对应于对称 theta 函数，其收敛性通过 theta 级数展开的正常收敛性得以证明。

实验结果

研究问题

• RQ1 在仿射 $\widehat{\mathfrak{sl}}_2$ 代数中，卡西米尔元的径向部分在 Chevalley 对合下，其行为如何，超越对角情形 $K \times K/K$？
• RQ2 该径向算子能否被识别为 Inozemtsev 哈密顿量与 KZB-heat 方程的一维混合形式？
• RQ3 所得 zonal 函数是否产生对称 theta 函数？其收敛性行为如何？
• RQ4 Onsager 代数作为 Chevalley 对合下的固定点子代数，在此构造中起何作用？
• RQ5 theta 函数的模性质与拟周期性质如何贡献于径向算子的谱理论？

主要发现

• 在 Chevalley 对合下，$\widehat{\mathfrak{sl}}_2$ 的卡西米尔元的径向部分被识别为一维 Heun 型 KZB-heat 算子，结合了 Inozemtsev 哈密顿量与 KZB-heat 结构。
• 所得算子的形式为 $-4\pi iK\frac{\partial}{\partial\tau} + \frac{d^2}{dx^2} - \sum_{j=0}^3 l_j(l_j+1)\wp_j(x)$，其中 $\wp_j$ 为经半周期平移的 Weierstrass 函数。
• 非平凡 $K$-型的扭曲 zonal 函数产生对称 theta 函数，推广了 Etingof 与 Kirillov 将其与仿射 Jack 多项式关联的识别结果。
• 通过 theta 级数展开的正常收敛性，确立了 zonal 函数的收敛性，特别在区域 $D = \{(z,\tau) \in \mathbb{C} \times \mathcal{H} \mid -\mathrm{Im}(\tau)/2 < \mathrm{Im}(z) < 0\}$ 内成立。
• 径向算子的本征函数被证明为双周期性，但带有拟周期性修正，其在格点处具有二阶极点，源于 theta 函数对数导数的导数。
• 通过 theta 函数的乘积展开式，推导出 $\wp_{i,j}(z,\tau)$ 的显式级数展开式，确认其在区域 $D$ 内的全纯性，并给出模恒等式如 $4\wp_{0,1}(y^2, q^2) = \wp_{0,1}(y,q) + \wp_{0,0}(y,q)$。