[论文解读] Large 2-groups of automorphisms of curves with positive 2-rank

Massimo Giulietti, Gábor Korchmáros|arXiv (Cornell University)|Apr 27, 2011

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

一句话总结

该论文在特征 2 的代数闭域上构造了具有正 2-秩的曲线，其 2-子群自同构群的阶达到 Nakajima 不等式 $4(g-1)$ 的上界，证明此类曲线为双椭圆曲线且 $γ = g$，并具有阶为 $4(g-1)$ 的无固定点二面体自同构群。论文分类了阶大于 $2g-1$ 且无固定点的 2-自同构群，识别出该群为二面体群或含初等阿贝尔与循环子群的半直积的情形。

ABSTRACT

Let K be an algebraically closed field of characteristic 2, and let X be a curve over K of genus g>1 and 2-rank r>0. For 2-subgroups S of the K-automorphism group Aut(X) of X, the Nakajima bound is |S| < 4g-3. For every g=2^h+1>8, we construct a curve X attaining the Nakajima bound and determine its relevant properties: X is a bielliptic curve with r=g, and its K-automorphism group has a dihedral K-automorphism group of order 4(g-1) which fixes no point in X. Moreover, we provide a classification of 2-groups S of K-automorphisms not fixing a point of X and such that |S|> 2g-1.

研究动机与目标

• 在特征 2 的代数闭域上构造具有正 2-秩的代数曲线，使其 2-子群 $S$ 的自同构群阶达到 Nakajima 不等式 $|S| \leq 4(g-1)$ 的上界。
• 对 $\mathrm{Aut}(\mathcal{X})$ 中满足 $|S| > 2g - 1$ 且在 $\mathcal{X}$ 上无固定点的 2-群 $S$ 进行分类，特别关注 $|S|$ 接近 Nakajima 上界的情形。
• 分析此类 2-群结构中中心对合的作用，尤其是可归纳的中心对合，其可通过商曲线实现降阶。
• 确定实现 Nakajima 上界的曲线的几何与群论性质，包括双椭圆性、亏格、2-秩及自同构群结构。

提出的方法

• 通过形如 $Y^2 + Y + X^{2^k+1} = 0$ 的 Artin-Schreier 方程显式构造曲线，以实现 $g = 2^h + 1 \geq 9$ 时的 Nakajima 上界，证明其为双椭圆曲线且 $γ = g$。
• 利用中心对合 $u \in Z(S)$ 的商曲线分析 $S$ 的结构，其中 $\bar{\mathcal{X}} = \mathcal{X}/\langle u \rangle$ 且 $\bar{S} = S/\langle u \rangle$，应用亏格不等式 $g - 1 \geq 2(\bar{g} - 1)$。
• 引入可归纳中心对合的概念，使得 $\bar{S}$ 继承大小与无固定点的假设，从而实现通过连续商曲线的归纳降阶。
• 应用 Hurwitz 公式与亏格下降不等式，排除商曲线中存在固定点的可能性，尤其通过 $\mathbb{F}_{16}$ 上的有理点计数，在假设存在固定点时导出矛盾。
• 利用 MAGMA 计算验证具体例子的亏格、2-秩及自同构群结构，包括一个亏格为 17、自同构群为阶 32 的半二面体群的曲线。
• 分析商曲线的函数域，证明 $\bar{\mathcal{X}}$ 为椭圆曲线，从而说明该中心对合不是可归纳的。

实验结果

研究问题

• RQ1 在特征 2 的域上，对亏格 $g \geq 2$ 且 2-秩 $γ > 0$ 的曲线，其自同构群 $\mathrm{Aut}(\mathcal{X})$ 中无固定点的 2-子群 $S$ 的最大阶是多少？
• RQ2 满足 $|S| > 2g - 1$ 且无固定点的 $\mathrm{Aut}(\mathcal{X})$ 中的 2-群 $S$ 可能有哪些？其结构与几何性质如何？
• RQ3 何时自同构群 $S$ 中的中心对合 $u$ 会导出可归纳的商群 $\bar{S}$？这种性质如何通过降阶实现对这类群的分类？
• RQ4 能否显式构造实现 Nakajima 上界 $|S| = 4(g - 1)$ 的曲线？其几何不变量（如双椭圆性、2-秩）如何？
• RQ5 当 $|S| > 2g - 1$ 且 $S$ 无固定点时，2-秩 $γ$ 在确定自同构群结构中起什么作用？

主要发现

• 对每个 $g = 2^h + 1 \geq 9$，存在一个亏格为 $g$、2-秩为 $γ = g$ 的曲线 $\mathcal{X}$，其自同构群 $S$ 为阶 $4(g - 1)$ 的二面体群，且作用无固定点，从而达到 Nakajima 上界 $|S| = 4(g - 1)$。
• 此类曲线为双椭圆曲线，其 $\mathbb{K}$-自同构群包含一个阶为 $4(g - 1)$ 的二面体子群，且在 $\mathcal{X}$ 上无固定点，证实了在该条件下 Nakajima 上界的紧致性。
• 当 $|S| > 2g - 1$ 且 $S$ 无固定点时，自同构群要么为阶 $4(g - 1)$ 的二面体群，要么为半直积 $D \rtimes E$，其中 $|S| = 2g + 2$，$D$ 为指数 2 的初等阿贝尔群，$E$ 为阶 2 的循环群。
• 若 $S$ 为阿贝尔群且满足条件，则其必为初等阿贝尔群，且 $\mathcal{X}$ 为超椭圆曲线，表明对群结构有强烈限制。
• 构造了一个亏格为 17、2-秩为 9 的曲线，其自同构群为阶 32 的半二面体群；其中心对合 $u$ 在 $\mathcal{X}$ 上无固定点，且商曲线 $\bar{\mathcal{X}}$ 为椭圆曲线，故 $u$ 不是可归纳的。
• 该亏格 17 曲线的自同构群 $G = \mathrm{Aut}(\mathcal{X})$ 恰好满足 $|G| = 32 = 4(\gamma - 1)$，表明当 $γ = 9$ 时 Nakajima 上界是紧致的。