Pith. sign in

REVIEW 4 major objections 4 minor 2 cited by

Quasi-Hamiltonian G-spaces, whose 2-forms are neither closed nor nondegenerate, acquire a closed nondegenerate relative 3-form (ω, η) and hence a Lie 2-algebra of observables with an explicit homotopy moment map lifting the infinitesimal ac

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

Relative n-plectic structures are claimed to produce L-infinity algebras of observables, yielding Lie 2-algebras and homotopy moment maps for quasi-Hamiltonian G-spaces, though several sign and generality issues remain.

T0 review reviewed 2026-08-04 challenge →

load-bearing objection A plausible relative n-plectic framework and a real sign error in the central homotopy moment map; not ready as written, but repairable. the 4 major comments →

arxiv 2509.08153 v1 pith:CYVSSAA2 submitted 2025-09-09 math.SG

Observables of Relative Structures and Lie 2-algebras associated with Quasi-Hamiltonian $G$-spaces

Dinamo Djounvouna This is my paper
classification math.SG MSC 53D2017B7053D05
keywords relative n-plectic structuresL∞-algebras of observablesLie 2-algebrasquasi-Hamiltonian G-spaceshomotopy moment mapsCartan 3-formmultisymplectic geometryrelative Cartan calculus
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The reading

This thesis establishes that multisymplectic geometry can be carried out relative to a smooth map. The central move is to replace a closed, nondegenerate (n+1)-form on one manifold with a closed, nondegenerate pair of forms (ω_M, ω_N) living in the algebraic mapping cone of a map F: M → N, and Theorem 4.2.1 shows such 'relative n-plectic structures' still give an L∞-algebra of observables — the higher-geometry analogue of a Poisson algebra — with higher brackets built by contracting the pair with Hamiltonian vector fields. The payoff is a new reading of quasi-Hamiltonian G-spaces, the group-valued moment-map framework introduced in [1]: their 2-form is neither closed nor nondegenerate, but together with the Cartan 3-form η on G it forms a closed, nondegenerate relative 3-form, i.e., a relative 2-plectic structure. From this the paper constructs two Lie 2-algebras of relative observables (semi-strict and hemi-strict, quasi-isomorphic to each other) and an explicit homotopy moment map — an L∞-morphism from the Lie algebra g into the Lie 2-algebra with components f1(x) = (0, −½(θ_L+θ_R)·x) and f2(x,y) = (0, ½ι_{v_x}((θ_L+θ_R)·y)). If correct, the paper unifies quasi-Hamiltonian spaces with 2-plectic geometry and transfers the 'observables from closed forms' story to settings where the structure is only defined relative to a map, such as group-valued moment maps and boundary field theories.

Core claim

Central claim: a relative n-plectic structure — a closed nondegenerate pair (ω_M, ω_N) in the algebraic mapping cone of a map F: M → N — carries the multisymplectic apparatus. Theorem 4.2.1 builds an L∞-algebra of relative observables whose brackets are iterated contractions with Hamiltonian vector fields. For a quasi-Hamiltonian G-space, dω = −Φ*η makes (ω, η), η the Cartan 3-form, a relative 2-plectic structure, and Theorem 5.3.4 yields the explicit homotopy moment map: f1(x) = (0, −½(θ_L+θ_R)·x), f2(x,y) = (0, ½ι_{v_x}((θ_L+θ_R)·y)), an L∞-morphism lifting the infinitesimal action.

What carries the argument

The load-bearing object is the algebraic mapping cone of F*: Ω^•(N) → Ω^•(M), the relative de Rham complex Ω^•(F) = Ω^{•−1}(M) ⊕ Ω^•(N) with differential d(α, β) = (F*β + dα, −dβ). On it sits a relative Cartan calculus (contraction ι_(u,v)(α, β) = (ι_u α, −ι_v β), Lie derivative, magic formula) and relative Hamiltonian forms defined by d(α, β) = −ι_(u,v)(ω_M, ω_N). The L∞ brackets are iterated contractions of (ω_M, ω_N) with the unique Hamiltonian vector fields. For quasi-Hamiltonian spaces the form is (ω, η), with η = 1/12 θ^L·[θ^L, θ^L] the Cartan 3-form; the equivariant-extension identity ι_{v_x}η = −d(½(θ_L+θ_R)·x) and the Jacobiator identity drive Theorem 5.3.4's formulas.

Load-bearing premise

The construction rests on the relative 3-form (ω, η) being nondegenerate; the paper proves this by invoking the ordinary nondegeneracy of the Cartan 3-form η, which it establishes only for Lie groups with trivial center (e.g., compact simple G), leaving general compact G — in particular tori, where η = 0 — without a proof of the nondegeneracy and uniqueness that the Lie 2-algebra construction requires.

What would settle it

Work through the torus case G = U(1): η = 0 identically, so the relative 3-form of any quasi-Hamiltonian U(1)-space is (ω, 0). Checking Definition 4.1.6 directly, ι_v η = 0 imposes no condition on v, so relative nondegeneracy reduces exactly to the quasi-Hamiltonian axiom ker ω_m ∩ ker dΦ_m = {0}. The computation settles the bridge claim: it may survive for tori, but the proof of Theorem 4.1.9 (invoking η's nondegeneracy via the compact-simple result) does not apply, and the uniqueness lemma (4.1.10) underpinning the L∞ brackets is unproved for general compact G.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • Every quasi-Hamiltonian G-space acquires a canonical semistrict Lie 2-algebra of relative observables, with L_0 = Ω^1_Ham(Φ), L_1 = Ω^0(Φ), the relative semi-bracket, and Jacobiator −ι_(u1,v1)ι_(u2,v2)ι_(u3,v3)(ω, η); a hemi-strict version with trivial Jacobiator is quasi-isomorphic to it.
  • The infinitesimal G-action on a quasi-Hamiltonian G-space is Hamiltonian in the relative sense, and the space's moment-map data is exactly the degree-zero part of an explicit L∞-morphism g → L∞(M, Φ, ω), generalizing the group-valued moment map to higher geometry.
  • Any relative n-plectic structure yields a Lie n-algebra and a differential graded Leibniz algebra, and the Hamiltonian-form model is strict-L∞-quasi-isomorphic to the vector-field-enriched pre-n-plectic model.
  • The relative Cartan calculus — contraction, Lie derivative, and Cartan's magic formula for pairs of F-related vector fields — holds in full, so the de Rham toolkit transfers unchanged to the mapping-cone complex Ω^•(F).

Where Pith is reading between the lines

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

  • Editorial inference: the same cone construction should apply to other structures whose defining form is closed only up to a defect — bundle gerbes with connection, boundary field theories, and doubled or 'defective' geometries — since nothing in the construction uses compactness of the target group.
  • Editorial inference: the two components of the homotopy moment map suggest a cohomological reading: f2 measures the failure of f1 to preserve brackets, so obstructions to a strict moment map for a quasi-Hamiltonian G-space are visibly contractions of the Cartan 3-form with fundamental vector fields, and H^*(Φ) should organize such obstructions in general.
  • Editorial inference: a direct check of the torus case (η = 0) would test whether the bridge extends beyond compact simple G: relative nondegeneracy there reduces to the quasi-Hamiltonian kernel condition ker ω ∩ ker dΦ = {0} alone, so the construction may survive even though the paper's proof of it does not cover that case.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 4 minor

Summary. The paper develops a relative version of n-plectic geometry. For a smooth map F:M→N, relative forms are elements of the mapping cone Ω^n(F)=Ω^{n-1}(M)⊕Ω^n(N) with differential d(α,β)=(F^*β+dα,-dβ), and a relative Cartan calculus is introduced. The main general claims are that a closed nondegenerate relative (n+1)-form gives an L∞-algebra of relative observables (Theorem 4.2.1), a pre-n-plectic version (Theorems 4.2.2 and 4.2.3), and a differential graded Leibniz algebra (Proposition 4.3.2). The paper then applies this to quasi-Hamiltonian G-spaces (M,ω,Φ), asserting that (ω,η) is a closed nondegenerate relative 3-form, that the induced infinitesimal action is Hamiltonian, and that an explicit L∞-morphism (f1,f2):g→L∞(M,Φ,ω) gives a homotopy moment map with f1(x)=(0,-(θ^L+θ^R)/2·x) and f2(x,y)=(0,(1/2)ι_{v_x}((θ^L+θ^R)·y)).

Significance. The relative viewpoint is a natural bridge between quasi-Hamiltonian geometry and higher symplectic geometry, and the general L∞ construction, if correct, would extend the Rogers and Callies–Frégier–Rogers–Zambon results to relative n-plectic structures. The paper supplies explicit formulas and a detailed proof strategy, which is useful. However, the central application is not established as written: the proposed homotopy moment map contains a sign error, the nondegeneracy of (ω,η) is proved only under an overly restrictive hypothesis on η, and the Lie 2-algebra in Theorem 5.1.1 mixes hemi-bracket and semi-bracket data. These are load-bearing issues for the paper's main claims.

major comments (4)
  1. [§5.3, Lemma 5.3.3 and Theorem 5.3.4] The sign in the Hamiltonian equation is inconsistent. With Definition 4.1.3, ι_{(u,v)}(α,β)=(ι_uα,-ι_vβ), and Definition 4.1.11, the Hamiltonian equations for f1(x)=(0,-1/2(θ^L+θ^R)·x) are Φ^*β+dα=-ι_{u_x}ω and dβ=-ι_{v_x}η. The first equation holds by condition 2 of Definition 2.4.1. But Proposition 2.3.12/equation (5.8) gives ι_{v_x}η=-d((θ^L+θ^R)/2·x). Hence dβ=+ι_{v_x}η, not -ι_{v_x}η. Thus (0,β) is not a Hamiltonian relative 1-form. Simply replacing β by -β breaks the first equation. Consequently Lemma 5.3.3, the commutativity claim, and the explicit L∞-morphism in Theorem 5.3.4 are invalid as stated.
  2. [§4.1, Theorem 4.1.9] Theorem 4.1.9 asserts that for any quasi-Hamiltonian G-space, (ω,η) is nondegenerate, citing Proposition 3.1.8 for nondegeneracy of η. But Proposition 3.1.8 assumes G is compact and simple (or at least has trivial center), while Definition 2.4.1 allows arbitrary compact G, including tori where η=0. The proof of Theorem 4.1.9 therefore does not cover the stated generality. This matters because Lemma 4.1.10 (uniqueness of Hamiltonian vector fields) and the L∞-algebra construction in Theorem 4.2.1 rely on relative nondegeneracy. The manuscript needs either a proof of relative nondegeneracy using only ker ω_m ∩ ker dΦ_m={0}, or a restriction of the main theorems to groups for which η is nondegenerate.
  3. [§5.1, Theorem 5.1.1] Theorem 5.1.1 mixes the two bracket structures. It states that the bracket is the hemi-bracket {·,·}_h, but the Jacobiator is given by J((f1,β1),(f2,β2),(f3,β3))=-ι_{(u1,v1)}ι_{(u2,v2)}ι_{(u3,v3)}(ω,η). That Jacobiator belongs to the semi-bracket construction; for the hemi-bracket, the Jacobiator should be trivial, as in Theorem 5.1.6. Conversely, if the Jacobiator is nontrivial, the bracket should be the semi-bracket. As written, the data do not satisfy the defining relations of a semistrict Lie 2-algebra. The same inconsistency appears in the statement of Theorem 5.1.1' in the introduction.
  4. [§5.1, Theorem 5.1.7] The claim that the hemi-strict and semi-strict Lie 2-algebras L∞(M,Φ,ω)_h and L∞(M,Φ,ω)_s are isomorphic is not supported. The proof merely cites a general equivalence from [3, Theorem 4.6] and gives no chain map or comparison. Since the two algebras have different brackets and Jacobiators, one would at most expect an L∞-quasi-isomorphism, not an isomorphism. This claim is used to pass between the two structures and should be proved or weakened.
minor comments (4)
  1. [§2.3, Proposition 2.3.12] The object η_G(x):=η-1/2(θ^L+θ^R)·x has a degree mismatch: η is a 3-form while (θ^L+θ^R)·x is a 1-form, so the displayed expression is not a standard equivariant extension of η. The subsequent computation mixes degrees and is hard to interpret. Please clarify the grading convention.
  2. [§5.2, Theorem 5.2.2] In the Courant Lie 2-algebra, the binary bracket is labelled [·,·]^c_3 and the ternary bracket is also labelled [·,·]^c_3; the first should presumably be [·,·]^c_2. Also, the symmetric pairing is said to take values in L_1 but is then used inside a scalar expression; the notation should be made consistent.
  3. [§2.3, Lemma 2.3.15] The proof of the Jacobiator identity ends with f2(x,[y,z])+f2(y,[x,z])-f2(z,[x,y]), whereas the statement has f2(y,[z,x])+f2(z,[x,y]). The sign discrepancy is not reconciled. Since this identity is used for equation (5.4) in Theorem 5.3.4, it needs to be corrected.
  4. [General] There are numerous typos and inconsistencies, including 'quasi-Hamiltonan', 'Lie n-algebra' vs. 'Lien-algebra', '2-lgebra', and the repeated use of 'unique Hamiltonian vector field' before uniqueness has been established in the relevant generality. The manuscript would benefit from a careful pass for notation and grammar.

Circularity Check

0 steps flagged

No significant circularity: the relative L-infinity construction is an explicit adaptation of Rogers' theorem with in-paper Cartan calculus, and the quasi-Hamiltonian application uses standard external results.

full rationale

The derivation chain is self-contained. Section 4 defines the relative de Rham differential via the algebraic mapping cone (Def 2.1.11), relative contraction/Lie derivative (Def 4.1.3), and relative Hamiltonian forms (Def 4.1.11); Proposition 4.1.12 proves the Cartan identities in-paper, and Theorem 4.2.1 constructs the L-infinity algebra with explicit brackets given by contractions of (omega_M, omega_N). No fitted parameter is later renamed as a prediction; the brackets are not fitted to any data, and the homotopy moment map components f1, f2 in Theorem 5.3.4 are solved from the defining Hamiltonian equations. Closedness and nondegeneracy of the relative 3-form for quasi-Hamiltonian G-spaces (Props 4.1.2, 4.1.8/4.1.9) use the standard Alekseev-Malkin-Meinrenken axioms and the Cartan 3-form, not the conclusion of the paper. The only self-citation, [14], appears in Example 3.7.9 as an illustrative example and is not load-bearing for the main results. Possible mathematical issues, such as the nondegeneracy of eta only being established for centerless Lie algebras (Prop 3.1.8) and a suspected sign inconsistency in Lemma 5.3.3, are correctness gaps rather than circular reductions: the paper does not use its conclusion as an input, and no derivation reduces to its own target by definition or by a self-citation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper adds no fitted constants. The central construction depends on standard algebraic topology, on the quasi-Hamiltonian axioms, and on the nondegeneracy of eta which is not guaranteed for all compact G. Some proofs are delegated to external results. No new entities are introduced.

axioms (4)
  • standard math The relative de Rham differential d(alpha,beta) = (F*beta + d alpha, -d beta) has square zero.
    Foundational for defining relative closed forms; proof provided in Lemma 2.1.12.
  • domain assumption A quasi-Hamiltonian G-space satisfies d omega = -Phi* eta, iota_{v_x} omega = 1/2 Phi*((theta_L + theta_R) . x), and ker omega cap ker dPhi = {0}.
    Borrowed from Alekseev, Malkin, and Meinrenken [1], Definition 2.4.1.
  • ad hoc to paper The Cartan 3-form eta is nondegenerate.
    Invoked in Theorem 4.1.9 for all quasi-Hamiltonian G-spaces, but Proposition 3.1.8 only proves it for compact simple groups with trivial center. For general compact G, e.g. tori, eta can be zero. This is an unsupported assumption.
  • domain assumption Rogers [35, Theorem 3.14] and Callies et al. [10, Theorems 4.6-4.7] construct L-infinity algebras from n-plectic and pre-n-plectic manifolds.
    Used as black boxes for adapting proofs to the relative setting, e.g. Theorem 4.2.3 and Theorem 5.1.6.

reviewed 2026-08-04 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Observables of Relative Structures and Lie 2-algebras associated with Quasi-Hamiltonian $G$-spaces." pith.science (2026). https://pith.science/paper/CYVSSAA2

@misc{pith2026250908153,
  author       = {Pith},
  title        = {Pith review of: Observables of Relative Structures and Lie 2-algebras associated with Quasi-Hamiltonian $G$-spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CYVSSAA2}},
  note         = {Machine review of arXiv:2509.08153}
}
Share X Bluesky LinkedIn Reddit HN
abstract

A manifold is said to be $n$-plectic if it is equipped with a closed, nondegenerate $(n+1)$-form. This thesis develops the theory of \emph{relative $n$-plectic structures}, where the classical condition is replaced by a closed, nondegenerate \emph{relative} $(n+1)$-form defined with respect to a smooth map. Analogous to how $n$-plectic manifolds give rise to $L_\infty$-algebras of observables, we show that relative $n$-plectic structures naturally induce corresponding $L_\infty$-algebras. These structures provide a conceptual bridge between the frameworks of quasi-Hamiltonian $G$-spaces and $2$-plectic geometry. As an application, we examine the relative $2$-plectic structure canonically associated to quasi-Hamiltonian $G$-spaces. We show that every quasi-Hamiltonian $G$-space defines a closed, nondegenerate relative $3$-form, and that the group action induces a Hamiltonian infinitesimal action compatible with this structure. We then construct explicit homotopy moment maps as $L_\infty$-morphisms from the Lie algebra $\mathfrak{g}$ into the Lie $2$-algebra of relative observables, extending the moment map formalism to the higher and relative geometric setting.

discussion (0)

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

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Periods, prequantization, and rigidity in relative multisymplectic geometry

    math.SG 2026-07 conditional novelty 7.0

    Relative periods are governed by target periods plus a defect homomorphism, admissible prequantization levels always form a cyclic group, and relative comoment maps are automatically unique, strict, and equivariant.

  2. Periods, prequantization, and rigidity in relative multisymplectic geometry

    math.SG 2026-07 conditional novelty 5.0

    Closed relative forms in the mapping-cone complex of a smooth map F:M→N are shown to be exactly the topological terms of action functionals, with applications to prequantization, Noether charges, moment map rigidity, ...

Reference graph

Works this paper leans on

60 extracted references · 45 canonical work pages · cited by 1 Pith paper · 3 internal anchors

  1. [1]

    Lie group valued moment maps.Journal of Differential Geometry, 48(3):445–495, 1998

    Anton Alekseev, Anton Malkin, and Eckhard Meinrenken. Lie group valued moment maps.Journal of Differential Geometry, 48(3):445–495, 1998

    work page 1998

  2. [2]

    Higher-dimensional algebra VI: Lie 2-algebras.Theory and Applications of Categories, 12(15):492–538, 2004

    John Baez and Alissa Crans. Higher-dimensional algebra VI: Lie 2-algebras.Theory and Applications of Categories, 12(15):492–538, 2004

    work page 2004

  3. [3]

    Baez, Alexander E

    John C. Baez, Alexander E. Hoffnung, and Christopher L. Rogers. Categorified Symplectic Geometry and the Classical String.Communications in Mathematical Physics, 293(3):701–725, 2009. ISSN 1432-0916. doi: 10.1007/s00220-009-0951-9. URLhttp://dx.doi.org/10.1007/s00220-009-0951-9

    work page doi:10.1007/s00220-009-0951-9 2009

  4. [5]

    American Mathematical Society and Berkeley CenterforPureandAppliedMathematics, Berkeley, CA,1997

    Sean Bates and Alan Weinstein.Lectures on the Geometry of Quantization, volume 8 ofBerkeley Mathematics Lecture Notes. American Mathematical Society and Berkeley CenterforPureandAppliedMathematics, Berkeley, CA,1997. ISBN978-0-8218-0798-

    work page 1997

  5. [6]

    Polysymplectic reduction and the moduli space of flat connections

    Casey Blacker. Polysymplectic reduction and the moduli space of flat connections. Journal of Physics A: Mathematical and Theoretical, 52, 2018. URLhttps://api. semanticscholar.org/CorpusID:53614274

    work page 2018

  6. [7]

    Reduction ofL∞-algebras of Observables on Multisymplectic Manifolds.Symmetry, Integrability and Geometry: Methods and Applications, 2024

    Casey Blacker, Antonio Michele Miti, and Leonid Ryvkin. Reduction ofL∞-algebras of Observables on Multisymplectic Manifolds.Symmetry, Integrability and Geometry: Methods and Applications, 2024. ISSN 1815-0659. doi: 10.3842/sigma.2024.061. URL http://dx.doi.org/10.3842/SIGMA.2024.061

    work page doi:10.3842/sigma.2024.061 2024

  7. [8]

    Tu.Differential Forms in Algebraic Topology

    Raoul Bott and Loring W. Tu.Differential Forms in Algebraic Topology. Springer,

    work page

  8. [9]

    Based on courses taught at UC Berkeley (1992) and Centre Emile Borel (1994)

    work page 1992

  9. [10]

    Rogers, and Marco Zambon

    Martin Callies, Yaël Frégier, Christopher L. Rogers, and Marco Zambon. Homotopy moment maps.Advances in Mathematics, 303:954–1043, 2016. doi: 10.1016/j.aim. 2016.08.012. 111 Bibliography112

    doi:10.1016/j.aim 2016

  10. [11]

    Robert L. Bryant. On the geometry of almost complex 6-manifolds.Asian Journal of Mathematics, 10(3):561–605, September 2006

    work page 2006

  11. [12]

    Springer Berlin, Heidelberg, 1st edition, 2001

    Ana Cannas da Silva.Lectures on Symplectic Geometry, volume 1764 ofLecture Notes in Mathematics. Springer Berlin, Heidelberg, 1st edition, 2001. ISBN 978- 3-540-42195-5. doi: 10.1007/978-3-540-45330-7. URLhttps://doi.org/10.1007/ 978-3-540-45330-7

    doi:10.1007/978-3-540-45330-7 2001

  12. [13]

    Cantrijn, A

    F. Cantrijn, A. Ibort, and M. de León. On the geometry of multisymplectic man- ifolds.Journal of the Australian Mathematical Society. Series A. Pure Mathemat- ics and Statistics, 66(3):303–330, 1999. doi: 10.1017/S1446788700036636. URL https://doi.org/10.1017/S1446788700036636

    work page doi:10.1017/s1446788700036636 1999

  13. [14]

    InfinitesimalsymmetriesofbundlegerbesandCourant algebroids.Geometriae Dedicata, 218:47, 2024

    D.DjounvounaandD.Krepski. InfinitesimalsymmetriesofbundlegerbesandCourant algebroids.Geometriae Dedicata, 218:47, 2024. doi: 10.1007/s10711-024-00897-0. URLhttps://doi.org/10.1007/s10711-024-00897-0

    work page doi:10.1007/s10711-024-00897-0 2024

  14. [15]

    Coisotropic reduction in multisym- plectic geometry.Geometric Mechanics, 01(03):209–244, September 2024

    Manuel de León and Rubén Izquierdo-López. Coisotropic reduction in multisym- plectic geometry.Geometric Mechanics, 01(03):209–244, September 2024. ISSN 2972-4597. doi: 10.1142/s2972458924500096. URLhttp://dx.doi.org/10.1142/ S2972458924500096

    work page doi:10.1142/s2972458924500096 2024

  15. [16]

    Invariant forms and automorphisms of locally homogeneous multisymplectic manifolds.Journal of Geometry and Mechanics, 4(4):397–419, 2012

    A Echeverría-Enríquez, A Ibort, MC Muñoz-Lecanda, and N Román-Roy. Invariant forms and automorphisms of locally homogeneous multisymplectic manifolds.Journal of Geometry and Mechanics, 4(4):397–419, 2012

    work page 2012

  16. [17]

    A letter from Kharkov to Moscow.EMS Surveys in Mathematical Sciences, 1(2):241–248, 2014

    Vladimir Drinfeld. A letter from Kharkov to Moscow.EMS Surveys in Mathematical Sciences, 1(2):241–248, 2014. doi: 10.4171/EMSS/5. Translation from Russian by Keith Conrad

    work page doi:10.4171/emss/5 2014

  17. [18]

    Rogers, and Urs Schreiber.L∞-algebras of local observables from higher prequantum bundles.Homology, Homotopy and Applications, 16(2):107–142, 2014

    Domenico Fiorenza, Christopher L. Rogers, and Urs Schreiber.L∞-algebras of local observables from higher prequantum bundles.Homology, Homotopy and Applications, 16(2):107–142, 2014. ISSN 1532-0081. doi: 10.4310/hha.2014.v16.n2.a6. URLhttp: //dx.doi.org/10.4310/HHA.2014.v16.n2.a6

    work page doi:10.4310/hha.2014.v16.n2.a6 2014

  18. [19]

    Muñoz-Lecanda, and Narciso Román-Roy

    Arturo Echeverría-Enríquez, Miguel C. Muñoz-Lecanda, and Narciso Román-Roy. Re- marks on multisymplectic reduction.Reports on Mathematical Physics, 81(3):415–424,

    work page

  19. [20]

    Covariant Poisson Brackets in Geometric Field Theory.Communications in Mathematical Physics, 256(2):375–410, 2005

    Michael Forger and Sandro Vieira Romero. Covariant Poisson Brackets in Geometric Field Theory.Communications in Mathematical Physics, 256(2):375–410, 2005. doi: 10.1007/s00220-005-1287-8. Bibliography113

    work page doi:10.1007/s00220-005-1287-8 2005

  20. [21]

    E. S. Fradkin and T. E. Fradkina. Quantization of relativistic systems with boson and fermion first and second class constraints.Physics Letters B, 72(3):343–348, 1978. doi: 10.1016/0370-2693(78)90135-1

    doi:10.1016/0370-2693(78)90135-1 1978

  21. [22]

    Multisymplecticandpolysymplecticstructures on fiber bundles.Reviews in Mathematical Physics, 25(09):1350018, 2013

    MichaelForgerandLeandroG.Gomes. Multisymplecticandpolysymplecticstructures on fiber bundles.Reviews in Mathematical Physics, 25(09):1350018, 2013. ISSN 1793-6659. doi: 10.1142/s0129055x13500189. URLhttp://dx.doi.org/10.1142/ S0129055X13500189

    doi:10.1142/s0129055x13500189 2013

  22. [23]

    A cohomological frame- work for homotopy moment maps.Journal of Geometry and Physics, 2015

    Yaël Frégier, Camille Laurent-Gengoux, and Marco Zambon. A cohomological frame- work for homotopy moment maps.Journal of Geometry and Physics, 2015. doi: 10.1016/j.geomphys.2015.07.010

    work page doi:10.1016/j.geomphys.2015.07.010 2015

  23. [24]

    On Dar- boux theorems for geometric structures induced by closed forms.Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales

    Xavier Gràcia, Javier de Lucas, Xavier Rivas, and Narciso Román-Roy. On Dar- boux theorems for geometric structures induced by closed forms.Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas, 118(3):131, June 2024. ISSN 1579-1505. doi: 10.1007/s13398-024-01632-w. URL https://doi.org/10.1007/s13398-024-01632-w

    doi:10.1007/s13398-024-01632-w 2024

  24. [25]

    E. S. Fradkin and G. S. Vilkovisky. Quantization of relativistic systems with con- straints.Physics Letters B, 55(2):224–226, 1975. ISSN 0370-2693. doi: https: //doi.org/10.1016/0370-2693(75)90448-7. URLhttps://www.sciencedirect.com/ science/article/pii/0370269375904487

    arXiv 1975

  25. [26]

    Geometric quantization of symplectic maps and Witten’s asymp- totic conjecture.Advances in Mathematics, 387:107840, 2021

    Louis Ioos. Geometric quantization of symplectic maps and Witten’s asymp- totic conjecture.Advances in Mathematics, 387:107840, 2021. ISSN 0001-8708. doi: https://doi.org/10.1016/j.aim.2021.107840. URLhttps://www.sciencedirect. com/science/article/pii/S0001870821002796

    work page arXiv 2021

  26. [27]

    Pre-quantization of the moduli space of flatG-bundles over a surface

    Derek Krepski. Pre-quantization of the moduli space of flatG-bundles over a surface. Journal of Geometry and Physics, 2008. doi: 10.1016/j.geomphys.2008.07.009

    work page doi:10.1016/j.geomphys.2008.07.009 2008

  27. [28]

    Guillemin, Shlomo Sternberg, and Jochen Brüning.Supersymmetry and Equivariant de Rham Theory

    Victor W. Guillemin, Shlomo Sternberg, and Jochen Brüning.Supersymmetry and Equivariant de Rham Theory. Springer Book Archive. Springer Berlin, Heidelberg, 1 edition, 1999. ISBN 978-3-540-64797-3. doi: 10.1007/978-3-662-03992-2

    doi:10.1007/978-3-662-03992-2 1999

  28. [29]

    Introduction to SH Lie algebras for physicists.Interna- tional Journal of Theoretical Physics, 32(7):1087–1103, July 1993

    Tom Lada and Jim Stasheff. Introduction to SH Lie algebras for physicists.Interna- tional Journal of Theoretical Physics, 32(7):1087–1103, July 1993. ISSN 1572-9575. doi: 10.1007/BF00671791. URLhttps://doi.org/10.1007/BF00671791

    doi:10.1007/bf00671791 1993

  29. [30]

    Multisymplecticgeometry, variational integrators, andnonlinearpdes.Communications in Mathematical Physics, 199(2):351–395, 1998

    JerroldE.Marsden, GeorgeW.Patrick, andSteveShkoller. Multisymplecticgeometry, variational integrators, andnonlinearpdes.Communications in Mathematical Physics, 199(2):351–395, 1998. ISSN 1432-0916. doi: 10.1007/s002200050505. URLhttps: //doi.org/10.1007/s002200050505. Bibliography114

    doi:10.1007/s002200050505 1998

  30. [31]

    Multiplicative vector fields on bundle gerbes

    Derek Krepski and Jennifer Vaughan. Multiplicative vector fields on bundle gerbes. Differential Geometry and its Applications, 84:101931, 2022. ISSN 0926-2245. doi: 10.1016/j.difgeo.2022.101931. URLhttp://dx.doi.org/10.1016/j.difgeo.2022. 101931

    arXiv 2022

  31. [32]

    Twisted K-homology and group-valued moment maps.Inter- national Mathematics Research Notices, Volume 2012, 2012

    Eckhard Meinrenken. Twisted K-homology and group-valued moment maps.Inter- national Mathematics Research Notices, Volume 2012, 2012

    work page 2012

  32. [33]

    Integrating morphisms of lie 2-algebras.Compositio Mathematica, 149(2):264–294, February 2013

    Behrang Noohi. Integrating morphisms of lie 2-algebras.Compositio Mathematica, 149(2):264–294, February 2013. ISSN 1570-5846. doi: 10.1112/s0010437x1200067x. URLhttp://dx.doi.org/10.1112/S0010437X1200067X

    work page doi:10.1112/s0010437x1200067x 2013

  33. [34]

    A Darboux theorem for multi-symplectic manifolds.Letters in Mathemat- ical Physics, 16(2):133–138, 1988

    G Martin. A Darboux theorem for multi-symplectic manifolds.Letters in Mathemat- ical Physics, 16(2):133–138, 1988

    work page 1988

  34. [35]

    PhD thesis, University of Califor- nia, Riverside, 2011

    Christopher L Rogers.Higher Symplectic Geometry. PhD thesis, University of Califor- nia, Riverside, 2011. Available athttps://escholarship.org/uc/item/2dw098fp# page=28

    work page 2011

  35. [36]

    2-Plectic geometry, Courant algebroids, and categorified pre- quantization.Journal of Symplectic Geometry, 11, 2013

    Christopher L Rogers. 2-Plectic geometry, Courant algebroids, and categorified pre- quantization.Journal of Symplectic Geometry, 11, 2013

    work page 2013

  36. [37]

    Rogers.L ∞-algebras from Multisymplectic Geometry.Letters in Mathematical Physics, 100(1):29–50, 2011

    Christopher L. Rogers.L ∞-algebras from Multisymplectic Geometry.Letters in Mathematical Physics, 100(1):29–50, 2011. ISSN 1573-0530. doi: 10.1007/ s11005-011-0493-x. URLhttp://dx.doi.org/10.1007/s11005-011-0493-x

    work page doi:10.1007/s11005-011-0493-x 2011

  37. [38]

    A multisymplectic manifold not covered by Darboux charts

    Leonid Ryvkin. A multisymplectic manifold not covered by Darboux charts, 2016. URLhttps://arxiv.org/abs/1608.07424. arXiv:1608.07424, Differential Geome- try

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  38. [39]

    Darboux type theorems in multisymplectic geometry.Accepted for publication in the Springer INdAM volume ’Poisson Geometry and Mathematical Physics’, 2025

    Leonid Ryvkin. Darboux type theorems in multisymplectic geometry.Accepted for publication in the Springer INdAM volume ’Poisson Geometry and Mathematical Physics’, 2025. URLhttps://arxiv.org/abs/2503.03672

    Pith/arXiv arXiv 2025

  39. [40]

    Courant algebroids and strongly homotopy Lie algebras.Letters in Mathematical Physics, 46(1):81–93, 1998

    Dmitry Roytenberg and Alan Weinstein. Courant algebroids and strongly homotopy Lie algebras.Letters in Mathematical Physics, 46(1):81–93, 1998. doi: 10.1023/A: 1007452512084. URLhttps://doi.org/10.1023/A:1007452512084

    doi:10.1023/a: 1998

  40. [41]

    Conserved quantities on multisymplectic manifolds.Journal of the Australian Mathematical Society, 108(1): 120–144, December 2018

    Leonid Ryvkin, Tilmann Wurzbacher, and Marco Zambon. Conserved quantities on multisymplectic manifolds.Journal of the Australian Mathematical Society, 108(1): 120–144, December 2018. ISSN 1446-8107. doi: 10.1017/s1446788718000381. URL http://dx.doi.org/10.1017/S1446788718000381

    work page doi:10.1017/s1446788718000381 2018

  41. [42]

    Schlessinger and Jim Stasheff

    M. Schlessinger and Jim Stasheff. The lie algebra structure of tangent cohomology and deformation theory.Journal of Pure and Applied Algebra, 38:313–322, 1985. URL https://api.semanticscholar.org/CorpusID:122885321. Bibliography115

    work page 1985

  42. [43]

    An invitation to multisymplectic geometry

    Leonid Ryvkin and Tilmann Wurzbacher. An invitation to multisymplectic geometry. Journal of Geometry and Physics, 142:9–36, 2019. ISSN 0393-0440. doi: 10.1016/ j.geomphys.2019.03.006. URLhttp://dx.doi.org/10.1016/j.geomphys.2019.03. 006

    work page doi:10.1016/j.geomphys.2019.03 2019

  43. [44]

    Relative gerbes.Journal of Geometry and Physics, 56(8):1326–1356,

    Zohreh Shahbazi. Relative gerbes.Journal of Geometry and Physics, 56(8):1326–1356,

    work page

  44. [45]

    Prequantization of quasi-Hamiltonian spaces.International Math- ematics Research Notices, Volume 2006, 2006

    Zohreh Shahbazi. Prequantization of quasi-Hamiltonian spaces.International Math- ematics Research Notices, Volume 2006, 2006. doi: 10.1155/IMRN/2006/29354

    work page doi:10.1155/imrn/2006/29354 2006

  45. [46]

    On the prequantisation map for 2-plectic manifolds.Mathematical Physics, Analysis and Geometry, 24:1–31, 2020

    Gabriel Sevestre and Tilmann Wurzbacher. On the prequantisation map for 2-plectic manifolds.Mathematical Physics, Analysis and Geometry, 24:1–31, 2020. URLhttps: //api.semanticscholar.org/CorpusID:221103578

    work page 2020

  46. [47]

    Constrained Poisson algebras and strong homotopy representations

    Jim Stasheff. Constrained Poisson algebras and strong homotopy representations. Bulletin of the American Mathematical Society (N.S.), 19(1):287–290, 1988

    work page 1988

  47. [48]

    Homological (ghost) approach to constrained Hamiltonian systems

    Jim Stasheff. Homological (ghost) approach to constrained Hamiltonian systems. In Mathematical aspects of classical field theory (Seattle, WA, 1991), volume 132 ofCon- temporary Mathematics, pages 595–609. American Mathematical Society, Providence, RI, 1992

    work page 1991

  48. [49]

    Homological reduction of constrained Poisson algebras.Journal of Differential Geometry, 45:221–240, 1997

    Jim Stasheff. Homological reduction of constrained Poisson algebras.Journal of Differential Geometry, 45:221–240, 1997

    work page 1997

  49. [50]

    Sharpe.Differential Geometry: Cartan’s Generalization of Klein’s Er- langen Program, volume 166 ofGraduate Texts in Mathematics

    Richard W. Sharpe.Differential Geometry: Cartan’s Generalization of Klein’s Er- langen Program, volume 166 ofGraduate Texts in Mathematics. Springer, New York,

    work page

  50. [51]

    How Dennis realized he had `invented' $L_\infty$-algebras a.k.a. strongly homotopy Lie algebras

    Jim Stasheff. How Dennis realized he had ‘invented’L∞-algebras, 2016. Available at https://arxiv.org/pdf/1609.08401

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  51. [52]

    L-infinity and A-infinity structures.Higher Structures, 3(1):292– 326, 2019

    Jim Stasheff. L-infinity and A-infinity structures.Higher Structures, 3(1):292– 326, 2019. doi: 10.21136/HS.2019.07. URLhttps://higher-structures.math. uni-hamburg.de/HS_2019_3_1_Stasheff.pdf. Invited Contribution

    doi:10.21136/hs.2019.07 2019

  52. [53]

    Tu and Alberto Arabia.Introductory Lectures on Equivariant Cohomology: (AMS-204)

    Loring W. Tu and Alberto Arabia.Introductory Lectures on Equivariant Cohomology: (AMS-204). Princeton University Press, 2020. ISBN 9780691191751. URLhttp: //www.jstor.org/stable/j.ctvrdf1gz

    work page 2020

  53. [54]

    Weibel.An Introduction to Homological Algebra, volume 38 ofCam- bridge Studies in Advanced Mathematics

    Charles A. Weibel.An Introduction to Homological Algebra, volume 38 ofCam- bridge Studies in Advanced Mathematics. Cambridge University Press, 1994. ISBN 9781139644136. doi: 10.1017/CBO9781139644136. URLhttps://doi.org/10.1017/ CBO9781139644136. Bibliography116

    doi:10.1017/cbo9781139644136 1994

  54. [55]

    The (secret?) homological algebra of the Batalin–Vilkovisky approach

    Jim Stasheff. The (secret?) homological algebra of the Batalin–Vilkovisky approach. InSecondary calculus and cohomological physics (Moscow, 1997), volume 219 ofCon- temporary Mathematics, pages 195–210. American Mathematical Society, Providence, RI, 1998

    work page 1997

  55. [56]

    Closed string field theory: Quantum action and the Batalin- Vilkovisky master equation.Nuclear Physics B, 390:33–152, 1993

    Barton Zwiebach. Closed string field theory: Quantum action and the Batalin- Vilkovisky master equation.Nuclear Physics B, 390:33–152, 1993. doi: 10.1016/ 0550-3213(93)90388-6

    work page 1993

  56. [60]

    Six lectures on Geometric Quantization

    Konstantin Wernli. Six lectures on Geometric Quantization, 2023. URLhttps: //arxiv.org/abs/2306.00178. arXiv:2306.00178

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  57. [1982]

    doi: 10.1007/978-1-4757-3951-0

    doi:10.1007/978-1-4757-3951-0

  58. [1997]

    Includes bibliographical references (pp

    ISBN 0387947329. Includes bibliographical references (pp. 411–415) and index

    work page

  59. [2006]

    doi: https://doi.org/10.1016/j.geomphys.2005.07.003

    ISSN 0393-0440. doi: https://doi.org/10.1016/j.geomphys.2005.07.003. URL https://www.sciencedirect.com/science/article/pii/S0393044005001191

    work page doi:10.1016/j.geomphys.2005.07.003 2005

  60. [2018]

    doi: https://doi.org/10.1016/S0034-4877(18)30057-0

    ISSN 0034-4877. doi: https://doi.org/10.1016/S0034-4877(18)30057-0. URL https://www.sciencedirect.com/science/article/pii/S0034487718300570

    work page doi:10.1016/s0034-4877(18)30057-0

This paper was first reviewed by deepseek-v4-flash on August 4, 2026.