Frobenius--Witt cotangent complexes

Resumen Técnico: Complejos Cotangentes de Frobenius–Witt

Enunciado del Problema
El artículo aborda la necesidad de un análogo derivado aritmético del complejo cotangente, específicamente adaptado al contexto de los diferenciales de Frobenius–Witt. Mientras que M. André y D. Quillen establecieron el complejo cotangente ($L_{B/A}$) como una versión derivada de los diferenciales de Kähler ($\Omega_{B/A}$), T. Saito introdujo recientemente el módulo de diferenciales de Frobenius–Witt ($F\Omega_A$) como un análogo aritmético de los diferenciales de Kähler, vinculándolo a la regularidad de los anillos conmutativos. Sin embargo, una versión derivada de $F\Omega_A$ de Saito —un "complejo cotangente de Frobenius–Witt"— no había sido construida formalmente. El artículo busca definir este objeto, denotado $FL_A$, e investigar sus propiedades, particularmente su relación con la regularidad de anillos locales noetherianos en característica mixta.

Metodología
El autor emplea el marco de las $\infty$-categorías y la animación (geometría algebraica derivada) para construir el complejo cotangente de Frobenius–Witt. La metodología procede a través de los siguientes pasos:

1. Reformulación de las Derivaciones: El artículo comienza reformulando la definición de Saito de las derivaciones de Frobenius–Witt. Introduce un anillo de "extensión aritmética" $W_2(A, M, m)$, definido como el conjunto $A \times M$ con reglas específicas de suma y multiplicación que involucran el polinomio $P(X, Y) = \frac{(X+Y)^p - X^p - Y^p}{p}$. Esta construcción establece una biyección entre las derivaciones de Frobenius–Witt $w: A \to M$ y los homomorfismos de anillos $A \to W_2(A, M, m)$ que seccionan la proyección hacia $A$.
2. Animación: Utilizando la teoría de generadores proyectivos compactos, el autor define la "animación" (versión derivada) de la categoría de pares $(A, M)$ donde $M$ es un módulo sobre $A/p$. Esto permite definir una versión animada del functor de extensión aritmética, $W_2^{an}$.
3. Propiedad Universal: El complejo cotangente de Frobenius–Witt $FL_A$ se define como el objeto en la $\infty$-categoría derivada $D_{\ge 0}(A/Lp)$ que corepresenta el espacio de derivaciones de Frobenius–Witt animadas. Específicamente, $FL_A$ es el objeto universal tal que $\text{Hom}(FL_A, M) \simeq \text{FWDer}(A, (M, m))$.
4. Técnicas Computacionales: El artículo utiliza secuencias fibradas fundamentales derivadas de la transitividad de los complejos cotangentes y propiedades de los empujones (pushouts) en la $\infty$-categoría de anillos animados. Una parte significativa de la metodología implica calcular $FL_R$ para anillos perfectoides descomponiéndolos en anillos perfectoides libres de torsión $p$ y anillos perfectos, o bien utilizando cuadrados de empujón que involucran el mapa $\theta$ de Fontaine.

Contribuciones y Resultados Clave

• Definición y Propiedades Básicas: El artículo define $FL_A$ y establece que satisface propiedades análogas al complejo cotangente clásico:

  • Admite una secuencia fibrada transitiva: $FL_A \otimes^L_A B \to FL_B \to F^*(L_{(B/Lp)/(A/Lp)})$.
  • Satisface la localización étale y conmuta con colímites filtrados (sifted colimits).
  • Su grupo de homología 0 recupera el módulo clásico de diferenciales de Frobenius–Witt: $\pi_0(FL_A) \simeq F\Omega_A$.
  • Es invariante bajo la $p$-completación derivada.
  • Para álgebras suaves sobre $\mathbb{Z}_{(p)}$, $FL_A$ coincide con $F\Omega_A$.

• Propiedad de Haz: Un resultado mayor es el Teorema 5.9, que demuestra que el functor $A \mapsto FL_A$ es un haz fpqc. Esto se presenta como un análogo derivado del hecho de que el complejo cotangente clásico forma un haz fpqc, una propiedad que generalmente no satisface el módulo no derivado $F\Omega_A$.

• Anulación para Anillos Perfectoides: El Teorema 6.8 establece que para cualquier anillo perfectooides $R$, el complejo cotangente de Frobenius–Witt se anula ($FL_R \simeq 0$). Esto se describe como un análogo en característica mixta de la anulación del complejo cotangente sobre $\mathbb{F}_p$ para álgebras perfectas sobre $\mathbb{F}_p$. La demostración utiliza la descomposición de anillos perfectoides y la preservación de empujones por parte del functor.

• Criterio de Regularidad: El artículo establece una variante derivada del criterio de regularidad de Saito (Teorema 1.3 / Corolario 6.14). Para un anillo local noetheriano completo libre de torsión $p$, $R$, de característica residual $p$, con $d = \dim R$ y $r$ tal que $p^r = [k : k^p]$, el anillo $R$ es regular si y solo si $FL_R$ es un módulo libre sobre $R/p$ de rango $r + d$. Este resultado depende en gran medida de la anulación de $FL_R$ para anillos perfectoides y del comportamiento de $FL$ bajo cubiertas cuasi-sintomáticas.

• Conjetura sobre $\mathbb{F}_1$: En la sección final, el autor propone una conjetura respecto a la existencia de un "cuerpo con un elemento" ($\mathbb{F}_1$). Se conjetura que existe un functor $L_{(-)/\mathbb{F}_1}$ con valores en $D(\mathbb{Z}_{(p)})$ tal que el complejo cotangente de Frobenius–Witt $FL_R$ es el pullback de Frobenius de la reducción módulo $p$ de $L_{R/\mathbb{F}_1}$.

Significado
El artículo afirma que la introducción del complejo cotangente de Frobenius–Witt proporciona un marco derivado robusto para la geometría aritmética que extiende el trabajo de Saito sobre diferenciales de Frobenius–Witt. Su significado principal radica en:

1. Unificación: Cierra la brecha entre el complejo cotangente clásico y los diferenciales aritméticos, ofreciendo un objeto derivado que retiene las propiedades deseables de tipo haz del primero mientras captura la información aritmética del segundo.
2. Nuevos Fenómenos: La anulación de $FL_R$ para anillos perfectoides se identifica como un nuevo fenómeno no observado en la literatura sobre diferenciales de Frobenius–Witt, sugiriendo conexiones profundas entre la geometría perfectaide y las derivadas aritméticas.
3. Detección de Regularidad: El criterio derivado para la regularidad (Teorema 1.3) ofrece una herramienta refinada para estudiar singularidades en característica mixta, potencialmente proporcionando insights más allá de los criterios clásicos a nivel de módulos.

El autor mantiene un tono modesto respecto a la conjetura sobre $\mathbb{F}_1$, enmarcándola como una extensión natural de las relaciones observadas en lugar de un hecho probado, y reconoce que el criterio de regularidad actualmente se aplica a anillos locales noetherianos completos, dejando el caso general como una pregunta abierta.