[論文レビュー] 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

ひとこと要約

本稿では、特異点が少ないFuchs型微分方程式への超幾何微分方程式のプルバック変換を用いて、種数0のBelyi関数を決定的かつ効率的に計算するアルゴリズムを提示する。この手法は微分関係と多項式成分の記号的同定を活用し、Gröbner基底法の限界を克服し、Chebyshev多項式やJacobi多項式がこれらの関数に現れる理由を明確にし、次数60の例ですら数分で効率的に計算可能である。

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関数を、決定的かつ効率的に計算するためのアルゴリズムを開発すること。
• 特に多数の余分な解（パラサイトック解）を含む高次Belyi関数に対して、Gröbner基底法では計算不能となる問題を克服すること。
• Belyi関数に内在する代数的・微分的構造、特にChebyshev多項式やJacobi多項式が出現する理由を解明すること。
• 定義体の簡略化、Möbius変換による出力最適化、モジュライ体やdessins d’enfantの計算を可能にするツールの提供。

提案手法

• 超幾何微分方程式をプルバック変換によりFuchs型方程式に変換し、特に特異点が少ない場合に有効である。
• プルバックされた微分方程式の記号的同定を用いて、Belyi写像の未定係数間の代数的関係を導出する。
• Belyi関数が少数の例外的分岐点（例：n ≤ 5）を持つ場合、Fuchs型方程式は3つまたは4つの特異点を持つことがあり、例えばHeunの方程式が該当する。
• 微分方程式から導かれる多項式方程式系を解くことでBelyi関数を計算し、対数微分比較法で顕在化する余分な解の爆発を回避する。
• この手法はMapleのComputeBelyi.mplパッケージとして実装されており、次数60の例ですら4秒未塔で効率的に計算可能である。
• 補助アルゴリズムは体の簡略化、Möbius最適化、合成ラティス検出、dessin d’enfant生成を処理する。

実験結果

リサーチクエスチョン

• RQ1 高次で複雑な分岐構造を有する種数0のBelyi関数を、Gröbner基底法の非現実的になる計算困難を回避して効率的に計算するにはどうすればよいか？
• RQ2 Belyi関数の多項式成分間に成立する微分的関係は何か、そしてそれらを体系的に導出するにはどうすればよいか？
• RQ3 なぜChebyshev多項式やJacobi多項式がBelyi関数に頻出するのか、その背後にある微分幾何的起源は何か？
• RQ4 超幾何方程式のプルバック変換を用いて、Belyi写像の係数に対する代数的方程式をどのように生成できるか？
• RQ5 モノドロミーとFuchs型方程式は、少数の例外的分岐点を持つBelyi関数の分類において果たす役割は何か？

主な発見

• 本アルゴリズムは、次数54のBelyi関数を4秒で計算可能であり、対数微分法では約350個の余分なGalois軌道が生じるため、Gröbner基底ツールでは到底処理不能である。
• Heunの方程式にプルバックされた次数60のBelyi関数を、本手法を用いて数分で計算可能である。
• 本手法により、Belyi関数の多項式成分が特定のFuchs型微分方程式を満たすことが明らかになった：Ψ(x)は3階、Θ₁(x)およびx^{k+1/2}Θ₂(x)は2階で、特異点は0、1、∞に存在する。
• Chebyshev多項式やJacobi多項式は、これらのFuchs型方程式の解として自然に出現し、特に二面体的・巡回的モノドロミーの場合に顕著である。
• モノドロミーが有限巡回群（例：Z/mZモノドロミーを有する方程式のKlein変換）の場合、Belyi関数はJacobi多項式で表現可能である。
• 計算された関数のdessins d’enfantは、ブリッジ構造（例：m-ブリッジ、交互に並ぶs-およびt-ブリッジ）を用いて体系的に記述可能であり、m=3および一般のmに対する明示的例が提示されている。