Noether converse: All identically conserved geometric tensors are metric variations of an action in (at least) D = 2

Abstract The title's century-old conjecture is established for D = 2 and is likely for all D .


Introduction
The physical impact of Noether's theorems is undimmed after a century, yet the second's (local symmetries) equally old converse has remained unsolved, despite countless arduous attempts. [For a very recent discussion, technical details and historical references, see [1], where the most advanced previous result is proved: the converse is valid to order ∂ 6 g μν .] The theorem of course states that the variation of every locally gauge invariant action is identically conserved; more colloquially, that the gauge variation of a gauge invariant vanishes, and conversely if it vanishes, its action is invariant. For vector gauge invariant actions such as Maxwell, this is obvious by antisymmetry of the field strengths since the variation of the potential A μ of any action L(F μν ) is a vector J μ proportional to ∂ ν H [μν] , where H is necessarily antisymmetric, being an F -variation. The nonabelian, YM, case is identical, despite appearance of covariant color derivatives, because of the structure constants' antisymmetries. However, it is known that the converse fails here, ironically for the same reason: there are infinitely many identically conserved J μ that are NOT actionvariations, e.g., where H shares the algebraic symmetries of the Riemann tensor. So any abelian tensor current Z (μν) is again manifestly identically (ordinarily) conserved for any, also non-action, H . However, the similarity ceases for full general covariance, where the now covariant divergence is no longer identically conserved: the commutator of two covariant derivatives is proportional to the curvature. Does this imply that the converse holds here? That is the question. To avoid index proliferation, I work explicitly in D = 2, where only the scalar curvature enters, then indicate why the result should hold for all D.

Gravities
In the abelian limit and in D = 2, H degenerates to μα νβ ∂ 2 αβ S, namely to the transverse projector, for arbitrary scalar S, The linear O L is proportional to δ R L /δh μν , and the full O μν is correspondingly proportional to δ R/δ g μν where all derivatives in (1) are covariant, so its divergence now becomes (2) the last inequality follows from adding a g μν R S term, as would arise from varying the curvature density rather than the scalar in O . The divergence of this δ A/δ Rδ R/δ g μν part of an action's variation is canceled by that of its explicit metric variation δ A/δ g μν , in covariant derivatives and contracting metrics; that's just Noether. But might there be a compensating tensor X μν whose divergence there be a conserved tensor that is entirely different, independent of the existence of any projector? We will first eliminate any that contains a term g μν Q , the hallmark of any action-based solution, since these always 1 contain a √ −g term, A = √ −g Q . We will then exclude candidates containing the (ex-)projectors O , leaving finally the "hard core" pure Y case.
The general X μν may be written as Y is a symmetric tensor, both of whose open indices must therefore be derivatives on some D k R, and Q is a (possibly 0) scalar.
[The g μν Q term is unambiguous -it is not equivalent to some other tensor by algebraic identities.] The X = g Q part is the metric variation of include the non-cancelable third derivative B R ν ,μν . This underlines the difference between the case where g Q is present, so the -essential -divergence D μ acts on Q , and that where it is absent, and there remains a useless D ν . Now that we have excluded O S as well, there remain the "pure" Y tensors, those that contain neither g Q nor O S. The absence of O S currents will be critical in this final stage. The most general symmetric Y μν (except for simplifying slightly by setting the derivative count equal, i.e., both A coefficients have k implicit covariant derivatives denoted as R k ; the thereby excluded sector cannot work either) has the form The problem is already clear here: we saw that no conserved Y can have an O S term, one formed by moving covariant derivatives at the price of a [D, D] commutator (except when they act on a pure D 0 R, in which case (4) is easily seen to be nonzero), yet there are necessarily such parts of (4) -in particular the last, B D ν νμ R ι term, where the open index (μ) is "hidden" behind two outer D 2 ν , so it has no A-counterpart. That forces B to vanish, leaving the A part, whose two terms manifestly cannot cancel each other, given the open index's different positions, that would require (at least) a derivative commutation. That completes the D = 2 story. 2

Higher D
For D > 2, the elimination of g μν Q is manifestly unchanged, while that of (ex-)projector generalizations of O S, namely D D H S, should also go through: even though they have more indices, the process is the same. We have not checked this in detail because there is a worse complication: open indices can now reside on curvature/Ricci tensors (though some can be turned into derivatives by cyclic identities). Absent the tedious explicit process of checking all index proliferations in any D (or a better method!), a proof cannot yet be claimed for general D, but the analogies are pretty persuasive, at least to the author.

Coda
Our result saves trees (certainly for D = 2, and probably for all D) by eliminating any would-be gravitational industry with nonaction field equations, since in presence of normal sources from invariant actions (if those cannot be included, there is no physics) -the matter side remains conserved on its shell and so therefore must the geometric one.