Igusa Stack for some exceptional Shimura Varieties

1. Il Problema e il Contesto

Il lavoro si inserisce nel programma di Langlands geometrico e nella teoria delle varietà di Shimura, focalizzandosi sulla costruzione e sullo studio dei modelli integrali per varietà di Shimura di tipo "non-abeliano", in particolare le varietà di Shimura meta-unitarie.

Il problema centrale è la descrizione della fibra speciale (modulo $p$) di questi modelli integrali e la loro relazione con la geometria $p$-adica. Tradizionalmente, i modelli integrali per varietà di tipo PEL o Hodge sono costruiti come chiusure in varietà modulari di Siegel, ma questo approccio fallisce per varietà più generali (come quelle di tipo $E_7$ o $D$) e fornisce poche informazioni dirette sulla loro geometria $p$-adica.

La congettura del prodotto fibrato di Scholze propone un approccio alternativo: descrivere la varietà di Shimura come un prodotto fibrato tra uno stack di Igusa (che codifica la fibra speciale e la struttura di isocristallo) e lo stack affine di Grassmanniano (che codifica la deformazione in caratteristica mista), entrambi mappati sullo stack dei fasci di $G$-bundles sulla curva di Fargues-Fontaine ($Bun_G$).

Mentre la congettura è stata dimostrata per varietà di tipo PEL e Hodge da Zhang, Daniels, Van Hoften, Kim e Zhang, il caso delle varietà meta-unitarie (introdotte da Bültel nel 2008) rimaneva aperto. Queste varietà non sono necessariamente di tipo abeliano e richiedono una trattazione geometrica più sofisticata.

2. Metodologia

L'autore adotta un approccio che combina la geometria $p$-adica moderna (teoria delle gemme/diamonds, curve di Fargues-Fontaine) con la teoria dei display e degli shtuka.

• Riformulazione di Bültel: L'articolo inizia riformulando la costruzione originale di Bültel (2008) per le varietà meta-unitarie in termini moderni. Bültel aveva costruito il modello integrale come un prodotto fibrato tra la fibra speciale e lo stack dei $(G, \mu)$-display. L'autore traduce questo linguaggio in quello degli shtuka e degli stack di Igusa.
• Costruzione dello Stack di Igusa: Viene definito lo stack di Igusa globale $Igs_{K_p, G, \mu}$ come una stackificazione di un pre-stack che classifica i punti della varietà di Shimura insieme alle loro "quasi-isogenie formali". Questo oggetto cattura la struttura della fibra speciale.
• Immersione in Tipo PEL: Sfruttando la definizione di "dato di display sparso" (sparse display datum), l'autore utilizza un embedding chiuso $G \hookrightarrow \tilde{G}$ (dove $\tilde{G}$ è di tipo PEL unitario) per trasferire le proprietà geometriche note dal caso PEL al caso meta-unitario.
• Corrispondenza Locale-Global: Si utilizza la corrispondenza di Langlands locale categorica (Fargues-Scholze) e, in particolare, la versione unipotente sviluppata da Zhu e Yang, per analizzare la coomologia.

3. Contributi Chiave e Risultati Principali

A. Dimostrazione della Congettura di Scholze per Varietà Meta-Unitarie

Il risultato principale è il Teorema 1.2, che stabilisce la validità della congettura del prodotto fibrato di Scholze per le varietà di Shimura meta-unitarie.

• Esiste uno stack di Igusa $Igs_{K_p, G, \mu}$ che è uno stack di Artin $v$ di dimensione 0 e liscio in coomologia $\ell$-adica.
• Si dimostra che la varietà di Shimura (vista come diamond) è isomorfa al prodotto fibrato:
  $$Sh_K(G, \mu)^\diamond \cong Igs_{K_p, G, \mu} \times_{Bun_G} Gr_{G, \mu^{-1}}$$
  dove $Gr_{G, \mu^{-1}}$ è la cella di Schubert nell'affine Grassmanniano.
• Questo risultato generalizza i lavori precedenti di Zhang e DvHKZ24, estendendoli a una classe di varietà non-abeliane.

B. Conseguenze Cohomologiche e Formula di Mantovan

Sfruttando la struttura di prodotto fibrato, l'autore deriva risultati profondi sulla coomologia:

• Formula di Mantovan Geometrica: Viene stabilita una stratificazione di Newton della varietà integrale. La fibra speciale è descritta come un prodotto fibrato tra lo stack di Igusa locale e la varietà locale di Shimura (Teorema 1.6 e Corollario 7.3).
• Compatibilità Locale-Global: Viene dimostrata la compatibilità tra la coomologia etale delle varietà meta-unitarie e la corrispondenza di Langlands locale di Fargues-Scholze (Teorema 1.4 e Teorema 8.2). In particolare, le rappresentazioni del gruppo di Weil che appaiono nella coomologia sono sub-quozienti dei parametri di Langlands associati.

C. Teorema di Vanishing per la Parte Generica

Adattando la strategia di Zhu e Yang (YZ25), l'autore prova un teorema di vanishing per la parte generica della coomologia (Teorema 1.7 e Teorema 10.9):

• Sotto ipotesi di genericità del parametro di Langlands e per $p$ sufficientemente grande, la coomologia etale $H^i_{\text{ét}}(Sh_K(G, \mu), \Lambda)$ si annulla per tutti gli $i \neq d$, dove $d$ è la dimensione della varietà.
• Questo risultato è ottenuto applicando la corrispondenza di Langlands locale categorica unipotente alla coomologia dello stack di Igusa, sfruttando il fatto che le varietà meta-unitarie sono proprie (non richiedono compactificazioni complesse per il bordo).

4. Significato e Impatto

Questo lavoro rappresenta un passo significativo verso la comprensione della geometria $p$-adica delle varietà di Shimura "esotiche" o non-abeliane.

1. Generalizzazione della Teoria: Estende il potente quadro geometrico di Scholze (basato su shtuka e curve di Fargues-Fontaine) oltre le varietà di tipo Hodge, confermando che la filosofia del prodotto fibrato è universale per una classe più ampia di dati di Shimura.
2. Strumento per la Teoria dei Numeri: La descrizione della coomologia in termini di stack di Igusa e la compatibilità con la corrispondenza di Langlands forniscono nuovi strumenti per studiare le rappresentazioni galoisiane associate a varietà di Shimura di tipo $E_7$ e $D$, che erano precedentemente fuori portata.
3. Metodologia Unificante: Dimostra come la teoria dei display (Bültel) e la teoria degli shtuka (Scholze, Fargues) possano essere fuse efficacemente, offrendo un modello per future ricerche su altre varietà di Shimura eccezionali.
4. Vanishing Theorem: Il risultato di vanishing è cruciale per la teoria delle forme automorfe, poiché implica che la coomologia è concentrata in una singola dimensione, semplificando lo studio delle rappresentazioni automorfe associate.

In sintesi, il paper di Partofard colma un divario teorico importante, fornendo una descrizione geometrica rigorosa e potente per le varietà di Shimura meta-unitarie e aprendo la strada all'applicazione della corrispondenza di Langlands categorica a casi non-abeliani.