Bessel-Hagen currents for the Fierz-Pauli action
Pith reviewed 2026-05-20 04:25 UTC · model grok-4.3
The pith
Treating the inexact Fierz-Pauli gauge symmetry correctly produces a gauge-invariant equivalence class of Noether currents via the Bessel-Hagen construction.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The Bessel-Hagen construction applied to the Fierz-Pauli action produces a gauge-invariant equivalence class of Noether currents for the massless spin-2 field. Changing the compensating spin-2 gauge parameter alters the current only by terms proportional to the Fierz-Pauli field equations. An independent spin-2 gauge transformation on h_mu nu changes the current only by a trivial current given by the divergence of an antisymmetric superpotential plus field-equation terms. This provides the natural spin-2 analogue of Bessel-Hagen's electromagnetic construction, but only in the quotient space of conserved currents and not as a preferred local gauge-invariant energy-momentum tensor.
What carries the argument
The Bessel-Hagen construction with a compensating spin-2 gauge transformation, producing currents defined up to field-equation terms and trivial superpotential divergences.
If this is right
- Changing the compensating spin-2 gauge parameter changes the current only by terms proportional to the Fierz-Pauli field equations.
- Performing an independent spin-2 gauge transformation on h_mu nu changes the current only by a trivial current given by the divergence of an antisymmetric superpotential plus field-equation terms.
- The construction works in the quotient space of conserved currents rather than yielding a unique local tensor.
- No strictly gauge-invariant local tensor quadratic in first derivatives exists for the Fierz-Pauli field.
Where Pith is reading between the lines
- If the locality requirement is relaxed or the background is taken to be curved, a strictly gauge-invariant tensor quadratic in first derivatives might exist.
- The equivalence-class definition of currents could extend naturally to weak-field approximations in more general spacetimes.
- This approach highlights how inexact gauge symmetries lead to conserved quantities defined only modulo ambiguities in gauge theories.
Load-bearing premise
No nonzero local tensor quadratic in first derivatives of the symmetric field can be strictly gauge-invariant under the spin-2 gauge transformation, under a specific notion of locality and tensorial character in Minkowski space.
What would settle it
An explicit construction of a nonzero local tensor quadratic in first derivatives of h_mu nu that remains invariant under arbitrary infinitesimal spin-2 gauge transformations h_mu nu to h_mu nu plus partial_mu xi_nu plus partial_nu xi_mu would falsify the non-existence claim.
read the original abstract
For electromagnetism in Minkowski spacetime, the Bessel-Hagen method gives a particularly direct Noetherian derivation of the standard gauge-invariant energy-momentum tensor. The key step is to supplement the form variation generated by an infinitesimal coordinate transformation with a compensating electromagnetic gauge transformation. In this paper we ask whether the same idea can be applied to the massless spin-2 field described by the Fierz-Pauli action. We first prove that no nonzero local tensor quadratic in first derivatives of the symmetric field $h_{\mu\nu}$ can be strictly invariant under the spin-2 gauge transformation $h_{\mu\nu}\mapsto h_{\mu\nu}+\partial_\mu\xi_\nu+\partial_\nu\xi_\mu$; the direct electromagnetic analogue of the Bessel-Hagen construction therefore cannot exist. Once the inexact nature of the Fierz-Pauli gauge symmetry is treated correctly, however, the Bessel-Hagen construction does produce a gauge-invariant equivalence class of Noether currents. Changing the compensating spin-2 gauge parameter changes the current only by terms proportional to the Fierz-Pauli field equations; performing an independent spin-2 gauge transformation on $h_{\mu\nu}$ changes the current only by a trivial current given by the divergence of an antisymmetric superpotential plus field-equation terms. This provides the natural spin-2 analogue of Bessel-Hagen's electromagnetic construction, but only in the quotient space of conserved currents, and not as a preferred local gauge-invariant energy-momentum tensor.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that no nonzero local tensor quadratic in first derivatives of the symmetric Fierz-Pauli field h_{μν} is strictly invariant under the gauge transformation h_{μν} ↦ h_{μν} + ∂_μ ξ_ν + ∂_ν ξ_μ. It then shows that supplementing coordinate transformations with compensating spin-2 gauge transformations in the Bessel-Hagen style produces an equivalence class of Noether currents invariant under changes to the compensating parameter (modulo the Fierz-Pauli equations) and under independent gauge transformations of h (modulo trivial currents plus equations).
Significance. If the central claims hold, the work supplies the direct spin-2 analogue of Bessel-Hagen’s electromagnetic construction, but realized only in the quotient space of conserved currents. This clarifies why a preferred local gauge-invariant energy-momentum tensor is unavailable for the Fierz-Pauli field and supplies a precise, quotient-level object that is invariant under the full set of transformations. The non-existence result and the explicit invariance proof in the equivalence class are both useful contributions to the literature on conserved quantities in linearized gravity.
major comments (1)
- [§2] §2 (non-existence proof): the argument that no nonzero local tensor quadratic in first derivatives can be strictly gauge-invariant rests on a specific notion of locality and tensoriality under the linearized diffeomorphism group; an explicit enumeration of the most general candidate tensor (or a reference to a complete basis) would make the completeness of the proof easier to verify.
minor comments (3)
- [Abstract] Abstract, sentence 3: the statement that the direct analogue “cannot exist” should be qualified as “cannot exist as a strictly gauge-invariant local tensor” to avoid any ambiguity with the later quotient construction.
- Notation: the superpotential appearing in the trivial-current term should be given an explicit index structure and antisymmetry property at first appearance.
- The manuscript would benefit from a short comparison paragraph with existing constructions of conserved currents for linearized gravity (e.g., those based on the Belinfante procedure or on the Landau-Lifshitz pseudotensor).
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our work and for the constructive suggestion regarding the non-existence proof in §2. We address the major comment below.
read point-by-point responses
-
Referee: [§2] §2 (non-existence proof): the argument that no nonzero local tensor quadratic in first derivatives can be strictly gauge-invariant rests on a specific notion of locality and tensoriality under the linearized diffeomorphism group; an explicit enumeration of the most general candidate tensor (or a reference to a complete basis) would make the completeness of the proof easier to verify.
Authors: We agree that an explicit enumeration of the most general local tensor quadratic in first derivatives of h_{μν}, respecting the required tensoriality under linearized diffeomorphisms, would make the completeness of the non-existence argument more transparent. In the revised version we will add a short paragraph (or appendix) that constructs the complete basis for such tensors—using the fact that they must be built from h_{μν,ρ} contracted with the Minkowski metric—and then verifies by direct computation that the only gauge-invariant combination is the zero tensor. This addition does not alter the logical structure of the proof but improves its readability and verifiability. revision: yes
Circularity Check
No significant circularity
full rationale
The paper first proves an original non-existence result for strictly gauge-invariant local tensors quadratic in first derivatives of h_μν under the Fierz-Pauli transformation. It then performs the standard Noether procedure supplemented by compensating gauge transformations, showing by direct variation that the resulting currents form an equivalence class invariant modulo the field equations and trivial superpotential divergences. All identities follow from explicit computation within the paper's Lagrangian and transformation rules, without fitted parameters renamed as predictions, self-citation chains for uniqueness, or ansatzes imported from prior work. The construction is self-contained in the quotient space of currents.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Noether's theorem applies to the Fierz-Pauli action with its linearised diffeomorphism gauge symmetry in Minkowski space
- domain assumption Locality and tensorial character are defined with respect to first derivatives only
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We first prove that no nonzero local tensor quadratic in first derivatives of the symmetric field h_μν can be strictly invariant under the spin-2 gauge transformation
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the Bessel-Hagen construction does produce a gauge-invariant equivalence class of Noether currents
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
- [2]
- [3]
- [4]
- [5]
-
[6]
C.W. Misner, K.S. Thorne and J.A. Wheeler,Gravitation (W.H. Freeman, San Francisco, 1973),§35.7
work page 1973
-
[7]
Wald,General Relativity(University of Chicago Press, 1984),§4.4
R.M. Wald,General Relativity(University of Chicago Press, 1984),§4.4
work page 1984
-
[8]
G. Barnich, F. Brandt and M. Henneaux, Com- mun. Math. Phys.174, 57 (1995)
work page 1995
-
[9]
G. Barnich, F. Brandt and M. Henneaux, Com- mun. Math. Phys.174, 93 (1995)
work page 1995
- [10]
- [11]
- [12]
- [13]
- [14]
- [15]
- [16]
- [17]
-
[18]
L.M. Butcher, M.P. Hobson and A.N. Lasenby, Phys. Rev. D82, 104040 (2010)
work page 2010
-
[19]
L.M. Butcher, A.N. Lasenby and M.P. Hobson, Phys. Rev. D86, 084012 (2012)
work page 2012
-
[20]
L.M. Butcher, M.P. Hobson and A.N. Lasenby, Phys. Rev. D86, 084013 (2012)
work page 2012
-
[21]
W.E.V. Barker, A.N. Lasenby, M.P. Hobson and W.J. Handley, J. Math. Phys.60, 052504 (2019)
work page 2019
- [22]
-
[23]
M.P. Hobson, A.N. Lasenby and W.E.V. Barker, Phys. Rev. D109, 024022 (2024)
work page 2024
- [24]
- [25]
- [26]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.