[论文解读] Triangular Schlesinger systems and superelliptic curves

Vladimir Dragović, Renat Gontsov+1 more|arXiv (Cornell University)|Dec 23, 2018

Advanced Differential Equations and Dynamical Systems被引用 1

一句话总结

本文建立了具有等差数列特征值的三角形Schlesinger系统与超椭圆黎曼曲面上亚纯微分的周期之间的联系。通过代数几何方法推导出显式解，得到Schlesinger系统的多项式解和有理函数解，并构造了Painlevé VI方程的一参数有理函数解族以及特定Garnier系统的代数解，特别通过形式为 $w^m = \prod (z - a_i)$ 的曲线上留数计算实现。主要贡献在于系统地利用超椭圆曲线周期与单值性考虑，构建此类解。

ABSTRACT

We study the Schlesinger system of partial differential equations in the case when the unknown matrices of arbitrary size $(p imes p)$ are triangular and the eigenvalues of each matrix form an arithmetic progression with a rational difference $q$, the same for all matrices. We show that such a system possesses a family of solutions expressed via periods of meromorphic differentials on the Riemann surfaces of superelliptic curves. We determine the values of the difference $q$, for which our solutions lead to explicit polynomial or rational solutions of the Schlesinger system. As an application of the $(2 imes2)$-case, we obtain explicit sequences of rational solutions and one-parameter families of rational solutions of Painlev\'e VI equations. Using similar methods, we provide algebraic solutions of particular Garnier systems.

研究动机与目标

• 研究上三角形Schlesinger系统，其中矩阵特征值构成有理差 $q = n/m$ 的等差数列。
• 利用超椭圆黎曼曲面 $w^m = \prod_{i=1}^N (z - a_i)$ 上亚纯微分的周期，构造Schlesinger系统的显式解。
• 识别出使解为多项式或有理函数的 $q$ 值，从而实现显式参数化。
• 将结果应用于生成Painlevé VI方程的有理函数解及一参数解族。
• 将框架扩展至通过超椭圆曲线上基于留数的构造，构建特定二元Garnier系统的代数解。

提出的方法

• 利用超椭圆曲线 $\hat{\Gamma}_a = \{(z,w) \in \mathbb{C}^2 \mid w^m = \prod_{i=1}^N (z - a_i)\}$ 上亚纯微分的周期，推导Schlesinger系统的解。
• 使用Riemann-Roch定理与留数计算，从如 $\Omega_i = \frac{dz}{w(z - a_i)}$ 的微分形式中计算线性无关解。
• 应用等单值变形理论与Malgrange的 $\tau$-函数，确保系统的相容性与可积性。
• 通过将系统特化为 $N=3$，$p=2$，且 $q = \pm 1/2$，构造Painlevé VI的有理函数解，将其与椭圆曲线上Picard-Fuchs方程联系起来。
• 通过组合留数向量并求解系数上的多项式条件，构造Garnier系统的两参数代数解族。
• 利用Okamoto的有理变换与单值性分类，解释解的代数性质。

实验结果

研究问题

• RQ1 对于哪些有理数 $q = n/m$，三角形Schlesinger系统可通过超椭圆曲线周期获得多项式或有理函数解？
• RQ2 矩阵解 $B(i)$ 的元素如何显式表示为超椭圆曲线上亚纯微分周期的函数？
• RQ3 由 $2 \times 2$ 三角形Schlesinger系统在 $q = \pm 1/2$ 时产生的Painlevé VI方程的有理函数解具有何种结构？
• RQ4 能否系统地从此类系统构造出Painlevé VI的一参数有理函数解族？
• RQ5 在何种条件下，二元Garnier系统的代数解会源自三角形Schlesinger等单值变形族？

主要发现

• 本文利用超椭圆曲线 $w^m = \prod_{i=1}^N (z - a_i)$ 上亚纯微分的周期，显式构造了三角形Schlesinger系统的解，其中矩阵元素 $b_{kl}^i(a)$ 表示为这些周期的线性组合。
• 当 $q = \pm 1/2$ 时，通过特化至 $N=3$ 且 $p=2$，系统产生Painlevé VI方程的有理函数解，包括一参数族。
• 对于 $p=2$，$N=3$，且 $q = \pm 1/2$ 的情形，解被证明对应于椭圆曲线 $v^2 = u(u-1)(u-x)$ 上 $du/v$ 的周期，从而恢复经典Picard-Fuchs方程。
• 在 $2 \times 2$ 情形下，本文推导出Painlevé VI的显式有理函数解及一参数有理函数解族，矩阵元素通过 $\Omega_i = dz/(w(z - a_i))$ 的留数显式表达。
• 该方法通过组合三个线性无关的留数向量并构造关于 $z$ 的二次多项式（含自由参数 $c_1, c_2$），得到Garnier系统 $G_2(\varepsilon_1, \varepsilon_2, \varepsilon_3, \varepsilon_4, 3)$ 的两参数代数解族，从而导出代数函数 $u_1, u_2$。
• 所得解的单值性为阿贝尔群，与已知分类结果一致，且该构造为特定Garnier系统（包括 $M=2$，$n=-1$，$M$ 为偶数的情形）提供了显式代数解。