De Rham affineness of the Nygaard filtered prismatization in positive characteristic

Aquí presento un resumen técnico detallado del artículo "De Rham Affineness of the Nygaard Filtered Prismatization in Positive Characteristic" de Shubhankar Sahai, estructurado según los puntos solicitados.

1. El Problema y el Contexto

El artículo aborda la estructura geométrica de la prismatización filtrada por Nygaard de álgebras animadas sobre un anillo perfecto $k$ de característica $p > 0$.

• Antecedentes: La teoría de cohomología prismática (Bhatt-Morrow-Scholze) y la cohomología de de Rham tienen interpretaciones geométricas mediante "pilas" (stacks). Por ejemplo, la cohomología de de Rham de una variedad suave $X$ puede recuperarse como las secciones globales de la "pila de de Rham" $(X/k)_{dR}$. Mondal demostró recientemente que, para esquemas afines, esta pila es el espectro de la cohomología de de Rham como un anillo $E_\infty$ (es decir, es "afín" en un sentido derivado).
• La Cuestión: Existe una generalización de la cohomología prismática que incorpora la filtración de Nygaard, la cual es análoga p-ádica a la filtración de Hodge. Esta estructura se codifica en una pila formal llamada prismatización filtrada por Nygaard, denotada como $R_{\text{Nyg}}$.
• La Pregunta Central: ¿Es la pila $R_{\text{Nyg}}$ "afín" en un sentido derivado relativo a la pila base $k_{\text{Nyg}}$? Específicamente, ¿puede $R_{\text{Nyg}}$ describirse como el espectro relativo de un álgebra derivada construida a partir de la cohomología prismática filtrada por Nygaard de $R$?

2. Metodología

El autor emplea técnicas avanzadas de Geometría Algebraica Derivada y la teoría de $\infty$-categorías. La metodología se basa en los siguientes pilares:

• Afinidad de De Rham (De Rham Affineness): Se introduce y axiomatiza una propiedad llamada "afinidad de De Rham". Una functor $X: \text{ARing}_k \to \text{Stacks}_S$ es de Rham afín si existe un functor de cohomología $T$ tal que $X(R) \simeq \text{Spec}_S(T(R))$. Esto generaliza la idea de que ciertas pilas son espectros de anillos de cohomología.
• Construcción de Rees: Se utiliza la construcción de Rees para transformar álgebras filtradas en álgebras graduadas. Dado que la cohomología prismática filtrada por Nygaard es un objeto filtrado, el autor construye su álgebra de Rees, que vive naturalmente sobre la pila $k_{\text{Nyg}}$ (que parametriza la filtración).
• Transmutación: Se utiliza la teoría de transmutación (introducida por Bhatt) para relacionar funtores que preservan colímites con pilas de anillos. Se demuestra que la prismatización filtrada surge de una transmutación, lo que sugiere su naturaleza afín.
• Estratificación Constructible y Flatness: Para probar el isomorfismo principal, el autor reduce el problema al caso de anillos polinomiales ($k[x]$) y utiliza recubrimientos quasisintomáticos ($k[x^{1/p^\infty}]$). Se emplean argumentos de flatness fiel (faithful flatness) sobre una estratificación constructible de la pila base $k_{\text{Nyg}}$ (analizando los lugares donde los parámetros de la filtración son cero o invertibles).
• Resoluciones de Bar: Se utilizan complejos de Bar en el contexto de módulos graduados completos para demostrar la conectividad y la flatness de ciertos morfismos de álgebras derivadas.

3. Contribuciones Clave

1. Definición de "De Rham Affineness": El artículo formaliza este concepto como una herramienta organizativa. Establece que si un functor a pilas es de Rham afín y preserva colímites, entonces surge naturalmente a través de la transmutación de una pila de anillos (Corolario 2.6).
2. Construcción de la Pila de Rees: Se define explícitamente la pila $R_{\text{Nyg}}(F^*\Delta_{R/k})$ como el espectro relativo sobre $k_{\text{Nyg}}$ del álgebra de Rees de la cohomología prismática filtrada por Nygaard.
3. Prueba de la Afinidad: Se demuestra que la prismatización filtrada por Nygaard satisface esta propiedad de afinidad, generalizando resultados previos de Bhatt-Lurie sobre la prismatización no filtrada.

4. Resultados Principales

El resultado central es el Teorema 1.13:

Sea $X$ un esquema derivado afín sobre $k$. Existe una equivalencia natural de pilas derivadas sobre $k_{\text{Nyg}}$:
$$X_{\text{Nyg}} \simeq R_{\text{Nyg}}(F^*\Delta_{X/k})$$
Donde $R_{\text{Nyg}}(F^*\Delta_{X/k})$ es el espectro relativo de la construcción de Rees de la cohomología prismática filtrada por Nygaard de $X$ relativa a $k$.

Corolarios Importantes:
La prueba de este teorema implica automáticamente resultados análogos para otras filtraciones y pilas relacionadas, obtenidas mediante restricciones a sub-pilas específicas de $k_{\text{Nyg}}$:

• Pila de De Rham Filtrada por Hodge: $(X/k)_{dR, +} \simeq \text{Spec}_{\mathbb{A}^1/\mathbb{G}_m}(\text{Rees}(\text{Fil}^{\text{Hodge}} dR_{X/k}))$. Esto es una variante filtrada del resultado de Mondal.
• Pila de Hodge-Tate Conjugada: $(X/k)_{HT, \text{conj}} \simeq \text{Spec}_{\mathbb{A}^1/\mathbb{G}_m}(\text{Rees}(\text{Fil}^{\text{conj}} \Delta_{X/k}))$.
• Cohomología Cristalina y Prismática: Se recuperan los resultados de Bhatt-Lurie para la prismatización estándar y la cristalización como casos especiales (restricciones a ciertos lugares de $k_{\text{Nyg}}$).

5. Significancia e Impacto

• Unificación Estructural: El trabajo unifica diversas cohomologías (de Rham, Cristalina, Prismática, Hodge-Tate) bajo un solo marco geométrico: la prismatización filtrada por Nygaard. Muestra que todas estas estructuras son "afines" en el sentido de que están determinadas por sus anillos de cohomología correspondientes.
• Herramienta para Trabajos Futuros: El autor indica que este resultado es fundamental para su trabajo futuro sobre la sintomificación de esquemas que admiten levantamientos de Frobenius. Permite describir la categoría de coherentes cuasi-coherentes ($QCoh$) de la pila sintomica en términos de módulos de Fontaine-Laffaille.
• Avance en Geometría Derivada: Proporciona una comprensión más profunda de cómo las filtraciones (como la de Nygaard y Hodge) se comportan geométricamente en el contexto derivado, demostrando que la construcción de Rees es la herramienta correcta para "desempaquetar" estas filtraciones en pilas graduadas.
• Técnicas Nuevas: Introduce criterios robustos para probar la flatness fiel y la conectividad en el contexto de anillos animados y pilas formales, utilizando estratificaciones constructibles y complejos de Bar, lo cual es de interés independiente para la comunidad de geometría algebraica derivada.

En resumen, el artículo establece que la geometría de la prismatización filtrada por Nygaard es completamente controlada por su álgebra de cohomología, generalizando la noción de afinidad de De Rham a un contexto filtrado y de característica positiva, con implicaciones profundas para la teoría de cohomología p-ádica y la geometría aritmética.