Cohomologie de de Rham du revêtement modéré de l'espace de Drinfeld

Sintesi Tecnica: Coomologia di de Rham del Primo Copertura dello Spazio di Drinfeld

Enunciato del Problema
Il saggio investiga la coomologia di de Rham della prima copertura, indicata con $M^1_{Dr}$, all'interno della torre di Drinfeld delle coperture étale sopra lo spazio simmetrico di Drinfeld $H^d_K$. Mentre la coomologia $\ell$-adica ($\ell \neq p$) di questa torre è ben stabilita come una realizzazione geometrica delle corrispondenze di Langlands locale e di Jacquet-Langlands (tramite i lavori di Harris, Taylor, Boyer, ecc.), il caso $p$-adico (specificamente la coomologia di de Rham) presenta sfide significative. La difficoltà primaria risiede nell'assenza di un noto modello semi-stabile (o di riduzione semi-stabile generalizzata) per la prima copertura $M^1_{Dr}$, diversamente dallo spazio base $M^0_{Dr}$ che ammette un modello di Deligne. Senza tale modello, le tecniche standard che coinvolgono il confronto tra fibre generiche e speciali (come lo studio dei cicli evanescenti) non sono direttamente applicabili nel contesto de Rham.

Metodologia
L'autore impiega un approccio puramente locale, evitando argomenti geometrici globali ove possibile. La metodologia si basa su tre pilastri principali:

1. Generalizzazione dei Risultati di Esistenza (Excision): Il saggio estende un risultato di Grosse-Klönne riguardante l'esistenza della coomologia negli spazi analitici rigidi. Nello specifico, il Teorema B stabilisce che, per uno schema formale $X$ di riduzione semi-stabile generalizzata e una copertura ciclica tame $\pi: T \to X_\eta$, la coomologia de Rham del tubo sopra l'intersezione di componenti irriducibili della fibra speciale è isomorfa alla coomologia del tubo sopra l'intersezione meno le componenti "di bordo". Ciò consente di ridurre il calcolo della coomologia globale al calcolo di coomologie locali su specifici sottoinsiemi aperti.

2. Descrizione Geometrica Esplicita: Utilizzando il lavoro precedente dell'autore, la prima copertura $\Sigma_1$ (lo spazio analitico associato a $M^1_{Dr}$) viene descritta esplicitamente come una copertura Kummer (una copertura ciclica di ordine coprimo a $p$) dello spazio di Drinfeld. Su specifici sottoinsiemi aperti corrispondenti ai vertici dell'edificio di Bruhat-Tits, questa copertura si dimostra essere isomorfa a una copertura ciclica di un toro monomiale.

3. Confronto con le Varietà di Deligne-Lusztig: Il saggio identifica che la fibra speciale della copertura sopra un vertice dell'edificio di Bruhat-Tits è isomorfa a una varietà di Deligne-Lusztig $DL^d_F$. L'autore calcola la coomologia de Rham di queste coperture cicliche di tori monomiali e le relaziona alla coomologia rigida delle varietà di Deligne-Lusztig.

Contributi Chiave e Risultati

• Teorema 5.1 (Esistenza per Coperture Cicliche): Il saggio dimostra un teorema di esistenza generalizzato per la coomologia de Rham di coperture cicliche tame su schemi formali di riduzione semi-stabile generalizzata. Questo risultato è cruciale per ridurre la coomologia dell'intera copertura alla coomologia di specifici "tubi" sopra le componenti irriducibili della fibra speciale.
• Teorema 5.8 (Coomologia di Coperture Cicliche di Tori Monomiali): L'autore fornisce una descrizione esplicita della coomologia de Rham di una copertura ciclica tame di un toro monomiale. La coomologia viene mostrata essere decomponibile in componenti isotipiche corrispondenti ai caratteri del gruppo galoisiano, con una base data da differenziali logaritmici.
• Teorema 6.1 (Calcolo Locale): Per un carattere primitivo $\theta$ del gruppo di Galois $F_{q^{d+1}}^*$, la coomologia de Rham con supporto compatto della prima copertura, ristretta alla sua componente isotipica $\theta$, è concentrata nel grado $d$. Specificamente:
  $$H^i_{dR,c}(\Sigma_1)[\theta] \cong \begin{cases} \bigoplus_{s \in BT_0} H^d_{rig,c}(DL^d_F / \breve{K})[\theta] & \text{se } i = d \\ 0 & \text{altrimenti} \end{cases}$$
  Qui, $BT_0$ denota l'insieme dei vertici dell'edificio di Bruhat-Tits semi-semplice.
• Teorema 6.9 (Realizzazione di Jacquet-Langlands): Il saggio stabilisce che la parte supercuspidale della coomologia de Rham della prima copertura realizza la corrispondenza locale di Jacquet-Langlands. Nello specifico, per un carattere primitivo $\theta$, lo spazio delle mappe $D^*$-equivarianti dalla rappresentazione $\rho(\theta)$ alla coomologia $H^i_{dR,c}(M^1_{Dr})$ è isomorfo alla rappresentazione $JL(\rho(\theta))$ di $GL_{d+1}(K)$ se $i=d$, e nullo altrimenti.

Significatività
Il saggio sostiene di fornire una dimostrazione puramente locale che la parte supercuspidale della coomologia de Rham della prima copertura di Drinfeld realizza la corrispondenza locale di Jacquet-Langlands. Questo funge da analogo de Rham dei classici risultati $\ell$-adici stabiliti da Wang e altri.

La significatività risiede nel fatto che:

1. Colma il divario tra Teorie Coomologiche: Dimostra che l'informazione "supercuspidale" codificata nella coomologia $\ell$-adica è presente anche nella coomologia de Rham, a patto di ignorare l'azione del gruppo di Weil (che è invisibile nel contesto de Rham).
2. Supera i Limiti dei Modelli: Utilizzando il teorema di esistenza generalizzato (Teorema B) e la descrizione esplicita della copertura come estensione Kummer, l'autore elude la necessità di un modello semi-stabile globale di $M^1_{Dr}$, un ostacolo maggiore nei tentativi precedenti.
3. Estensione Metodologica: Le tecniche sviluppate, in particolare il risultato di esistenza per le coperture cicliche, sono segnalate come potenzialmente utili per lo studio della prima copertura dello spazio di Lubin-Tate, dove sorgono complessità geometriche simili.

L'autore osserva che, sebbene il risultato sia dimostrato per $n=1$ (la prima copertura) e dimensione $d$ arbitraria, la situazione per livelli superiori ($n > 1$) è significativamente più complessa, e un approccio puramente locale potrebbe non essere sufficiente per tali casi. Il lavoro si basa pesantemente sulla descrizione geometrica della prima copertura ottenuta dalle pubblicazioni precedenti dell'autore.