Profinite Borel completeness and smooth Artin motives

Resumo Técnico: Profinitude, Completude de Borel e Motivos de Artin Suaves

Enunciado do Problema
O artigo aborda a relação entre dois arcabouços matemáticos distintos: a $\infty$-categoria de motivos de Artin suaves sobre um esquema base geral $S$ e a teoria de representações do grupo fundamental étale $\pi_1^{\text{ét}}(S)$. Enquanto Voevodsky estabeleceu uma equivalência entre motivos de Artin sobre um corpo $F$ e módulos de permutação derivados do grupo de Galois absoluto $\text{Gal}(F^{\text{sep}}/F)$, permanecia uma questão em aberto se essa equivalência se estenderia a esquemas base gerais $S$, onde o grupo de Galois é substituído pelo grupo fundamental étale profinito $\pi_1^{\text{ét}}(S)$.

Um problema secundário, fundamental, surge na teoria de homotopia equivariante de grupos profinitos. Para grupos finitos, a subcategoria de espectros de Borel completos é bem compreendida como uma categoria de funtores (via Mathew–Naumann–Noel); no entanto, para grupos profinitos, a órbita $G/1$ não é um $G$-conjunto finito, complicando a generalização direta da completude de Borel. O artigo investiga se existem múltiplas e distintas noções de "completude de Borel" para grupos profinitos e como elas se relacionam com a teoria de feixes (sheaf theory) e motivos.

Metodologia
O autor emprega uma abordagem de duas frentes, primeiro desenvolvendo a necessária teoria de homotopia equivariante e, em seguida, aplicando-a à teoria de motivos.

1. Teoria de Homotopia Equivariante para Grupos Profinitos:

   • O artigo revisita a descrição de espectros de Borel completos para grupos finitos, introduzindo coeficientes em um espectro de anel comutativo conexo $R$.
   • Para um grupo profinito $G = \lim_i G_i$, duas noções de completude de Borel são definidas:
     • Completude de Borel nível a nível ($Sp^{\text{lwBorel}}_G$): Definida como o limite das categorias de Borel completos dos grupos finitos $G_i$ ao longo de pontos fixos categóricos.
     • Completude de Borel ($Sp^{\text{Borel}}_G$): Definida via completude em relação a um objeto álgebra específico $A$, construído como o colimite dos duais das órbitas de todos os subgrupos normais abertos.
   • O autor utiliza funtores de Mackey espectrais e a teoria de categorias de módulos sobre espectros de anel equivariantes para analisar essas estruturas. Uma ferramenta técnica fundamental é a identificação da relação entre essas duas noções via estruturas-$t$ e hipercompletude.

2. Motivos e Correspondências:

   • O artigo constrói a $\infty$-categoria de motivos efetivos de Voevodsky $DM^{\text{eff}}_{\tau}(S; R)$ (para $\tau = \text{Nisnevich}$ ou $\text{étale}$) usando correspondências finitas com coeficientes.
   • Motivos de Artin suaves $DAM_{\tau}(S; R)$ são definidos como a subcategoria localizante gerada pelos motivos de esquemas $S$-etale finitos.
   • O autor estabelece uma ponte entre esses motivos e as categorias equivariantes definidas na primeira parte, utilizando a equivalência de Grothendieck entre esquemas $S$-etale finitos e $G$-conjuntos finitos discretos (onde $G = \pi_1^{\text{ét}}(S)$).
   • Crucialmente, o artigo investiga o comportamento de "transferências" (correspondências finitas) no contexto de feixes étale em esquemas étale finitos, provando que feixes étale nesses esquemas naturalmente admitem transferências.

Contribuições e Resultados Principais

• Distinção da Completude de Borel: O artigo identifica que, para grupos profinitos, a completude de Borel "nível a nível" e a "completude de Borel" padrão (definida via a álgebra $A$) são geralmente distintas.

  • Teorema 3.30: A categoria de espectros de $G$ de Borel completos é equivalente à hipercompletude da categoria de espectros de $G$ de Borel completos nível a nível. Isso fornece uma relação estrutural precisa entre as duas noções.

• Equivalência com Feixes e Representações:

  • Proposição 4.8 & 4.13: O artigo estabelece um diagrama comutativo conectando as categorias de espectros de Borel completos às categorias de feixes sobre $G$-conjuntos finitos e categorias derivadas de módulos discretos.
  • Especificamente, a categoria de módulos de Borel completos nível a nível é equivalente à categoria de feixes sobre $G$-conjuntos finitos, enquanto a categoria de Borel completa corresponde a hiperesfeixes (sob condições específicas sobre a dimensão cocoerencial virtual de $G$).

• Generalização do Teorema de Voevodsky (Caso Nisnevich):

  • Teorema 5.19: Para um esquema conectado, noetheriano de dimensão de Krull finita, existe uma equivalência monoidal simétrica entre a $\infty$-categoria de motivos de Artin suaves (topologia Nisnevich) e a categoria derivada de módulos de permutação sobre o grupo profinito $\pi_1^{\text{ét}}(S, s); R$:
    $$DAM^{\text{Nis}}(S; R) \simeq D\text{Perm}(\pi_1^{\text{ét}}(S, s); R)$$
  • Este resultado confirma que a descrição clássica de motivos de Artin via representações de Galois se estende a esquemas base gerais na topologia Nisnevich.

• Caso Étale e Transferências:

  • Teorema 5.34: O artigo prova que feixes étale sobre esquemas $S$-etale finitos possuem automaticamente transferências. Isso identifica a categoria de feixes étale com transferências em esquemas étale finitos com a categoria de feixes étale em esquemas étale finitos (sem referência explícita a correspondências).
  • Teorema 5.37: Um diagrama comutativo abrangente é apresentado, ligando módulos de permutação derivados, espectros de Borel completos e motivos de Artin suaves para ambas as topologias Nisnevich e étale.
  • Corolário 5.31: No caso étale hipercompleto, sob suposições de que o anel de coeficientes $R$ possui característica $n$ positiva e as características residuais de $S$ são coprimas a $n$, a categoria de motivos de Artin suaves é equivalente à categoria de hiperesfeixes com transferências sobre esquemas étale finitos.

Significância e Alegações
O artigo afirma resolver a questão de se a descrição de Voevodsky para motivos de Artin vale para esquemas base gerais. Ele afirma isso para a topologia Nisnevich e fornece uma resposta matizada para a topologia étale, destacando o papel da hipercompletude.

A significância reside em:

1. Arcabouço Unificador: Unifica a teoria de motivos com a teoria de homotopia equivariante de grupos profinitos, mostrando que os motivos de Artin suaves são controlados pelo grupo fundamental étale.
2. Clarificação da Equivariância Profinita: Esclarece a distinção sutil entre a completude de Borel nível a nível e a hipercompleta no cenário profinito, identificando esta última como a noção correta para capturar a estrutura total de feixes étale (hiperesfeixes).
3. Transferência de Transferências: Fornece uma prova independente de que feixes étale em esquemas étale finitos carregam inerentemente transferências, um resultado anteriormente conhecido, mas que dependia de identificações específicas de conjuntos-hom em outra literatura.

O autor observa que, embora o caso Nisnevich resulte em uma equivalência limpa, o caso étale requer distinguir entre feixes e hiperesfeixes, e a equivalência com módulos de permutação no caso étale não hipercompleto requer o cálculo adicional de espaços de mapeamento que não é realizado neste trabalho. Os resultados são apresentados como um passo fundamental, baseando-se no trabalho recente de Balmer–Gallauer e Dubey–Gómez em relação aos espectros de Balmer dessas categorias.