[論文レビュー] An elementary approach to dessins d'enfants and the Grothendieck-Teichm\\"uller group

Pierre Guillot|arXiv (Cornell University)|Sep 8, 2013

History and Theory of Mathematics参考文献 6被引用数 17

ひとこと要約

この論文は、埋め込みグラフ、置換集合、体拡大、代数曲線の間のカテゴリの同値性を確立する、初等的で自己完結的な dessins d'enfants の取り扱いを提示する。ガロア作用の忠実性を証明し、有限群による近似を用いて、絶対ガロア群から Grothendieck-Teichmüller 群 𝔾𝕋₀ への明示的な単射準同型を構成する。

ABSTRACT

We give an account of the theory of dessins d'enfants which is both elementary and self-contained. We describe the equivalence of many categories (graphs embedded nicely on surfaces, finite sets with certain permutations, certain field extensions, and some classes of algebraic curves), some of which are naturally endowed with an action of the absolute Galois group of the rational field. We prove that the action is faithful. Eventually we prove that this absolute Galois group embeds into the Grothendieck-Teichm\\"uller group $GT_0$ introduced by Drinfel'd. There are explicit approximations of $GT_0$ by finite groups, and we hope to encourage computations in this area. Our treatment includes a result which has not appeared in the literature yet: the Galois action on the subset of regular dessins - that is, those exhibiting maximal symmetry -- is also faithful.

研究の動機と目的

• Weilの剛性基準のような高度な道具に依存せずに、dessins d'enfants の自己完結的で初等的な記述を提供すること。
• 埋め込みグラフ、置換集合、体拡大、代数曲線の間の複数の数学的カテゴリの同値性を確立すること。
• 絶対ガロア群 Gal(ℚ̄/ℚ) が dessins に作用する際に忠実であることを証明すること、特に正則 dessins の部分集合に対しても同様であることを含む。
• 有限群による近似を用いて、Gal(ℚ̄/ℚ) から Grothendieck-Teichmüller 群 𝔾𝕋₀ への明示的な単射準同型を構成すること。
• 正則 dessins から得られる有限群を用いた近似により、計算的探求を促進すること。

提案手法

• 19世紀の位相幾何学および群論の初等的手法を用い、リーマン面理論および基本群の性質を含む。
• グラフが曲面上に埋め込まれる場合、それが2つの置換の組に対応し、その置換が単調な部分群を生成することによりカテゴリカル同値を確立する。
• 体拡大を介してガロア作用を定義し、自由生成子2つの自由群のプロファイント完備化 F̂₂ の自己同型に持ち上げる。
• 群 𝔾𝕋₀ を、F̂₂ への自己準同型 β が自己同型であり、Out(F̂₂) 内で δ および θ と可換であるような、(k, f) ∈ ℤ̂× × [F̂₂, F̂₂] の対として定義する。
• 写像 Γ: Gal(ℚ̄/ℚ) → Out(F̂₂) が Aut(F̂₂) に持ち上がることを証明し、これにより 𝔾𝕋₀ への埋め込みが得られることを示す。
• 正則 dessins が2つの位数が n より小さい生成元で生成される有限群に対応することを用い、𝔾𝕋₀ の有限近似を可能にする。

実験結果

リサーチクエスチョン

• RQ1 dessins d'enfants の理論は、Weilの剛性基準のような高度な道具を避けて、初等的手法のみで展開可能か？
• RQ2 絶対ガロア群 Gal(ℚ̄/ℚ) は dessins d'enfants の集合に忠実に作用するか、特に正則 dessins の部分集合に対しても同様か？
• RQ3 組合せ論的およびプロファイント群論的手法を用いて、Gal(ℚ̄/ℚ) から Grothendieck-Teichmüller 群 𝔾𝕋₀ への明示的な単射準同型を構成可能か？
• RQ4 Grothendieck-Teichmüller 群 𝔾𝕋₀ はどのように有限群で近似可能か？また、これは Gal(ℚ̄/ℚ) の計算的探求に何を意味するか？
• RQ5 群 𝔾𝕋₀ と2生成子の自由群のプロファイント完備化との正確な関係は何か？また、ガロア作用とどのように関係するか？

主な発見

• Gal(ℚ̄/ℚ) が dessins d'enfants の集合に作用する際、その作用は忠実である。これは、ガロア群が埋め込みグラフの組合せ的データに非自明に作用することを意味する。
• 最大対称性を持つ正則 dessins の部分集合に対しても、Gal(ℚ̄/ℚ) の作用は忠実である。この結果は、従来の文献では未発表であった。
• F̂₂ の自己同型を定義する (k, f) ∈ ℤ̂× × [F̂₂, F̂₂] の対を用いて、Gal(ℚ̄/ℚ) から Grothendieck-Teichmüller 群 𝔾𝕋₀ への明示的な単射準同型が構成された。
• 群 𝔾𝕋₀ は標準的な Grothendieck-Teichmüller 群 𝔾𝕋 と同型であり、ℤ̂× への射影を通じてサイクロトミック特徴子と整合的である。
• 有限群の制限により、𝔾𝕋₀ の有限近似が得られ、それらは2つの位数が n より小さい生成元で生成される有限群にちょうど一致する。これらは正則 dessins に対応する。
• この構成により、有限群を通じて Gal(ℚ̄/ℚ) を具体的に計算可能に扱うフレームワークが提供され、ガロア群のアルゴリズム的探求が可能になる。