[论文解读] Algorithms and differential relations for Belyi functions

Mark van Hoeij, Raimundas Vidūnas|arXiv (Cornell University)|May 30, 2013

Polynomial and algebraic computation参考文献 20被引用 8

一句话总结

本文提出了一种计算亏格 0 Belyi 函数的确定性算法，通过将超几何微分方程的拉回变换转化为具有少量奇点的Fuchsian方程。该方法利用微分关系和多项式分量的符号识别，高效计算高次Belyi函数（如60次示例）——在几分钟内完成，克服了Gröbner基方法的局限性，并阐明了Chebyshev和Jacobi多项式在这些函数中出现的原因。

ABSTRACT

A tool package for computing genus 0 Belyi functions is presented, including simplification routines, computation of moduli fields, decompositions, dessins d'enfant. The main algorithm for computing the Belyi functions themselves is based on implied transformations of the hypergeometric differential equation to Fuchsian equations, preferably with few singular points. This gives interesting differential relations between polynomial components of a Belyi function.

研究动机与目标

• 开发一种用于计算具有复杂分支模式的亏格 0 Belyi 函数的确定性、高效算法。
• 克服Gröbner基方法在高次Belyi函数（尤其是存在大量寄生解时）的计算不可行性。
• 阐明Belyi函数背后的代数与微分结构，特别是Chebyshev和Jacobi多项式出现的原因。
• 提供简化定义域、通过Möbius变换优化输出、计算模形式域和dessins d’enfant的工具。

提出的方法

• 核心方法通过拉回变换将超几何微分方程转化为Fuchsian方程，尤其当所得方程具有少量奇点时。
• 利用拉回后微分方程的符号识别，推导Belyi映射中未知系数之间的代数关系。
• 该算法利用了具有少量异常分支点（例如 n ≤ 5）的Belyi函数对应于具有3个或4个奇点的Fuchsian方程（如Heun方程）的事实。
• 通过求解由微分方程导出的多项式方程组来计算Belyi函数，避免了对数导数比较中出现的寄生解爆炸问题。
• 该方法在Maple中通过ComputeBelyi.mpl包实现，可在4秒内高效计算出60次示例。
• 辅助算法处理域简化、Möbius优化、组合格点检测和dessin d’enfant生成。

实验结果

研究问题

• RQ1 如何高效计算具有高次和复杂分支模式的亏格 0 Belyi 函数，避免Gröbner基方法的不可行性？
• RQ2 Belyi函数的多项式分量之间存在何种微分关系？如何系统地推导这些关系？
• RQ3 为何Chebyshev和Jacobi多项式频繁出现在Belyi函数中？其背后的微分几何起源是什么？
• RQ4 如何利用超几何方程的拉回变换生成Belyi映射系数的代数方程？
• RQ5 单值性群与Fuchsian方程在分类具有少量异常分支点的Belyi函数中起什么作用？

主要发现

• 该算法在4秒内计算出一个60次Belyi函数，而对数导数方法将面临约350个寄生Galois轨道——远超Gröbner基工具的处理能力。
• 使用该方法，60次Belyi函数（包括被拉回到Heun方程的情形）可在数分钟内完成计算。
• 该方法揭示了Belyi函数的多项式分量满足特定的Fuchsian微分方程：Ψ(x)为三阶，Θ₁(x)和x^{k+1/2}Θ₂(x)为二阶，奇点位于0、1和∞。
• Chebyshev和Jacobi多项式自然作为这些Fuchsian方程的解出现，尤其在二面体和循环单值性群情况下。
• 当单值性群为有限循环群（如具有Z/mZ单值性的方程）时，Belyi函数可用Jacobi多项式表示，例如Klein变换的情形。
• 通过桥接结构（如m-桥、交替的s-和t-桥）系统地描述了所计算函数的dessins d’enfant，给出了m=3和一般m的显式示例。