A Tannakian framework for prismatic $F$-crystals

Resumen Técnico: Un Marco Tannakiano para los $F$-cristales Prismáticos

Problema y Contexto
La teoría de Hodge $p$-ádica integral busca comprender la variación de objetos geométricos $p$-ádicos en familias, particularmente a través del lente de los sistemas locales cristalinos de $\mathbb{Z}_p$ sobre un esquema formal suave $X$ sobre el anillo de enteros $\mathcal{O}_K$ de un cuerpo con valoración discreta. El trabajo reciente de Bhatt y Scholze estableció la categoría $\text{Vect}^\varphi(X^\Delta)$ de $F$-cristales prismáticos como un modelo robusto para estos sistemas locales. Sin embargo, las aplicaciones a las variedades de Shimura integrales (locales) requieren un formalismo Tannakiano: una teoría de objetos-$G$ (donde $G$ es un esquema de grupo afín suave sobre $\mathbb{Z}_p$) dentro de estas categorías.

Una dificultad primaria surge porque el functor de realización étale $T_{\acute{e}t}$, que relaciona los $F$-cristales prismáticos con los sistemas locales cristalinos, es un equivalencia de categorías, pero su cuasi-inverso no es exacto en general. Específicamente, mientras que $T_{\acute{e}t}$ mapea la categoría de $F$-cristales prismáticos a la subcategoría de sistemas locales de "buena reducción prismática", el inverso implica extender haces vectoriales desde subconjuntos abiertos a sus cierres, un proceso que no preserva la exactitud. Esta no-exactitud amenaza la construcción de una equivalencia Tannakiana para los objetos-$G$, ya que la categoría de objetos-$G$ depende de la exactitud de la categoría tensorial subyacente.

Metodología
Los autores desarrollan un marco Tannakiano analizando la estructura de los objetos-$G$ en la categoría de los $F$-cristales prismáticos, denotada como $G\text{-}\text{Vect}^\varphi(X^\Delta)$, y comparándolos con los objetos-$G$ en la categoría de sistemas locales cristalinos, $G\text{-}\text{Loc}^{\text{crys}}_{\mathbb{Z}_p}(X)$.

1. Formalismo Tannakiano para Objetos Prismáticos: El artículo establece que la categoría de los $F$-cristales prismáticos (y sus contrapartes analíticas) posee las propiedades Tannakianas necesarias. Utilizando la teoría de torsores con estructura de Frobenius ($F$-estructura), los autores muestran que los objetos-$G$ en estas categorías corresponden a torsores-$G$ equipados con isomorfismos de Frobenius.
2. Manejo de la No-Exactitud: El desafío técnico central es la no-exactitud del cuasi-inverso de $T_{\acute{e}t}$. Los autores abordan esto restringiendo la atención al caso donde $G$ es un esquema de grupo reductor. Aprovechan un resultado de Colliot-Thélène y Sansuc, que establece que para un grupo reductor $G$, un torsor-$G$ en un subesquema abierto $U$ (donde el complemento tiene profundidad al menos 2) se extiende al esquema completo si el haz vectorial asociado se extiende. Esto les permite sortear el fallo de exactitud para grupos generales utilizando las propiedades geométricas específicas de los grupos reductores y las propiedades de profundidad de los anillos subyacentes (específicamente, el prisma de Breuil–Kisin).
3. Realización de Shtukas: El artículo construye un "functor de realización de shtukas" $T_{\text{sht}}$ que mapea los $F$-cristales prismáticos analíticos a $G$-shtukas. Esta construcción depende de la relación entre la cohomología prismática y la teoría de $v$-sheaves y diamonds desarrollada por Scholze y otros.

Contribuciones Clave y Resultados

• Equivalencia Tannakiana para Grupos Reductores: El resultado central (Teorema 2.29) establece una equivalencia de categorías:
  $$T_{\acute{e}t}: G\text{-}\text{Vect}^\varphi(X^\Delta) \xrightarrow{\sim} G\text{-}\text{Loc}^{\Delta\text{-gr}}_{\mathbb{Z}_p}(X)$$
  donde $G\text{-}\text{Loc}^{\Delta\text{-gr}}_{\mathbb{Z}_p}(X)$ es la categoría de sistemas locales $G$ de "buena reducción prismática". Crucialmente, los autores prueban que a pesar de que el cuasi-inverso de $T_{\acute{e}t}$ no es exacto en el nivel de haces vectoriales, el functor inducido en los objetos-$G$ es una equivalencia cuando $G$ es reductivo. Esto se logra mostrando que la obstrucción a la exactitud desaparece para grupos reductores debido a las propiedades de extensión de sus torsores.

• $F$-Cristales Prismáticos Analíticos: El artículo refina la teoría trabajando con $F$-cristales prismáticos analíticos ($\text{Vect}^{\text{an},\varphi}(X^\Delta)$), los cuales son necesarios para capturar todos los sistemas locales cristalinos de $\mathbb{Z}_p$. Se muestra que el functor de realización étale induce una equivalencia bi-exacta entre los $F$-cristales prismáticos analíticos y los sistemas locales cristalinos (Proposición 2.23).

• Realización de Shtukas y Compatibilidad: Los autores definen un functor de realización de shtukas $T_{\text{sht}}: G\text{-}\text{Vect}^{\text{an},\varphi}(X^\Delta) \to G\text{-}\text{Sht}(X)$ (Teorema 3.21). Prueban un isomorfismo de comparación $\varrho$ que muestra que este functor entrelaza con el functor de realización étale $T_{\acute{e}t}$ y el functor $U_{\text{sht}}$ previamente establecido para sistemas locales de de Rham hacia shtukas (como se define en [PR24]).
  $$\varrho: (T_{\text{sht}})_\eta \xrightarrow{\sim} U_{\text{sht}} \circ T_{\acute{e}t}$$
  Este resultado permite la extensión del functor de realización de shtukas a esquemas suaves de $\mathcal{O}_K$ (no solo esquemas formales) mediante el pegado de datos de la fibra genérica y la completitud formal.

• Caracterización de la Buena Reducción: El artículo proporciona un criterio para que un sistema local $G$ sea de buena reducción prismática: basta con que el sistema asociado con una única representación fiel de $G$ sea de buena reducción prismática (Corolario 2.31).

Significancia
El artículo proporciona la teoría Tannakiana fundacional requerida para aplicar rigurosamente la cohomología prismática al estudio de las variedades de Shimura integrales. Al establecer la equivalencia entre los objetos-$G$ en los $F$-cristales prismáticos y los sistemas locales $G$ de buena reducción prismática, los autores permiten el uso de métodos prismáticos para parametrizar objetos motivicos sobre modelos integrales de variedades de Shimura.

El trabajo se posiciona explícitamente como un compañero de y un componente fundacional para [IKY23] e [IKY25]. En esos trabajos, los resultados de este artículo se utilizan para construir funtores de realización prismática en variedades de Shimura integrales a nivel hiperesencial, lo que conduce a consecuencias tales como un análogo del teorema de Serre–Tate. Además, la compatibilidad con la teoría de shtukas (Teorema 3) es fundamental para relacionar las realizaciones prismáticas con la conjetura de Pappas–Rapoport respecto a las realizaciones de shtukas para variedades de Shimura de tipo abeliano.

Los autores señalan que, aunque los teoremas principales requieren que $G$ sea reductivo, el marco es lo suficientemente flexible como para potencialmente acomodar esquemas de grupo parahóricos, un caso de gran interés para las variedades de Shimura, aunque esto requiere una investigación adicional más allá del alcance de los resultados actuales.