Logarithmic prismatic cohomology, motivic sheaves, and comparison theorems

Resumen Técnico: Cohomología Prismática Logarítmica, Hazes Motívicos y Teoremas de Comparación

Enunciado del Problema
El artículo aborda la representabilidad de las teorías de cohomología prismática y sintomática logarítmicas dentro del marco de los haces motívicos logarítmicos. Las teorías clásicas de cohomología $p$-ádica (étale, de Rham, cristalina) y sus generalizaciones prismáticas a menudo no son invariantes bajo homotopía $\mathbb{A}^1$, lo que impide su representación directa en la categoría estándar de haces motívicos (por ejemplo, $\text{DA}_{\text{eff}}$). Si bien la geometría logarítmica proporciona un entorno natural para manejar la reducción semiestable y los divisores frontera, ha faltado un formalismo motívico unificado capaz de representar estas teorías específicas de cohomología $p$-ádica, particularmente en el contexto logarítmico. Además, los teoremas de comparación explícitos entre la cohomología prismática logarítmica y la cohomología cristalina/de Rham logarítmica, junto con la construcción de aplicaciones de Gysin y fórmulas de explosión en este contexto, requieren una base estructural robusta.

Metodología
Los autores emplean un enfoque multifacético que combina geometría logarítmica, álgebra superior y teoría de homotopía motívica:

1. Formalismo Motívico Logarítmico: Los autores trabajan dentro de la categoría de haces motívicos logarítmicos, específicamente $\text{logFDA}(S, \Lambda)$, la $\infty$-categoría de espectros motívicos logarítmicos sobre una base $S$. Esta categoría se construye localizando haces étale estrictos en esquemas logarítmicamente suaves con respecto a proyecciones que involucran $(\mathbb{P}^n, \mathbb{P}^{n-1})$, recuperando así propiedades como secuencias de Gysin e isomorfismos de Thom que no están disponibles en el entorno local $\mathbb{A}^1$.
2. Representabilidad mediante Orientaciones de Chern: Para probar la representabilidad, los autores establecen que las teorías de cohomología en cuestión admiten una "orientación de Chern". Utilizan la primera clase de Chern prismática (construida por Bhatt–Lurie) para definir aplicaciones desde el objeto de Tate $\Lambda(1)$ hacia las teorías de cohomología. Esto les permite construir espectros de anillos orientados que representan las teorías.
3. Descenso Saturado: Una herramienta técnica central es el "descenso saturado", inspirado en el trabajo de Nizioł sobre la $K$-teoría logarítmica. Los autores analizan el nervio de Čech de aplicaciones de Kummer en la categoría de monoides saturados. Demuestran que para anillos logarítmicamente cuasisintomáticos, la cohomología prismática logarítmica puede calcularse como un límite de la cohomología prismática no logarítmica sobre un diagrama cosimplicial específico que involucra productos tensoriales saturados. Esta técnica cierra la brecha entre los entornos logarítmico y no logarítmico.
4. Conjetura de Segal Logarítmica: Para construir la cohomología de Breuil–Kisin, los autores demuestran una versión logarítmica de la conjetura de Segal (que relaciona la homología de Hochschild topológica con su construcción de Tate) para álgebras logarítmicamente suaves, lo cual es esencial para establecer las propiedades de descenso de Frobenio requeridas para la teoría de cohomología.

Contribuciones y Resultados Clave

• Representabilidad Motívica: El resultado principal es la prueba de que la cohomología prismática logarítmica ($R\Gamma_{\hat{\Delta}}$) y la cohomología sintomática logarítmica ($R\Gamma_{F_{\text{syn}}}$) son representables en la categoría de haces motívicos logarítmicos. Específicamente, construyen espectros de anillos orientados $E_{\hat{\Delta}}$, $E_{\text{Fil}\hat{\Delta}}$ y $E_{F_{\text{syn}}}$ en $\text{CAlg}(\text{logFDA}(S, \mathbb{Z}_p))$.
• Aplicaciones de Gysin y Cofibrados: Como consecuencia de la representabilidad y la existencia de orientaciones de Chern, los autores construyen aplicaciones de Gysin functoriales para la cohomología prismática y sintomática asociadas a inmersiones cerradas de codimensión pura $d$. Crucialmente, identifican explícitamente los cofibrados homotópicos de estas aplicaciones como la cohomología del par $(\text{Bl}_Z(X), E)$, donde $\text{Bl}_Z(X)$ es la explosión y $E$ es el divisor excepcional. Esto proporciona una "secuencia de residuos" para estas teorías de cohomología.
• Fórmula de Explosión Suave: El artículo establece una fórmula de explosión suave para la cohomología prismática y sintomática, expresando la cohomología de una explosión como una suma directa de la cohomología de la base y del centro, desplazada por grados apropiados.
• Cálculos de Grassmannianas: Utilizando el formalismo motívico, los autores calculan la cohomología prismática y sintomática de las Grassmannianas, estableciendo isomorfismos de anillos bigraduados que involucran un anillo de coeficientes explícito $Z_{r,n}$.
• Teoremas de Comparación mediante Descenso Saturado:
  • Comparación Cristalina: Utilizando el descenso saturado, los autores demuestran que para esquemas logarítmicamente suaves sobre un cuerpo perfecto $k$ de característica $p$, la cohomología prismática logarítmica es equivalente a la cohomología cristalina logarítmica (con estructuras logarítmicas apropiadas en la base).
  • Comparación de Rham: Establecen una equivalencia entre la cohomología prismática logarítmica y la cohomología de Rham logarítmica tras la extensión de escalares a lo largo del mapa de periodo $\theta$.
• Cohomología Logarítmica de Breuil–Kisin: Los autores construyen una versión logarítmica de la cohomología de Breuil–Kisin para esquemas formales logarítmicamente suaves sobre el anillo de enteros de un cuerpo $p$-ádico. Esta teoría toma valores en álgebras $E_\infty$ $(p, z)$-completas sobre el anillo de Breuil–Kisin $S = W(k)[[z]]$. Satisface el descenso de Frobenio y admite isomorfismos de comparación con la cohomología de Rham logarítmica y la cohomología cristalina logarítmica.
• Aplicaciones de Gysin para Cohomología $A_{\inf}$: Mediante el cambio de base de la cohomología logarítmica de Breuil–Kisin a $A_{\inf}$, los autores derivan aplicaciones de Gysin para la cohomología $A_{\inf}$ e identifican sus cofibrados en términos de cohomología prismática logarítmica.

Significado
El artículo reivindica su importancia en varias áreas:

1. Unificación: Sitúa la cohomología prismática y sintomática logarítmica dentro del poderoso marco de los haces motívicos, permitiendo el uso de herramientas motívicas (como pureza, secuencias de Gysin y fórmulas de explosión) en la teoría de Hodge $p$-ádica.
2. Cofibrados Explícitos: Resuelve el problema de identificar los cofibrados de las aplicaciones de Gysin para estas teorías, lo cual no estaba explícitamente disponible previamente en la literatura para el contexto logarítmico.
3. Técnica de Descenso: El desarrollo del descenso saturado proporciona un nuevo método para calcular teorías de cohomología logarítmica reduciéndolas a sus contrapartes no logarítmicas, facilitando teoremas de comparación que anteriormente eran difíciles de establecer.
4. Extensiones Fundamentales: La construcción de la cohomología logarítmica de Breuil–Kisin y la conjetura de Segal logarítmica extiende el alcance del trabajo de Bhatt–Morrow–Scholze al contexto logarítmico, proporcionando una base para futuras comparaciones con filtraciones motívicas globales y variantes logarítmicas de filtraciones pares.

Los autores señalan que sus resultados son independientes de las definiciones basadas en sitios de Koshikawa y Yao, aunque reconocen que una comparación entre la cohomología prismática logarítmica completa de Nygaard definida aquí y la versión basada en sitios es un tema de trabajo en curso (referenciado como [BLMP25]). El artículo enfatiza que la estructura logarítmica en el prisma de coeficientes es generalmente trivial, excepto en el caso específico de Breuil–Kisin.