Smooth categories in a 6 functor formalism and compact generation for nuclear categories in analytic geometry

Resumen Técnico: Categorías Suaves en un Formalismo de Seis Funtores y Generación Compacta para Categorías Nucleares en Geometría Analítica

Enunciado del Problema
El artículo aborda una incompatibilidad fundamental entre las definiciones categóricas estándar de suavidad y propiedad propia en la geometría algebraica no conmutativa y el contexto analítico. En el contexto algebraico, una variedad $X$ es suave si y solo si su categoría asociada de complejos perfectos, $\text{Perf}(X)$, es una $\infty$-categoría suave (definida mediante la dualizabilidad del bimódulo diagonal). Sin embargo, en la geometría analítica rígida, el producto tensorial estándar de $\infty$-categorías estables y presentables no satisface la fórmula de Künneth para álgebras de Tate (por ejemplo, $\text{Perf}(k\langle t \rangle) \otimes_k \text{Perf}(k\langle u \rangle) \neq \text{Perf}(k\langle t, u \rangle)$). En consecuencia, la noción categórica estándar de suavidad es intrínsecamente algebraica y poco adecuada para variedades analíticas. Este fallo conduce a una desconexión donde una variedad analítica rígida $X$ puede ser geométricamente suave, pero $\text{Perf}(X)$ falla en ser categóricamente suave a menos que $X$ sea algebraizable (es decir, surja de un esquema algebraico).

Metodología
Para resolver esto, el autor emplea el marco de las matemáticas condensadas y los apilados analíticos desarrollados por Clausen y Scholze. La metodología procede a través de varios pasos clave:

1. Geometría Analítica Rígida Derivada: El artículo utiliza la teoría de álgebras afinoideas animadas y espacios analíticos rígidos derivados (siguiendo a Mikaelian y Porta–Yu). Estos espacios se construyen pegando álgebras afinoideas animadas a lo largo de localizaciones racionales.
2. Categorías Nucleares: En lugar de trabajar con $\text{Perf}(X)$, el autor se centra en la $\infty$-categoría de haces nucleares, denotada $\text{Nuc}(X)$. Las categorías nucleares, introducidas en las matemáticas condensadas, son rígidas y admiten un producto tensorial "completado" que satisface la fórmula de Künneth para variedades rígidas.
3. Formalismo de Seis Funtores: Se establece un robusto formalismo de seis funtores para categorías nucleares sobre espacios analíticos rígidos derivados. Este formalismo incluye los funtores de pullback ($f^*$), pushforward ($f_*$) y el funtor "lower shriek" ($f_!$), identificándose $f_!$ con $f_*$ para aplicaciones cuasi-compactas y semi-separadas.
4. Suavidad Relativa: El artículo define $\infty$-categorías internamente suaves relativas a una $\infty$-categoría base monoidal simétrica $\mathcal{V}$ (específicamente $\text{Nuc}(k)$). Una $\infty$-categoría $\mathcal{C}$ es internamente suave si el mapa de coevaluación admite un adjunto derecho $\mathcal{V}$-lineal que preserve colímites.
5. Generación Atómica: El estudio investiga la existencia de un único generador compacto (o "atómico") para estas categorías, vinculando esta propiedad con la algebraización de la variedad subyacente.

Contribuciones y Resultados Clave

• Equivalencia de Suavidad Geométrica y Categórica: El resultado principal (Teorema 1.4 / Teorema 5.1) establece que para una variedad analítica rígida clásica $X$ sobre un cuerpo no arquimediano $k$, $X$ es geométricamente suave si y solo si la $\infty$-categoría $\text{Nuc}(X)$ es internamente suave sobre $\text{Nuc}(k)$. Esto se logra demostrando que el mapa diagonal $\Delta^* \mathcal{O}_X$ es un complejo perfecto (objeto compacto) en $\text{Nuc}(X \hat{\times} X)$ si y solo si $X$ es suave.
• GAGA para Categorías Nucleares: El artículo demuestra un teorema de tipo GAGA (Corolario 5.7) que relaciona la categoría nuclear de una analitificación $X^{\text{an}}$ con la categoría algebraica: $\text{Nuc}(X^{\text{an}}) \simeq \text{QCoh}(X) \otimes_{\text{Mod}_k} \text{Nuc}(k)$.
• Caracterización de la Algebraizabilidad: El Teorema 1.8 (Teorema 5.9) proporciona un criterio categórico para la algebraización. Una variedad analítica rígida suave, propia, cuasi-compacta y separada $X$ es algebraizable si y solo si $\text{Nuc}(X)$ admite un único generador $\text{Nuc}(k)$-atómico (equivalentemente, compacto).
• Contraejemplo a la Conjetura 1.7: El artículo construye un contraejemplo a la conjetura de que toda $\infty$-categoría $\mathcal{V}$-lineal suave y generada atómicamente admite un único generador atómico (Conjetura 1.7). Al considerar una variedad analítica rígida suave y propia no algebraizable (por ejemplo, la superficie de Hopf $p$-ádica), el autor demuestra que $\text{Nuc}(X)$ es internamente suave pero falla en tener un único generador compacto. Esto muestra que la propiedad de pegar generadores compactos locales para formar uno global, que se cumple en geometría algebraica, falla en la topología analítica.

Significado
El artículo reclama importancia en tres áreas principales:

1. Geometría Analítica No Conmutativa: Transporta con éxito la poderosa maquinaria de la suavidad categórica a la geometría analítica rígida reemplazando el producto tensorial estándar por el producto tensorial nuclear. Esto permite una caracterización no conmutativa precisa de la suavidad geométrica que previamente estaba obstruida por el fallo de la fórmula de Künneth en el contexto clásico.
2. Criterios de Algebraización: Proporciona un nuevo método puramente categórico para detectar si una variedad analítica rígida es algebraizable, vinculando la existencia de un generador compacto global en la categoría nuclear con la propiedad geométrica de la algebraización.
3. Distinciones Fundamentales: Los resultados destacan una diferencia estructural fundamental entre las topologías algebraica y analítica. Específicamente, el fallo de la "pegadura de generadores compactos locales" en el contexto analítico sirve como contraejemplo a generalizaciones de resultados algebraicos (como la Conjetura 1.7) a bases rígidas arbitrarias, demostrando que el comportamiento de las categorías nucleares es distinto al de los módulos sobre anillos en el contexto algebraico.

El artículo concluye que, si bien el marco categórico de la suavidad puede adaptarse a la geometría analítica mediante las matemáticas condensadas y las categorías nucleares, la teoría resultante revela limitaciones intrínsecas respecto a la generación compacta que no existen en el mundo algebraico.