[论文解读] Enveloppe galoisienne d'une application rationnelle de P1

Guy Casale|arXiv (Cornell University)|Mar 21, 2005

Phytochemical Studies and Bioactivities被引用 9

一句话总结

本文对射影直线 ℙ¹ 上具有非平凡 Galois D-包络的有理映射进行分类，该包络是一种编码动力系统对称性的微分代数结构。通过 Kœnigs 线性化及 D-群丛的分析，证明仅在 Möbius 共轭意义下，单项式、切比雪夫多项式与 Lattès 映射（及其变体）可具有此类非平凡包络，且该结果与通过交换子关联的可积性相关。

ABSTRACT

The D-envelope (or galoisian envelope) of rational endomorphisms of P1 are computed. One obtain the following theorem : "the rational transformations of P1 with an invariant meromorphic G-structure are the integrables ones."

研究动机与目标

• 对 ℙ¹ 上具有非平凡 D-包络（一种编码动力系统对称性的微分 Galois 结构）的有理映射进行分类。
• 建立非平凡 D-包络的存在性与动力系统中非平凡交换子存在的关联。
• 将具有最小 D-包络复杂度的动力系统表征为‘可积’的（在微分 Galois 意义下）。
• 将 Malgrange 的 D-包络理论从叶状结构与微分方程推广至 ℙ¹ 上的有理映射。
• 证明除经典可积族外，所有其他有理映射的 D-包络均为平凡的。

提出的方法

• 利用 Kœnigs 线性化，在排斥不动点附近构造局部全纯共轭。
• 通过喷丛与全纯向量场分析有理映射对称性的 D-群丛。
• 应用 D-代数与 D-群丛理论，推导控制映射对称性的微分方程。
• 将分类问题约化为仿射群在映射动力系统通用覆盖上的作用研究。
• 利用 D-包络的结构证明：仅当映射具有全局对称性（即单项式、切比雪夫、Lattès）时，才可能拥有非平凡包络。
• 利用 D-包络在仅存在 Möbius 变换对称时为平凡的性质，排除其他映射族的存在。

实验结果

研究问题

• RQ1 哪些 ℙ¹ 上的有理映射具有非平凡 D-包络，即定义其对称群丛的非平凡微分方程组？
• RQ2 非平凡 D-包络的存在性如何与动力系统中非平凡交换子的存在性相关联？
• RQ3 D-包络能否用于表征经典可积有理映射：单项式、切比雪夫多项式与 Lattès 映射？
• RQ4 所有不属于三类经典族的有理映射，其 D-包络是否均为平凡的？
• RQ5 具有非平凡对称性的映射的 D-包络具有怎样的几何与代数结构？

主要发现

• 在 Möbius 共轭意义下，ℙ¹ 上唯一具有非平凡 D-包络的有理映射为单项式、切比雪夫多项式与 Lattès 映射。
• 所有不属于这三类的有理映射，其 D-包络均为平凡的，该结论通过分析诱导的 D-群丛及其在通用覆盖上的作用得以证明。
• 非平凡 D-包络的存在性精确对应于动力系统中非平凡交换子的存在，证实了可积性与对称性之间关联的猜想。
• 对于单项式与切比雪夫映射，D-包络源于乘法群与加法群在通用覆盖上的作用，分别通过指数映射与余弦映射实现。
• 对于 Lattès 映射，D-包络与一个同源映射在复环面上的作用相关，该作用通过 Weierstrass ℘-函数上拉至 ℙ¹。
• 本文证实，若映射的对称群仅为 Möbius 群，则其 D-包络为平凡的，从而排除了其他族的可能性。