A Tannakian framework for prismatic $F$-crystals

Resumo Técnico: Uma Estrutura Tannakiana para F-Cristais Prismáticos

Problema e Contexto
A teoria de Hodge $p$-ádica integral busca compreender a variação de objetos geométricos $p$-ádicos em famílias, particularmente através da lente de sistemas locais cristalinos de $\mathbb{Z}_p$ em um esquema formal suave $X$ sobre o anel de inteiros $\mathcal{O}_K$ de um corpo discretamente valorado. O trabalho recente de Bhatt e Scholze estabeleceu a categoria $\text{Vect}^\varphi(X^\Delta)$ de cristais $F$-prismáticos como um modelo robusto para esses sistemas locais. No entanto, aplicações a variedades de Shimura integrais (locais) requerem uma formalização Tannakiana: uma teoria de objetos-$G$ (onde $G$ é um esquema de grupo afim suave sobre $\mathbb{Z}_p$) dentro destas categorias.

Uma dificuldade primária surge porque o funtor de realização étale $T_{\acute{e}t}$, que relaciona cristais $F$-prismáticos a sistemas locais cristalinos, é uma equivalência de categorias, mas seu quase-inverso não é exato em geral. Especificamente, embora $T_{\acute{e}t}$ mapeie a categoria de cristais $F$-prismáticos para a subcategoria de sistemas locais de "redução prismaticamente boa", o inverso envolve a extensão de fibrados vetoriais de subconjuntos abertos para seus fechamentos, um processo que não preserva a exatidão. Esta não-exatidão ameaça a construção de uma equivalência Tannakiana para objetos-$G$, uma vez que a categoria de objetos-$G$ depende da exatidão da categoria tensorial subjacente.

Metodologia
Os autores desenvolvem uma estrutura Tannakiana analisando a estrutura de objetos-$G$ na categoria de cristais $F$-prismáticos, denotada por $G\text{-}\text{Vect}^\varphi(X^\Delta)$, e comparando-os com objetos-$G$ na categoria de sistemas locais cristalinos, $G\text{-}\text{Loc}^{\text{crys}}_{\mathbb{Z}_p}(X)$.

1. Formalismo Tannakiano para Objetos Prismáticos: O artigo estabelece que a categoria de cristais $F$-prismáticos (e seus equivalentes analíticos) possui as propriedades Tannakianas necessárias. Utilizando a teoria de torsores com estrutura de Frobenius ($F$-estrutura), os autores mostram que objetos-$G$ nestas categorias correspondem a torsores-$G$ equipados com isomorfismos de Frobenius.
2. Tratamento da Não-Exatidão: O desafio técnico central é a não-exatidão do quase-inverso de $T_{\acute{e}t}$. Os autores abordam isso restringindo a atenção ao caso onde $G$ é um esquema de grupo redutivo. Eles utilizam um resultado de Colliot-Thélène e Sansuc, que afirma que, para um grupo redutivo $G$, um torsor-$G$ em um subesquema aberto $U$ (onde o complemento tem profundidade pelo menos 2) estende-se para o esquema inteiro se o fibrado vetorial associado se estender. Isso permite que eles contornem a falha de exatidão para grupos gerais utilizando as propriedades geométricas específicas de grupos redutivos e as propriedades de profundidade dos anéis subjacentes (especificamente, o prisma de Breuil–Kisin).
3. Realização de Shtuka: O artigo constrói um "funtor de realização de shtuka" $T_{\text{sht}}$ que mapeia cristais $F$-prismáticos analíticos para shtukas-$G$. Esta construção baseia-se na relação entre a cohomologia prismática e a teoria de $v$-sheaves e diamonds desenvolvida por Scholze e outros.

Contribuições e Resultados Principais

• Equivalência Tannakiana para Grupos Redutivos: O resultado central (Teorema 2.29) estabelece uma equivalência de categorias:
  $$T_{\acute{e}t}: G\text{-}\text{Vect}^\varphi(X^\Delta) \xrightarrow{\sim} G\text{-}\text{Loc}^{\Delta\text{-gr}}_{\mathbb{Z}_p}(X)$$
  onde $G\text{-}\text{Loc}^{\Delta\text{-gr}}_{\mathbb{Z}_p}(X)$ é a categoria de sistemas locais de $G$ de "redução prismaticamente boa". Crucialmente, os autores provam que, apesar de o quase-inverso de $T_{\acute{e}t}$ não ser exato no nível de fibrados vetoriais, o funtor induzido em objetos-$G$ é uma equivalência quando $G$ é redutivo. Isso é alcançado mostrando que a obstrução à exatidão desaparece para grupos redutivos devido às propriedades de extensão de seus torsores.

• Cristais $F$-Prismáticos Analíticos: O artigo refina a teoria trabalhando com cristais $F$-prismáticos analíticos ($\text{Vect}^{\text{an},\varphi}(X^\Delta)$), que são necessários para capturar todos os sistemas locais cristalinos de $\mathbb{Z}_p$. Mostra-se que o funtor de realização étale induz uma equivalência bi-exata entre cristais $F$-prismáticos analíticos e sistemas locais cristalinos (Proposição 2.23).

• Realização de Shtuka e Compatibilidade: Os autores definem um funtor de realização de shtuka $T_{\text{sht}}: G\text{-}\text{Vect}^{\text{an},\varphi}(X^\Delta) \to G\text{-}\text{Sht}(X)$ (Teorema 3.21). Eles provam um isomorfismo de comparação $\varrho$ mostrando que este funtor entrelaça com o funtor de realização étale $T_{\acute{e}t}$ e o funtor $U_{\text{sht}}$ previamente estabelecido de sistemas locais de de Rham para shtukas (conforme definido em [PR24]).
  $$\varrho: (T_{\text{sht}})_\eta \xrightarrow{\sim} U_{\text{sht}} \circ T_{\acute{e}t}$$
  Este resultado permite a extensão do funtor de realização de shtuka para esquemas $\mathcal{O}_K$ suaves (não apenas esquemas formais) através da colagem de dados do fecho genérico e do completamento formal.

• Caracterização de Boa Redução: O artigo fornece um critério para que um sistema local de $G$ seja de redução prismaticamente boa: basta que o sistema associado a uma única representação fiel de $G$ seja de redução prismaticamente boa (Corolário 2.31).

Significância
O artigo fornece a teoria Tannakiana fundamental necessária para aplicar rigorosamente a cohomologia prismática ao estudo de variedades de Shimura integrais. Ao estabelecer a equivalência entre objetos-$G$ em cristais $F$-prismáticos e sistemas locais de $G$ de redução prismaticamente boa, os autores permitem o uso de métodos prismáticos para parametrizar objetos motivicos sobre modelos integrais de variedades de Shimura.

O trabalho é explicitamente posicionado como um companheiro e um componente fundamental para [IKY23] e [IKY25]. Nesses trabalhos, os resultados deste artigo são usados para construir funtores de realização prismática em variedades de Shimura integrais em nível hiperespecial, levando a consequências como um análogo do teorema de Serre–Tate. Além disso, a compatibilidade com a teoria de shtukas (Teorema 3) é crucial para relacionar realizações prismáticas à conjectura de Pappas–Rapoport referente a realizações de shtuka para variedades de Shimura de tipo abeliano.

Os autores observam que, embora os teoremas principais exijam que $G$ seja redutivo, a estrutura é flexível o suficiente para potencialmente acomodar esquemas de grupo parahóricos, um caso de significativo interesse para variedades de Shimura, embora isso requeira investigação adicional além do escopo dos resultados atuais.