The Painlevé I hierarchy: Correspondence between the isomonodromic approach and the minimal models of the KP hierarchy

技术摘要：关于 Painlevé I 层级中等距单值方法与 KP 层级极小模型之间的对应关系

问题陈述
Painlevé I (PI) 层级是出现在多种背景下的非线性常微分方程序列，包括闭弦场论、随机矩阵论中的临界边缘跃迁，以及色散无量纲波方程的可积正则化。历史上，该层级通过两种截然不同的形式化方法进行研究：

1. 等距单值方法（Isomonodromic Approach）： 基于在投影直线 $\mathbb{P}^1$ 上具有无穷远点分歧极点的扭曲秩-2 有理联络的几何构造。该方法利用了在 oper 规范下由表观奇异性导出的辛结构和 Darboux 坐标。
2. 极小模型（弦方程）方法（Minimal Model/String Equation Approach）： 基于通过 $(2, 2g+1)$ 极小模型对 KP（特别是 KdV）层级的约化。该方法依赖于弦方程、Lenard 递归算子以及与 Mumford 系统相关的谱 Darboux 坐标。

尽管这两种方法都为 PI 层级提供了哈密顿结构，但它们各自的时间、Lax 矩阵、谱不变量以及哈密顿量之间的显式对应关系此前尚未得到充分建立。一个主要问题在于：这两种不同的视角是否描述的是同一个层级？如果是，它们的各种形式化过程如何进行显式识别？

研究方法
作者通过执行以下步骤，在两种形式化方法之间建立了严谨的字典：

1. 几何设置（等距单值侧）： 本文回顾了从在无穷远点具有阶数 $r_\infty \ge 3$ 的扭曲有理联络构造 PI 层级的过程。作者固定了一个规范归一化（假设 1），其中将偶数个不规则时间设为零，并将特定的奇数个时间固定，以消除仿射和标量冗余。这使得变形空间被简化为一个 $2g$ 维的辛流形（其中 $g = r_\infty - 3$）。作者利用“oper Darboux 坐标”$(q, p)$（定义为 Lax 矩阵非对角项的根及其对角项在这些根处的值）来定义坐标，并引入“对称 Darboux 坐标”$(Q, P)$（通过初等对称多项式引入），以确保 Lax 矩阵和哈密顿量的多项式表达式。

2. 极小模型设置（弦方程侧）： 本文回顾了 $(2, 2)^{2g+1}$ 极小模型的构造，该模型由涉及 KdV 层级流和弦方程约束的线性系统的相容性来定义。该层级由通过 Lenard 递归生成的微分多项式 $R_{2k-1}[u]$ 来表征。作者基于辅助矩阵 $A^{(g)}(\lambda)$ 的非对角项的根及其对角项，定义了谱 Darboux 坐标 $(\lambda, \mu)$。

3. 显式识别： 核心方法是将两个系统的参数和变量进行匹配：

   • 时间： 等距单值方法的非规则时间 $t_{\infty, 2k-1}$ 通过线性缩放关系 $t_{\infty, 2k-1} = (2k-1)s_{2k-1}$ 与 KdV 时间 $s_{2k-1}$ 建立联系。
   • 坐标： Oper Darboux 坐标 $(q, p)$ 直接与谱 Darboux 坐标 $(\lambda, \mu)$ 对应。
   • Lax 矩阵： 在建立的坐标映射下，几何 Lax 矩阵 $\hat{L}(\lambda)$ 被证明与极小模型侧的辅助矩阵 $A^{(g)}(\lambda)$ 是恒等的。
   • 哈密顿量： 作者推导了两种方法哈密顿量的关系。他们证明了极小模型侧的哈密顿量 $K_{2k-1}$ 对应于谱不变量与等距单值侧哈密顿量 $H_{\infty, k}$ 的特定线性组合，并经过了依赖于时间及弦方程特定归一化的项的修正。

主要贡献与结果

• 显式对应定理： 本文提供了一套完整的定理（定理 5.1–5.6），将等距单值方法的变量、矩阵和哈密顿量映射到极小模型方法。
  • 定理 5.1： 确立了时间识别 $t = Ds$（其中 $D$ 是奇数构成的对角矩阵）。
  • 定理 5.2： 证明了从函数 $u$ 的喷流到归一化矩阵 $A^{(g)}$ 的映射是一个可逆的多项式参数化，识别了局部坐标 $q_j = \lambda_j$ 和 $p_j = \mu_j$。
  • 定理 5.5： 证明了在确定的时间和坐标下，哈密顿演化是相同的，即 $(2k-1)\text{Ham}^{(e_{2k-1})} = K_{2k-1}$。
• 极小模型侧的对称坐标： 一个重要的结果是将此前用于等距单值语境的对称 Darboux 坐标 $(Q, P)$ 扩展到了极小模型侧。作者展示了弦方程中的函数 $u$ 与第一个对称坐标的关系为 $u = -2Q_1$。这使得在极小模型框架下，可以将 Lax 矩阵和哈密顿量表示为 Darboux 坐标的多项式，填补了现有文献中的空白。
• 修正项： 本文明确识别了对齐哈密顿量所需的“修正项”。研究表明，谱哈密顿量 $H_k$（特征值展开的系数）与物理哈密顿量 $K_{2k-1}$ 的区别在于包含谱不变量以及一个依赖于相位且关于对称坐标为多项式的修正项 $T$。
• 泊松结构： 该工作确认了与 Mumford 系统相关的泊松括号被传输到了等距单值的 oper 规范中，从而保持了正则辛形式 $\sum dq_j \wedge dp_j = \sum d\lambda_j \wedge d\mu_j$。

意义
本文声称对“等距单值方法与极小模型方法是否描述同一个 PI 层级”这一问题给出了肯定的最终回答。通过构建显式的字典，作者：

1. 验证公式： 为验证两种方法所提公式的有效性提供了非平凡的检验。
2. 架起桥梁： 实现了一种在一种形式化方法中易于理解但在另一种中难以处理的量之间的转换。例如，这种识别允许在极小模型侧通过对称坐标导出 Lax 矩阵和哈密顿量的显式多项式表达式，填补了现有文献的空白。
3. 澄清归一化： 本文阐明了在比较不同哈密顿形式时，归一化常数和修正项（如 $C^{-1}A$ 和 $C^{-1}T$ 项）的作用，确保了底层的哈密顿向量场被正确识别。

作者指出，虽然本研究侧重于秩-2 情况和 PI 层级，但其方法论为推广到更高秩的联络和其他 $(p, q)$ 极小模型提供了路径，尽管这些推广工作属于未来的开放性课题。