Sintesi Tecnica: Coomologia di Intersezione degli Stack di Igusa

1. Enunciato del Probleamento

Il saggio affronta lo studio della coomologia di intersezione delle varietà di Shimura minimamente compattificate di tipo PEL (specificamente di tipo AC) all'interno del quadro del programma di Langlands. Sebbene esista una significativa letteratura riguardante la coomologia $L^2$ e la coomologia di intersezione di queste varietà (note in particolare tramite la congettura di Zucker e il lavoro di Morel), i recenti progressi nel programma di Langlands locale categorico (Fargues–Scholze, Zhu) sono stati applicati principalmente alla coomologia usuale o a supporto compatto delle varietà di Shimura.

Il problema centrale è quello di estendere questi metodi categorici alla coomologia di intersezione. Nello specifico, gli autori mirano a:

1. Costruire un oggetto geometrico sullo stack moduli dei $G$-bundle sulla curva di Fargues–Fontaine ($\text{Bun}_G$) che recuperi la coomologia di intersezione delle varietà di Shimura.
2. Stabilire che questo oggetto possieda proprietà desiderabili (come l'auto-dualità di Verdier e la perversità) analoghe al complesso di intersezione nella geometria algebrica classica.
3. Derivare applicazioni quali una formula del prodotto di Mantovan, risultati di sparizione del torsione ed equazioni di Eichler–Shimura per la coomologia di intersezione, che erano precedentemente difficili da accedere utilizzando gli strumenti esistenti.

2. Metodologia

Gli autori impiegano la teoria degli stack di Igusa, recentemente introdotti nei lavori di Zhang, Diamond, Hamann, Koshikawa e Zhu, per creare un ponte tra le varietà di Shimura e il programma di Langlands locale categorico.

Setup Geometrico

• Stack di Igusa: Gli autori lavorano con lo stack di Igusa minimamente compattificato, indicato con $\text{Igs}^*$, associato a un dato di Shimura $(G, X)$ di tipo PEL AC.
• Il Diagramma Cartesiano: Utilizzano un diagramma cartesiano chiave di $v$-stack su $\text{Spd } \mathbb{F}_p$:
  $$\begin{array}{ccc} S^*_{K_p} & \xrightarrow{\pi_{HT}} & \text{F}_{\ell} \\ \downarrow{\tilde{h}} & & \downarrow{h} \\ \text{Igs}^* & \xrightarrow{\pi_{HT}} & \text{Bun}_G \end{array}$$
  Qui, $S^*_{K_p}$ è la compattificazione minima della varietà di Shimura al livello infinito, $\text{F}_{\ell}$ è l'analitizzazione di una varietà di flag e $\text{Bun}_G$ è lo stack moduli dei $G$-bundle sulla curva di Fargues–Fontaine.
• Stratificazione: Gli autori investigano l'interazione tra la stratificazione di Newton (stratificazione di Harder–Narasimhan) su $\text{Bun}_G$ e la stratificazione di Baily–Borel (stratificazione di bordo) sulla varietà di Shimura e sullo stack di Igusa. Dimostrano che la stratificazione di Baily–Borel sulla varietà di Shimura si riporta a una stratificazione compatibile sullo stack di Igusa.

Costruzione Sheaf-Theoretic

• Complesso di Intersezione sugli Stack di Igusa: Definiscono un complesso di intersezione $\text{IC}_{\text{Igs}^*}$ sullo stack di Igusa prendendo l'estensione intermedia del fascio costante lungo l'immersione aperta della fibra generica. Ciò richiede la definizione di una $t$-struttura perversa su $v$-stack stratificato $\text{Igs}^*$ mediante l'incollamento di $t$-strutture standard sulle stratificazioni con appropriati scorrimenti di grado.
• Coomologia di Intersezione Relativa: L'oggetto principale di studio è il complesso $\text{FIC}_{\Lambda} := R\pi_{HT*}(\text{IC}_{\text{Igs}^*})$ su $\text{Bun}_G$.
• Strumenti Tecnici: La costruzione si basa pesantemente su:
  • Funzioni di analitizzazione per schemi perfetti e schemi a caratteristica mista.
  • Un criterio per la Local Acyclicity Universale (ULA) su quotient stacky, ispirato alla corrispondenza tra fasci ULA e rappresentazioni ammissibili.
  • L'identificazione dei lembi del morfismo di periodo Hodge–Tate $\pi_{HT}$ con i quozienti delle varietà di Igusa parzialmente minimamente compattificate $[\text{Igb}_{*,\diamond}/J_b]$.

3. Contributi Chiave e Risultati

Il Teorema Principale (Teorema 1.2)

Gli autori costruiscono un complesso $\text{FIC}_{\Lambda} \in D_{\text{ét}}(\text{Bun}_{G, \mu^{-1}}, \Lambda)$ che soddisfa:

1. Auto-dualità di Verdier: $\text{FIC}_{\Lambda}$ è auto-duale rispetto alla dualità di Verdier su $\text{Bun}_{G, \mu^{-1}}$. Se $\Lambda$ è un anello regolare, è universalmente localmente aciclico (ULA).
2. Perversità: $\text{FIC}_{\Lambda}$ è un fascio perverso rispetto alla naturale $t$-struttura perversa su $\text{Bun}_{G, \mu^{-1}}$.
3. Recupero della Coomologia di Intersezione: Applicando l'operatore di Hecke $T_\mu$ associato al co-carattere di Hodge $\mu$ e restringendo allo strato neutro (tramite $i_1^*$), si recupera il complesso della coomologia di intersezione della varietà di Shimura:
   $$i_1^* T_\mu \text{FIC}_{\Lambda} \simeq \text{IC}(G, X)_{K_p, \Lambda}$$
4. Stalks (Lembi): I lembi di $\text{FIC}_{\Lambda}$ in un punto $b \in B(G, \mu^{-1})$ sono isomorfi alla coomologia di intersezione della varietà di Igusa parzialmente minimamente compattificata $\text{Igb}_{*,\diamond}$ (con scorrimento di dimensione).

Applicazioni

A. Formula del Prodotto di Mantovan (Teorema 1.5)

Gli autori stabiliscono una versione della formula del prodotto di Mantovan per la coomologia di intersezione. Mostrano che $\text{IC}(G, X)_{K_p, \Lambda}$ ammette una filtrazione indicizzata dagli strati di Newton $b \in B(G, \mu^{-1})$, con pezzi graduati isomorfi a:
$$R\Gamma_c(G, b, \mu, \Lambda(d_b))[d] \otimes_{H(J_b)} V_{\text{IC}, \Lambda, b}[d_b]$$
dove $R\Gamma_c$ è la coomologia della varietà di Shimura locale (spazio di Rapoport–Zink) e $V_{\text{IC}}$ è la coomologia di intersezione della varietà di Igusa. Ciò fornisce un metodo geometrico per calcolare la coomologia di intersezione in luoghi di cattiva riduzione.

B. Sparizione del Torsione (Teorema 1.7)

Combinando la perversità di $\text{FIC}_{\Lambda}$ con le proprietà degli operatori di Hecke, gli autori dimostrano che per ideali massimali generici $\mathfrak{m}$ nell'algebra di Hecke sferica (e sotto specifiche condizioni su $G$, $\ell$ e $p$), la coomologia di intersezione localizzata è concentrata nel grado 0. Ciò supporta le congetture di Koshikawa e Shin riguardo all'ampiezza coomologica della coomologia di intersezione con coefficienti di torsione.

C. Relazioni di Eichler–Shimura (Teorema 1.13)

Il saggio prova la congettura di Blasius–Rogawski per la coomologia di intersezione a livelli di Iwahori. Nello specifico, l'azione del sottogruppo di inerzia è unipotente, e l'azione del Frobenius aritmetico soddisfa la relazione del polinomio di Hecke $H_\mu(\sigma_E) = 0$. Questo estende i precedenti risultati noti per la coomologia usuale al contesto della coomologia di intersezione.

4. Significato e Ambito

Il saggio sostiene che la sua primaria significatività risieda nel fornire un quadro per studiare la coomologia di intersezione delle varietà di Shimura utilizzando il programma di Langlands locale categorico.

• Ponte tra Locale e Globale: Esso connette la geometria globale delle varietà di Shimura (tramite gli stack di Igusa) con la geometria locale di $\text{Bun}_G$, permettendo l'applicazione di potenti strumenti locali (come l'azione spettrale e gli operatori di Hecke) ai problemi globali di coomologia di intersezione.
• Nuovi Strumenti per la Cattiva Riduzione: La formula del prodotto di Mantovan derivata qui offre una potenziale via per comprendere l'azione di Galois sulla coomologia di intersezione in luoghi di cattiva riduzione, complementando il metodo di Langlands–Kottwitz che è più efficace in luoghi di buona riduzione.
• Fondamentale per Future Congetture: Gli autori suggeriscono che il fascio perverso $\text{FIC}_{\Lambda}$ sia il corretto avatar geometrico per la "congettura dell'eigensheaf" relativa alla classificazione di Arthur. Essi postulano che $\text{FIC}_{\Lambda}$ debba decomporsi in eigensheaves generalizzate corrispondenti ai parametri locali di Arthur, rispecchiando la decomposizione della coomologia $L^2$ in rappresentazioni automorfe discrete. Questa connessione è inquadrata come una realizzazione della visione di Fargues di compatibilità locale-globale.

Limitazioni e Assunzioni:
I risultati sono attualmente stabiliti sotto l'Assunzione 1.1, che restringe il dato di Shimura a essere di tipo PEL con sistema di radici assoluto di tipo AC, il gruppo $G_{\mathbb{Q}_p}$ non ramificato, e il bordo della compattificazione minima ad avere codimensione almeno 2. Gli autori notano che, sebbene le costruzioni geometriche siano destinate a generalizzarsi, l'esistenza dello stack di Igusa minimamente compattificato per varietà di Shimura più generali (ad esempio, di tipo Hodge) è un prerequisito per estendere questi risultati, il che è attualmente un ambito di ricerca attivo (citando Mao, 2025).

In sintesi, il saggio costruisce con successo un fascio perverso su $\text{Bun}_G$ che codifica la coomologia di intersezione delle varietà di Shimura, provandone le proprietà fondamentali e derivandone le principali conseguenze aritmetiche, aprendo così un nuovo percorso per l'applicazione delle tecniche di Langlands locale categorico alla coomologia di intersezione.