A construction of tame sheaves and tame de Rham--Witt cohomology

Resumo Técnico: Uma Construção de Feixes Tame e Cohomologia Tame de de Rham–Witt

Problema e Motivação
O artigo aborda uma limitação fundamental na construção de teorias de cohomologia $p$-ádica integral para esquemas sobre um corpo $k$ de característica positiva $p$. Embora a cohomologia de de Rham com polos logarítmicos forneça uma teoria bem-comportada em característica zero, satisfazendo a descida étale, a construção análoga usando o complexo de de Rham–Witt com polos logarítmicos em característica $p$ falha em satisfazer a descida étale. Essa falha é atribuída à ramificação selvagem. Trabalhos anteriores de Hübner e Saito ([HS20]) estabeleceram que essas teorias satisfazem "descida tame" relativa a um site tame específico. No entanto, o quadro existente depende de espaços adicos, tornando a construção de feixes tecnicamente difícil.

Os autores visam introduzir uma variante algébrica da topologia tame para pares de esquemas $(X, \tilde{X})$, onde $X \hookrightarrow \tilde{X}$ é uma imersão aberta quasicompacta. O objetivo é estabelecer resultados fundamentais para este site que permitam a construção sistemática de feixes tame e teorias de cohomologia que satisfaçam descida tame, especificamente para o complexo de de Rham–Witt e feixes de reciprocidade.

Metodologia
A metodologia central envolve a definição de um novo site, o site tame $(X, \tilde{X})_t$, e o desenvolvimento de uma maquinaria geral para construir feixes sobre ele.

1. O Site Tame: A categoria subjacente consiste em pares $(U, \tilde{U})$ onde $U \hookrightarrow \tilde{U}$ é uma imersão aberta quasicompacta sobre um par base $(S, \tilde{S})$, com condições específicas de finitude (morfismos ift). A topologia é gerada por coberturas tame, definidas através do comportamento de valorações no espaço adico $Spa(U, \tilde{U})$. Um morfismo é uma cobertura tame se, para toda valoração no alvo, existir uma elevação na fonte onde a extensão induzida de campos de valoração seja tame.
2. A Construção $\beta$: Os autores introduzem um mecanismo geral (Proposição 8.2) para construir um feixe tame $F_\beta$ em $(X, \tilde{X})_t$ a partir de um feixe étale $F$ em $X_{\text{ét}}$ equipado com um "dado local" $\beta$. Este dado especifica, para todo anel de valoração centrado em $\tilde{X}$, um subconjunto de "seções tame" de $F$. O feixe resultante $F_\beta$ consiste em seções de $F$ que, quando puxadas para a henselização do anel de valoração, residem dentro dos subconjuntos tame especificados.
3. Cálculos Cohomológicos: O artigo estabelece um teorema de comparação (Teorema 7.2) relacionando a cohomologia de um feixe tame em $(X, \tilde{X})_t$ ao limite direto de grupos de cohomologia étale sobre explosões admissíveis de $\tilde{X}$. Isso depende da existência de objetos acíclicos (pro-objetos que são locais para a topologia) e de uma comparação entre cohomologia de Čech e cohomologia de feixes (Teorema 6.5).

Contribuições e Resultados Principais

• Teoria Fundamental do Site Tame: Os autores definem o topos tame e provam que a cohomologia de um feixe tame é independente da escolha da compactificação $\tilde{X}$ (Lema 2.7). Eles estabelecem que a cohomologia pode ser computada como um colimite sobre modificações (Teorema 7.2), desde que o feixe satisfaça uma condição específica relativa a seus estames serem módulos $\mathbb{Z}(p_x)$.
• Complexo Tame de de Rham–Witt: Aplicando a construção $\beta$ ao complexo de de Rham–Witt com polos logarítmicos, os autores definem o complexo big de Rham–Witt tame $W_S\Omega^\bullet_t$ (Definição 9.5). Eles provam que, para um esquema suave $\tilde{X}$ com um divisor de cruzamento normal simples $D = \tilde{X} \setminus X$, a cohomologia deste complexo tame em $(X, \tilde{X})_t$ é isomorfa à cohomologia cristalina logarítmica de $(\tilde{X}, D)$ (Teorema 10.3).
  • Especificamente, $R\Gamma((X, \tilde{X})_t, W\Omega^\bullet_t) \cong R\Gamma_{\text{log-crys}}((\tilde{X}, D)/W(k))$.
• Cohomologia Sintômica Tame: Os autores definem complexos sintômicos tame $Z_p(r)_t$ usando a filtragem de Nygaard no complexo de de Rham–Witt tame. Eles mostram que esses complexos recuperam a cohomologia motivica tame considerada na literatura anterior (Teorema 10.8), estabelecendo um isomorfismo $Z/p^\bullet(r)_t \cong W^\bullet\Omega^r_{t, \log}[-r]$.
• Feixes de Reciprocidade: A construção é estendida a feixes de reciprocidade (Teorema 11.3). Para um feixe de reciprocidade $F$, o feixe tame associado $F^{\text{rec}}_{\log}$ possui cohomologia isomorfa à cohomologia de Nisnevich do feixe de módulo maximal invariante por cubo na compactificação.
• Comparação com Sites Tame Anteriores: O artigo compara o novo site $(X, \tilde{X})_t$ com o site tame $(X/S)_t$ definido em [HS20]. Embora exista um par adjunto de funtores entre as categorias de feixes, as teorias de cohomologia são geralmente distintas. Os autores demonstram que passar de $(X, \tilde{X})_t$ para $(X/S)_t$ resulta em perda de informação; por exemplo, a cohomologia do feixe estrutural tame $O_t$ em $(X, \tilde{X})_t$ computa a cohomologia do feixe estrutural na compactificação, enquanto em $(X/S)_t$ computa a cohomologia de um feixe constante relacionado à cohomologia étale (Observação 12.6).

Significado e Afirmações
O artigo afirma fornecer um quadro robusto e algébrico para a construção de modelos integrais de teorias de cohomologia $p$-ádica que satisfaçam descida tame. Ao mudar de espaços adicos para esquemas, os autores simplificam a construção de feixes, tornando-a acessível a técnicas padrão de geometria algébrica.

O significado principal reside na capacidade de:

1. Gerar sistematicamente feixes tame a partir de dados étale via a construção $\beta$.
2. Provar que o complexo de de Rham–Witt com polos logarítmicos satisfaz descida tame, recuperando assim a cohomologia cristalina logarítmica de maneira puramente algébrica.
3. Estabelecer uma ponte entre a cohomologia sintômica tame e a cohomologia motivica.
4. Esclarecer a relação entre diferentes topologias tame, mostrando que o site baseado em pares $(X, \tilde{X})_t$ retém mais informação geométrica (especificamente relativa à compactificação) do que o site relativo $(X/S)_t$.

Os autores observam que esses resultados dependem de resolução de singularidades ou limites específicos de dimensão (por exemplo, $d \leq 3$ em característica positiva) para certos isomorfismos, como a identificação da cohomologia com a cohomologia cristalina logarítmica. O trabalho prepara o terreno para futuras construções de modelos integrais para cohomologia coerente e de de Rham sobre corpos não arquimedianos.