[论文解读] Quivers and difference Painleve equations

Philip Boalch|ArXiv.org|Jun 18, 2007

Algebraic structures and combinatorial models参考文献 25被引用 19

一句话总结

本文通过将具有 $E_6$、$E_7$ 和 $E_8$ 型仿射 Weyl 对称群的差分 Painlevé 方程实现为拟群系的对称性，构造了其自然的 Lax 对。关键结果建立了 Kronheimer 的超凯勒拟群流形与 Sakai 的离散 Painlevé 方程分类之间的直接对应关系，表明仿射 Weyl 群的平移子群在 Fuchsian 系统的二维模空间上作用为所期望的差分 Painlevé 方程。

ABSTRACT

We will describe natural `Lax pairs' for the difference Painleve equations with affine Weyl symmetry groups of types E6, E7 and E8, showing that they do indeed arise as symmetries of certain Fuchsian systems of differential equations.

研究动机与目标

• 为具有 $E_6$、$E_7$ 和 $E_8$ 仿射 Weyl 对称群的突出差分 Painlevé 方程构造显式的 Lax 对。
• 将这些对称性实现为 Fuchsian 系统模空间（即 $\mathbb{P}^1$ 上对数联络的模空间）上的有理映射。
• 在 Kronheimer 的星形仿射 Dynkin 图的拟群流形与 Sakai 的离散 Painlevé 方程分类之间建立几何桥梁。
• 证明仿射 Weyl 群的平移子群在模空间上的作用即为控制该系统的二阶非线性差分方程。
• 通过在二维模空间中识别具有所需对称群的线性系统，解决文献 [41] 中的问题 A。

提出的方法

• 利用与星形仿射 Dynkin 图相关的拟群流形来参数化 $\mathbb{P}^1$ 上的 Fuchsian 系统。
• 将 Fuchsian 系统的模空间构造为商空间 $\widehat{\mathcal{O}}_1 \times \cdots \times \widehat{\mathcal{O}}_m / \!\! / \mathrm{GL}_N(\mathbb{C})$，其中秩数被提升。
• 应用 McKay 对应关系以确定 Fuchsian 系统的秩：分别对应 $E_6$、$E_7$、$E_8$ 为 3、4 或 6。
• 通过残量特征值中的特征值置换，将有限 Weyl 群的作用从拟群流形提升至完整的仿射 Weyl 群。
• 证明特定的特征值置换（即交换第 $m$ 条腿的前两个特征值）在投影后对应于仿射 Dynkin 图的中心反射 $r_1$。
• 通过复合关系建立模空间之间的同构：$N_{\mathcal{Q}}(\mathrm{pr}(\lambda)) \cong N_{\mathcal{Q}^+}(\lambda) \cong N_{\mathcal{Q}^+}(\mathrm{perm}(\lambda)) \cong N_{\mathcal{Q}}(r_1(\mathrm{pr}(\lambda)))$。

实验结果

研究问题

• RQ1 如何为具有 $E_6$、$E_7$ 和 $E_8$ 仿射 Weyl 对称群的差分 Painlevé 方程构造 Lax 对？
• RQ2 这些对称性的几何起源是什么，其与线性系统和模空间的关系如何？
• RQ3 Kronheimer 的星形仿射 Dynkin 图的拟群流形与 Sakai 的离散 Painlevé 方程分类之间有何关系？
• RQ4 仿射 Weyl 群在模空间上的作用能否通过 Fuchsian 系统中特征值的置换来实现？
• RQ5 Fuchsian 系统的残量特征值结构与仿射 Weyl 群的根系之间的确切对应关系是什么？

主要发现

• 本文通过将差分 Painlevé 方程的 $E_6$、$E_7$ 和 $E_8$ 对称群实现为 $\mathbb{P}^1$ 上 Fuchsian 系统的对称性，构造了其显式的 Lax 对。
• 证明了这些 Fuchsian 系统的模空间同构于与星形仿射 Dynkin 图相关的 Kronheimer 拟群流形。
• 仿射 Weyl 群在模空间上的作用通过 Fuchsian 系统残量矩阵中特征值置换的提升来实现。
• 仿射 Dynkin 图的中心反射 $r_1$ 精确对应于在提升系统中交换第 $m$ 条腿前两个特征值的置换。
• 仿射 Weyl 群的平移子群在二维模空间上作用为所期望的二阶非线性差分方程。
• 该构造通过在适当的模空间维数中识别具有所需对称群的线性系统，解决了文献 [41] 中的问题 A。