Derived Geometric Methods in Supergeometry: Transmutations and their Cohomology

Technical Summary: Derived Geometric Methods in Supergeometry: Transmutations and Their Cohomology

Problem Statement
The paper addresses the foundational development of supergeometry using the tools of derived algebraic geometry (DAG). While supergeometry is traditionally viewed as a first-order thickening of ordinary algebraic geometry (involving $\mathbb{Z}_2$-graded commutative rings), and DAG as an all-order thickening (involving derived rings), the author posits a deep structural and categorical similarity between the two. The central problem is to demonstrate that the machinery of $\infty$-categories and DAG can streamline the development of supergeometry, particularly in the study of cohomology and the classification of sheaves (D-modules, local systems, and Higgs bundles) on superstacks. Specifically, the paper seeks to resolve classical questions regarding the cohomological detectability of the superstructure and to provide new, geometric proofs for established theorems in the field, such as Penkov's theorem on D-modules and the Beilinson-Bernstein localization theorem.

Methodology
The methodology relies on a systematic translation of concepts from derived algebraic geometry into the $\mathbb{Z}_2$-graded supergeometric setting using the language of $\infty$-categories.

1. $\infty$-Categorical Framework: The paper adopts the modern formalization of $\infty$-categories (quasi-categories) as a "black box" to handle homotopy coherence. It establishes a dictionary between 1-categorical notions (limits, colimits, adjoints) and their $\infty$-categorical counterparts, utilizing the concept of "animation" to lift algebraic categories (like modules over superrings) to their derived $\infty$-categorical versions.
2. Superstacks and Descent: The author develops the theory of superstacks (sheaves on the category of affine superschemes in the flat/fpqc topology) as a full subcategory of presheaves of anima. Key technical tools established include:
   • Quasi-coherent Sheaves ($QCoh$): Defined via right Kan extension and stabilization of the category of supermodules, ensuring compatibility with the $\infty$-categorical setting.
   • Descent and Base Change: Proving that $QCoh$ satisfies descent for faithfully flat maps and establishing base change theorems for schematic, quasi-compact, and quasi-separated (qcqs) morphisms.
   • Recollement: Establishing an open-closed decomposition theorem for superstacks, relating the categories of quasi-coherent sheaves on a space, an open subscheme, and a formal completion along a closed subscheme.
3. Transmutation Stacks: The paper adapts Simpson's classical "transmutation" stacks (Betti, de Rham, and Dolbeault) to the super setting. These are defined as geometric realizations of specific types of sheaves:
   • de Rham Stack ($X_{dR}$): Defined via the functor of points $X_{dR}(S) = X(S_{br})$, where $S_{br}$ is the reduced bosonic truncation.
   • Betti Stack ($X_B$): Defined via the homotopy type of the analytification.
   • Dolbeault Stack ($X_{Dol}$): Defined as the quotient of $X$ by the formal completion of its tangent bundle along the zero section.

Key Contributions and Results
The paper makes several specific technical contributions and proves the following main results:

• Foundational Theory: It provides a self-contained development of the derived category of quasi-coherent sheaves on superstacks, including proofs of descent, base change, and recollement theorems (Propositions 1.5, Theorems 1.6, 1.7). It also constructs the adjunction between stacks and superstacks, proving that the inclusion of ordinary stacks into superstacks is fully faithful with a right adjoint given by the bosonic truncation (Theorem 1.8).
• Penkov's Theorem for Pre-Superstacks: The paper proves that the category of crystals (quasi-coherent sheaves on the de Rham stack) on a pre-superstack $X$ is equivalent to the category of crystals on its bosonic truncation $X_{bos}$ (Theorem 1.1). This is achieved by observing that the de Rham stack of a superscheme is identical to the de Rham stack of its underlying bosonic truncation.
• Isomorphism of Cohomologies: It establishes that for a smooth superscheme $X$, the de Rham cohomology of the superscheme is isomorphic to the de Rham cohomology of its underlying bosonic manifold (Theorem 1.2). This is proven geometrically via the identification of the de Rham stacks, avoiding spectral sequence arguments.
• D-Modules and Crystals: The paper proves the recognition theorem that for smooth Deligne-Mumford superstacks, the category of crystals is equivalent to the category of D-modules (Theorem 4.19). This validates the use of the crystal definition (from DAG) as a replacement for the classical D-module definition in the super setting.
• Beilinson-Bernstein Localization: A simplified proof is provided for the localization theorem for quasi-reductive algebraic supergroups, showing that $DMod(G/B) \simeq (U(\mathfrak{g}_0)/\ker(\chi))\text{-Mod}$ (Theorem 1.3).
• Dolbeault Stack and Nilpotency: The paper demonstrates that the Dolbeault stack is the only transmutation stack that inherently captures supergeometric data. Specifically, for a smooth scheme of purely odd dimension, the nilpotent Dolbeault stack is isomorphic to the standard Dolbeault stack (Theorem 1.4). This implies that odd Higgs fields in the super setting are necessarily nilpotent.
• Higgs Sheaves: It identifies the category of quasi-coherent sheaves on the Dolbeault stack with the category of Higgs sheaves (Theorem 4.30).

Significance
The paper claims significance in two primary areas:

1. Structural Unification: It demonstrates that supergeometry can be efficiently developed by importing the general machinery of derived algebraic geometry. By treating supergeometry as a variant of DAG, the author shows that foundational proofs (descent, base change) can be adapted systematically, reducing the need for ad-hoc supergeometric arguments.
2. Geometric Insight: The approach provides conceptually transparent proofs for classical results. For instance, the equivalence between the de Rham cohomology of a supermanifold and its bosonic truncation is shown to be a direct consequence of the geometric identity of their de Rham stacks, rather than a result of complex cohomological calculations. Furthermore, the paper clarifies the role of the superstructure in cohomology: while standard cohomological invariants (de Rham, Betti) often fail to detect the superstructure (collapsing to the bosonic case), the Dolbeault stack retains specific information about the odd directions, manifesting as nilpotent Higgs fields.

The work serves as a bridge between the literature of derived algebraic geometry (e.g., Lurie, Bhatt, Hesselholt-Pstrągowski) and supergeometry, offering a modern, $\infty$-categorical perspective on classical problems in the field.