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

Basic Information

• Paper ID: 2511.21292
• Title: The automorphism groups of a maximal function field with the second largest genus and its algebraic geometry codes
• Authors: Xubin Hu, Liming Ma
• Affiliation: School of Mathematical Sciences, University of Science and Technology of China
• Classification: math.NT (Number Theory)
• Submission Date: November 26, 2025
• Paper Link: https://arxiv.org/abs/2511.21292v1

Abstract

This paper investigates the automorphism groups of the Abdón-Torres function field, a maximal function field with the second largest genus over finite fields of even characteristic. As an application, the authors determine the automorphism groups of single-point algebraic geometry codes constructed from this maximal function field. The research demonstrates that, except for trivial cases, the automorphism group of the single-point algebraic geometry code coincides with that of the Abdón-Torres function field. Furthermore, by considering fixed fields of certain subgroups of the automorphism group of the Abdón-Torres function field, the authors provide a family of maximal function fields with explicit defining equations.

Research Background and Motivation

1. Core Research Questions

The paper addresses the following fundamental problems:

• Determine the complete automorphism group Aut(Y₂/F_{q²}) of the Abdón-Torres function field Y₂
• Compute the automorphism groups of single-point algebraic geometry codes constructed from this function field
• Construct new families of maximal function fields through fixed fields of automorphism group subgroups

2. Significance of the Problems

• Theoretical Significance: Maximal function fields are important research objects in algebraic geometry and number theory. The structure of their automorphism groups directly relates to the geometric properties of the function fields.
• Coding Theory Applications: The automorphism groups of algebraic geometry codes are crucial for understanding code structure and designing decoding algorithms.
• Construction Significance: Galois subfields provide a systematic method for constructing new families of maximal function fields.

3. Limitations of Existing Work

According to the literature review:

• Hermitian function fields (with maximum genus g₁ = (q-1)q/2) have completely determined automorphism groups, isomorphic to the projective unitary group PGU₃(F_{q²})
• Third largest genus maximal function fields X₃, Y₃, Z₃ have had their automorphism groups determined in recent research
• Second largest genus case:
  • The automorphism group of the odd characteristic case (X₂) is known
  • The automorphism group of the even characteristic case (Y₂, the Abdón-Torres function field) has not been explicitly determined in existing literature

4. Research Motivation

• Fill the gap in research on automorphism groups of the Abdón-Torres function field
• Provide theoretical foundations for constructing long-length algebraic geometry codes with good parameters
• Systematically study the hierarchical structure of maximal function fields

Core Contributions

The main contributions of this paper include:

1. Complete determination of the automorphism group structure of the Abdón-Torres function field Y₂ (Theorem 3.7, Proposition 3.8):
   • Proves that Aut(Y₂/F_{q²}) = G(P∞) (the stabilizer of the infinite point)
   • Provides explicit description of the automorphism group: semidirect product structure C ⋉ N, where |Aut(Y₂/F_{q²})| = (q+1)q³/2
   • Automorphisms are parameterized by {σ(x) = ax+b, σ(y) = y+(abᵍ)²x²+abᵍx+c}, where aᵍ⁺¹=1, bᵍ⁺¹=h(c)
2. Computation of Weierstrass semigroups at all rational points (Proposition 3.5):
   • H(P∞) = ⟨q/2, q+1⟩
   • H(P_{a,b}) = ⟨q-1, q, q+1⟩ (for other rational points)
3. Complete determination of automorphism groups of single-point algebraic geometry codes C_m = C(D, mP∞) (Theorems 5.2, 5.8):
   • For q+1 ≤ m ≤ (q³+q²-4q-2)/2: Aut(C_m) ≅ Aut(Y₂/F_{q²})
   • For other m values: complete classification provided (including symmetric groups and affine group cases)
4. Construction of a family of maximal function fields with explicit defining equations (Theorem 4.6, Corollaries 4.7-4.8):
   • Systematic construction through fixed fields of automorphism group subgroups
   • Explicit formulas for genera provided
5. Computation of ramification behavior and differents (Propositions 4.1-4.2):
   • Determination of complete ramification structure in the extension Y₂/Y₂^A
   • Computation of the different Cond(Y₂/F_{q²}(x)) = (q+2)·∞

Methodology Details

Task Definition

Main Task: Determine the automorphism group of the Abdón-Torres function field over finite fields F_{q²} of even characteristic (q=2ⁿ≥4), where the function field is defined as: $Y_2 = \mathbb{F}_{q^2}(x,y), \quad h(y) = x^{q+1}$ where $h(y) = y^{q/2} + y^{q/4} + \cdots + y^2 + y$

Key Properties:

• Genus: g(Y₂) = q(q-2)/4 (the second largest possible genus)
• Number of rational points: N(Y₂) = 1 + q³/2
• Y₂ is a Galois subfield of the Hermitian function field

Core Methodological Framework

1. Weierstrass Semigroup Analysis (Sections 3.1-3.2)

Strategy: Determine the pole numbers through principal divisor calculations

Key Computations:

• For P∞:
  • (x) = -q/2·P∞ + Σ_{b∈Ω} P_{0,b}
  • (y) = (q+1)(P_{0,0} - P∞)
  • Therefore H(P∞) = ⟨q/2, q+1⟩
• For other rational points P_{a,b} (Lemmas 3.3-3.4):
  • Construct tangent function t_{a,b} = (y-b) - aᵍ(x-a)
  • Prove ν_{P_{a,b}}(t_{a,b}) = 2
  • Apply abelian variety theory to establish existence of function f_{a,b} satisfying (f_{a,b}) = (q+1)(P_{a,b} - P∞)
  • Derive H(P_{a,b}) = ⟨q-1, q, q+1⟩

2. Stabilizer Determination (Section 3.1, Proposition 3.1)

Method: Analysis through the action on Riemann-Roch spaces

For σ ∈ G(P∞), we have σ(L(nP∞)) = L(nP∞), in particular:

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

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

Key Derivation (using strict triangle inequality): Expanding (σ(x))^{q+1} = h(σ(y)) and comparing discrete valuations yields:

• aᵍ⁺¹ = Eᵍ/² = 1, therefore E = 1
• A = (abᵍ)²
• B = abᵍ
• bᵍ⁺¹ = h(c)

3. Orbit Analysis (Section 3.3, Proposition 3.6)

Key Lemma: Prove that O(P∞) = {P∞}

Proof Strategy:

• Assume there exists σ such that σ(P∞) = P_{a,b}
• From the principal divisor of (x-a), we have q/2 ∈ H(P_{a,b})
• This contradicts Proposition 3.5 (H(P_{a,b}) = ⟨q-1, q, q+1⟩ does not contain q/2)

Conclusion (Theorem 3.7): By the orbit-stabilizer theorem, $|Aut(Y_2/\mathbb{F}_{q^2})| = |G(P_\infty)| \cdot |O(P_\infty)| = |G(P_\infty)|$

4. Automorphism Groups of Algebraic Geometry Codes (Section 5)

Strategy Combination:

1. For small m values: Direct analysis of generator matrices
2. For intermediate m values: Apply Wesemeyer's lemma (Lemma 5.1)
3. For large m values: Constructive proof of automorphism lifting

Core Technique (Proof of Theorem 5.8):

(a) Lifting to automorphisms of the x-coordinate:

• Construct rational AG code: C(R, ⌊2m/q⌋(x)∞^{F_{q²}(x)}) = C(R', ⌊2m/q⌋(x)∞^{F_{q²}(x)})
• Apply Lemma 5.6 to obtain affine transformation σ(x) = ax+b

(b) Lifting to the y-coordinate:

• Consider function z = y·∏_{i∈I}(x-x_i) ∈ L(mP∞)
• Write as w = Σ_^{q/2-1} w_k(x)y^k
• Determine the form of w_k(x) through zero analysis
• Use Lemma 5.7 to determine coefficient relationships

(c) Verification of function field equation:

• Derive parameter relationships from h(y'_{j,ℓ}) = (x'_j)^{q+1}
• Apply Lemma 5.7(2) to determine final form

Technical Innovations

1. Precise computation of Weierstrass semigroups:
   • For P_{a,b} (a≠0), innovatively use tangent functions and abelian variety theory
   • Avoid the complexity of directly constructing all pole numbers
2. Concise proof of orbit uniqueness:
   • Directly exclude other possibilities through differences in Weierstrass semigroups
   • More direct than traditional ramification analysis
3. Constructive lifting of automorphisms of algebraic geometry codes:
   • Step-by-step lifting strategy (x first, then y)
   • Cleverly apply inclusion-exclusion principle on index sets to ensure parameter consistency
4. Systematic construction of fixed fields:
   • Utilize F₂T-module structure to uniformly handle Artin-Schreier extensions
   • Provide explicit defining equations rather than merely existence results

Experimental Setup

Note: This is pure mathematical theoretical research with no numerical experiments. All results are rigorous mathematical proofs.

Theoretical Verification Framework

1. Parameter Range: q = 2ⁿ ≥ 4 (finite fields of even characteristic)
2. Objects of Verification:
   • Function field Y₂ and its rational points (1+q³/2 points)
   • Algebraic geometry codes C_m for all m ∈ ℕ
   • Fixed field families
3. Verification Methods:
   • Principal divisor calculations
   • Application of Riemann-Roch theorem
   • Verification via Hurwitz genus formula
   • Orbit-stabilizer theorem

Experimental Results

Main Theorem Results

Theorem 3.7 (Automorphism Group Structure)

Result: Aut(Y₂/F_{q²}) = G(P∞), parameterized by automorphisms: