Voevodsky motives and motives with modulus in positive characteristic

Aquí presento un resumen técnico detallado del artículo "Motivos de Voevodsky y motivos con módulo en característica positiva" de Keiho Matsumoto, estructurado según los puntos solicitados.

1. El Problema

El artículo aborda la relación entre dos categorías trianguladas fundamentales en la teoría de motivos:

1. $DM^{eff}(k)$: La categoría de motivos de Voevodsky, construida a partir de variedades suaves y basada en la invarianza $\mathbb{A}^1$.
2. $MDM^{eff}(k)$: La categoría de motivos con módulo, introducida por Kahn, Miyazaki, Saito y Yamazaki, construida a partir de "pares de módulo" $(M, M_\infty)$ (una variedad $M$ junto con un divisor de Cartier efectivo $M_\infty$). Esta categoría busca proporcionar un marco para teorías de cohomología que no son invariantes bajo $\mathbb{A}^1$ (como la cohomología coherente).

El conflicto central:
Se esperaba que los grupos de Hom en $MDM^{eff}$ estuvieran relacionados con invariantes cíclicos con módulo (como los grupos de Chow superiores con módulo de Binda y Saito). Sin embargo, existe una dificultad técnica fundamental: las condiciones de módulo en las definiciones de las categorías van en "direcciones opuestas".
En característica positiva $p > 0$, se sabía (gracias a Miyazaki) que, tras invertir $p$, los grupos de Chow con módulo son independientes de las multiplicidades del divisor de módulo. Es decir, $CH^i(X|D, j)[1/p] \simeq CH^i(X|D', j)[1/p]$ si $D$ y $D'$ tienen el mismo soporte.
La pregunta abierta era si este fenómeno se eleva al nivel de los motivos: ¿Son isomórficos los motivos $M(X, D)$ y $M(X, D')$ en $MDM^{eff}(k, \mathbb{Q})$ cuando $D$ y $D'$ comparten soporte?

2. Metodología

El autor demuestra que, en característica positiva y con coeficientes racionales, las multiplicidades del módulo se vuelven "invisibles", estableciendo una equivalencia entre ambas categorías. La prueba es delicada porque no asume la resolución de singularidades, una herramienta estándar que no está disponible en general en característica positiva.

La metodología se basa en tres pilares técnicos:

1. Topología qfh de módulo (Kelly-Miyazaki): Se utiliza el trabajo previo que establece equivalencias entre las categorías de haces de módulo en diferentes topologías (qfh y Nisnevich).
2. Teorema de Alteración Refinada (Bhatt-Snowden): Se emplea este teorema geométrico profundo para construir alteraciones de variedades que preservan ciertas propiedades de suavidad y controlan los divisores, incluso sin resolución de singularidades global.
3. Nueva Cobertura: "Interior generically finite h-covering": El autor introduce una nueva noción de cobertura en la categoría de pares de módulo ($MSch$). Esta cobertura es más fuerte que la topología qfh de módulo estándar y tiene dos características esenciales:
   • Permite cubrir un par de módulo suave con pares de módulo log-suaves (donde el soporte del divisor es un divisor de cruces normales estrictos).
   • Puede ser refinada, módulo ciertas morfismos ($\Sigma$), por coberturas qfh de módulo.

Estrategia de la prueba:
El argumento central consiste en demostrar que la categoría $MDM^{eff}(k, \mathbb{Q})$ está generada compactamente por motivos de pares de módulo log-suaves. Luego, se utiliza la adjunción entre $MDM^{eff}$ y $DM^{eff}$ para mostrar que los generadores log-suaves (cuyos divisores son reducidos) se mapean isomórficamente a través de la functor de localización $\omega_{eff}$ hacia $DM^{eff}$.

3. Contribuciones Clave

• Introducción de la cobertura "interior generically finite h-covering": Una herramienta técnica nueva que permite transitar entre pares de módulo generales y pares log-suaves sin necesidad de resolución de singularidades global.
• Prueba de independencia de multiplicidades en coeficientes racionales: Se demuestra rigurosamente que, en característica positiva, las multiplicidades del divisor de módulo no afectan la categoría de motivos con coeficientes racionales.
• Reducción a generadores log-suaves: Se establece que la categoría de motivos con módulo es generada por objetos geométricamente "buenos" (log-suaves), lo cual simplifica drásticamente el análisis de la categoría.

4. Resultados Principales

Teorema 1.1 (Equivalencia Principal):
Sea $k$ un campo perfecto de característica $p > 0$. El functor de localización:
$$\omega_{eff} : MDM^{eff}(k, \mathbb{Q}) \to DM^{eff}(k, \mathbb{Q})$$
es una equivalencia de categorías trianguladas.

• Corolario: Si $X$ es una variedad normal propia y $D, D'$ son divisores de Cartier efectivos con el mismo soporte tal que $X \setminus |D|$ es suave, entonces existe un isomorfismo en $MDM^{eff}(k, \mathbb{Q})$:
  $$M(X, D)_\mathbb{Q} \simeq M(X, D')_\mathbb{Q}$$
  Esto confirma la expectativa heurística de que las multiplicidades del módulo desaparecen racionales en característica positiva.

Teorema 1.2 (Generación Compacta):
La categoría $MDM^{eff}(k, \mathbb{Q})$ está generada compactamente por los motivos $M(M)_\mathbb{Q}$ donde $M$ son pares de módulo log-suaves. Lo mismo aplica para la versión propia ($MDM^{eff}$).

Teorema 3.7 (Teorema de Comparación):
Reafirma que el functor $\omega_{eff}$ es una equivalencia, demostrando que la inclusión de $DM^{eff}$ en $MDM^{eff}$ (vía el adjunto derecho) es esencialmente sobreyectiva sobre los generadores log-suaves reducidos.

5. Significado e Impacto

• Unificación de Teorías: El resultado unifica la teoría de motivos de Voevodsky (invariante $\mathbb{A}^1$) con la teoría de motivos con módulo (no invariante $\mathbb{A}^1$) en el contexto de coeficientes racionales en característica positiva. Sugiere que, racionales, la "memoria" de las multiplicidades del divisor de módulo se pierde.
• Independencia de la Resolución de Singularidades: El hecho de que la prueba funcione sin asumir la resolución de singularidades es un avance técnico significativo, dado que la resolución de singularidades es un problema abierto en dimensiones altas en característica positiva.
• Implicaciones para la Cohomología: Dado que los motivos con módulo están diseñados para capturar cohomologías no invariantes $\mathbb{A}^1$ (como la cohomología de haces coherentes), este resultado implica que, al trabajar con coeficientes racionales en característica positiva, estas teorías cohomológicas "con módulo" colapsan estructuralmente a la teoría estándar de Voevodsky. Esto podría simplificar el estudio de estas cohomologías o indicar que las diferencias sutiles solo aparecen con coeficientes enteros o en característica cero.
• Herramientas Geométricas: La introducción de las coberturas "interior generically finite h-covering" y su conexión con el teorema de alteración refinada de Bhatt-Snowden proporciona nuevas herramientas para la geometría aritmética y la teoría de motivos en característica positiva.

En resumen, el artículo resuelve una conjetura importante sobre la estructura de los motivos con módulo en característica positiva, demostrando que, racionales, la distinción entre diferentes multiplicidades de divisores de módulo se desvanece, y la categoría resultante es equivalente a la categoría clásica de Voevodsky.