$\mathbb{G}_m$-cohomology of $p$-adic Stein spaces

Sintesi Tecnica: Cohomologia $\mathbb{G}_m$ degli Spazi di Stein $p$-adici

Enunciato del Problema
Il lavoro affronta il calcolo dei gruppi di cohomologia étale $H^i_{\text{ét}}(X, \mathbb{G}_m)$ per spazi di Stein lisci $X$ su un campo $C$ completo, algebricamente chiuso e di caratteristica 0 (contenente $\mathbb{Q}_p$). Mentre la cohomologia di $\mathbb{G}_m$ è ben compresa per gli schemi algebrici (dove è di torsione per gradi $i \ge 2$ per il teorema di Grothendieck), il caso analitico presenta sfide significative. Nel contesto analitico, i gruppi di cohomologia non sono necessariamente di torsione e le strategie algebriche standard (come il collegamento di $\mathbb{G}_m$ ai pushforward da punti) falliscono. Gli autori mirano a descrivere questi gruppi per spazi analitici rigidi classici, in particolare lo spazio affine $\mathbb{A}^d$, il toro $\mathbb{G}_m^d$ e lo spazio simmetrico di Drinfeld $\mathbb{H}^d$, istituendo una filtrazione strutturale e calcolandone i pezzi graduati.

Metodologia
Gli autori adottano una strategia multi-step che combina la teoria di Hodge $p$-adica, argomenti di limite su ricoperture di Stein e metodi combinatori sull'edificio di Bruhat-Tits.

1. Filtrazione tramite Unità Principali: La strategia centrale consiste nel decomporre $\mathbb{G}_m$ utilizzando il sottogruppo delle unità principali $U = 1 + \mathfrak{m}\mathcal{O}^+$. Ciò fornisce una successione esatta $1 \to U \to \mathbb{G}_m \to \mathcal{O}^\times \to 1$, dove $\mathcal{O}^\times = \mathbb{G}_m/U$. Questo induce una filtrazione su $H^i_{\text{ét}}(X, \mathbb{G}_m)$ con pezzi graduati legati alla cohomologia di $U$ e $\mathcal{O}^\times$.
2. Separazione delle Parti di Torsione: Gli autori distinguono tra la parte $p$ e la parte prima a $p$ ($p'$) della cohomologia.
   • La parte $p$ è analizzata tramite i mappe logaritmo ed esponenziale, collegando $U$ al fascio strutturale $\mathcal{O}$. Ciò collega il problema alla cohomologia coerente e alla mappa logaritmica di Hodge-Tate.
   • La parte $p'$ è analizzata tramite la successione esatta di Kummer, collegando $\mathcal{O}^\times$ alla cohomologia $\ell$-adica per primi $\ell \neq p$.
3. Sito Pro-étale e Isomorfismo di Hodge-Tate: Per gestire la parte $p$, gli autori utilizzano il sito pro-étale $X_{\text{proét}}$ e la proiezione canonica $\nu: X_{\text{proét}} \to X_{\text{ét}}$. Impiegano l'isomorfismo di Hodge-Tate (Scholze) e la mappa esponenziale di Bloch-Kato (Colmez-Dospinescu-Nizioł) per collegare la cohomologia pro-étale alle forme differenziali $\Omega^i_X$.
4. Argomenti di Limite e Piattezza: Poiché gli spazi di Stein sono limiti di spazi affinoidi $X_n$, gli autori utilizzano il formalismo del limite derivato ($R\lim$) per passare dalla cohomologia degli affinoidi allo spazio di Stein. Un requisito tecnico cruciale è la piattezza delle mappe di transizione nel sistema proiettivo dei gruppi di cohomologia $\ell$-adica per la ricopertura di Stein.
5. Geometria Combinatoria: Per lo spazio simmetrico di Drinfeld, gli autori adattano argomenti di de Shalit e Schneider-Stuhler. Sfruttano la geometria dell'edificio di Bruhat-Tits, in particolare la convessità di certi sottocomplessi (palle nella metrica combinatoria), per dimostrare le necessarie proprietà di piattezza e aciclicità per i sistemi di coefficienti.

Contributi e Risultati Chiave

• Costruzione di una Filtrazione: Il lavoro costruisce una filtrazione $F^{(i)}_{\text{ét}, \mathbb{G}_m}(X)$ per la cohomologia di qualsiasi spazio di Stein liscio $X$. I pezzi graduati sono identificati come:

  • $gr_0$: Legato al conucleo del logaritmo di Hodge-Tate, identificato con $\Omega^{i-1}(X)(1-i)/\text{Ker}(d)$.
  • $gr_1$: Legato al nucleo del logaritmo di Hodge-Tate, identificato con un quoziente che coinvolge la cohomologia di Hyodo-Kato $HK^i(X)$ e la cohomologia pro-étale.
  • $gr_2$: Legato alla torsione $p'$, identificato con una somma diretta completata di gruppi di cohomologia $\ell$-adica per $\ell \neq p$.

• Calcoli Espliciti per Spazi Classici: Sotto specifiche ipotesi tecniche (torsione della cohomologia di $\mathcal{O}^\times$ sugli affinoidi, piattezza della cohomologia $\ell$-adica e iniettività della mappa verso la cohomologia di Hyodo-Kato), gli autori calcolano i pezzi graduati per:

  • Spazio Affine $\mathbb{A}^d$: La cohomologia è descritta in termini di forme differenziali.
  • Toro $\mathbb{G}_m^d$: I pezzi graduati coinvolgono potenze esterne di $\mathbb{Q}_p$ e $\mathbb{Q}_\ell$.
  • Spazio Simmetrico di Drinfeld $\mathbb{H}^d$: I pezzi graduati sono espressi in termini di rappresentazioni generalizzate di Steinberg $Sp_i(\cdot)^*$ e dei loro duali. Nello specifico, $gr_1$ coinvolge $Sp_i(\mathbb{Q}_p)^*/Sp_i(\mathbb{Z}_p)^*$ e $gr_2$ coinvolge una somma su $\ell \neq p$ di strutture simili.

• Risultati su Torsione e Piattezza:

  • Gli autori dimostrano che per palle chiuse, anelli chiusi e gli aperti standard di ricopertura di Stein $U_n$ dello spazio di Drinfeld, i gruppi $H^i_{\text{ét}}(X, \mathcal{O}^\times)$ sono di torsione per $i \ge 2$.
  • Stabiliscono la piattezza di $H^i_{\text{ét}}(U_n, \mathbb{Z}/\ell^n\mathbb{Z})$ su $\mathbb{Z}/\ell^n\mathbb{Z}$ per $\ell \neq p$, un risultato non banale per lo spazio di Drinfeld che si basa sull'aciclicità dei sistemi di coefficienti sull'edificio di Bruhat-Tits.

Significato e Affermazioni
Il lavoro afferma di fornire una descrizione completa della cohomologia $\mathbb{G}_m$ per una classe significativa di spazi di Stein $p$-adici, estendendo risultati noti dal caso algebrico al contesto analitico. Gli autori sottolineano che la loro strategia unifica il trattamento della torsione $p$ (tramite la teoria di Hodge $p$-adica) e della torsione prima a $p$ (tramite la cohomologia $\ell$-adica).

Il lavoro generalizza un precedente calcolo per lo spazio affine (di Ertl, Gilles e Nizioł) al toro e allo spazio simmetrico di Drinfeld. Un'affermazione chiave è che lo spazio simmetrico di Drinfeld, nonostante la sua complessità, soddisfa le condizioni tecniche necessarie (torsione di $\mathcal{O}^\times$ e piattezza della cohomologia $\ell$-adica) per permettere questa filtrazione esplicita. Gli autori notano che i risultati dipendono da proprietà profonde dell'edificio di Bruhat-Tits e dall'aciclicità di specifici sistemi di coefficienti, colmando la geometria analitica rigida con la teoria delle rappresentazioni.

Il lavoro non afferma di risolvere il problema per tutti gli spazi di Stein lisci, ma piuttosto identifica una "classe sufficientemente ampia" (inclusi i principali esempi di interesse) in cui la cohomologia è di torsione e la filtrazione è esplicita. Gli autori riconoscono che il caso generale richiede ulteriori condizioni per evitare patologie nell'argomento di limite, condizioni che sono verificate per i loro esempi specifici.