Purity in the tame cohomology

Resumo Técnico: Pureza na Cohomologia Tame

Enunciado do Problema
O artigo aborda a falha do teorema da pureza cohomológica absoluta para feixes de torção-$p$ na topologia étale sobre esquemas de característica $p$. Embora a pureza se mantenha para coeficientes primos de $p$ (teorema de Gabber-Fujiwara), ela falha para os feixes de de Rham-Witt logarítmicos $\nu_{m}(n)$ na topologia étale. Especificamente, para um par regular $(X, Z)$ de codimensão $r$, a imagem direta superior $R^{r+1}i_!\nu_{X,m}(n)$ não necessariamente se anula, obstruindo a existência de um isomorfismo de pureza $Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$. A obstrução surge porque o operador de Cartier inverso (ou o mapa de Artin-Schreier) não é sobrejetivo na topologia étale devido à presença de coberturas de ramificação selvagem.

Metodologia
O autor, Amine Koubaa, resolve essa obstrução deslocando o arcabouço da topologia étale para a topologia tame (tame topology), introduzida por Hübner e Stalder. A metodologia baseia-se nos seguintes componentes estruturais:

1. Espaços Adicos e Espaços Discretamente Anelados: O artigo utiliza espaços adicos discretamente anelados, denotados $X = \text{Spa}(X, S)$, para fornecer um cenário geométrico onde a ramificação tame é bem comportada. A prova aproveita a equivalência entre a cohomologia tame de um esquema e a cohomologia de seu espaço adico associado.
2. Geometria Logarítmica e Diferenciais: A ferramenta técnica central é o feixe de diferenciais logarítmicos. O autor introduz e analisa o feixe $\Omega^+_{X/k}$, definido via seminorms de Kähler e "rangers" (um conceito de Hübner e Temkin), que captura diferenciais com valorização limitada.
3. Resolução de Singularidades: As provas assumem a existência de resolução de singularidades e resolução de singularidades incorporada (especificamente para esquemas log-suaves). Isso permite a redução de casos gerais para pares log-suaves $(X, \bar{X})$ onde a fronteira é um divisor de corte normal simples.
4. O Operador de Cartier: Um passo crucial envolve estabelecer a exatidão da sequência envolvendo o operador de Cartier $C$ nos feixes de diferenciais fechados $Z\Omega^+$. Na topologia tame, o operador de Cartier inverso torna-se sobrejetivo, ao contrário do que ocorre na topologia étale, onde ele falha devido à ramificação selvagem.
5. Teorema de Popescu: Para estender os resultados de esquemas suaves sobre corpos perfeitos para pares regulares sobre bases arbitrárias de característica $p$, o artigo emprega o teorema de Popescu, expressando álgebras regulares como colimites filtrados de álgebras suaves.

Principais Contribuições e Resultados

• Teorema de Pureza para a Cohomologia Tame (Teoremas 1.3 & 5.9): O resultado principal estabelece que, para um par suave $(X, Z)$ de codimensão pura $r$ sobre um corpo perfeito $k$ de característica $p$, existe um isomorfismo natural na categoria derivada de feixes tame:
  $$Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$$
  Isso ocorre sob a suposição de resolução de singularidades. O isomorfismo é construído via um morfismo de Gysin.

• Exatidão da Sequência de Cartier (Teorema 4.27): O artigo prova que, em espaços adicos discretamente anelados, a sequência
  $$0 \to \nu(n) \to Z\Omega^+_{X/k} \xrightarrow{C^{-1}} \Omega^+_{X/k} \to 0$$
  é exata na topologia tame. Essa exatidão é o mecanismo que restaura a pureza, pois garante o desaparecimento do termo de obstrução $R^{r+1}i_!$.

• Construção do Morfismo de Gysin (Seção 5.1): O autor constrói um morfismo de Gysin para os feixes $\Omega^+_{n}$ e o estende para os feixes de de Rham-Witt logarítmicos $\nu_{m}(n)$. Isso envolve provar que as imagens diretas superiores $R^ji_!\Omega^+_{n}$ se anulam para $j \neq r$ e que $R^ri_!\Omega^+_{n} \cong \Omega^+_{n-r}[-r]$.

• Generalização para Pares Regulares (Teorema 5.15): Usando o teorema de Popescu, o resultado de pureza é generalizado de pares suaves sobre corpos perfeitos para pares regulares $(X, Z)$ sobre um esquema base $S$ de característica $p$. O resultado afirma que:
  $$Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$$
  na categoria derivada $D((Z/S)_t)$.

• Comparação com a Cohomologia Étale (Proposição 5.10): O artigo esclarece a relação entre os resultados tame e étale. Ele mostra que o isomorfismo de pureza tame é a versão "correta", e que a falha da pureza étale deve-se à não surjetividade do operador de Cartier na presença de ramificação selvagem. O feixe tame da imagem direta étale recupera o resultado tame.

Significância e Alegações
O artigo afirma fornecer uma solução completa para o problema da pureza para feixes de de Rham-Witt logarítmicos em característica positiva utilizando a topologia tame.

• Restauração da Pureza: Demonstra que a obstrução à pureza na topologia étale (o não desaparecimento de $R^{r+1}i_!$) é um artefato da ramificação selvagem, que é excluída na topologia tame.
• Avanço Metodológico: Ao integrar a teoria de espaços adicos (especificamente os discretamente anelados) com a geometria logarítmica e o operador de Cartier, o artigo fornece um arcabouço robusto para lidar com coeficientes de torção-$p$ onde os métodos étale clássicos falham.
• Consistência com Resultados Conhecidos: Os resultados generalizam os teoremas de semi-pureza de Milne e Gros e alinham-se com o teorema da pureza absoluta para coeficientes primos de $p$.
• Modéstia sobre Suposições: O autor nota explicitamente que os resultados dependem da suposição de resolução de singularidades. O artigo menciona que trabalhos futuros visam remover essa suposição, particularmente no que diz respeito à existência do operador de Cartier em $\Omega^+$ sem depender de resolução.

Em resumo, o artigo estabelece que "a pureza se mantém na topologia tame", oferecendo um isomorfismo natural para a imagem direta com suporte próprio de feixes de de Rham-Witt logarítmicos, resolvendo assim uma questão de longa data na cohomologia de esquemas em característica $p$.