Trace formalism for motivic cohomology

Este artículo construye mapas de traza para el formalismo de las seis funtores en la cohomología motivica, así como su mejora $\infty$, reinterpreta la formalidad de la traza de manera más functorial mediante los grupos de ciclos relativos de Suslin-Voevodsky.

Lo esencial

Imagina que las matemáticas, y en particular la geometría algebraica, son como un universo de ciudades y carreteras. En este universo, los "esquemas" son las ciudades, y los "ciclos" son como mapas de carreteras o rutas específicas que conectan diferentes puntos.

El artículo de Tomoyuki Abe trata sobre cómo crear un traductor universal entre dos lenguajes muy diferentes que se usan para estudiar estas ciudades:

1. El lenguaje de las "Carreteras Reales" (Ciclos): Aquí contamos cosas concretas. Si tienes una carretera que cruza una ciudad, la cuentas como "1". Si tienes dos, cuentas "2". Es muy tangible, como contar bloques de construcción.
2. El lenguaje de la "Física Cuántica de las Ciudades" (Cohomología Motívica): Este es un lenguaje mucho más abstracto y sofisticado. No solo cuenta bloques, sino que estudia la "forma", la "energía" y las "vibraciones" de las ciudades. Es como si en lugar de contar coches, midieras el ruido, la temperatura y la historia de cada calle.

El Problema: El Traductor Perdido

Durante mucho tiempo, los matemáticos tenían un traductor muy bueno para un tipo de geometría clásica (llamada cohomología étale), pero no tenían uno para este nuevo lenguaje abstracto (la cohomología motívica). Sin este traductor, no podían convertir fácilmente las "carreteras reales" en "datos cuánticos" para hacer cálculos avanzados.

El objetivo de este paper es construir ese traductor (llamado "aplicación de traza" o trace map) y, además, hacerlo de una manera tan perfecta que funcione incluso en el "mundo infinito" de las matemáticas modernas (lo que llaman ∞-enhancement).

La Solución: El "Fantasma" de la Carretera

Aquí es donde entra la genialidad de Abe. Se dio cuenta de un problema: a veces, las ciudades tienen "fantasmas" o estructuras invisibles (llamadas nilpotentes o no reducidas) que no afectan la forma en que se ve la ciudad desde lejos, pero que confunden al traductor.

• La analogía: Imagina que tienes una casa pintada de rojo brillante. Luego, alguien pinta encima una capa de pintura invisible que cambia el color ligeramente, pero que el ojo humano no ve. Si tu traductor depende del color exacto, fallará. Pero si el traductor se fija en la estructura de la casa (sus cimientos, sus habitaciones), funcionará igual de bien, sin importar la pintura invisible.

Abe propone que el traductor no debe mirar a la "ciudad" (el esquema) directamente, sino a sus "ciclos relativos" (una idea de Suslin y Voevodsky). Piensa en esto como si el traductor no mirara el edificio completo, sino solo los planos de ingeniería que dicen: "Aquí hay una carretera de 2 carriles que cruza la ciudad". Esos planos son estables y no se confunden con la pintura invisible.

El Truco Mágico: "Borrar el Ruido"

Para construir este traductor, Abe usa un truco matemático muy elegante:

1. El Silencio de los Ruidos: Demuestra que ciertos "ruidos" matemáticos (llamados homotopías superiores) simplemente no existen o son cero en este contexto.
   • Analogía: Imagina que intentas escuchar una canción en una habitación llena de eco. Abe descubre que, si te alejas lo suficiente o usas el micrófono correcto, el eco desaparece por completo. Al no haber eco, es mucho más fácil grabar la canción original.
2. Construcción Local: Como no hay eco (ruido), puede construir el traductor "pieza por pieza" en las partes más simples de las ciudades (donde todo es suave y perfecto) y luego unirlo todo. Es como reparar un mapa: si sabes cómo dibujar una calle recta y perfecta, puedes usar esa regla para dibujar cualquier calle, incluso las curvas, porque el "ruido" no estorba.

El Resultado Final: El Traductor Infinito

El paper logra dos cosas principales:

1. Crea el traductor: Define una regla precisa para convertir cualquier "carretera" (ciclo) en un "dato cuántico" (cohomología motívica). Esto permite a los matemáticos usar herramientas poderosas de la física cuántica para resolver problemas de conteo de rutas.
2. Lo hace "Infinitamente" (∞-enhancement): No solo crea una regla simple, sino que crea un sistema de traducción vivo y flexible.
   • Analogía: Un traductor normal es como un diccionario: palabra A = palabra B. El traductor de Abe es como una IA que entiende el contexto, el tono y la historia. Si cambias ligeramente la ciudad, el traductor sabe exactamente cómo ajustar la traducción sin romper nada. Esto es crucial para conectar la teoría de "ciclos reales" con la teoría de "infinitos" que se usa en la investigación más avanzada.

En Resumen

Tomoyuki Abe ha escrito un manual de instrucciones para construir un puente perfecto entre el mundo tangible de las formas geométricas (ciclos) y el mundo abstracto de la cohomología motívica.

• Antes: Teníamos dos islas separadas por un mar de confusión.
• Ahora: Hemos construido un puente (el traductor) que es tan sólido que soporta incluso los terremotos matemáticos (las estructuras complejas y los "fantasmas").
• El beneficio: Ahora los matemáticos pueden viajar libremente entre estas dos islas, usando las herramientas más potentes para resolver problemas que antes parecían imposibles.

Es como si hubieras descubierto que, para entender el alma de una ciudad, no necesitas contar cada ladrillo, sino que puedes escuchar su "canción" y, gracias a este nuevo traductor, ahora sabes exactamente cómo traducir esa canción de vuelta a un plano de construcción.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Trace formalism for motivic cohomology" (Formalismo de traza para la cohomología motivica) de Tomoyuki Abe, publicado en Épijournal de Géométrie Algébrique (2023).

1. Problema y Contexto

El objetivo central del artículo es construir mapas de traza (trace maps) dentro del formalismo de las seis funtores para la cohomología motivica, tal como fue desarrollado por Voevodsky, Ayoub y Cisinski–Déglise.

• Antecedentes: En la cohomología étale, el mapa de traza $Tr_f: Rf_! f^* \Lambda(d)[2d] \to \Lambda$ para un morfismo plano $f: X \to S$ de dimensión $d$ es una herramienta fundamental (SGA4) utilizada, por ejemplo, para construir clases de ciclos. Este mapa satisface propiedades functoriales específicas.
• La brecha: Aunque existe un formalismo de seis funtores robusto para la cohomología motivica, la construcción de un mapa de traza análogo que funcione de manera general y compatible con la estructura $\infty$-categórica (espectros) no estaba completamente establecida o requería una reinterpretación profunda.
• El desafío técnico: La construcción tradicional en cohomología étale a menudo depende de teoremas de alteración y reducción a casos suaves, pero en el contexto motivico, la dependencia de homotopías superiores y la necesidad de una formulación functorial precisa en el contexto $\infty$-categórico plantean obstáculos significativos. Además, la cohomología motivica es insensible a inmersiones nilpotentes, lo que sugiere que el mapa de traza debería estar asociado a "ciclos" y no meramente a esquemas.

2. Metodología

Abe emplea una combinación de técnicas de teoría de motivos, topología algebraica (espectros) y teoría de ciclos de Suslin-Voevodsky.

• Vanishing de homotopías superiores: El principio rector de la construcción es la observación de que ciertas homotopías superiores se anulan. Específicamente, se demuestra que:
  $$R^i \text{Hom}(Rf_! f^* \Lambda(d)[2d], \Lambda) = 0 \quad \text{para } i < 0.$$
  Esta anulación permite construir el mapa de traza "localmente" y reduce el problema a la construcción de un morfismo de haces, facilitando la reducción a casos donde la base $S$ es suave mediante el teorema de alteración de de Jong (refinado por Temkin).

• Reinterpretación mediante Grupos de Ciclos Relativos: Para superar la insensibilidad a inmersiones nilpotentes y lograr una formulación functorial robusta, el autor reinterpreta el mapa de traza utilizando los grupos de ciclos relativos de Suslin y Voevodsky, denotados como $zequi(X/S, d)$.

  • En lugar de definir la traza solo para morfismos planos, se construye un morfismo desde el grupo de ciclos $zequi(X/S, n)$ hacia la homología de Borel-Moore $HBM(X/S, \Lambda(n))$.
  • Cuando $f$ es plano de dimensión $d$, el ciclo fundamental $[X] \in zequi(X/S, d)$ se mapea al mapa de traza tradicional.

• Teoría Bivariante: Se utiliza el lenguaje de la teoría bivariante de Fulton-MacPherson para estructurar las propiedades functoriales (producto, empuje hacia adelante y retroceso) tanto de los grupos de ciclos como de la homología de Borel-Moore.

• Topología pdh: Se introduce y utiliza la topología pdh (generada por morfismos finitos, suryectivos, planos de grado potencia de $p$ y cubrimientos cdh). Esto es crucial para garantizar la descendencia (descent) de los objetos en la categoría derivada y para utilizar el teorema de Temkin sobre alteraciones que preservan la suavidad.

• Mejora $\infty$-categórica: El artículo no solo construye el mapa en la categoría derivada, sino que lo eleva a un $\infty$-functor entre categorías de espectros. Esto requiere reformular la traza como una transformación natural entre funtores definidos en una categoría de morfismos de esquemas ($\mathcal{Ar}$).

3. Contribuciones Clave

1. Construcción del Mapa de Traza General: Se establece la existencia de un único morfismo de teorías bivariantes compatible con la orientación $\mathbb{A}^1$:
   $$\tau: zequi(-, *) \to HBM_{2*}(-, \Lambda(*))$$
   donde $\Lambda = \mathbb{Z}[1/p]$ (con $p$ la característica del cuerpo base).

2. Generalización del Caso Étale: Se demuestra que este mapa generaliza el mapa de traza clásico de la cohomología étale (SGA4). Al tomar el espectro absoluto étale $\ell$-ádico, la imagen del ciclo fundamental coincide con la traza clásica.

3. Mejora $\infty$-categórica (Main Theorem): Se construye una versión $\infty$-categórica del mapa de traza, denotada como $\tau^\dagger$, que es un morfismo de haces de espectros en la categoría de morfismos de esquemas. Esto conecta directamente la "teoría de ciclos" con la "cohomología motivica mejorada $\infty$".

4. Análisis de Anulación de Homotopía: Se prueba rigurosamente la anulación de grupos de homotopía superiores en la homología de Borel-Moore bajo ciertas condiciones de dimensión, lo cual es el motor técnico que permite la construcción local y la extensión global.

4. Resultados Principales

• Teorema 3.5: Existe un único mapa de teorías bivariantes $\tau$ compatible con la orientación $\mathbb{A}^1$ desde los grupos de ciclos equidimensionales ($zequi$) hacia la homología de Borel-Moore. Este mapa es natural respecto a cambios de base y empujes hacia adelante por morfismos propios.
• Propiedad de Anulación (Proposición 3.7): Para un morfismo $f: X \to S$ con dimensión relativa $\le d$, los grupos de homología de Borel-Moore $HBM_{2m+n}(X/S, \Lambda(m))$ se anulan si $m > d$ o si $m=d$ y $n > 0$.
• Teorema 6.4 (Mejora $\infty$): Existe esencialmente un único morfismo de haces de espectros $\tau^\dagger: z(d) \to HBM(d)$ en la categoría $\mathcal{Ar}$ que induce el mapa $\tau$ en el nivel de $\pi_0$ (grupos de homotopía cero).

5. Significado e Impacto

• Puente entre Ciclos y Cohomología: El trabajo proporciona un marco riguroso para "lanzar" información de teoría de ciclos dentro del marco de la cohomología motivica, resolviendo una necesidad teórica fundamental para la teoría de motivos.
• Fundamento para Trabajos Futuros: El autor menciona que esta mejora $\infty$-categórica es un ingrediente crucial para su trabajo posterior ([Abe22b]), donde se busca conectar ciclos "reales" con la cohomología motivica en un contexto de teoría de homotopía superior.
• Unificación de Contextos: Al demostrar que el formalismo funciona tanto para coeficientes racionales ($\mathbb{Q}$) como para enteros invertidos ($\mathbb{Z}[1/p]$), y al generalizar resultados de Déglise y SGA4, el artículo unifica perspectivas de cohomología étale y motivica bajo un mismo formalismo functorial potente.
• Herramienta para Dualidad: La construcción se basa y generaliza la dualidad de Poincaré relativa, ofreciendo una herramienta esencial para el estudio de la dualidad en variedades singulares o no suaves dentro del contexto motivico.

En resumen, el artículo de Abe es un avance técnico significativo que formaliza y generaliza el concepto de traza en la cohomología motivica, resolviendo problemas de functorialidad y homotopía superior mediante el uso inteligente de grupos de ciclos y topologías refinadas, sentando las bases para desarrollos futuros en la teoría de motivos $\infty$-categóricos.