[論文レビュー] Belyi's theorem revisited

Bernhard Köck|arXiv (Cornell University)|Aug 31, 2001

Algebraic Geometry and Number TheoryMathematics参考文献 9被引用数 21

ひとこと要約

本稿は、Belyiの定理の新しい、初等的で自己完結的な証明を提示する。すなわち、複素数体上の滑らかで射影的な曲線が数体上に定義可能であることと、射影直線への有限な準同型で臨界値が3つ以下であるものが存在することは、同値である。主な貢献は、定義体の次数に対する明示的な上限を与えることである。ある次数 $ d $ の準同型が $ a $ 個の自己同型を持つ場合、定義体の次数は $ \mathbb{Q} $ 上で高々 $ \frac{d}{a} M_d $ である。ここで $ M_d $ は、ランク2の自由群における指数 $ d $ の部分群の数を表す。

ABSTRACT

We give an elementary, self-contained and quick proof of Belyi's theorem. As a by-product of our proof we obtain an explicit bound for the degree of the defining number field of a Belyi surface.

研究の動機と目的

• Belyiの定理の自己完結的で初等的かつ簡潔な証明を提供すること、特に「十分」の部分に焦点を当てる。
• 臨界値が高々3つの $ \mathbb{P}^1 $ への準同型を持つ曲線の定義体に関する証明を明確化・簡略化すること。
• このような曲線および準同型が定義される数体の次数に対する明示的な上界を導出すること。
• 準同型の相対的モジュライ体の概念を導入・利用し、従来の絶対的モジュライ体の使用を置き換えること。

提案手法

• 自動同型 $ \sigma \in \mathrm{Aut}(\mathbb{C}) $ が準同型 $ t: X \to \mathbb{P}^1_{\mathbb{C}} $ を同型を除いて保存するときの固定体として、相対的モジュライ体 $ \mathbb{C}^{U(X,t)} $ を定義する。
• もし $ t $ の臨界値が $ \{0,1,\infty\} $ に含まれるならば、$ t $ のモジュライ体は数体である（主張(a)）。
• Grothendieck や Coombes/Harbater の下降技法を模倣して、$ X $ と $ t $ がこのモジュライ体の有限次拡大上で定義可能であることを示す（主張(b)）。
• 固定された次数と臨界値集合を持つ被覆の同型類は有限個であるという事実を用いて、$ (X,t) $ のガロア共役の数を上から抑え込む。
• ランク2の自由群における指数 $ d $ の部分群の数 $ M_d $ を用いた群論的評価により、定義体の次数を推定する。
• 明示的な上限 $ [K:\mathbb{Q}] \leq \frac{d}{a} M_d $ を導出する。ここで $ d $ は $ t $ の次数、$ a $ は $ t $ の自己同型の数である。

実験結果

リサーチクエスチョン

• RQ1 Belyiの定理は、高度な代数的幾何学を避けて、初等的かつ自己完結的な形で証明可能だろうか？
• RQ2 臨界値が3つの $ \mathbb{P}^1 $ への準同型を持つ曲線が定義可能となる最小の数体の次数は正確にどれくらいか？
• RQ3 準同型 $ t: X \to \mathbb{P}^1 $ の相対的モジュライ体は、$ X $ と $ t $ の定義体とどのように関係するか？
• RQ4 このような準同型の同型類の数を用いて、定義体の次数を上から抑えられるか？
• RQ5 準同型の次数と自己同型群を用いて、定義体の次数に対する最も鋭い上限は何か？

主な発見

• 臨界値が $ \{0,1,\infty\} $ に含まれる準同型 $ t: X \to \mathbb{P}^1_{\mathbb{C}} $ のモジュライ体は数体である。
• 曲線 $ X $ と準同型 $ t $ は、このモジュライ体の有限次拡大上で定義可能であり、Belyiの定理の「十分」の部分が確認された。
• 定義体の次数に対する明示的な上界として、$ [K:\mathbb{Q}] \leq \frac{d}{a} M_d $ が得られた。ここで $ d $ は $ t $ の次数、$ a $ は $ t $ の自己同型の数、$ M_d $ はランク2の自由群における指数 $ d $ の部分群の数である。
• $ M_d $ は、同じ分岐データを持つ同型類のみを数えるより小さい数に置き換え可能であり、より鋭い推定が得られる可能性がある。
• 一般点や正標数の技法といった高度な道具を避け、初等的な群論とガロア下降に依拠する。
• 補題(3.7)における上限は、被覆の群論的不変量を用いた定量的測度を提供する新しいもので明示的である。