Syntomification and crystalline local systems

Resumo Técnico: Sintomificação e Sistemas Locais Cristalinos

Problema e Contexto
O artigo aborda a relação entre a geometria de esquemas formais $p$-ádicos e a teoria de representações de grupos de Galois $p$-ádicos. Especificamente, busca generalizar a equivalência de Bhatt-Scholze entre cristais $F$-prismáticos e representações de Galois cristalinas (estabelecida para um ponto, ou seja, $\text{Spf } \mathcal{O}_K$) para o contexto de esquemas formais $p$-ádicos suaves $X$. O objeto central de estudo é o pilha sintomática $X_{\text{Syn}}$ associada a $X$, introduzida por Bhatt e Lurie. O artigo investiga o funtor de realização étale $\mathcal{T}_{\text{ét}}: \text{Perf}(X_{\text{Syn}}) \to D^{(b)}_{\text{lisse}}(X_\eta, \mathbb{Z}_p)$, que mapeia complexos perfeitos na pilha sintomática para categorias derivadas de sistemas locais na fibra genérica rígida $X_\eta$.

Os principais desafios abordados são:

1. Caracterizar a imagem essencial de $\mathcal{T}_{\text{ét}}$ na categoria de complexos perfeitos (e sua categoria de isogenia) em termos de sistemas locais cristalinos.
2. Determinar se a equivalência $\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 para $X$ de dimensão superior.
3. Fornecer uma descrição algébrica explícita da categoria $\text{Perf}(X_{\text{Syn}})[1/p]$ no caso próprio, análoga à descrição de representações cristalinas via $F$-isocristais filtrados fracamente admissíveis.

Metodologia
O autor emprega uma combinação de geometria de pilhas, teoria de descida e técnicas da teoria de Hodge $p$-ádica:

• Estrutura de Pilhas: O artigo utiliza as pilhas formais $X_{\text{Syn}}$, $X_{\text{Nyg}}$ (Nygaard) e $X_\Delta$ (prismática). A estrutura de $X_{\text{Syn}}$ é analisada por meio de colimites e equalizadores envolvendo essas pilhas.
• Fibrados Reflexivos: Uma inovação técnica chave é a introdução de fibrados reflexivos ($\text{Refl}(X_{\text{Syn}})$) na pilha sintomática. O autor define-os como feixes coerentes $E$ onde o mapa natural $E \to E^{\vee\vee}$ é um isomorfismo. Mostra-se que esta subcategoria é o domínio correto para que o funtor de realização étale induza uma equivalência.
• Análise do Núcleo: O artigo analisa o núcleo do funtor de realização étale. Ao adaptar métodos de Bhatt-Lurie e utilizar conexões graduadas em objetos graduados associados a Nygaard, demonstra-se que o núcleo consiste em $F$-medidores coerentes que são de torção por potências de $(p, v_{1,X})$.
• Descida e Coberturas: As provas dependem fortemente de sobrejeções locais planas (especificamente usando pilhas de Rees associadas a prismas de Breuil-Kisin) para reduzir questões globais em $X$ a questões locais em esquemas afins, onde cálculos explícitos com módulos de Breuil-Kisin e $q$-conexões são viáveis.
• Quadrado de Fibra de Beilinson: No caso próprio, o artigo constrói um quadrado de fibra de Beilinson relacionando a cohomologia sintomática de $X$ com sua cohomologia cristalina (sobre a fibra especial) e cohomologia de de Rham (sobre a fibra genérica). Este quadrado é utilizado para definir a categoria alvo de $F$-isocristais filtrados admissíveis.

Contribuições e Resultados Chave

1. Equivalência para Fibrados Reflexivos (Teorema A):
   O artigo estabelece que, para um esquema formal $p$-ádico suave e quasicompacto $X/\text{Spf } \mathcal{O}_K$, o funtor de realização étale induz uma equivalência de categorias:
   $$\mathcal{T}_{\text{ét}}: \text{Refl}(X_{\text{Syn}}) \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$$
   onde $\text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$ é a categoria de sistemas locais $\mathbb{Z}_p$-cristalinos pro-étale. Este resultado caracteriza a imagem essencial do funtor $\Pi_X$ (construído por Guo-Li) precisamente como os fibrados reflexivos.

2. Categoria de Isogenia e Cohomologia Cristalina (Corolário 1.3):
   Ao inverter $p$, o funtor induz uma equivalência nos corações das respectivas estruturas $t$:
   $$\text{Coh}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta)$$
   A imagem essencial de $\mathcal{T}_{\text{ét}}[1/p]$ na categoria derivada completa está contida na subcategoria de objetos com feixes de cohomologia cristalina, embora o artigo observe que as inclusões são geralmente estritas (ou seja, nem todo complexo com feixes de cohomologia cristalina está na imagem essencial).

3. Falha da Generalização Ingênua (Exemplo 4.7):
   O artigo demonstra que a equivalência $\text{Perf}(X_{\text{Syn}})[1/p] \simeq D^b(\text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta))$ não vale em geral para $X$ de dimensão superior (por exemplo, $X = \mathbb{P}^1_{\mathbb{Z}_p}$). Isso deve-se a uma falha de fidelidade plena, evidenciada por grupos de cohomologia sintomática não nulos $H^2_{\text{Syn}}$ que não correspondem a extensões na categoria de sistemas locais cristalinos.

4. Equivalência para Esquemas Próprios (Teorema B):
   Para $X$ suave e próprio sobre $\text{Spf } \mathcal{O}_K$, o artigo prova uma equivalência:
   $$\text{Perf}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$$
   Aqui, $\text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$ é a categoria de complexos perfeitos de $F$-isocristais filtrados admissíveis. Esta categoria é definida via um quadrado de fibra de Beilinson envolvendo o sítio cristalino da fibra especial e a pilha de de Rham da fibra genérica. A condição "admissível" garante que os feixes de cohomologia correspondam a sistemas locais cristalinos.

5. Cálculos Cohomológicos:
   O artigo fornece um cálculo cohomológico mostrando que, para $X = \text{Spf } \mathcal{O}_K$, a cohomologia sintomática $H^i_{\text{Syn}}(\mathcal{O}_K, E)[1/p]$ se anula para $i \geq 2$ e é isomorfa ao grupo de Selmer de Bloch-Kato (ou grupos de extensões em representações cristalinas) para $i=1$. Este desaparecimento é crucial para estabelecer a equivalência no caso de ponto e no caso próprio.

Significado e Afirmações
O artigo afirma resolver a questão de saber se a pilha sintomática de Bhatt-Lurie fornece uma correspondência de Riemann-Hilbert derivada para esquemas formais $p$-ádicos.

• Confirma que, embora a equivalência derivada ingênua falhe para $X$ geral, uma caracterização precisa existe via fibrados reflexivos.
• Generaliza com sucesso a equivalência entre complexos perfeitos sintomáticos e representações cristalinas para a categoria de isogenia de esquemas próprios suaves, mas requer que a categoria alvo seja refinada para $F$-isocristais filtrados admissíveis, em vez de apenas a categoria derivada de sistemas locais cristalinos.
• O trabalho preenche a lacuna entre a abordagem prismática/de pilhas (Bhatt-Scholze, Bhatt-Lurie) e a teoria clássica de $F$-isocristais filtrados (Colmez-Fontaine), fornecendo um quadro unificado para o estudo de sistemas locais cristalinos em esquemas formais $p$-ádicos.

O autor observa explicitamente que os resultados dependem de $X$ ser suave e quasicompacto (ou próprio) e que a interpretação de categorias de isogenia requer cuidado quando $X$ não é quasicompacto. O artigo não afirma resolver o problema para esquemas não suaves nem fornecer uma descrição da imagem essencial sem inverter $p$ (o que é deixado como trabalho futuro).