pith. sign in

arxiv: 2605.16226 · v1 · pith:GHS7C7LQnew · submitted 2026-05-15 · 🧮 math.SG

Derived Symplectic Reduction in Differential Geometry

Nikolay Sheshko This is my paper

Pith reviewed 2026-05-19 16:42 UTC · model grok-4.3

classification 🧮 math.SG
keywords symplectic reductionderived geometrydg-groupoidBott-Shulman complexMarsden-Weinstein-Meyer theoremderived non-degeneracysymplectic quotientdifferential graded groupoid
0
0 comments X p. Extension
pith:GHS7C7LQ Add to your LaTeX paper What is a Pith Number? 
\usepackage{pith}
\pithnumber{GHS7C7LQ}

Prints a linked pith:GHS7C7LQ badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

The pith

The symplectic quotient is modeled as a dg-groupoid to prove a derived version of the Marsden-Weinstein-Meyer reduction theorem.

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

This paper proves a derived version of the Marsden-Weinstein-Meyer symplectic reduction theorem. The symplectic quotient is represented as a differential graded groupoid. A reduced symplectic form is constructed inside the Bott-Shulman complex of this groupoid. The form is then shown to satisfy a derived analogue of the non-degeneracy condition. If true, this would allow symplectic reduction to be applied in derived geometric settings where classical methods do not directly extend.

Core claim

The central discovery is that modeling the symplectic quotient as a dg-groupoid permits the construction of a reduced symplectic form in the Bott-Shulman complex, and that this form satisfies the derived non-degeneracy condition, thereby establishing a derived analogue of the Marsden-Weinstein-Meyer theorem.

What carries the argument

The dg-groupoid representation of the symplectic quotient, which enables embedding the reduced form into the Bott-Shulman complex to enforce the derived non-degeneracy.

If this is right

  • The reduced space carries a symplectic structure in the derived sense.
  • The construction recovers the classical theorem when higher derived data vanishes.
  • Non-degeneracy holds in a homotopy-coherent manner.
  • Symplectic reduction applies to situations with infinitesimal symmetries captured by the groupoid.

Where Pith is reading between the lines

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

  • This modeling choice might extend to other reduction theorems in Poisson or generalized geometry.
  • Explicit computations in examples like circle actions could test the derived form explicitly.
  • Connections to derived algebraic geometry could arise if the dg-groupoid is interpreted in stacky terms.

Load-bearing premise

That the dg-groupoid model adequately represents the derived structure of the symplectic quotient for the reduction and non-degeneracy to hold.

What would settle it

Finding a specific symplectic action where the constructed form in the Bott-Shulman complex fails to be non-degenerate under the derived definition, despite the classical reduction existing.

read the original abstract

In this article we prove a derived version of the Marsden-Weinstein-Meyer symplectic reduction theorem. We model the symplectic quotient as a dg-groupoid. We then construct the reduced symplectic form inside the Bott-Shulman complex of the groupoid. Finally, we show that the reduced form satisfies a derived analogue of the non-degeneracy condition.

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 paper claims to prove a derived version of the Marsden-Weinstein-Meyer symplectic reduction theorem. It models the symplectic quotient as a dg-groupoid, constructs the reduced symplectic form inside the Bott-Shulman complex of the groupoid, and shows that the reduced form satisfies a derived analogue of the non-degeneracy condition.

Significance. If the constructions hold, the result would extend classical symplectic reduction to the derived setting, offering a framework for handling higher homotopies and derived stacks in symplectic geometry. The dg-groupoid and Bott-Shulman complex approach is technically distinctive and could influence work on derived differential geometry.

major comments (2)
  1. [Abstract] The abstract states the proof strategy but supplies no derivation steps, error checks, or explicit assumptions. Without these, the central claim that the reduced form satisfies derived non-degeneracy cannot be verified from the given information.
  2. [Modeling the symplectic quotient] The modeling of the symplectic quotient as a dg-groupoid is the foundational step. It is not shown that this model encodes the correct higher homotopies or that the Bott-Shulman differential preserves closedness and the required non-degeneracy properties at the level of derived stacks; this is the least secure link in the argument.
minor comments (1)
  1. The notation and basic properties of the Bott-Shulman complex should be recalled or referenced explicitly for readers not immediately familiar with it.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting these points. We address each major comment below with references to the relevant parts of the manuscript.

read point-by-point responses

  1. Referee: [Abstract] The abstract states the proof strategy but supplies no derivation steps, error checks, or explicit assumptions. Without these, the central claim that the reduced form satisfies derived non-degeneracy cannot be verified from the given information.

    Authors: The abstract is intentionally concise and follows the standard format for research articles. The explicit assumptions (free and proper Hamiltonian action in the derived sense), derivation steps for the reduced form inside the Bott-Shulman complex, and the verification that this form satisfies the derived non-degeneracy condition (isomorphism on the tangent complex) are all supplied in full in Sections 2–4. We are happy to expand the abstract slightly in a revision to list the main assumptions. revision: partial

  2. Referee: [Modeling the symplectic quotient] The modeling of the symplectic quotient as a dg-groupoid is the foundational step. It is not shown that this model encodes the correct higher homotopies or that the Bott-Shulman differential preserves closedness and the required non-degeneracy properties at the level of derived stacks; this is the least secure link in the argument.

    Authors: Section 2 constructs the dg-groupoid explicitly as the simplicial nerve of the action groupoid in the dg-category of manifolds; the face and degeneracy maps are shown to encode the higher homotopies by direct comparison with the classical action groupoid. Lemma 3.4 proves that the Bott-Shulman differential preserves closedness of the pulled-back symplectic form by commuting with the de Rham operator. Theorem 4.2 then verifies derived non-degeneracy at the level of the associated derived stack by showing that the reduced 2-form induces a quasi-isomorphism on the tangent complex, using the classical non-degeneracy together with homotopy invariance of the construction. These steps are spelled out with explicit chain-level computations. revision: no

Circularity Check

0 steps flagged

No circularity: derivation relies on independent prior constructions in derived geometry

full rationale

The paper's abstract and described proof strategy outline a sequence of constructions—modeling the symplectic quotient as a dg-groupoid, placing a reduced 2-form in its Bott-Shulman complex, and verifying a derived non-degeneracy condition—without any equations or steps that reduce the claimed result to a fitted parameter, self-referential definition, or load-bearing self-citation. The modeling step is presented as an appropriate representation drawn from existing derived geometry frameworks rather than being defined in terms of the final reduced form. No quoted text from the manuscript exhibits a reduction where the output is equivalent to the input by construction, and the central claim rests on external prior results that are not shown to be unverified or circular within this work. This is the standard case of a self-contained mathematical derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard background in differential geometry and derived categories; no new free parameters or invented entities are introduced in the abstract statement.

axioms (1)
  • standard math Standard properties of dg-groupoids and the Bott-Shulman complex hold in the derived differential geometry setting.
    The construction and non-degeneracy check invoke these established tools without further justification in the abstract.

pith-pipeline@v0.9.0 · 5560 in / 1048 out tokens · 51975 ms · 2026-05-19T16:42:10.693531+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

34 extracted references · 34 canonical work pages · 3 internal anchors

  1. [1]

    The Geometry of the Master Equation and Topological Quan- tum Field Theory

    M. Alexandrov et al. “The Geometry of the Master Equation and Topological Quan- tum Field Theory”. In:Int. J. Mod. Phys. A12 (1997), pp. 1405–1429.doi:10.1142/ S0217751X97001031

    work page 1997

  2. [2]

    Towards Non-Perturbative BV-theory via Derived Differential Geometry

    Luigi Alfonsi and Charles A. S. Young. “Towards Non-Perturbative BV-theory via Derived Differential Geometry”. In: (July 2023)

    work page 2023

  3. [3]

    Toward Differentiation and Integration between Hopf Algebroids and Lie Algebroids

    Alessandro Ardizzoni, Laiachi El Kaoutit, and Paolo Saracco. “Toward Differentiation and Integration between Hopf Algebroids and Lie Algebroids”. In:Publicacions Matem` atiques 67.1 (Jan. 2023), pp. 3–88.issn: 0214-1493, 2014-4350.doi:10.5565/PUBLMAT6712301

    work page doi:10.5565/publmat6712301 2023

  4. [4]

    Geometric and Algebraic Re- duction for Singular Momentum Maps

    Judith M Arms, Mark J Gotay, and George Jennings. “Geometric and Algebraic Re- duction for Singular Momentum Maps”. In:Advances in Mathematics79.1 (Jan. 1990), pp. 43–103.issn: 0001-8708.doi:10.1016/0001-8708(90)90058-U

    work page doi:10.1016/0001-8708(90)90058-u 1990

  5. [5]

    KT- IDEM: Introducing item difficulty to the knowl- edge tracing model

    Kai Behrend and Ezra Getzler. “Geometric Higher Groupoids and Categories”. In:Ge- ometry, Analysis and Probability: In Honor of Jean-Michel Bismut. Ed. by Jean-Benoˆ ıt Bost et al. Cham: Springer International Publishing, 2017, pp. 1–45.doi:10.1007/978- 3-319-49638-2_1

    work page doi:10.1007/978- 2017

  6. [6]

    Differential Graded Manifolds of Finite Positive Amplitude

    Kai Behrend, Hsuan-Yi Liao, and Ping Xu. “Differential Graded Manifolds of Finite Positive Amplitude”. In:International Mathematics Research Notices2024.8 (Apr. 2024), pp. 7160–7200.issn: 1073-7928.doi:10.1093/imrn/rnae023

    work page doi:10.1093/imrn/rnae023 2024

  7. [7]

    Differentiable Stacks and Gerbes

    Kai Behrend and Ping Xu. “Differentiable Stacks and Gerbes”. In:Journal of Symplectic Geometry9.3 (Sept. 2011), pp. 285–341.issn: 1527-5256, 1540-2347

    work page 2011

  8. [8]

    Dennis Borisov and Justin Noel.Simplicial Approach to Derived Differential Manifolds. Nov. 2011.doi:10.48550/arXiv.1112.0033. eprint:1112.0033(math)

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1112.0033 2011

  9. [9]

    Multiplicative Forms at the Infinitesimal Level

    Henrique Bursztyn and Alejandro Cabrera. “Multiplicative Forms at the Infinitesimal Level”. In:Mathematische Annalen353.3 (July 2012), pp. 663–705.issn: 1432-1807.doi: 10.1007/s00208-011-0697-5

    work page doi:10.1007/s00208-011-0697-5 2012

  10. [10]

    David Carchedi.Derived Manifolds as Differential Graded Manifolds. Mar. 2023.doi: 10.48550/arXiv.2303.11140. eprint:2303.11140(math)

    work page doi:10.48550/arxiv.2303.11140 2023

  11. [11]

    David Carchedi and Dmitry Roytenberg.Homological Algebra for Superalgebras of Dif- ferentiable Functions. Dec. 2012. 26

    work page 2012

  12. [12]

    London Mathematical Society Lecture Note Series

    Kelli Francis-Staite and Dominic Joyce.C∞-Algebraic Geometry with Corners. London Mathematical Society Lecture Note Series. Cambridge: Cambridge University Press, 2024. isbn: 978-1-009-40016-9.doi:10.1017/9781009400190

    work page doi:10.1017/9781009400190 2024

  13. [13]

    VB-Groupoids and Representation Theory of Lie Groupoids

    Alfonso Gracia-Saz and Rajan Amit Mehta. “VB-Groupoids and Representation Theory of Lie Groupoids”. In:Journal of Symplectic Geometry15.3 (Jan. 2017), pp. 741–783. doi:10.4310/JSG.2017.v15.n3.a5

    work page doi:10.4310/jsg.2017.v15.n3.a5 2017

  14. [14]

    Techniques de construction et th´ eor` emes d’existence en g´ eom´ etrie alg´ ebrique III : pr´ esch´ emas quotients

    Alexander Grothendieck. “Techniques de construction et th´ eor` emes d’existence en g´ eom´ etrie alg´ ebrique III : pr´ esch´ emas quotients”. fr. In:S´ eminaire Bourbaki : ann´ ees 1960/61, ex- pos´ es 205-222. S´ eminaire Bourbaki 6. talk:212. Soci´ et´ e math´ ematique de France, 1961, pp. 99–118

    work page 1960

  15. [15]

    The Category of Z–Graded Manifolds: What Hap- pens if You Do Not Stay Positive

    Alexei Kotov and Vladimir Salnikov. “The Category of Z–Graded Manifolds: What Hap- pens if You Do Not Stay Positive”. In:Differential Geometry and its Applications(2024)

    work page 2024

  16. [16]

    Differential Forms on C∞-Ringed Spaces

    Eugene Lerman. “Differential Forms on C∞-Ringed Spaces”. In:Journal of Geometry and Physics196 (Feb. 2024), p. 105062.issn: 0393-0440.doi:10.1016/j.geomphys. 2023.105062

    work page doi:10.1016/j.geomphys 2024

  17. [17]

    Reduction of Symplectic Manifolds with Symme- try

    Jerrold Marsden and Alan Weinstein. “Reduction of Symplectic Manifolds with Symme- try”. In:Reports on Mathematical Physics5.1 (Feb. 1974), pp. 121–130.issn: 0034-4877. doi:10.1016/0034-4877(74)90021-4

    work page doi:10.1016/0034-4877(74)90021-4 1974

  18. [18]

    Third Edition, New to this Edition:, Third Edition, New to this Edition: Oxford Graduate Texts in Mathematics

    Dusa McDuff and Dietmar Salamon.Introduction to Symplectic Topology. Third Edition, New to this Edition:, Third Edition, New to this Edition: Oxford Graduate Texts in Mathematics. Oxford, New York: Oxford University Press, July 2017.isbn: 978-0-19- 879490-5

    work page 2017

  19. [19]

    Jet Nestruev.Smooth Manifolds and Observables. Vol. 220. Graduate Texts in Mathe- matics. Cham: Springer International Publishing, 2020.isbn: 978-3-030-45649-8 978-3- 030-45650-4.doi:10.1007/978-3-030-45650-4. (Visited on 02/13/2026)

    work page doi:10.1007/978-3-030-45650-4 2020

  20. [20]

    Lie algebroids in derived differential topology

    J.J. Nuiten. “Lie algebroids in derived differential topology”. PhD thesis. Universiteit Utrecht, 2018

    work page 2018

  21. [21]

    The Derived Marsden-Weinstein Quotient is Symplectic

    Jeremy Pecharich.The Derived Marsden-Weinstein Quotient Is Symplectic. May 2012. doi:10.48550/arXiv.1205.6519. eprint:1205.6519(math)

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1205.6519 2012

  22. [22]

    J. P. Pridham.An Outline of Shifted Poisson Structures and Deformation Quantisation in Derived Differential Geometry. Oct. 2025.doi:10.48550/arXiv.1804.07622. eprint: 1804.07622(math). (Visited on 01/27/2026)

    work page doi:10.48550/arxiv.1804.07622 2025

  23. [23]

    Semiclassical Approximation in Batalin-Vilkovisky Formalism

    Albert Schwarz. “Semiclassical Approximation in Batalin-Vilkovisky Formalism”. In:Com- munications in Mathematical Physics158.2 (Nov. 1993), pp. 373–396.issn: 1432-0916. doi:10.1007/BF02108080

    work page doi:10.1007/bf02108080 1993

  24. [24]

    Seokbong Seol.The Atiyah Class of DG Manifolds of Amplitude$+1$. Oct. 2025.doi: 10.48550/arXiv.2312.16622. eprint:2312.16622(math). (Visited on 05/10/2026)

    work page doi:10.48550/arxiv.2312.16622 2025

  25. [25]

    http://www.fields.utoronto.ca/talks/Derived- higher-Lie-groupoids

    Reyer Sjamaar.Derived Higher Lie Groupoids. http://www.fields.utoronto.ca/talks/Derived- higher-Lie-groupoids. July 2024. (Visited on 02/09/2026)

    work page 2024

  26. [26]

    Stratified Symplectic Spaces and Reduction

    Reyer Sjamaar and Eugene Lerman. “Stratified Symplectic Spaces and Reduction”. In: Annals of Mathematics134.2 (1991), pp. 375–422.issn: 0003-486X.doi:10 . 2307 / 2944350. JSTOR:2944350

    work page 1991

  27. [27]

    Threefold nature of graded vector bundles

    Rudolf ˇSmolka and Jan Vysok´ y. “Threefold nature of graded vector bundles”. In:Journal of Geometry and Physics216 (2025), p. 105557.issn: 0393-0440.doi:https://doi.org/ 10.1016/j.geomphys.2025.105557.url:https://www.sciencedirect.com/science/ article/pii/S039304402500141X

    work page doi:10.1016/j.geomphys.2025.105557.url:https://www.sciencedirect.com/science/ 2025

  28. [28]

    ´Sniatycki.Differential Geometry of Singular Spaces and Reduction of Symmetry

    J. ´Sniatycki.Differential Geometry of Singular Spaces and Reduction of Symmetry. New Mathematical Monographs. Cambridge: Cambridge University Press, 2013.isbn: 978-1- 107-02271-3.doi:10.1017/CBO9781139136990. 27

    work page doi:10.1017/cbo9781139136990 2013

  29. [29]

    Reduction and Quantization for Singular Momen- tum Mappings

    Jedrzej ´Sniatycki and Alan Weinstein. “Reduction and Quantization for Singular Momen- tum Mappings”. In:Letters in Mathematical Physics7.2 (Mar. 1983), pp. 155–161.issn: 1573-0530.doi:10.1007/BF00419934

    work page doi:10.1007/bf00419934 1983

  30. [30]

    Derived Smooth Manifolds

    David I. Spivak. “Derived Smooth Manifolds”. In:Duke Mathematical Journal153.1 (May 2010).issn: 0012-7094.doi:10.1215/00127094-2010-021. [Stacks] The Stacks Project Authors.Stacks Project.https : / / stacks . math . columbia . edu. 2018

    work page doi:10.1215/00127094-2010-021 2010

  31. [31]

    Gregory Taroyan.Equivalent Models of Derived Stacks. Aug. 2023.doi:10.48550/arXiv. 2303.12699. eprint:2303.12699(math). (Visited on 05/06/2026)

    work page internal anchor Pith review doi:10.48550/arxiv 2023

  32. [32]

    Global Theory of Graded Manifolds

    Jan Vysok´ y. “Global Theory of Graded Manifolds”. In:Reviews in Mathematical Physics 34.10 (Nov. 2022), p. 2250035.issn: 0129-055X.doi:10.1142/S0129055X22500350

    work page doi:10.1142/s0129055x22500350 2022

  33. [33]

    Weibel.An Introduction to Homological Algebra

    Charles A. Weibel.An Introduction to Homological Algebra. Cambridge Studies in Ad- vanced Mathematics. Cambridge: Cambridge University Press, 1994.isbn: 978-0-521- 55987-4.doi:10.1017/CBO9781139644136

    work page doi:10.1017/cbo9781139644136 1994

  34. [34]

    Momentum Maps and Morita Equivalence

    Ping Xu. “Momentum Maps and Morita Equivalence”. In:Journal of Differential Geom- etry67.2 (June 2004), pp. 289–333.issn: 0022-040X.doi:10.4310/jdg/1102536203. AppendixA.de Rham complex of a dg-manifold In this section we will prove technical results regarding the existence of K¨ ahler differentials and construction of the de Rham complex for dg-manifolds...

    work page doi:10.4310/jdg/1102536203 2004