Resumen Técnico: La $\infty$-categoría derivada de los módulos de Frobenius

Planteamiento del Problema

En la geometría algebraica sobre un cuerpo de característica $p > 0$, el estudio de los módulos equipados con una acción del endomorfismo absoluto de Frobenius $F: X \to X$ es central. Un módulo de Frobenius se define como un par $(M, \kappa_M)$, donde $M$ es un $\mathcal{O}_X$-módulo cuasicoherente y $\kappa_M: M \to F_*M$ es un morfismo $\mathcal{O}_X$-lineal.

El trabajo previo de los autores en [MW24] estableció una equivalencia $t$-exacta canónica entre la $\infty$-categoría derivada de los módulos de Frobenius y la categoría de módulos de Frobenius dentro de la $\infty$-categoría derivada:
$$D(\text{Frob}(\text{QCoh}(X), F_*)) \xrightarrow{\sim} \text{Frob}(D(\text{QCoh}(X)), D(F_*))$$
Sin embargo, este resultado estaba restringido a esquemas $F_p$ noresulares noetherianos. La restricción era necesaria porque, en el caso noesular noetheriano, el teorema de Kunz garantiza que el morfismo de Frobenius es plano, lo que hace que el functor de empuje hacia adelante $F_*$ sea exacto. Para esquemas arbitrarios, $F_*$ no es exacto, y la estrategia de prueba empleada en [MW24] falla.

El problema central abordado en este artículo es extender la mencionada equivalencia a una clase más amplia de esquemas, específicamente eliminando las hipótesis de regularidad y noetherianidad, trabajando dentro del marco de las $\infty$-categorías estables.

Metodología

Los autores emplean una combinación de descenso de $\infty$-categorías, teoría de módulos sobre espectros de anillos y propiedades estructurales de las categorías derivadas. La estrategia de prueba procede en tres etapas principales:

1. Reducción a Esquemas Afines vía Descenso de Zariski

Los autores establecen primero que las $\infty$-categorías derivadas relevantes satisfacen el descenso de Zariski. Definen un esquema "geométrico" como un esquema cuasicompacto con un diagonal afín (también conocido como semiseparado).

• Demuestran que el presofunctor $D^+(\text{Frob}(\text{QCoh}(-), F_*))$ define un haz de Zariski en el sitio de Zariski pequeño de un esquema geomético.
• Esto depende de mostrar que la construcción de los módulos de Frobenius es de naturaleza funcional y preserva límites, y que el functor derivado $D^+$ preserva límites bajo condiciones específicas de cambio de base (cambio de base plano).
• En consecuencia, el problema de la equivalencia global se reduce al caso donde $X = \text{Spec}(R)$ es un esquema afín.

2. Identificación con Espectros de Módulos (Teorema de Schwede–Shipley)

Para el caso afín $X = \text{Spec}(R)$, los autores identifican ambos lados de la equivalencia propuesta con categorías de espectros de módulos sobre espectros de anillos $E_1$ específicos.

• Lado de la Fuente: Analizan $D(\text{Frob}(\text{Mod}^\heartsuit_R, F_*))$, la $\infty$-categoría derivada de los módulos de Frobenius sobre la categoría abeliana de módulos $R$. Construyen un generador proyectivo compacto $A$ para esta categoría.
• Lado del Objetivo: Analizan $\text{Frob}(D(\text{Mod}^\heartsuit_R), D(F_*))$. Construyen un generador proyectivo compacto correspondiente $B$ para esta categoría.
• Teorema de Schwede–Shipley: Utilizando la versión $\infty$-categórica del teorema de Gabriel (Schwede–Shipley), muestran que una $\infty$-categoría estable presente con un generador proyectivo compacto es equivalente a la categoría de espectros de módulos sobre el espectro de anillo de endomorfismos de dicho generador.
• Los autores prueban que los espectros de anillo de endomorfismos $\text{End}(A)$ y $\text{End}(B)$ son equivalentes. Específicamente, se muestra que son equivalentes al anillo discreto (no conmutativo) $R[F]^{\text{op}}$ (o $R[\tau]^{\text{op}}$ en el lenguaje de $\tau$-hojas), visto como un $E_1$-anillo.

3. Extensión a la Completitud por la Izquierda

Habiendo establecido la equivalencia para objetos acotados por arriba ($D^+$), los autores extienden el resultado a las $\infty$-categorías derivadas completas ($D$).

• Prueban que para esquemas geométricos, las $\infty$-categorías derivadas de los módulos de Frobenius y de las hojas cocuasi coherentes son completas por la izquierda. Esto se basa en la verificación de una versión más débil del axioma de Grothendieck AB4$^*_n(\omega)$ para la categoría de módulos de Frobenius.
• Utilizando un lema que establece que un functor $t$-exacto entre $\infty$-categorías estables completas por la izquierda es una equivalencia si su restricción a los objetos acotados por arriba es una equivalencia, elevan el resultado afín a las categorías derivadas completas.

Contribuciones Principales y Resultados

Teorema Principal (Teorema A / Teorema 5.7)

Para cualquier esquema $F_p$ geométrico $X$ (cuasicompacto con diagonal afín), existe una equivalencia $t$-exacta canónica de $\infty$-categorías presentes:
$$D(\text{Frob}(\text{QCoh}(X), F_*)) \xrightarrow{\sim} \text{Frob}(D(\text{QCoh}(X)), D(F_*))$$
Este resultado generaliza el trabajo previo [MW24] al eliminar los supuestos de que $X$ sea noesural y noestheriano.

Resultados de Descenso

• Teorema C (Proposición 4.13): El presofunctor $D^+(\text{Frob}(\text{QCoh}(-), F_*))$ define un haz de Zariski en el sitio de Zariski pequeño de un esquema geométrico.
• Teorema D: La $\infty$-categoría derivada completa $D(\text{Frob}(\text{QCoh}(-), F_*))$ también define un haz de Zariski con valores en $\infty$-categorías estables presentes.
• Corolario E: Un resultado de descenso análogo se cumple para la $\infty$-categoría derivada de los módulos de Cartier.

Propiedades Estructurales

• Completitud por la Izquierda: El artículo demuestra que, para esquemas geométricos, las $\infty$-categorías derivadas de los módulos de Frobenius son completas por la izquierda (Proposición 5.2). Este es un resultado estructural no trivial derivado de las propiedades de las categorías abelianas subyacentes.
• Funcionalidad: Se demuestra que la construcción de los módulos de Frobenius es funcional en la $\infty$-categoría subyacente y su endofunctor, preservando límites (Proposición 2.5).

Significado y Pretensiones

El artículo sostiene que el marco de las $\infty$-categorías es esencial para estos resultados. Los autores señalan que si se reemplazara la $\infty$-categoría derivada por la categoría derivada ordinaria (la categoría de homotopía), los objetivos de las categorías fallarían en admitir una estructura triangulada, haciendo imposible la equivalencia.

La importancia del trabajo radica en:

1. Generalización: Extiende la comprensión estructural de los módulos de Frobenius a una clase mucho más amplia de esquemas (esquemas geométricos), que incluye todos los esquemas cuasicompactos separados, sin requerir regularidad.
2. Robustez Metodológica: Demuestra que el enfoque de $\infty$-categorías, utilizando específicamente el teorema de reconocimiento de Schwede–Shipley y la teoría de descenso, proporciona un marco robusto para manejar functores no exactos (como $F_*$ en esquemas no esurales) donde los métodos clásicos de categorías derivadas fallan.
3. Descenso: Establece que la teoría derivada de los módulos de Frobenius y Cartier satisface el descenso de Zariski, permitiendo argumentos locales-globales en la geometría de característica positiva.

Los autores no pretenden resolver problemas abiertos respecto a los cálculos cohomológicos específicos de estos módulos, sino que proporcionan el marco categórico correcto en el cual tales cálculos pueden realizarse para esquemas geométricos generales. El trabajo se presenta como un paso fundacional, generalizando los resultados de [MW24] y [BB11, BB13, BP09] a un entorno no noesural y no noetheriano.