Uniform stratified vanishing and equidistribution on $\mathbb{G}_m^d$

Sintesi Tecnica: Scomparimento Stratificato Uniforme e Equidistribuzione su $\mathbb{G}_m^d$

Enunciato del Problema
Il saggio affronta il problema di stabilire limiti uniformi sui loci "cattivi" delle somme di caratteri associate a fasci perversi sul toro diviso di dimensione $d$, $\mathbb{G}_m^d$, su campi finiti. Nello specifico, mira a dimostrare un teorema di scomparimento generico stratificato uniforme dove i limiti dipendono solo dalla dimensione $d$ e dalla complessità del fascio (nel senso di Sawin), piuttosto che dal carattere specifico del campo o dal primo $\ell$.

Questi teoremi di scomparimento descrivono il locus di caratteri $\chi$ per i quali il morfismo di dimenticanza dei supporti $R\Gamma_c(\mathbb{G}_m^d, M_\chi) \to R\Gamma(\mathbb{G}_m^d, M_\chi)$ non è un isomorfismo. Sebbene il scomparimento generico fosse stato precedentemente stabilito da Gabber–Loeser (condizionato dalla risoluzione delle singolarità) e successivamente in modo incondizionato da Forey–Fresán–Kowalski (FFK), tali risultati non fornivano limiti quantitativi uniformi sul numero di caratteri del campo finito in questi loci cattivi al crescere della cardinalità del campo.

Gli autori mirano a estendere i teoremi di equidistribuzione per queste somme di caratteri ad arbitrarie sequenze di campi finiti con cardinalità crescente, permettendo al carattere di variare. Risultati precedenti di Katz (per $d=1$) e FFK (per gruppi commutativi connessi) erano o limitati a oggetti fissi su varie estensioni o condizionati da limiti uniformi per tori di dimensione superiore ($d \ge 2$).

Metodologia
La strategia di prova si basa su tre componenti principali: una stima di Mellin a una coordinata uniforme, l'induzione sulla dimensione e una deduzione tanniana per l'equidistribuzione.

1. Stima di Mellin a una Coordinata Uniforme:
   L'innovazione tecnica centrale è un limite quantitativo sul insieme dei caratteri "eccezionali" per una singola variabile moltiplicativa. Decomponendo $\mathbb{G}_m^d = \mathbb{G}_m \times \mathbb{G}_m^{d-1}$, gli autori analizzano le immagini dirette relative di un fascio perverso torcuto da un carattere del primo fattore.

   • Essi utilizzano il triangolo di localizzazione per relazionare il fallimento del morfismo di dimenticanza dei supporti con i residui (stalks) al bordo in $0$e$\infty$.
   • Questi residui al bordo sono identificati con la coomologia dell'inerzia continua dei complessi di vicini cicli relativi.
   • Utilizzando la scomparsa prime-to-$\ell$ della coomologia dell'inerzia (Appendice B) e l'iniettività della mappa $\lambda \mapsto \lambda_x(\tau_x)$ (dove $\tau_x$ è un generatore topologico dell'inerzia tame), essi mostrano che i caratteri eccezionali corrispondono agli autovalori della monodromia su questi complessi di vicini cicli.
   • Crucialmente, essi limitano il numero di tali autovalori esclusivamente in termini della complessità $cu(A)$ e della dimensione $d$, evitando l'uso di alterazioni di de Jong o della risoluzione delle singolarità, che altrimenti introdurrebbero costanti non uniformi.

2. Induzione sulla Dimensione:
   Gli autori dimostrano i teoremi principali per induzione sulla dimensione $d$.

   • Teorema 1.1 (Conteggio dei Punti Uniforme): Per un complesso $K$, la dimensione del supporto $\Delta(K)$ del cono del morfismo di confronto di Mellin è limitata da $O(q^{n(d-1)})$. Il passo induttivo utilizza la trasformata di Mellin relativa per ridurre il problema dalla dimensione $d$ alla dimensione $d-1$. Per i caratteri non eccezionali, il problema si riduce al caso di dimensione inferiore; per i caratteri eccezionali, il limite è banale ma controllato dalla complessità.
   • Teorema 1.2 (Conteggio dei Punti Stratificato): Questo perfeziona il risultato a specifici gradi coomologici $i$. Gli autori utilizzano la sequenza spettrale perversa per relazionare i salti di coomologia in grado $i$ su $\mathbb{G}_m^d$ con i salti nei gradi $i$ e $i-1$ su $\mathbb{G}_m^{d-1}$ per i fasci di coomologia perversa delle immagini dirette relative. Ciò permette di preservare il limite induttivo $O(q^{n(d-i)})$.

3. Deduzione Tanniana:
   Il risultato di equidistribuzione (Corollario 1.4) è derivato utilizzando il formalismo tanniano di FFK.

   • Gli autori stabiliscono che il locus non ramificato $X(M_0)$ è generico (Teorema 1.3) relazionandolo al supporto $\Delta(L)$ di un oggetto specifico $L = M \oplus M^\vee$.
   • Utilizzando il criterio di Weyl, essi mostrano che le classi di congiunzione di Frobenius equidistribuiscono nel sottogruppo compatto massimale del gruppo tanniano. I limiti uniformi dai Teoremi 1.2 e 1.3 assicurano che i caratteri "cattivi" (dove la coomologia è non nulla in gradi non nulli o dove avviene la ramificazione) siano trascurabili in numero rispetto al numero totale di caratteri mentre la dimensione del campo tende all'infinito.

Contributi Chiave e Risultati

• Teorema 1.1 (Scomparimento Generico Stratificato Uniforme): Dimostra che per ogni $d \ge 1$, esiste una funzione $\Phi_d^\Delta$ tale che per ogni campo finito $k$, ogni primo $\ell \neq \text{char}(k)$, e ogni complesso $K$ di complessità limitata $C$, il numero di caratteri $\chi \in \widehat{\mathbb{G}_m^d}(k_n)$ per i quali il morfismo di dimenticanza dei supporti non è un isomorfismo è limitato da $\Phi_d^\Delta(C) q^{n(d-1)}$.
• Teorema 1.2 (Conteggio dei Punti Stratificato a Complessità Limitata): Dimostra che per un fascio perverso $A$ di complessità $C$, il numero di caratteri dove la coomologia $H^i_c$ o $H^i$ è non nulla è limitato da $\Psi_d(C) q^{n(d-i)}$. Questo fornisce i limiti uniformi necessari per i loci di scomparimento stratificati.
• Teorema 1.3 (Conteggio dei Punti Non Ramificati): Stabilisce che il complemento del locus non ramificato per un oggetto aritmeticamente semisimile è limitato da $O(q^{n(d-1)})$, uniformemente nel carattere e in $\ell$.
• Corollario 1.4 (Equidistribuzione): Dimostra un teorema di equidistribuzione per sequenze di fasci perversi di complessità limitata con un comune gruppo di monodromia tanniana. Mentre la cardinalità dei campi finiti tende all'infinito, le classi di congiunzione di Frobenius associate ai caratteri moltiplicativi equidistribuiscono nello spazio delle classi di congiunzione di un sottogruppo compatto massimale del gruppo tanniano.

Significatività
Il saggio sostiene di risolvere il caso aperto dell'equidistribuzione orizzontale per tori di dimensione $d \ge 2$ lasciato da Forey–Fresán–Kowali. Sebbene FFK avesse stabilito la struttura dei loci cattivi in modo incondizionato, il loro teorema di equidistribuzione per $d \ge 2$ rimaneva condizionato ai limiti uniformi per tali loci. Questo saggio fornisce tali limiti, rendendo il teorema di equidistribuzione incondizionato per $\mathbb{G}_m^d$.

Inoltre, i risultati generalizzano il teorema di equidistribuzione di Katz (originariamente per $d=1$) ad arbitrarie sequenze di campi finiti, inclusi quelli dove il carattere varia. Le costanti nei limiti dipendono solo dalla dimensione e dalla complessità del fascio (nel senso di Sawin), garantendo l'uniformità attraverso variabili caratteristiche e primi $\ell$. Questa uniformità è ottenuta senza fare affidamento sulla risoluzione delle singolarità o sulle alterazioni di de Jong, che tipicamente producono costanti dipendenti dalla geometria specifica della varietà piuttosto che solo dalla sua complessità.

Il lavoro unifica così la teoria del scomparimento generico e dell'equidistribuzione per i tori, fornendo un quadro robusto per l'analisi di somme esponenziali e somme di caratteri in famiglie su campi finiti variabili.