[论文解读] A survey of Galois theory of curves in characteristic p

Rachel Pries, Katherine Stevenson|arXiv (Cornell University)|Apr 13, 2010

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

一句话总结

本综述探讨了特征 p 下曲线的伽罗瓦理论，突出展示了复代数几何中所不具备的独特现象，例如野性分歧和非循环的分解群。本文提出两个新结果：一是仅在无穷远处分支的射影直线的 G-伽罗瓦覆盖的亏格公式，二是雅可比簇 p-挠群概形的精确分解，表明牛顿多边形的斜率为 0、1/2 和 1。

ABSTRACT

This survey is about Galois theory of curves in characteristic p, a topic which has inspired major research in algebraic geometry and number theory and which contains many open questions. We illustrate important phenomena which occur for covers of curves in characteristic p. We explain key results on the structure of fundamental groups. We end by describing areas of active research and giving two new results about the genus and p-rank of certain covers of the affine line.

研究动机与目标

• 综述正特征 p 域上曲线伽罗瓦理论的基础与高级主题，强调其与复代数几何的差异。
• 阐明基本群与分歧结构在特征 p 下的性质，尤其在野性覆盖的背景下。
• 研究伽罗瓦覆盖雅可比簇的算术不变量（如 p-秩、牛顿多边形和 p-挠群概形）的结构。
• 解决嵌入问题及具有指定不变量的覆盖存在的开放问题。
• 提出关于仿射直线上的伽罗瓦覆盖的亏格与 p-秩的两个新结果，并给出雅可比簇 p-挠的显式分解。

提出的方法

• 使用库默尔覆盖与阿廷-施赖埃尔覆盖作为关键例子，说明特征 p 下的行为。
• 应用 Riemann-Hurwitz 公式计算伽罗瓦覆盖的亏格与 p-秩。
• 通过半直积 G = L ⋊ Z/p 构造伽罗瓦覆盖，其中 L 是秩为 a = ord_p(ℓ) 的 ℓ-群。
• 利用格罗滕迪克、哈巴特与雷诺等在正特征下基本群与嵌入问题方面的成果。
• 利用同源理论分析 p-挠群概形 J_W[p]，并研究普通与超奇异分量的行为。
• 利用超奇异曲线的无分歧 ℓ-伽罗瓦覆盖构造具有所需 p-秩与牛顿多边形结构的覆盖。

实验结果

研究问题

• RQ1 特征零与正特征下曲线的伽罗瓦覆盖在结构上存在哪些差异？
• RQ2 在特征 p 下，哪些有限群可作为仅在无穷远处分支的射影直线覆盖的伽罗瓦群？
• RQ3 在特征 p 下，G-伽罗瓦覆盖的雅可比簇的 p-秩与牛顿多边形可能取哪些值？
• RQ4 能否构造具有指定 p-挠群概形分解的 G-伽罗瓦覆盖？
• RQ5 分歧与群结构对这类覆盖的亏格与 p-秩施加了哪些约束？

主要发现

• 对于满足 G = L ⋊ Z/p 且 L ≅ (Z/ℓ)^a 的 G-伽罗瓦覆盖 φ: W → P¹_k，最小亏格为 g_W = 1 + |L|(p-3)/2。
• 当 L ≅ (Z/ℓ)^a 时，可构造曲线 W，使其雅可比簇的 p-秩为 s_W = (ℓ^a - 1)(p - 3)/2。
• p-挠群概形 J_W[p] 分解为 s_W 个 Z/p ⊕ μ_p 的副本与 (p-1)/2 个 E_ss[p] 的副本，其中 E_ss[p] 是一条超奇异椭圆曲线的 p-挠。
• J_W 的牛顿多边形仅包含斜率 0、1/2 和 1，这是一种罕见且重要的配置。
• 该构造依赖于一条超奇异曲线 Y（满足 y^p - y = x^2）的无分歧 ℓ-伽罗瓦覆盖，其雅可比簇为超特殊，所有斜率均为 1/2。
• 此类覆盖的伽罗瓦闭包给出具有指定亏格与 p-秩的 G-伽罗瓦覆盖，且 p-挠结构在同源与群作用下保持不变。