On the Motivic Homotopy Type of Algebraic Stacks

Resumo Técnico: Sobre o Tipo de Homotopia Motívica de Estacas Algébricas

Enunciado do Problema
O artigo aborda o desafio de estender a teoria da homotopia motívica e a teoria dos motivos de esquemas para estacas algébricas gerais. Embora técnicas como a descenta homotópica permitam a redução de problemas de estacas ao caso de esquemas, essa redução foi historicamente limitada a classes específicas de estacas, notadamente aquelas que são estacas de quociente localmente Nisnevich (por exemplo, estacas com estabilizadores linearmente redutivos). Existia uma lacuna significativa em estabelecer que os formalismos padrão de motivos e da homotopia motívica yield resultados "corretos" para estacas algébricas arbitrárias, particularmente aquelas que carecem de estruturas de quociente local ou de hipóteses de separação específicas. Além disso, havia a necessidade de unificar diferentes definições da categoria de homotopia motívica estável para estacas, que anteriormente exigiam a existência de apresentações suaves com seções locais de Nisnevich.

Metodologia
Os autores desenvolvem um arcabouço baseado em coberturas suave-Nisnevich. Uma morfismo $f: Y \to X$ de estacas algébricas é definido como uma cobertura suave-Nisnevich se for suave e se todo morfismo do espectro de um corpo $\text{Spec } K \to X$ admite um levantamento para $Y$.

A contribuição metodológica central é a construção de tais coberturas para qualquer estaca algébrica, removendo restrições anteriores relativas a separação, tipo finito ou propriedades de estabilizador. Os autores utilizam:

1. Coberturas de Cisão (Splitting Covers): Eles estabelecem que um morfismo suave admite uma cobertura de cisão (uma partição finita da base onde o morfismo admite seções) se, e somente se, for uma cobertura suave-Nisnevich.
2. Estacas de Hilbert: A prova de existência baseia-se nas propriedades das estacas de Hilbert, especificamente as estacas que parametrizam famílias quase-finitas ou étale. Ao analisar a estaca de Hilbert de uma cobertura suave, os autores constroem uma nova cobertura que é representável e possui os levantamentos desejados.
3. Nervos de Čech: Uma vez estabelecida uma cobertura suave-Nisnevich $p: \mathcal{X} \to X$ (onde $\mathcal{X}$ é um esquema), os autores analisam o nervo de Čech associado $\mathcal{X}_\bullet$. Eles provam que este esquema simplicial induz uma equivalência na categoria de homotopia $\mathbb{A}^1$ de Morel-Voevodsky.

Principais Contribuições e Resultados

• Teorema 1.2 (Existência de Coberturas Suave-Nisnevich): O artigo prova que, para qualquer estaca algébrica $X$, existe uma cobertura suave-Nisnevich $p: \mathcal{X} \to X$ onde $\mathcal{X}$ é um esquema.

  • Se $X$ é quase-compacto e quase-separado (qcqs) com estabilizadores afins, $\mathcal{X}$ pode ser escolhido como afim.
  • Se $X$ é uma estaca de Deligne–Mumford, $p$ pode ser escolhido como étale.
  • Este resultado generaliza achados anteriores ao eliminar hipóteses de separação e suposições noetherianas exigidas na literatura anterior (ex: [LMB00], [Čes15], [Pir18]).

• Teorema 1.3 (Descenta de Homotopia): Seja $p: \mathcal{X} \to X$ uma cobertura suave-Nisnevich sobre um corpo $k$, e seja $\mathcal{X}_\bullet$ seu nervo de Čech. O morfismo $\mathcal{X}_\bullet \to X$ induz uma equivalência na categoria de homotopia $\mathbb{A}^1$ de Morel-Voevodsky, $\mathcal{H}(k)$.

  • Isso estabelece que o tipo de homotopia de Nisnevich de qualquer estaca algébrica pode ser descrito por um esquema simplicial, tornando os argumentos de descenta homotópica acessíveis para todas as estacas.

• Propriedades Motívicas de Estacas Suaves (Teorema 3.4): Como consequência do resultado de descenta, o motivo $M(X)$ de uma estaca algébrica suave $X$ satisfaz as mesmas propriedades fundamentais que o motivo de um esquema suave:

  • Descenta de Nisnevich.
  • Fórmula de bundle projetivo.
  • Fórmula de blow-up.
  • Triângulo Gysin.
  • Estes resultados generalizam aqueles em [CD20], que anteriormente eram restritos a estacas de quociente localmente Nisnevich.

• Unificação de Categorias de Homotopia Estável (Corolário 3.13): O artigo demonstra que, para qualquer estaca algébrica quase-separada $X$, a categoria de homotopia motívica estável estendida por limite $\mathcal{SH}^\wedge(X)$ (de [KR21]) e a categoria estendida lisse $\mathcal{SH}^{\otimes}_{ext}(X)$ (de [Cho21]) são equivalentes. Esta equivalência ocorre porque o Teorema 1.2 garante que toda estaca admite uma apresentação suave com seções locais de Nisnevich.

• Dualidade de Poincaré para Motivos com Suporte Compacto (Teorema 3.10): Para uma estaca algébrica suave $X$ de dimensão $d$ com estabilizadores afins, os autores definem o motivo com suporte compacto $M^c(X)$ via um limite homotópico sobre uma cobertura suave-Nisnevich. Eles provam o isomorfismo $M^c(X) \cong M(X)^\vee(d)[2d]$.

Significância
O artigo afirma que a existência de coberturas suave-Nisnevich para estacas algébricas arbitrárias é um resultado fundamental que valida a aplicação da teoria da homotopia motívica ao cenário geral de estacas. Ao mostrar que o motivo de uma estaca suave se comporta analogamente ao de um esquema suave, os autores confirmam que os vários formalismos de motivos produzem resultados consistentes sem exigir a condição restritiva de "quociente local".

Adicionalmente, o artigo nota que o resultado de limitação (boundedness) no Teorema 1.2 tem aplicações além da teoria motívica, especificamente na aplicação da técnica de aproximação de Elkik à estaca de Picard para estudar a questão de Grothendieck sobre a injetividade do mapa $H^2(X, \mathbb{G}_m) \to \varprojlim H^2(X_n, \mathbb{G}_m)$ para morfismos próprios sobre anéis noetherianos completos.

Os autores reconhecem que um resultado de existência semelhante foi provado recentemente em [CD24], mas enfatizam que sua contribuição inclui o resultado específico de limitação para estacas qcqs com estabilizadores afins e a aplicação explícita à unificação de categorias de homotopia motívica estável e propriedades de cohomologia motívica.