{"id":"c801c416-9705-481a-8474-264f78e1b35d","arxiv_id":"2505.09492","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper defines a homotopy zero locus for local homotopy momentum maps and gives characterizations and invariance conditions that yield a homotopy reduction method for premultisymplectic structures in Lagrangian field theory.","lead":"This mathematics paper proposes a way to reduce the symmetries of classical field theories by extending a geometric method called symplectic reduction to multisymplectic geometry. It introduces a homotopy zero locus for generalized momentum maps in Lagrangian field theory, and states conditions under which this locus is preserved by the symmetries.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Definition 3.3's exactness condition is incompatible with Theorem 3.4 even for n=1: exactness of the pulled-back momentum form forces μ1(a)=0 along φ, while the theorem only requires dμ1(a)=0.","rationale":"The reader's weakest_assumption correctly identified that Theorem 3.4 is not proved in the paper and depends on locality and the acyclicity theorem. However, the sharper problem is not merely absence of proof: the theorem's statement is incompatible with Definition 3.3 already in the lowest-degree case. The paper itself advertises Example 3.7 as the interpretation of the construction, and that example follows Theorem 3.4's conditions. A direct application of Definition 3.3 gives a different set. This is independent of infinite-dimensional carryover, pro-manifold issues, or the status of the MSc thesis; it is an internal mismatch in the paper's own definitions. A correction might be possible by redefining the homotopy zero locus as a set where the pulled-back momentum form is closed in a suitable local complex, but until that is done the central reduction method is not supported by the text. I therefore move from the reader's CONDITIONAL to REJECT, while emphasizing that this is a mathematical statement issue, not an assessment of the author's broader program.","tokens_in":18527,"tokens_out":18200,"duration_ms":209905,"concrete_test":"Set n=1 with M=R, F=R×R3, and the translation homotopy momentum map μ1(e_i)=qdot^i from Example 2.5. Compute Z directly from Definition 3.3 using the stated double complex Ω^{p,q}(g,M) with p≥1: list all φ for which (j∞φ)^*μ is d-exact, and show that a path with constant nonzero velocity is not among them. Compare with Theorem 3.4/Example 3.7, which puts every constant-velocity path in Z. If the two sets differ, the theorem is false as written. A useful variant is to re-run the same check with 'closed' in place of 'exact' in Definition 3.3 to see whether that, rather than exactness, is the notion actually proved in the thesis.","verdict_should_be":"REJECT","load_bearing_attack":"The central characterization of the homotopy zero locus is internally inconsistent as stated. Definition 3.3 sets Z={φ | (j∞φ)^*μ is exact in Ω(g,M)}, where Ω^{p,q}(g,M)=Hom(∧^p g, Ω^q(M)) with p≥1, q≥0 as introduced in Section 2.1. For n=1 the homotopy momentum map has only the component μ1:A→Ω^0(J∞F), so (j∞φ)^*μ lies in Ω^{1,0}(g,M), i.e. in Hom(A,C∞(M)). Exactness of a degree-1 cochain would require a primitive of total degree 0; under the paper's p≥1 convention no such primitive exists, so exactness is equivalent to (j∞φ)^*μ=0. If p=0 were admitted, exactness would require μ1(a)=L_{ρ(a)}f for some f∈Ω^0(M) (or μ1(a)=0 when the action on M is trivial), still not dμ1(a)=0. Theorem 3.4 instead asserts that φ∈Z iff d((j∞φ)^*μ1(a))=0 and condition (ii). The n=1 space-translation example makes the failure explicit: Example 3.7 declares any path with constant velocity to be in Z, but for a nonzero constant velocity the pulled-back momentum form is a nonzero constant function on M, which is not exact in Ω^{1,0}(g,M). Thus the theorem conflates exactness with horizontal closedness, or silently changes the notion of exactness. Because Z is the object on which Proposition 3.5, Theorem 3.6, and the proposed reduction are built, this mismatch undermines the central claim unless Definition 3.3 is corrected and the equivalence re-proved.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":18932,"tokens_out":5115,"duration_ms":50756,"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":[{"comment":"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":"Section 3.2, Theorem 3.4, Proposition 3.5, Theorem 3.6"},{"comment":"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":"Section 3.2"},{"comment":"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.","section":"Section 1.3"}],"minor_comments":[{"comment":"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":"References"},{"comment":"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.","section":"Section 3.2"},{"comment":"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.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nWhat 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.\n\nThe 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.\n\nWho 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.","headline":"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.","tokens_in":19464,"tokens_out":4675,"would_cite":false,"duration_ms":43990,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D20","70S05","58A20"],"pacs":[],"model":"deepseek-v4-flash","headline":"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…","keywords":["homotopy momentum maps","multisymplectic geometry","Lagrangian field theory","homotopy reduction","L-infinity algebras","variational bicomplex","premultisymplectic structures","symmetry reduction"],"falsifier":"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.","tokens_in":18336,"feed_emoji":"⚙️","tokens_out":18634,"duration_ms":157448,"temperature":0.7,"pith_summary":"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.","feed_headline":"Two equations characterize the homotopy zero locus","feed_subtitle":"A new reduction method replaces momentum-map level sets and respects conserved currents.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Introduces the $L_\\infty$-algebra of Hamiltonian forms that serves as the target of homotopy momentum maps.","marker":"[Rog12]"},{"why":"Defines homotopy momentum maps as $L_\\infty$-morphisms and establishes the Hamiltonian condition used in the reduction.","marker":"[CFRZ16]"},{"why":"Provides the cohomological obstruction complex and the exactness criterion for Hamiltonian actions on premultisymplectic manifolds.","marker":"[FLGZ15]"},{"why":"Supplies an independent cohomological treatment of co-moments that underpins Theorem 2.8.","marker":"[RW15]"},{"why":"Contains the original statements of the homotopy zero locus, Theorem 3.4, and Proposition 3.5.","marker":"[Ber24]"},{"why":"Work in progress where the proof of the invariance under the diffeological group is to appear.","marker":"[BB]"},{"why":"Provides the variational bicomplex formalism and acyclicity results used in the proof of Theorem 3.4.","marker":"[And89]"},{"why":"States the acyclicity theorem for the variational bicomplex that the characterization of the homotopy zero locus relies on.","marker":"[Tak79]"},{"why":"The classical two-step symplectic reduction construction that the homotopy reduction mirrors.","marker":"[MW74]"}],"fun_headline_variants":["Homotopy zero locus: two explicit equations","Reduction without level sets: a homotopy condition","Field theory reduction via homotopy momentum maps","Two criteria for homotopy reduction in field theory","Local momentum maps and a closed-current check"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Homotopy zero locus: two explicit equations","Reduction without level sets: a homotopy condition","Field theory reduction via homotopy momentum maps","Two criteria for homotopy reduction in field theory","Local momentum maps and a closed-current check"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000302,"raw_usage":{"total_tokens":1720,"prompt_tokens":909,"completion_tokens":811,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":525,"completion_tokens_details":{"reasoning_tokens":738}},"tokens_in":525,"tokens_out":811,"duration_ms":8211,"temperature":1.0,"reasoning_tokens":738,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T21:29:14.234093+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}