Homotopy reduction of multisymplectic structures in Lagrangian field theory

Janina Bernardy

REVIEW 3 major objections 3 minor 1 cited by

Homotopy reduction of multisymplectic structures in Lagrangian field theory

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

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

Pith's one-line read This paper develops homotopy reduction for multisymplectic structures in Lagrangian field theory, characterizes the homotopy zero locus by two explicit conditions, and states its invariance under the identity component of the symmetry…

desk verdict The homotopy-zero-locus idea is worth taking seriously, but the paper's own definition and main theorem disagree already in the n=1 case, and the central proofs are deferred. read the letter →

arxiv 2505.09492 v1 pith:OOIFWQUT submitted 2025-05-14 math.SG

Janina Bernardy This is my paper · ORCID

classification math.SG MSC 53D2070S0558A20

keywords homotopymomentummapsmultisymplecticgeometryLagrangianfieldtheoryreductionL-infinityalgebrasvariationalbicomplexpremultisymplecticstructuressymmetry

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

Classical symplectic reduction cuts a phase space down to the zero level set of a momentum map, but in Lagrangian field theory the natural momentum maps take values in an $L_\infty$-algebra of Hamiltonian forms and their first components produce conserved currents rather than conserved numbers. This paper proposes a homotopy analogue of the zero level set: the homotopy zero locus of a local homotopy momentum map, consisting of fields whose pullback of the momentum map is exact in the relevant obstruction complex. Its central result characterizes that locus by two local equations, namely closedness of the pulled-back first component and vanishing of contractions of the variation of the boundary form. It then asserts the invariance of this locus under the identity component of the symmetry group, so that a reduced field space can be formed. The construction matters because it handles symmetries acting on spacetime as well as on fields, including diffeomorphism symmetry in general relativity.

What carries the argument

The load-bearing machinery is the $L_\infty$-algebra of Hamiltonian forms on a premultisymplectic manifold, a graded vector space whose higher brackets encode the failure of the Poisson bracket to satisfy Jacobi; homotopy momentum maps are morphisms of $L_\infty$-algebras from the symmetry Lie algebra into this target. The obstruction double complex $\Omega^{p,q}(\mathfrak{g}, J^\infty F)$ with total differential $d_g + d_X$ turns Hamiltonian actions into cocycle and exactness statements, and it is exactness in this complex that defines the homotopy zero locus. The intended proof of the two-condition characterization uses the acyclicity theorem for the variational bicomplex on $J^\infty A$ together with locality of the momentum map in $A$. The premultisymplectic form $\omega = EL + \delta\gamma$, built from the Euler-Lagrange form and the variation of a boundary form, carries the Lagrangian field theory data throughout.

What would settle it

In a concrete local theory (for instance the gauge-theory example discussed in Example 2.6), find a field $\phi$ satisfying both conditions of Theorem 3.4 and compute the class of $(j^\infty \phi)^*\mu$ in the total cohomology of the obstruction complex $\Omega(\mathfrak{g}, M)$; a nonzero class would disprove the characterization, while a symmetry flow carrying a point of $Z$ outside $Z$ would disprove the invariance statement.

Watch

Extended reading notes

Core claim

In Lagrangian field theory, the premultisymplectic form is $\omega = EL + \delta\gamma$ on the infinite jet pro-manifold $J^\infty F$, and a Hamiltonian symmetry is encoded by a homotopy momentum map $\mu$ from the symmetry algebra into the $L_\infty$-algebra of Hamiltonian forms. The paper defines the homotopy zero locus as $Z = \{\phi \in \mathcal{F} \mid (j^\infty \phi)^*\mu \text{ is exact in } \Omega(\mathfrak{g}, M)\}$ and claims that, for local actions and local momentum maps, $\phi \in Z$ holds if and only if $d((j^\infty \phi)^*\mu_1(a)) = 0$ for every symmetry generator $a$ and $(j^\infty \phi)^*(\iota_{\xi_a}\iota_{\xi_b}\delta\gamma) = 0$ for every pair of generators. The first condition says the conserved currents are closed, hence their charges vanish on any codimension-one surface; the second acts as a replacement for equivariance and guarantees the infinitesimal invariance of $Z$. Under a diffeological group integrating the symmetry algebra, the paper asserts that the identity component preserves $Z$, allowing the quotient $Z/G$ to serve as the reduced field space.

Load-bearing premise

The two-condition characterization assumes that the acyclicity theorem for the variational bicomplex applies to local homotopy momentum maps on the infinite jet pro-manifold, and that the finite-dimensional results used throughout transfer without significant change to infinite-dimensional Lie algebras and diffeological spaces.

Editorial extensions

If this is right

For a compact oriented spacetime with a closed codimension-one surface $\Sigma$, all conserved charges $q_{\Sigma,a}$ vanish on the homotopy zero locus, because closed currents are exact by acyclicity and then integrate to zero by Stokes' theorem.
The homotopy zero locus is infinitesimally invariant: the time derivative of each of the two characterizing equations along any symmetry vector field vanishes at every point of $Z$, which supplies the missing equivariance condition for homotopy momentum maps.
Applied to classical mechanics as a one-dimensional field theory, the constructions reproduce familiar reduced spaces: paths with constant linear momentum under translations, paths with zero angular momentum under the full rotation algebra, and paths with constant energy under time translation.
The method extends to symmetries that act on the spacetime manifold itself, so the diffeomorphism symmetry of general relativity is a natural target for explicit reduction.
The reduction acts on the field space rather than on the algebra of observables; constructing a reduced $L_\infty$-algebra of Hamiltonian forms on $Z/G$ remains an open problem that the paper explicitly flags.

Reading between the lines

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

A practical consequence, not stated by the paper, is that in concrete models one can impose the two local equations directly instead of solving the stronger and often ill-posed condition $\mu = 0$, which may make reduction computations feasible in gauge theories.
The second condition depends only on the boundary form and the symmetry vector fields, so theories sharing the same boundary term will share the same second constraint; this suggests classifying homotopy reductions by boundary data.
If the construction remains valid for diffeomorphism symmetries, the homotopy zero locus could provide a covariant, off-shell notion of 'no charges' that connects naturally with asymptotic symmetry analyses at infinity.
The result invites a companion question: whether the reduced field space $Z/G$ carries a premultisymplectic structure whose Hamiltonian-form algebra matches the reduction of the original $L_\infty$-algebra of observables.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

You should know two things about this paper. First, it does something genuinely new: it proposes a concrete notion of a homotopy zero locus for local homotopy momentum maps in Lagrangian field theory, and it gives a characterization (Theorem 3.4) that is plausible and useful for examples like constant momentum or constant energy. Second, as written, the definition of that zero locus and the theorem characterizing it do not agree, already in the simplest case n=1. That is a real problem, not a stylistic one.

The definition (Def. 3.3) says a field phi is in Z if the pullback of the momentum cochain mu to the spacetime complex Omega(g,M) is exact. But in Section 2.1 the double complex is defined with p>=1. For n=1, mu is just mu1 in Hom(g,C^infty(M)). There is no degree-0 cochain to serve as a primitive, so exactness forces mu1(a)=0 everywhere. Theorem 3.4 instead requires only d((j^infty phi)^* mu1(a))=0, i.e., constancy of the momentum function. The paper's own space-translation example uses this weaker condition and calls constant-velocity paths the zero locus. So either the definition of exactness is being silently changed to include p=0 (and then the condition would involve a Lie derivative, not d of the pullback), or Theorem 3.4 proves something different from what Def. 3.3 states. This looks fixable, but it has to be addressed head-on.

What is good: the obstruction-theory summary is accurate and useful; the Chern-Simons and GR examples are well chosen; and the idea of replacing the zero set of a momentum map by a cohomological condition on pulled-back currents is a reasonable way to handle gauge symmetries. The paper is honest: it states clearly that the proofs of Theorem 3.4 and Proposition 3.5 are in the author's M.Sc. thesis, and Theorem 3.6 will appear in a future paper. That is acceptable in a research announcement, but it means the present text cannot be judged as a full proof.

The bigger worry is the blanket claim in Section 1.3 that the finite-dimensional results carry over to pro-manifolds and diffeological spaces without significant changes. That is asserted, not shown, and it is load-bearing for all the field-theoretic examples.

Who is this for? Someone working in multisymplectic geometry who wants to see a concrete proposal for reduction with local homotopy momentum maps. It should get a serious referee, but the referee's first request should be to reconcile Definition 3.3 with Theorem 3.4 and to supply or at least sketch the missing proofs.

Referee Report

3 major / 3 minor

Summary. The paper proposes a method of homotopy reduction for premultisymplectic structures arising in Lagrangian field theory. It reviews the obstruction-theoretic framework for Hamiltonian actions from Callies--Fregier--Rogers--Zambon and Fregier--Laurent-Gengoux--Zambon, recalls Rogers' L-infinity algebra of Hamiltonian forms, and then introduces a homotopy zero locus for a local homotopy momentum map. The main new results are Theorem 3.4, characterizing the homotopy zero locus by two conditions, Proposition 3.5 on its infinitesimal invariance, and Theorem 3.6 on invariance under a diffeological group integrating the symmetry Lie algebra. The paper also provides examples, including space translation, rotation, and time translation in classical mechanics, as well as Chern--Simons gauge symmetry and diffeomorphism symmetry of general relativity.

Significance. If the main results hold, the paper offers a new, field-space level reduction procedure for multisymplectic field theories that is compatible with local homotopy momentum maps and that differs from the observable-algebra reductions of Blacker--Miti--Ryvkin. The examples involving Chern--Simons theory and general relativity are potentially of substantial interest. However, the central results are not proved in this manuscript: Theorem 3.4 is deferred to the author's M.Sc. thesis, Proposition 3.5 is likewise sourced to the thesis, and Theorem 3.6 is deferred to work in progress. More seriously, Definition 3.3 and Theorem 3.4 appear to be inconsistent in the n=1 case, which is the case of the paper's own illustrative examples. The paper is therefore best viewed as a research announcement whose central claims require verification.

major comments (3)

[Section 3.2, Theorem 3.4, Proposition 3.5, Theorem 3.6] Definition 3.3 defines the homotopy zero locus as the set of fields for which (j^infinity phi)^* mu is exact in the complex Omega(g,M). In that complex, introduced in Section 2.1, bidegrees satisfy p >= 1, so for n=1 the pulled-back element (j^infinity phi)^* mu lies in Omega^{1,0}(g,M) = Hom(g, Omega^0(M)), and there is no degree-zero primitive available. Exactness of a degree-1 element is therefore equivalent to the element being zero. A nonzero constant-velocity path in Example 3.7 has (j^infinity phi)^* mu equal to a nonzero constant function on the one-dimensional spacetime, which is not exact, so such a path would not lie in the homotopy zero locus as defined. Theorem 3.4, by contrast, only requires d((j^infinity phi)^* mu_1(a)) = 0, i.e. horizontal closedness, and Example 3.7 explicitly declares all constant-velocity paths to lie in Z. This is an internal inconsistency: either the exactness condition in Definition 3.3 is the wrong notion and the theorem-characterized set is not Z, or the theorem's conditions are not sufficient. Because Z is the object on which Proposition 3.5 and Theorem 3.6 rest, this mismatch undermines the central reduction claim unless Definition 3.3 is corrected and the equivalence is re-proved for the corrected definition.
[Section 3.2] Theorem 3.4 is the central characterization on which the reduction method depends, but its proof is not included in the manuscript. The text states only that the proof relies on locality of mu in A and on the acyclicity theorem for the variational bicomplex on J^infinity A, and it is deferred to the author's M.Sc. thesis [Ber24]. Similarly, Proposition 3.5 is deferred to [Ber24], and the proof of Theorem 3.6 is deferred to [BB], which is listed as work in progress. A referee cannot assess the correctness or the precise hypotheses of these results from the material provided. For a journal submission, the main theorems should be proved in the paper or accompanied by a detailed proof sketch; as written, the paper functions as an announcement rather than a complete research article.
[Section 1.3] The manuscript asserts that results from the literature on finite-dimensional manifolds and finite-dimensional Lie algebras carry over to infinite-dimensional Lie algebras, pro-manifolds, and diffeological spaces without significant changes. This assumption is load-bearing for Theorem 3.4, Proposition 3.5, and the formal statements in Sections 3.2 and the Appendix, particularly in the use of acyclicity of the variational bicomplex in infinite-dimensional and pro-manifold settings. The assertion is not proved or even given a precise formulation. If the infinite-dimensional or diffeological analogues require additional hypotheses or fail outright, the characterization of the homotopy zero locus and its invariance would need to be re-examined. The author should either supply the relevant proofs or state explicitly the exact results from the literature that are being extended and why the extensions are routine.

minor comments (3)

[References] The references [BB] and [Ber24] are to work in progress and to the author's M.Sc. thesis; since they carry the proofs of the main theorems, the reference list should indicate where these documents can be obtained, or the proofs should be included in the paper.
[Section 3.2] Footnote 6 states that the previous discussion and results carry over to pro-manifolds without significant adaptations; given that the paper already makes several unproved transfer claims, this footnote adds another such assertion and should be substantiated or removed.
[Throughout] There are several typographical and formatting issues, such as the duplicated word 'the' in the abstract, inconsistent spacing around equations, and the use of 'Sec' vs 'Section'; a careful proofreading pass would improve readability.

Circularity Check

1 steps flagged · score 4.0 of 10

The reduction's invariance step is deferred to a self-citation in progress; the rest of the derivation is not circular, and the exactness mismatch in Definition 3.3 is a correctness risk rather than a circularity.

self citation load bearing [Section 3.2, Theorem 3.6; also the attributions of Definition 3.3, Theorem 3.4, and Proposition 3.5 to [Ber24] and [BB].]
"Theorem 3.6. Let G be a diffeological group integrating the Lie algebra A. Then the path component of the identity of G preserves the homotopy zero locus of µ. Proof. The proof strongly relies on the diffeological set-up and will appear in [BB]."

The invariance of the homotopy zero locus is the second load-bearing step of the proposed reduction (Section 3.2, 'Step 2: Invariance of the homotopy zero locus'). Instead of giving an argument, the paper defers the entire proof to a work-in-progress by the same author and a collaborator, so the central reduction statement is currently justified only by an unverified self-citation. The same provenance pattern appears throughout the section: Definition 3.3 is labeled 'Def. 3.1.1 and Sec. 3.2 in [Ber24]', Theorem 3.4 is labeled 'Thm. 3.2.1 in [Ber24]', and Proposition 3.5 is labeled 'Prop. 3.4.1 in [Ber24]', all from the author's own MSc thesis. This is not an equational reduction of one formula to another, but it is a load-bearing self-citation chain for the paper's main reduction result.

full rationale

The derivation chain is not a fitted-parameter or definitional circle: Section 2 is explicitly a summary of known results from CFRZ16, FLGZ15, and RW15; Definition 3.3 introduces a new homotopy zero locus; and Theorem 3.4 is a characterization rather than a restatement of the definition. No parameter is fitted and no known result is merely renamed. The skeptic's exactness mismatch between Definition 3.3 and Theorem 3.4 is a mathematical consistency concern, not a circularity: the paper does not derive the theorem by identifying exactness with d-closedness; it asserts the theorem and attributes it to the author's thesis. The main circularity concern is provenance: the central results of Section 3 are attributed to the author's MSc thesis (Ber24), and the proof of Theorem 3.6—the invariance needed to form the quotient Z/G—is explicitly deferred to the co-authored work-in-progress (BB). Thus the reduction's second step currently rests on unverified self-citation. Because the preprint also points to an external acyclicity theorem and contains independent examples, the self-citation is load-bearing but not the whole content, giving score 4 rather than a higher score.

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

The central new results rest on standard tools in variational bicomplex theory and on the author's claim that known finite-dimensional results extend to infinite-dimensional diffeological settings. No free parameters or invented entities appear, since the paper is a purely mathematical construction. The main theorems are sourced to the author's thesis and future work, which is disclosed but reduces independent verification.

assumptions (4)

standard math The acyclicity theorem for the variational bicomplex on J^infinity A holds as used in the proof of Theorem 3.4.
The paper invokes this theorem from Takens and Anderson to justify the characterization of the homotopy zero locus.
domain assumption Finite-dimensional results for Lie algebras, manifolds, and Lie groups carry over to infinite-dimensional Lie algebras, pro-manifolds, and diffeological spaces without significant changes.
Section 1.3 asserts this carry-over for all external results used, including the Marsden-Weinstein reduction and obstruction theory, but does not prove it.
domain assumption The premultisymplectic pro-manifold (J^infinity F, omega = EL + delta gamma) from the variational bicomplex correctly describes the relevant Lagrangian field theory.
The entire reduction method is formulated in this framework, summarized in the Appendix and following Blohmann's lecture notes.
domain assumption For actions by manifest symmetries, there exists a local homotopy momentum map.
The paper cites CFRZ16 Section 8.1 and the author's thesis Proposition 2.5.29 for existence and locality, which is used to apply Theorem 3.4.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Homotopy reduction of multisymplectic structures in Lagrangian field theory." pith.science (2026). https://pith.science/paper/OOIFWQUT

@misc{pith2026250509492,
  author       = {Pith},
  title        = {Pith review of: Homotopy reduction of multisymplectic structures in Lagrangian field theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OOIFWQUT}},
  note         = {Machine review of arXiv:2505.09492}
}

abstract

While symplectic geometry is the geometric framework of classical mechanics, the geometry of classical field theories is governed by multisymplectic structures. In multisymplectic geometry, the Poisson algebra of Hamiltonian functions is replaced by the $L_\infty$-algebra of Hamiltonian forms introduced by Rogers in 2012. The corresponding notion of homotopy momentum maps as morphisms of $L_\infty$-algebras is due to Callies, Fr\'egier, Rogers, and Zambon in 2016. We develop a method of homotopy reduction for local homotopy momentum maps in Lagrangian field theory using these homotopy algebraic structures.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

Multisymplectic observable reduction using constraint triples
math.SG 2025-05 conditional novelty 6.0 of 10

Any BV-module with a cocycle yields an L∞-algebra of observables, and constraint-triple reduction of that algebra recovers and explains the multisymplectic reduction of Blacker, Miti and Ryvkin.

Reference graph

Works this paper leans on

24 extracted references · 11 canonical work pages · cited by 1 Pith paper

[1]

Anderson

Ian M. Anderson. The variational bicomplex. Unpublished manuscript, available at https://ncatlab.org/nlab/files/AndersonVariationalBicomplex.pdf, downloaded on 09/21/2022, 1989

work page 2022
[2]

Work in progress

Janina Bernardy and Christian Blohmann. Work in progress

work page
[3]

Bernardy

Janina S. Bernardy. H omotopy reduction of multisymplectic structures and classical field theory. Master's thesis, University of Bonn, 2024

work page 2024
[4]

Reduction of multisymplectic manifolds

Casey Blacker. Reduction of multisymplectic manifolds. Lett. Math. Phys. , 111(3):Paper No. 64, 30, 2021. https://doi.org/10.1007/s11005-021-01408-y doi:10.1007/s11005-021-01408-y

doi:10.1007/s11005-021-01408-y 2021
[5]

The homotopy momentum map of general relativity

Christian Blohmann. The homotopy momentum map of general relativity. Int. Math. Res. Not. IMRN , (10):8212--8250, 2023. https://doi.org/10.1093/imrn/rnac087 doi:10.1093/imrn/rnac087

work page doi:10.1093/imrn/rnac087 2023
[6]

Elastic diffeological spaces, 2024

Christian Blohmann. Elastic diffeological spaces, 2024. https://doi.org/10.1090/conm/794/15925 doi:10.1090/conm/794/15925

work page doi:10.1090/conm/794/15925 2024
[7]

Lagrangian F ield T heory

Christian Blohmann. Lagrangian F ield T heory. Lecture notes, Version 24.0 (Febuary 2, 2024), available at https://people.mpim-bonn.mpg.de/blohmann/LFT/, downloaded on 02/21/2025, 2024

work page 2024
[8]

Reduction of l_ -algebras of observables on multisymplectic manifolds

Casey Blacker, Antonio Michele Miti, and Leonid Ryvkin. Reduction of l_ -algebras of observables on multisymplectic manifolds. Symmetry, Integrability and Geometry: Methods and Applications , 2024. https://doi.org/10.3842/sigma.2024.061 doi:10.3842/sigma.2024.061

doi:10.3842/sigma.2024.061 2024

Show all 24 references

[9]

Cariñena, M

Jose F. Cariñena, M. Crampin, and Luis Alberto Ibort. On the multisymplectic formalism for first order field theories. Differential Geometry and its Applications , 1(4):345--374, 1991. https://doi.org/10.1016/0926-2245(91)90013-y doi:10.1016/0926-2245(91)90013-y

1991 doi
[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. URL: https://www.sciencedirect.com/science/article/pii/S0001870816310192, https://doi.org/10.1016/j.aim.2016.08.012 doi:10.1016/j.aim.2016.08.012

2016 doi
[11]

Lectures on S ymplectic G eometry

Ana Cannas da Silva. Lectures on S ymplectic G eometry . Springer Berlin Heidelberg, 2008. URL: https://link.springer.com/book/10.1007/978-3-540-45330-7#about, https://doi.org/10.1007/978-3-540-45330-7 doi:10.1007/978-3-540-45330-7

2008 doi
[12]

A cohomological framework for homotopy moment maps

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

2015 doi
[13]

D.S. Freed. Classical chern-simons theory, 1. Advances in Mathematics , 113(2):237--303, 1995. https://doi.org/10.1006/aima.1995.1039 doi:10.1006/aima.1995.1039

1995
[14]

Gone Fishing

Ezra Getzler. T he homotopy moment map for C hern– S imons field theory, March 2023. Talk at 9th annual “Gone Fishing” Poisson Geometry Conference, Amherst. Available at https://www.amherst.edu/system/files/media/Ezra\ downloaded on 02/06/2025

2023
[15]

Gotay, James Isenberg, Jerrold E

Mark J. Gotay, James Isenberg, Jerrold E. Marsden, and Richard Montgomery. Momentum M aps and C lassical R elativistic F ields. P art I : C ovariant F ield T heory. January 1998. https://arxiv.org/abs/physics/9801019 arXiv:physics/9801019

1998 arXiv
[16]

Symplectic techniques in physics

Victor Guillemin and Shlomo Sternberg. Symplectic techniques in physics . Cambridge University Press, Cambridge, second edition, 1990

1990
[17]

Kenneth R. Meyer. S ymmetries and I ntegrals in M echanics. 1973. https://doi.org/https://doi.org/10.1016/B978-0-12-550350-1.50025-4 doi:https://doi.org/10.1016/B978-0-12-550350-1.50025-4

1973 doi
[18]

Reduction of symplectic manifolds with symmetry

Jerrold Marsden and Alan Weinstein. Reduction of symplectic manifolds with symmetry. Reports on Mathematical Physics , 5(1):121--130, 1974. URL: https://www.sciencedirect.com/science/article/pii/0034487774900214, https://doi.org/10.1016/0034-4877(74)90021-4 doi:10.1016/0034-48...

1974
[19]

Christopher L. Rogers. L _ - A lgebras from M ultisymplectic G eometry. Letters in Mathematical Physics , 100(1):29--50, 2012. https://doi.org/10.1007/s11005-011-0493-x doi:10.1007/s11005-011-0493-x

2012 doi
[20]

Existence and unicity of co-moments in multisymplectic geometry

Leonid Ryvkin and Tilmann Wurzbacher. Existence and unicity of co-moments in multisymplectic geometry. Differential Geometry and its Applications , 41:1--11, 2015. https://doi.org/10.1016/j.difgeo.2015.04.001 doi:10.1016/j.difgeo.2015.04.001

2015 doi
[21]

O bservables and S ymmetries of n- P lectic M anifolds

Leonid Ryvkin. O bservables and S ymmetries of n- P lectic M anifolds . Springer Fachmedien Wiesbaden, 2016. https://doi.org/10.1007/978-3-658-12390-1 doi:10.1007/978-3-658-12390-1

2016 doi
[22]

A global version of the inverse problem of the calculus of variations

Floris Takens. A global version of the inverse problem of the calculus of variations. J. Differential Geometry , 14(4):543--562, 1979. https://doi.org/10.4310/jdg/1214435235 doi:10.4310/jdg/1214435235

1979
[23]

Lectures on symplectic manifolds , volume 29 of CBMS Regional Conference Series in Mathematics

Alan Weinstein. Lectures on symplectic manifolds , volume 29 of CBMS Regional Conference Series in Mathematics . American Mathematical Society, Providence, RI, 1979. Corrected reprint. https://doi.org/10.1090/cbms/029 doi:10.1090/cbms/029

1979 doi
[24]

L _ -algebras and higher analogues of D irac structures and C ourant algebroids

Marco Zambon. L _ -algebras and higher analogues of D irac structures and C ourant algebroids. Journal of Symplectic Geometry , 10(4):563--599, 2012. URL: https://www.intlpress.com/site/pub/files/_fulltext/journals/jsg/2012/0010/0004/JSG-2012-0010-0004-a004.pdf https://arxiv.o...

2012 arXiv

Pith tools

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

[1] [1]

Anderson

Ian M. Anderson. The variational bicomplex. Unpublished manuscript, available at https://ncatlab.org/nlab/files/AndersonVariationalBicomplex.pdf, downloaded on 09/21/2022, 1989

work page 2022

[2] [2]

Work in progress

Janina Bernardy and Christian Blohmann. Work in progress

work page

[3] [3]

Bernardy

Janina S. Bernardy. H omotopy reduction of multisymplectic structures and classical field theory. Master's thesis, University of Bonn, 2024

work page 2024

[4] [4]

Reduction of multisymplectic manifolds

Casey Blacker. Reduction of multisymplectic manifolds. Lett. Math. Phys. , 111(3):Paper No. 64, 30, 2021. https://doi.org/10.1007/s11005-021-01408-y doi:10.1007/s11005-021-01408-y

doi:10.1007/s11005-021-01408-y 2021

[5] [5]

The homotopy momentum map of general relativity

Christian Blohmann. The homotopy momentum map of general relativity. Int. Math. Res. Not. IMRN , (10):8212--8250, 2023. https://doi.org/10.1093/imrn/rnac087 doi:10.1093/imrn/rnac087

work page doi:10.1093/imrn/rnac087 2023

[6] [6]

Elastic diffeological spaces, 2024

Christian Blohmann. Elastic diffeological spaces, 2024. https://doi.org/10.1090/conm/794/15925 doi:10.1090/conm/794/15925

work page doi:10.1090/conm/794/15925 2024

[7] [7]

Lagrangian F ield T heory

Christian Blohmann. Lagrangian F ield T heory. Lecture notes, Version 24.0 (Febuary 2, 2024), available at https://people.mpim-bonn.mpg.de/blohmann/LFT/, downloaded on 02/21/2025, 2024

work page 2024

[8] [8]

Reduction of l_ -algebras of observables on multisymplectic manifolds

Casey Blacker, Antonio Michele Miti, and Leonid Ryvkin. Reduction of l_ -algebras of observables on multisymplectic manifolds. Symmetry, Integrability and Geometry: Methods and Applications , 2024. https://doi.org/10.3842/sigma.2024.061 doi:10.3842/sigma.2024.061

doi:10.3842/sigma.2024.061 2024