Minimal $a$-numbers of Artin--Schreier covers of ordinary curves

1. Contesto e Problema

Il lavoro si inserisce nello studio delle curve algebriche in caratteristica $p > 0$. L'oggetto centrale è l'a-numero ($a_Z$) di una curva $Z$, definita come la dimensione dello spazio nullo dell'operatore di Cartier $C$ agendo sullo spazio delle forme differenziali regolari $H^0(Z, \Omega^1_Z)$. L'a-numero misura la complessità della parte $p$-torsione del gruppo di Jacobiano della curva; in particolare, $a_Z = 0$ corrisponde a curve ordinarie, mentre $a_Z = g_Z$ (genere della curva) corrisponde a curve supersingolari.

Il problema specifico affrontato riguarda i rivestimenti di Artin-Schreier di una curva $X = \mathbb{P}^1$ (o più in generale di una curva ordinaria). Dati un intero positivo $d$ non divisibile per $p$ e un polinomio $f(x)$ di grado $d$, si considera la curva $Y$ definita dall'equazione:
$$y^p - y = f(x)$$
Booher e Cais avevano precedentemente stabilito dei limiti inferiori e superiori per l'a-numero di tali curve. Sebbene questi limiti coincidessero per $p=2$, per $p > 2$ rimaneva aperta la questione se il limite inferiore fosse effettivamente raggiungibile (cioè "ottimale") per ogni $p$ e ogni ordine di polo $d$.

2. Obiettivo Principale

L'obiettivo del paper è dimostrare che il limite inferiore per l'a-numero fornito da Booher e Cais è ottimale (tight) per ogni caratteristica $p$ e per ogni ordine di polo $d$. In altre parole, gli autori costruiscono esplicitamente una famiglia di curve di Artin-Schreier che realizzano il minimo possibile per l'a-numero.

3. Metodologia e Strategia di Dimostrazione

La strategia si basa sull'analisi fine dell'azione dell'operatore di Cartier $C$ su uno spazio vettoriale filtrato di forme differenziali.

A. Costruzione di una Base e Filtrazione

Gli autori definiscono una base specifica per lo spazio delle forme differenziali regolari $H = H^0(Y, \Omega^1_Y)$ utilizzando i monomi della forma:
$$\omega_{i,j} = y^{j-1} x^{i-1} dx$$
dove $0 < j < p$ e $0 < i < \frac{(p-j)d}{p}$.
Vengono poi introdotti dei sottospazi filtrati $H_{\le J}$ e $H_J$ basati sull'indice $j$, e sottospazi ausiliari $H(\ell, e)$ che dipendono dai coefficienti del polinomio $f(x)$.

B. Analisi dell'Operatore di Cartier

Il cuore della dimostrazione risiede nello studio della restrizione dell'operatore $C$ ai sottospazi filtrati.

1. Si dimostra che per un polinomio generico $f$ (in un insieme aperto di Zariski $U$), la mappa $C$ induce una suriezione su certi quozienti di spazi.
2. Si definisce una mappa $\Phi_J$ che collega i sottospazi $'H_J$ (complemento di $pH_J$) a una somma diretta di spazi $H(\ell, J)$.
3. L'obiettivo è provare che $\Phi_J$ è suriettiva per $J \le (p+1)/2$ e iniettiva per $J \ge (p+1)/2$.

C. Dimostrazione Algebrica tramite Matrici

Per provare le proprietà di iniettività/suriettività di $\Phi_J$, gli autori:

• Costruiscono la matrice che rappresenta $\Phi_J$ rispetto alle basi definite sopra.
• Considerano i coefficienti del polinomio $f(x) = a_0 + \dots + a_d x^d$ come variabili indeterminate nel anello dei polinomi $S = k[a_0, \dots, a_d]$.
• Dimostrano che il determinante di un minore quadrato massimale di questa matrice è un polinomio non nullo in $S$.
• Utilizzano un ordinamento monomiale (lexicografico pesato) per identificare un termine di leading monomial unico nel determinante, garantendo che questo non si cancelli. Questo implica che il determinante non è identicamente zero.
• Di conseguenza, l'insieme dei punti dove il determinante si annulla è un sottoinsieme chiuso di Zariski proprio, e il suo complementare $U$ è un insieme aperto non vuoto dove la matrice ha rango massimo.

4. Risultati Principali

Teorema 1.3 (Risultato Principale)

Esiste un sottoinsieme aperto non vuoto di Zariski $U$ nello spazio dei polinomi di grado $d$ tale che, per ogni $f \in U(k)$, l'a-numero della curva $Y: y^p - y = f(x)$ è dato esattamente dalla formula:
$$a_Y = L(d) = \sum_{\ell=1}^{(p-1)/2} \left\lfloor \frac{(p-\ell)d}{p} \right\rfloor - \left\lfloor \frac{(p^2 + 1 - 2\ell p)d}{2p^2} \right\rfloor$$
Questo valore coincide con il limite inferiore precedentemente congetturato da Booher, Cais e collaboratori.

Corollario 1.4 (Generalizzazione)

Il risultato si estende a rivestimenti di Artin-Schreier di curve ordinarie generali $X$ (con $a_X=0$). Se si fissano punti di ramificazione $P_1, \dots, P_B$ e invarianti di ramificazione $d_1, \dots, d_B$ (tutti primi con $p$), esiste un rivestimento ramificato esattamente in quei punti con tali invarianti tale che l'a-numero della curva ricoprente $Y$ è minimo e dato da:
$$a_Y = \sum_{b=1}^B L(d_b)$$

5. Significato e Impatto

• Chiusura di una congettura: Il lavoro dimostra definitivamente che il limite inferiore per l'a-numero di Artin-Schreier è ottimale per ogni caratteristica $p$ e ogni grado $d$, risolvendo un problema aperto nella teoria delle curve in caratteristica positiva.
• Struttura dei gruppi di torsione: Fornisce una comprensione più profonda della struttura dei gruppi di torsione $p$-torsonali dei Jacobiani di queste curve, mostrando che è possibile costruire curve con strutture di torsione "minime" (nel senso dell'a-numero) in modo sistematico.
• Metodologia innovativa: L'uso di un'analisi combinatoria fine delle matrici di Cartier su spazi di polinomi generici, combinata con tecniche di ordinamento monomiale per dimostrare la non-nullità dei determinanti, offre un nuovo strumento potente per lo studio di operatori differenziali in geometria aritmetica.
• Applicabilità: Il risultato è valido per campi perfetti e, tramite estensione, garantisce l'esistenza di tali curve su campi algebricamente chiusi, fornendo esempi concreti per la teoria di Ekedahl-Oort.

In sintesi, il paper fornisce una costruzione esplicita e una prova rigorosa dell'ottimalità dei limiti inferiori per l'a-numero, chiudendo un capitolo importante nella classificazione delle curve di Artin-Schreier.