Comparison of Motivic Homotopy Theories

Este artículo construye funtores de comparación entre las categorías duales de las teorías de homotopía motivica (tanto $\mathbb{A}^1$-invariantes como no invariantes) y las categorías de motivos localizantes, demostrando que, sobre un cuerpo que admite resolución de singularidades, el funtor factorizado en la versión $\mathbb{A}^1$-invariante es plenamente fiel, mientras que su análogo no invariante no lo es en general.

Lo esencial

Imagina que las matemáticas avanzadas son como un universo de ciudades. En este universo, existen diferentes formas de construir y entender estas ciudades. El trabajo de Tianjian Tan es como un arquitecto de puentes que intenta conectar dos tipos de ciudades muy diferentes, pero que, a primera vista, parecen vivir en mundos separados.

Aquí tienes una explicación sencilla de lo que hace este paper, usando analogías cotidianas:

1. Las Dos Ciudades (Los Dos Mundos)

El autor quiere comparar dos grandes "ciudades" de la geometría moderna:

• La Ciudad de SH (Motivos Homotópicos A¹): Imagina una ciudad donde las reglas son muy estrictas. Si tienes una carretera que se estira infinitamente (como el plano afín $\mathbb{A}^1$), en esta ciudad, estirarla o encogerla no cambia nada. Es como si el tiempo o la distancia no importaran; todo es "rígido" y estable. Los matemáticos Morel y Voevodsky construyeron esta ciudad.
• La Ciudad de Motivos Locales (Mot): Esta es una ciudad más "caótica" y flexible. Aquí, las reglas son diferentes. No importa si estiras una carretera; lo que importa es cómo se conectan los edificios entre sí y cómo se comportan cuando los rompes o los reparas (como en una explosión o un desastre). Es una ciudad que captura la "esencia" de las matemáticas sin preocuparse tanto por el estiramiento infinito.

El problema: Los matemáticos querían saber: "¿Son estas dos ciudades, en el fondo, el mismo lugar visto desde diferentes ángulos?"

2. El Puente Invertido (La Dualidad)

Para conectar estas ciudades, el autor no construye un puente directo. En su lugar, hace algo muy inteligente: invierte el mapa.

Imagina que tienes un mapa de una ciudad. Si lo miras al revés (como un espejo), las calles se convierten en bloques y los bloques en calles. En matemáticas, esto se llama dualidad.

• El autor toma la ciudad "rígida" (SH), la voltea en un espejo mágico y la convierte en una ciudad de "cosas que se descomponen" (llamada $SH^\vee$).
• Luego, intenta construir un puente desde esta ciudad invertida hacia la ciudad de los "Motivos Locales" (Mot).

3. El Experimento: ¿Funciona el Puente?

El autor construye dos tipos de puentes para ver si la conexión es perfecta:

A. El Puente "Rígido" (Caso A¹-invariante)

Este puente conecta la ciudad rígida (SH) con la ciudad de motivos locales, pero manteniendo la regla de que estirar no importa.

• El resultado: ¡Funciona perfectamente!
• La analogía: Imagina que tienes dos copias de un mismo edificio. Una está hecha de piedra dura (SH) y la otra de bloques de construcción (Mot). El autor demuestra que, si estás en un terreno donde las reglas son "limpias" (un campo que permite resolver singularidades), puedes transformar la piedra en bloques sin perder ni una sola pieza de información. El puente es totalmente fiel: todo lo que pasa por él llega intacto.

B. El Puente "Flexible" (Caso No-A¹-invariante)

Este puente conecta la versión "caótica" de la ciudad (MS) con la ciudad de motivos locales, sin la regla de que estirar no importa.

• El resultado: ¡Aquí hay un problema!
• La analogía: Imagina que intentas conectar una ciudad llena de caos y explosiones con la ciudad de bloques. El autor descubre que, aunque el puente existe, no es perfecto.
  • En la ciudad de bloques (Mot), hay infinitas formas de conectar dos edificios (hay un número "incontable" de caminos).
  • En la ciudad de caos (MS), los caminos son limitados (son "contables").
  • La conclusión: Cuando cruzas el puente, pierdes información. Hay demasiados caminos en el destino que no tienen un origen en el punto de partida. El puente no es "fiel" en este caso.

4. La Herramienta Secreta: El "Espectro K"

Para construir estos puentes, el autor usa una herramienta matemática llamada K-teoría (específicamente, un objeto llamado $KGL$).

• Analogía: Piensa en el $KGL$ como un lenguaje universal o un traductor.
• El autor demuestra que, para cruzar el puente, no necesitas caminar por toda la ciudad. Solo necesitas traducir las cosas a este "lenguaje universal" (convertir los edificios en módulos sobre este espectro).
• En el caso rígido (A¹), el traductor funciona de maravilla: traduce todo perfectamente.
• En el caso flexible, el traductor se queda corto: hay palabras en el idioma de destino que el traductor no puede explicar desde el origen.

Resumen Final

El paper de Tianjian Tan es como un informe de ingeniería sobre la construcción de puentes entre dos mundos matemáticos:

1. Descubrimiento: Logramos volcar un mundo matemático complejo (SH) para conectarlo con otro (Mot) usando un "espejo" (dualidad).
2. Éxito: Si las reglas del juego son estrictas (A¹-invariantes), el puente es perfecto y no perdemos información.
3. Fallo: Si las reglas son más sueltas (sin A¹), el puente tiene grietas. Hay información que se pierde en el viaje porque el mundo de origen es "demasiado pequeño" (contable) para cubrir la inmensidad del mundo de destino (incontable).

En esencia, el autor nos dice: "Podemos conectar estos mundos, pero solo si las reglas son lo suficientemente rígidas para mantener la estructura intacta. Si las reglas son muy flexibles, la conexión se rompe."

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "Comparison of Motivic Homotopy Theories" de Tianjian Tan, estructurado según los puntos solicitados.

1. El Problema

El objetivo central de la tesis es establecer y analizar una comparación formal entre dos grandes marcos teóricos en la geometría algebraica y la teoría de homotopía:

1. Las teorías de homotopía motivica: Específicamente, la categoría de homotopía motivica estable $SH$ (invariante bajo $\mathbb{A}^1$, de Morel-Voevodsky) y su contraparte no invariante $MS$ (construida por Annala, Iwasa y Hoyois, que incorpora excisión por explosiones elementales pero no invariancia $\mathbb{A}^1$).
2. Los motivos no conmutativos: La categoría de motivos localizadores $Mot_{loc}$ (de Blumberg, Gepner y Tabuada) y su versión invariante bajo $\mathbb{A}^1$, denotada como $Mot_{loc}^{\mathbb{A}^1}$.

El problema reside en entender cómo se relacionan estas categorías. Mientras que las relaciones internas (localización de $MS$ a $SH$ y de $Mot_{loc}$ a $Mot_{loc}^{\mathbb{A}^1}$) son bien conocidas, la conexión cruzada entre la homotopía motivica y los motivos localizadores requiere la construcción de funtores de comparación explícitos y el análisis de sus propiedades (específicamente, si son plenamente fieles).

2. Metodología

El autor emplea una combinación de teoría de categorías de alta categoría ($\infty$-categorías), teoría de dualidad en categorías estables presentables y técnicas de localización formal. Los pasos metodológicos clave son:

• Dualidad en $\mathbf{Pr}^L_{st}$: Se trabaja en la categoría de categorías estables presentables ($\mathbf{Pr}^L_{st}$). El autor utiliza la noción de objeto dualizable en este contexto. Para una categoría $C$, su dual $C^\vee$ se identifica con la categoría de funtores que preservan colímites hacia los espectros ($Fun^L(C, Sp)$).
• Inversión Formal y Modelos de Telescopio: Se estudia la inversión formal de objetos (como $\mathbb{P}^1$) en categorías simétricas monoidales. Se demuestra que la inversión formal conmuta con la operación de dualidad bajo ciertas condiciones de compacidad.
• Construcción de Funtores de Comparación:
  • Se define un funtor natural desde el dual de la categoría de homotopía motivica hacia la categoría de motivos.
  • Se utiliza la propiedad universal de las categorías de motivos localizadores (como la invariante universal $U$) para extender funtores definidos en esquemas suaves ($Sm_{fp}$) a las categorías completas.
  • Se identifican las categorías duales $SH^\vee$ y $MS^\vee$ como categorías de "co-sheaves" (coshélices) con condiciones de co-descent (Nisnevich y explosiones) e inversión formal de $\mathbb{P}^1$.
• Factorización a través de Módulos: Se aplica el argumento de Barr-Beck para factorizar los funtores de comparación a través de categorías de módulos sobre un espectro de K-teoría dual ($KGL$ o su versión no invariante).
• Análisis de Generación Rígida: Se investiga si las categorías duales son "rígida-mente generadas" (generadas por objetos duales y compactos). Esto es crucial para extender la fidelidad plena de subcategorías a la categoría completa.

3. Contribuciones Clave

1. Construcción de Funtores de Comparación: Se construyen explícitamente funtores de adjunción fuerte monoidal:
   • $\Phi: SH^\vee \to Mot_{loc}^{\mathbb{A}^1}$
   • $\Psi: MS^\vee \to Mot_{loc}$
     Estos funtores extienden la asignación natural $X \mapsto U(\text{perf}_X)$ desde el dual de los esquemas suaves.
2. Caracterización Dual de $SH$ y $MS$: Se demuestra que el dual de la categoría de homotopía motivica ($SH^\vee$ o $MS^\vee$) es equivalente a una categoría construida a partir de presheaves de espectros mediante localización (condiciones de co-descent) e inversión formal del dual de $\mathbb{P}^1$.
3. Propiedades Universales: Se establecen propiedades universales precisas para las categorías duales, caracterizando los funtores que salen de ellas en términos de funtores que preservan ciertas condiciones (excisión de Nisnevich, invariancia $\mathbb{A}^1$ o de explosiones, e invertibilidad de $\mathbb{P}^1$).
4. Análisis de Fidelidad Plena (Fully-Faithfulness):
   • Se prueba que el funtor factorizado es plenamente fiel en el caso invariante bajo $\mathbb{A}^1$ sobre cuerpos que admiten resolución de singularidades.
   • Se demuestra que en el caso no invariante, la fidelidad plena falla en general.

4. Resultados Principales

Caso Invariante bajo $\mathbb{A}^1$ ($SH$ vs $Mot_{loc}^{\mathbb{A}^1}$)

• Proposición 4.2: Sobre un cuerpo $k$ que admite resolución de singularidades, y después de invertir la característica exponencial $e$ del cuerpo, el funtor factorizado
  $$e\Phi: \text{Mod}_{\Phi^*(1)}(SH(k)[1/e]^\vee) \to Mot(k)_{loc}^{\mathbb{A}^1}[1/e]$$
  es plenamente fiel a nivel de espectros de mapeo.
• Razón: La categoría $SH(k)^\vee$ es rígida-mente generada (los objetos compactos son duales). Esto permite que la fidelidad plena en generadores se extienda a toda la categoría. El objeto $\Phi^*(1)$ se identifica con el espectro de K-teoría motivica $KGL^{\mathbb{A}^1}$.

Caso No Invariante ($MS$ vs $Mot_{loc}$)

• Proposición 4.3: El funtor análogo en el caso no invariante no es plenamente fiel en general.
• Contraejemplo: Sobre un cuerpo numerable $k$, el conjunto de componentes conexas ($\pi_0$) de los espectros de mapeo entre ciertos objetos compactos en $MS(k)^\vee$ es numerable. En contraste, en la categoría de motivos $Mot_{loc}$, los espectros de mapeo entre objetos análogos (relacionados con anillos de Witt grandes) tienen un $\pi_0$ no numerable (cardinalidad del continuo).
• Causa: La categoría $MS(k)^\vee$ no es rígida-mente generada; carece de un conjunto de generadores duales y compactos suficientes para capturar la complejidad de los motivos localizadores.

5. Significado e Impacto

Este trabajo es fundamental para la comprensión de la relación entre la topología motivica clásica y la teoría de motivos no conmutativos:

1. Validación de la Conexión $\mathbb{A}^1$: Confirma que, bajo buenas condiciones geométricas (resolución de singularidades), la teoría de homotopía motivica invariante bajo $\mathbb{A}^1$ se incrusta fielmente en la teoría de motivos localizadores. Esto sugiere que los motivos localizadores capturan correctamente la información homotópica motivica cuando se impone la invariancia $\mathbb{A}^1$.
2. Límites de la Generalización: El resultado negativo en el caso no invariante es igualmente importante. Muestra que la teoría de homotopía motivica sin invariancia $\mathbb{A}^1$ (que incluye información de explosiones) es "más pequeña" o estructuralmente diferente en su dual que la categoría de motivos localizadores. La falta de generación rígida en $MS^\vee$ impide una equivalencia o incrustación plena.
3. Herramientas Técnicas: El uso sistemático de la dualidad en $\mathbf{Pr}^L_{st}$ y la inversión formal proporciona un marco robusto para comparar categorías de homotopía que no son simplemente categorías de presheaves, ofreciendo nuevas perspectivas para futuros estudios en geometría algebraica y teoría de categorías superiores.

En resumen, el artículo establece un puente formal entre dos mundos teóricos, demostrando que la conexión es fuerte y fiel en el contexto invariante $\mathbb{A}^1$, pero se rompe en el contexto no invariante debido a diferencias profundas en la estructura de generación y cardinalidad de los espectros de mapeo.