[论文解读] Galois Action on Diameter Four Trees

Leonardo Zapponi|ArXiv.org|Aug 5, 2001

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

一句话总结

本文研究了绝对伽罗瓦群在直径四棵树上的作用——这些是对应于射影直线去掉三点的 étale 覆盖的特殊 dessins d'enfants。通过使用归一化的多项式模型和模素数约化，本文建立了伽罗瓦轨道为平凡的条件，证明了通过 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.

研究动机与目标

• 理解绝对伽罗瓦群在直径四棵树的同构类上的作用。
• 确定此类树在何时构成伽罗瓦轨道并计算其模域。
• 分析射影直线覆盖中的野生分歧，并将其化为驯服情形。
• 描述分解群的结构及其在归一化模型上的作用。
• 建立直径四棵树具有良好约化的条件，并证明其从正特征唯一上拉。

提出的方法

• 直径四棵树的模型以 K[X] 中的多项式表示，通过归一化使上方 1 的分歧点位于 0，且在 1 处有根。
• 使用标准模型与归一化模型来定义伽罗瓦不变量，从而研究模域与伽罗瓦轨道。
• 本文利用希尔伯特定理 90 构造定义在模域上的模型。
• 应用 p-同余与模 p 约化，研究良好约化，并将 Kummer 模型从特征 p 上升到特征零。
• 通过方程组 χ₁ = ⋯ = χₙ₋₁ = 0 参数化正特征下的解，将其与 Kummer 模型关联。
• 通过归一化模型系数上的诱导作用分析分解群的作用，其中 σ(β(X)) = β(aσX + bσ)。

实验结果

研究问题

• RQ1 在绝对伽罗瓦群作用下，何时直径四棵树构成单个伽罗瓦轨道？
• RQ2 如何将直径四棵树中的野生分歧化为驯服情形？
• RQ3 作用在这些树的归一化模型上的分解群的结构是什么？
• RQ4 在何种条件下，一棵树模素数 p 具有良好约化，这与其伽罗瓦轨道有何关联？
• RQ5 可以对直径四棵树的模域中素数的分歧指数施加何种界限？

主要发现

• 对于一般型 (a₁,…,aₙ) 且满足 a₁ < ⋯ < aₙ 的情况，在 ḡQ 上恰好存在 (n−1)! 棵直径四棵树。
• 直径四棵树的模域是其所有归一化模型的定义域的交集。
• 若 p > n 且在无穷远处为正规，且 p 整除 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) 是一个伽罗瓦轨道。