The automorphism groups of a maximal function field with the second largest genus and its algebraic geometry codes

基本信息

• 论文ID: 2511.21292
• 标题: The automorphism groups of a maximal function field with the second largest genus and its algebraic geometry codes
• 作者: Xubin Hu, Liming Ma
• 单位: University of Science and Technology of China (中国科学技术大学数学科学学院)
• 分类: math.NT (数论)
• 提交时间: 2025年11月26日
• 论文链接: https://arxiv.org/abs/2511.21292v1

摘要

本文研究了偶特征有限域上具有第二大亏格的极大函数域（称为Abdón-Torres函数域）的自同构群。作为应用，作者确定了从该极大函数域构造的单点代数几何码的自同构群。研究表明，除平凡情况外，单点代数几何码的自同构群与Abdón-Torres函数域的自同构群一致。此外，通过考虑Abdón-Torres函数域自同构群的某些子群的不动子域，作者提供了一族具有显式定义方程的极大函数域。

研究背景与动机

1. 研究问题

本文要解决的核心问题是：

• 确定Abdón-Torres函数域Y₂的完整自同构群Aut(Y₂/F_{q²})
• 计算从该函数域构造的单点代数几何码的自同构群
• 通过自同构群的不动子域构造新的极大函数域族

2. 问题重要性

• 理论意义：极大函数域是代数几何和数论中的重要研究对象，其自同构群的结构直接关系到函数域的几何性质
• 编码理论应用：代数几何码的自同构群对于理解码的结构、设计译码算法具有重要意义
• 构造意义：通过Galois子域可以系统地构造新的极大函数域

3. 现有工作的局限

根据文献回顾：

• Hermitian函数域（最大亏格g₁ = (q-1)q/2）的自同构群已被完全确定，同构于投影酉群PGU₃(F_{q²})
• 第三大亏格的极大函数域X₃, Y₃, Z₃的自同构群已在近期研究中确定
• 第二大亏格的情况：
  • 奇特征情况（X₂）的自同构群已知
  • 偶特征情况（Y₂，即Abdón-Torres函数域）的自同构群在已有文献中未被明确确定

4. 研究动机

• 填补Abdón-Torres函数域自同构群研究的空白
• 为构造长码长、良好参数的代数几何码提供理论基础
• 系统研究极大函数域的层次结构

核心贡献

本文的主要贡献包括：

1. 完全确定了Abdón-Torres函数域Y₂的自同构群结构（定理3.7, 命题3.8）：
   • 证明了Aut(Y₂/F_{q²}) = G(P∞)（无穷点的稳定子）
   • 给出了自同构群的显式描述：半直积结构C ⋉ N，其中|Aut(Y₂/F_{q²})| = (q+1)q³/2
   • 自同构由{σ(x) = ax+b, σ(y) = y+(abᵍ)²x²+abᵍx+c}参数化，其中aᵍ⁺¹=1, bᵍ⁺¹=h(c)
2. 计算了所有有理点的Weierstrass半群（命题3.5）：
   • H(P∞) = ⟨q/2, q+1⟩
   • H(P_{a,b}) = ⟨q-1, q, q+1⟩（其他有理点）
3. 完全确定了单点代数几何码C_m = C(D, mP∞)的自同构群（定理5.2, 5.8）：
   • 对于q+1 ≤ m ≤ (q³+q²-4q-2)/2：Aut(C_m) ≅ Aut(Y₂/F_{q²})
   • 对于其他m值：给出了完整分类（包括对称群和仿射群情况）
4. 构造了一族具有显式定义方程的极大函数域（定理4.6, 推论4.7-4.8）：
   • 通过自同构群子群的不动子域系统构造
   • 给出了亏格的显式公式
5. 计算了分歧行为和导子（命题4.1-4.2）：
   • 确定了Y₂/Y₂^A扩张的完全分歧结构
   • 计算了导子Cond(Y₂/F_{q²}(x)) = (q+2)·∞

方法详解

任务定义

主要任务：确定偶特征有限域F_{q²}（q=2ⁿ≥4）上Abdón-Torres函数域的自同构群，其中该函数域定义为： $Y_2 = \mathbb{F}_{q^2}(x,y), \quad h(y) = x^{q+1}$ 其中 $h(y) = y^{q/2} + y^{q/4} + \cdots + y^2 + y$

关键性质：

• 亏格：g(Y₂) = q(q-2)/4（第二大可能亏格）
• 有理点数：N(Y₂) = 1 + q³/2
• Y₂是Hermitian函数域的Galois子域

核心方法架构

1. Weierstrass半群分析（第3.1-3.2节）

策略：通过计算主除子来确定极点数

关键计算：

• 对于P∞：
  • (x) = -q/2·P∞ + Σ_{b∈Ω} P_{0,b}
  • (y) = (q+1)(P_{0,0} - P∞)
  • 因此H(P∞) = ⟨q/2, q+1⟩
• 对于其他有理点P_{a,b}（引理3.3-3.4）：
  • 构造切线函数t_{a,b} = (y-b) - aᵍ(x-a)
  • 证明ν_{P_{a,b}}(t_{a,b}) = 2
  • 利用abelian variety理论存在函数f_{a,b}满足(f_{a,b}) = (q+1)(P_{a,b} - P∞)
  • 推导出H(P_{a,b}) = ⟨q-1, q, q+1⟩

2. 稳定子确定（第3.1节，命题3.1）

方法：通过Riemann-Roch空间的作用分析

对于σ ∈ G(P∞)，有σ(L(nP∞)) = L(nP∞)，特别地：

• L(q/2·P∞) = F_{q²} ⊕ F_{q²}x
• L((q+1)P∞) = F_{q²} ⊕ F_{q²}x ⊕ F_{q²}x² ⊕ F_{q²}y

设σ(x) = ax+b, σ(y) = Ey+Ax²+Bx+c

关键推导（利用严格三角不等式）： 从(σ(x))^{q+1} = h(σ(y))展开并比较离散赋值，得到：

• aᵍ⁺¹ = Eᵍ/² = 1，因此E = 1
• A = (abᵍ)²
• B = abᵍ
• bᵍ⁺¹ = h(c)

3. 轨道分析（第3.3节，命题3.6）

关键引理：证明O(P∞) = {P∞}

证明思路：

• 假设存在σ使得σ(P∞) = P_{a,b}
• 从(x-a)的主除子知q/2 ∈ H(P_{a,b})
• 但这与命题3.5矛盾（H(P_{a,b}) = ⟨q-1, q, q+1⟩不包含q/2）

结论（定理3.7）：由轨道-稳定子定理， $|Aut(Y_2/\mathbb{F}_{q^2})| = |G(P_\infty)| \cdot |O(P_\infty)| = |G(P_\infty)|$

4. 代数几何码自同构群（第5节）

策略组合：

1. 对小m值：直接分析生成矩阵
2. 对中等m值：应用Wesemeyer引理（引理5.1）
3. 对大m值：构造性证明提升自同构

核心技术（定理5.8的证明）：

(a) 提升到x坐标的自同构：

• 构造有理AG码：C(R, ⌊2m/q⌋(x)∞^{F_{q²}(x)}) = C(R', ⌊2m/q⌋(x)∞^{F_{q²}(x)})
• 应用引理5.6得到仿射变换σ(x) = ax+b

(b) 提升到y坐标：

• 考虑函数z = y·∏_{i∈I}(x-x_i) ∈ L(mP∞)
• 写作w = Σ_^{q/2-1} w_k(x)y^k
• 通过零点分析确定w_k(x)的形式
• 利用引理5.7确定系数关系

(c) 验证函数域方程：

• 从h(y'_{j,ℓ}) = (x'_j)^{q+1}推导参数关系
• 应用引理5.7(2)确定最终形式

技术创新点

1. Weierstrass半群的精确计算：
   • 对P_{a,b}（a≠0）的情况，创新性地使用切线函数和abelian variety理论
   • 避免了直接构造所有极点数的复杂计算
2. 轨道唯一性的简洁证明：
   • 通过Weierstrass半群的差异直接排除其他可能性
   • 比传统的分歧分析更直接
3. 代数几何码自同构的构造性提升：
   • 分步提升策略（先x后y）
   • 巧妙利用指标集的包含-排斥原理保证参数一致性
4. 不动子域的系统构造：
   • 利用F₂T模结构统一处理Artin-Schreier扩张
   • 给出显式定义方程而非仅存在性结果

实验设置

注：本文为纯数学理论研究，不涉及数值实验。所有结果均为严格数学证明。

理论验证框架

1. 参数范围：q = 2ⁿ ≥ 4（偶特征有限域）
2. 验证对象：
   • 函数域Y₂及其有理点（1+q³/2个）
   • 代数几何码C_m对所有m ∈ ℕ
   • 不动子域族
3. 验证方法：
   • 主除子计算
   • Riemann-Roch定理应用
   • Hurwitz亏格公式验证
   • 轨道-稳定子定理

实验结果

主要定理结果

定理3.7（自同构群结构）

结果：Aut(Y₂/F_{q²}) = G(P∞)，由以下自同构参数化：