Explicit isomorphisms for a Herr-type complex over a metabelian extension

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria di Hodge $p$-adica, specificamente nella classificazione delle rappresentazioni del gruppo di Galois assoluto $G_K$ di un campo $p$-adico $K$.

• Contesto storico: Fontaine ha introdotto i moduli $(\varphi, \Gamma)$ per classificare le rappresentazioni $p$-adiche, permettendo di calcolare la coomologia di Galois tramite complessi di Herr (inizialmente per la torre ciclotomica). Successivamente, Tavares Ribeiro e altri hanno esteso questo quadro ai moduli $(\varphi, \tau)$, associati alla torre di Kummer $K_\infty$ (estensione metabeliana), per trattare rappresentazioni semi-stabili e integrali.
• La sfida: Mentre esistono complessi espliciti per calcolare la coomologia di Galois per rappresentazioni su campi finiti di $\mathbb{Q}_p$ (caso trattato da Tavares Ribeiro), mancava una teoria coerente per famiglie di rappresentazioni definite su algebre di Banach $\mathbb{Q}_p$-affinoidi (o più in generale, su algebre $S$). Inoltre, la costruzione di isomorfismi espliciti tra la coomologia di Galois e la coomologia di complessi di moduli $(\varphi, \tau)$ in questo contesto "relativo" (famiglie) non era stata realizzata.
• Obiettivo: Costruire un complesso esplicito basato sui moduli $(\varphi, \tau)$ associati a una famiglia di rappresentazioni $V$ su un'algebra $S$, e dimostrare l'esistenza di isomorfismi espliciti tra la coomologia di questo complesso e la coomologia di Galois $H^i(G_K, V)$.

2. Metodologia

Gli autori adottano un approccio che combina la teoria dei moduli $(\varphi, \tau)$ con tecniche di coomologia di gruppi non-abeliani e sequenze spettrali.

• Impostazione Geometrica e Gruppi:

  • Si considera l'estensione metabeliana $L = K_\infty \cdot K_{cycl}$, dove $K_\infty$ è la torre di Kummer e $K_{cycl}$ è l'estensione ciclotomica.
  • Il gruppo di Galois $G_\infty = \text{Gal}(L/K)$ è generato topologicamente da due elementi: $\gamma$ (generatore di $\text{Gal}(L/K_\infty)$) e $\tau$ (generatore di $\text{Gal}(L/K_{cycl})$).
  • Si definisce un cociclo di Kummer $c: G_\infty \to \mathbb{Z}_p$ che descrive l'azione di $G_\infty$ sulla torre di Kummer.

• Strumenti Teorici:

  • Moduli $(\varphi, \tau)$: Si utilizzano i risultati di Gao-Liu e KP23 per associare a una famiglia di rappresentazioni $V$ su un'algebra $S$ una famiglia di moduli $(\varphi, \tau)$, denotata $D^\dagger_{\tau, K}(V)$.
  • Sequenza di Hochschild-Serre: Si utilizza la sequenza esatta di inflazione-restrizione per il sottogruppo normale $H_\infty = \text{Gal}(L/K_\infty)$ (o meglio, il suo analogo nella torre) per collegare la coomologia di $G_K$ a quella di $G_\infty$ e $H_\infty$.
  • Complessi di Calcolo:
    1. Per $H_\infty$ (che ha dimensione coomologica 1), la coomologia è calcolata da un complesso a due termini basato sull'operatore di Frobenius $\varphi - 1$.
    2. Per $G_\infty$ (non prociclico, generato da $\gamma$ e $\tau$), si costruisce un complesso a tre termini che generalizza il complesso di Herr classico, tenendo conto della relazione di commutazione $g\tau g^{-1} = \tau \chi_{cycl}(g)$.

• Costruzione del Complesso Totale:
  Gli autori combinano il complesso per $H_\infty$ (basato su $\varphi$) e il complesso per $G_\infty$ (basato su $\gamma, \tau$) per formare un complesso totale a quattro termini. La difficoltà principale risiede nel gestire il fatto che $G_\infty$ ha coomologia non nulla in grado 2, a differenza del caso ciclotomico classico, rendendo necessario un trattamento esplicito di $H^2$.

3. Risultati Chiave e Contributi

Il Complesso Principale (Teorema 1 / Teorema 26)

Il risultato centrale è la costruzione di un complesso di quattro termini che calcola la coomologia di Galois per una famiglia di rappresentazioni $V$.
Sia $D^r_L$ il modulo $(\varphi, \tau)$ base-changed su un anello di periodi appropriato. Il complesso è:
$$0 \to D^r_L \xrightarrow{d_0} D^{pr}_L \oplus D^r_L \oplus D^r_L \xrightarrow{d_1} D^{pr}_L \oplus D^{pr}_L \oplus D^r_L \xrightarrow{d_2} D^{pr}_L \to 0$$
dove le mappe $d_0, d_1, d_2$ sono matrici che coinvolgono gli operatori $\varphi - 1$, $\gamma - 1$, $\tau - 1$ e l'operatore $\delta = \tau^{\chi(\gamma)-1}\tau^{-1}$.

Isomorfismi Espliciti

Il contributo più significativo è la costruzione esplicita degli isomorfismi tra la coomologia di questo complesso e la coomologia di Galois $H^i(G_K, V)$ per $i=0, 1, 2$.

• Caso $i=1$: Viene definita una mappa $h_1$ che associa una classe di cocicli di Galois a una classe nel nucleo di $d_1$ modulo l'immagine di $d_0$. La costruzione richiede l'uso di sezioni continue per l'operatore $\varphi - 1$.
• Caso $i=2$: Questo è il punto tecnicamente più delicato. Gli autori costruiscono una mappa $h_2: H^2(G_K, V) \to \ker d_2 / \text{im } d_1$. La costruzione di $h_2$ richiede di sollevare elementi da $H^2$ a cochain su $G_K$, calcolare valori specifici su generatori ($\gamma, \tau$) e dimostrare che un certo elemento $z$ (costruito tramite combinazioni lineari di questi valori e delle sezioni) è fissato da $H_\infty$.

Generalizzazione e Specializzazione

• Il risultato vale per famiglie su algebre di Banach $\mathbb{Q}_p$ arbitrarie (non solo campi finiti).
• Quando $S$ è un'estensione finita di $\mathbb{Q}_p$, il complesso e gli isomorfismi si specializzano esattamente ai risultati di Tavares Ribeiro ([Tav11]), fornendo una nuova prova di tale risultato.

4. Significato e Implicazioni

• Fondamenti per la Teoria Relativa: Questo lavoro stabilisce le proprietà fondamentali per la coomologia di famiglie di moduli $(\varphi, \tau)$. È un passo necessario per estendere la teoria di Hodge $p$-adica a contesti di famiglie (ad esempio, spazi di deformazione o famiglie di forme modulari).
• Strumenti per la Coomologia di Galois: Fornisce uno strumento computazionale esplicito per calcolare la coomologia di Galois in situazioni dove la torre di Kummer è rilevante (es. rappresentazioni semi-stabili, modelli integrali di varietà di Shimura).
• Superamento delle Limitazioni: A differenza dell'approccio di Pottharst per i moduli $(\varphi, \Gamma)$, che si basa su una sequenza spettrale che degenera facilmente, questo lavoro affronta la complessità della coomologia in grado 2 per il gruppo metabeliano $G_\infty$, richiedendo costruzioni di mappe molto più sofisticate e "a mano".
• Applicazioni Future: La capacità di lavorare con algebre di Banach apre la strada allo studio di famiglie di rappresentazioni Galoisiane in contesti geometrici più ampi, potenzialmente applicabili alla congettura di Langlands $p$-adica locale e alla teoria delle deformazioni.

In sintesi, il documento risolve un problema tecnico profondo nella teoria dei numeri $p$-adica, fornendo un ponte esplicito e computabile tra la coomologia di Galois di famiglie di rappresentazioni e la coomologia algebrica dei loro moduli associati $(\varphi, \tau)$ su estensioni metabeliane.