[论文解读] Around rational functions invertible in radicals

Yuri Burda|arXiv (Cornell University)|May 22, 2010

Coding theory and cryptography参考文献 4被引用 7

一句话总结

本文通过将代数可解性与拓扑及几何性质关联，对可通过根式求逆的有理函数进行了分类：具体而言，支配此类函数的最小伽罗瓦覆盖的亏格为 0 或 1。主要贡献在于，利用分支数据与群论结构，基于分析与拓扑等价关系，实现了完全分类，并推导出这些函数的显式公式，包括切比雪夫多项式、幂映射以及四次多项式。

ABSTRACT

A class of rational functions characterized by some wonderful properties is studied. The properties that identify this class include simple algebra (their inverses can be expressed in radicals), simple topology (the total space of the minimal Galois covering dominating them has genus 0 or 1) and simple local topol- ogy (branching data). Explicit formulae for these functions are obtained as well as their classification up to different equivalence relations.

研究动机与目标

• 通过拓扑与代数不变量，表征其反函数可用根式表达的有理函数。
• 根据左解析、左右解析及保向拓扑等价关系，对这类函数进行分类。
• 建立根式可解性与支配函数的最小伽罗瓦覆盖亏格之间的对应关系。
• 为所有可通过根式求逆的有理函数提供显式公式，包括切比雪夫多项式与幂映射。
• 通过单值群与群作用，将里特的经典结果扩展至更广泛、统一的框架。

提出的方法

• 利用伽罗瓦理论分析支配有理函数的最小分支覆盖，重点关注整体空间的亏格。
• 应用群论技术，特别是单值群作用与对称群中正规化子的作用。
• 通过代数群的同源（如 C* 或椭圆曲线）对整体空间亏格为 0 或 1 的分支覆盖进行分类。
• 利用局部单值数据（分支指标）表征全局可解性，对分支点的数量与类型施加约束。
• 通过代数群关于有限自同构群的商映射构造显式有理函数。
• 利用黎曼–赫尔维茨公式与模曲线（如 X₀(3)）的性质，分析此类函数的模空间。

实验结果

研究问题

• RQ1 哪些有理函数 R: ℂP¹ → ℂP¹ 的反函数可用根式表达？
• RQ2 R 的最小伽罗瓦覆盖的何种拓扑条件可保证其反函数在根式下可解？
• RQ3 如何根据分析与拓扑等价关系对单值群可解且反函数可用根式表达的有理函数进行分类？
• RQ4 表征此类函数的完整分支数据（分支点数量与指标）是什么？
• RQ5 六次及以下的哪些多项式可通过根式求逆？它们如何由基本可解族复合而成？

主要发现

• 可通过根式求逆的有理函数，正是其最小伽罗瓦覆盖的整体空间亏格为 0 或 1 的那些函数。
• 该分类包括由 ℂ* 或椭圆曲线关于有限群作用的商映射所生成的函数，其显式公式由同源导出。
• 对于具有四个单分支点的三次有理函数，恰好存在四个左等价类，其模空间是 j-不变量空间上的四次分支覆盖，同构于 X₀(3)。
• 可通过根式求逆的多项式是线性映射、z ↦ z^p（p 为素数）、切比雪夫多项式以及单值群可解的四次多项式的复合。
• 切比雪夫多项式通过恒等式 Tₙ((u + u⁻¹)/2) = (uⁿ + u⁻ⁿ)/2 实现根式可逆，从而得到 z = ½(√[n]{w + √(w²−1)} + √[n]{w − √(w²−1)})。
• 对于素数幂次 pᵏ 且具有本原可解单值群与根式反函数的多项式，仅有 z ↦ zᵖ 与切比雪夫多项式，但 p=2, k=2（即四次）的情形也包含此类函数。