Descendability and descent in topological weaves

Resumo Técnico: Descendibilidade e Descida em Tecelagens Topológicas

Enunciado do Problema
O artigo aborda o problema de estabelecer propriedades de descida para "tecelagens topológicas" abstratas — um arcabouço para formalismos de seis funções em espaços algébricos e stacks introduzido em [Kha]. Especificamente, investiga-se as condições sob as quais esses formalismos satisfazem a descida para várias topologias, notadamente a topologia $h$ (gerada por sobrejeções étale e sobrejeções próprias finitamente apresentadas) e a topologia $v$ (morfismos universalmente subtrutivos). Embora existam resultados clássicos para teorias de cohomologia específicas (ex: cohomologia étale com coeficientes de torção), um critério geral para a descida $h$ no contexto de feixes motivicos e espectros, particularmente sobre bases não excelentes ou com coeficientes racionais, carecia de unificação e extensão.

Metodologia
A inovação metodológica central é a mudança do estudo da descida direta para o estudo da descendibilidade, um conceito adaptado de Mathew [Mat].

• Descendibilidade: Um morfismo $f: Y \to X$ é definido como descendível se o objeto unidade $1_X$ na $\infty$-categoria estável $D(X)$ puder ser construído a partir de $f_*(1_Y)$ através de uma sequência finita de operações, incluindo cofibres, fibras, somas diretas e produtos tensoriais. Isso é quantificado por um "índice" $N$, indicando a profundidade da nervura de Čech necessária para reconstruir a unidade.
• O Critério: O artigo estabelece que, se uma tecelagem satisfaz a descida para coberturas "simples" (étale finita e sobrejeções radiciais finitas), ela satisfaz a descida para todas as sobrejeções finitamente apresentadas. Isso é alcançado através de um argumento de "bootstrapping" (Teorema 1.21) que utiliza estratificações de espaços algébricos e a propriedade de localização da tecelagem.
• Aplicação a Feixes Motivicos: Os autores aplicam este critério a categorias motivicas específicas:
  • Feixes Motivicos Racionais ($SH_{\mathbb{Q},+}$): Ao aproveitar o fato de que estes são $\mathbb{Q}$-lineares e orientados, a característica de Euler de qualquer cobertura étale finita é invertível, garantindo a descendibilidade de índice $\le 1$.
  • Espectros Motivicos Étale ($SH_{\text{ét}}$): Os autores analisam as propriedades de descida sobre esquemas noetherianos de dimensão finita cujos corpos residuais possuem dimensão cohomológica étale uniformemente limitada. Eles utilizam resultados de rigidez e o desaparecimento da parte "menos" do espectro após inverter 2 para estabelecer a descendibilidade.

Principais Contribuições e Resultados

1. Critério Geral de Descida (Teorema C): O artigo prova que, para uma tecelagem topológica $D$, os seguintes pontos são equivalentes:

   • Toda sobrejeção finitamente apresentada de espaços algébricos qcqs é descendível.
   • Toda sobrejeção étale finita e toda sobrejeção radical finita é descendível.
     Isso reduz o complexo problema da descida $h$ à verificação da descendibilidade para duas classes específicas de morfismos.

2. Descida para Feixes Motivicos Racionais (Teorema A): O pré-feixe $SH_{\mathbb{Q},+}(-)$ satisfaz a descida $v$ (e, portanto, a descida $h$) em todos os espaços algébricos. Isso recupera e estende resultados anteriores de Cisinski–Déglise sobre esquemas quase-excelentes para espaços algébricos arbitrários.

3. Descida para Espectros Motivicos Étale (Teorema B): Os pré-feixes $SH_{\text{ét}}(-)$, $DA_{\text{ét}}(-;\Lambda)$ e $DM_{\text{ét}}(-;\Lambda)$ satisfazem a descida $h$ em espaços algébricos noetherianos de dimensão finita cujos corpos residuais possuem dimensão cohomológica étale uniformemente limitada. Para estes últimos, o resultado vale para qualquer anel comutativo $\Lambda$. Se 2 não for invertível nos coeficientes, o resultado vale para $SH_{\text{ét}}[1/2]$.

4. Isomorfismo de Esquecimento de Suportes (Teorema D): O artigo constrói um isomorfismo canônico $f_! \simeq f_*$ para morfismos próprios $f$ de stacks de Artin no contexto de feixes motivicos racionais.

   • Contexto: Aplica-se quando $f$ é representável por stacks de Deligne–Mumford (DM), ou quando $f$ possui inércia relativa branda (tame) e a base é de equicaracterística.
   • Significância: Isso resolve uma lacuna em argumentos anteriores (ex: em [Kha3]) onde a comutação de $f_!$ com as totalizações era assumida sem justificativa. Os autores mostram que, como os morfismos de cobertura são descendíveis, a totalização comuta com funtores exatos como $f_!$, validando assim o isomorfismo.

Significância e Alegações
O artigo alega que o foco na descendibilidade oferece vantagens distintas sobre a descida padrão:

• Functorialidade: Garante que a totalização de Čech $F \simeq \text{Tot}(f_{\bullet, *} f_\bullet^* F)$ é preservada por qualquer funtor exato, não apenas por aqueles que preservam limites. Isso é crucial para provar o isomorfismo $f_! \simeq f_*$.
• Estabilidade: A descendibilidade é preservada por funtores monoidais simétricos, permitindo que resultados sejam transferidos da tecelagem topológica universal ($SH$) para tecelagens orientadas $\mathbb{Q}$-lineares específicas.
• Generalidade: Os resultados aplicam-se a espaços algébricos e stacks sem exigir que os esquemas base sejam quase-excelentes, desde que a dimensão cohomológica dos corpos residuais seja limitada no caso étale.

O trabalho unifica a teoria de descida para várias categorias motivicas, fornecendo um arcabouço robusto que lida tanto com coeficientes racionais quanto integrais (com restrições específicas da base) e se estende naturalmente ao cenário de stacks de Artin.