[論文レビュー] Galois Action on Diameter Four Trees

Leonardo Zapponi|ArXiv.org|Aug 5, 2001

Algebraic Geometry and Number Theory参考文献 3被引用数 3

ひとこと要約

本稿は、3点を除いた射影直線のエタール被覆に対応する特殊なデサン・ダンジェン（dessins d'enfants）である直径4の木に対する絶対ガロア群の作用を調査する。正規化多項式モデルと素数を法とする還元を用いて、ガロア軌道が自明であるための条件を確立し、Kummerモデルを用いてワイルド分岐をタウトな場合に還元できることを証明するとともに、特に無限大において正則な素数に関して、数体における分岐指数の明確な上限を導出する。特に、特定の木が無限大において正則な素数に関してガロア軌道を形成することを示す。

ABSTRACT

The object of this paper is the study of a class of dessins d'enfants, the so-called diameter four trees. These objects, first introduced by G. Shabat, can be considered as the simplest non trivial example of etale covers of the projective line minus three points. Their arithmetic properties are still mysterious, and their study can inspire the understanding of more general situations. Here, the main interest is devoted to the action of the absolute Galois group on these (isomorphism classes of) coverings. In particular, in many cases, we are able to distinguish Galois orbits and to describe the action of the decomposition groups. One other central result concerns the study of wild ramification, for which we show how to reduce to the tame case, and then deduce some detailed arithmetical informations.

研究の動機と目的

• 直径4の木の同型類に対する絶対ガロア群の作用を理解すること。
• このような木がいつガロア軌道を形成するかを特定し、そのモジュライ体を計算すること。
• 射影直線の被覆におけるワイルド分岐を分析し、それをタウトな場合に還元すること。
• 分解群の構造と、それらが正規化モデルに与える作用を記述すること。
• 直径4の木が正標数において良い還元を持つ条件を確立し、正標数から特徴数0への一意的な持ち上げが可能である条件を特定すること。

提案手法

• 直径4の木のモデルは、K[X]における多項式として表現され、正規化により1上の分岐点を0に固定し、1に根をもたせる。
• 標準的および正規化モデルを用いて、ガロア不変な不変量を定義し、モジュライ体とガロア軌道の研究を可能にする。
• 本稿ではヒルベルトの定理90を用いて、モジュライ体上に定義されたモデルを構成する。
• p-合同と素数を法とする還元を適用し、良い還元を研究し、特徴数pから特徴数0へのKummerモデルの持ち上げを実行する。
• 正標数における解をパラメトライズするために、方程式系 χ₁ = ⋯ = χₙ₋₁ = 0 を用い、それらをKummerモデルと関連付ける。
• 分解群の作用は、正規化モデルの係数への誘導作用を通じて分析され、σ(β(X)) = β(aσX + bσ) と表される。

実験結果

リサーチクエスチョン

• RQ1 直径4の木が絶対ガロア群の作用で単一のガロア軌道をなすのはいつか？
• RQ2 直径4の木におけるワイルド分岐は、どのようにタウトな場合に還元できるか？
• RQ3 正規化モデルに作用する分解群の構造はいかなるものか？
• RQ4 どのような条件下で、木が素数pを法として良い還元を持つのか。また、それはガロア軌道とどのように関係するか？
• RQ5 直径4の木のモジュライ体における素数の分岐指数に、どのような上限を設定できるか？

主な発見

• a₁ < ⋯ < aₙ である一般型 (a₁,…,aₙ) に対して、ḡQ 上にはちょうど (n−1)! 個の直径4の木が存在する。
• 直径4の木のモジュライ体は、そのすべての正規化モデルの定義体の共通部分である。
• p > n で無限大において正則であり、a₁+⋯+aₙ = pʰm かつ (p,m)=1 であると仮定する。このとき、Q(𝒯) の p 以上の素数における分岐指数 eₚ は、eₚ ≤ (n−1)/(n−1,h) を満たす。
• h=1 のとき、上限は eₚ = n−1 となり、これが [Q(𝒯):Q] に等しいならば、木の集合は単一のガロア軌道を形成する。
• 型 (1,…,1,a,b) に対して、p が a+b+n−2 を割り、u(n,a,b) を割らないならば、p は無限大において正則であり、ガロア軌道は自明である。
• n=5, a=2, b=77 の例では、素数7と11は77-正則であるため、IV₁,₁,₁,₂,₇₇(ḡQ) はガロア軌道を形成する。