Die Automorphismengruppen eines maximalen Funktionenkörpers mit dem zweitgrößten Geschlecht und seine algebraisch-geometrischen Codes

Grundinformationen

• Paper-ID: 2511.21292
• Titel: The automorphism groups of a maximal function field with the second largest genus and its algebraic geometry codes
• Autoren: Xubin Hu, Liming Ma
• Institution: University of Science and Technology of China (Mathematisches Institut der Universität für Wissenschaft und Technologie Chinas)
• Klassifikation: math.NT (Zahlentheorie)
• Einreichungsdatum: 26. November 2025
• Paper-Link: https://arxiv.org/abs/2511.21292v1

Zusammenfassung

In dieser Arbeit werden die Automorphismengruppen des maximalen Funktionenkörpers mit dem zweitgrößten Geschlecht über endlichen Körpern in gerader Charakteristik untersucht (sogenannter Abdón-Torres-Funktionenkörper). Als Anwendung bestimmen die Autoren die Automorphismengruppen der aus diesem maximalen Funktionenkörper konstruierten Einpunkt-Algebraisch-Geometrischen Codes. Die Untersuchung zeigt, dass außer in trivialen Fällen die Automorphismengruppe des Einpunkt-AG-Codes mit der Automorphismengruppe des Abdón-Torres-Funktionenkörpers übereinstimmt. Darüber hinaus liefern die Autoren durch Betrachtung der Fixkörper bestimmter Untergruppen der Automorphismengruppe des Abdón-Torres-Funktionenkörpers eine Familie maximaler Funktionenkörper mit explizit angegebenen Definitionsgleichungen.

Forschungshintergrund und Motivation

1. Forschungsfragen

Die Kernprobleme dieser Arbeit sind:

• Bestimmung der vollständigen Automorphismengruppe Aut(Y₂/F_{q²}) des Abdón-Torres-Funktionenkörpers Y₂
• Berechnung der Automorphismengruppen der aus diesem Funktionenkörper konstruierten Einpunkt-AG-Codes
• Konstruktion neuer Familien maximaler Funktionenkörper durch Fixkörper von Untergruppen der Automorphismengruppe

2. Bedeutung der Probleme

• Theoretische Bedeutung: Maximale Funktionenkörper sind wichtige Forschungsobjekte in der algebraischen Geometrie und Zahlentheorie. Die Struktur ihrer Automorphismengruppen steht in direktem Zusammenhang mit den geometrischen Eigenschaften des Funktionenkörpers.
• Anwendung in der Codierungstheorie: Die Automorphismengruppe algebraisch-geometrischer Codes ist wichtig für das Verständnis der Codestruktur und die Entwicklung von Decodierungsalgorithmen.
• Konstruktive Bedeutung: Durch Galois-Unterkörper können neue maximale Funktionenkörper systematisch konstruiert werden.

3. Einschränkungen bisheriger Arbeiten

Nach Literaturrecherche:

• Hermitesche Funktionenkörper (maximales Geschlecht g₁ = (q-1)q/2) haben ihre Automorphismengruppen vollständig bestimmt, isomorph zur projektiven unitären Gruppe PGU₃(F_{q²})
• Funktionenkörper mit dem drittgrößten Geschlecht X₃, Y₃, Z₃ hatten ihre Automorphismengruppen in jüngsten Arbeiten bestimmt
• Funktionenkörper mit dem zweitgrößten Geschlecht:
  • Der Fall in ungerader Charakteristik (X₂) ist bekannt
  • Der Fall in gerader Charakteristik (Y₂, d.h. Abdón-Torres-Funktionenkörper) war in der bestehenden Literatur nicht explizit bestimmt

4. Forschungsmotivation

• Schließung der Lücke in der Forschung zur Automorphismengruppe des Abdón-Torres-Funktionenkörpers
• Bereitstellung einer theoretischen Grundlage für die Konstruktion von AG-Codes mit großer Codelänge und guten Parametern
• Systematische Untersuchung der hierarchischen Struktur maximaler Funktionenkörper

Kernbeiträge

Die Hauptbeiträge dieser Arbeit sind:

1. Vollständige Bestimmung der Automorphismengruppe des Abdón-Torres-Funktionenkörpers Y₂ (Theorem 3.7, Proposition 3.8):
   • Beweis, dass Aut(Y₂/F_{q²}) = G(P∞) (Stabilisator des Unendlichpunktes)
   • Explizite Beschreibung der Automorphismengruppe: Halbdirektes Produkt C ⋉ N mit |Aut(Y₂/F_{q²})| = (q+1)q³/2
   • Automorphismen parametrisiert durch {σ(x) = ax+b, σ(y) = y+(abᵍ)²x²+abᵍx+c}, wobei aᵍ⁺¹=1, bᵍ⁺¹=h(c)
2. Berechnung aller Weierstrass-Halbgruppen rationaler Punkte (Proposition 3.5):
   • H(P∞) = ⟨q/2, q+1⟩
   • H(P_{a,b}) = ⟨q-1, q, q+1⟩ (andere rationale Punkte)
3. Vollständige Bestimmung der Automorphismengruppen der Einpunkt-AG-Codes C_m = C(D, mP∞) (Theorem 5.2, 5.8):
   • Für q+1 ≤ m ≤ (q³+q²-4q-2)/2: Aut(C_m) ≅ Aut(Y₂/F_{q²})
   • Für andere m-Werte: Vollständige Klassifikation (einschließlich symmetrischer Gruppen und affiner Gruppen)
4. Konstruktion einer Familie maximaler Funktionenkörper mit expliziten Definitionsgleichungen (Theorem 4.6, Corollaries 4.7-4.8):
   • Systematische Konstruktion durch Fixkörper von Untergruppen der Automorphismengruppe
   • Explizite Formeln für das Geschlecht
5. Berechnung des Verzweigungsverhaltens und der Führer (Propositions 4.1-4.2):
   • Bestimmung der vollständigen Verzweigungsstruktur der Erweiterung Y₂/Y₂^A
   • Berechnung des Führers Cond(Y₂/F_{q²}(x)) = (q+2)·∞

Methodische Erläuterung

Aufgabendefinition

Hauptaufgabe: Bestimmung der Automorphismengruppe des Abdón-Torres-Funktionenkörpers über endlichen Körpern F_{q²} in gerader Charakteristik (q=2ⁿ≥4), wobei dieser Funktionenkörper definiert ist durch: $Y_2 = \mathbb{F}_{q^2}(x,y), \quad h(y) = x^{q+1}$ wobei $h(y) = y^{q/2} + y^{q/4} + \cdots + y^2 + y$

Schlüsseleigenschaften:

• Geschlecht: g(Y₂) = q(q-2)/4 (zweitgrößtes mögliches Geschlecht)
• Anzahl rationaler Punkte: N(Y₂) = 1 + q³/2
• Y₂ ist ein Galois-Unterkörper des hermiteschen Funktionenkörpers

Kernmethodische Architektur

1. Weierstrass-Halbgruppen-Analyse (Abschnitte 3.1-3.2)

Strategie: Bestimmung der Polanzahl durch Berechnung von Hauptdivisoren

Schlüsselberechnungen:

• Für P∞:
  • (x) = -q/2·P∞ + Σ_{b∈Ω} P_{0,b}
  • (y) = (q+1)(P_{0,0} - P∞)
  • Daher H(P∞) = ⟨q/2, q+1⟩
• Für andere rationale Punkte P_{a,b} (Lemmas 3.3-3.4):
  • Konstruktion der Tangentenfunktion t_{a,b} = (y-b) - aᵍ(x-a)
  • Beweis, dass ν_{P_{a,b}}(t_{a,b}) = 2
  • Verwendung der abelschen Varietäten-Theorie zur Existenz einer Funktion f_{a,b} mit (f_{a,b}) = (q+1)(P_{a,b} - P∞)
  • Herleitung von H(P_{a,b}) = ⟨q-1, q, q+1⟩

2. Stabilisator-Bestimmung (Abschnitt 3.1, Proposition 3.1)

Methode: Analyse der Wirkung durch Riemann-Roch-Räume

Für σ ∈ G(P∞) gilt σ(L(nP∞)) = L(nP∞), insbesondere:

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

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

Schlüsselherleitung (Verwendung der strikten Dreiecksungleichung): Aus (σ(x))^{q+1} = h(σ(y)) durch Expansion und Vergleich diskreter Bewertungen erhalten wir:

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

3. Orbit-Analyse (Abschnitt 3.3, Proposition 3.6)

Schlüssel-Lemma: Beweis, dass O(P∞) = {P∞}

Beweisstrategie:

• Annahme: Es existiert σ mit σ(P∞) = P_{a,b}
• Aus dem Hauptdivisor von (x-a) folgt q/2 ∈ H(P_{a,b})
• Dies widerspricht Proposition 3.5 (H(P_{a,b}) = ⟨q-1, q, q+1⟩ enthält nicht q/2)

Folgerung (Theorem 3.7): Nach dem Orbit-Stabilisator-Theorem, $|Aut(Y_2/\mathbb{F}_{q^2})| = |G(P_\infty)| \cdot |O(P_\infty)| = |G(P_\infty)|$

4. Automorphismengruppen algebraisch-geometrischer Codes (Abschnitt 5)

Strategische Kombination:

1. Für kleine m-Werte: Direkte Analyse der Generatormatrix
2. Für mittlere m-Werte: Anwendung des Wesemeyer-Lemmas (Lemma 5.1)
3. Für große m-Werte: Konstruktiver Beweis der Automorphismus-Hebung

Kerntechnik (Beweis von Theorem 5.8):

(a) Hebung zu Automorphismen der x-Koordinate:

• Konstruktion rationaler AG-Codes: C(R, ⌊2m/q⌋(x)∞^{F_{q²}(x)}) = C(R', ⌊2m/q⌋(x)∞^{F_{q²}(x)})
• Anwendung von Lemma 5.6 zur Gewinnung affiner Transformationen σ(x) = ax+b

(b) Hebung zur y-Koordinate:

• Betrachtung der Funktion z = y·∏_{i∈I}(x-x_i) ∈ L(mP∞)
• Schreibweise als w = Σ_^{q/2-1} w_k(x)y^k
• Bestimmung der Form von w_k(x) durch Nullstellen-Analyse
• Verwendung von Lemma 5.7 zur Bestimmung von Koeffizientenbeziehungen

(c) Verifikation der Funktionenkörper-Gleichung:

• Aus h(y'_{j,ℓ}) = (x'_j)^{q+1} Herleitung von Parameterbeziehungen
• Anwendung von Lemma 5.7(2) zur Bestimmung der endgültigen Form

Technische Innovationen

1. Präzise Berechnung von Weierstrass-Halbgruppen:
   • Für P_{a,b} (a≠0) innovative Verwendung von Tangentenfunktionen und abelscher Varietäten-Theorie
   • Vermeidung der komplexen direkten Konstruktion aller Polanzahlen
2. Einfacher Beweis der Orbit-Eindeutigkeit:
   • Direkte Ausschließung anderer Möglichkeiten durch Unterschiede in Weierstrass-Halbgruppen
   • Direkter als traditionelle Verzweigungsanalyse
3. Konstruktive Hebung von AG-Code-Automorphismen:
   • Schrittweise Hebungsstrategie (erst x dann y)
   • Geschickte Verwendung von Inklusions-Ausschluss-Prinzipien für Indexmengen zur Gewährleistung von Parameterkonsistenz
4. Systematische Konstruktion von Fixkörpern:
   • Verwendung der F₂T-Modulstruktur zur einheitlichen Behandlung von Artin-Schreier-Erweiterungen
   • Bereitstellung expliziter Definitionsgleichungen statt nur Existenzaussagen

Experimentelle Einrichtung

Anmerkung: Diese Arbeit ist reine mathematische Theorieforschung ohne numerische Experimente. Alle Ergebnisse sind strenge mathematische Beweise.

Theoretisches Verifikationsgerüst

1. Parameterbereiche: q = 2ⁿ ≥ 4 (endliche Körper in gerader Charakteristik)
2. Verifikationsobjekte:
   • Funktionenkörper Y₂ und seine rationalen Punkte (1+q³/2 Stück)
   • Algebraisch-geometrische Codes C_m für alle m ∈ ℕ
   • Fixkörper-Familien
3. Verifikationsmethoden:
   • Hauptdivisor-Berechnung
   • Anwendung des Riemann-Roch-Theorems
   • Verifikation durch Hurwitz-Geschlechtsformel
   • Orbit-Stabilisator-Theorem

Experimentelle Ergebnisse

Haupttheoreme

Theorem 3.7 (Automorphismengruppen-Struktur)

Ergebnis: Aut(Y₂/F_{q²}) = G(P∞), parametrisiert durch folgende Automorphismen: