Generic vanishing on homogeneous spaces in arbitrary characteristic

Riepilogo Tecnico: Svanimento Generico su Spazi Omogenei in Caratteristica Arbitraria

Enunciato del Problema
Il lavoro affronta il problema di stabilire un teorema di "svanimento generico" per l'intersezione di sottovarietà affini lisce localmente chiuse all'interno di uno spazio omogeneo proprio $X$, su cui agisce un gruppo algebrico connesso $G$. Nello specifico, gli autori mirano a dimostrare che per un traslato generico $gW$ di una sottovarietà $W$ tramite un elemento $g \in G$, l'intersezione $gW \cap Z$ soddisfa una specifica disuguaglianza di segno riguardante la sua caratteristica di Eulero.

Mentre Schürmann–Simpson–Wang [SSW25] hanno dimostrato questo risultato in caratteristica zero, gli autori intendono estendere tale teorema a un campo algebricamente chiuso arbitrario, inclusa la caratteristica positiva. La sfida principale risiede nell'adattare gli argomenti geometrici e coomologici utilizzati in caratteristica zero a contesti in cui gli strumenti standard (come la teoria di Hodge o specifici teoremi di vanishing che dipendono dalla caratteristica zero) potrebbero non essere applicabili direttamente.

Metodologia
Gli autori impiegano il quadro dei fasci costruibili $\ell$-adici e la teoria dei fasci perversi. Il loro approccio si basa sui seguenti passaggi metodologici chiave:

1. Corrispondenza di Radon: Invece di considerare la famiglia di intersezioni meramente come una famiglia parametrizzata, gli autori modellano la situazione come una corrispondenza di Radon sul gruppo $G$. Definiscono un funtore di trasformata di Radon $R_W! : D^b_c(X) \to D^b_c(G)$ associato alla corrispondenza di incidenza $\Gamma_W \subset G \times X$.
2. Cambiamento di Base e Formula di Künneth: Un'osservazione tecnica critica è che, dopo un pullback liscio lungo una mappa di orbita $\mu_x: G \to X$, la corrispondenza universale diventa un prodotto. Questa riduzione permette agli autori di utilizzare la formula di Künneth, che vale incondizionatamente nella categoria derivata dei fasci costruibili con dimensione tor-finita ($D^b_c$).
3. $t$-Esattezza: Gli autori dimostrano che la composizione della trasformata di Radon con il pushforward di un morfismo $f: Z \to X$ è $t$-esatta rispetto alla struttura $t$ perversa. Ciò è ottenuto analizzando le proprietà dei morfismi coinvolti (liscietà, affinità, quasi-finitezza) e applicando il teorema di vanishing di Artin e i teoremi standard di cambiamento di base.
4. Limiti di Supporto: Stabilendo la $t$-esattezza, deducono limiti di supporto per il fascio perverso risultante su $G$. Questi limiti implicano che i gruppi di coomologia delle intersezioni svaniscono genericamente al di fuori di un grado specifico.
5. Discesa Aritmetica: Per il caso in cui il campo base è la chiusura algebrica di un campo finito $\mathbb{F}_q$, gli autori discendono i risultati geometrici al livello del campo finito. Utilizzano il teorema di cambiamento di base generico di Deligne e la stima di Lang–Weil per analizzare le funzioni traccia e la dimensione del "cattivo" luogo (dove lo svanimento generico fallisce).

Contributi e Risultati Chiave

• Teorema Principale (Svanimento Generico): Il lavoro dimostra che per un fascio perverso $K$ su una sottovarietà $Z$, esiste un sottoinsieme aperto denso $U \subset G$ tale che per ogni $g \in U(k)$, i gruppi di coomologia a supporto compatto $H^i_c(gW, g f_Z^* g \phi_Z^* K)$ svaniscono per $i \neq \dim W - \dim X$.
• Disuguaglianza di Segno: Di conseguenza, gli autori stabiliscono la disuguaglianza di segno:
  $$(-1)^{\dim X - \dim W + \dim Z} \chi(gW \cap Z) \geq 0$$
  per $g \in G$ generico, dove $\chi$ denota la caratteristica di Eulero. Questo risultato vale su qualsiasi campo algebricamente chiuso, estendendo il risultato in caratteristica zero di Schürmann–Simpson–Wang.
• Risoluzione di Congetture: Il risultato conferma la congettura di segno di Kumar per le intersezioni triple di celle di Schubert in caratteristica arbitraria, una congettura precedentemente nota in caratteristica zero solo in casi specifici o nella piena generalità tramite [SSW25].
• Conseguenze Aritmetiche:
  • Identità della Funzione Traccia: Su campi finiti, la funzione traccia della trasformata di Radon su un sottoinsieme aperto denso di $G$ è identificata con la traccia di Frobenius su un singolo gruppo di coomologia centrale.
  • Stime di Lang–Weil: Il lavoro fornisce una stima per il numero di punti nel luogo non generico (il complemento dell'insieme aperto denso), mostrando che è limitato da $O(q^{n(\dim G - 1)})$.
  • Limiti di Weil: Sotto ipotesi aggiuntive (specificamente, che il fascio non abbia contributo al bordo all'infinito), gli autori derivano un limite di Weil per le risultanti "somme esponenziali" sulle intersezioni.

Significato e Affermazioni
Gli autori collocano questo lavoro come un'estensione naturale della tradizione dello svanimento generico, che storicamente ha trattato famiglie di caratteri o sistemi locali su supporti fissi (ad esempio, Green–Lazarsfeld, Gabber–Loeser, Schnell, Weissauer). Al contrario, questo lavoro tratta un fascio fisso con un supporto che varia per traslazione.

Il lavoro rivendica significato in due aree principali:

1. Indipendenza dalla Caratteristica: Rimuove la restrizione alla caratteristica zero per i teoremi di svanimento generico sugli spazi omogenei, sfruttando la robustezza della trasformata di Radon e della teoria dei fasci perversi in caratteristica arbitraria.
2. Applicazioni Aritmetiche: Dimostra che il teorema geometrico di $t$-esattezza produce concrete conseguenze aritmetiche, incluse identità di traccia precise e limiti sulle somme esponenziali su campi finiti, senza richiedere che i dati siano definiti in caratteristica zero.

Gli autori mantengono una posizione modesta riguardo alla portata, notando che i metodi dipendono dalla struttura specifica degli spazi omogenei e dalla liscietà delle mappe di orbita, e non propongono nuove applicazioni sperimentali o direzioni future oltre ai raffinenti aritmetici immediati discussi nella Sezione 4.