第二大亏格を持つ極大関数体の自己同型群とその代数幾何符号

基本情報

• 論文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
• 所属機関: 中国科学技術大学数学科学学院
• 分類: 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を証明
  • アーベル多様体理論を利用して(f_{a,b}) = (q+1)(P_{a,b} - P∞)を満たす関数f_{a,b}の存在を示す
  • 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）の場合、接線関数とアーベル多様体理論を創新的に使用
   • すべての極点数を直接構成する複雑な計算を回避
2. 軌道唯一性の簡潔な証明：
   • Weierstrass半群の相違を通じて他の可能性を直接排除
   • 従来の分岐分析よりも直接的
3. 代数幾何符号の自己同型の構成的な持ち上げ：
   • 段階的な持ち上げ戦略（先にx、その後y）
   • 指標集合の包含-排斥原理を巧妙に利用してパラメータの一貫性を保証
4. 不動体の体系的な構成：
   • F₂T加群構造を利用してArtin-Schreier拡張を統一的に処理
   • 存在性の結果だけでなく明示的な定義方程式を提供

実験設定

注：本論文は純粋数学の理論研究であり、数値実験は含まれない。すべての結果は厳密な数学的証明である。

理論検証フレームワーク

1. パラメータ範囲：q = 2ⁿ ≥ 4（偶標数有限体）
2. 検証対象：
   • 関数体Y₂およびその有理点（1+q³/2個）
   • すべてのm ∈ ℕに対する代数幾何符号C_m
   • 不動体族
3. 検証方法：
   • 主除子計算
   • Riemann-Roch定理の応用
   • Hurwitz亏格公式の検証
   • 軌道-安定化部分群定理

実験結果

主要な定理結果

定理3.7（自己同型群構造）

結果：Aut(Y₂/F_{q²}) = G(P∞)は、以下の自己同型でパラメータ化される：