Ekedahl-Oort types of $\mathbb{Z}/2\mathbb{Z}$-covers in characteristic $2$

1. Il Problema di Ricerca

L'articolo si concentra sullo studio delle proprietà algebriche delle curve in caratteristica positiva, specificamente in caratteristica 2. Il problema centrale è determinare come l'tipo di Ekedahl-Oort (una classificazione fine della torsione $p$-torsion del Jacobiano di una curva, o equivalentemente della sua coomologia de Rham come modulo di Dieudonné) di una curva ricoprente $Y$ dipenda dal tipo di Ekedahl-Oort della curva base $X$ e dalla ramificazione del rivestimento $\pi: Y \to X$.

Mentre formule classiche come quella di Riemann-Hurwitz (per il genere) e il teorema di Deuring-Shafarevich (per il $p$-rank) forniscono relazioni esatte, non esiste un analogo generale per invarianti più fini come i numeri $a$ o i tipi di Ekedahl-Oort. In particolare, per curve non ordinarie, il tipo di Ekedahl-Oort di $Y$ non è univocamente determinato da quello di $X$ e dalla ramificazione. L'obiettivo è quantificare questa indeterminazione e fornire bounds precisi.

2. Metodologia e Strumenti Tecnici

Gli autori sviluppano una nuova teoria basata su differenziali potenziati di seconda specie (enhanced differentials of the second kind) per studiare la coomologia de Rham algebrica $H^1_{dR}(Y)$ in caratteristica positiva.

• Differenziali Potenziati di Seconda Specie: In caratteristica zero, i differenziali di seconda specie (quelli con residui nulli) sono sufficienti per rappresentare la coomologia de Rham modulo i differenziali esatti. In caratteristica $p$, questo non è più vero a causa del fatto che la derivata di una $p$-esima potenza è zero. Gli autori introducono una coppia $(\omega, (f_Q)_Q)$, dove $\omega$ è un differenziale di seconda specie e $f_Q$ è una scelta di primitiva locale per la parte meromorfa di $\omega$ in ogni polo $Q$. Questo permette di rappresentare le classi di coomologia in modo concreto senza ricorrere alla risoluzione di Čech standard.
• Decomposizione dei Moduli di Dieudonné: Sfruttando la decomposizione di Fitting, lo spazio $H^1_{dR}(Y)$ viene scomposto in $U \oplus Z \oplus L$, dove $U$ e $Z$ sono spazi su cui agiscono biunivocamente $V$ e $F$ rispettivamente (determinati dal $p$-rank), mentre $L$ è la parte su cui entrambi gli operatori sono nilpotenti. L'analisi si concentra sulla struttura di $L$.
• Costruzione di una Base: Per i rivestimenti $\mathbb{Z}/2\mathbb{Z}$ in caratteristica 2, gli autori costruiscono esplicitamente un insieme di differenziali potenziati $\{\tilde{\omega}_{i,j}\}$ che quasi generano lo spazio $L$. L'azione dell'operatore di Verschiebung ($V$) su questi elementi è particolarmente semplice e può essere descritta in termini di pullback di differenziali sulla curva base $X$.
• Approccio Induttivo: Per il caso generale (base non ordinaria), viene sviluppato un metodo induttivo per stimare le dimensioni degli spazi $w(H^1_{dR}(Y))$ dove $w$ è una parola composta da $V$ e complementi simpatici ($\perp$). Vengono definiti limiti superiori e inferiori per queste dimensioni basati sul numero di complementi simpatici nella parola e sul "local rank" $l_X = g_X - f_X$ della curva base.

3. Risultati Principali

A. Caso di Base Ordinaria

Quando la curva base $X$ è ordinaria (il che implica che il suo tipo di Ekedahl-Oort è completamente determinato dal suo genere, ovvero $l_X = 0$), gli autori ottengono un risultato di determinazione completa:

• Teorema 1.2: Il modulo di Dieudonné di $Y$ è completamente determinato dal genere di $X$, dal numero di punti di ramificazione e dai loro "break" di ramificazione $d_i$.
• La struttura è data da:
  $$D(\text{Jac}(Y)[2]) \cong M_{2g_X - 1 + m}^{\text{ord}} \oplus \bigoplus_{i=1}^m M_{d_i}$$
  dove $M_{d_i}$ sono moduli di Dieudonné specifici associati ai break di ramificazione.
• Questo generalizza risultati precedenti di Elkin-Pries (per $X=\mathbb{P}^1$) e Voloch (per il numero $a$).

B. Famiglie con Tipo Costante

Come corollario, gli autori costruiscono famiglie di curve di genere $g$ con tipo di Ekedahl-Oort costante.

• Esistono famiglie di dimensione positiva di curve di genere $g$ che hanno lo stesso tipo di Ekedahl-Oort.
• Questi esempi rappresentano "intersezioni improbabili" (unlikely intersections) nello spazio dei moduli, poiché la codimensione dello strato di Ekedahl-Oort supera spesso la dimensione dello spazio dei moduli delle curve.

C. Caso di Base Non Ordinaria (Supersingolare e Generale)

Quando $X$ non è ordinaria, il tipo di Ekedahl-Oort di $Y$ non è univocamente determinato.

• Esempi di Non-Unicità: Vengono forniti esempi espliciti (in particolare per curve supersingolari di genere 1) in cui due rivestimenti con la stessa ramificazione hanno tipi di Ekedahl-Oort diversi. Questo dimostra che la struttura $k[V]$ sui differenziali regolari non è sufficiente a determinare il tipo completo; è necessaria l'informazione sul pairing simpatico.
• Bounds Generali (Teorema 6.19 e 6.22): Per una curva base arbitraria, gli autori forniscono limiti superiori e inferiori per il tipo finale di $Y$.
  • L'errore rispetto al valore atteso è legato a $l_X$ (il local rank di $X$) e cresce logaritmicamente con il break di ramificazione $d$.
  • In particolare, per un rivestimento ramificato in un solo punto con break $d$, la deviazione del tipo finale è limitata da termini proporzionali a $l_X \cdot \lceil \log_2(d) \rceil$.
  • Questo implica che, al crescere di $d$, l'errore diventa trascurabile rispetto al genere totale, e il comportamento tende a quello del caso ordinario.

4. Significato e Contributi

1. Nuovo Strumento Tecnico: L'introduzione dei "differenziali potenziati di seconda specie" offre un metodo alternativo e potente per calcolare la coomologia de Rham in caratteristica positiva, bypassando le complessità della risoluzione di Čech e permettendo un'analisi diretta tramite differenziali.
2. Determinazione Completa in Caratteristica 2: Risolve il problema della determinazione del tipo di Ekedahl-Oort per rivestimenti $\mathbb{Z}/2\mathbb{Z}$ quando la base è ordinaria, un risultato che non ha analoghi diretti in caratteristica dispari (dove la situazione è molto più complessa e non determinata solo dalla ramificazione).
3. Comprensione della Variabilità: Dimostra che, sebbene il tipo non sia univoco per basi non ordinarie, la variazione è controllata e quantificabile. I bounds ottenuti mostrano una sorta di principio "locale-globale" approssimato, dove i contributi locali di ramificazione si sommano in modo prevedibile, con un'incertezza limitata dalla non-ordinarietà della base.
4. Connessione con la Teoria dei Moduli: I risultati forniscono nuovi esempi di intersezioni improbabili nello spazio dei moduli delle curve, collegando la geometria aritmetica alla teoria dei gruppi di Dieudonné.

In sintesi, l'articolo fornisce una mappa dettagliata di come la ramificazione influenzi la struttura fine della torsione $p$-torsion delle curve in caratteristica 2, offrendo sia risultati esatti per il caso ordinario che stime quantitative robuste per il caso generale.