Une conjecture $C_{\rm st}$ pour la cohomologie à support compact

Il lavoro dimostra che l'aggiunta di analoghi $p$-adici di $\log p$ e $\log 2\pi i$ annulla la coomologia di Galois in gradi $\geq 1$ dell'anello delle funzioni analitiche sulla curva di Fargues-Fontaine, permettendo così di formulare congetture di tipo $C_{\rm dR}$ e $C_{\rm st}$ per la coomologia a supporto compatto delle varietà analitiche $p$-adiche.

L'essenziale

Immagina di essere un architetto che sta cercando di ricostruire un antico tempio (la geometria di una varietà p-adica) basandosi solo su alcune rovine sparse e su un manuale di istruzioni molto complicato (la coomologia pro-étale).

Questo articolo, scritto da tre matematici esperti (Colmez, Gilles e Nizioł), parla di un nuovo modo per leggere quelle istruzioni, specialmente quando il tempio non è "chiuso" ma ha dei "buchi" o dei confini aperti (coomologia a supporto compatto).

Ecco la spiegazione semplice, passo dopo passo:

1. Il Problema: Il Rumore di Fondo

Immagina che le istruzioni per ricostruire il tempio siano scritte su un foglio di carta molto speciale (chiamato $B_{dR}$ o $B_{st}$).
Quando provi a leggere queste istruzioni per i templi "aperti" (quelli con i supporti compatti), succede una cosa strana: il foglio di carta ha un rumore di fondo fastidioso.
In termini matematici, questo rumore è una "coomologia galoisiana" che non dovrebbe esserci. È come se, mentre cerchi di tradurre le istruzioni, la carta stessa iniziasse a parlare da sola, creando frasi senza senso che confondono il traduttore.

• Il risultato: Se provi a usare le vecchie regole, ottieni un tempio distorto o incompleto.

2. La Soluzione: Il "Cancellino Magico"

I matematici hanno scoperto che per eliminare questo rumore, non serve cancellare la carta, ma aggiungere una nuova parola magica al vocabolario.
Questa parola è un logaritmo (chiamato $\log t$ o $\log 2\pi i$ p-adico).

• L'analogia: Immagina di avere un'equazione matematica che non si risolve perché c'è un termine che "balla" e non si ferma. Se aggiungi una nuova variabile che è esattamente l'opposto di quel movimento, i due termini si annullano a vicenda e l'equazione diventa pulita.
• Cosa fanno gli autori: Prendono l'anello delle funzioni matematiche (il foglio di carta) e ci aggiungono questo "logaritmo magico".
• L'effetto: Appena aggiunto, il rumore di fondo sparisce completamente! La coomologia in gradi superiori (i "graffi" sul foglio) diventa zero. Ora il foglio è perfetto e si può leggere chiaramente.

3. La Curva di Fargues-Fontaine: La "Piazza" del Mondo

Per fare tutto questo, usano un oggetto geometrico molto moderno e astratto chiamato Curva di Fargues-Fontaine.

• L'analogia: Immagina questa curva come una grande piazza centrale in un mondo matematico. Tutte le funzioni analitiche (i mattoni del tempio) vivono su questa piazza.
• Gli autori prendono le funzioni che vivono su questa piazza (l'anello $B$) e ci aggiungono il loro "logaritmo magico".
• Scoprono che, a differenza di altri anelli più vecchi e rigidi, questo anello specifico reagisce perfettamente all'aggiunta del logaritmo: il rumore sparisce e tutto diventa ordinato.

4. La Nuova Congettura: La Ricetta Definitiva

Una volta che hanno "pulito" il foglio di istruzioni (eliminando il rumore), possono scrivere una nuova ricetta (una congettura) per ricostruire i templi aperti.

• La vecchia ricetta (Congettura $C_{dR}$ e $C_{st}$): Funzionava bene solo per templi "chiusi" (compatti). Per quelli aperti falliva perché il rumore disturbava la traduzione.
• La nuova ricetta: Ora che hanno aggiunto il logaritmo e pulito il foglio, possono scrivere una ricetta universale. Questa ricetta dice: "Prendi la coomologia del tempio, applica questa nuova traduzione magica (usando l'anello pulito con il logaritmo) e otterrai esattamente la struttura geometrica che cercavi".

In Sintesi

Gli autori hanno detto: "C'era un disturbo fastidioso quando provavamo a studiare le forme matematiche aperte. Abbiamo scoperto che aggiungendo una semplice 'parola magica' (un logaritmo) al nostro dizionario, il disturbo sparisce. Ora possiamo finalmente leggere le istruzioni corrette per ricostruire qualsiasi tempio matematico, anche quelli con i buchi."

È un lavoro di "pulizia" e "aggiunta" che trasforma un problema irrisolvibile in una formula elegante e perfetta.

Sommario tecnico

Ecco un riassunto tecnico dettagliato del documento "Une conjecture $C_{st}$ pour la cohomologie à support compact" di Pierre Colmez, Sally Gilles e Wiesława Nizioł.

1. Il Problema

Il lavoro si inserisce nel contesto della teoria di Hodge $p$-adica e delle congetture di confronto per le varietà analitiche $p$-adiche. Le congetture classiche $C_{dR}$ e $C_{st}$ (formulate in precedenza dagli stessi autori) forniscono ricette per estrarre le coomologie di de Rham e di Hyodo-Kato dalla coomologia pro-étale $p$-adica di varietà analitiche parzialmente proprie (o proprie).

Tuttavia, queste ricette falliscono quando si considera la coomologia a supporto compatto ($H^*_{pro\acute{e}t, c}$). Il problema principale è che, a differenza del caso proprio, l'uso del funtore $\text{Hom}_{G_K}$ (morfismi continui $G_K$-equivarianti) non è sufficiente. Se si tenta di applicare le stesse formule, si ottengono termini "parassiti" indesiderati derivanti dalla coomologia galoisiana degli anelli di periodi ($B_{dR}$, $B_{st}$) in gradi $\ge 1$.
In particolare:

• Per le varietà proprie, la dualità di Poincaré e le proprietà di $B_{dR}$ permettono di ottenere isomorfismi corretti.
• Per le varietà non proprie (es. curve affini), la coomologia a supporto compatto richiede l'uso di un $\text{RHom}$ derivato.
• Il calcolo diretto di $\text{RHom}$ rivela che i gruppi $\text{Ext}^1_{G_K}$ (corrispondenti a $H^1(G_K, B \otimes V^*)$) non si annullano, portando a una duplicazione dei gruppi di coomologia di de Rham invece che a un isomorfismo singolo.

L'obiettivo del paper è risolvere questo ostacolo modificando gli anelli di periodi in modo da "uccidere" (annullare) la coomologia galoisiana in gradi $\ge 1$, permettendo così di formulare una congettura corretta per la coomologia a supporto compatto.

2. Metodologia

Gli autori adottano una strategia basata sull'estensione degli anelli di periodi aggiungendo elementi logaritmici trascendenti. La metodologia si articola in tre passaggi principali:

1. Analisi della coomologia di $C$ e $B_{dR}$:

   • Si parte dal calcolo classico di Tate della coomologia galoisiana di $C$ (il completamento della chiusura algebrica di $K$). Si osserva che $H^1(G_K, C)$ è generato da $\log \chi_{cycl}$.
   • Si dimostra che aggiungendo un logaritmo formale $\log t$ (dove $t$ è il "2i$\pi$ $p$-adico" di Fontaine) all'anello $C$ o a $B_{dR}$, la coomologia in gradi $\ge 1$ diventa nulla. Questo risolve il problema per il caso $B_{dR}$ (noto come "folklore" ma qui formalizzato esplicitamente).

2. Estensione alla curva di Fargues-Fontaine e all'anello $B$:

   • Si considera l'anello $B = \mathcal{O}(Y_{FF})$ delle funzioni analitiche sulla curva di Fargues-Fontaine $Y_{FF}$.
   • Si introduce un nuovo elemento trascendente $\log \tilde{p}$ (dove $\tilde{p}$ è legato al divisore $p=0$ sulla curva) che soddisfa relazioni specifiche rispetto all'azione di Frobenius $\phi$ e del gruppo di Galois $G_K$.
   • Si costruiscono gli anelli estesi:
     • $B_{FF}^+ = B[\log \tilde{p}]$
     • $B_{FF} = B_{FF}^+[1/t]$
     • $B_{pFF}^+ = B_{FF}^+[\log t]$
     • $B_{pFF} = B_{pFF}^+[1/t]$
   • L'idea chiave è che l'aggiunta simultanea di $\log \tilde{p}$ e $\log t$ permette di eliminare la coomologia galoisiana residua di $B$ in gradi $\ge 1$.

3. Dimostrazione tecnica:

   • Gli autori utilizzano una ricorsione sui gradi dei polinomi in $\log \tilde{p}$ e $\log t$.
   • Sfruttano la struttura dei moduli su $B$ (in particolare la descrizione di $B/tB$ come prodotto diretto di copie di $C$) e la nullità della coomologia di $C$ in gradi alti dopo l'estensione.
   • Dimostrano che per gli anelli estesi $\Lambda = B_{pFF}^+$ o $B_{pFF}$, si ha $H^i(G_K, \Lambda) = 0$ per ogni $i \ge 1$.

3. Contributi Chiave e Risultati

• Teorema 1.4: Dimostrazione che per $\Lambda = B_{dR}[\log t]$ o $B_{dR}^+[\log t]$, la coomologia galoisiana si annulla in gradi $\ge 1$.

• Teorema 2.4 (Risultato Principale): Dimostrazione che per gli anelli associati alla curva di Fargues-Fontaine, specificamente $\Lambda = B_{pFF}^+$ e $B_{pFF}$, vale:
  $$H^i(G_K, \Lambda) = \begin{cases} F & \text{se } i=0 \\ 0 & \text{se } i \ge 1 \end{cases}$$
  Questo risultato è sorprendente perché, a differenza di $B_{cris}^+$ o $B_{rig}^+$, per l'anello $B$ è possibile uccidere la coomologia aggiungendo un numero finito di elementi (i logaritmi).

• Formulazione della Congettura $C_{st}$ per supporto compatto (Congettura 3.1):
  Gli autori formulano nuove isomorfismi per varietà analitiche parzialmente proprie $Y$ su $K$:

  • Verso $C_{dR}$: $R\Gamma_{dR}(Y) \simeq R\text{Hom}_{G_K}(R\Gamma_{pro\acute{e}t, c}(Y_{\mathbb{C}_p}, \mathbb{Q}_p(d))[2d], B_{pD R})$
  • Verso $C_{st}$: $R\Gamma_{HK}(Y) \simeq \varinjlim_{[L:K]<\infty} R\text{Hom}_{GL}(R\Gamma_{pro\acute{e}t, c}(Y_{\mathbb{C}_p}, \mathbb{Q}_p(d))[2d], B_{pFF})$

  Dove $B_{pD R}$ e $B_{pFF}$ sono gli anelli estesi con i logaritmi.

4. Significato e Implicazioni

• Risoluzione di un ostacolo tecnico: Il lavoro risolve il problema della formulazione delle congetture di confronto per la coomologia a supporto compatto, un caso che era rimasto aperto a causa dei termini di coomologia galoisiana non banali.
• Nuovi anelli di periodi: Introduce e studia sistematicamente gli anelli $B_{pFF}$ e $B_{pD R}$, che si rivelano gli strumenti corretti per il caso a supporto compatto, a differenza degli anelli classici $B_{st}$ o $B_{cris}$ che non funzionano senza estensioni infinite o modifiche sostanziali.
• Unificazione: La congettura proposta generalizza il caso proprio (dove la congettura è già un teorema) al caso non proprio, mantenendo una struttura coerente che utilizza la dualità di Poincaré e i moduli derivati.
• Ruolo dei logaritmi: Dimostra che l'aggiunta di $\log t$ (per uccidere $\log \chi_{cycl}$) e $\log \tilde{p}$ (per gestire la struttura della curva di Fargues-Fontaine) è essenziale per "trivializzare" le classi di estensione indesiderate che altrimenti distorcono il confronto tra coomologie.

In sintesi, il paper fornisce il quadro teorico necessario per estendere la teoria di Hodge $p$-adica alle varietà non proprie tramite la coomologia a supporto compatto, risolvendo le incongruenze algebriche attraverso un'ingegnosa estensione degli anelli di periodi.