Computing the cohomology of constructible étale sheaves on curves

1. Il Problema

L'articolo affronta il problema computazionale del calcolo della coomologia di sheaf costruibili (sheaf constructible) di gruppi abeliani sul sito étale di una curva irriducibile $X_0$ definita su un campo $k_0$.
Nello specifico, l'obiettivo è calcolare il complesso di coomologia $R\Gamma(X, \mathcal{F})$, dove $X$ è la base change di $X_0$ alla chiusura separabile $k$, e $\mathcal{F}$ è un sheaf costruttibile di $\mathbb{Z}/n\mathbb{Z}$-moduli (con $n$ invertibile in $k_0$).
Una sfida cruciale è fornire un'espressione esplicita di questo complesso che sia funzionale rispetto alla curva e allo sheaf, e che includa l'azione del gruppo di Galois $\text{Gal}(k|k_0)$. Sebbene la calcolabilità di questi gruppi sia stata dimostrata teoricamente (Poonen, Testa, van Luijk, Madore, Orgogozo), gli algoritmi esistenti sono inefficienti e non pratici per calcoli reali, spesso avendo complessità primitivamente ricorsiva o esponenziale.

2. Metodologia

L'autore sviluppa un approccio basato sulla costruzione esplicita di ricoprimenti di Galois che "banalizzano" la torsione dello sheaf, permettendo di ridurre il calcolo della coomologia della curva a problemi di coomologia di gruppi finiti.

A. Costruzione del Ricoprimento Trivialisante ($X\langle n \rangle$)

Il cuore della metodologia risiede nella costruzione di un ricoprimento di Galois $V \to U$ (dove $U$ è un aperto affine regolare della curva) tale che:

1. Lo sheaf diventi costante su $V$.
2. La mappa $H^1(U, \mathcal{L}) \to H^1(V, \mathcal{L}|_V)$ sia banale (triviale).
   Questo ricoprimento, denotato $U\langle n \rangle$, è costruito prendendo radici $n$-esime di funzioni razionali associate a una base di $H^1(U, \mu_n)$. L'articolo fornisce un algoritmo esplicito per calcolare questo ricoprimento e il suo gruppo di automorfismi, gestendo anche i punti all'infinito e la ramificazione.

B. Trattamento delle Singolarità e dei Punti all'Infinito

Per curve che non sono lisce o proiettive, l'autore utilizza la normalizzazione $\tilde{X} \to X$ e analizza la coomologia con supporto nei punti singolari o all'infinito.

• Viene dimostrata una quasi-isomorfia tra la coomologia con supporto su un punto $z$ di $X$ e la somma delle coomologie sui punti di preimmagine nella normalizzazione.
• Si utilizza la teoria dei gruppi di inerzia e dei gruppi di wild inertia per descrivere esplicitamente i termini locali della coomologia.

C. Espressione Esplicita del Complesso $R\Gamma(X, \mathcal{F})$

Il teorema principale (Teorema 4.5) fornisce una rappresentazione esplicita del complesso $R\Gamma(X, \mathcal{F})[1]$ come il cono di un morfismo tra complessi di gruppi finiti.
Il complesso è costruito combinando:

1. La coomologia del gruppo di Galois $G = \text{Aut}(V|U)$ con coefficienti nel fibre generico $M$.
2. I contributi locali dai punti all'infinito (o singolari), calcolati tramite coomologia dei gruppi di inerzia $I_z/P_z$.
3. I dati di incollamento (gluing data) che definiscono lo sheaf costruttibile.

D. Azione di Galois

L'articolo descrive come calcolare l'azione di $\text{Gal}(k|k_0)$ sul complesso risultante. Questo viene fatto analizzando come il gruppo di Galois agisce sui generatori del ricoprimento $V\langle n \rangle$ e sui gruppi di inerzia, permettendo di rappresentare $R\Gamma(X, \mathcal{F})$ come un complesso di moduli su $\Lambda[\text{Gal}(k_1|k_0)]$ per un'estensione finita opportuna $k_1$.

3. Contributi Chiave

1. Formula Esplicita e Funzionale: Fornisce una formula chiusa per il complesso di coomologia che coinvolge solo gruppi finiti e operazioni algebriche standard, rendendo il calcolo implementabile.
2. Algoritmi Efficienti: Presenta una serie di algoritmi (Algoritmi 1-4) per:
   • Calcolare le coordinate in una base di $H^1(U, \mu_n)$.
   • Costruire il ricoprimento trivialisante $V\langle n \rangle$ e il suo gruppo di automorfismi.
   • Calcolare i gruppi di inerzia e le loro azioni.
   • Costruire il complesso di coomologia finale come cono di un morfismo di complessi.
3. Analisi della Complessità:
   • Dimostra che per curve lisce proiettive su campi finiti, la complessità è inferiore rispetto all'algoritmo di Jin (che è esponenziale in $|M|\log|M|$).
   • La complessità è polinomiale nei parametri della curva (genere, grado del modello) e nella dimensione dello sheaf, assumendo che il calcolo di $H^1(X, \mu_n)$ sia efficiente (es. usando l'algoritmo di Couveignes o Huang-Ierardi).
4. Ottimizzazione per Campi Finiti: Propone una strategia per ridurre la complessità quando $k_0$ è un campo finito, calcolando un sottoricoprimento basato su elementi di $H^1$ definiti su un'estensione finita controllata, evitando di costruire l'intero ricoprimento massimale.

4. Risultati ed Esempi

L'autore illustra l'efficacia del metodo con due esempi dettagliati:

• Esempio 1 (Sheaf su sottoschemi di $\mathbb{P}^1$): Calcolo della coomologia di uno sheaf locale costante e di uno sheaf costruttibile ramificato su $\mathbb{P}^1$. Viene mostrato esplicitamente come calcolare l'azione di Galois sul complesso risultante, verificando che i gruppi di coomologia ottenuti coincidano con le attese teoriche (es. coomologia dello sheaf costante su $\mathbb{P}^1$).
• Esempio 2 (Sheaf su curve ellittiche): Un caso più complesso su una curva ellittica su $\mathbb{F}_{11}$. Viene calcolato il gruppo di Galois di un ricoprimento di grado 64, i gruppi di inerzia e la coomologia di uno sheaf non banale. L'esempio dimostra la fattibilità pratica anche con gruppi di Galois non banali e azioni di Galois non triviali.

5. Significato e Prospettive Future

• Impatto Pratico: Questo lavoro trasforma un problema teorico della geometria aritmetica in un problema computazionale risolvibile, fornendo strumenti per software di algebra computazionale (come Magma o SageMath).
• Conteggio di Punti su Superfici: L'autore discute una potenziale applicazione cruciale: il conteggio dei punti razionali su superfici su campi finiti. Utilizzando il teorema di Lefschetz e fasci di Lefschetz, il problema si riduce al calcolo della traccia di Frobenius sulla coomologia di curve. L'efficienza di questo nuovo algoritmo per curve è un passo fondamentale verso un algoritmo di conteggio dei punti per superfici in tempo polinomiale (congettura di Edixhoven).
• Limiti e Sfide: Sebbene l'algoritmo sia efficiente per curve, la complessità rimane legata al calcolo di $H^1$ per curve di alto genere su campi grandi. L'autore nota che l'uso di metodi di approssimazione $p$-adica (come quelli di Mascot) potrebbe ulteriormente migliorare le prestazioni per curve iperellittiche.

In sintesi, il paper fornisce un ponte fondamentale tra la teoria della coomologia étale e la computazione pratica, offrendo un algoritmo robusto, analizzato nella complessità e pronto per l'implementazione, con ricadute significative nella teoria dei numeri e nella geometria aritmetica.