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

Resumo Técnico: Cohomologia $G_m$ de Espaços de Stein $p$-ádicos

Enunciado do Problema
O artigo aborda o cálculo dos grupos de cohomologia étale $H^i_{\text{ét}}(X, \mathbb{G}_m)$ para espaços de Stein suaves $X$ sobre um corpo $C$ completo e algebricamente fechado de característica 0 (contendo $\mathbb{Q}_p$). Embora a cohomologia de $\mathbb{G}_m$ seja bem compreendida para esquemas algébricos (onde é de torção em graus $i \ge 2$ pelo teorema de Grothendieck), o caso analítico apresenta desafios significativos. No contexto analítico, os grupos de cohomologia não são necessariamente de torção, e estratégias algébricas padrão (como relacionar $\mathbb{G}_m$ a imagens diretas de pontos) falham. Os autores visam descrever esses grupos para espaços analíticos rígidos clássicos, especificamente o espaço afim $\mathbb{A}^d$, o toro $\mathbb{G}_m^d$ e o espaço simétrico de Drinfeld $\mathbb{H}^d$, estabelecendo uma filtração estrutural e calculando suas peças graduadas.

Metodologia
Os autores empregam uma estratégia multi-etapa combinando teoria de Hodge $p$-ádica, argumentos de limite sobre coberturas de Stein e métodos combinatórios no edifício de Bruhat-Tits.

1. Filtração via Unidades Principais: A estratégia central envolve a decomposição de $\mathbb{G}_m$ usando o subgrupo de unidades principais $U = 1 + \mathfrak{m}\mathcal{O}^+$. Isso produz uma sequência exata $1 \to U \to \mathbb{G}_m \to \mathcal{O}^\times \to 1$, onde $\mathcal{O}^\times = \mathbb{G}_m/U$. Isso induz uma filtração em $H^i_{\text{ét}}(X, \mathbb{G}_m)$ com peças graduadas relacionadas à cohomologia de $U$ e $\mathcal{O}^\times$.
2. Separação das Partes de Torção: Os autores distinguem entre a parte $p$ e a parte prima-a-$p$ ($p'$) da cohomologia.
   • A parte $p$ é analisada via os mapas logaritmo e exponencial, relacionando $U$ ao feixe estrutural $\mathcal{O}$. Isso conecta o problema à cohomologia coerente e ao mapa logarítmico de Hodge-Tate.
   • A parte $p'$ é analisada via a sequência exata de Kummer, relacionando $\mathcal{O}^\times$ à cohomologia $\ell$-ádica para primos $\ell \neq p$.
3. Sítio Pro-étale e Isomorfismo de Hodge-Tate: Para lidar com a parte $p$, os autores utilizam o sítio pro-étale $X_{\text{proét}}$ e a projeção canônica $\nu: X_{\text{proét}} \to X_{\text{ét}}$. Eles empregam o isomorfismo de Hodge-Tate (Scholze) e o mapa exponencial de Bloch-Kato (Colmez-Dospinescu-Nizioł) para relacionar a cohomologia pro-étale às formas diferenciais $\Omega^i_X$.
4. Argumentos de Limite e Planura: Como os espaços de Stein são limites de espaços afínoides $X_n$, os autores usam o formalismo de limite derivado ($R\lim$) para passar da cohomologia dos afínoides para o espaço de Stein. Um requisito técnico crucial é a planura dos mapas de transição no sistema projetivo de grupos de cohomologia $\ell$-ádica para a cobertura de Stein.
5. Geometria Combinatória: Para o espaço simétrico de Drinfeld, os autores adaptam argumentos de de Shalit e Schneider-Stuhler. Eles utilizam a geometria do edifício de Bruhat-Tits, especificamente a convexidade de certos subcomplexos (bolas na métrica combinatória), para provar as propriedades necessárias de planura e aciclicidade para sistemas de coeficientes.

Contribuições e Resultados Chave

• Construção de uma Filtração: O artigo constrói uma filtração $F^{(i)}_{\text{ét}, \mathbb{G}_m}(X)$ para a cohomologia de qualquer espaço de Stein suave $X$. As peças graduadas são identificadas como:

  • $gr_0$: Relacionada ao conúcleo do logaritmo de Hodge-Tate, identificada com $\Omega^{i-1}(X)(1-i)/\text{Ker}(d)$.
  • $gr_1$: Relacionada ao núcleo do logaritmo de Hodge-Tate, identificada com um quociente envolvendo a cohomologia de Hyodo-Kato $HK^i(X)$ e a cohomologia pro-étale.
  • $gr_2$: Relacionada à torção $p'$, identificada com uma soma direta completada de grupos de cohomologia $\ell$-ádica para $\ell \neq p$.

• Cálculos Explícitos para Espaços Clássicos: Sob hipóteses técnicas específicas (torção da cohomologia de $\mathcal{O}^\times$ em afínoides, planura da cohomologia $\ell$-ádica e injetividade do mapa para a cohomologia de Hyodo-Kato), os autores calculam as peças graduadas para:

  • Espaço Afim $\mathbb{A}^d$: A cohomologia é descrita em termos de formas diferenciais.
  • Toro $\mathbb{G}_m^d$: As peças graduadas envolvem potências exteriores de $\mathbb{Q}_p$ e $\mathbb{Q}_\ell$.
  • Espaço Simétrico de Drinfeld $\mathbb{H}^d$: As peças graduadas são expressas em termos de representações de Steinberg generalizadas $Sp_i(\cdot)^*$ e seus duais. Especificamente, $gr_1$ envolve $Sp_i(\mathbb{Q}_p)^*/Sp_i(\mathbb{Z}_p)^*$ e $gr_2$ envolve uma soma sobre $\ell \neq p$ de estruturas similares.

• Resultados sobre Torção e Planura:

  • Os autores provam que, para bolas fechadas, anéis fechados e os abertos padrão de cobertura de Stein $U_n$ do espaço de Drinfeld, os grupos $H^i_{\text{ét}}(X, \mathcal{O}^\times)$ são de torção para $i \ge 2$.
  • Eles estabelecem a planura de $H^i_{\text{ét}}(U_n, \mathbb{Z}/\ell^n\mathbb{Z})$ sobre $\mathbb{Z}/\ell^n\mathbb{Z}$ para $\ell \neq p$, um resultado não trivial para o espaço de Drinfeld que depende da aciclicidade de sistemas de coeficientes no edifício de Bruhat-Tits.

Significado e Alegações
O artigo alega fornecer uma descrição completa da cohomologia $\mathbb{G}_m$ para uma classe significativa de espaços de Stein $p$-ádicos, estendendo resultados conhecidos do caso algébrico para o contexto analítico. Os autores enfatizam que sua estratégia unifica o tratamento da torção $p$ (via teoria de Hodge $p$-ádica) e da torção prima-a-$p$ (via cohomologia $\ell$-ádica).

O trabalho generaliza um cálculo anterior para o espaço afim (por Ertl, Gilles e Nizioł) para o toro e o espaço simétrico de Drinfeld. Uma alegação chave é que o espaço simétrico de Drinfeld, apesar de sua complexidade, satisfaz as condições técnicas necessárias (torção de $\mathcal{O}^\times$ e planura da cohomologia $\ell$-ádica) para permitir essa filtração explícita. Os autores observam que os resultados dependem de propriedades profundas do edifício de Bruhat-Tits e da aciclicidade de sistemas de coeficientes específicos, fazendo a ponte entre a geometria analítica rígida e a teoria das representações.

O artigo não alega resolver o problema para todos os espaços de Stein suaves, mas sim identifica uma "classe suficientemente grande" (incluindo os principais exemplos de interesse) onde a cohomologia é de torção e a filtração é explícita. Os autores reconhecem que o caso geral requer condições adicionais para evitar patologias no argumento de limite, as quais são verificadas para seus exemplos específicos.