[论文解读] On large automorphism groups of algebraic curves in positive characteristic

Massimo Giulietti, Gábor Korchmáros|ArXiv.org|Jun 15, 2007

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

一句话总结

本文分类了在正特征 p 的代数闭域上，其自同构群的首阶分歧群 G_P^{(1)} 的阶大于 p/(p-1) 倍亏格 g 的代数曲线。通过分析分歧模式与商曲线，作者证明此类曲线要么在群作用下具有固定点，要么属于四类例外类型：p=2 时的双椭圆曲线，p>2 时的双椭圆曲线，赫尔米蒂安曲线，或由 Suzuki 和 Ree 群构造的 DLS/DLR Deligne-Lusztig 曲线。

ABSTRACT

In his investigation on large $K$-automorphism groups of an algebraic curve, Stichtenoth obtained an upper bound on the order of the first ramification group of an algebraic curve $\cX$ defined over an algebraically closed field of characteristic $p$. Stichtenoth's bound has raised the problem of classifying all $\K$-automorphism groups $G$ of $\cX$ with the following property: There is a point $P\in \cX$ for which \begin{equation} |G_P^{(1)}|>\frac{p}{p-1}g. \end{equation} Such a classification is obtained here by proving Theorem 1.3

研究动机与目标

• 对代数闭域上正特征的代数曲线进行分类，其自同构群 G 满足对某点 P 有 |G_P^{(1)}| > p/(p-1)g。
• 解决由 Stichtenoth 提出的关于首阶分歧群大小的长期悬而未决问题。
• 确定此类曲线是否必然属于已知的例外族，或在群作用下具有固定点。
• 将具有极大自同构群的曲线分类工作扩展至先前结果（如 Henn 对 |G| ≥ 8g³ 的分类）之外。
• 对首阶分歧群显著超过 Stichtenoth 边界的曲线提供完整刻画。

提出的方法

• 利用高阶分歧群理论分析伽罗瓦覆盖 X → X/G_P^{(1)} 的分歧结构。
• 应用 Stichtenoth 的界 |G_P^{(1)}| ≤ 4p/(p-1)g²，并基于商曲线 X₁ = X/G_P^{(1)} 的亏格分三种情况讨论。
• 以 Henn（1986）对具有大自同构群的曲线的分类为基础，识别可能的候选曲线。
• 应用群论技术，包括 Sylow p-子群的结构以及自同构群在点集上的作用。
• 考虑自同构群在点集上的置换表示中存在非平凡核 M 的可能性，从而导出商曲线 X/M，其中 M 为与 p 互素的循环群。
• 使用商曲线的亏格公式，如 2g−2 = |M|(2g̃−2) + (|M|−1)(q+1)，以排除不可能的配置。

实验结果

研究问题

• RQ1 在正特征下，哪些代数曲线的自同构群具有首阶分歧群 |G_P^{(1)}| 超过 p/(p-1)g？
• RQ2 此类曲线是否可超越已知的具有极大自同构群的曲线族进行分类？
• RQ3 如此大的首阶分歧群的存在是否意味着群在某点上固定，或曲线属于某一类例外族？
• RQ4 当 |G_P^{(1)}| > p/(p-1)g 时，自同构群及其作用的结构约束是什么？
• RQ5 商曲线以及 X/G_P^{(1)} 的亏格如何影响此类曲线的分类？

主要发现

• 本文证明：若 |G_P^{(1)}| > p/(p-1)g，则群 G 要么固定点 P，要么曲线 X 有理等价于四类例外类型之一：(II) p=2 时的双椭圆曲线，(III) 赫尔米蒂安曲线，(IV) DLS 曲线，或 (V) DLR 曲线。
• 对于 DLR 曲线（Ree 群情形），条件 |G_P^{(1)}| > p/(p-1)g 仅在亏格公式中 t=1 时成立，此时 g = 3n₀(n−1)(n+n₀+1)，其中 n₀=3^r 且 n=3n₀²。
• 当自同构群在点集上的置换表示具有非平凡核 M 时，证明 |M| 必为 2 或 3，且仅当 |M|=2 且 g̃=0 时存在一致配置。
• 当 |M|=2 且 g̃=0 时，除非 G 同构于 PGL(2,q) 或 PSL(2,q)，否则导致矛盾，这表明 Henn 分类中的情形 (II) 成立。
• 当 |M|=3 且 g̃=0 时，得到 g = q−1 且 p > g+1，与 p 整除群阶的假设矛盾，因此该情形被排除。
• 分析确认，除 Henn 分类中的四类例外族 (II)–(V) 外，无其他曲线族可满足条件 |G_P^{(1)}| > p/(p-1)g。