On the Motivic Homotopy Type of Algebraic Stacks

Resumen Técnico: Sobre el Tipo de Homotopía Motívica de los Estructuras Algebraicas (Stacks)

Planteamiento del Problema
El artículo aborda el desafío de extender la teoría de homotopía motívica y la teoría de motivos de esquemas a estructuras algebraicas (stacks) generales. Aunque las técnicas como el descenso homotópico permiten reducir los problemas de los stacks al caso de los esquemas, esta reducción se ha visto limitada históricamente a clases específicas de stacks, notablemente aquellos que son cocientes locales de Nisnevich (por ejemplo, stacks con estabilizadores linealmente reductivos). Existía una brecha significativa al establecer que los formalismos estándar de los motivos y la homotopía motívica producen resultados "correctos" para estructuras algebraicas arbitrarias, particularmente aquellas que carecen de estructuras de cociente local o de hipótesis de separación específicas. Además, existía la necesidad de unificar diferentes definiciones de la categoría de homotopía motívica estable para los stacks, que anteriormente requerían la existencia de presentaciones suaves con secciones locales de Nisnevich.

Metodología
Los autores desarrollan un marco basado en coberturas suave-Nisnevich. Una morfismo $f: Y \to X$ de estructuras algebraicas se define como una cobertura suave-Nisnevich si es suave y toda morfismo desde el espectro de un cuerpo $\text{Spec } K \to X$ se eleva a $Y$.

La contribución metodológica central es la construcción de tales coberturas para cualquier estructura algebraica, eliminando restricciones previas sobre separación, tipo finito o propiedades de los estabilizadores. Los autores utilizan:

1. Coberturas de Desdoblamiento (Splitting Covers): Establecen que un morfismo suave admite una cobertura de desdoblamiento (una partición finita de la base donde el morfismo admite secciones) si y solo si es una cobertura suave-Nisnevich.
2. Stacks de Hilbert: La prueba de existencia se basa en las propiedades de los stacks de Hilbert, específicamente los sub-stacks que parametrizan familias cuasi-finitas o etales. Al analizar el stack de Hilbert de una cobertura suave, los autores construyen una nueva cobertura que es representable y posee las propiedades de elevación deseadas.
3. Nervios de Čech: Una vez establecida una cobertura suave-Nisnevich $p: \mathcal{X} \to X$ (donde $\mathcal{X}$ es un esquema), los autores analizan el nervio de Čech asociado $\mathcal{X}_\bullet$. Demuestran que este esquema simplicial induce una equivalencia en la categoría de homotopía $\mathbb{A}^1$ de Morel-Voevodsky.

Contribuciones Clave y Resultados

• Teorema 1.2 (Existencia de Coberturas Suave-Nisnevich): El artículo demuestra que para cualquier estructura algebraica $X$, existe una cobertura suave-Nisnevich $p: \mathcal{X} \to X$ donde $\mathcal{X}$ es un esquema.

  • Si $X$ es cuasi-compacto y cuasi-separado (qcqs) con estabilizadores afines, $\mathcal{X}$ puede elegirse como afín.
  • Si $X$ es un stack de Deligne–Mumford, $p$ puede elegirse como etale.
  • Este resultado generaliza hallazgos previos al eliminar las hipótesis de separación y las suposiciones noetarianas requeridas en la literatura anterior (por ejemplo, [LMB00], [Čes15], [Pir18]).

• Teorema 1.3 (Descenso de Homotopía): Sea $p: \mathcal{X} \to X$ una cobertura suave-Nisnevich sobre un cuerpo $k$, y sea $\mathcal{X}_\bullet$ su nervio de Čech. El morfismo $\mathcal{X}_\bullet \to X$ induce una equivalencia en la categoría de homotopía $\mathbb{A}^1$ de Morel-Voevodky, $\mathcal{H}(k)$.

  • Esto establece que el tipo de homotopía de Nisnevich de cualquier estructura algebraica puede describirse mediante un esquema simplicial, haciendo que los argumentos de descenso de homotopía sean accesibles para todos los stacks.

• Propiedades Motívicas de Stacks Suaves (Teorema 3.4): Como consecuencia del resultado de descenso, el motivo $M(X)$ de una estructura algebraica suave $X$ satisface las mismas propiedades fundamentales que el motivo de un esquema suave:

  • Descenso de Nisnevich.
  • Fórmula de la variedad proyectiva (Projective bundle formula).
  • Fórmula de explosión (Blow-up formula).
  • Triángulo Gysin.
  • Estos resultados generalizan los de [CD20], que anteriormente estaban restringidos a estructuras algebraicas localmente de cociente de Nisnevich.

• Unificación de Categorías de Homotopía Estable (Corolario 3.13): El artículo demuestra que para cualquier estructura algebraica cuasi-separada $X$, la categoría de homotopía motívica estable extendida por límite $\mathcal{SH}^\wedge(X)$ (de [KR21]) y la categoría extendida lisa $\mathcal{SH}^{\otimes}_{ext}(X)$ (de [Cho21]) son equivalentes. Esta equivalencia se mantiene porque el Teorema 1.2 garantiza que cada estructura admite una presentación suave con secciones locales de Nisnevich.

• Dualidad de Poincaré para Motivos con Soporte Compacto (Teorema 3.10): Para una estructura algebraica suave $X$ de dimensión $d$ con estabilizadores afines, los autores definen el motivo con soporte compacto $M^c(X)$ vía un límite de homotopía sobre una cobertura suave-Nisnevich. Prueban el isomorfismo $M^c(X) \cong M(X)^\vee(d)[2d]$.

Significancia
El artículo afirma que la existencia de coberturas suave-Nisnevich para estructuras algebraicas arbitrarias es un resultado fundacional que valida la aplicación de la teoría de homotopía motívica al entorno general de los stacks. Al mostrar que el motivo de una estructura suave se comporta de manera análoga al de un esquema suave, los autores confirman que los diversos formalismos de motivos producen resultados consistentes sin requerir la restrictiva condición de "cociente local".

Adicionalmente, el artículo señala que el resultado de acotación en el Teorema 1.2 tiene aplicaciones más allá de la teoría motívica, específicamente en la aplicación de la técnica de aproximación de Elkik al stack de Picard para estudiar la pregunta de Grothendieck respecto a la inyectividad del mapa $H^2(X, \mathbb{G}_m) \to \varprojlim H^2(X_n, \mathbb{G}_m)$ para morfismos propios sobre anillos noetarianos completos.

Los autores reconocen que un resultado de existencia similar fue probado recientemente en [CD24], pero enfatizan que su contribución incluye el resultado específico de acotación para stacks qcqs con estabilizadores afines y la aplicación explícita a la unificación de las categorías de homotopía motívica estable y las propiedades de la cohomología motívica.