[论文解读] Quadrirational Yang-Baxter maps and the elliptic Cremona system

James Atkinson, Yasuhiko Yamada|arXiv (Cornell University)|Apr 5, 2018

Algebraic structures and combinatorial models参考文献 1被引用 6

一句话总结

本文建立了四有理杨- Baxter 映射（KdV 型离散系统）与椭圆 Cremona 系统（具有 $ ilde{E}_8$ 对称性的高维离散 Painlevé 方程）之间的深刻联系。通过将两个系统均以双有理 Coxeter 群的形式表述，本文识别出 Coble 群是四有理映射群的抛物子群，从而实现了对 Coble 群的有理实现，并通过 Weierstrass $σ$-函数参数化，揭示了后者的自然椭圆解。

ABSTRACT

This paper connects the quadrirational Yang-Baxter maps, which are two-dimensional integrable discrete systems of KdV type, and the elliptic Cremona system, which is a higher analogue of discrete Painlevé equations associated with $ ilde{E}_8$ symmetry. This is a natural connection between integrable systems in different dimensions that is outside of the usual paradigm of reductions. Our approach is based on formulation of both systems in terms of birational Coxeter groups.

研究动机与目标

• 建立两类不同可积系统之间的新联系：四有理杨- Baxter 映射（KdV 型离散系统）与椭圆 Cremona 系统（具有 $ψ{E}_8$ 对称性的离散 Painlevé 系统）。
• 通过双有理 Coxeter 群的共同框架统一这两个系统，揭示超越标准约化范式之上的结构关系。
• 在几何（未归一化）变量中实现 Coble 的双有理群，此前该群仅通过线性参数化为人所知。
• 通过 Weierstrass $\sigma$-函数识别出与四有理映射相关的群的自然椭圆解。

提出的方法

• 以双有理 Coxeter 群作用于射影空间中的点构型的方式，表述椭圆 Cremona 系统与四有理杨- Baxter 映射。
• 使用空间 $\mathcal{M}_{i,j} = \mathrm{PGL}(j+1,\mathbb{C}) \setminus \mathrm{Mat}_{j+1,i+j+2}(\mathbb{C}) / (\mathbb{C}^*)^{i+j+2}$ 作为 Coble 作用的几何设定。
• 引入一个典范矩阵形式 $X_{\mathrm{can}}$，以变量 $x_{mn}$ 显式表达双有理变换，其作用由列置换与反转定义。
• 通过 Weierstrass $\sigma$-函数参数化，建立双有理作用与线性作用之间的相容性，满足 Riemann 关系。
• 推导从线性参数 $\epsilon_{ij}$ 到新变量 $l_1, l_2, k_m, h_n$ 的变量变换，以关联两个系统。
• 通过将新变量代入双有理映射表达式，验证线性作用的相容性，特别是针对 $F_I$ 情况。

实验结果

研究问题

• RQ1 如何将与四有理杨- Baxter 映射相关的双有理 Coxeter 群与控制椭圆 Cremona 系统的 Coble 群联系起来？
• RQ2 四有理映射群与 Coble 群之间的精确结构关系是什么？它与标准约化范式有何不同？
• RQ3 能否在几何变量中构造出 Coble 群的有理实现，且独立于线性参数化？
• RQ4 四有理映射系统是否具有自然的椭圆解？若是，它们如何通过特殊函数编码？
• RQ5 在新参数化下，$\epsilon$-参数上的线性作用与新变量 $l_1, l_2, k_m, h_n$ 上的作用之间有何关系？

主要发现

• Coble 的双有理群被实现为与四有理杨- Baxter 映射相关群的抛物子群，从而在两个可积系统之间建立了非平凡的结构联系。
• 在未归一化的几何变量 $x_{mn}$ 中实现了 Coble 群的有理实现，此前该实现仅可通过线性参数化获得。
• 与四有理映射相关的群可通过 Weierstrass $\sigma$-函数参数化获得自然椭圆解，且满足 Riemann 关系。
• 在 $\epsilon$-参数上的线性作用（命题 2.2）通过变量变换至 $l_1, l_2, k_m, h_n$ 被恢复，该变换在新变量上诱导出相容作用（命题 5.3）。
• 对应于 $\sigma$ 映射的双有理作用的复合仅在 $F_I$ 情况下与线性变换相容，而在极限情况 $F_{II}$ 或 $F_{IV}$ 下不相容。
• 将新变量代入双有理映射后，得到的表达式与原始 Coble 参数化（42）等价，确认了相容性，并从四有理系统中恢复了线性作用（44）。