I gruppi di automorfismi di un campo di funzioni massimale con il secondo genere più grande e i suoi codici di geometria algebrica

Informazioni di base

• ID articolo: 2511.21292
• Titolo: The automorphism groups of a maximal function field with the second largest genus and its algebraic geometry codes
• Autori: Xubin Hu, Liming Ma
• Istituzione: University of Science and Technology of China (Scuola di Scienze Matematiche, Università di Scienza e Tecnologia della Cina)
• Classificazione: math.NT (Teoria dei numeri)
• Data di presentazione: 26 novembre 2025
• Link articolo: https://arxiv.org/abs/2511.21292v1

Riassunto

Questo articolo studia i gruppi di automorfismi dei campi di funzioni massimali con il secondo genere più grande su campi finiti di caratteristica pari (denominati campi di funzioni Abdón-Torres). Come applicazione, gli autori determinano i gruppi di automorfismi dei codici di geometria algebrica a un punto costruiti da questo campo di funzioni massimale. La ricerca mostra che, al di là dei casi banali, il gruppo di automorfismi del codice di geometria algebrica a un punto coincide con il gruppo di automorfismi del campo di funzioni Abdón-Torres. Inoltre, considerando i campi fissi di certi sottogruppi del gruppo di automorfismi del campo di funzioni Abdón-Torres, gli autori forniscono una famiglia di campi di funzioni massimali con equazioni di definizione esplicite.

Contesto e motivazione della ricerca

1. Problemi di ricerca

I problemi fondamentali affrontati in questo articolo sono:

• Determinare il gruppo di automorfismi completo Aut(Y₂/F_{q²}) del campo di funzioni Abdón-Torres Y₂
• Calcolare il gruppo di automorfismi dei codici di geometria algebrica a un punto costruiti da questo campo di funzioni
• Costruire nuove famiglie di campi di funzioni massimali attraverso i campi fissi del gruppo di automorfismi

2. Importanza del problema

• Significato teorico: I campi di funzioni massimali sono oggetti di ricerca importanti in geometria algebrica e teoria dei numeri; la struttura del loro gruppo di automorfismi è direttamente correlata alle proprietà geometriche del campo di funzioni
• Applicazioni alla teoria dei codici: Il gruppo di automorfismi dei codici di geometria algebrica è essenziale per comprendere la struttura del codice e progettare algoritmi di decodifica
• Significato costruttivo: Attraverso i sottocampi di Galois è possibile costruire sistematicamente nuovi campi di funzioni massimali

3. Limitazioni dei lavori precedenti

Secondo la revisione della letteratura:

• Campi di funzioni Hermitiani (genere massimo g₁ = (q-1)q/2): il gruppo di automorfismi è stato completamente determinato, isomorfo al gruppo unitario proiettivo PGU₃(F_{q²})
• Campi di funzioni massimali con il terzo genere più grande X₃, Y₃, Z₃: i loro gruppi di automorfismi sono stati determinati in ricerche recenti
• Caso del secondo genere più grande:
  • Il gruppo di automorfismi nel caso di caratteristica dispari (X₂) è noto
  • Il gruppo di automorfismi nel caso di caratteristica pari (Y₂, cioè il campo di funzioni Abdón-Torres) non era stato esplicitamente determinato nella letteratura esistente

4. Motivazione della ricerca

• Colmare il vuoto nella ricerca del gruppo di automorfismi del campo di funzioni Abdón-Torres
• Fornire fondamenti teorici per la costruzione di codici di geometria algebrica con lunghezza di codice lunga e buoni parametri
• Studiare sistematicamente la struttura gerarchica dei campi di funzioni massimali

Contributi principali

I principali contributi di questo articolo includono:

1. Determinazione completa della struttura del gruppo di automorfismi del campo di funzioni Abdón-Torres Y₂ (Teorema 3.7, Proposizione 3.8):
   • Dimostrazione che Aut(Y₂/F_{q²}) = G(P∞) (stabilizzatore del punto all'infinito)
   • Descrizione esplicita del gruppo di automorfismi: struttura di prodotto semidiretto C ⋉ N, dove |Aut(Y₂/F_{q²})| = (q+1)q³/2
   • Gli automorfismi sono parametrizzati da {σ(x) = ax+b, σ(y) = y+(abᵍ)²x²+abᵍx+c}, dove aᵍ⁺¹=1, bᵍ⁺¹=h(c)
2. Calcolo dei semigruppi di Weierstrass di tutti i punti razionali (Proposizione 3.5):
   • H(P∞) = ⟨q/2, q+1⟩
   • H(P_{a,b}) = ⟨q-1, q, q+1⟩ (altri punti razionali)
3. Determinazione completa del gruppo di automorfismi dei codici di geometria algebrica a un punto C_m = C(D, mP∞) (Teorema 5.2, 5.8):
   • Per q+1 ≤ m ≤ (q³+q²-4q-2)/2: Aut(C_m) ≅ Aut(Y₂/F_{q²})
   • Per altri valori di m: classificazione completa (inclusi casi di gruppi simmetrici e affini)
4. Costruzione di una famiglia di campi di funzioni massimali con equazioni di definizione esplicite (Teorema 4.6, Corollari 4.7-4.8):
   • Costruzione sistematica attraverso i campi fissi dei sottogruppi del gruppo di automorfismi
   • Fornisce formule esplicite per il genere
5. Calcolo del comportamento di ramificazione e del conduttore (Proposizioni 4.1-4.2):
   • Determinazione della struttura di ramificazione completa nell'estensione Y₂/Y₂^A
   • Calcolo del conduttore Cond(Y₂/F_{q²}(x)) = (q+2)·∞

Spiegazione dettagliata dei metodi

Definizione del compito

Compito principale: Determinare il gruppo di automorfismi del campo di funzioni Abdón-Torres su campi finiti F_{q²} di caratteristica pari (q=2ⁿ≥4), dove il campo di funzioni è definito come: $Y_2 = \mathbb{F}_{q^2}(x,y), \quad h(y) = x^{q+1}$ dove $h(y) = y^{q/2} + y^{q/4} + \cdots + y^2 + y$

Proprietà chiave:

• Genere: g(Y₂) = q(q-2)/4 (secondo genere più grande possibile)
• Numero di punti razionali: N(Y₂) = 1 + q³/2
• Y₂ è un sottocampo di Galois del campo di funzioni Hermitiano

Architettura del metodo principale

1. Analisi del semigruppo di Weierstrass (Sezioni 3.1-3.2)

Strategia: Determinare il numero di poli attraverso il calcolo dei divisori principali

Calcoli chiave:

• Per P∞:
  • (x) = -q/2·P∞ + Σ_{b∈Ω} P_{0,b}
  • (y) = (q+1)(P_{0,0} - P∞)
  • Pertanto H(P∞) = ⟨q/2, q+1⟩
• Per altri punti razionali P_{a,b} (Lemmi 3.3-3.4):
  • Costruzione della funzione tangente t_{a,b} = (y-b) - aᵍ(x-a)
  • Dimostrazione che ν_{P_{a,b}}(t_{a,b}) = 2
  • Utilizzo della teoria delle varietà abeliane per l'esistenza di una funzione f_{a,b} che soddisfa (f_{a,b}) = (q+1)(P_{a,b} - P∞)
  • Derivazione di H(P_{a,b}) = ⟨q-1, q, q+1⟩

2. Determinazione dello stabilizzatore (Sezione 3.1, Proposizione 3.1)

Metodo: Analisi dell'azione attraverso gli spazi di Riemann-Roch

Per σ ∈ G(P∞), si ha σ(L(nP∞)) = L(nP∞), in particolare:

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

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

Derivazione chiave (utilizzo della disuguaglianza triangolare stretta): Dall'espansione di (σ(x))^{q+1} = h(σ(y)) e confrontando le valutazioni discrete, si ottiene:

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

3. Analisi dell'orbita (Sezione 3.3, Proposizione 3.6)

Lemma chiave: Dimostrazione che O(P∞) = {P∞}

Strategia della dimostrazione:

• Supponiamo che esista σ tale che σ(P∞) = P_{a,b}
• Dal divisore principale di (x-a) sappiamo che q/2 ∈ H(P_{a,b})
• Ma questo contraddice la Proposizione 3.5 (H(P_{a,b}) = ⟨q-1, q, q+1⟩ non contiene q/2)

Conclusione (Teorema 3.7): Per il teorema orbita-stabilizzatore, $|Aut(Y_2/\mathbb{F}_{q^2})| = |G(P_\infty)| \cdot |O(P_\infty)| = |G(P_\infty)|$

4. Gruppo di automorfismi dei codici di geometria algebrica (Sezione 5)

Strategia combinata:

1. Per piccoli valori di m: Analisi diretta della matrice generatrice
2. Per valori medi di m: Applicazione del lemma di Wesemeyer (Lemma 5.1)
3. Per grandi valori di m: Dimostrazione costruttiva del sollevamento degli automorfismi

Tecnica principale (Dimostrazione del Teorema 5.8):

(a) Sollevamento all'automorfismo della coordinata x:

• Costruzione del codice AG razionale: C(R, ⌊2m/q⌋(x)∞^{F_{q²}(x)}) = C(R', ⌊2m/q⌋(x)∞^{F_{q²}(x)})
• Applicazione del Lemma 5.6 per ottenere la trasformazione affine σ(x) = ax+b

(b) Sollevamento alla coordinata y:

• Considerazione della funzione z = y·∏_{i∈I}(x-x_i) ∈ L(mP∞)
• Scrittura come w = Σ_^{q/2-1} w_k(x)y^k
• Determinazione della forma di w_k(x) attraverso l'analisi degli zeri
• Utilizzo del Lemma 5.7 per determinare le relazioni tra i coefficienti

(c) Verifica dell'equazione del campo di funzioni:

• Derivazione delle relazioni parametriche da h(y'_{j,ℓ}) = (x'_j)^{q+1}
• Applicazione del Lemma 5.7(2) per determinare la forma finale

Punti di innovazione tecnica

1. Calcolo preciso del semigruppo di Weierstrass:
   • Per il caso P_{a,b} (a≠0), utilizzo innovativo della funzione tangente e della teoria delle varietà abeliane
   • Evita il calcolo complesso della costruzione diretta di tutti i numeri di poli
2. Dimostrazione concisa dell'unicità dell'orbita:
   • Esclusione diretta di altre possibilità attraverso la differenza nei semigruppi di Weierstrass
   • Più diretto rispetto all'analisi tradizionale della ramificazione
3. Sollevamento costruttivo degli automorfismi dei codici di geometria algebrica:
   • Strategia di sollevamento per fasi (prima x poi y)
   • Utilizzo abile del principio di inclusione-esclusione dell'insieme di indici per garantire la coerenza dei parametri
4. Costruzione sistematica dei campi fissi:
   • Utilizzo della struttura di modulo F₂T per trattare uniformemente le estensioni di Artin-Schreier
   • Fornisce equazioni di definizione esplicite piuttosto che solo risultati di esistenza

Configurazione sperimentale

Nota: Questo articolo è una ricerca teorica di matematica pura e non comporta esperimenti numerici. Tutti i risultati sono dimostrazioni matematiche rigorose.

Quadro di verifica teorica

1. Intervalli di parametri: q = 2ⁿ ≥ 4 (campi finiti di caratteristica pari)
2. Oggetti di verifica:
   • Campo di funzioni Y₂ e i suoi punti razionali (1+q³/2 punti)
   • Codici di geometria algebrica C_m per tutti gli m ∈ ℕ
   • Famiglia di campi fissi
3. Metodi di verifica:
   • Calcolo dei divisori principali
   • Applicazione del teorema di Riemann-Roch
   • Verifica della formula del genere di Hurwitz
   • Teorema orbita-stabilizzatore

Risultati sperimentali

Risultati dei teoremi principali

Teorema 3.7 (Struttura del gruppo di automorfismi)

Risultato: Aut(Y₂/F_{q²}) = G(P∞), parametrizzato dai seguenti automorfismi: