A note on extensions of $p$-adic representations of $\mathrm{GL}_2(\mathbb{Q}_p)$

Sintesi Tecnica: Estensioni delle rappresentazioni p-adiche di GL₂(Qₚ)

Enunciato del Problema
Il lavoro affronta il calcolo dei gruppi di estensione all'interno della categoria dei duali di rappresentazioni p-adiche di Banach ammissibili di lunghezza finita della $G = \text{GL}_2(\mathbb{Q}_p)$. Mentre la corrispondenza di Langlands locale p-adica (LLC) stabilisce una biiezione tra le classi di isomorfismo di certe rappresentazioni di Galois e le rappresentazioni di spazi di Banach, una comprensione strutturale più profonda richiede l'analisi della categoria derivata, in particolare dei gruppi di estensione ($\text{Ext}^i$) tra questi oggetti. Tali estensioni sono cruciali per comprendere la compatibilità tra la teoria delle deformazioni delle rappresentazioni di Galois e quella delle rappresentazioni di $G$.

Prima di questo lavoro, erano stati compiuti progressi significativi nel caso di caratteristica $p$ (rappresentazioni mod $p$) da Emerton, Breuil, Paškunas e Colmez. Tuttavia, la letteratura sui gruppi di estensione in caratteristica 0 (specificamente per le rappresentazioni di spazi di Banach p-adici) rimaneva scarsa. I risultati esistenti coprivano casi specifici, come le estensioni tra serie principali continue unitarie e lisce mod $p$ (Hauseux) o tra due rappresentazioni supercuspidali (Paškunas). Esisteva un vuoto nel calcolo delle estensioni in cui una rappresentazione è il duale di una rappresentazione non ordinaria che emerge dalla LLC p-adica.

Metodologia
Gli autori impiegano il quadro della corrispondenza di Langlands locale p-adica sviluppato da Colmez e Paškunas, utilizzando il "functore di Montréal" $V$ e le sue varianti duali.

1. Quadro Categorico: Lo studio si concentra sulla categoria $\text{Ban}^{\text{adm}}_{G,\zeta}(E)$ delle rappresentazioni unitarie ammissibili di spazi di Banach su $E$ con un carattere centrale $\zeta$. Poiché questa categoria non possiede sufficienti oggetti iniettivi, gli autori utilizzano la costruzione di Yoneda per definire i gruppi di estensione $\text{Ext}^i_{G,\zeta}$.
2. Dualità e Functori: L'analisi si basa pesantemente sulla relazione tra una rappresentazione $\Pi$ e il suo duale continuo $\Pi^*$. Gli autori utilizzano il duale di Schikhof e il duale di Pontryagin per collegare le rappresentazioni di spazi di Banach ai moduli sull'algebra di gruppo completata. Uno strumento chiave è il funtore $\check{V}$, che mappa le rappresentazioni di Banach duali nuovamente nelle rappresentazioni di Galois, soddisfacendo $\check{V}(\Pi^*) \cong V(\Pi)^*(\varepsilon\zeta)$.
3. Decomposizione in Blocchi: Seguendo Paškunas, la categoria viene decomposta in blocchi basati sulla riduzione mod $p$ delle rappresentazioni. Gli autori analizzano l'azione dell'anello di deformazione universale del pseudo-carattere $R^{\text{ps},\psi}_{\text{tr}\rho_B}$ su questi blocchi.
4. Riduzione all'Algebra Commutativa: Per rappresentazioni assolutamente irriducibili all'interno di un blocco specifico, si dimostra che l'anello degli endomorfismi è il campo $E$. I gruppi di estensione vengono quindi ridotti al calcolo delle estensioni nella categoria dei moduli su un anello locale completo $A$, identificato come il completamento dell'anello di deformazione del pseudo-carattere in un ideale massimale.

Contributi e Risultati Chiave

• Classificazione delle Estensioni (Teorema 1.1): Il lavoro fornisce una classificazione completa dei gruppi di estensione $\text{Ext}^i_{G,\zeta}(\pi^*, \Pi(V)^*)$ sotto una condizione di genericità sulla riduzione della rappresentazione di Galois $V$.

  • Caso di Annullamento: Se $\pi$ è una rappresentazione di Banach unitaria ammissibile assolutamente irriducibile tale che la sua rappresentazione di Galois associata $V(\pi)$ non è isomorfa a $V$, allora $\text{Ext}^i_{G,\zeta}(\pi^*, \Pi(V)^*) = 0$ per ogni $i \geq 0$.
  • Caso di Non-Annullamento: Se $V(\pi) \cong V$, i gruppi di estensione sono non nulli solo per $0 \leq i \leq 3$. Nello specifico, $\text{Ext}^i_{G,\zeta}(\pi^*, \Pi(V)^*) \cong E^{\binom{3}{i}}$. Questo risultato si basa sul fatto che l'anello di deformazione rilevante $A$ è un anello locale regolare completo di dimensione 3, permettendo l'uso del complesso di Koszul per calcolare i gruppi Ext.

• Applicazione agli Spazi di Drinfeld (Corollario 1.2): Gli autori applicano questi risultati di annullamento al contesto geometrico della coomologia étale p-adica di spazi di Drinfeld di livello finito.

  • Considerano la componente isotypica $V$ della coomologia $H^1_{\text{ét}}(M_\infty, E(1))$, dove $V$ è una rappresentazione di Galois supercuspidale.
  • Utilizzando l'isomorfismo stabilito da Colmez, Dospinescu e Nizioł, che collega questa coomologia a copie di $\Pi(V)^*$, gli autori dimostrano che non esistono estensioni tra questa componente coomologica e il duale della rappresentazione associata a una rappresentazione di Galois riducibile $\rho_p$ (purché $\rho_p$ soddisfi specifiche condizioni di Hodge-Tate e di genericità).

Significato e Affermazioni
Il lavoro rivendica la novità nel calcolo delle estensioni nella categoria dei duali di rappresentazioni p-adiche di Banach ammissibili di lunghezza finita, specificamente quando una delle rappresentazioni è il duale di una rappresentazione non ordinaria. Gli autori affermano che questi risultati sono applicati per dimostrare l'annullamento delle estensioni tra rappresentazioni duali di spazi di Banach p-adici associate a rappresentazioni di Galois riducibili e componenti isotypiche supercuspidali della coomologia étale p-adica degli spazi di Drinfeld.

Il lavoro è presentato come una "nota breve" che colma un vuoto specifico nella letteratura di caratteristica 0, completando l'ampio lavoro svolto nel contesto mod $p$. Gli autori sottolineano che i risultati dipendono dalla genericità della riduzione della rappresentazione di Galois e dalla struttura specifica degli anelli di deformazione associati ai blocchi della categoria. Il lavoro non propone nuove applicazioni sperimentali, ma piuttosto consolida il legame teorico tra la teoria delle deformazioni delle rappresentazioni di Galois e la teoria delle rappresentazioni dei gruppi p-adici nel contesto del programma di Langlands locale.