Pith. sign in

REVIEW 3 major objections 5 minor 98 references

The shifted symplectic geometry of derived higher groupoids

T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper develops derived Lie n-groupoids with shifted symplectic structures and proves that, under a weak symplectic linearizability assumption, singular symplectic reduction is a quasi-smooth 0-shifted symplectic derived Lie groupoid, r

desk verdict Solid new framework for shifted symplectic derived higher groupoids, but Thm 7.5's 'homotopy pullback' claim overreaches the proof. read the letter →

arxiv 2607.17362 v1 pith:TKZ3NQID submitted 2026-07-19 math.SG math.CTmath.DG

Miquel Cueca , Florian Dorsch , Reyer Sjamaar , Chenchang Zhu This is my paper · ORCID
classification math.SGmath.CTmath.DG MSC 53D1753D2058A50
keywords derivedLien-groupoidsshiftedsymplecticstructureslagrangiancorrespondencesreductionsingularmomentmapsquasi-smoothmanifolds
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper's central aim is to build a smooth, differential-geometric version of shifted symplectic geometry in which ordinary symplectic reduction remains meaningful even when the moment map has critical values. It introduces derived Lie n-groupoids — simplicial objects in a category of derived manifolds — and defines shifted symplectic forms and lagrangian morphisms on them. Its main structural result is a composition theorem for lagrangian correspondences under transversality. Its main application states that, when a quasi-symplectic groupoid is weakly symplectically linearizable at an orbit, the symplectic quotient is a quasi-smooth 0-shifted symplectic derived Lie groupoid, equal to the homotopy pullback of the moment lagrangian and the orbit lagrangian. If correct, singular symplectic reduction acquires a single derived object on which the reduced form is nondegenerate, with classical reduced spaces appearing as the classical locus.

What carries the argument

Derived Lie n-groupoids: simplicial objects in derived manifolds — non-positively graded manifolds with a cohomological vector field — satisfying horn-filling conditions with respect to the pretopology of locally split fibrations. Shifted symplectic forms are closed shifted 2-forms whose IM-pairing, built through an adjusted simplicial shuffle map, induces a quasi-isomorphism from the tangent complex to the shifted cotangent complex at classical points. The load-bearing construction for reduction is the replacement of the orbit subgroupoid by the derived normal-bundle groupoid; weak symplectic linearization supplies compatibility data that make this replacement a lagrangian fibration, so the

What would settle it

Look for a 1-shifted symplectic Lie groupoid and an orbit whose normal-bundle groupoid admits no weak symplectic linearization: concretely, check whether the pullback of the 2-form can be written as a linear part plus a simplicial coboundary with the prescribed restriction to the orbit. A single orbit where this fails shows the theorem does not apply; alternatively, compute the tangent-complex pairing at a classical point of the derived quotient in a critical example and check whether the map to the shifted cotangent complex is a quasi-isomorphism.

Watch

Extended reading notes

Core claim

At the center is the assertion that the failure of transversality in symplectic reduction can be repaired by derived geometry. For a 1-shifted symplectic Lie groupoid, a hamiltonian space, and an orbit, the orbit inclusion is replaced by a derived groupoid built from the normal bundle of the orbit; a weak symplectic linearizability condition guarantees that this replacement carries a lagrangian structure equivalent to the original inclusion. The resulting symplectic quotient is a quasi-smooth 0-shifted symplectic derived Lie groupoid and is literally the homotopy pullback of the two lagrangians. Its classical loci recover the ordinary reduced spaces, and when the moment map is transverse to

Load-bearing premise

The whole derived reduction theorem rests on the existence, at the chosen orbit, of a weak symplectic linearization: a local model satisfying three compatibility equations; the paper establishes this for proper groupoids, quasi-hamiltonian units, and coboundary Poisson-Lie cases, but not in general, and states that the hypothesis could not yet be eliminated.

Editorial extensions

If this is right

  • Singular symplectic reduction at a critical level is not abandoned: under linearizability, the reduced object is a genuine 0-shifted symplectic derived Lie groupoid, with a nondegenerate reduced form even at singular points.
  • The reduced derived groupoid is a homotopy pullback of two lagrangian morphisms, so non-transverse intersections are replaced by well-defined derived intersections.
  • Shifted lagrangian correspondences compose in the smooth setting when levelwise transverse, giving a concrete realization of the symplectic category in which composition is geometrically controlled.
  • The framework unifies reduction at critical values across hamiltonian actions, group-valued moment maps, Poisson-Lie moment maps, and proper symplectic groupoids.
  • Classical reduced spaces appear as the classical locus of the derived quotient; in the transverse case the derived quotient is equivalent to the classical quotient by a levelwise weak equivalence.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If weak symplectic linearizability turns out to hold for every orbit of a proper quasi-symplectic groupoid, the theorem would supply a general smooth derived model for all singular symplectic reductions; the paper verifies the condition in compact and proper cases but leaves the general case open.
  • The derived quotient's tangent complex resembles the classical homological reduction complex, so a testable extension is whether that classical complex's symplectic form is the infinitesimal shadow of the reduced derived form under a differentiation comparison.
  • The lagrangian-correspondence viewpoint suggests that the symplectic strata of the reduced space can be organized as lagrangian correspondences into the derived quotient, a stratified refinement the paper gestures toward in its epilogue.
  • A direct test of the framework is to compute the derived quotient in an explicit quasi-hamiltonian or Poisson-Lie example where the moment map is critical, and verify that the 0-shifted form is nondegenerate on the derived locus.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. This paper develops a differential-geometric model of derived higher geometry. It introduces derived Lie n-groupoids as n-groupoid objects in the category of derived manifolds equipped with the pretopology of locally split fibrations, and proves (Thm. 4.18) that these form an incomplete category of fibrant objects with stalkwise weak equivalences, Kan fibrations, and hypercovers as acyclic fibrations. It then defines shifted differential forms via a simplicial graded de Rham triple complex, introduces IM-pairings through an adjusted Eilenberg–Zilber map, and uses these to define m-shifted symplectic structures and m-shifted lagrangian morphisms. The main structural result is Thm. 6.10, a composition theorem for shifted lagrangian correspondences under levelwise transversality and a mild groupoid condition. The final part applies this machinery to symplectic reduction at critical values: for a 1-shifted symplectic Lie 1-groupoid (quasi-symplectic groupoid) and a hamiltonian space, Thm. 7.5 constructs, under a weak symplectic linearizability hypothesis, a quasi-smooth 0-shifted symplectic derived Lie groupoid presented as the homotopy pullback of the moment and orbit lagrangians. Examples include proper groupoids, quasi-Hamiltonian reduction at the unit, and Lu reduction for Poisson–Lie group actions.

Significance. If the main claims hold, the paper provides a substantial extension of shifted symplectic geometry from algebraic geometry and higher Lie groupoids to a concrete derived differential-geometric setting. The explicit iCFO construction, the detailed proof of the lagrangian composition theorem, and the unified treatment of several reduction procedures at critical values are genuine contributions. The paper is also commendably explicit about its hypotheses and its open points, including Rem. 4.26 on the non-canonicality of homotopy pullbacks and the acknowledgment in the introduction and §7 that weak symplectic linearizability is not established in general. The composition theorem (Thm. 6.10) is a strong, internally well-developed result that does not depend on the problematic homotopy-pullback formalism. The reduction theorem is valuable as a conditional construction, but its formulation as producing 'the' homotopy pullback currently overstates its invariance properties.

major comments (3)
  1. [§4.5, Rem. 4.26; Thm. 7.5(1)] The homotopy pullback used in Thm. 7.5(1) is not shown to be independent of the chosen fibrant replacement. Definition 4.25 defines it via a chosen replacement eH•, and Rem. 4.26 explicitly states that independence from this choice and the expected 2-morphism compatibility are not demonstrated. In Thm. 7.5 the replacement is U•, constructed from the linearization data (Φ•, Ω_lin, η) of Def. 7.3; different linearizations, tubular neighbourhood embeddings, or the connection θ appearing in Thm. 7.6 will generally produce different U•. No argument is given that the resulting quotients are connected by symplectic Morita equivalences or by any canonical comparison map. Thus the assertion that the quotient 'is the homotopy pullback' is not yet a well-defined invariant. At present the theorem is best read as an existence statement relative to chosen data. Please either prove independence/canonic
  2. [§7 intro and Def. 7.3; Thm. 7.5] The central reduction theorem is conditional on weak symplectic linearizability at the orbit O, a property that is verified in the examples of §§7.3–7.6 but is not established for general quasi-symplectic groupoids. The authors are transparent about this in the introduction and the beginning of §7, and the theorem is stated as a conditional result. Nevertheless, the advertised scope — a unified framework for reduction at critical values — is weaker than a general singular-reduction theorem. This should be reflected more prominently in the abstract and Theorem 1.3, so that readers do not take Thm. 7.5 as a general theorem about arbitrary quasi-symplectic groupoids.
  3. [§6.2, Rem. 6.13] The remark that the composition theorem recovers the homotopy-pullback picture of [PTVV13] requires, in the notation of Rem. 6.13, the existence of an (m−1)-shifted form β̃′• and an (m−2)-shifted form γ′• satisfying β′• − σ^*β̃′• = Dγ′•. The text says this is 'expected to be automatic', but no proof is supplied. Since this is the bridge between the paper's strictly transversal composition theorem and the general derived-geometric homotopy-pullback composition, the statement in Rem. 6.13 is conditional. This does not affect Thm. 6.10 itself, but the conditional nature should be marked more clearly, and the expected result should either be proved or labelled as a conjecture.
minor comments (5)
  1. [Thm. 6.11] Typo: 'sympelctic' should be 'symplectic'.
  2. [Prop. 7.4(2)] The text calls η• a '1-shifted 2-form', but by (73) and Def. 6.2 it is a 0-shifted 2-form (since Γ• is 1-shifted symplectic). Please correct the terminology.
  3. [Rem. 4.26] Typo: 'genenral' should be 'general'.
  4. [§7.2.3, Prop. 7.4] The notation U• is used both for an open subgroupoid of the normal bundle ν• and for the derived Lie subgroupoid obtained from (71). This is a frequent source of confusion; consider distinguishing the two, for example by a separate script or by writing (U•, 0) for the derived object.
  5. [§7.4.2] The BFV/BRS discussion is presented as a 'suspect[ion]' rather than a theorem. That is fine, but it may be clearer to place it explicitly in an outlook paragraph, separated from the established results.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: the central results are obtained from explicit geometric hypotheses and external theorems, not by assuming their conclusions.

full rationale

The derivation chain is forward. The iCFO foundation Gpd_n[DMfd,T_lsf] is not assumed from a self-citation: the paper independently proves that T_lsf is locally stalkwise (Thm. 4.12) and then applies the published framework of [RZ20]; although C. Zhu is a coauthor of [RZ20], that result is an external, parameter-free theorem about locally stalkwise pretopologies, not a conclusion of this paper. The shifted-symplectic and lagrangian definitions are genuine new definitions, and the composition theorem Thm. 6.10 is proved by an explicit five-lemma argument rather than by assuming the composition is lagrangian. The reduction theorem Thm. 7.5 is explicitly conditional on weak symplectic linearizability data (Def. 7.3); the derived replacement U• is constructed from that data, and the 0-shifted symplectic structure is obtained by applying Thm. 6.11 and Prop. 7.4, not by renaming the input. The paper itself flags two relevant limitations: Rem. 4.26 admits that independence of the homotopy pullback from the choice of fibrant replacement is not demonstrated, and the introduction to §7 states that the linearization hypothesis is not eliminated. These are well-definedness and scope gaps, not circular reductions: the claim 'is the homotopy pullback' in Thm. 7.5 is relative to the explicitly chosen fibrant replacement, and no fitted parameter is relabeled as a prediction. The examples rely on external linearization theorems ([CFMT25], [AMM98], [AM16]), which are independent of the present paper's conclusions. Overall, no step reduces by definition or self-citation to its own input.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No numerical parameters are fitted or tuned; the paper's assumptions are structural (linearizability, transversality, finiteness) rather than adjustable constants. The paper introduces no new physical entities; 'derived Lie n-groupoid' is a definition within existing frameworks.

assumptions (5)
  • standard math The category DMfd of derived manifolds is a category of fibrant objects (Thm 3.9, from [BLX24]).
    Used throughout to form fibrations, weak equivalences, and path objects of derived manifolds; cited as an existing result.
  • standard math The iCFO theorem for n-groupoid objects over a locally stalkwise pretopology (Thm 2.18, from [RZ20]).
    This is the machine that turns the locally stalkwise pretopology T_lsf on DMfd into the iCFO structure on Gpd_n[DMfd,T_lsf] in Thm 4.18.
  • ad hoc to paper Weak symplectic linearizability at the orbit O, Definition 7.3 (L1)-(L2).
    Theorem 7.5 assumes this hypothesis; the derived replacement U• and its lagrangian structure in Prop 7.4 depend on it. It is verified in special classes via external linearization theorems but not proven in general.
  • domain assumption Levelwise transversality and the condition that L• ×_{G2•} L'• is a derived Lie n-groupoid (Thm 6.10).
    These are the explicit hypotheses of the main composition theorem. The paper notes they are automatic in several cases but not universally.
  • domain assumption External linearization theorems for proper quasi-symplectic groupoids [CFMT25], quasi-Hamiltonian actions at the unit [AMM98], and Poisson-Lie actions [AM16].
    Used in Sections 7.3, 7.5, and 7.6 to verify the weak symplectic linearizability hypothesis in concrete reduction examples.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The shifted symplectic geometry of derived higher groupoids." pith.science (2026). https://pith.science/paper/TKZ3NQID

@misc{pith2026260717362,
  author       = {Pith},
  title        = {Pith review of: The shifted symplectic geometry of derived higher groupoids},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TKZ3NQID}},
  note         = {Machine review of arXiv:2607.17362}
}
read the original abstract

The main goal of this work is to introduce derived Lie n-groupoids and their shifted symplectic structures. We further define shifted lagrangian structures and prove that their composition is well defined under suitable conditions. As an application, we show that our framework incorporates several reduction procedures at critical values, including: classical Hamiltonian reduction, group valued moment maps, Poisson Lie group valued moment maps and Mikami-Weinstein for proper symplectic groupoids.

Figures

Figures reproduced from arXiv: 2607.17362 by the authors.

Figure 1
Figure 1. The bucket ∆[2] ⊔0×∂∆[2] (∆[1] × ∂∆[2]). The natural inclusion of the bucket shape into the cylinder (85) ∆[k] ⊔0×∂∆[k] ∆[1] × ∂∆[k] → ∆[1] × ∆[k], is a collapsible extension (see [RZ20, Def. 3.5]) by [Hov99, Lemma 3.3.3]. In fact, the statement therein says that (85) is an anodyne extension. However the construction done in the proof, as explained in details in [RZ20, Lemma 7.14], gives exactly a collapsible extens… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

98 extracted references · 11 canonical work pages

  1. [1]

    Amorim and O

    L. Amorim and O. Ben-Bassat, Perversely categorified L agrangian correspondences , Adv. Theor. Math. Phys. 21 (2017), no. 2, 289--381

    2017

  2. [2]

    Alvarez, H

    D. Alvarez, H. Bursztyn, and M. Cueca, Shifted L agrangian structures in P oisson geometry , eprint, https://arxiv.org/abs/2605.29117 arXiv:2605.29117 , 2026

    arXiv 2026

  3. [3]

    Anel and D

    M. Anel and D. Calaque, Shifted symplectic reduction of derived critical loci, Adv. Theor. Math. Phys. 26 (2022), no. 6, 1543--1583, https://doi.org/10.4310/atmp.2022.v26.n6.a1 atmp.2022.v26.n6.a1

    work page doi:10.4310/atmp.2022.v26.n6.a1 2022

  4. [4]

    Alekseev and A

    A. Alekseev and A. Malkin, Symplectic structures associated to L ie- P oisson groups , Comm. Math. Phys. 162 (1994), no. 1, 147--173, https://projecteuclid.org/euclid.cmp/1104270118 euclid.cmp/1104270118

    arXiv 1994

  5. [5]

    Alekseev and E

    A. Alekseev and E. Meinrenken, Linearization of P oisson L ie group structures , J. Symplectic Geom. 14 (2016), no. 1, 227--267, https://doi.org/10.4310/JSG.2016.v14.n1.a9 JSG.2016.v14.n1.a9

    work page doi:10.4310/jsg.2016.v14.n1.a9 2016

  6. [6]

    Alekseev, A

    A. Alekseev, A. Malkin, and E. Meinrenken, Lie group valued moment maps, J. Differential Geom. 48 (1998), no. 3, 445--495

    1998

  7. [7]

    Bursztyn and A

    H. Bursztyn and A. Cabrera, Multiplicative forms at the infinitesimal level, Math. Ann. 353 (2012), no. 3, 663--705, http://dx.doi.org/10.1007/s00208-011-0697-5 s00208-011-0697-5

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

  8. [8]

    Bursztyn, A

    H. Bursztyn, A. Cabrera, and M. del Hoyo, Vector bundles over L ie groupoids and algebroids , Adv. Math. 290 (2016), 163--207, http://dx.doi.org/10.1016/j.aim.2015.11.044 j.aim.2015.11.044

    doi:10.1016/j.aim.2015.11.044 2016

Show all 98 references
  1. [9]

    Bursztyn, M

    H. Bursztyn, M. Cueca, and R. A. Mehta, A geometric characterization of N -graded manifolds and the F robenius theorem , J. Noncommut. Geom. 20 (2026), no. 3, 1117--1154

    2026

  2. [10]

    Bursztyn, M

    H. Bursztyn, M. Crainic, A. Weinstein, and C. Zhu, Integration of twisted D irac brackets , Duke Math. J. 123 (2004), no. 3, 549--607

    2004

  3. [11]

    Berger, A K oszul sign map , eprint, https://arxiv.org/abs/1708.01430 arXiv:1708.01430 , 2017

    R. Berger, A K oszul sign map , eprint, https://arxiv.org/abs/1708.01430 arXiv:1708.01430 , 2017

    2017 arXiv

  4. [12]

    Behrend and E

    K. Behrend and E. Getzler, Geometric higher groupoids and categories, Geometry, analysis and probability (J.-B. Bost et al., eds.), Progress in Mathematics, vol. 310, Birkh\"auser/Springer, Cham, 2017, pp. 1--45

    2017

  5. [13]

    Blohmann, K

    C. Blohmann, K. Krishna, and C. Zhu, Higher generalized morphisms and M orita equivalence for l_ -groupoids , in progress

  6. [14]

    Behrend, H.-Y

    K. Behrend, H.-Y. Liao, and P. Xu, Differential graded manifolds of finite positive amplitude, Int. Math. Res. Not. (2024), no. 8, 7160--7200, https://doi.org/10.1093/imrn/rnae023 imrn/rnae023

    2024 doi

  7. [15]

    , On the structure of \'etale fibrations of L_ -bundles , Proc. Lond. Math. Soc. (3) 131 (2025), no. 6, paper no. e70115, 26 pp

    2025

  8. [16]

    Bursztyn, F

    H. Bursztyn, F. Noseda, and C. Zhu, Principal actions of stacky L ie groupoids , Int. Math. Res. Not. (2020), no. 16, 5055--5125, https://doi.org/10.1093/imrn/rny142 imrn/rny142

    2020 doi

  9. [17]

    K. S. Brown, Abstract homotopy theory and generalized sheaf cohomology, Trans. Amer. Math. Soc. 186 (1973), 419--458

    1973

  10. [18]

    R. Bott, H. Shulman, and J. Stasheff, On the de R ham theory of certain classifying spaces , Advances in Math. 20 (1976), no. 1, 43--56

    1976

  11. [19]

    Barbieri, J

    G. Barbieri, J. Watts, and F. Ziegler, Remarks on diffeological F robenius reciprocity , eprint, https://arxiv.org/abs/2403.03927 arXiv:2403.03927 , 2025

    2025

  12. [20]

    Calaque, Three lectures on derived symplectic geometry and topological field theories, Indag

    D. Calaque, Three lectures on derived symplectic geometry and topological field theories, Indag. Math. (N.S.) 25 (2014), no. 5, 926--947

    2014

  13. [21]

    Pantev et al., eds.), Contemp

    , Lagrangian structures on mapping stacks and semi-classical TFT s , Stacks and categories in geometry, topology, and algebra (Luminy, 2012) (T. Pantev et al., eds.), Contemp. Math., vol. 643, Amer. Math. Soc., Providence, RI, 2015, pp. 1--23

    2012

  14. [22]

    Anel and G

    , Derived stacks in symplectic geometry, New spaces in physics (M. Anel and G. Catren, eds.), Cambridge Univ. Press, Cambridge, 2021, pp. 155--201

    2021

  15. [23]

    Carchedi, Derived manifolds as differential graded manifolds, eprint, https://arxiv.org/abs/2303.11140 arXiv:2303.11140 , 2023

    D. Carchedi, Derived manifolds as differential graded manifolds, eprint, https://arxiv.org/abs/2303.11140 arXiv:2303.11140 , 2023

    2023 arXiv

  16. [24]

    Crainic, R

    M. Crainic, R. Loja Fernandes, and D. Mart\'inez Torres, Poisson manifolds of compact types ( PMCT 1) , J. Reine Angew. Math. 756 (2019), 101--149, https://doi.org/10.1515/crelle-2017-0006 crelle-2017-0006

    2019 doi

  17. [25]

    , Poisson manifolds of compact types, eprint, https://arxiv.org/abs/2504.06447 arXiv:2504.06447 , 2025

    2025 arXiv

  18. [26]

    Calaque, R

    D. Calaque, R. Haugseng, and C. Scheimbauer, The AKSZ construction in derived algebraic geometry as an extended topological field theory , Mem. Amer. Math. Soc. 308 (2025), no. 1555, v+173

    2025

  19. [27]

    Cueca, A

    M. Cueca, A. Maglio, and F. Valencia, Lecture notes on the symplectic geometry of graded manifolds and higher L ie groupoids , eprint, https://arxiv.org/abs/2510.09448 arXiv:2510.09448 , 2025

    2025

  20. [28]

    Calaque, T

    D. Calaque, T. Pantev, B. To\" e n, M. Vaqui\' e , and G. Vezzosi, Shifted P oisson structures and deformation quantization , J. Topol. 10 (2017), no. 2, 483--584

    2017

  21. [29]

    Carchedi and D

    D. Carchedi and D. Roytenberg, Homological algebra for superalgebras of differentiable functions, eprint, https://arxiv.org/abs/1212.3745 arXiv:1212.3745 , 2012

    2012 arXiv

  22. [30]

    Cattaneo and F

    A. Cattaneo and F. Sch\"atz, Introduction to supergeometry, Rev. Math. Phys. 23 (2011), no. 6, 669--690

    2011

  23. [31]

    Cueca and C

    M. Cueca and C. Zhu, Shifted symplectic higher L ie groupoids and classifying spaces , Adv. Math. 413 (2023), paper no. 108829, 64 pp

    2023

  24. [32]

    del Hoyo and R

    M. del Hoyo and R. Loja Fernandes, Riemannian metrics on L ie groupoids , J. Reine Angew. Math. 735 (2018), 143--173, https://doi.org/10.1515/crelle-2015-0018 crelle-2015-0018

    2018 doi

  25. [33]

    Deligne and J

    P. Deligne and J. Morgan, Notes on supersymmetry (following J oseph B ernstein) , Quantum fields and strings: a course for mathematicians, 2 vols., ( P rinceton, NJ , 1996/1997), Amer. Math. Soc., Providence, RI, 1999, pp. 41--97

    1996

  26. [34]

    Dorsch, Differentiation of simplicial manifolds, Ph.D

    F. Dorsch, Differentiation of simplicial manifolds, Ph.D. thesis, Georg-August-Universit\"at G\"ottingen, 2026

    2026

  27. [35]

    , On the local K an structure and differentiation of simplicial manifolds , Bull. Lond. Math. Soc. 58 (2026), no. 1, paper no. e70240, 27 pp, https://doi.org/10.1112/blms.70240 blms.70240

    2026 doi

  28. [36]

    Duskin, Higher-dimensional torsors and the cohomology of topoi: the abelian theory, Applications of sheaves (Durham, 1977) (M

    J. Duskin, Higher-dimensional torsors and the cohomology of topoi: the abelian theory, Applications of sheaves (Durham, 1977) (M. Fourman, C. Mulvey, and D. Scott, eds.), Lecture Notes in Mathematics, vol. 753, Springer, Berlin, 1979, pp. 255--279

    1977

  29. [37]

    Eilenberg and J

    S. Eilenberg and J. Zilber, On products of complexes, Amer. J. Math. 75 (1953), 200--204

    1953

  30. [38]

    Getzler, private communication

    E. Getzler, private communication

  31. [39]

    , Differential forms on stacks, notes available on https://sites.northwestern.edu/getzler/ https://sites.northwestern.edu/getzler/ , 2014

    2014

  32. [40]

    Glenn, Realization of cohomology classes in arbitrary exact categories, J

    P. Glenn, Realization of cohomology classes in arbitrary exact categories, J. Pure Appl. Algebra 25 (1982), no. 1, 33--105

    1982

  33. [41]

    Guillemin and S

    V. Guillemin and S. Sternberg, A normal form for the moment map, Differential Geometric Methods in Mathematical Physics (Jerusalem, 1982) (S. Sternberg, ed.), Mathematical Physics Studies, vol. 6, D. Reidel Publishing Company, Dordrecht, 1984, pp. 161--175

    1982

  34. [42]

    Henriques, Integrating L -algebras , Compos

    A. Henriques, Integrating L -algebras , Compos. Math. 144 (2008), no. 4, 1017--1045

    2008

  35. [43]

    H \"o rmander, Fourier integral operators

    L. H \"o rmander, Fourier integral operators. I , Acta Math. 127 (1971), no. 1-2, 79--183

    1971

  36. [44]

    Hovey, Model categories, Mathematical Surveys and Monographs, vol

    M. Hovey, Model categories, Mathematical Surveys and Monographs, vol. 63, American Mathematical Society, Providence, RI, 1999

    1999

  37. [45]

    Koszul, Homologie et cohomologie des alg\`ebres de L ie , Bull

    J.-L. Koszul, Homologie et cohomologie des alg\`ebres de L ie , Bull. Soc. Math. France 78 (1950), 65--127, http://www.numdam.org/item?id=BSMF_1950__78__65_0 BSMF_1950__78__65_0

    1950

  38. [46]

    Kostant and S

    B. Kostant and S. Sternberg, Symplectic reduction, BRS cohomology, and infinite-dimensional C lifford algebras , Ann. Physics 176 (1987), no. 1, 49--113

    1987

  39. [47]

    Li-Bland and P

    D. Li-Bland and P. S evera, Symplectic and P oisson geometry of the moduli spaces of flat connections over quilted surfaces , Mathematical aspects of quantum field theories, Math. Phys. Stud., Springer, Cham, 2015, pp. 343--411

    2015

  40. [48]

    Li-Bland and A

    D. Li-Bland and A. Weinstein, Selective categories and linear canonical relations, SIGMA Symmetry Integrability Geom. Methods Appl. 10 (2014), paper no. 100, 31 pp., https://doi.org/10.3842/SIGMA.2014.100 SIGMA.2014.100

    2014 doi

  41. [49]

    Li, Higher groupoid actions, bibundles, and differentiation, Ph.D

    D. Li, Higher groupoid actions, bibundles, and differentiation, Ph.D. thesis, Georg-August-Universit\"at G\"ottingen, 2014, https://arxiv.org/abs/1512.04209 arXiv:1512.04209

    2014 arXiv

  42. [50]

    D. Li, L. Ryvkin, A. Wessel, and C. Zhu, Differentiating L_ groupoids , J. Math. Pures Appl. (9) 211 (2026), paper no. 103880, 39 pp., https://doi.org/10.1016/j.matpur.2026.103880 j.matpur.2026.103880

    2026

  43. [51]

    Lu, Multiplicative and affine P oisson structures on L ie groups , Ph.D

    J.-H. Lu, Multiplicative and affine P oisson structures on L ie groups , Ph.D. thesis, University of California, Berkeley, 1990, p. 74

    1990

  44. [52]

    Dazord and A

    , Momentum mappings and reduction of P oisson actions , Symplectic geometry, groupoids, and integrable systems (Berkeley, 1989) (P. Dazord and A. Weinstein, eds.), Math. Sci. Res. Inst. Publ., vol. 20, Springer, New York, 1991, pp. 209--226

    1989

  45. [53]

    Lu and A

    J.-H. Lu and A. Weinstein, Groupo\" des symplectiques doubles des groupes de L ie- P oisson , C. R. Acad. Sci. Paris S\' e r. I Math. 309 (1989), no. 18, 951--954

    1989

  46. [54]

    Mackenzie, General theory of L ie groupoids and L ie algebroids , London Mathematical Society Lecture Note Series, vol

    K. Mackenzie, General theory of L ie groupoids and L ie algebroids , London Mathematical Society Lecture Note Series, vol. 213, Cambridge University Press, Cambridge, 2005

    2005

  47. [55]

    J. P. May, Simplicial objects in algebraic topology, Chicago Lectures in Mathematics, University of Chicago Press, Chicago, IL, 1992, reprint of the 1967 original

    1992

  48. [56]

    Milnor, Construction of universal bundles

    J. Milnor, Construction of universal bundles. I , Ann. of Math. (2) 63 (1956), 272--284

    1956

  49. [57]

    , The geometric realization of a semi-simplicial complex, Ann. of Math. (2) 65 (1957), 357--362

    1957

  50. [58]

    Moerdijk and J

    I. Moerdijk and J. Mr c un, Introduction to foliations and L ie groupoids , Cambridge Studies in Advanced Mathematics, vol. 91, Cambridge University Press, Cambridge, 2003

    2003

  51. [59]

    Marsden and A

    J. Marsden and A. Weinstein, Reduction of symplectic manifolds with symmetry, Rep. Mathematical Phys. 5 (1974), no. 1, 121--130

    1974

  52. [60]

    Mikami and A

    K. Mikami and A. Weinstein, Moments and reduction for symplectic groupoids, Publ. Res. Inst. Math. Sci. 24 (1988), no. 1, 121--140

    1988

  53. [61]

    Meyer and C

    R. Meyer and C. Zhu, Groupoids in categories with pretopology, Theory Appl. Categ. 30 (2015), paper no. 55, 1906--1998

    2015

  54. [62]

    Ortega and T

    J.-P. Ortega and T. Ratiu, Momentum maps and H amiltonian reduction , Progress in Mathematics, vol. 222, Birkh\"auser, Boston, MA, 2004

    2004

  55. [63]

    Porta, G AGA theorems in derived complex geometry , J

    M. Porta, G AGA theorems in derived complex geometry , J. Algebraic Geom. 28 (2019), no. 3, 519--565

    2019

  56. [64]

    Pridham, private communication

    J. Pridham, private communication

  57. [65]

    , Presenting higher stacks as simplicial schemes, Adv. Math. 238 (2013), 184--245

    2013

  58. [66]

    , Shifted P oisson and symplectic structures on derived N -stacks , J. Topol. 10 (2017), no. 1, 178--210

    2017

  59. [67]

    , An outline of shifted P oisson structures and deformation quantisation in derived differential geometry , eprint, https://arxiv.org/abs/1804.07622 arXiv:1804.07622 , 2018

    2018 arXiv

  60. [68]

    , A differential graded model for derived analytic geometry, Adv. Math. 360 (2020), 106922, 29, https://doi.org/10.1016/j.aim.2019.106922 j.aim.2019.106922

    2020

  61. [69]

    Pantev, B

    T. Pantev, B. To\" e n, M. Vaqui\' e , and G. Vezzosi, Shifted symplectic structures, Publ. Math. Inst. Hautes \' E tudes Sci. 117 (2013), 271--328

    2013

  62. [70]

    Ronchi, Duals of higher vector bundles and cotangents of L ie 2 -groupoids , Ph.D

    S. Ronchi, Duals of higher vector bundles and cotangents of L ie 2 -groupoids , Ph.D. thesis, Georg-August-Universit\"at G\"ottingen, 2025, http://dx.doi.org/10.53846/goediss-11918 goediss-11918

    2025 doi

  63. [71]

    Rogers and C

    C. Rogers and C. Zhu, On the homotopy theory for L ie -groupoids, with an application to integrating L_ -algebras , Algebr. Geom. Topol. 20 (2020), no. 3, 1127--1219, https://doi.org/10.2140/agt.2020.20.1127 agt.2020.20.1127

    2020 doi

  64. [72]

    Ronchi and C

    S. Ronchi and C. Zhu, Duals of higher vector spaces, eprint, https://arxiv.org/abs/2407.03306 arXiv:2407.03306 , 2024

    2024

  65. [73]

    Safronov, Derived H amiltonian reduction , notes available on https://sites.google.com/site/psafronov/notes https://sites.google.com/site/psafronov/notes , 2015

    P. Safronov, Derived H amiltonian reduction , notes available on https://sites.google.com/site/psafronov/notes https://sites.google.com/site/psafronov/notes , 2015

    2015

  66. [74]

    , Quasi- H amiltonian reduction via classical C hern- S imons theory , Adv. Math. 287 (2016), 733--773

    2016

  67. [75]

    , Shifted geometric quantization, J. Geom. Phys. 194 (2023), paper no. 104992, 34 pp, https://doi.org/10.1016/j.geomphys.2023.104992 j.geomphys.2023.104992

    2023

  68. [76]

    S evera, L_ -algebras as 1 -jets of simplicial manifolds (and a bit beyond) , eprint, https://arxiv.org/abs/0612349 arXiv:0612349 , 2006

    P. S evera, L_ -algebras as 1 -jets of simplicial manifolds (and a bit beyond) , eprint, https://arxiv.org/abs/0612349 arXiv:0612349 , 2006

    2006

  69. [77]

    Sheshko, Derived symplectic reduction in differential geometry, eprint, https://arxiv.org/abs/2605.16226 arXiv:2605.16226 , 2026

    N. Sheshko, Derived symplectic reduction in differential geometry, eprint, https://arxiv.org/abs/2605.16226 arXiv:2605.16226 , 2026

    2026 arXiv

  70. [78]

    Sjamaar and E

    R. Sjamaar and E. Lerman, Stratified symplectic spaces and reduction, Ann. of Math. (2) 134 (1991), no. 2, 375--422, https://doi.org/10.2307/2944350 10.2307/2944350

    1991 doi

  71. [79]

    Spivak, Derived smooth manifolds, Duke Math

    D. Spivak, Derived smooth manifolds, Duke Math. J. 153 (2010), no. 1, 55--128, https://doi.org/10.1215/00127094-2010-021 10.1215/00127094-2010-021

    2010 doi

  72. [80]

    The Stacks Project Authors , The S tacks P roject , https://stacks.math.columbia.edu, 2026

    2026

  73. [81]

    Steffens, private communication

    P. Steffens, private communication

  74. [82]

    Taroyan, De R ham theory in derived differential geometry , eprint, https://arxiv.org/abs/2505.03978 arXiv:2505.03978 , 2026

    G. Taroyan, De R ham theory in derived differential geometry , eprint, https://arxiv.org/abs/2505.03978 arXiv:2505.03978 , 2026

    2026

  75. [83]

    Tate, Homology of N oetherian rings and local rings , Illinois J

    J. Tate, Homology of N oetherian rings and local rings , Illinois J. Math. 1 (1957), 14--27, http://projecteuclid.org/euclid.ijm/1255378502 euclid.ijm/1255378502

    1957

  76. [84]

    To \"e n and G

    B. To \"e n and G. Vezzosi, Homotopical algebraic geometry. I . T opos theory , Adv. Math. 193 (2005), no. 2, 257--372

    2005

  77. [85]

    Vezzosi, Basic structures on derived critical loci, Differential Geom

    G. Vezzosi, Basic structures on derived critical loci, Differential Geom. Appl. 71 (2020), 101635, 11, https://doi.org/10.1016/j.difgeo.2020.101635 j.difgeo.2020.101635

    2020

  78. [86]

    Vysok\'y, Global theory of graded manifolds, Rev

    J. Vysok\'y, Global theory of graded manifolds, Rev. Math. Phys. 34 (2022), no. 10, paper no. 2250035, 197 pp

    2022

  79. [87]

    Waldorf, Internal geometry and functors between sites, eprint, https://arxiv.org/abs/2408.04989 arXiv:2408.04989 , 2024

    K. Waldorf, Internal geometry and functors between sites, eprint, https://arxiv.org/abs/2408.04989 arXiv:2408.04989 , 2024

    2024 arXiv

  80. [88]

    Weinstein, Lectures on symplectic manifolds, second ed., CBMS Regional Conference Series in Mathematics, vol

    A. Weinstein, Lectures on symplectic manifolds, second ed., CBMS Regional Conference Series in Mathematics, vol. 29, American Mathematical Society, 1979

    1979

  81. [89]

    905, Springer, Berlin-New York, 1982, pp

    , The symplectic ``category'', Differential geometric methods in mathematical physics ( C lausthal, 1980), Lecture Notes in Math., vol. 905, Springer, Berlin-New York, 1982, pp. 45--51

    1980

  82. [90]

    Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol

    C. Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, Cambridge, 1994

    1994

  83. [91]

    Weiershausen, Morita equivalence of shifted symplectic L ie n -groupoids , eprint, https://arxiv.org/abs/2505.24018 arXiv:2505.24018 , 2025

    M. Weiershausen, Morita equivalence of shifted symplectic L ie n -groupoids , eprint, https://arxiv.org/abs/2505.24018 arXiv:2505.24018 , 2025

    2025 arXiv

  84. [92]

    Wehrheim and C

    K. Wehrheim and C. Woodward, Functoriality for L agrangian correspondences in F loer theory , Quantum Topol. 1 (2010), no. 2, 129--170, https://doi.org/10.4171/QT/4 10.4171/QT/4

    2010 doi

  85. [93]

    , Quilted F loer cohomology , Geom. Topol. 14 (2010), no. 2, 833--902, https://doi.org/10.2140/gt.2010.14.833 gt.2010.14.833

    2010 doi

  86. [94]

    Wockel and C

    C. Wockel and C. Zhu, Integrating central extensions of L ie algebras via L ie 2 -groups , J. Eur. Math. Soc. 18 (2016), no. 6, 1273--1320

    2016

  87. [95]

    Xu, Momentum maps and M orita equivalence , J

    P. Xu, Momentum maps and M orita equivalence , J. Differential Geom. 67 (2004), no. 2, 289--333, http://projecteuclid.org/euclid.jdg/1102536203 euclid.jdg/1102536203

    2004

  88. [96]

    Xu, Classical symmetry TFT s for continuous symmetries via higher symplectic geometry , eprint, https://arxiv.org/abs/2606.03368 arXiv:2606.03368 , 2026

    H. Xu, Classical symmetry TFT s for continuous symmetries via higher symplectic geometry , eprint, https://arxiv.org/abs/2606.03368 arXiv:2606.03368 , 2026

    2026 arXiv

  89. [97]

    Zeng, Derived L ie -groupoids and algebroids in higher differential geometry , Ph.D

    Q. Zeng, Derived L ie -groupoids and algebroids in higher differential geometry , Ph.D. thesis, University of Pennsylvania, 2021, https://arxiv.org/abs/2210.05856 arXiv:2210.05856

    2021 arXiv

  90. [98]

    Zhu, n -groupoids and stacky groupoids , Int

    C. Zhu, n -groupoids and stacky groupoids , Int. Math. Res. Not. (2009), no. 21, 4087--4141

    2009

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.