Resumen Técnico: Motivos de Nori (y módulos de Hodge mixtos) con coeficientes integrales

1. El Problema

El objetivo central del artículo es extender la teoría de los motivos de Nori y de los módulos de Hodge mixtos (MHM) de coeficientes racionales ($\mathbb{Q}$) a coeficientes integrales ($\mathbb{Z}$).

Históricamente, la construcción de motivos relativos y la aplicación de los "seis operadores" (funtores de Grothendieck) han dependido de coeficientes racionales. Esto se debe a que la dualidad de Verdier y los ciclos cercanos unipotentes se comportan de manera problemática con coeficientes integrales (por ejemplo, la dualidad de Verdier no es exacta para la estructura $t$ perversa con coeficientes $\mathbb{Z}$). El problema fundamental es construir categorías abelianas de motivos integrales que sean lo suficientemente ricas para admitir un formalismo de seis operadores y propiedades de descenso (como el descenso de arco o arc-descent).

2. Metodología

Los autores emplean un enfoque de categorías $\infty$ (higher algebra) y la teoría de álgebras en motivos étale. La estrategia se divide en tres pilares:

• Construcción mediante Álgebras de Nori: En lugar de construir la categoría de motivos directamente mediante diagramas de pares (el método clásico de Nori), los autores definen una $\infty$-categoría estable presentable como la categoría de módulos sobre un objeto algebraico (el "álgebra de Nori" $N_k$) dentro de la categoría de motivos étale $\text{DM}_{\text{ét}}(k, \mathbb{Z})$.
• Cuadrados de Fractura de Hasse: Para pasar de $\mathbb{Q}$ a $\mathbb{Z}$, utilizan cuadrados de fractura de Hasse. Esto permite definir el álgebra integral $N_k$ a partir de su racionalización $N_{k, \mathbb{Q}}$ y de sus versiones mod $n$ ($N_{k, \mathbb{Z}/n\mathbb{Z}}$), asegurando que la estructura integral sea compatible con la información racional y la información de torsión.
• Gluing de Estructuras $t$: Para obtener categorías abelianas, utilizan técnicas de gluing (pegado) de estructuras $t$ (métodos de Vaish y BBD) sobre estratificaciones, permitiendo definir tanto la estructura $t$ ordinaria como la perversa.

3. Contribuciones Clave y Resultados

A. Motivos de Nori Integrales

• Existencia del Álgebra de Nori: Demuestran la existencia de un objeto algebraico $N_k \in \text{DM}_{\text{ét}}(k, \mathbb{Z})$ que representa la cohomología motivica de Nori.
• Formalismo de Seis Operadores: Construyen la categoría de motivos de Nori relativos $\text{DN}(X, \mathbb{Z})$ y prueban que posee un formalismo completo de seis operadores ($f^*, f_*, f_!, f^!, \otimes, \underline{\text{Hom}}$) para esquemas de característica cero.
• Estructuras $t$ y Categorías Abelianas:
  • Definen la categoría de motivos de Nori ordinarios $\text{Mord}(X, \mathbb{Z})$ como el corazón de una estructura $t$ ordinaria.
  • Definen la categoría de motivos de Nori perversos $\text{M}_{\text{perv}}(X, \mathbb{Z})$ como el corazón de una estructura $t$ perversa.
• Propiedades de Descenso: Prueban que la categoría de motivos de Nori satisface el descenso de arco (arc-descent), una propiedad de regularidad muy fuerte en la geometría algebraica moderna.
• Realización $\ell$-ádica: Establecen una realización $\ell$-ádica que es conservadora y compatible con los seis operadores.

B. Módulos de Hodge Mixtos Integrales

• Extensión a $\mathbb{R}$: Los autores extienden la teoría de módulos de Hodge mixtos a esquemas sobre los números reales ($\mathbb{R}$), utilizando puntos fijos de la acción de Galois ($\mathbb{Z}/2\mathbb{Z}$).
• MHM Integrales: Definen la categoría de módulos de Hodge mixtos con coeficientes integrales mediante un producto de fibra (pullback) que captura la estructura de red (lattice) integral dentro de la teoría racional.
• Variaciones de Hodge: Demuestran que las variaciones de estructuras de Hodge mixtas admisibles con coeficientes integrales pueden verse como módulos de Hodge mixtos integrales.

4. Significancia

Este trabajo es de gran importancia por varias razones:

1. Unificación: Une la aproximación de Nori (basada en categorías abelianas y representaciones) con la aproximación de Voevodsky/Cisinski-Déglise (basada en categorías derivadas y $\infty$-categorías).
2. Completitud Teórica: Proporciona la base necesaria para estudiar la cohomología motivica con coeficientes de torsión, algo que era técnicamente inaccesible mediante los métodos puramente racionales.
3. Herramientas para la Geometría: La capacidad de realizar operaciones de intersección (como el complejo de intersección de IC) y la aplicación de la desigualdad de Lefschetz de forma integral abre nuevas vías para la conjetura de Hodge y el estudio de variedades singulares.
4. Consistencia: El resultado confirma que la estructura de los motivos de Nori es el "recipiente universal" para cualquier teoría de cohomología que compare con la cohomología de Betti, incluso en el caso integral.