On the Harris-Viehmann conjecture for Hodge-Newton reducible local Shimura data of abelian type

Sintesi Tecnica: Sulla Congettura di Harris–Viehmann per Dati Locali di Shimura Riducibili Hodge–Newton di Tipo Abeliano

Enunciato del Problema
Il lavoro affronta un caso specifico della congettura di Harris–Viehmann, che riguarda la coomologia $\ell$-adica delle varietà di Shimura locali associate a dati locali di Shimura non di base. La congettura postula una formula di induzione parabolica per questi gruppi di coomologia. Nello specifico, essa afferma che per un dato locale di Shimura non di base $(G, [b], \{\mu\})$ riducibile Hodge–Newton rispetto a un sottogruppo parabolico $P$ e un fattore di Levi $L$, la coomologia dello spazio di Rapoport–Zink (RZ) associato $RZ_G$ è indotta dalla coomologia dello spazio RZ $RZ_L$ associato al sottogruppo di Levi. Una conseguenza critica di questa congettura è che tutte le rappresentazioni supercuspidali che appaiono nella coomologia delle varietà di Shimura sono concentrate lungo il luogo di base. Sebbene la congettura sia stata stabilita per dati di tipo PEL (Mantovan), dati di tipo Hodge (Hong) e casi specifici come $GL_n$ (Hansen), una dimostrazione generale per dati locali di Shimura non ramificati di tipo abeliano sotto riduttibilità Hodge–Newton rimaneva aperta.

Metodologia
Gli autori, Sandra Nair e Xinyu Zhou, estendono la dimostrazione della congettura di Harris–Viehmann al contesto di tipo abeliano sfruttando la costruzione di Shen degli spazi di Rapoport–Zink di tipo abeliano. La loro metodologia prevede i seguenti passaggi chiave:

1. Riduzione al Tipo Hodge: Gli autori utilizzano la definizione di dati di tipo abeliano, che richiede un isomorfismo tra il dato locale di Shimura aggiunto di $G$ e quello di un dato ausiliario di tipo Hodge $(H, [b_H], \{\mu_H\})$. Essi stabiliscono che se $(G, [b_G], \{\mu_G\})$ è riducibile Hodge–Newton, allora esiste un dato di tipo Hodge associato che è anch'esso riducibile Hodge–Newton (Lemma 7.1).
2. Corrispondenza Geometrica: La strategia centrale consiste nel relazionare la geometria dello spazio RZ di tipo abeliano $RZ_G$ con quella dello spazio RZ di tipo Hodge $RZ_H$. Gli autori costruiscono un diagramma di corrispondenza che coinvolge gli spazi RZ del parabolico $P$ e del Levi $L$ sia per il caso abeliano che per quello Hodge.
3. Dati di Discesa di Weil: Un componente tecnico significativo è la costruzione rigorosa del dato di discesa di Weil per gli spazi RZ di tipo abeliano. Gli autori definiscono un dato di discesa $\Phi_{Shen}$ relativo a una estensione finita $E_{opt}$ del campo di riflessione, garantendo la compatibilità con i dati di discesa noti per il tipo Hodge (tramite la costruzione di Kim) e con il moduli degli shtuka locali $p$-adici (tramite Pappas–Rapoport). Essi dimostrano che queste costruzioni coincidono (Teorema 6.3, Corollario 6.5).
4. Functorialità e Quozienti: Gli autori analizzano la functorialità degli spazi RZ rispetto ai morfismi di dati locali di Shimura. Gestiscono con cura il passaggio dal dato di tipo Hodge $H$ al dato di tipo abeliano $G$ tramite il quoziente aggiunto $Gad$. Ciò comporta la gestione dei nuclei delle mappe sui gruppi fondamentali ($\pi_1$) e la stabilizione di isomorfismi tra gli schemi formali $RZ_G$, $RZ_{Gad}$ e le loro controparti Hodge modulo azioni di gruppi specifiche (Lemma 5.1, Lemma 10.4).
5. Confronto Cohomologico: Stabilendo isomorfismi tra la coomologia delle componenti "plus" ($RZ^+$) degli spazi abeliani e Hodge, e sfruttando i risultati noti per il caso Hodge (in particolare il lavoro di Hong e Mantovan), gli autori trasferiscono la proprietà di induzione parabolica dal contesto Hodge a quello abeliano.

Contributi e Risultati Chiave

• Teorema Principale (Teorema 1.1): Il lavoro dimostra che per un dato locale di Shimura non ramificato $(G, [b], \{\mu\})$ di tipo abeliano riducibile Hodge–Newton rispetto a un parabolico $P$ e un Levi $L$, e per qualsiasi rappresentazione $\ell$-adica ammissibile $\rho$ di $J_b(\mathbb{Q}_p)$, vale la seguente uguaglianza come rappresentazioni virtuali di $G(\mathbb{Q}_p) \times W_{E_{opt}}$:
  $$H^\bullet(RZ^\infty_G)_\rho = \text{Ind}_{P(\mathbb{Q}_p)}^{G(\mathbb{Q}_p)} H^\bullet(RZ^\infty_L)_\rho$$
  Qui, $E_{opt}$ è una specifica estensione finita del campo di riflessione costruita nel Teorema 6.3.
• Costruzione della Discesa di Weil: Gli autori forniscono una costruzione completa e autonoma del dato di discesa di Weil per gli spazi RZ di tipo abeliano, risolvendo potenziali ambiguità riguardanti la dipendenza dai dati Hodge ausiliari (Lemma 6.4).
• Functorialità degli Spazi RZ: Il lavoro stabilisce che la formazione degli spazi RZ di tipo abeliano rispetta i prodotti e gli immersi chiusi dei dati locali di Shimura (Proposizione 8.2), generalizzando risultati precedenti noti per il tipo Hodge.
• Riduzione al Caso Adjoint: La dimostrazione riduce efficacemente il problema per i dati di tipo abeliano al caso aggiunto, sfruttando la suriettività della mappa $\pi_1(H)^\Gamma \to \pi_1(H^{ad})^\Gamma$ (una condizione soddisfatta da gruppi di similitudine come $GL_n$ e $GSp_{2n}$).

Significato
Il lavoro afferma di estendere la validità della congettura di Harris–Viehmann a una classe più ampia di dati locali di Shimura, specificamente i dati non ramificati di tipo abeliano, che contengono strettamente la classe dei dati di tipo Hodge. Confermando la formula di induzione parabolica in questo contesto, il lavoro rafforza la comprensione strutturale della coomologia delle varietà di Shimura. Come notato nell'introduzione, questo risultato supporta l'aspettativa più ampia all'interno del programma di Langlands secondo cui le rappresentazioni supercuspidali sono concentrate lungo il luogo di base. Gli autori non affermano di risolvere la congettura per tutti i dati locali di Shimura (ad esempio, casi non riducibili o non non ramificati), ma mirano specificamente al caso riducibile Hodge–Newton per i tipi abeliani, costruendo sul lavoro fondante di Mantovan, Hong e Shen.