Syntomic formalism with coefficients

Aquí presento un resumen técnico detallado del artículo "Syntomic Formalism with Coefficients" (Formalismo Sintómico con Coeficientes) de F. Andreatta, M. Bertolini, M. Seveso y R. Venerucci.

1. El Problema y el Contexto

El objetivo principal de este trabajo es proporcionar las herramientas técnicas necesarias para calcular mapas de Abel-Jacobi $p$-ádicos y, en última instancia, obtener leyes de reciprocidad explícitas para el grupo simpléctico general $GSp_4$.

El problema central reside en la necesidad de un marco cohomológico robusto que conecte tres mundos distintos en geometría aritmética:

1. Cohomología Étale: Relacionada con representaciones de Galois y sistemas locales $p$-ádicos.
2. Cohomología de De Rham: Relacionada con la geometría algebraica y conexiones integrables.
3. Cohomología Cristalina/Hyodo-Kato: Relacionada con la reducción semiestable y estructuras de Frobenius.

Existe una brecha técnica significativa al trabajar con coeficientes no triviales (sistemas locales o cristales filtrados) en esquemas semiestables con divisores horizontales. Los trabajos anteriores a menudo se limitaban a coeficientes constantes o requerían hipótesis demasiado restrictivas para aplicaciones a formas modulares de grado superior (como las asociadas a $GSp_4$).

2. Metodología

Los autores desarrollan un formalismo sintómico con coeficientes que generaliza la cohomología sintómica clásica (introducida por Besser, Nizioł, Colmez, etc.) a un contexto mucho más general. La metodología se basa en los siguientes pilares:

• Configuración Geométrica: Se trabaja sobre un esquema formal $p$-ádico $(\mathfrak{X}, D)$ sobre el anillo de enteros $\mathcal{O}_K$ de un campo local $K$, donde $\mathfrak{X}$ es semiestable estricto y $D$ es un divisor de cruce normal estricto. Se consideran fibras genéricas suaves y se introducen log-estructuras asociadas a $D$ y a la fibra especial.
• Cristales Log-Frobenius Filtrados: Se definen y estudian cristales log-Frobenius no degenerados filtrados (y sus versiones de isocristales) sobre estas estructuras. Estos objetos generalizan los sistemas locales $p$-ádicos mediante la correspondencia de Fontaine-Mazur y la teoría de periodos.
• Complejos Sintómicos: Se construyen complejos sintómicos analíticos y cristalinos. La definición clave es el complejo total asociado al morfismo:
  $$(1 - \Phi^{pr}, \gamma_{an}): R\Gamma_{an} \to R\Gamma_{an} \oplus R\Gamma_{logdR}$$
  donde $\Phi$ es el Frobenius, $p$ es el primo, $r$ es el peso de Tate, y $\gamma_{an}$ es el mapa de comparación hacia la cohomología de De Rham logarítmica.
• Cohomología con Soporte: Se introducen variantes de estos complejos con condiciones de soporte (cohomología con soporte en el divisor o con soporte compacto), esenciales para definir mapas de Gysin y productos cup.
• Técnicas de Periodos: Se utilizan haces de periodos ($B_{crys}, B_{dR}, B_{st}$) sobre sitios pro-Kummer-étale para establecer comparaciones entre la cohomología sintómica y la cohomología étale.

3. Contribuciones Clave

El artículo aporta varias contribuciones fundamentales al formalismo $p$-ádico:

1. Definición de Cohomología Sintómica Polinomial: Se generaliza el complejo sintómico para incluir polinomios $P(\Phi)$ en lugar de solo $(1-\Phi^{pr})$. Esto permite aislar partes específicas de la cohomología bajo la acción de Frobenius, crucial para aplicaciones a formas modulares.
2. Mapas de Comparación Étale-Sintómica: Se establecen morfismos de comparación explícitos entre la cohomología sintómica (con coeficientes en cristales) y la cohomología étale de sistemas locales $p$-ádicos. Se demuestra que estos mapas son isomorfismos bajo ciertas condiciones (e.g., representaciones semiestables).
3. Estructuras de Dualidad y Producto:
   • Se definen mapas de Gysin para divisores en el contexto sintómico.
   • Se construyen productos cup y morfismos de Künneth para complejos sintómicos polinomiales.
   • Se establecen mapas de traza (trace maps) que permiten definir emparejamientos de dualidad de Poincaré en cohomología sintómica.
4. Relación con Cohomología de Hyodo-Kato: Se demuestra una relación precisa entre la cohomología sintómica y la cohomología de Hyodo-Kato de la fibra especial, incluyendo la acción del operador de monodromía $N$ y el Frobenius $\Phi$.
5. Compatibilidad con Hochschild-Serre: Se estudia la compatibilidad de los mapas sintómicos con la sucesión espectral de Hochschild-Serre, conectando la cohomología del esquema base con la de la fibra genérica sobre el cierre algebraico.

4. Resultados Principales

• Teorema de Comparación (Teorema 2 y 3): Se prueba que para un sistema local $L$ asociado a un cristal log-Frobenius $E$, existe un isomorfismo entre la cohomología sintómica $H^i(Syn(E, r))$ y la cohomología étale $H^i_{et}(U, L(r))$ (con un desplazamiento de grado y torsión). Además, si la representación es semiestable, la cohomología sintómica es isomorfa a la parte de inercia invariante de la cohomología de Hyodo-Kato ($D_{st}$).
• Compatibilidad de Mapas de Gysin (Teorema 4): Los mapas de Gysin sintómicos son compatibles con los mapas de Gysin étale y de De Rham bajo los morfismos de comparación. Esto es vital para estudiar ciclos algebraicos y sus clases de cohomología.
• Dualidad de Poincaré Sintómica (Sección 16): Se construyen emparejamientos perfectos entre la cohomología sintómica de un cristal y la de su dual, utilizando mapas de traza definidos mediante polinomios admisibles.
• Independencia de Elecciones: Se demuestra que los complejos rígidos y sintómicos definidos son independientes (hasta cuasi-isomorfismo) de las elecciones de cubiertas de Čech y levantamientos locales, asegurando la robustez de la teoría.

5. Significado e Impacto

Este trabajo es un componente técnico esencial para la programa de Langlands $p$-ádico y la teoría de números moderna, específicamente en el contexto de variedades de Shimura de tipo Siegel ($GSp_4$).

• Leyes de Reciprocidad: Proporciona el marco para definir y calcular valores especiales de funciones $L$ $p$-ádicas y relaciones de reciprocidad que conectan valores de funciones $L$ con clases de cohomología (mapas de Abel-Jacobi).
• Generalización: Al permitir coeficientes en isocristales filtrados y trabajar con esquemas semiestables con divisores, supera las limitaciones de teorías anteriores que solo funcionaban con coeficientes constantes o en casos de buena reducción.
• Herramienta Computacional: La introducción de la cohomología sintómica polinomial y los mapas de traza explícitos ofrece un "caja de herramientas" computable para manipular clases de cohomología en contextos aritméticos complejos, facilitando la verificación de conjeturas sobre la estructura de los grupos de Galois y las representaciones automorfas.

En resumen, el artículo establece un formalismo sintómico completo y flexible que actúa como puente entre la geometría algebraica, la teoría de representaciones de Galois y la cohomología $p$-ádica, siendo indispensable para los avances recientes en la teoría de formas modulares de grado superior.