On a conjecture of Pappas and Rapoport

Riassunto Tecnico: Una Congettura di Pappas e Rapoport

1. Il Problema (Contesto e Obiettivo)

Il lavoro affronta la questione della costruzione di modelli integrali canonici per le varietà di Shimura di tipo Hodge in presenza di strutture di livello quasi-parahoriche in un primo $p$.

Storicamente, quando il livello è iperspecial, i modelli integrali sono lisci e ben caratterizzati (lavori di Kisin). Quando il livello è parahorico, i modelli presentano singolarità complesse. Pappas e Rapoport hanno formulato una congettura secondo cui esistono sistemi di modelli integrali normali, piatti e di tipo finito che soddisfano determinati assiomi (legati alla presenza di uno shtuka universale $p$-adico). Sebbene il caso dei parahorici "stabilizzatori" fosse stato parzialmente affrontato, la congettura rimaneva aperta per i casi più generali di gruppi quasi-parahorici.

2. Metodologia

L'approccio degli autori è innovativo poiché inverte la logica di Pappas e Rapoport: invece di partire dai modelli per dimostrare l'esistenza di uno shtuka, gli autori partono dalla costruzione di uno stack di moduli di quasi-parahoric shtukas per dedurre l'esistenza dei modelli integrali.

Le tecniche principali includono:

• Geometria Perfettoide e Diamanti: L'uso del linguaggio dei v-sheaves e dei diamonds (Scholze, Weinstein) per gestire i moduli di shtuka e le varietà di Shimura in caratteristica $p$.
• Teoria di Bruhat-Tits: Per la classificazione dei sottogruppi quasi-parahorici e la struttura dei gruppi schemi associati.
• Formalismo Tannakiano: Utilizzato per estendere le strutture di torsore e le rappresentazioni dai gruppi generici ai modelli integrali.
• Teoria dei Modelli Locali: Per collegare le singolarità dei modelli globali ai modelli locali (schemi di Hodge-type).

3. Contributi Chiave e Risultati

Il saggio si articola su tre pilastri fondamentali:

A. Esistenza dei Modelli Integrali (Teorema I):
Gli autori dimostrano che, per una varietà di Shimura di tipo Hodge, esiste un sistema di modelli integrali $\{S_K(G, X)\}_{K_p}$ che soddisfa gli assiomi di Pappas-Rapoport per qualsiasi sottogruppo quasi-parahorico $K_p$. Questo risolve la congettura principale per la classe di Hodge-type.

B. Decomposizione degli Stack di Shtuka (Teorema III e Corollario IV):
Uno dei risultati tecnici più profondi è la dimostrazione che lo stack di $G$-shtukas ($\text{Sht}_{G,\mu}$) può essere decomposto in termini di stack di $G^\circ$-shtukas (dove $G^\circ$ è la componente identità parahorica). Gli autori provano che l'immagine dello stack di $G^\circ$-shtukas è un sottostack aperto e chiuso di $\text{Sht}_{G,\mu}$ e che la mappa tra di essi è un torsore per il gruppo abeliano finito $\pi_0(G)_\phi$.

C. Diagrammi di Modelli Locali (Teorema II):
Gli autori provano la congettura di Kisin-Pappas sull'esistenza di diagrammi di modelli locali schematici. Dimostrano che le singolarità dei modelli integrali di Hodge-type sono (localmente) modellate dalle singolarità dei modelli locali $M_{G,\mu}$, fornendo un ponte tra la geometria globale e quella locale.

D. Uniformizzazione di Rapoport-Zink (Corollario 4.4.3):
Il lavoro estende i risultati di uniformizzazione delle classi di isogenia, mostrando che i modelli integrali costruiti permettono una descrizione tramite varietà locali di Shimura in piena generalità.

4. Significatività

La portata di questo lavoro è duplice:

1. Teorica: Risolve una congettura fondamentale nel programma di Langlands locale e globale, estendendo la comprensione della geometria delle varietà di Shimura oltre il caso parahorico standard.
2. Strumentale: Fornisce un quadro rigoroso per studiare le singolarità dei modelli integrali e le strutture di torsore in presenza di gruppi non connessi, aprendo la strada a futuri studi sulle varietà di Shimura di tipo abeliano e sulla teoria dei moduli di shtuka.

In sintesi, il saggio stabilisce che la struttura di "shtuka" è l'elemento unificante che permette di definire modelli integrali canonici anche quando la struttura di gruppo è complicata dalla natura quasi-parahorica.