Derived algebras on formal stacks and prismatic gauges

Título: Álgebras Derivadas em Stacks Formais e Gauges Prismáticos

Autor: Shubhankar Sahai

1. Problema e Motivação

O artigo aborda a interação entre a teoria das álgebras derivadas (no sentido de Bhatt-Mathew e Raksit) e a geometria derivada formal, especificamente no contexto de stacks formais que surgem na teoria da prismatização.

• O Desafio Central: A teoria clássica de anéis animados (ou simpliciais) é robusta para geometria derivada conectiva, mas falha em capturar adequadamente estruturas não-conectivas (coconectivas) que aparecem em contextos como cohomologia cristalina e prismática. Além disso, a teoria de anéis derivados não-conectivos (definida por Raksit) geralmente exige que a categoria subjacente tenha uma estrutura $t$ compatível com colimites filtrados. No entanto, categorias de módulos completos (como módulos $p$-completos sobre um anel $A$) frequentemente violam essa compatibilidade, impedindo a aplicação direta dos resultados padrão de Raksit.
• Objetivo: Desenvolver uma teoria robusta de álgebras derivadas em contextos formais (completos) e classificá-las em stacks geométricos específicos, como stacks de classificação de grupos diagonalizáveis e stacks filtrados relacionados à cohomologia prismática.

2. Metodologia

O autor emprega uma combinação de técnicas de álgebra homotópica de ordem superior ($\infty$-categorias), teoria de monadas/comonadas e geometria derivada formal.

• Álgebras Derivadas Completas: Define a subcategoria de álgebras derivadas $J$-completas ($DAlg^{J-comp}_A$) como uma subcategoria localizante das álgebras derivadas usuais. Demonstra que essa categoria é monádica sobre a categoria de módulos $J$-completos, utilizando o teorema de Barr-Beck-Lurie.
• Comonadicidade Contínua: Estende o trabalho de Moulinos sobre álgebras graduadas. O autor prova que a categoria de álgebras derivadas graduadas é comonádica sobre a categoria de álgebras derivadas não graduadas, com o comonad sendo dado pela ação de um Hopf álgebra bicomutativa (especificamente $A[Z]$ para o grupo $\mathbb{G}_m$).
• Extensão para o Caso Completo: Generaliza a comonadicidade para o contexto $J$-completo, introduzindo uma "comonadicidade contínua" onde o comonad é a ação do Hopf álgebra completado.
• Morfismos Quasi-Afinos: Utiliza propriedades de morfismos quasi-afins em geometria derivada para estabelecer equivalências entre álgebras derivadas em um stack e álgebras derivadas no base equipadas com uma estrutura de módulo sobre o pushforward do feixe estrutural.
• Construção de Rees: Aplica a construção de Rees para relacionar módulos filtrados com módulos graduados sobre o anel de Rees, permitindo a tradução entre stacks filtrados e stacks graduados (como $B\mathbb{G}_m$).

3. Contribuições e Resultados Chave

O artigo estabelece vários teoremas fundamentais que preenchem lacunas na literatura sobre geometria derivada formal:

A. Álgebras Derivadas em Espectros Formais (Seção 2)

• Teorema 1.10: Estabelece que a categoria de álgebras derivadas $J$-completas, $DAlg^{J-comp}_A$, é uma subcategoria localizante simétrica monoidal de $DAlg_A$. A inclusão admite um adjunto esquerdo dado pela completude.
• Teorema 1.11: Prova uma equivalência canônica entre a categoria de feixes quasi-coerentes em um espectro formal $Spf(A)$ e a categoria de módulos $J$-completos sobre $A$ ($QCoh(Spf(A)) \simeq Mod^{J-comp}_A$).
• Monadicidade: Mostra que o functor de esquecimento $DAlg^{J-comp}_A \to Mod^{J-comp}_A$ é monádico, com o monad sendo a completude do monad $LSym$.

B. Comonadicidade Graduada e Contínua (Seção 3)

• Teorema 1.12: Demonstra uma adjunção comonádica "contínua" entre álgebras derivadas graduadas $J$-completas e álgebras derivadas $J$-completas. O comonad é identificado com a ação do Hopf álgebra completado $(A[Z])^\wedge_J$.
• Generalização: Estende esses resultados para grupos diagonalizáveis arbitrários $D(M)$, onde o Hopf álgebra é $A[M]$.

C. Classificação em Stacks Geométricos (Seção 4)

• Teorema 1.13 (Classificação em $B\mathbb{G}_m$): Estabelece uma equivalência de $\infty$-categorias:
  $$DAlg(B\mathbb{G}_m \times Spf(A)) \simeq GrDAlg^{J-comp}_A$$
  Isso generaliza resultados conhecidos para o caso derivado e completo.
• Teorema 1.14 (Morfismos Quasi-Afinos): Para um morfismo quasi-afim $f: X \to Y$, prova-se que $DAlg(X) \simeq DAlg(Y)_{f_* \mathcal{O}_X /}$. Ou seja, as álgebras derivadas no domínio são classificadas pelas álgebras no alvo que recebem um mapa do pushforward do feixe estrutural.
• Teorema 1.15 e Corolário 1.16 (Prismas e Nygaard): Aplica os resultados anteriores para classificar álgebras derivadas em stacks filtrados formais associados a prismas orientáveis $(A, I)$.
  $$FilDAlg^{(p,d)-comp}_{Fil(d)A} \simeq DAlg(Spf(A[u, t]/(ut - d))/\mathbb{G}_m)$$
  Isso conecta diretamente a teoria de álgebras derivadas filtradas com a geometria do stack prismático de Nygaard.

D. Estruturas $t$ e Compatibilidades (Seção 4.6)

• O autor discute as estruturas $t$ em stacks formais, notando que, ao contrário do caso não-completo, a completude pode quebrar a exatidão à esquerda de certos funtores, exigindo cuidado na definição de objetos conectivos e coconectivos em contextos formais.

4. Significado e Impacto

• Fundamentação para Cohomologia Prismática: O trabalho fornece a base teórica rigorosa necessária para tratar a cohomologia prismática filtrada (Nygaard) como feixes quasi-coerentes em stacks formais específicos. Isso é crucial para a generalização da teoria de Fontaine-Laffaille e para o estudo de esquemas em característica positiva.
• Novas Ferramentas para Geometria Formal: Ao resolver o problema da falta de compatibilidade da estrutura $t$ com colimites filtrados em categorias completas, o autor permite o uso de técnicas de álgebra derivada (como monadas e comonadas) em contextos onde elas anteriormente não eram aplicáveis diretamente.
• Classificação Unificada: O artigo unifica a classificação de álgebras derivadas em vários contextos (gradados, filtrados, formais) sob uma mesma estrutura de comonadicidade sobre stacks de classificação.
• Aplicações Futuras: Os resultados são projetados para serem utilizados em trabalhos futuros do autor ([Sah26a], [Sah26b]) para desenvolver uma teoria de "prismatização relativa" e estudar a "syntomificação" de esquemas que admitem levantamentos de Frobenius.

Em resumo, este artigo é uma contribuição técnica essencial que estende a geometria derivada para o domínio formal e completo, criando a ponte necessária entre a álgebra derivada abstrata e as aplicações concretas na teoria de números aritmética moderna (cohomologia prismática).