pith. sign in

arxiv: 2606.09897 · v1 · pith:VIYXYTZCnew · submitted 2026-06-06 · 🧮 math.AG

Derived Geometric Methods in Supergeometry: Transmutations and their Cohomology

Marcel Dang This is my paper

Pith reviewed 2026-06-27 19:13 UTC · model grok-4.3

classification 🧮 math.AG
keywords supergeometrytransmutation stacksderived categoriesD-modulesde Rham cohomologysuperstackscohomologystacky methods
0
0 comments X

The pith

The stacky approach via transmutation stacks and derived categories on superstacks yields new proofs for Penkov's results on D-modules and de Rham cohomology in supergeometry.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper adapts ideas from derived algebraic geometry to the super setting by defining transmutation stacks that realize locally constant sheaves, D-modules, and Higgs bundles geometrically in the super context. It builds the theory of derived categories on superstacks and proves base change and recollement theorems for them. These tools deliver new proofs of results on D-modules and the isomorphism of de Rham with super de Rham cohomology. A reader would care because the geometric parallels between the two settings let classical methods transfer directly rather than requiring entirely new foundations.

Core claim

Transmutation stacks can be introduced in the supergeometric setting as geometric realizations of the relevant sheaves and modules, and the derived category theory developed on superstacks supports base change and recollement; together these give new proofs of Penkov's theorems on D-modules and the equality of de Rham and super de Rham cohomology.

What carries the argument

Transmutation stacks (Betti, de Rham, and Dolbeault versions) together with the derived categories on superstacks that admit base change and recollement.

If this is right

  • New proofs exist for Penkov's results on D-modules using the transmutation stack approach.
  • The isomorphism between de Rham cohomology and super de Rham cohomology follows from the stacky realization.
  • Base change and recollement theorems hold in the derived categories of superstacks.
  • Methods developed for derived algebraic geometry transfer to supergeometry because of their shared geometric features.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same stacky constructions might simplify other cohomology calculations that mix super and derived structures.
  • Concrete examples of superstacks could now be used to test recollement explicitly and see the limits of the transfer.
  • If the approach scales, it could produce new invariants for super moduli spaces that were hard to access before.

Load-bearing premise

Geometric similarities between derived algebraic geometry and supergeometry permit the same considerations when adapting classical notions such as base change and recollement to the super setting.

What would settle it

An explicit superstack where the base change theorem for the derived category fails or where the stacky construction does not recover the known isomorphism between de Rham and super de Rham cohomology.

read the original abstract

We study the stacky approach to cohomology in the super setting. We introduce the classic transmutation stacks (Betti, de Rham and Dolbeault) due to Simpson, which are geometric realizations of locally constant sheaves, D-modules and Higgs bundles respectively and we give new proofs for results due to Penkov on $D$-Modules and the isomorphism between de Rham cohomology and super de Rham cohomology. To do this, we will develop the theory of derived categories on superstacks establishing, amongst others, base change and recollement theorems. The goal of this paper is to demonstrate the usage of ideas and methods coming from derived algebraic geometry in the supergeometric setting as derived and super have geometric similarities, which lead to the same considerations when adapting classical notions to their respective settings.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript develops a stacky approach to cohomology in supergeometry. It introduces transmutation stacks (Betti, de Rham, and Dolbeault) as geometric realizations of locally constant sheaves, D-modules, and Higgs bundles in the super setting, following Simpson's constructions. The paper develops the theory of derived categories on superstacks, establishing base change and recollement theorems, and uses these to give new proofs of results due to Penkov on D-modules and the isomorphism between de Rham cohomology and super de Rham cohomology. The central motivation is the transfer of methods from derived algebraic geometry to supergeometry based on their geometric similarities.

Significance. If the constructions and proofs hold, the work provides a bridge between derived algebraic geometry and supergeometry, supplying new proofs for existing results in the super setting and demonstrating the adaptability of stacky and derived-categorical techniques. This could facilitate further cross-fertilization between the fields, particularly in the study of cohomology theories on superstacks.

minor comments (2)
  1. [Abstract] Abstract: the claim of 'new proofs for results due to Penkov' would be strengthened by naming the specific theorems being reproved (e.g., which statements on D-modules or the de Rham/super de Rham isomorphism).
  2. The manuscript should include a brief comparison table or diagram contrasting the classical Simpson transmutation stacks with their supergeometric counterparts to clarify the adaptations made.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the recognition of its potential to bridge derived algebraic geometry and supergeometry, and the recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper cites Simpson for the definition of transmutation stacks and Penkov for the target results on D-modules and de Rham/super de Rham isomorphism, then develops base change, recollement, and derived categories on superstacks to supply new proofs. These steps are presented as adaptations justified by geometric similarities between derived AG and supergeometry, with no equations or constructions shown to reduce by definition to the cited inputs. No self-citations appear, no fitted parameters are relabeled as predictions, and no uniqueness theorems are imported from the author's own prior work. The derivation chain therefore remains independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract, no concrete free parameters, axioms, or invented entities are identifiable; the work relies on standard background from derived algebraic geometry and supergeometry.

pith-pipeline@v0.9.1-grok · 5653 in / 1145 out tokens · 28754 ms · 2026-06-27T19:13:41.955841+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

76 extracted references · 10 canonical work pages · 3 internal anchors

  1. [1]

    An admissible level osp\^

    Snadden, John and Ridout, David and Wood, Simon , journal=. An admissible level osp\^. 2018 , publisher=

    2018

  2. [2]

    2025 , eprint=

    Fenchel-Nielsen coordinates for SL(3,C) representations , author=. 2025 , eprint=

    2025

  3. [3]

    Supersymmetry in noncommutative superspaces , volume=

    Ferrara, Sergio and Lledó, María A and Maciá, Oscar , year=. Supersymmetry in noncommutative superspaces , volume=. Journal of High Energy Physics , publisher=. doi:10.1088/1126-6708/2003/09/068 , number=

    work page doi:10.1088/1126-6708/2003/09/068 2003

  4. [4]

    Shear coordinates on the super Teichm

    Bouschbacher, Fabien , year=. Shear coordinates on the super Teichm

  5. [5]

    Quantum Moduli Spaces of Flat Connections

    Quantum moduli spaces of flat connections , author=. arXiv preprint q-alg/9612037 , year=

    work page internal anchor Pith review Pith/arXiv arXiv

  6. [6]

    1996 , publisher=

    Invariant theory , author=. 1996 , publisher=

    1996

  7. [7]

    Communications in Mathematical Physics , volume=

    The first fundamental theorem of invariant theory for the orthosymplectic supergroup , author=. Communications in Mathematical Physics , volume=. 2017 , publisher=

    2017

  8. [8]

    Lecture Notes in Mathematics , volume=

    Supergeometry, super Riemann surfaces and the superconformal action functional , author=. Lecture Notes in Mathematics , volume=. 2018 , publisher=

    2018

  9. [9]

    Advances in Mathematics , volume=

    The first fundamental theorem of invariant theory for the orthosymplectic super group , author=. Advances in Mathematics , volume=. 2018 , publisher=

    2018

  10. [10]

    Lie supergroups vs. super Harish-Chandra pairs: a new equivalence

    Lie supergroups vs. super Harish-Chandra pairs: a new equivalence , author=. arXiv preprint arXiv:1609.02844 , year=

    work page internal anchor Pith review Pith/arXiv arXiv

  11. [11]

    Transactions of the American Mathematical Society , volume=

    Algebraic supergroups and Harish-Chandra pairs over a commutative ring , author=. Transactions of the American Mathematical Society , volume=

  12. [12]

    2017 , publisher=

    Algebraic groups: the theory of group schemes of finite type over a field , author=. 2017 , publisher=

    2017

  13. [13]

    Decorated super-Teichm

    Penner, RC and Zeitlin, Anton M , journal=. Decorated super-Teichm. 2019 , publisher=

    2019

  14. [14]

    A direct calculation of super-Teichm

    Hodgkin, Luke , journal=. A direct calculation of super-Teichm. 1987 , publisher=

    1987

  15. [15]

    The Weil-Petersson K

    Uehara, Shozo and Yasui, Yukinori , journal=. The Weil-Petersson K. 1990 , publisher=

    1990

  16. [16]

    Bulletin of the American Mathematical Society , volume=

    The invariants of n n matrices , author=. Bulletin of the American Mathematical Society , volume=

  17. [17]

    1994 , publisher=

    Geometric invariant theory , author=. 1994 , publisher=

    1994

  18. [18]

    Transactions of the American Mathematical Society , volume=

    Character varieties , author=. Transactions of the American Mathematical Society , volume=

  19. [19]

    preprint available at http://www

    An exposition of results of Fricke and Vogt , author=. preprint available at http://www. math. umd. edu/wmg/publications. html , year=

  20. [20]

    Annals of Mathematics , volume=

    The fenchel-nielsen deformation , author=. Annals of Mathematics , volume=. 1982 , publisher=

    1982

  21. [21]

    On BV supermanifolds and the super Atiyah class , volume=

    Noja, Simone , year=. On BV supermanifolds and the super Atiyah class , volume=. European Journal of Mathematics , publisher=. doi:10.1007/s40879-023-00603-6 , number=

    work page doi:10.1007/s40879-023-00603-6

  22. [22]

    Norbury, J

    Enumerative geometry via the moduli space of super Riemann surfaces , author=. arXiv preprint arXiv:2005.04378 , year=

    work page arXiv 2005

  23. [23]

    Vorlesungen

    Fricke, Robert and Klein, Felix , volume=. Vorlesungen. 1897 , publisher=

  24. [24]

    Sur les invariants fondamentaux des

    Vogt, Henry , booktitle=. Sur les invariants fondamentaux des

  25. [25]

    Hilbert and Picard superschemes , author=

    Notes on fundamental algebraic supergeometry. Hilbert and Picard superschemes , author=. Advances in Mathematics , volume=. 2023 , publisher=

    2023

  26. [26]

    Transformation groups , volume=

    On complex Lie supergroups and split homogeneous supermanifolds , author=. Transformation groups , volume=. 2011 , publisher=

    2011

  27. [27]

    2020 , eprint=

    JT Gravity and the Ensembles of Random Matrix Theory , author=. 2020 , eprint=

    2020

  28. [28]

    Illinois Journal of Mathematics , volume=

    Semisimplicity of 2 -graded Lie algebras, II , author=. Illinois Journal of Mathematics , volume=. 1976 , publisher=

    1976

  29. [29]

    2021 , eprint=

    Two geometric proofs of the classification of algebraic supergroups with semisimple representation theory , author=. 2021 , eprint=

    2021

  30. [30]

    Eigenvalues and eigenvectors of supermatrices , author=

  31. [31]

    arXiv preprint arXiv:1706.04910 , year=

    Moduli and periods of supersymmetric curves , author=. arXiv preprint arXiv:1706.04910 , year=

    work page arXiv

  32. [32]

    Nielsen's theorem and the super-Teichm

    Bryant, P and Hodgkin, L , booktitle=. Nielsen's theorem and the super-Teichm

  33. [33]

    Inventiones mathematicae , volume=

    Topological components of spaces of representations , author=. Inventiones mathematicae , volume=. 1988 , publisher=

    1988

  34. [34]

    Deligne, Pierre , journal=. Cat

  35. [35]

    Annales scientifiques de l'Ecole normale sup

    The line bundles on the moduli of parabolic G -bundles over curves and their sections , author=. Annales scientifiques de l'Ecole normale sup

  36. [36]

    1985 , publisher=

    Varieties of representations of finitely generated groups , author=. 1985 , publisher=

    1985

  37. [37]

    , title =

    Sauer, Lukas D. , title =. 2020 , type =

    2020

  38. [38]

    Advances in Mathematics , volume=

    The symplectic nature of fundamental groups of surfaces , author=. Advances in Mathematics , volume=. 1984 , publisher=

    1984

  39. [39]

    A note on character varieties , author =

  40. [40]

    1997 , publisher=

    Gauge field theory and complex geometry , author=. 1997 , publisher=

    1997

  41. [41]

    Journal of Soviet Mathematics , volume=

    Elements of supergeometry , author=. Journal of Soviet Mathematics , volume=. 1990 , publisher=

    1990

  42. [42]

    arXiv preprint arXiv:2505.19899 , year=

    Foundations of superstack theory , author=. arXiv preprint arXiv:2505.19899 , year=

    work page arXiv

  43. [43]

    Annales de l'Institut Fourier , volume=

    Spherical supervarieties , author=. Annales de l'Institut Fourier , volume=

  44. [44]

    Transactions of the American Mathematical Society , volume=

    The structure of supermanifolds , author=. Transactions of the American Mathematical Society , volume=

  45. [45]

    Inventiones mathematicae , volume=

    Simple geodesics and Weil-Petersson volumes of moduli spaces of bordered Riemann surfaces , author=. Inventiones mathematicae , volume=. 2007 , publisher=

    2007

  46. [46]

    2009 , publisher=

    Superrings and supergroups , author=. 2009 , publisher=

    2009

  47. [47]

    Journal of Algebra , volume=

    Generators, relations and symmetries in pairs of 3 3 unimodular matrices , author=. Journal of Algebra , volume=. 2007 , publisher=

    2007

  48. [48]

    Journal of Geometry and Physics , pages=

    Supermoduli Space with Ramond punctures is not projected , author=. Journal of Geometry and Physics , pages=. 2025 , publisher=

    2025

  49. [49]

    Inventiones mathematicae , volume=

    D-modules on supermanifolds , author=. Inventiones mathematicae , volume=. 1983 , publisher=

    1983

  50. [50]

    2010 , school=

    Decomposition of conformal blocks , author=. 2010 , school=

    2010

  51. [51]

    Integrable systems in quantum field theory and statistical mechanics , pages=

    Conformal field theory on universal family of stable curves with gauge symmetries , author=. Integrable systems in quantum field theory and statistical mechanics , pages=. 1989 , publisher=

    1989

  52. [52]

    Journal of Mathematics of Kyoto University , volume=

    On the coordinate-free description of the conformal blocks , author=. Journal of Mathematics of Kyoto University , volume=. 1993 , publisher=

    1993

  53. [53]

    Forum of Mathematics, Sigma , volume=

    Dirac geometry II: Coherent cohomology , author=. Forum of Mathematics, Sigma , volume=. 2024 , organization=

    2024

  54. [54]

    Lurie, Jacob , title =

  55. [55]

    2017 , howpublished =

    Lurie, Jacob , title =. 2017 , howpublished =

    2017

  56. [56]

    Six-functor formalisms

    Six-functor formalisms , author=. arXiv preprint arXiv:2510.26269 , year=

    work page arXiv

  57. [57]

    Communications in mathematical physics , volume=

    Superconformal current algebras and their unitary representations , author=. Communications in mathematical physics , volume=. 1985 , publisher=

    1985

  58. [58]

    Pure and Applied Mathematics Quarterly , volume=

    Crystals and D-modules , author=. Pure and Applied Mathematics Quarterly , volume=. 2023 , publisher=

    2023

  59. [59]

    Compositio Mathematica , volume=

    Topological K-theory of complex noncommutative spaces , author=. Compositio Mathematica , volume=. 2016 , publisher=

    2016

  60. [60]

    2019 , publisher=

    A study in derived algebraic geometry: Volume I: correspondences and duality , author=. 2019 , publisher=

    2019

  61. [61]

    Dirac Geometry I: Commutative Algebra: L

    Hesselholt, Lars and Pstr. Dirac Geometry I: Commutative Algebra: L. Hesselholt, P. Pstr. Peking Mathematical Journal , volume=. 2025 , publisher=

    2025

  62. [62]

    2008 , publisher=

    Homotopical Algebraic Geometry II: Geometric Stacks and Applications: Geometric Stacks and Applications , author=. 2008 , publisher=

    2008

  63. [63]

    Journal of Geometry and Physics , volume=

    Artin's theorems in supergeometry , author=. Journal of Geometry and Physics , volume=. 2023 , publisher=

    2023

  64. [64]

    https://mathoverflow.net/q/390095 , URL =

    Constructions with Superschemes via Kan extensions , AUTHOR =. https://mathoverflow.net/q/390095 , URL =

  65. [65]

    Annals of Mathematics , volume=

    Purity for flat cohomology , author=. Annals of Mathematics , volume=. 2024 , publisher=

    2024

  66. [66]

    2026 , note =

    Alper, Jarod , title =. 2026 , note =

    2026

  67. [67]

    2022 , note =

    Bhatt, Bhargav , title =. 2022 , note =

    2022

  68. [68]

    arXiv preprint arXiv:2412.18585 , year=

    The Neveu-Schwarz group and Schwarz's extended super Mumford form , author=. arXiv preprint arXiv:2412.18585 , year=

    work page arXiv

  69. [69]

    , title =

    Khan, Adeel A. , title =. Moduli Spaces, Virtual Invariants and Shifted Symplectic Structures , series =. 2025 , publisher =

    2025

  70. [70]

    Algebraic aspects of higher nonabelian Hodge theory

    Algebraic aspects of higher nonabelian Hodge theory , author=. arXiv preprint math/9902067 , year=

    work page internal anchor Pith review Pith/arXiv arXiv

  71. [71]

    2025 , eprint=

    Quasi-coherent sheaves and D-modules in Derived Differential Supergeometry , author=. 2025 , eprint=

    2025

  72. [72]

    2024 , url =

    Cai, Merrick , title =. 2024 , url =

    2024

  73. [73]

    2020 , url =

    Porta, Mauro and Sala, Francesco , title =. 2020 , url =

    2020

  74. [74]

    2024 , eprint=

    Prismatization , author=. 2024 , eprint=

    2024

  75. [75]

    2022 , howpublished =

    Bhatt, Bhargav and Lurie, Jacob , title =. 2022 , howpublished =

    2022

  76. [76]

    Monatshefte f

    Generic representations of classical Lie superalgebras and their localization , author=. Monatshefte f. 1994 , publisher=

    1994