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

Technische Samenvatting: $G_m$-Cohomologie van $p$-adische Stein-ruimten

Probleemstelling
Het artikel behandelt de berekening van de étale cohomologiegroepen $H^i_{\text{ét}}(X, \mathbb{G}_m)$ voor gladde Stein-ruimten $X$ over een volkomen algebraïsch gesloten lichaam $C$ van karakteristiek 0 (dat $\mathbb{Q}_p$ bevat). Hoewel de cohomologie van $\mathbb{G}_m$ goed begrepen is voor algebraïsche schema's (waar deze in graden $i \ge 2$ torsie is volgens de stelling van Grothendieck), vormt het analytische geval aanzienlijke uitdagingen. In de analytische setting zijn de cohomologiegroepen niet noodzakelijk torsie, en falen standaard algebraïsche strategieën (zoals het relateren van $\mathbb{G}_m$ aan pushforwards vanuit punten). De auteurs beogen deze groepen te beschrijven voor klassieke rigide analytische ruimten, specifiek de affiene ruimte $\mathbb{A}^d$, de torus $\mathbb{G}_m^d$ en de Drinfeld-symmetrische ruimte $\mathbb{H}^d$, door een structurele filtratie te vestigen en haar gegradueerde stukken te berekenen.

Methodologie
De auteurs hanteren een meerstapsstrategie die $p$-adische Hodge-theorie, limietargumenten over Stein-overdekkingen en combinatorische methoden op het Bruhat-Tits-gebouw combineert.

1. Filtratie via Primitieve Eenheden: De kernstrategie omvat het ontbinden van $\mathbb{G}_m$ met behulp van de ondergroep van primitieve eenheden $U = 1 + \mathfrak{m}\mathcal{O}^+$. Dit levert een exacte rij op $1 \to U \to \mathbb{G}_m \to \mathcal{O}^\times \to 1$, waarbij $\mathcal{O}^\times = \mathbb{G}_m/U$. Dit induceert een filtratie op $H^i_{\text{ét}}(X, \mathbb{G}_m)$ met gegradueerde stukken die gerelateerd zijn aan de cohomologie van $U$ en $\mathcal{O}^\times$.
2. Scheiding van Torsiedelen: De auteurs onderscheiden tussen het $p$-deel en het deel prime tot $p$ ($p'$) van de cohomologie.
   • Het $p$-deel wordt geanalyseerd via de logaritme- en exponentiële afbeeldingen, waarbij $U$ wordt gerelateerd aan de structuurgarve $\mathcal{O}$. Dit verbindt het probleem met coherente cohomologie en de Hodge-Tate-logaritme-afbeelding.
   • Het $p'$-deel wordt geanalyseerd via de Kummer-exacte rij, waarbij $\mathcal{O}^\times$ wordt gerelateerd aan $\ell$-adische cohomologie voor priemgetallen $\ell \neq p$.
3. Pro-étale Site en Hodge-Tate-Isomorfisme: Om het $p$-deel te behandelen, maken de auteurs gebruik van de pro-étale site $X_{\text{proét}}$ en de canonieke projectie $\nu: X_{\text{proét}} \to X_{\text{ét}}$. Zij hanteren het Hodge-Tate-isomorfisme (Scholze) en de Bloch-Kato-exponentiële afbeelding (Colmez-Dospinescu-Nizioł) om pro-étale cohomologie te relateren aan differentiaalvormen $\Omega^i_X$.
4. Limietargumenten en Vlakheid: Aangezien Stein-ruimten limieten zijn van affinoïde ruimten $X_n$, gebruiken de auteurs de afgeleide limietformaliteit ($R\lim$) om over te gaan van de cohomologie van de affinoïden naar de Stein-ruimte. Een cruciale technische vereiste is de vlakheid van de overgangsafbeeldingen in het projectieve systeem van $\ell$-adische cohomologiegroepen voor de Stein-overdekking.
5. Combinatorische Meetkunde: Voor de Drinfeld-symmetrische ruimte passen de auteurs argumenten toe van de Shalit en Schneider-Stuhler. Zij maken gebruik van de meetkunde van het Bruhat-Tits-gebouw, specifiek de convexiteit van bepaalde subcomplexen (ballen in de combinatorische metriek), om de nodige vlakheids- en acycliciteits-eigenschappen voor coëfficiëntsystemen te bewijzen.

Belangrijkste Bijdragen en Resultaten

• Constructie van een Filtratie: Het artikel construeert een filtratie $F^{(i)}_{\text{ét}, \mathbb{G}_m}(X)$ voor de cohomologie van elke gladde Stein-ruimte $X$. De gegradueerde stukken worden geïdentificeerd als:

  • $gr_0$: Gerelateerd aan de cokern van de Hodge-Tate-logaritme, geïdentificeerd met $\Omega^{i-1}(X)(1-i)/\text{Ker}(d)$.
  • $gr_1$: Gerelateerd aan de kern van de Hodge-Tate-logaritme, geïdentificeerd met een quotiënt dat Hyodo-Kato-cohomologie $HK^i(X)$ en pro-étale cohomologie omvat.
  • $gr_2$: Gerelateerd aan de $p'$-torsie, geïdentificeerd met een voltooide directe som van $\ell$-adische cohomologiegroepen voor $\ell \neq p$.

• Expliciete Berekeningen voor Klassieke Ruimten: Onder specifieke technische hypothesen (torsie van de $\mathcal{O}^\times$-cohomologie op affinoïden, vlakheid van $\ell$-adische cohomologie en injectiviteit van de afbeelding naar Hyodo-Kato-cohomologie) berekenen de auteurs de gegradueerde stukken voor:

  • Affiene Ruimte $\mathbb{A}^d$: De cohomologie wordt beschreven in termen van differentiaalvormen.
  • Torus $\mathbb{G}_m^d$: De gegradueerde stukken omvatten uitwendige machten van $\mathbb{Q}_p$ en $\mathbb{Q}_\ell$.
  • Drinfeld-Symmetrische Ruimte $\mathbb{H}^d$: De gegradueerde stukken worden uitgedrukt in termen van gegeneraliseerde Steinberg-representaties $Sp_i(\cdot)^*$ en hun duale. Specifiek omvat $gr_1$ $Sp_i(\mathbb{Q}_p)^*/Sp_i(\mathbb{Z}_p)^*$ en omvat $gr_2$ een som over $\ell \neq p$ van vergelijkbare structuren.

• Torsie- en Vlakheidsresultaten:

  • De auteurs bewijzen dat voor gesloten bollen, gesloten annuli en de standaard Stein-overdekkingopen $U_n$ van de Drinfeld-ruimte, de groepen $H^i_{\text{ét}}(X, \mathcal{O}^\times)$ torsie zijn voor $i \ge 2$.
  • Zij vestigen de vlakheid van $H^i_{\text{ét}}(U_n, \mathbb{Z}/\ell^n\mathbb{Z})$ over $\mathbb{Z}/\ell^n\mathbb{Z}$ voor $\ell \neq p$, een niet-triviaal resultaat voor de Drinfeld-ruimte dat rust op de acycliciteit van coëfficiëntsystemen op het Bruhat-Tits-gebouw.

Betekenis en Beweringen
Het artikel beweert een volledige beschrijving te bieden van de $\mathbb{G}_m$-cohomologie voor een aanzienlijke klasse van $p$-adische Stein-ruimten, waarbij bekende resultaten uit het algebraïsche geval worden uitgebreid naar de analytische setting. De auteurs benadrukken dat hun strategie de behandeling van $p$-torsie (via $p$-adische Hodge-theorie) en torsie prime tot $p$ (via $\ell$-adische cohomologie) unify.

Het werk generaliseert een eerdere berekening voor de affiene ruimte (van Ertl, Gilles en Nizioł) naar de torus en de Drinfeld-symmetrische ruimte. Een centrale bewering is dat de Drinfeld-symmetrische ruimte, ondanks haar complexiteit, voldoet aan de nodige technische voorwaarden (torsie van $\mathcal{O}^\times$ en vlakheid van $\ell$-adische cohomologie) om deze expliciete filtratie mogelijk te maken. De auteurs merken op dat de resultaten diepe eigenschappen van het Bruhat-Tits-gebouw en de acycliciteit van specifieke coëfficiëntsystemen vereisen, waarmee rigide analytische meetkunde wordt verbonden met representatietheorie.

Het artikel beweert niet het probleem op te lossen voor alle gladde Stein-ruimten, maar identificeert eerder een "voldoende grote klasse" (met inbegrip van de belangrijkste voorbeelden van belang) waar de cohomologie torsie is en de filtratie expliciet is. De auteurs erkennen dat het algemene geval verdere voorwaarden vereist om pathologieën in het limietargument te vermijden, welke voor hun specifieke voorbeelden worden geverifieerd.