Logarithmic Crystalline Representations

Resumen Técnico: Representaciones Cristalinas Logarítmicas

Planteamiento del Problema
En 1989, Faltings estableció un teorema de comparación entre la cohomología étale y la cohomología cristalina introduciendo la categoría de los módulos de Fontaine-Faltings ($MF^{\nabla}$) y un functor plenamente fiel ($D$) que mapea estos módulos a representaciones del grupo fundamental étale de la fibra genérica. Si bien Faltings afirmó en [Fal89] que esta teoría se extiende al contexto logarítmico (que involucra divisores de cruce normal), no proporcionó detalles. En consecuencia, la construcción explícita de los módulos de Fontaine-Faltings logarítmicos y el correspondiente functor de comparación logarítmico permanecieron ausentes de la literatura. Este artículo tiene como objetivo llenar ese vacío construyendo explícitamente estos objetos y probando la plena fidelidad del functor resultante.

Metodología
Los autores proceden en dos etapas principales, primero revisando la teoría no logarítmica y luego extendiéndola al entorno logarítmico.

1. Revisión de la Teoría No Logarítmica: El artículo comienza recordando la definición de los módulos de Fontaine-Faltings sobre una base afín pequeña y una base global. Estos son cuádruples $(V, \nabla, \text{Fil}, \phi)$ que consisten en un módulo de de Rham, una filtración de Hodge y un isomorfismo de Frobenius semilineal. Los autores revisan el functor $D$ de Faltings, el cual utiliza anillos de periodos ($B^+(R)$) y la construcción de una acción horizontal del grupo fundamental étale para mapear estos módulos a representaciones continuas. Una herramienta técnica clave es el "functor de pegado" (gluing functor), que establece que la categoría de los módulos es independiente de la elección de la elevación de Frobenius $\Phi$ (siempre que el rango del peso de Hodge-Tate sea $b-a \leq p-2$).

2. Construcción de Módulos Logarítmicos:

   • Definición: Un módulo de Fontaine-Faltings logarítmico sobre un par $(Y, Z)$ (donde $Z$ es un divisor de cruce normal) se define de manera similar al caso clásico, pero se requiere que la conexión $\nabla$ tenga polos logarítmicos a lo largo de $Z$. La elevación de Frobenius $\Phi$ debe respetar la estructura logarítmica (es decir, $\Phi(T_i) = w_i T_i^p$).
   • Teorema de Pegado: Los autores prueban una versión logarítmica del teorema de pegado de Faltings (Teorema 2.3). Construyen un isomorfismo canónico $\alpha_{\Phi, \Psi}$ entre módulos definidos por diferentes elevaciones de Frobenius utilizando una fórmula de Taylor logarítmica que involucra derivaciones logarítmicas $\partial_i = T_i \frac{\partial}{\partial T_i}$. Esto asegura que la categoría de los módulos logarítmicos esté bien definida independientemente de la elección de $\Phi$.

3. Construcción del Functor $D_{\log}$ Logarítmico:

   • Construcción Local: Para un afín logarítmicamente pequeño $(Y, Z)$, los autores construyen el functor local $D_{\log}$. La idea central es explotar el hecho de que para un módulo de torsión $p$, los polos logarítmicos de su tracción (pullback) a lo largo de una torre específica de cubrimientos planos finitos (que involucra las raíces $p^n$-ésimas de las coordenadas locales que definen $Z$) se anulan.
   • Descenso: Sobre estos cubrimientos, la tracción se convierte en un módulo de Fontaine-Faltings estándar (no logarítmico). Los autores aplican el functor $D$ clásico de Faltings para obtener un sistema local sobre el cubrimiento. Utilizando el hecho de que el grupo fundamental de la complementación $Y^\circ_K$ actúa sobre estos sistemas, descienden el sistema local desde el cubrimiento de vuelta a $Y^\circ_K = Y_K - Z_K$.
   • Globalización: Al cubrir el esquema global $(Y, Z)$ con afines logarítmicamente pequeños, los autores pegan estos funtores $D_{\log}$ locales. Utilizan el descenso fielmente plano para espacios rígidos para asegurar que los sistemas locales se peguen para formar un sistema local étale $p$-ádico global en $Y^\circ_K$.

4. Plena Fidelidad: Los autores prueban que el functor $D_{\log}$ global es plenamente fiel. La prueba se basa en la plena fidelidad del functor $D$ no logarítmico. Demuestran que un morfismo (o isomorfismo) entre módulos logarítmicos puede detectarse localmente en el complemento $U = Y - Z$, donde la estructura logarítmica es trivial, y luego extenderlo de vuelta a todo el espacio usando la naturaleza abeliana de la categoría de los módulos de torsión y la anulación de los cocientes en el conjunto abierto denso.

Contribuciones y Resultados Clave

• Construcción Explícita: El artículo proporciona la primera definición explícita de los módulos de Fontaine-Faltings logarítmicos y la construcción del functor $D_{\log}$ logarítmico.
• Teorema 2.10: El resultado principal establece un functor $D_{\log}$ desde la categoría de los módulos de Fontaine-Falsings logarítmicos sobre $(Y, Z)$ hacia la categoría de las representaciones continuas de $\pi_1^{\text{ét}}(Y^\circ_K)$.
  • Este functor es compatible con el functor $D$ clásico de Faltings: $D_{\log}(M)|_{U_K} \cong D(M|_U)$.
  • Si $Y$ es propio sobre $W$, el functor se algebraiza a una representación de $\pi_1^{\text{ét}}(Y^\circ_K)$.
• Plena Fidelidad (Proposición 2.11): Se prueba que el functor $D_{\log}$ es plenamente fiel. Consecuentemente, las representaciones en la imagen esencial se definen como "representaciones cristalinas logarítmicas".
• Independencia de Frobenius: El Teorema 2.3 confirma que la categoría de los módulos de Fontaine-Falsings logarítmicos es independiente de la elección de la elevación de Frobenius, de manera análoga al caso no logarítmico.

Significancia
El artículo afirma completar el marco teórico iniciado por Faltings en 1989 con respecto a la extensión logarítmica de las representaciones cristalinas. Al detallar explícitamente la construcción del functor $D_{\log}$ y probar su plena fidelidad, los autores proporcionan las herramientas necesarias para estudiar las representaciones $p$-ádicas que surgen de la geometría logarítmica (como aquellas asociadas a variedades con reducción semiestable) de una manera paralela a la teoría clásica de Fontaine-Laffaille. El trabajo sirve como una referencia fundacional para el contexto logarítmico, el cual anteriormente solo había sido aludido sin una construcción rigurosa.