Derived Geometric Methods in Supergeometry: Transmutations and their Cohomology

Resumen Técnico: Métodos Geométricos Derivados en Supergeometría: Transmutaciones y su Cohomología

Planteamiento del Problema
El artículo aborda el desarrollo fundacional de la supergeometría utilizando las herramientas de la geometría algebraica derivada (DAG, por sus siglas en inglés). Mientras que la supergeometría es vista tradicionalmente como un engrosamiento de primer orden de la geometría algebraica ordinaria (que involucra anillos conmutativos $\mathbb{Z}_2$-graduados), y la DAG como un engrosamiento de todos los órdenes (que involucra anillos derivados), el autor postula una profunda similitud estructural y categórica entre ambas. El problema central es demostrar que la maquinaria de las $\infty$-categorías y la DAG puede agilizar el desarrollo de la supergeometría, particularmente en el estudio de la cohomología y la clasificación de haces (D-módulos, sistemas locales y fibrados de Higgs) en superstacks. Específicamente, el artículo busca resolver cuestiones clásicas relativas a la detectabilidad cohomológica de la superestructura y proporcionar nuevas pruebas geométricas para teoremas establecidos en el campo, tales como el teorema de Penkov sobre D-módulos y el teorema de localización de Beilinson-Bernstein.

Metodología
La metodología se basa en una traducción sistemática de los conceptos de la geometría algebraica derivada hacia el entorno $\mathbb{Z}_2$-graduado de la supergeometría utilizando el lenguaje de las $\infty$-categorías.

1. Marco de $\infty$-categorías: El artículo adopta la formalización moderna de las $\infty$-categorías (quasi-categorías) como una "caja negra" para manejar la coherencia de homotopía. Establece un diccionario entre las nociones de 1-categoría (límites, colímites, adjunciones) y sus contrapartes de $\infty$-categoría, utilizando el concepto de "animación" para elevar las categorías algebraicas (como los módulos sobre superanillos) a sus versiones derivadas de $\infty$-categoría.
2. Superstacks y Descenso: El autor desarrolla la teoría de los superstacks (haces sobre la categoría de afines superesquemas en la topología plana/fpqc) como una categoría completa de pre-haces de anima. Las herramientas técnicas clave establecidas incluyen:
   • Haces Cocuasi-coherentes ($QCoh$): Definidos mediante la extensión de Kan a la derecha y la estabilización de la categoría de supermódulos, asegurando la compatibilidad con el entorno de $\infty$-categoría.
   • Descenso y Cambio de Base: Demostrar que $QCoh$ satisface el descenso para mapas fácticamente planos y establecer teoremas de cambio de base para morfismos esquemáticos, cuasi-compactos y cuasi-separados (qcqs).
   • Recollement: Establecer un teorema de descomposición abierto-cerrado para superstacks, relacionando las categorías de haces cuasi-coherentes en un espacio, un subesquema abierto y una completación formal a lo largo de un subesquema cerrado.
3. Stacks de Transmutación: El artículo adapta los stacks de "transmutación" clásicos de Simpson (Betti, de Rham y Dolbeault) al entorno supergeométrico. Estos se definen como realizaciones geométricas de tipos específicos de haces:
   • Stack de de Rham ($X_{dR}$): Definido mediante el functor de puntos $X_{dR}(S) = X(S_{br})$, donde $S_{br}$ es la truncación bosónica reducida.
   • Stack de Betti ($X_B$): Definido mediante el tipo de homotopía de la analitificación.
   • Stack de Dolbeault ($X_{Dol}$): Definido como el cociente de $X$ por la completación formal de su haz tangente a lo largo de la sección cero.

Contribuciones Clave y Resultados
El artículo realiza las siguientes contribuciones técnicas específicas y prueba los siguientes resultados principales:

• Teoría Fundacional: Proporciona un desarrollo autónomo de la categoría derivada de haces cuasi-coherentes sobre superstacks, incluyendo pruebas de los teoremas de descenso, cambio de base y recollement (Proposiciones 1.5, Teoremas 1.6, 1.7). También construye la adjunción entre stacks y superstacks, probando que la inclusión de stacks ordinarios en superstacks es plenamente fiel con un adjunto a la derecha dado por la truncación bosónica (Teorema 1.8).
• Teorema de Penkov para Pre-Superstacks: El artículo demuestra que la categoría de cristales (haces cuasi-coherentes sobre el stack de de Rham) en un pre-superstack $X$ es equivalente a la categoría de cristales en su truncación bosónica $X_{bos}$ (Teorema 1.1). Esto se logra al observar que el stack de de Rham de un superesquema es idéntico al stack de de Rham de su subyacente truncación bosónica.
• Isomorfismo de Cohomologías: Establece que, para un supersquema suave $X$, la cohomología de de Rham del supersquema es isomórfica a la cohomología de de Rham de su variedad bosónica subyacente (Teorema 1.2). Esto se prueba geométricamente mediante la identificación de los stacks de de Rham, evitando argumentos de secuencias espectrales.
• D-Módulos y Cristales: El artículo demuestra el teorema de reconocimiento de que, para superstacks de Deligne-Mumford suaves, la categoría de cristales es equivalente a la categoría de D-módulos (Teorema 4.19). Esto valida el uso de la definición de cristal (proveniente de DAG) como un reemplazo para la definición clásica de D-módulo en el entorno supergeométrico.
• Localización de Beilinson-Bernstein: Se proporciona una prueba simplificada para el teorema de localización para supergrupos algebraicos cuasi-reductivos, mostrando que $DMod(G/B) \simeq (U(\mathfrak{g}_0)/\ker(\chi))\text{-Mod}$ (Teorema 1.3).
• Stack de Dolbeault y Nilpotencia: El artículo demuestra que el stack de Dolbeault es el único stack de transmutación que captura inherentemente los datos supergeométricos. Específicamente, para un esquema suave de dimensión puramente impar, el stack de Dolbeault nilpotente es isomórfico al stack de Dolbeault estándar (Teorema 1.4). Esto implica que los campos de Higgs impares en el entorno supergeométrico son necesariamente nilpotentes.
• Haces de Higgs: Identifica la categoría de haces cuasi-coherentes sobre el stack de Dolbeault con la categoría de haces de Higgs (Teorema 4.30).

Significancia
El artículo reclama significancia en dos áreas primarias:

1. Unificación Estructural: Demuestra que la supergeometría puede desarrollarse eficientemente importando la maquinaria general de la geometría algebraica derivada. Al tratar la supergeometría como una variante de la DAG, el autor muestra que las pruebas fundacionales (descenso, cambio de base) pueden adaptarse sistemáticamente, reduciendo la necesidad de argumentos supergeométricos ad hoc.
2. Perspectiva Geométrica: El enfoque proporciona pruebas conceptualmente transparentes para resultados clásicos. Por ejemplo, la equivalencia entre la cohomología de de Rham de una supervariedad y su truncación bosónica se muestra como una consecuencia directa de la identidad geométrica de sus stacks de de Rham, en lugar de ser un resultado de cálculos cohomológicos complejos. Además, el artículo clarifica el papel de la superestructura en la cohomología: mientras que los invariantes cohomológicos estándar (de Rham, Betti) a menudo fallan en detectar la superestructura (colapsando al caso bosónico), el stack de Dolbeault retiene información específica sobre las direcciones impares, manifestándose como campos de Higgs nilpotentes.

El trabajo sirve como un puente entre la literatura de la geometría algebraica derivada (por ejemplo, Lurie, Bhatt, Hesselholt-Pstrągowski) y la supergeometría, ofreciendo una perspectiva moderna de $\infty$-categorías para problemas clásicos en este campo.