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∞)，由以下自同构参数化： $\begin{cases} \sigma(x) = ax + b \\ \sigma(y) = y + (ab^q)^2x^2 + ab^qx + c \end{cases}$ 其中a,b,c ∈ F_{q²}, aᵍ⁺¹=1, bᵍ⁺¹=h(c)

群结构（命题3.8）：Aut(Y₂/F_{q²}) = C ⋉ N

• C：循环群，阶为q+1
• N：初等2-群，阶为q³/2
• 总阶：|Aut(Y₂/F_{q²})| = (q+1)q³/2

重要性：该群相对于亏格g(Y₂)=q(q-2)/4非常大： $|Aut(Y_2/\mathbb{F}_{q^2})| = \frac{q^3(q+1)}{2} > 8g(Y_2)^2$

定理5.2和5.8（代数几何码自同构群）

完整分类：

关键发现：

• 对于"大部分"m值（q+1到(q³+q²-4q-2)/2），码的自同构群恰好是函数域的自同构群
• 这个范围覆盖了约q³/4个连续整数，远大于亏格

定理4.6（不动子域族）

构造：对m|(q+1)和p(T)|H(T)，不动子域 $Y_2^G = \mathbb{F}_{q^2}(w,z), \quad w^{(q+1)/m} = z^{H(T)/p(T)}$ 是极大函数域，亏格为： $g(Y_2^G) = \frac{q+1-m}{2m}(2^{n-1-d}-1)$ 其中d = deg(p(T))

特殊情况（推论4.7）：m=q+1时得到另一个Abdón-Torres型函数域： $z^{q/2} + z^{q/4} + \cdots + z = w$

关键技术结果

命题3.5（Weierstrass半群）

意义：不同有理点的Weierstrass半群不同，这是证明轨道唯一性的关键

命题4.1（分歧结构）

结果：在扩张Y₂/Y₂^A中：

• R∞完全分歧：e(P∞|R∞) = q³(q+1)/2, d(P∞|R∞) = (q⁴+2q³+q²-2q-4)/2
• 唯一的另一个分歧点R：驯顺分歧，e(P|R) = q+1, d(P|R) = q
• 所有其他有限有理点共轭于R上的点

案例分析

示例1（q=4的情况）：

• 函数域：y² + y = x⁵，定义在F₁₆上
• 亏格：g = 4×2/4 = 2
• 有理点数：1 + 4³/2 = 1 + 32 = 33
• 自同构群阶：|Aut| = 5×32 = 160
• Weierstrass半群：
  • H(P∞) = ⟨2, 5⟩ = {0, 2, 4, 5, 6, 7, 8, ...}（2个gap）
  • H(P_{a,b}) = ⟨3, 4, 5⟩（2个gap）

示例2（代码参数）： 对于q=8（F₆₄上）：

• 码长：n = q³/2 = 256
• 对m=20（在q+1, q³/4-1=9, 127范围内）：
  • 维数：k = dim L(20P∞) = 20+1-g = 21-32 = 需要调整（实际用Riemann-Roch）
  • 自同构群：Aut(C₂₀) ≅ Aut(Y₂/F₆₄)，阶为9×256=2304

相关工作

极大函数域的研究脉络

1. 基础理论（1980s-1990s）：
   • Ihara (1981)：证明亏格上界g₁ = (q-1)q/2
   • Rück-Stichtenoth (1994)：Hermitian函数域的唯一性
   • Fuhrmann-Torres (1996), Fuhrmann-Garcia-Torres (1997)：第二大亏格的存在性
2. 第二大亏格的确定：
   • Xing-Stichtenoth (1995)：猜想并部分证明
   • Fuhrmann-Torres (1996)：完整证明g₂ = ⌊(q-1)²/4⌋
   • Fuhrmann-Garcia-Torres (1997)：奇特征情况X₂的构造
   • Abdón-Torres (1999)：偶特征情况Y₂的构造（本文研究对象）
3. 第三大亏格：
   • Korchmáros-Torres (2002)：确定g₃ = ⌊(q²-q+4)/6⌋及三个函数域
   • Beelen-Montanucci-Vicino (2023-2025)：X₃, Y₃, Z₃的自同构群
4. Hermitian函数域的子域：
   • Garcia-Stichtenoth-Xing (2000)：系统研究子域结构
   • Cossidente-Korchmáros-Torres (1999, 2000)：覆盖理论
   • Ma-Xing (2019), Montanucci-Zini (2020)：涉及对合自同构的子域

自同构群的研究

1. Hermitian码：
   • Xing (1995)：确定单点Hermitian码的自同构群
   • Korchmáros-Speziali (2017)：特殊PGL₂(F_q)情况
2. 一般框架：
   • Stichtenoth (1990)：有理AG码的自同构群
   • Wesemeyer (1998)：平面曲线的系统方法（引理5.1）
   • Joyner-Ksir (2006)：very ample除子的提升理论
3. 特定曲线：
   • Kondo-Katagiri-Ogihara (2001)：y^q+y=x^{qr+1}型曲线
   • Giulietti-Korchmáros (2008)：Deligne-Lusztig码

本文的定位

与已有工作的关系：

• 填补了Y₂自同构群研究的空白（X₂已在Hirschfeld-Korchmáros-Torres 2008书中处理）
• 推广了Xing (1995)关于Hermitian码的结果到第二大亏格情况
• 应用了Garcia-Stichtenoth-Xing (2000)的不动子域方法

相比相关工作的优势：

1. 完整性：完全确定自同构群，而非部分结果
2. 显式性：给出不动子域的显式方程（定理4.6），而非仅存在性
3. 应用深度：完整分类所有m值的码自同构群（定理5.2, 5.8）
4. 技术创新：Weierstrass半群的新计算方法（引理3.3-3.4）

结论与讨论

主要结论

1. 自同构群的完整刻画：
   • Aut(Y₂/F_{q²})是半直积C ⋉ N，阶为(q+1)q³/2
   • 相对于亏格非常大（>8g²），表明Y₂具有丰富的对称性
2. 代数几何码的自同构：
   • 对"大部分"参数m，码的自同构群恰好是函数域的自同构群
   • 仅在极端情况（m很小或很大）出现更大的对称性
3. 极大函数域的构造：
   • 通过不动子域系统构造了一族极大函数域
   • 给出了亏格的显式公式

局限性

1. 特征限制：
   • 方法仅适用于偶特征（q=2ⁿ）
   • 奇特征的X₂情况已在其他文献处理，但技术完全不同
2. 码参数的间隙：
   • 定理5.8要求q+1 ≤ m ≤ (q³-3q-2)/2
   • 对于(q³-3q-2)/2 < m < (q³+2q²-4q-4)/4的中间范围，需要额外技术
   • 虽然定理5.2覆盖所有m，但某些范围的证明较为技术性
3. 不动子域的完整性：
   • 定理4.6仅覆盖了特定形式的子群（C_m × N_p）
   • 其他子群的不动子域可能需要不同技术
4. 计算复杂性：
   • Weierstrass半群的计算涉及复杂的除子理论
   • 对于一般有理点P_{a,b}，需要abelian variety理论（命题5.4）

未来方向

1. 推广到其他极大函数域：
   • 第三大亏格函数域的AG码自同构群
   • Giulietti-Korchmáros函数域（非Hermitian子域）的情况
2. 译码算法：
   • 利用大自同构群设计permutation decoding算法
   • 研究automorphism-invariant子码
3. 不动子域的完整分类：
   • 确定所有Galois子域的亏格谱
   • 类似Garcia-Stichtenoth-Xing (2000)对Hermitian函数域的工作
4. 量子码应用：
   • 利用CSS构造从Y₂构造量子纠错码
   • 自同构群可能提供容错量子门
5. 计算方面：
   • 开发计算Weierstrass半群的算法
   • 实现不动子域的符号计算

深度评价

优点

1. 理论完整性：
   • 完全确定了一个重要函数域的自同构群，填补了文献空白
   • 证明严谨，逻辑清晰，从Weierstrass半群→稳定子→轨道→全群，层层递进
2. 技术创新：
   • 切线函数方法（引理3.3）：ν_{P_{a,b}}(t_{a,b})=2的证明非常巧妙
   • 包含-排斥论证（定理5.8证明）：保证参数一致性的技术很优雅
   • 模结构应用（4.2节）：F₂T模的观点统一了Artin-Schreier扩张
3. 结果的显式性：
   • 不仅证明存在性，还给出所有参数的显式公式
   • 定理4.6的不动子域有显式定义方程，便于后续研究和应用
4. 应用价值：
   • 代数几何码的自同构群结果（定理5.2, 5.8）对编码理论有实际意义
   • 可用于设计具有特定对称性的码
5. 写作质量：
   • 结构清晰：预备知识→自同构群→不动子域→应用
   • 记号一致，证明详细
   • 相关工作回顾全面

不足

1. 技术门槛高：
   • 需要深厚的代数几何和数论背景
   • 某些证明（如定理5.8）非常技术性，细节繁多
2. 一般性受限：
   • 仅处理偶特征情况
   • 不动子域构造仅限于特定子群类型
3. 缺少数值示例：
   • 虽然给出了一般理论，但缺少具体小参数（如q=4, 8）的完整计算示例
   • 这会帮助读者更好理解抽象结果
4. 与已知结果的比较：
   • 未明确比较Y₂与X₂（奇特征情况）的自同构群结构差异
   • 缺少与Hermitian函数域自同构群的详细对比
5. 应用讨论不够深入：
   • 代数几何码的实际译码算法未涉及
   • 不动子域的具体应用场景可以更详细

影响力评估

1. 对领域的贡献：
   • 理论贡献：完成了极大函数域自同构群研究的一个重要环节
   • 方法贡献：Weierstrass半群计算和码自同构提升的技术可用于其他曲线
   • 预期引用：作为Y₂相关研究的标准参考文献
2. 实用价值：
   • 编码理论：为构造具有大自同构群的长码提供理论基础
   • 密码学：极大函数域在基于配对的密码中有应用
   • 计算代数几何：不动子域的显式方程便于计算机实现
3. 可复现性：
   • 理论结果：所有证明详细，可验证
   • 计算方面：虽然无数值实验，但理论足够显式，可用计算机代数系统（如Magma, SageMath）验证小参数情况
4. 后续研究方向：
   • 激发对其他极大函数域的类似研究
   • 为AG码的自同构群研究提供新技术
   • 不动子域构造可推广到其他函数域

适用场景

1. 理论研究：
   • 代数几何码理论
   • 有限域上的算术几何
   • Galois覆盖理论
2. 编码理论应用：
   • 需要长码长、良好参数的通信系统
   • 利用对称性的译码算法设计
   • 量子纠错码构造
3. 密码学：
   • 基于配对的密码协议
   • 代码基密码学
   • 后量子密码候选
4. 教学：
   • 代数几何码课程的高级案例
   • 自同构群理论的应用实例

参考文献（关键文献）

本文引用了44篇参考文献，以下是最关键的几篇：

1. 1 Abdón-Torres (1999)：本文研究对象Y₂的原始构造
2. 38 Stichtenoth (2009)：代数函数域和码的标准教材
3. 35 Rück-Stichtenoth (1994)：Hermitian函数域的唯一性刻画
4. 16 Garcia-Stichtenoth-Xing (2000)：Hermitian函数域子域的系统研究，本文方法的重要参考
5. 41 Wesemeyer (1998)：AG码自同构群的一般框架（引理5.1）
6. 43 Xing (1995)：Hermitian码自同构群，本文推广的对象

总体评价：这是一篇高质量的数论/代数几何论文，完整解决了Abdón-Torres函数域自同构群这一公开问题，技术扎实，结果显式，对编码理论有实际应用价值。虽然技术门槛较高且限于偶特征情况，但在其研究范围内做得非常彻底。推荐给从事代数几何码、极大函数域或自同构群研究的学者。