Frobenius--Witt cotangent complexes

Resumo Técnico: Complexos Cotangentes de Frobenius–Witt

Enunciado do Problema
O artigo aborda a necessidade de um análogo aritmético derivado do complexo cotangente, especificamente adaptado ao contexto dos diferenciais de Frobenius–Witt. Enquanto M. André e D. Quillen estabeleceram o complexo cotangente ($L_{B/A}$) como uma versão derivada dos diferenciais de Kähler ($\Omega_{B/A}$), T. Saito introduziu recentemente o módulo de diferenciais de Frobenius–Witt ($F\Omega_A$) como um análogo aritmético dos diferenciais de Kähler, vinculando-o à regularidade de anéis comutativos. No entanto, uma versão derivada do $F\Omega_A$ de Saito — um "complexo cotangente de Frobenius–Witt" — não havia sido formalmente construída. O artigo busca definir este objeto, denotado $FL_A$, e investigar suas propriedades, particularmente sua relação com a regularidade de anéis locais noetherianos em característica mista.

Metodologia
O autor emprega o framework de $\infty$-categorias e animação (geometria algébrica derivada) para construir o complexo cotangente de Frobenius–Witt. A metodologia procede através das seguintes etapas:

1. Reformulação das Derivações: O artigo começa reformulando a definição de Saito de derivações de Frobenius–Witt. Introduz-se um anel de "extensão aritmética" $W_2(A, M, m)$, definido como o conjunto $A \times M$ com regras específicas de adição e multiplicação envolvendo o polinômio $P(X, Y) = \frac{(X+Y)^p - X^p - Y^p}{p}$. Esta construção estabelece uma bijeção entre derivações de Frobenius–Witt $w: A \to M$ e homomorfismos de anéis $A \to W_2(A, M, m)$ que seccionam a projeção para $A$.
2. Animação: Usando a teoria de geradores projetivos compactos, o autor define a "animação" (versão derivada) da categoria de pares $(A, M)$ onde $M$ é um módulo sobre $A/p$. Isso permite a definição de uma versão animada do functor de extensão aritmética, $W_2^{an}$.
3. Propriedade Universal: O complexo cotangente de Frobenius–Witt $FL_A$ é definido como o objeto na $\infty$-categoria derivada $D_{\ge 0}(A/Lp)$ que corepresenta o espaço de derivações de Frobenius–Witt animadas. Especificamente, $FL_A$ é o objeto universal tal que $\text{Hom}(FL_A, M) \simeq \text{FWDer}(A, (M, m))$.
4. Técnicas Computacionais: O artigo utiliza sequências fibradas fundamentais derivadas da transitividade dos complexos cotangentes e propriedades de pushouts na $\infty$-categoria de anéis animados. Uma parte significativa da metodologia envolve o cálculo de $FL_R$ para anéis perfeitoides, decompondo-os em anéis perfeitoides sem torção por $p$ e anéis perfeitos, ou utilizando quadrados pushout envolvendo o mapa $\theta$ de Fontaine.

Contribuições e Resultados Chave

• Definição e Propriedades Básicas: O artigo define $FL_A$ e estabelece que ele satisfaz propriedades análogas ao complexo cotangente clássico:

  • Admite uma sequência fibrada transitiva: $FL_A \otimes^L_A B \to FL_B \to F^*(L_{(B/Lp)/(A/Lp)})$.
  • Satisfaz localização étale e comuta com colimites filtrados.
  • Seu grupo de homologia de ordem 0 recupera o módulo clássico de diferenciais de Frobenius–Witt: $\pi_0(FL_A) \simeq F\Omega_A$.
  • É invariante sob $p$-completamento derivado.
  • Para álgebras suaves sobre $\mathbb{Z}_{(p)}$, $FL_A$ coincide com $F\Omega_A$.

• Propriedade de Feixe: Um resultado majoritário é o Teorema 5.9, que prova que o functor $A \mapsto FL_A$ é um feixe fpqc. Isso é apresentado como um análogo derivado do fato de que o complexo cotangente clássico forma um feixe fpqc, uma propriedade não geralmente satisfeita pelo módulo não derivado $F\Omega_A$.

• Anulação para Anéis Perfeitoides: O Teorema 6.8 estabelece que, para qualquer anel perfeitóide $R$, o complexo cotangente de Frobenius–Witt se anula ($FL_R \simeq 0$). Isso é descrito como um análogo em característica mista da anulação do complexo cotangente sobre $\mathbb{F}_p$ para álgebras perfeitas sobre $\mathbb{F}_p$. A prova utiliza a decomposição de anéis perfeitoides e a preservação de pushouts pelo functor.

• Critério de Regularidade: O artigo estabelece uma variante derivada do critério de regularidade de Saito (Teorema 1.3 / Corolário 6.14). Para um anel local noetheriano completo $R$ sem torção por $p$ de característica residual $p$, com $d = \dim R$ e $r$ tal que $p^r = [k : k^p]$, o anel $R$ é regular se e somente se $FL_R$ for um módulo livre sobre $R/p$ de posto $r + d$. Este resultado depende fortemente da anulação de $FL_R$ para anéis perfeitoides e do comportamento de $FL$ sob coberturas quasi-sintomáticas.

• Conjectura sobre $\mathbb{F}_1$: Na seção final, o autor propõe uma conjectura regarding a existência de um "corpo com um elemento" ($\mathbb{F}_1$). Conjectura-se que existe um functor $L_{(-)/\mathbb{F}_1}$ tomando valores em $D(\mathbb{Z}_{(p)})$ tal que o complexo cotangente de Frobenius–Witt $FL_R$ é o pullback de Frobenius da redução módulo $p$ de $L_{R/\mathbb{F}_1}$.

Significado
O artigo afirma que a introdução do complexo cotangente de Frobenius–Witt fornece um framework derivado robusto para a geometria aritmética que estende o trabalho de Saito sobre diferenciais de Frobenius–Witt. Seu significado primário reside em:

1. Unificação: Ele preenche a lacuna entre o complexo cotangente clássico e diferenciais aritméticos, oferecendo um objeto derivado que retém as propriedades desejáveis de feixe do primeiro enquanto captura a informação aritmética do último.
2. Novos Fenômenos: A anulação de $FL_R$ para anéis perfeitoides é identificada como um novo fenômeno não observado na literatura sobre diferenciais de Frobenius–Witt, sugerindo conexões profundas entre geometria perfeitóide e derivadas aritméticas.
3. Detecção de Regularidade: O critério derivado para regularidade (Teorema 1.3) oferece uma ferramenta refinada para estudar singularidades em característica mista, potencialmente fornecendo insights além dos critérios clássicos no nível de módulos.

O autor mantém um tom modesto regarding a conjectura sobre $\mathbb{F}_1$, enquadrando-a como uma extensão natural das relações observadas e não como um fato provado, e reconhece que o critério de regularidade atualmente se aplica a anéis locais noetherianos completos, deixando o caso geral como uma questão em aberto.