[论文解读] Some reductions of rank 2 and genera 2 and 3 Hitchin systems

О. К. Шейнман|arXiv (Cornell University)|Sep 20, 2017

Nonlinear Waves and Solitons参考文献 9被引用 6

一句话总结

本文介绍了在亏格 2 和 3 的双曲曲线上秩 2 Hitchin 系统的显式约化，表明其产生线上的 2 个和 3 个相互作用点的可积系统。通过 Wolfram Mathematica 的计算验证，证明了这些约化的适定性，并表明约化后的系统与基于 $g-1$ 次拉格朗日插值多项式的通用可积系统一致，提供了显式的哈密顿动力学和特定解。

ABSTRACT

Certain reductions of the rank 2, genera 2 and 3 Hitchin systems are considered, which are shown to give an integrable system of 2, resp. 3, interacting points on the line. It is shown that the reduced systems are particular cases of a certain universal integrable system related to the Lagrange interpolation polynomial. Admissibility of the reduction is proved using computer technique. The corresponding codes are given in the text.

研究动机与目标

• 识别并严格证明在亏格 2 和 3 的双曲曲线上秩 2 Hitchin 系统特定约化的适定性。
• 证明这些约化系统是完全可积的，并显式描述其哈密顿动力学。
• 表明约化系统与 $g-1$ 次拉格朗日插值多项式相关的通用可积系统一致。
• 通过约化动力学提供原始 Hitchin 系统的显式特解。
• 提供 Wolfram Mathematica 的计算代码，以验证约化适定性并推导运动方程。

提出的方法

• 通过将 Lax 算子的特定分量设为零来定义约化：对于亏格 2，$\alpha_{11} = \alpha_{22} = 0$，$\beta_1 = \beta_2 = \beta_3 = \beta_4 = 0$；对于亏格 3，采用类似条件。
• Lax 算子以 Tyurin 参数化形式表示，谱参数位于曲线 $y^2 = P_{2g+1}(x)$ 上，使用 $2g$ 个标记点 $(a_s, b_s)$ 及其关联向量 $\alpha_s, \beta_s$。
• 通过在 $x = \infty$ 附近的局部坐标中对 $\mathrm{tr}\, L(z)^k \, dx/y$ 的留数定义辛结构和哈密顿量，其中 $z = 1/\sqrt{x}$。
• 通过检查约束的时间导数在约化哈密顿量流下是否为零，计算验证适定性。
• 表明约化系统可分解为独立子系统，每个子系统描述线上两个相互作用点的动力学，其运动由位置和动量的有理函数控制。
• 提供 Wolfram Mathematica 的显式代码，用于计算导数、验证约化哈密顿量的一致性，并推导运动方程。

实验结果

研究问题

• RQ1 在亏格 2 和 3 的曲线上，秩 2 Hitchin 系统的特定约化是否能产生可管理的、可积的动力系统？
• RQ2 由 $\alpha_{11} = \alpha_{22} = 0$，$\beta_1 = \beta_2 = \beta_3 = \beta_4 = 0$ 定义的约化是否适定，即是否在哈密顿流下保持不变？
• RQ3 在亏格 $g$ 的曲线上，约化系统是否与 $g-1$ 次拉格朗日插值多项式相关的通用可积系统一致？
• RQ4 能否通过约化动力学获得原始 Hitchin 系统的特解？
• RQ5 如何使用符号代数工具计算验证约化系统的相容性？

主要发现

• 通过 Wolfram Mathematica 的符号计算确认，亏格 2 下 $\alpha_{11} = \alpha_{22} = 0$，$\beta_1 = \beta_2 = \beta_3 = \beta_4 = 0$ 的约化是适定的。
• 亏格 2 的约化系统分解为两个独立子系统，每个子系统描述线上两个相互作用点的动力学，其动力学为位置和动量的有理函数。
• 约化亏格 2 系统的哈密顿量显式给出为 $H_{2,2}^{(r)} = 2\left(\kappa_1 - \kappa_4\right)\left(a_4\kappa_1 - a_1\kappa_4\right)/(a_1 - a_4)^2 + 2\left(\kappa_2 - \kappa_3\right)\left(a_3\kappa_2 - a_2\kappa_3\right)/(a_2 - a_3)^2$，该系统是可积的。
• 对于亏格 3，约化产生线上 3 个相互作用点的系统，其运动方程由基于 2 次拉格朗日插值多项式的通用可积系统导出。
• 亏格 2 的约化动力学满足 $\frac{\dot{\kappa}_1 - \dot{\kappa}_4}{\kappa_1 - \kappa_4} = \frac{\dot{a}_1 - \dot{a}_4}{a_1 - a_4}$，暗示线性关系 $\kappa_1 = c_1 a_1 + c_2$，$\kappa_4 = c_1 a_4 + c_3$，从而确认可积性。
• 计算验证表明，哈密顿量关于 $\kappa_6$ 的导数与在约化流下 $a_6$ 的时间导数一致，验证了系统的相容性。