De Rham affineness of the Nygaard filtered prismatization in positive characteristic

Resumo Técnico: De Rham Affineness of the Nygaard Filtered Prismatization in Positive Characteristic

1. Problema e Contexto

O artigo situa-se na interseção da geometria algébrica derivada, cohomologia prismática e teoria de pilhas (stacks). O problema central é compreender a estrutura geométrica da prismatização filtrada por Nygaard de álgebras animadas (animated algebras) sobre um anel perfeito $k$ de característica $p > 0$.

• Contexto Teórico: A cohomologia prismática, desenvolvida por Bhatt, Morrow e Scholze, generaliza a cohomologia cristalina e de Rham. A filtragem de Nygaard é uma estrutura fundamental nesta teoria, análoga à filtragem de Hodge na cohomologia de de Rham.
• A Questão: Enquanto resultados anteriores (como o de Bhatt-Lurie) estabeleceram que a prismatização relativa de esquemas afins é equivalente ao espectro de um anel derivado (uma propriedade chamada "afinidade de de Rham"), a extensão desta propriedade para a versão filtrada por Nygaard em característica positiva permanecia um desafio. Especificamente, deseja-se saber se a pilha relativa $R_{Nyg}$ associada a uma álgebra $R$ sobre $k$ pode ser reconstruída a partir de um objeto algébrico derivado filtrado (o anel de Rees da cohomologia prismática filtrada).

2. Metodologia

O autor emprega uma abordagem sofisticada baseada em geometria algébrica derivada e teoria de $\infty$-categorias:

• Definição de "Afinidade de de Rham": O artigo axiomatiza o conceito de de Rham affineness. Uma função $X: \text{ARing}_k \to \text{Stacks}_{k_{Nyg}}$ é dita "de Rham affine" se for naturalmente isomorfa ao espectro relativo de uma função que leva álgebras a álgebras derivadas sobre a pilha $k_{Nyg}$.
• Construção do Anel de Rees: O autor constrói explicitamente o stack de Rees $R_{Nyg}(F^*\Delta_{R/k})$, que é o espectro relativo sobre $k_{Nyg}$ da álgebra derivada graduada obtida via construção de Rees da cohomologia prismática filtrada por Nygaard de $R$ relativa a $k$.
• Redução a Casos Específicos: A prova do isomorfismo principal utiliza uma estratégia de redução:
  1. Estabelece-se que ambas as funtores (a prismatização e o espectro do anel de Rees) preservam colimites.
  2. Reduz-se o problema ao caso da álgebra polinomial $A = k[x]$.
  3. Utiliza-se uma cobertura quasisintomática $S = k[x^{1/p^\infty}]$ (que é quasiregular semiperfeitoide) para testar a equivalência.
• Técnicas de Flatness e Conectividade: O autor desenvolve e utiliza critérios técnicos nos apêndices para testar a flatness fidedigna (faithful flatness) e a conectividade de módulos em anéis animados, utilizando estratificações construtíveis e completude $p$-ádica.
• Transmutação: O trabalho explora a ideia de que funtores de cohomologia que preservam colimites surgem via "transmutação" (construção de pilhas de anéis), conectando a estrutura da prismatização à teoria de representabilidade.

3. Principais Contribuições

1. Teorema Principal (Teorema 1.13): O resultado central estabelece que, para qualquer álgebra animada $R$ sobre $k$, existe um isomorfismo natural de pilhas derivadas sobre $k_{Nyg}$:
   $$R_{Nyg} \simeq R_{Nyg}(F^*\Delta_{R/k})$$
   Ou seja, a prismatização filtrada por Nygaard é o espectro relativo do anel de Rees da cohomologia prismática filtrada por Nygaard.

2. Axiomatização da "Afinidade de de Rham": O artigo formaliza o conceito de afinidade de de Rham como uma ferramenta organizacional, distinguindo-a da afinidade abstrata de Toën-Mathew-Mondal. Isso permite tratar a prismatização como um objeto representável de forma functorial.

3. Generalização de Resultados Clássicos: O trabalho generaliza o resultado de Mondal sobre a afinidade da pilha de de Rham para o contexto filtrado e prismático, lidando com a complexidade adicional introduzida pela filtragem de Nygaard e pela estrutura de $k_{Nyg}$ (que envolve variáveis $u$ e $t$ com a relação $ut=p$).

4. Corolários Estruturais: O teorema principal implica isomorfismos para várias especializações da pilha $k_{Nyg}$, recuperando e unificando estruturas conhecidas:

   • Cohomologia Cristalina: Restrição ao lugar $t \neq 0$.
   • Cohomologia Prismática: Restrição ao lugar $u \neq 0$.
   • Pilha de de Rham Filtrada por Hodge: Restrição ao lugar $u=0$ (sobre $\mathbb{A}^1/\mathbb{G}_m$).
   • Pilha de Hodge-Tate Filtrada por Conjugado: Restrição ao lugar $t=0$.

4. Resultados Técnicos Chave

• Isomorfismo de Funtores: A equivalência entre a pilha geométrica $R_{Nyg}$ e o espectro do anel de Rees é provada mostrando que o mapa natural entre elas é um epimorfismo fpqc e um isomorfismo no caso de anéis quasiregulares semiperfeitos.
• Propriedade de Künneth: O Apêndice C demonstra que a cohomologia prismática filtrada por Nygaard derivada preserva colimites e satisfaz uma fórmula de Künneth, o que é crucial para a prova de que o funtor é determinado por seus valores em álgebras polinomiais.
• Análise de Conectividade: O autor prova que a conectividade de objetos derivados completos pode ser testada módulo o ideal de definição (Apêndice B), uma ferramenta técnica essencial para lidar com a completude $p$-ádica no contexto derivado.

5. Significado e Impacto

• Unificação Teórica: O trabalho fornece uma ponte unificada entre a teoria de prismas, a cohomologia de de Rham e a teoria de pilhas filtradas. Mostra que a estrutura geométrica complexa da prismatização filtrada é, na verdade, controlada puramente por dados algébricos (o anel de Rees).
• Ferramenta para Trabalhos Futuros: O autor indica que este resultado é fundamental para sua série de trabalhos futuros sobre a "sintomificação" de esquemas com levantamento de Frobenius. A afinidade de de Rham permite descrever categorias de feixes quasi-coerentes em pilhas sintomáticas em termos de módulos de Fontaine-Laffaille.
• Avanço em Geometria Derivada: O artigo contribui para a compreensão de como estruturas filtradas (como Nygaard e Hodge) se comportam no contexto de geometria derivada e anéis animados, oferecendo novas técnicas para lidar com a completude e a flatness em $\infty$-categorias.

Em suma, o artigo de Sahai resolve uma questão estrutural importante na teoria de cohomologia prismática, demonstrando que a prismatização filtrada por Nygaard em característica positiva é um objeto "afim" no sentido derivado, permitindo sua descrição completa via álgebra de Rees.