Some vanishing results for the rational completed cohomology of Shimura varieties

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria dei numeri e della geometria aritmetica, focalizzandosi sulla coomologia completata delle varietà di Shimura.

• Contesto: Michael Emerton ha introdotto la coomologia completata $p$-adica ($\tilde{H}^i$) degli spazi simmetrici locali, descrivendola come un sostituto adeguato per lo spazio delle forme automorfe $p$-adiche. Questa coomologia porta un'azione naturale del gruppo $G(\mathbb{Q}_p)$.
• Obiettivo: Lo studio si concentra sui gradi di coomologia inferiori alla metà ($i < d$, dove $d$ è la dimensione complessa della varietà di Shimura). È ampiamente creduto (congettura di Calegari-Emerton) che la coomologia sia "più interessante" o non banale solo nel grado centrale o superiore.
• Domanda Chiave: Quali caratteristiche infinitesimali dell'azione di $G(\mathbb{Q}_p)$ possono apparire nella coomologia completata nei gradi inferiori? In particolare, gli autori vogliono determinare sotto quali condizioni di regolarità i vettori localmente analitici nella coomologia completata si annullano.

2. Metodologia

Gli autori combinano tecniche avanzate di geometria $p$-adica, teoria delle rappresentazioni e geometria algebrica in caratteristiche miste. La strategia si articola in quattro pilastri principali:

1. Teorema di Vanishing di Bhatt (Caratteristiche Miste):
   Il punto di partenza è un risultato di vanishing di tipo Kodaira in caratteristiche miste, dimostrato da Bhargav Bhatt. Gli autori utilizzano questo teorema per dimostrare che certi gruppi di coomologia pro-étale su varietà di Shimura (o loro compattificazioni toroidali) con coefficienti twistati da fasci di linee negativi si annullano in gradi inferiori alla dimensione.

2. Teoria di Sen Geometrica e Morfismi Periodici Hodge-Tate:
   Sfruttando i lavori di Scholze, Diao-Lan-Liu-Zhu e Rodríguez Camargo, gli autori utilizzano i morfismi periodici Hodge-Tate ($\pi_{HT}$) che mappano le torri di varietà di Shimura di livello infinito verso varietà flag parziali ($\mathcal{F}\ell$).

   • Viene introdotta la teoria di Sen geometrica per descrivere l'azione degli operatori di Sen sui vettori localmente analitici.
   • Si dimostra che l'azione dell'algebra di Lie $\mathfrak{g}$ sui vettori localmente analitici è annullata da un ideale specifico legato al radicale unipotente della parabolica associata al co-carattere di Hodge.

3. Funzioni di Traslazione (Beilinson-Bernstein):
   Per "sbloccare" (untwist) il twist del fascio di linee negativo introdotto dal teorema di vanishing di Bhatt, gli autori impiegano un argomento basato sulla localizzazione di Beilinson-Bernstein.

   • Considerano rappresentazioni finite dimensionali $V$ di $G$.
   • Usano il fatto che la coomologia twistata con $V$ è isomorfa alla coomologia non twistata tensorizzata con $V$.
   • Sfruttando le funzioni di traduzione (translation functors), mostrano che su un sottoinsieme "abbastanza regolare" dello spettro dell'algebra di centro $Z(U(\mathfrak{g}))$, il fascio originale appare come un fattore diretto. Questo permette di trasferire il risultato di vanishing dal caso twistato al caso non twistato.

4. Riduzione al Caso Semisemplice Simply-Connected:
   Poiché le ipotesi tecniche (come il gruppo derivato semplicemente connesso) non sono sempre soddisfatte per una varietà di Shimura generale, gli autori costruiscono un rivestimento finito che riduce il problema al caso in cui il gruppo derivato è semplicemente connesso, permettendo l'applicazione diretta dei risultati precedenti.

3. Risultati Chiave

Il risultato principale è enunciato nel Teorema 1.1.2 e nel Teorema 6.1.3:

• Definizione di Regolarità Sufficiente: Gli autori definiscono una condizione di "regolarità sufficientemente $\mu_h$" per i caratteri infinitesimali dell'algebra di Lie $\mathfrak{g} = \text{Lie}(G(\mathbb{C}))$. Questa condizione dipende dalla scelta di un co-carattere di Hodge $\mu_h$ e richiede che, per ogni peso $\lambda'$ nell'orbita del Weyl e per ogni radice $\alpha$, il valore $(\lambda', \alpha^\vee)$ non appartenga a certi insiemi piccoli (es. $\{1, 2\}$ o $\{1\}$ a seconda della lunghezza della radice).
• Teorema di Annichilazione: Esiste un intero $n > 0$ tale che la potenza $I^n$ dell'ideale $I \subset Z(U(\mathfrak{g}))$ che definisce il luogo dei caratteri non sufficientemente regolari annichila la parte localmente analitica della coomologia completata nei gradi inferiori alla metà ($\tilde{H}^{<d, la}_{\mathbb{C}}$).
• Conseguenza Diretta: Se un carattere infinitesimale $[\lambda]$ è sufficientemente regolare, allora la parte isotypica corrispondente $\tilde{H}^{<d, la}_{\mathbb{C}, [\lambda]}$ è zero.

Inoltre, il lavoro estende questi risultati a sistemi locali "grandi" (rappresentazioni di Banach $p$-adiche localmente analitiche), non solo a quelli di dimensione finita.

4. Contributi Tecnici Specifici

• Generalizzazione del Teorema di Bhatt: Gli autori forniscono una riformulazione del teorema di vanishing di Bhatt utilizzando il sito Kummer-étale, rendendolo applicabile a varietà con bordo e compattificazioni toroidali, essenziale per il contesto delle varietà di Shimura.
• Connessione tra Simmetrie: Viene chiarito come l'azione del centro $Z(U(\mathfrak{g}))$ sulla coomologia completata si estenda a un'azione di $Z(U(\mathfrak{m}))$ (dove $\mathfrak{m}$ è una sottoalgebra di Levi), grazie agli operatori di Sen. Questo collega la coomologia $p$-adica alla geometria delle varietà flag.
• Calcoli Espliciti per Gruppi Eccezionali: Una parte significativa del lavoro (Sezioni 5.3 e 5.4) è dedicata alla verifica combinatoria delle condizioni di regolarità per tutti i tipi di gruppi semplici (A, B, C, D, E6, E7), inclusi calcoli computazionali dettagliati per i casi eccezionali $E_6$ ed $E_7$.

5. Significato e Impatto

• Supporto alla Congettura di Calegari-Emerton: Il risultato conferma la previsione che la coomologia completata nei gradi inferiori alla metà sia "vuota" per caratteri infinitesimali generici (regolari). Questo rafforza l'idea che la struttura ricca della coomologia completata risieda principalmente nel grado centrale e superiore.
• Nuovi Strumenti per la Teoria di Langlands $p$-adica: La dimostrazione fornisce un metodo potente per studiare le rappresentazioni $p$-adiche di $G(\mathbb{Q}_p)$ che appaiono nella coomologia delle varietà di Shimura. La capacità di dimostrare vanishing per sistemi locali infinitamente dimensionali apre nuove strade per l'analisi delle forme modulari $p$-adiche.
• Distinzione dai Risultati Esistenti: A differenza di lavori precedenti (es. Caraiani-Scholze, Koskivirta) che ottengono risultati di vanishing per coefficienti integrali o torsione basandosi su condizioni di genericità in una caratteristica diversa da $p$ (luogo $l \neq p$), questo lavoro lavora interamente in coefficienti razionali e studia le rappresentazioni $p$-adiche in luogo $p$.
• Riprova di Risultati Precedenti: Il metodo permette di riprovare risultati di vanishing per sistemi locali automorfi di dimensione finita ottenuti in precedenza da Lan (2016), ma con una condizione di regolarità più sottile e potente che distingue tra radici corte e lunghe nei tipi B e C.

In sintesi, il paper stabilisce un legame profondo tra la geometria delle varietà di Shimura di livello infinito, la teoria di Sen geometrica e la teoria delle rappresentazioni di Lie, fornendo un criterio preciso e potente per l'annullamento della coomologia completata in gradi bassi.