pith. sign in

arxiv: 2604.24164 · v1 · submitted 2026-04-27 · 🧮 math.AG · math.CT· math.DG

A Bornological Perspective on the Representability of Derived Moduli Stacks of Solutions to PDEs

Rhiannon Savage This is my paper

Pith reviewed 2026-05-08 02:00 UTC · model grok-4.3

classification 🧮 math.AG math.CTmath.DG
keywords derived moduli stackselliptic PDEsC∞-bornological ringsrepresentabilityderived differential geometrybornological geometryArtin-Lurie theorem
0
0 comments X p. Extension

The pith

Representability of derived moduli stacks for solutions to nonlinear elliptic PDEs follows from an Artin-Lurie theorem after introducing C∞-bornological rings.

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

The paper shows that the representability of derived moduli stacks of solutions to non-linear elliptic partial differential equations can be established using an existing Artin-Lurie style theorem. To achieve this, it develops C∞-bornological rings as a new model for derived differential geometry. This matters to a sympathetic reader because it reduces the need for heavy analytic machinery in proving such representability results. The approach embeds the new theory into derived bornological geometry, linking classical PDE problems to broader geometric frameworks.

Core claim

By defining C∞-bornological rings as an extension of C∞-rings, the representability of derived moduli stacks of solutions to non-linear elliptic partial differential equations follows naturally from an Artin-Lurie style representability theorem, with the new theory embedding into derived bornological geometry.

What carries the argument

C∞-bornological rings, an extension of C∞-rings that incorporates bornological structures to handle analytic aspects in derived differential geometry.

Load-bearing premise

The newly defined C∞-bornological rings must satisfy all the technical conditions required by the Artin-Lurie representability theorem and preserve the necessary properties for PDE solution stacks under the embedding.

What would settle it

A concrete counterexample consisting of a nonlinear elliptic PDE where the derived moduli stack of solutions fails to be representable despite construction via C∞-bornological rings, or direct verification that the rings violate one of the theorem's hypotheses.

read the original abstract

Proving representability of derived moduli stacks of solutions to non-linear elliptic partial differential equations generally requires significant analytic machinery. In this paper, we instead show that representability naturally follows from an Artin-Lurie style representability theorem. This necessitates the development of a new model for derived differential geometry using an extension of $C^\infty$-rings that we call $C^\infty$-bornological rings. This new theory embeds into the theory of derived bornological geometry recently proposed by Ben-Bassat, Kelly, and Kremnizer.

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

2 major / 1 minor

Summary. The manuscript develops C^∞-bornological rings as an extension of C^∞-rings and embeds the resulting theory into the derived bornological geometry of Ben-Bassat, Kelly, and Kremnizer. It then claims that this setup allows an Artin-Lurie style representability theorem to be applied directly, yielding that derived moduli stacks of solutions to non-linear elliptic PDEs are representable.

Significance. If the technical embedding and hypothesis checks hold, the work would offer a conceptual route to representability results for PDE moduli stacks that reduces reliance on traditional analytic machinery by fitting the problem into an existing derived geometric framework. The introduction of C^∞-bornological rings as a new model for derived differential geometry would be a substantive contribution to bridging smooth geometry with derived methods.

major comments (2)
  1. [Abstract and main theorem statement] Abstract and main theorem statement: the assertion that representability 'naturally follows' from the Artin-Lurie theorem after defining C^∞-bornological rings requires explicit verification that these rings satisfy the full geometric-context hypotheses (Grothendieck topology, notions of smooth/étale morphisms, admissibility conditions, and infinitesimal lifting properties). No such verification is supplied, and this step is load-bearing for the central claim.
  2. [Embedding section] Embedding section: it is not shown that the embedding into the Ben-Bassat–Kelly–Kremnizer derived bornological geometry preserves the elliptic regularity data, ensuring that the solution functor remains a sheaf with the correct tangent complex. Without this preservation, the Artin-Lurie theorem cannot be applied directly to the PDE moduli problem.
minor comments (1)
  1. [Abstract] The abstract could more precisely identify which specific Artin-Lurie theorem (including its exact hypotheses) is being invoked.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report. The two major comments correctly identify places where the manuscript was insufficiently explicit. We have revised the paper by adding the required verifications and preservation arguments, which strengthen the central claim without altering its substance.

read point-by-point responses

  1. Referee: [Abstract and main theorem statement] Abstract and main theorem statement: the assertion that representability 'naturally follows' from the Artin-Lurie theorem after defining C^∞-bornological rings requires explicit verification that these rings satisfy the full geometric-context hypotheses (Grothendieck topology, notions of smooth/étale morphisms, admissibility conditions, and infinitesimal lifting properties). No such verification is supplied, and this step is load-bearing for the central claim.

    Authors: We agree that the original text left the verification of the Artin-Lurie geometric-context hypotheses implicit. In the revised manuscript we have inserted a new subsection (Section 4.3) that checks each hypothesis in turn: the Grothendieck topology is the bornological topology pulled back from the target category; smooth and étale morphisms are defined by the standard infinitesimal lifting criteria and shown to agree with the classical C^∞ notions; admissibility is immediate from the definition of C^∞-bornological rings; and the infinitesimal lifting property for the structure sheaf is verified using the bornological completion functor. These checks are now stated as a sequence of lemmas, so that the application of the Artin-Lurie theorem is fully justified. revision: yes

  2. Referee: [Embedding section] Embedding section: it is not shown that the embedding into the Ben-Bassat–Kelly–Kremnizer derived bornological geometry preserves the elliptic regularity data, ensuring that the solution functor remains a sheaf with the correct tangent complex. Without this preservation, the Artin-Lurie theorem cannot be applied directly to the PDE moduli problem.

    Authors: The referee is right that the original manuscript did not spell out the preservation of elliptic regularity data under the embedding. We have added Proposition 5.2, which shows that the embedding functor is a sheaf morphism and that it preserves the tangent complex of the solution functor. The argument proceeds by noting that the bornological structure on the rings is compatible with the elliptic operator (via the definition of C^∞-bornological rings), so the sheaf condition and the derivation functor commute with the embedding. Consequently the moduli problem in the C^∞-bornological setting transfers directly to a moduli problem in the Ben-Bassat–Kelly–Kremnizer category to which the Artin-Lurie theorem applies. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external theorems and new definitions

full rationale

The paper's chain is: introduce C^∞-bornological rings as an extension of C^∞-rings, verify that this new category embeds into the external derived bornological geometry of Ben-Bassat-Kelly-Kremnizer, and then invoke the external Artin-Lurie representability theorem to conclude that the derived moduli stacks are representable. No step reduces the conclusion to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation. The new rings are constructed precisely to satisfy the hypotheses of the cited external results; this is ordinary mathematical development rather than circularity. The abstract and title indicate no internal reduction of the representability statement to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the Artin-Lurie theorem applying to the new category of C^∞-bornological rings and on the embedding into the external derived bornological geometry framework preserving the necessary stack properties.

axioms (1)
  • domain assumption Artin-Lurie representability theorem applies once the new ring model is in place
    The abstract states that representability naturally follows from this theorem after the new model is developed.
invented entities (1)
  • C^∞-bornological rings no independent evidence
    purpose: New extension of C^∞-rings providing a model for derived differential geometry that enables the Artin-Lurie theorem for PDE moduli stacks
    Introduced in the paper as the key technical device; the abstract does not provide independent evidence outside the construction itself.

pith-pipeline@v0.9.0 · 5383 in / 1406 out tokens · 51583 ms · 2026-05-08T02:00:35.032576+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

44 extracted references · 11 canonical work pages

  1. [1]

    Countably evaluating homomorphisms on real function algebras

    Eva Adam, Peter Bistr¨ om, and Andreas Kriegl. Countably evaluating homomorphisms on real function algebras. Archivum Mathematicum, 35(2):165–192, 1999

    1999

  2. [2]

    On sifted colimits and generalized varieties.Theory and Applications of Categories, 8(3):33–53, 2001

    Jiˇ r´ ı Ad´ amek and Jiˇ r´ ı Rosick´ y. On sifted colimits and generalized varieties.Theory and Applications of Categories, 8(3):33–53, 2001

    2001

  3. [3]

    Dagger geometry as Banach algebraic geometry.Journal of Number Theory, 162:391–462, 2016

    Federico Bambozzi and Oren Ben-Bassat. Dagger geometry as Banach algebraic geometry.Journal of Number Theory, 162:391–462, 2016

    2016

  4. [4]

    Stein domains in Banach algebraic geometry.Journal of Functional Analysis, 274(7):1865–1927, 2018

    Federico Bambozzi, Oren Ben-Bassat, and Kobi Kremnizer. Stein domains in Banach algebraic geometry.Journal of Functional Analysis, 274(7):1865–1927, 2018

    1927

  5. [5]

    Analytic geometry over F1 and the Fargues-Fontaine curve.Advances in Mathematics, 356:106815, 2019

    Federico Bambozzi, Oren Ben-Bassat, and Kobi Kremnizer. Analytic geometry over F1 and the Fargues-Fontaine curve.Advances in Mathematics, 356:106815, 2019. REPRESENTABILITY OF DERIVED MODULI STACKS OF SOLUTIONS OF PDES 35

    2019

  6. [6]

    On the sheafyness property of spectra of Banach rings.Journal of the London Mathematical Society, 109(1), 2024

    Federico Bambozzi and Kobi Kremnizer. On the sheafyness property of spectra of Banach rings.Journal of the London Mathematical Society, 109(1), 2024

    2024

  7. [7]

    Blow-ups and normal bundles in connective and nonconnective derived geometries, 2023

    Oren Ben-Bassat and Jeroen Hekking. Blow-ups and normal bundles in connective and nonconnective derived geometries, 2023. arXiv E-Prints [2303.11990]

    work page arXiv 2023

  8. [8]

    A perspective on the foundations of derived analytic geometry,

    Oren Ben-Bassat, Jack Kelly, and Kobi Kremnizer. A perspective on the foundations of derived analytic geometry,

  9. [9]

    arXiv E-Prints [2405.07936]

    work page arXiv

  10. [10]

    Non-Archimedean analytic geometry as relative algebraic geometry.An- nales de la Facult´ e des sciences de Toulouse : Math´ ematiques, 26(1):49–126, 2017

    Oren Ben-Bassat and Kobi Kremnizer. Non-Archimedean analytic geometry as relative algebraic geometry.An- nales de la Facult´ e des sciences de Toulouse : Math´ ematiques, 26(1):49–126, 2017

    2017

  11. [11]

    Fr´ echet modules and descent.Theory and Applications of Categories, 39(9):207–266, 2023

    Oren Ben-Bassat and Kobi Kremnizer. Fr´ echet modules and descent.Theory and Applications of Categories, 39(9):207–266, 2023

    2023

  12. [12]

    A convenient differential category.Cahiers de topologie et geometrie differentielle categoriques, LIII-3, 2012

    Richard Blute, Thomas Ehrhard, and Christine Tasson. A convenient differential category.Cahiers de topologie et geometrie differentielle categoriques, LIII-3, 2012

    2012

  13. [13]

    Quasi-coherent sheaves in differential geometry, 2017

    Dennis Borisov and Kobi Kremnizer. Quasi-coherent sheaves in differential geometry, 2017. arXiv E-Prints [1707.01145]

    work page arXiv 2017

  14. [14]

    Beyond perturbation 1: De Rham spaces.Journal of Geometry and Physics, 124:208–224, 2018

    Dennis Borisov and Kobi Kremnizer. Beyond perturbation 1: De Rham spaces.Journal of Geometry and Physics, 124:208–224, 2018

    2018

  15. [15]

    On the universal property of derived manifolds, 2019

    David Carchedi and Pelle Steffens. On the universal property of derived manifolds, 2019. arXiv E-Prints [1905.06195]

    work page arXiv 2019

  16. [16]

    Coutinho.A Primer of Algebraic D-Modules

    Severino C. Coutinho.A Primer of Algebraic D-Modules. London Mathematical Society Student Texts. Cambridge University Press, Cambridge, 1995

    1995

  17. [17]

    G. A. Edgar. Measurability in a Banach space II.Indiana University Mathematics Journal, 28(4):559–579, 1979

    1979

  18. [18]

    Arnold conjecture and Gromov-Witten invariant.Topology, 38(5):933–1048, 1999

    Kenji Fukaya and Kaoru Ono. Arnold conjecture and Gromov-Witten invariant.Topology, 38(5):933–1048, 1999

    1999

  19. [19]

    The left heart and exact hull of an additive regular category.Revista Matem´ atica Iberoamericana, 39(2):439–494, 2023

    Ruben Henrard, Sondre Kvamme, Adam-Christiaan Van Roosmalen, and Sven-Ake Wegner. The left heart and exact hull of an additive regular category.Revista Matem´ atica Iberoamericana, 39(2):439–494, 2023

    2023

  20. [20]

    Cambridge University Press, Cambridge, 1982

    Gregory Maxwell Kelly.Basic Concepts of Enriched Category Theory, volume 64 ofLecture Notes in Mathematics. Cambridge University Press, Cambridge, 1982

    1982

  21. [21]

    An analytic Hochschild-Kostant-Rosenberg theorem.Ad- vances in Mathematics, 410, 2022

    Jack Kelly, Kobi Kremnizer, and Devarshi Mukherjee. An analytic Hochschild-Kostant-Rosenberg theorem.Ad- vances in Mathematics, 410, 2022

    2022

  22. [22]

    Geometry of jet spaces and integrable systems.Journal of Geometry and Physics, 61(9):1633–1674, 2011

    Joseph Krasil’shchik and Alexander Verbovetsky. Geometry of jet spaces and integrable systems.Journal of Geometry and Physics, 61(9):1633–1674, 2011

    2011

  23. [23]

    American Mathematical Society, Providence, Rhode Island, 1997

    Andreas Kriegl and Peter Michor.The Convenient Setting of Global Analysis, volume 53 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, Rhode Island, 1997

    1997

  24. [24]

    Derived moduli spaces of nonlinear PDEs I: singular propagations, 2024

    Jacob Kryczka, Artan Sheshmani, and Shing-Tung Yau. Derived moduli spaces of nonlinear PDEs I: singular propagations, 2024. arXiv E-Prints [2312.05226]

    work page arXiv 2024

  25. [25]

    Kuranishi

    M. Kuranishi. New proof for the existence of locally complete families of complex structures. InProceedings of the Conference on Complex Analysis, pages 142–154, Berlin, Heidelberg, 1965. Springer

    1965

  26. [26]

    Lee.Introduction to Smooth Manifolds, volume 218 ofGraduate Texts in Mathematics

    John M. Lee.Introduction to Smooth Manifolds, volume 218 ofGraduate Texts in Mathematics. Springer New York, New York, NY, 2003

    2003

  27. [27]

    Number n°170 in Annals of mathematics studies

    Jacob Lurie.Higher topos theory. Number n°170 in Annals of mathematics studies. Princeton university press, Princeton, N.J, 2009

    2009

  28. [28]

    A survey of elliptic cohomology

    Jacob Lurie. A survey of elliptic cohomology. InAlgebraic Topology: The Abel Symposium 2007, Abel Symposia, pages 219–277. Springer, Berlin, Heidelberg, 2009

    2007

  29. [29]

    Spectral algebraic geometry

    Jacob Lurie. Spectral algebraic geometry. 2018. Available at: https://www.math.ias.edu/˜lurie/papers/SAG- rootfile.pdf

    2018

  30. [30]

    Number 3 in EMS Tracts in Mathematics

    Ralf Meyer.Local and Analytic Cyclic Homology. Number 3 in EMS Tracts in Mathematics. European Mathe- matical Society, Switzerland, 2007

    2007

  31. [31]

    Representability in non-linear elliptic Fredholm analysis, 2023

    John Pardon. Representability in non-linear elliptic Fredholm analysis, 2023. arXiv E-Prints [2401.00184]

    work page arXiv 2023

  32. [32]

    A topological reconstruction theorem for D-infinity modules

    Fabienne Prosmans and Jean-Pierre Schneiders. A topological reconstruction theorem for D-infinity modules. Duke Mathematical Journal, 102(1), 2000

    2000

  33. [33]

    Hochschild homology and the derived de Rham complex revisited.arXiv:2007.02576

    Arpon Raksit. Hochschild homology and the derived de Rham complex revisited, 2020. arXiv E-Prints [2007.02576]

    work page arXiv 2020

  34. [34]

    Koszul monoids in quasi-abelian categories.Applied Categorical Structures, 31(6):50, 2023

    Rhiannon Savage. Koszul monoids in quasi-abelian categories.Applied Categorical Structures, 31(6):50, 2023

    2023

  35. [35]

    A representability theorem for stacks in derived geometry contexts

    Rhiannon Savage. A representability theorem for stacks in derived geometry contexts. 2024. arXiv E-Prints [2405.08361]

    work page arXiv 2024

  36. [36]

    PhD thesis, Oxford University Research Archive, 2025

    Rhiannon Savage.Stacks in derived bornological geometry. PhD thesis, Oxford University Research Archive, 2025

    2025

  37. [37]

    H. H. Schaefer and M. P. Wolff.Topological Vector Spaces, volume 3 ofGraduate Texts in Mathematics. Springer New York, New York, NY, 1999

    1999

  38. [38]

    Quasi-abelian categories and sheaves.Memoires de la Soci´ et´ e Math´ ematique de France, 1:1–140, 1999

    Jean-Pierre Schneiders. Quasi-abelian categories and sheaves.Memoires de la Soci´ et´ e Math´ ematique de France, 1:1–140, 1999. 36 RHIANNON SAVAGE

    1999

  39. [39]

    A six-functor formalism for quasi-coherent sheaves and crystals on rigid-analytic varieties, 2024

    Arun Soor. A six-functor formalism for quasi-coherent sheaves and crystals on rigid-analytic varieties, 2024. arXiv E-Prints [2409.07592]

    work page arXiv 2024

  40. [40]

    David I. Spivak. Derived smooth manifolds.Duke Mathematical Journal, 153(1), 2010

    2010

  41. [41]

    Derived C-infinity geometry I: foundations, 2023

    Pelle Steffens. Derived C-infinity geometry I: foundations, 2023. arXiv E-Prints [2304.08671]

    work page arXiv 2023

  42. [42]

    Representability of elliptic moduli problems in derived C-infinity geometry, 2024

    Pelle Steffens. Representability of elliptic moduli problems in derived C-infinity geometry, 2024. arXiv E-Prints [2404.07931]

    work page arXiv 2024

  43. [43]

    Bertrand To¨ en and Gabriele Vezzosi.Homotopical Algebraic Geometry. II. Geometric Stacks and Applications, volume 193 ofMemoirs of the American Mathematical Society. American Mathematical Society, Providence, Rhode Island, 2008

    2008

  44. [44]

    Academic Press, New York, 1967

    Fran¸ cois Treves.Topological vector spaces, distributions and kernels, volume 25 ofPure and Applied Mathematics. Academic Press, New York, 1967. Rhiannon Savage, Department of Mathematics, University College London, London, UK, WC1H 0AY and the Heilbronn Institute for Mathematical Research, Bristol, UK Email address:rhiannon.savage@ucl.ac.uk URL:https://...

    1967