Poincaré duality in logarithmic motivic homotopy theory

Aquí presento un resumen técnico detallado del artículo "Poincaré Duality in Logarithmic Motivic Homotopy Theory" de Doosung Park, estructurado según los puntos solicitados.

1. El Problema y el Contexto

La teoría de homotopía motivica estándar (SH) y sus variantes (como DM) han logrado establecer la dualidad de Poincaré para morfismos suaves y proyectivos bajo ciertas condiciones (como la resolución de singularidades o en el contexto de espectros motivicos $\infty$-categóricos de Annala-Hoyois-Iwasa, MS). Sin embargo, existen limitaciones significativas:

• Invarianza $\mathbb{A}^1$: En la teoría motivica clásica, el espacio afín $\mathbb{A}^1$ es contráctil. Esto excluye muchas teorías de cohomología importantes que no son invariantes bajo $\mathbb{A}^1$, como la cohomología de Hodge, la homología cíclica topológica, la cohomología prismática y la cohomología sintomática.
• Geometría Logarítmica: La teoría de homotopía motivica logarítmica ($\logSH$) fue desarrollada para incluir estas teorías no invariantes y manejar esquemas con "fronteras" (esquemas logarítmicos).
• La Brecha: Aunque existían morfismos de Gysin logarítmicos (construidos por Binda-Park-Østvær), no se había demostrado una dualidad de Poincaré completa para morfismos proyectivos suaves en $\logSH$. Además, se desconocía si la cohomología cristalina de una compactificación logarítmica era independiente de la elección de dicha compactificación en este marco general.

El objetivo central del artículo es establecer la dualidad de Poincaré en $\logSH$ y utilizarla para probar la independencia de la cohomología cristalina respecto a la compactificación logarítmica.

2. Metodología

El autor adapta y modifica argumentos de Annala-Hoyois-Iwasa (que trabajaron en el contexto de MS) al entorno logarítmico. La metodología se basa en los siguientes pilares:

• Marco Axiomático: Se trabaja dentro de una categoría $\infty$-estable simétrica monoidal $T$ que satisface ciertas propiedades (invarianza bajo divisores, invarianza bajo $\square = (\mathbb{P}^1, \infty)$, fórmula de proyección, etc.), de la cual $\logSH_{sat}$ es un ejemplo principal.
• Morfismos de Gysin Logarítmicos: A diferencia de MS, donde la existencia de morfismos de Gysin de Tang con naturalidad completa era un obstáculo (no disponible al momento de la escritura), en $\logSH$ los morfismos de Gysin logarítmicos están disponibles gracias a la construcción de Binda-Park-Østvær.
• Estrategia de Prueba:
  1. Espacios de Thom: Se generaliza la noción de espacios de Thom a esquemas logarítmicos base arbitrarios y se demuestra su invarianza bajo ciertas transformaciones (Proposición 3.5).
  2. Secuencia de Gysin: Se construye la secuencia de cofibración logarítmica (Teorema 4.1 y 4.2) que relaciona el motivo de un esquema, su frontera y el fibrado normal.
  3. Compatibilidad con Composición: Se demuestra que los morfismos de Gysin logarítmicos son compatibles con composiciones de inmersiones cerradas (Teorema 5.5), aunque con una naturalidad más débil que en el caso clásico, suficiente para los propósitos del autor.
  4. Morfismo de Evaluación: Se construye un morfismo de evaluación ($ev$) y un morfismo de comparación ($comp$) para demostrar que el motivo de un esquema proyectivo suave es dualizable.
  5. Inducción y Descent: Se utiliza la descomposición de esquemas proyectivos mediante blow-ups suaves y la invarianza bajo blow-ups admisibles para extender los resultados locales a casos globales.

3. Contribuciones Clave

El artículo introduce varias herramientas técnicas y resultados teóricos fundamentales:

• Dualidad de Poincaré en $\logSH$: Se prueba que para cualquier morfismo proyectivo suave $f: X \to S$, el motivo $M_S(X)$ es dualizable, con su dual dado por $f_\sharp(\text{Th}_X(\Omega^1_f)^{-1})$. Esto generaliza resultados previos de Voevodsky, Déglise y Cisinski-Déglise al contexto logarítmico y no invariante bajo $\mathbb{A}^1$.
• Dualidad de Lefschetz Motivica: Se establece una versión motivica de la dualidad de Lefschetz para esquemas logarítmicos suaves con frontera. Si $Z \hookrightarrow X$ es una inmersión cerrada de esquemas proyectivos suaves, el motivo relativo $\Sigma^\infty X/Z$ es dualizable.
• Independencia de la Compactificación: Se demuestra que la cohomología cristalina de una variedad definida sobre un cuerpo perfecto de característica $p > 0$ es independiente de la elección de la compactificación logarítmica suave.
• Fallo de la Propiedad de Localización: Se demuestra que la propiedad de localización (que usualmente relaciona cohomología de un abierto, su complemento cerrado y el espacio total) falla para inmersiones cerradas no abiertas en esquemas suaves dentro de $\logSH$. Esto es una consecuencia directa de la existencia de teorías de cohomología no invariantes bajo $\mathbb{A}^1$ (como la cohomología de Hodge) que no son invariantes bajo inmersiones nilpotentes.

4. Resultados Principales

• Teorema A (Teorema 8.2): Para un morfismo proyectivo suave $f: X \to S$, existe un isomorfismo natural:
  $$f_\sharp \xrightarrow{\sim} f_* \Sigma \Omega^1_f : \logSH(X) \to \logSH(S)$$
  Esto implica la dualidad de Poincaré y la existencia de un isomorfismo de ambidestreza motivica en el contexto logarítmico.

• Teorema B (Teorema 8.3): Para una inmersión cerrada $Z \hookrightarrow X$ de esquemas proyectivos suaves, el objeto $\Sigma^\infty X/Z$ en $\logSH(S)$ es dualizable, con dual $\text{Th}^{-1}_{(X,Z)}(\Omega^1_{(X,Z)/S})$.

• Teorema C (Teorema 10.7): Sea $k$ un cuerpo perfecto de característica $p > 0$. Existe un haz cdh de complejos $R\Gamma^{lc}_{crys}$ en la categoría de esquemas sobre $k$ tal que para todo esquema logarítmico suave proyectivo $X$ sobre $k$:
  $$R\Gamma^{lc}_{crys}(X - \partial X) \simeq R\Gamma_{crys}(X)$$
  Esto confirma que la cohomología cristalina de la variedad abierta es independiente de la compactificación logarítmica elegida.

• Proposición 11.2: La secuencia natural $j_\sharp j^* \to \text{id} \to i_* i^*$ no es una secuencia de fibra para inmersiones cerradas no abiertas en $\logSH$, demostrando la falla de la propiedad de localización en este contexto.

5. Significado e Impacto

El trabajo de Park es fundamental por las siguientes razones:

1. Unificación de Teorías de Cohomología: Al establecer la dualidad de Poincaré en $\logSH$, el autor demuestra que una amplia gama de teorías de cohomología "exóticas" (no invariantes bajo $\mathbb{A}^1$) como la cohomología de Hodge, la cohomología prismática y la cohomología sintomática, admiten una formulación dualista robusta y unificada.
2. Resolución de un Problema Abierto: Proporciona una prueba independiente y robusta de la independencia de la cohomología cristalina respecto a la compactificación, un resultado que anteriormente requería hipótesis fuertes como la resolución de singularidades y la factorización débil, o que se representaba en categorías más restrictivas como DM(k).
3. Herramientas para la Geometría Logarítmica: La construcción de la dualidad de Lefschetz motivica y el manejo de la "frontera" en el contexto motivico abren nuevas vías para estudiar variedades con singularidades o bordes utilizando técnicas de homotopía.
4. Limitaciones Estructurales: La demostración del fallo de la propiedad de localización aclara las diferencias estructurales entre la teoría motivica clásica y la logarítmica, advirtiendo que las intuiciones basadas en la invarianza $\mathbb{A}^1$ no se pueden trasladar directamente al mundo logarítmico.

En resumen, el artículo consolida la teoría de homotopía motivica logarítmica como un marco potente y bien comportado para el estudio de cohomologías no invariantes, proporcionando las herramientas duales necesarias para extender resultados clásicos de geometría algebraica a contextos más generales y complejos.