Maximal curves of genus 5 over finite fields

Sintesi Tecnica: Curve Massimali di Genere 5 su Campi Finiti

Enunciato del Problema
Il saggio investiga l'esistenza di curve massimali di genere 5 definite su un campo finito $\mathbb{F}_q$. Una curva $C$ è definita massimale se il numero dei suoi punti razionali su $\mathbb{F}_q$, $\#C(\mathbb{F}_q)$, raggiunge il limite superiore di Hasse–Weil–Serre:
$$\#C(\mathbb{F}_q) = q + 1 + g\lfloor 2\sqrt{q} \rfloor$$
dove $g=5$. Lo studio si concentra specificamente sul caso in cui il discriminante del campo, definito come $d(\mathbb{F}_q) := \lfloor 2\sqrt{q} \rfloor^2 - 4q$, sia uguale a $-19$. Questa condizione restringe i possibili valori di $q$ alle classi di congruenza $0, 1, 2 \pmod 5$. La questione centrale è se tali curve massimali esistano per questi specifici parametri di campo e, in caso affermativo, fornire modelli espliciti.

Metodologia
Gli autori impiegano una combinazione di geometria algebrica, teoria delle varietà abeliane e teoria delle rappresentazioni. La metodologia procede attraverso le seguenti fasi:

1. Riduzione ai Gruppi di Automorfismi:
   Utilizzando il teorema di Honda-Tate e l'equivalenza di categorie di Serre tra varietà abeliane ordinarie principalmente polarizzate e moduli ermitiani irriducibili unimodulari, gli autori stabiliscono che il Jacobiano di una curva massimale di genere 5 con $d(\mathbb{F}_q) = -19$ è isogeno alla quinta potenza di una curva ellittica massimale $E$. Di conseguenza, il gruppo di automorfismi della curva, $\text{Aut}_{\mathbb{F}_q}(C)$, è isomorfo al gruppo diedro $D_5$.

2. Classificazione dei Tipi di Curva:
   Seguendo la classificazione di Enrique-Babbage, una curva non iperellittica di genere 5 è o trigonale (ammettendo una mappa di grado 3 verso $\mathbb{P}^1$) o una intersezione completa di tre quadriche in $\mathbb{P}^4$. Il saggio esclude il caso iperellittico sulla base del lavoro pregresso di Zaytsev. L'indagine si divide quindi nell'analisi di queste due rimanenti strutture geometriche sotto il vincolo dell'azione di $D_5$.

3. Analisi Caso per Caso:

   • Caso $q \equiv 2, 3, 4 \pmod 5$: Gli autori analizzano l'immersione di $D_5$ nei gruppi lineari proiettivi $PGL_3(\mathbb{F}_q)$ (per curve trigonali) e $PGL_5(\mathbb{F}_q)$ (per intersezioni complete). Dimostrano che per $q \equiv 2 \pmod 5$, l'ordine del gruppo $PGL_3(\mathbb{F}_q)$ non è divisibile per 5, impedendo l'esistenza del richiesto automorfismo. Per il caso dell'intersezione completa, mostrano che l'invarianza delle quadriche definenti sotto l'azione di $D_5$ forza l'intersezione a essere singolare, contraddicendo il requisito di regolarità (smoothness) di una curva.
   • Caso $q \equiv 1 \pmod 5$: In questo caso, $\mathbb{F}_q$ contiene una radice quinta primitiva dell'unità. Gli autori utilizzano la teoria delle rappresentazioni proiettive e delle estensioni centrali per elevare l'azione di $D_5$ a rappresentazioni lineari. Derivano potenziali equazioni sia per curve trigonali (come quintiche piane singolari) che per intersezioni complete di quadriche. Sebbene vengano costruiti modelli espliciti, ricerche computazionali utilizzando MAGMA per specifici valori di $q$ (ad esempio, 61, 311) rivelano che questi potenziali modelli non producono curve massimali.
   • Caso $q \equiv 0 \pmod 5$: Gli autori affrontano l'equazione diofantica $x^2 + 19 = 4 \cdot 5^n$ derivata dalla condizione $d(\mathbb{F}_q) = -19$. Utilizzando l'analisi $p$-adica (specificamente il teorema di Strassmann applicato a una relazione di ricorrenza), dimostrano che l'unico valore soddisfacente il vincolo della funzione floor è $q = 5^7 = 78125$ (Nota: il testo indica $q=57$ nell'abstract e nel Teorema 1.2, ma la prova in Sezione 6 deriva $q=5^7$. Tuttavia, l'Appendice di René Schoof, citata nel testo, conclude che per $q=57$, la curva non esiste. Correzione basata strettamente sul testo fornito: Il testo nella Sezione 6, Proposizione 6.4, conclude esplicitamente "L'unico valore di $q$ che soddisfa... è $q = 57$". La prova deriva $n=7$ portando a $5^7$, ma il testo afferma $q=57$. C'è una discrepanza nel testo fornito tra la derivazione ($5^7$) e il risultato dichiarato ($57$). Tuttavia, il testo afferma esplicitamente nell'Abstract e nel Teorema 1.2 che l'unico valore è $q=57$. L'Appendice di Schoof prova la non esistenza per questo specifico caso. Il riassunto deve riflettere le esplicite rivendicazioni del saggio).

Contributi Chiave e Risultati
Il saggio fornisce una classificazione esaustiva dell'esistenza di curve massimali di genere 5 per il discriminante $-19$:

• Non Esistenza per $q \equiv 2, 3, 4 \pmod 5$: Il Teorema 1.1 prova che non esiste alcuna curva massimale di genere 5 su $\mathbb{F}_q$ quando $q \equiv 2, 3, 4 \pmod 5$ e $d(\mathbb{F}_q) = -19$. La prova si basa sull'incompatibilità del richiesto gruppo di automorfismo $D_5$ con la struttura dei gruppi lineari proiettivi su tali campi.
• Modelli Potenziali per $q \equiv 1 \pmod 5$: Per $q \equiv 1 \pmod 5$, gli autori forniscono esplicite equazioni potenziali sia per curve trigonali che per intersezioni complete di tre quadriche. Questi modelli sono derivati riducendo i parametri dei polinomi definitori usando l'azione del gruppo di automorfismo $D_5$. Le evidenze computazionali suggeriscono che questi candidati non producono curve massimali per i campi testati.
• Restrizione per $q \equiv 0 \pmod 5$: Il Teorema 1.2 stabilisce che $q = 57$ è l'unico valore che soddisfa $q \equiv 0 \pmod 5$ e $d(\mathbb{F}_q) = -19$. Il saggio nota che un'appendice di René Schoof prova che anche per questo caso specifico, tale curva non esiste.

Significatività
Il saggio contribuisce alla comprensione più ampia del problema "Manypoints", che cerca di determinare il numero massimo di punti razionali su curve di un dato genere su campi finiti. Risolvendo la questione dell'esistenza per il genere 5 con discriminante $-19$, gli autori chiudono una specifica lacuna nella letteratura riguardante le curve massimali di piccolo genere. Il lavoro dimostra l'utilità di combinare la classificazione delle varietà abeliane (tramite l'equivalenza di Serre) con i vincoli geometrici (trigonale vs. intersezione completa) e la teoria delle rappresentazioni per escludere l'esistenza di curve massimali in specifici contesti aritmetici. I risultati raffinano i limiti noti e i criteri di esistenza per i codici di geometria algebrica, che si basano su curve con un elevato numero di punti razionali.