REVIEW 3 major objections 5 minor 5 references
Improper currents in theories with local invariance
T0 review · 3 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read This paper proves that Noether currents in any locally invariant theory decompose into an on-shell-vanishing piece and an off-shell divergence-free piece, and that covariantly conserved currents differ from canonical ones by such an imprope
desk verdict An elementary proof of known Noether-current decomposition results; the central cancellation in Eq. (35) is asserted, not demonstrated, but the method is promising and worth refereeing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the decomposition of a Noether current into $\Psi$ (on-shell vanishing) and $R$ (off-shell divergence-free), called an improper current. The machinery is the recurrence (23)-(25) obtained by expanding the conservation identity in orders of derivatives of the symmetry parameters; solving it for the symmetric parts produces explicit formulas (28)-(29) for the current coefficients, which immediately give the split. The second result uses the same recurrence with the covariantly conserved current as the lowest-order term, yielding Eq. (55).
What would settle it
Construct the Noether current for a local symmetry with $m+n-1 \ge 2$ and compare its highest-order term with Eq. (29). If for some choice of $f^{\mu_i...\mu_1}_{Ia}$ no choice of the $R$ tensors makes $\partial_\mu R^\mu$ vanish off-shell, the theorem is false; the paper's Eqs. (28)-(29) predict such a choice always exists.
Extended reading notes
Core claim
The paper establishes that, under Noether's first theorem for a local invariance, the current $J^\mu(\varepsilon_a)$ admits the decomposition $J^\mu = \Psi^\mu + R^\mu$: $\Psi^\mu$ is a combination of the equations of motion and their derivatives, so $\Psi^\mu\sim 0$ on-shell, and $\partial_\mu R^\mu=0$ identically. Such currents are improper in Noether's sense. The proof expands the current in derivatives of the parameters $\varepsilon_a$ and solves a recurrence for the totally symmetric parts of the coefficients, which yields the split directly. For gauge and diffeomorphism-invariant theories, the same recurrence gives $j^\mu_a = J^\mu_a + \Psi^\mu_a - \partial_\chi S^{\mu\chi}_a$: the can
Load-bearing premise
The proof assumes that the recurrence relating the symmetric parts of the current coefficients can be inverted algebraically for every derivative order $m$ and $n$, so that the closed-form solutions (26)-(29) are valid with no hidden consistency conditions.
Editorial extensions
If this is right
- Noether's first theorem applied to a local symmetry never yields a proper conserved current; the conserved quantity is always equivalent, on-shell, to one whose divergence vanishes before the equations of motion are imposed.
- In non-abelian gauge theories with matter and in diffeomorphism-invariant theories, the canonical current and the covariantly conserved current differ by at most an improper current, so their integrated charges coincide on-shell.
- In Yang-Mills theory ($n=1$, $m=0$) the two currents are identical, while in general relativity ($n=1$, $m=1$) the difference is an on-shell-vanishing term plus a superpotential divergence; the paper gives the electromagnetic field as an explicit check.
- The superpotential appearing in the decomposition need not be antisymmetric: the paper gives an explicit symmetric tensor whose double divergence vanishes identically.
Reading between the lines
- The author leaves implicit that the same recurrence gives an algorithmic way to compute the superpotential in any local-invariance theory: run the expansion once, solve (23)-(25), and read off $S^{\mu\chi}_a$ from (57). Implementing this on higher-derivative gravity would yield explicit superpotentials without case-by-case work.
- A further consequence not drawn in the paper is diagnostic: in a locally invariant model, any conserved current whose divergence is not a combination of the equations of motion would be evidence that one of the assumed hypotheses (locality, the derivative orders, or the symmetry group) is violated, rather than a sign of a new proper charge.
- The split also implies that charges built from these currents are pure surface terms; the author does not discuss this, but it suggests that local invariance by itself cannot generate bulk topological charges, connecting to standard results about charges in gauge theories.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims a fully elementary proof, for arbitrary derivative orders n (fields) and m (symmetry parameters), that any Noether current generated by a local invariance can be decomposed as J^μ = Ψ^μ + R^μ, with Ψ^μ vanishing on-shell and R^μ having identically vanishing divergence (Eq. 32). It further claims that in non-abelian gauge theories and diffeomorphism-invariant theories a covariantly conserved current differs from the canonical current by an improper current (Eq. 55). The proof is based on an index expansion of the Noether current, a triangular recurrence for the coefficient tensors, and an explicit construction of the superpotential. Applications to Yang-Mills and general relativity are given.
Significance. If completed, the paper would provide an elementary and self-contained derivation of Noether's decomposition theorem, avoiding the BRST/cohomology or jet-bundle machinery of earlier treatments. The explicit formulas for Ψ and R are a useful feature, and the covariant-conservation result (Section IV) extends the standard metric/gauge-current comparison. The paper is not built on fitted parameters or external computational tools; its value is conceptual and pedagogical. However, the proof as written leaves two load-bearing algebraic identities unproved, and one supporting example contains a false assertion. The central idea is plausible and consistent with known results, but the manuscript is not yet suitable for publication in its present form.
major comments (3)
- [III, Eq. (35)] The off-shell conservation of R^{μ0} is the load-bearing step for the decomposition J=Ψ+R, but Eq. (35) merely says 'we can verify' and then sets two relabeled sums to zero. The cancellation is not demonstrated, and no use of the symmetry condition R^{(...)}=0 is shown in the displayed computation. The reader cannot see how terms of different (i,j) orders cancel. Please supply a complete derivation or a lemma for this identity. The consistency check (30)-(31) only verifies Eq. (17), not the full solution of the recurrence, so it does not cover this step.
- [III, Eqs. (23)-(29)] The solution of the triangular system is asserted without derivation or verification. Formulas (26)-(29) are produced by 'backward substitution', but the manuscript never substitutes them into (23)-(25). Since these formulas define the decomposition (32), the proof rests on an unexhibited algebraic identity. A short induction or a direct substitution check should be included.
- [V, Eq. (66)] The example tensor S^{μχ} is claimed to satisfy ∂_μ∂_χ S^{μχ}=0 without any conditions on X and Y. This is false. In two dimensions, take X^1=(x^1)^2, X^2=(x^2)^2, Y^1=0, Y^2=1. Then S^{12}=4(x^1)^3-2(x^1)^2x^2, S^{22}=6x^2, S^{11}=0, and ∂_μ∂_χ S^{μχ}=-8x^1≠0. The example needs explicit conditions on X and Y or should be replaced by a valid one.
minor comments (5)
- [III, Eq. (18)] The printed equation appears to have an extraneous '=0' after the right-hand side. As typeset, it conflicts with Eq. (23), which is the version actually used.
- [II, paragraph after Eq. (5)] The 'indices must be numbered from right to left' convention is hard to follow. A short worked example would clarify the notation in Eqs. (5), (8), and (15).
- [V, text around Eq. (50)] The phrase 'Setting A^a_μ=0 in (50), we see that the gauge current equals...' is imprecise. The gauge current was defined by setting A=0 or g=η in the covariant current, not in Eq. (50), and the sentence should say this explicitly.
- [References] Ref. [3] is listed as 'K. Olver'; the correct initials are P. J. Olver.
- [III, before Eq. (15)] The statement that J^μ is of order n-1 in derivatives of the field variations assumes the standard form of the Noether current from Eq. (5). This is fine, but should be stated explicitly to avoid ambiguity.
Circularity Check
No significant circularity: the decomposition proof is self-contained and does not reduce to its inputs.
full rationale
The paper derives the claimed decomposition J = Ψ + R directly from the variation of the action, the definition of the Noether current, and Noether's second theorem. No parameter is fitted, no external result is used as an input for the central claim, and no self-citation is load-bearing. The only prior work cited (Noether's original article) is used for terminology and historical context, not as a premise of the proof. The algebraic steps, including the triangular recursion (23)-(29) and the divergence cancellation in Eq. (35), are internal to the paper; even if Eq. (35) is underproved, an unproved algebraic identity is a correctness or rigor concern, not circularity. Section IV similarly derives the relation between canonical and covariantly conserved currents from the same elementary framework rather than assuming it. Thus no step exhibits the target result as an input or a fitted parameter renamed as a prediction.
Assumptions & free parameters
assumptions (4)
- standard math The action and fields are smooth enough for arbitrary integration by parts and functional differentiation.
- domain assumption The transformations (8) form a symmetry of the action for arbitrary smooth parameter functions ε_a, and the coefficients f are functions of the fields and their derivatives.
- standard math The current can be expanded with coefficients symmetric in all indices except the last (Eq. 15).
- domain assumption For gauge/diffeomorphism theories, the identity (41) relating ordinary and covariant derivatives holds with the chosen index conventions.
Cite this review
Pith. "Pith review of Improper currents in theories with local invariance." pith.science (2026). https://pith.science/paper/CJNB55UK
@misc{pith2026250810540,
author = {Pith},
title = {Pith review of: Improper currents in theories with local invariance},
year = {2026},
howpublished = {\url{https://pith.science/paper/CJNB55UK}},
note = {Machine review of arXiv:2508.10540}
}
read the original abstract
We present a proof that the currents arising from Noether's first theorem in a physical theory with local invariance can always be decomposed into two terms, one of them vanishing on-shell, and the other having an off-shell vanishing divergence, or that they are improper, using the original terminology of Noether. We also prove that, when there is a current which is covariantly conserved, it differs from the canonical current by an improper current. Both proofs are performed in the most general case, that is, for arbitrary maximal order of the derivatives of the dynamical fields of the theory in the Lagrangian, and for arbitrary maximal order of the derivatives of the parameters of the symmetry transformations present in the infinitesimal transformations of the fields and spacetime coordinates. Both proofs are made using only elementary calculus, making them accessible to a large number of physicists.
Reference graph
Works this paper leans on
-
[1]
M. Tavel, “Invariant Variation Problems”, arXiv.org:physics/0503066 (2018), english translation of E. Noether, “Invariante Variationsprobleme”, Nachr. d. K¨ onig. Gesellsch. d. Wiss. zu G¨ ottingen, Math-phys. Klasse, (1918) 235–257 9
arXiv 2018
-
[2]
Local BRST cohomology in gauge theories
D. Barnich, F. Brandt and M. Henneaux, “Local BRST cohomology in gauge theories”, Phys. Rep. 338 (2000) 439–569
work page 2000
-
[3]
Olver, Applications of Lie Groups to Differential Equations (Springer, 2nd ed
K. Olver, Applications of Lie Groups to Differential Equations (Springer, 2nd ed. 1993)
work page 1993
-
[4]
Strong Conservation Laws and Equations of Motion in Covariant Field Theories
J. Goldberg, “Strong Conservation Laws and Equations of Motion in Covariant Field Theories”, Phys. Rev. 89 (1953) 263-272
work page 1953
-
[5]
R. Ilin and S. Paston, “Exact relation between canonical and metric energy-momentum tensors for higher derivative tensor field theories”, Eur. Phys. J. Plus 134, 21 (2019)
work page 2019
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.