Syntomification and crystalline local systems

Resumen Técnico: Sintomificación y Sistemas Locales Cristalinos

Problema y Contexto
El artículo aborda la relación entre la geometría de los esquemas formales $p$-ádicos y la teoría de representaciones de los grupos de Galois $p$-ádicos. Específicamente, busca generalizar la equivalencia de Bhatt-Scholze entre cristales $F$-prismaicos y representaciones de Galois cristalinas (establecida para un punto, es decir, $\text{Spf } \mathcal{O}_K$) al contexto de esquemas formales $p$-ádicos suaves $X$. El objeto central de estudio es el pila sintomática $X_{\text{Syn}}$ asociada a $X$, introducida por Bhatt y Lurie. El artículo investiga el funtor de realización étale $\mathcal{T}_{\text{ét}}: \text{Perf}(X_{\text{Syn}}) \to D^{(b)}_{\text{lisse}}(X_\eta, \mathbb{Z}_p)$, que mapea complejos perfectos en la pila sintomática a categorías derivadas de sistemas locales en la fibra genérica rígida $X_\eta$.

Los principales desafíos abordados son:

1. Caracterizar la imagen esencial de $\mathcal{T}_{\text{ét}}$ en la categoría de complejos perfectos (y su categoría de isogenia) en términos de sistemas locales cristalinos.
2. Determinar si la equivalencia $\text{Perf}(\mathbb{Z}_p^{\text{Syn}})[1/p] \simeq D^b(\text{Rep}^{\text{cris}}_{\mathbb{Q}_p}(G_{\mathbb{Q}_p}))$ se generaliza a $X$ de dimensión superior.
3. Proporcionar una descripción algebraica explícita de la categoría $\text{Perf}(X_{\text{Syn}})[1/p]$ en el caso propio, análoga a la descripción de las representaciones cristalinas mediante $F$-isocristales filtrados débilmente admisibles.

Metodología
El autor emplea una combinación de geometría de pilas, teoría de descensos y técnicas de la teoría de Hodge $p$-ádica:

• Marco de Pilas: El artículo utiliza las pilas formales $X_{\text{Syn}}$, $X_{\text{Nyg}}$ (Nygaard) y $X_\Delta$ (prismática). La estructura de $X_{\text{Syn}}$ se analiza mediante uniones pegadas y coigualadores que involucran estas pilas.
• Hazos Reflexivos: Una innovación técnica clave es la introducción de hazos reflexivos ($\text{Refl}(X_{\text{Syn}})$) en la pila sintomática. El autor los define como haces coherentes $E$ donde el mapa natural $E \to E^{\vee\vee}$ es un isomorfismo. Se demuestra que esta subcategoría es el dominio correcto para que el funtor de realización étale induzca una equivalencia.
• Análisis del Núcleo: El artículo analiza el núcleo del funtor de realización étale. Mediante la adaptación de métodos de Bhatt-Lurie y el uso de conexiones graduadas en objetos graduados asociados a Nygaard, se demuestra que el núcleo consiste en $F$-calibres coherentes que son de torsión de potencia $(p, v_{1,X})$.
• Descensos y Cubiertas: Las pruebas dependen en gran medida de sobreyecciones locales planas (específicamente utilizando pilas de Rees asociadas a prismas de Breuil-Kisin) para reducir preguntas globales en $X$ a preguntas locales en esquemas afines donde son factibles cálculos explícitos con módulos de Breuil-Kisin y $q$-conexiones.
• Cuadrado de Fibra de Beilinson: En el caso propio, el artículo construye un cuadrado de fibra de Beilinson que relaciona la cohomología sintomática de $X$ con su cohomología cristalina (sobre la fibra especial) y su cohomología de de Rham (sobre la fibra genérica). Este cuadrado se utiliza para definir la categoría objetivo de $F$-isocristales filtrados admisibles.

Contribuciones y Resultados Clave

1. Equivalencia para Hazos Reflexivos (Teorema A):
   El artículo establece que para un esquema formal $p$-ádico suave y cuasicompacto $X/\text{Spf } \mathcal{O}_K$, el funtor de realización étale induce una equivalencia de categorías:
   $$\mathcal{T}_{\text{ét}}: \text{Refl}(X_{\text{Syn}}) \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$$
   donde $\text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$ es la categoría de sistemas locales $\mathbb{Z}_p$ cristalinos pro-étale. Este resultado caracteriza la imagen esencial del funtor $\Pi_X$ (construido por Guo-Li) precisamente como los haces reflexivos.

2. Categoría de Isogenia y Cohomología Cristalina (Corolario 1.3):
   Al invertir $p$, el funtor induce una equivalencia en los corazones de las respectivas estructuras t:
   $$\text{Coh}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta)$$
   La imagen esencial de $\mathcal{T}_{\text{ét}}[1/p]$ en la categoría derivada completa está contenida en la subcategoría de objetos con haces de cohomología cristalina, aunque el artículo señala que las inclusiones son generalmente estrictas (es decir, no todo complejo con haces de cohomología cristalina está en la imagen esencial).

3. Fallo de la Generalización Ingenua (Ejemplo 4.7):
   El artículo demuestra que la equivalencia $\text{Perf}(X_{\text{Syn}})[1/p] \simeq D^b(\text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta))$ no se cumple en general para $X$ de dimensión superior (por ejemplo, $X = \mathbb{P}^1_{\mathbb{Z}_p}$). Esto se debe a un fallo de fidelidad plena, evidenciado por grupos de cohomología sintomática no nulos $H^2_{\text{Syn}}$ que no corresponden a extensiones en la categoría de sistemas locales cristalinos.

4. Equivalencia para Esquemas Propios (Teorema B):
   Para $X$ suave y propio sobre $\text{Spf } \mathcal{O}_K$, el artículo prueba una equivalencia:
   $$\text{Perf}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$$
   Aquí, $\text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$ es la categoría de complejos perfectos de $F$-isocristales filtrados admisibles. Esta categoría se define mediante un cuadrado de fibra de Beilinson que involucra el sitio cristalino de la fibra especial y la pila de de Rham de la fibra genérica. La condición "admisibilidad" asegura que los haces de cohomología correspondan a sistemas locales cristalinos.

5. Cálculos Cohomológicos:
   El artículo proporciona un cálculo cohomológico que muestra que para $X = \text{Spf } \mathcal{O}_K$, la cohomología sintomática $H^i_{\text{Syn}}(\mathcal{O}_K, E)[1/p]$ se anula para $i \geq 2$ y es isomorfa al grupo de Selmer de Bloch-Kato (o grupos de extensión en representaciones cristalinas) para $i=1$. Esta anulación es crucial para establecer la equivalencia en el caso de un punto y en el caso propio.

Significado y Afirmaciones
El artículo afirma resolver la pregunta de si la pila sintomática de Bhatt-Lurie proporciona una correspondencia de Riemann-Hilbert derivada para esquemas formales $p$-ádicos.

• Confirma que, aunque la equivalencia derivada ingenua falla para $X$ general, existe una caracterización precisa mediante hazos reflexivos.
• Generaliza con éxito la equivalencia entre complejos perfectos sintomáticos y representaciones cristalinas a la categoría de isogenia para esquemas propios suaves, pero requiere que la categoría objetivo se refine a $F$-isocristales filtrados admisibles en lugar de simplemente la categoría derivada de sistemas locales cristalinos.
• El trabajo cierra la brecha entre el enfoque prismático/de pilas (Bhatt-Scholze, Bhatt-Lurie) y la teoría clásica de $F$-isocristales filtrados (Colmez-Fontaine), proporcionando un marco unificado para estudiar sistemas locales cristalinos en esquemas formales $p$-ádicos.

El autor señala explícitamente que los resultados dependen de que $X$ sea suave y cuasicompacto (o propio) y que la interpretación de las categorías de isogenia requiere cuidado cuando $X$ no es cuasicompacto. El artículo no afirma resolver el problema para esquemas no suaves ni proporcionar una descripción de la imagen esencial sin invertir $p$ (lo cual queda como trabajo futuro).