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

Resumen Técnico: Cohomología $G_m$ de Espacios de Stein $p$-ádicos

Planteamiento del Problema
El artículo aborda el cálculo de los grupos de cohomología étale $H^i_{\text{ét}}(X, \mathbb{G}_m)$ para espacios de Stein suaves $X$ sobre un cuerpo algebraicamente cerrado completo $C$ de característica 0 (que contiene a $\mathbb{Q}_p$). Si bien la cohomología de $\mathbb{G}_m$ está bien entendida para esquemas algebraicos (donde es de torsión en grados $i \ge 2$ por el teorema de Grothendieck), el caso analítico presenta desafíos significativos. En el contexto analítico, los grupos de cohomología no son necesariamente de torsión, y las estrategias algebraicas estándar (como relacionar $\mathbb{G}_m$ con imágenes directas desde puntos) fallan. Los autores buscan describir estos grupos para espacios analíticos rígidos clásicos, específicamente el espacio afín $\mathbb{A}^d$, el toro $\mathbb{G}_m^d$ y el espacio simétrico de Drinfeld $\mathbb{H}^d$, estableciendo una filtración estructural y calculando sus piezas graduadas.

Metodología
Los autores emplean una estrategia de múltiples pasos que combina la teoría de Hodge $p$-ádica, argumentos de límite sobre cubrimientos de Stein y métodos combinatorios en el edificio de Bruhat-Tits.

1. Filtración mediante Unidades Principales: La estrategia central implica descomponer $\mathbb{G}_m$ utilizando el subgrupo de unidades principales $U = 1 + \mathfrak{m}\mathcal{O}^+$. Esto produce una sucesión exacta $1 \to U \to \mathbb{G}_m \to \mathcal{O}^\times \to 1$, donde $\mathcal{O}^\times = \mathbb{G}_m/U$. Esto induce una filtración en $H^i_{\text{ét}}(X, \mathbb{G}_m)$ con piezas graduadas relacionadas con la cohomología de $U$ y $\mathcal{O}^\times$.
2. Separación de Partes de Torsión: Los autores distinguen entre la parte $p$ y la parte prima a $p$ ($p'$) de la cohomología.
   • La parte $p$ se analiza mediante los mapas logaritmo y exponencial, relacionando $U$ con el haz estructural $\mathcal{O}$. Esto conecta el problema con la cohomología coherente y el mapa logarítmico de Hodge-Tate.
   • La parte $p'$ se analiza mediante la sucesión exacta de Kummer, relacionando $\mathcal{O}^\times$ con la cohomología $\ell$-ádica para primos $\ell \neq p$.
3. Sitio Pro-étale e Isomorfismo de Hodge-Tate: Para manejar la parte $p$, los autores utilizan el sitio pro-étale $X_{\text{proét}}$ y la proyección canónica $\nu: X_{\text{proét}} \to X_{\text{ét}}$. Emplean el isomorfismo de Hodge-Tate (Scholze) y el mapa exponencial de Bloch-Kato (Colmez-Dospinescu-Nizioł) para relacionar la cohomología pro-étale con las formas diferenciales $\Omega^i_X$.
4. Argumentos de Límite y Plana: Dado que los espacios de Stein son límites de espacios afinoideos $X_n$, los autores utilizan el formalismo de límite derivado ($R\lim$) para pasar de la cohomología de los afinoideos al espacio de Stein. Un requisito técnico crucial es la planitud de los mapas de transición en el sistema proyectivo de grupos de cohomología $\ell$-ádica para el cubrimiento de Stein.
5. Geometría Combinatoria: Para el espacio simétrico de Drinfeld, los autores adaptan argumentos de de Shalit y Schneider-Stuhler. Utilizan la geometría del edificio de Bruhat-Tits, específicamente la convexidad de ciertos subcomplejos (bolas en la métrica combinatoria), para probar las propiedades de planitud y aciclicidad necesarias para los sistemas de coeficientes.

Contribuciones y Resultados Clave

• Construcción de una Filtración: El artículo construye una filtración $F^{(i)}_{\text{ét}, \mathbb{G}_m}(X)$ para la cohomología de cualquier espacio de Stein suave $X$. Las piezas graduadas se identifican como:

  • $gr_0$: Relacionada con el conúcleo del logaritmo de Hodge-Tate, identificada con $\Omega^{i-1}(X)(1-i)/\text{Ker}(d)$.
  • $gr_1$: Relacionada con el núcleo del logaritmo de Hodge-Tate, identificada con un cociente que involucra la cohomología de Hyodo-Kato $HK^i(X)$ y la cohomología pro-étale.
  • $gr_2$: Relacionada con la torsión $p'$, identificada con una suma directa completada de grupos de cohomología $\ell$-ádica para $\ell \neq p$.

• Cálculos Explícitos para Espacios Clásicos: Bajo hipótesis técnicas específicas (torsión de la cohomología de $\mathcal{O}^\times$ en afinoideos, planitud de la cohomología $\ell$-ádica e inyectividad del mapa hacia la cohomología de Hyodo-Kato), los autores calculan las piezas graduadas para:

  • Espacio Afín $\mathbb{A}^d$: La cohomología se describe en términos de formas diferenciales.
  • Toro $\mathbb{G}_m^d$: Las piezas graduadas involucran potencias exteriores de $\mathbb{Q}_p$ y $\mathbb{Q}_\ell$.
  • Espacio Simétrico de Drinfeld $\mathbb{H}^d$: Las piezas graduadas se expresan en términos de representaciones de Steinberg generalizadas $Sp_i(\cdot)^*$ y sus duales. Específicamente, $gr_1$ involucra $Sp_i(\mathbb{Q}_p)^*/Sp_i(\mathbb{Z}_p)^*$ y $gr_2$ involucra una suma sobre $\ell \neq p$ de estructuras similares.

• Resultados sobre Torsión y Planitud:

  • Los autores demuestran que para bolas cerradas, anillos cerrados y los abiertos estándar de cubrimiento de Stein $U_n$ del espacio de Drinfeld, los grupos $H^i_{\text{ét}}(X, \mathcal{O}^\times)$ son de torsión para $i \ge 2$.
  • Establecen la planitud de $H^i_{\text{ét}}(U_n, \mathbb{Z}/\ell^n\mathbb{Z})$ sobre $\mathbb{Z}/\ell^n\mathbb{Z}$ para $\ell \neq p$, un resultado no trivial para el espacio de Drinfeld que depende de la aciclicidad de los sistemas de coeficientes en el edificio de Bruhat-Tits.

Significado y Afirmaciones
El artículo afirma proporcionar una descripción completa de la cohomología $\mathbb{G}_m$ para una clase significativa de espacios de Stein $p$-ádicos, extendiendo resultados conocidos del caso algebraico al contexto analítico. Los autores enfatizan que su estrategia unifica el tratamiento de la torsión $p$ (mediante la teoría de Hodge $p$-ádica) y la torsión prima a $p$ (mediante la cohomología $\ell$-ádica).

El trabajo generaliza un cálculo previo para el espacio afín (de Ertl, Gilles y Nizioł) al toro y al espacio simétrico de Drinfeld. Una afirmación clave es que el espacio simétrico de Drinfeld, a pesar de su complejidad, satisface las condiciones técnicas necesarias (torsión de $\mathcal{O}^\times$ y planitud de la cohomología $\ell$-ádica) para permitir esta filtración explícita. Los autores señalan que los resultados dependen de propiedades profundas del edificio de Bruhat-Tits y de la aciclicidad de sistemas de coeficientes específicos, tendiendo un puente entre la geometría analítica rígida y la teoría de representaciones.

El artículo no afirma resolver el problema para todos los espacios de Stein suaves, sino que identifica una "clase suficientemente grande" (incluyendo los ejemplos principales de interés) donde la cohomología es de torsión y la filtración es explícita. Los autores reconocen que el caso general requiere condiciones adicionales para evitar patologías en el argumento de límite, las cuales se verifican para sus ejemplos específicos.