Descendability and descent in topological weaves

Resumen Técnico: Descendibilidad y Descenso en Tejidos Topológicos

Planteamiento del Problema
El artículo aborda el problema de establecer propiedades de descenso para "tejidos topológicos" abstractos —un marco para formalismos de seis functores en espacios algebraicos y stacks introducido en [Kha]—. Específicamente, investiga las condiciones bajo las cuales estos formalismos satisfacen el descenso para diversas topologías, notablemente la topología $h$ (generada por suryecciones étales y suryecciones propias de presentación finita) y la topología $v$ (morfismos universalmente subrutos). Si bien existen resultados clásicos para teorías de cohomología específicas (por ejemplo, la cohomología etale con coeficientes de torsión), un criterio general para el descenso $h$ en el contexto de los haces motivicos y espectros, particularmente sobre bases no excelentes o con coeficientes racionales, aún requería ser unificado y extendido.

Metodología
La innovación metodológica central es el cambio de estudiar el descenso directamente al estudio de la descendibilidad, un concepto adaptado de Mathew [Mat].

• Descendibilidad: Un morfismo $f: Y \to X$ se define como descendible si el objeto unidad $1_X$ en la $\infty$-categoría estable $D(X)$ puede construirse a partir de $f_*(1_Y)$ mediante una secuencia finita de operaciones que incluyen cofibres, fibras, sumandos directos y productos tensoriales. Esto se cuantifica mediante un "índice" $N$, que indica la profundidad de la nervadura de Čech necesaria para reconstruir la unidad.
• El Criterio: El artículo establece que si un tejido satisface el descenso para cubrimientos "simples" (suryecciones étales finitas y radiciales finitas), entonces satisface el descenso para todas las suryecciones de presentación finita. Esto se logra mediante un argumento de "bootstrapping" (Teorema 1.21) que utiliza estratificaciones de espacios algebraicos y la propiedad de localización del tejido.
• Aplicación a Haces Motivicos: Los autores aplican este criterio a categorías motivicas específicas:
  • Haces Motivicos Racionales ($SH_{\mathbb{Q},+}$): Al aprovechar el hecho de que estos son $\mathbb{Q}$-lineales y orientados, la característica de Euler de cualquier cubrimiento etale finito es invertible, asegurando la descendibilidad de índice $\le 1$.
  • Espectros Motivicos Etales ($SH_{\text{ét}}$): Los autores analizan las propiedades de descenso sobre esquemas noetherianos de dimensión finita cuyas dimensiones cohomológicas etales de los cuerpos residuales están acotadas uniformemente. Utilizan resultados de rigidez y la desaparición de la parte "menos" del espectro tras invertir 2 para establecer la descendibilidad.

Contribuciones Clave y Resultados

1. Criterio General de Descenso (Teorema C): El artículo demuestra que, para un tejido topológico $D$, los siguientes puntos son equivalentes:

   • Toda suryección de presentación finita de espacios algebraicos qcqs es descendible.
   • Toda suryección etale finita y toda suryección radicial finita es descendible.
     Esto reduce el complejo problema del descenso $h$ a verificar la descendibilidad para dos clases específicas de morfismos.

2. Descenso para Haces Motivicos Racionales (Teorema A): El presheaf $SH_{\mathbb{Q},+}(-)$ satisface el descenso $v$ (y, por lo tanto, el descenso $h$) en todos los espacios algebraicos. Esto recupera y extiende los resultados previos de Cisinski–Déglise sobre esquemas cuasi-excelentes a espacios algebraicos arbitrarios.

3. Descenso para Espectros Motivicos Etales (Teorema B): Los presheaves $SH_{\text{ét}}(-)$, $DA_{\text{ét}}(-;\Lambda)$ y $DM_{\text{ét}}(-;\Lambda)$ satisfacen el descenso $h$ en espacios noetherianos de dimensión finita cuyos cuerpos residuales tienen una dimensión cohomológica etale uniformemente acotada. Para estos últimos, el resultado se sostiene para cualquier anillo conmutativo $\Lambda$. Si 2 no es invertible en los coeficientes, el resultado se mantiene para $SH_{\text{ét}}[1/2]$.

4. Isomorfismo de Olvido de Soportes (Teorema D): El artículo construye un isomorfismo canónico $f_! \simeq f_*$ para morfismos propios $f$ de stacks de Artin en el contexto de haces motivicos racionales.

   • Contexto: Esto aplica cuando $f$ es representable por stacks de Deligne–Mumford (DM), o cuando $f$ tiene una inercia relativa de tipo tame y la base es de característica equicaracterística.
   • Significancia: Esto resuelve una laguna en argumentos previos (por ejemplo, en [Kha3]) donde se asumía sin justificación la conmutación de $f_!$ con las totalizaciones. Los autores muestran que, debido a que los morfismos de cubrimiento son descendibles, la totalización conmuta con functores exactos como $f_!$, validando así el isomorfismo.

Significancia y Reivindicaciones
El artículo sostiene que el enfoque en la descendibilidad ofrece ventajas distintivas sobre el descenso estándar:

• Functorialidad: Asegura que la totalización de Čech $F \simeq \text{Tot}(f_{\bullet, *} f_\bullet^* F)$ es preservada por cualquier functor exacto, no solo aquellos que preservan límites. Esto es crucial para probar el isomorfismo $f_! \simeq f_*$.
• Estabilidad: La descendibilidad se preserva mediante functores monoidales simétricos, lo que permite que los resultados se transfieran desde el tejido topológico universal ($SH$) hacia tejidos orientados $\mathbb{Q}$-lineales específicos.
• Generalidad: Los resultados se aplican a espacios algebraicos y stacks sin requerir que los esquemas base sean cuasi-excelentes, siempre que la dimensión cohomológica de los cuerpos residuales esté acotada en el caso etale.

El trabajo unifica la teoría de descenso para diversas categorías motivicas, proporcionando un marco robusto que maneja tanto coeficientes racionales como integrales (con restricciones específicas sobre la base) y se extiende naturalmente al entorno de los stacks de Artin.