Pro-étale motives and solid rigidity

Resumo Técnico: Pro-étale motives and solid rigidity

1. O Problema e o Contexto

O artigo aborda desafios fundamentais na teoria de cohomologia $\ell$-ádica e na teoria de motivos de Voevodsky, especificamente a incompatibilidade entre certas estruturas de coeficientes e a racionalização, bem como a falta de um formalismo de seis operações robusto para feixes "sólidos" (solid sheaves) em esquemas.

• Limitações dos Sistemas de Coeficientes Atuais:
  • A teoria clássica de feixes $\ell$-ádicos construtíveis (baseada em limites homotópicos de feixes de torsão) falha em interagir bem com a racionalização (ex: $D((−)_{ét}, \mathbb{Z})^\wedge_\ell \otimes \mathbb{Q} \simeq 0$).
  • O uso do sítio pro-étale (introduzido por Bhatt-Scholze) permite tratar $\mathbb{Z}_\ell$ e $\mathbb{Q}_\ell$ como feixes que respeitam suas topologias naturais, mas o sistema de coeficientes resultante $D((−)_{proét}, \mathbb{Z}_\ell)$ não possui todas as propriedades de functorialidade desejadas (ex: o teorema da base mudança própria falha).
• Motivos e Realização $\ell$-ádica:
  • Os motivos de Voevodsky ($DM_{ét}$) fornecem um sistema de coeficientes universal, mas a realização $\ell$-ádica (via completamento $\ell$) envia $\mathbb{Q}$ para zero e não é estável sob mudança de base em característica mista.
• Feixes Sólidos em Esquemas:
  • Na geometria analítica rígida, Fargues e Scholze desenvolveram a teoria de feixes sólidos com coeficientes em $\mathbb{Z}_p$, que possuem um formalismo de "5 funtores". No entanto, em esquemas, a extensão para um formalismo de seis funtores (incluindo $f_!$ e $f^!$) não era estabelecida, e a relação entre feixes sólidos e motivos não era clara.

2. Metodologia

Os autores utilizam uma abordagem híbrida que combina a teoria de motivos, a topologia pro-étale e a teoria de categorias condensadas (condensed mathematics).

• Categorias Condensadas e Sólidas:
  • Utilizam a teoria de categorias internas ao topos de conjuntos condensados (desenvolvida por Clausen e Scholze) para definir um processo de "solidificação" ($(-)^\blacksquare$) para categorias de motivos.
  • Definem a categoria de feixes sólidos sobre um esquema $X$ como uma localização reflexiva da categoria de feixes pro-étale, onde se inverte certos mapas relacionados a limites cofiltrados de esquemas étale afins.
• Motivos Pro-étale ($DM_{proét}$):
  • Constroem uma categoria de motivos baseada no sítio pro-étale, substituindo a topologia de Nisnevich/étale pela topologia pro-étale.
  • Introduzem o conceito de esquemas fracamente suaves (weakly smooth), que são composições finitas de morfismos suaves e fracamente étale. Isso permite definir a categoria de motivos $SH_{proét}(X)$ como a estabilização $P^1$ dos objetos $A^1$-invariantes sobre esses esquemas.
• Rigidez e Localizações:
  • Aplicam o teorema de rigidez (rigidity theorem) para mostrar que, sob certas condições de invertibilidade de primos, os motivos pro-étale sólidos são equivalentes aos feixes sólidos.
  • Utilizam localizações adicionais para impor a estabilidade de Tate e a invertibilidade de $\mu_{\infty, P}$.

3. Contribuições Principais e Resultados

A. Construção de Motivos Pro-étale com Seis Operações
Os autores constroem a categoria de espectros motivicos pro-étale, $SH_{proét}(X)$, e demonstram que ela suporta um formalismo completo de seis funtores ($f^*, f_*, f_!, f^!, \otimes, \mathcal{H}om$) para esquemas $X$ que são localmente limitados em topologia étale (local étale bounded).

• Teorema B: Estabelece que $SH_{proét}$ é um sistema de coeficientes motivicos que admite seis funtores, embora com algumas restrições de finitude (morfismos de apresentação finita) para os funtores excepcionais.
• Teorema de Embeção: Mostram que, sob condições de finitude cohomológica, a categoria de motivos étale clássicos se embebe totalmente fielmente nos motivos pro-étale.

B. Definição e Propriedades de Feixes Sólidos em Esquemas
Definem a categoria de feixes sólidos $D(X, \Lambda)^\blacksquare$ sobre esquemas $X$ (qcqs) com coeficientes em um anel condensado sólido $\Lambda$.

• Teorema A: Prova que a categoria de feixes sólidos é abeliana, compactamente gerada, e que a inclusão na categoria de feixes pro-étale admite um adjunto esquerdo (solidificação).
• Resultado Chave: Diferentemente do cenário analítico rígido, onde apenas 5 funtores estavam disponíveis, os autores provam que, em esquemas, os feixes sólidos suportam o formalismo completo de seis funtores (Teorema E).

C. O Teorema de Rigidez Sólida
Este é o resultado central do artigo, generalizando o teorema de rigidez clássico para o contexto sólido.

• Teorema E: Assume-se que todos os primos em um conjunto $P$ são invertíveis no esquema $X$. A categoria de feixes sólidos $D(X, \Lambda)^\blacksquare$ é equivalente à categoria de motivos sólidos efetivos $DM_{eff}(X, \Lambda)^\blacksquare$ e à categoria de motivos sólidos completos $DM(X, \Lambda)^\blacksquare$.
  • Isso implica que os feixes sólidos herdam automaticamente a estrutura de seis funtores dos motivos.
  • A prova envolve mostrar que a solidificação dos motivos pro-étale é "quase" a mesma coisa que os feixes sólidos, e que a localização adicional (para garantir estabilidade de Tate) não altera a equivalência.

D. Realização Sólida e Compatibilidade
Os autores constroem um functor de realização sólida $\rho^\blacksquare$ que estende a realização $\ell$-ádica clássica.

• Proposição F e Corolário 3.3.12: O diagrama de comutação entre motivos étale, motivos pro-étale sólidos e feixes sólidos é estabelecido.
• Vantagem Crítica: Ao contrário da realização $\ell$-ádica clássica (que anula $\mathbb{Q}$), a realização sólida é compatível com a mudança de coeficientes. Isso permite recuperar a realização $\mathbb{Q}_\ell$-ádica dentro de um contexto de categorias presentáveis, mantendo a estabilidade sob mudança de base.

4. Significado e Impacto

1. Unificação de Teorias: O trabalho conecta a teoria de motivos de Voevodsky, a cohomologia $\ell$-ádica e a teoria de feixes sólidos de Fargues-Scholze em um único framework coerente sobre esquemas.
2. Resolução de Problemas de Functorialidade: Resolve a questão de como obter um formalismo de seis funtores para feixes sólidos em geometria algébrica, algo que era desconhecido ou limitado no contexto analítico.
3. Estabilidade e Racionalização: Oferece um framework onde a racionalização (passar para $\mathbb{Q}_\ell$) é bem-comportada, superando a limitação da completude $\ell$-ádica tradicional que destrói a informação racional.
4. Novas Ferramentas para Geometria Arithmética: A introdução de motivos pro-étale sólidos e a realização sólida fornece novas ferramentas para estudar a cohomologia de esquemas em característica mista e a independência de $\ell$, com aplicações potenciais em motivação de Nori e teorias espectrais futuras.

Em suma, o artigo estabelece que, ao trabalhar com motivos pro-étale e aplicar a solidificação via teoria de categorias condensadas, obtém-se um sistema de coeficientes robusto que preserva a estrutura de seis funtores e é compatível com a topologia natural dos anéis $\ell$-ádicos, superando as limitações das abordagens anteriores.