Field redefinition's help in constructing non-abelian gauge theories

K.S. Stelle; S. Deser

REVIEW 3 major objections 4 minor 7 references

Field redefinition's help in constructing non-abelian gauge theories

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

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

Pith's one-line read The paper argues that the quartic term in the fluctuation expansion, not the quadratic or cubic terms, is where a would-be non-abelian gauge theory must prove itself, and that local field redefinitions can help only when the quartic…

desk verdict Short, clear note with a useful quartic-deficit criterion, but the advertised no-go is partly conjecture because no concrete model is pushed through the criterion. read the letter →

arxiv 1908.05511 v2 pith:DKEAPDHE submitted 2019-08-15 hep-th gr-qc

S. Deser , K.S. Stelle This is my paper · ORCID

classification hep-thgr-qc

keywords fieldredefinitionnon-abeliangaugetheoryquartictermgeneralcovarianceEinstein-HilbertactiondimensionalreductionKaluza-Kleinconsistencyhigher-spininteractions

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

The paper investigates a common failure mode in attempts to construct non-abelian gauge theories: the quadratic and cubic terms look acceptable, but the quartic term is where consistency must be won. Using the Einstein action expanded about flat space as a concrete example, it shows that the only local freedom available at fourth order is an algebraic field redefinition $h_{\mu\nu}\to h_{\mu\nu}+(h^3)_{\mu\nu}$, which changes the action by $\Delta A^{(4)}\sim\int d^n x\,G^{\rho\sigma}_{\rm lin}(h^3)_{\rho\sigma}$. Therefore a candidate action can be repaired only if the offending part of its quartic term can be written in that special form; otherwise local field redefinitions cannot help. The authors conclude that the fourth order is the decisive test for non-abelian structure, and that dimensional reductions can only escape this obstruction when extra non-gauge fields are integrated out or redefined before integration.

What carries the argument

The load-bearing object is the quartic term of the would-be non-abelian action, such as $\int (A\times A)^2$ in unit-coupling $SU(2)$ Yang-Mills, and its gravitational analogue, the $h^4$ term in the expansion of $\int d^n x\sqrt{-g}R$. The mechanism that carries the argument is the local algebraic field redefinition $h_{\mu\nu}\to h_{\mu\nu}+(h^3)_{\mu\nu}$, whose only possible effect at order $h^4$ is $\Delta A^{(4)}\sim\int d^n x\,G^{\rm lin}_{\rho\sigma}(h^3)^{\rho\sigma}$. Derivative-order counting is what restricts the redefinition to this algebraic form: all terms in the expansion are of second derivative order, so a derivative-containing redefinition would either alter the derivative count or disturb the assumed-correct cubic terms.

What would settle it

Exhibit a quartic deficit that is not of the form $\int G^{\rm lin}(h^3)$ yet is removed by a local, derivative-containing field redefinition that does not disturb the cubic terms or introduce new degrees of freedom; if such a redefinition works at all orders, the paper's no-go conclusion fails. Alternatively, find a non-abelian extension whose quartic deviation does equal $\int G^{\rm lin}(h^3)$ and verify explicitly that the algebraic shift restores exact consistency beyond fourth order.

Watch

Extended reading notes

Core claim

The paper's central claim is that the quartic term is the first genuine test of non-abelian gauge invariance: the quadratic term is abelian invariant and the cubic term can always be written as a conserved current contracted with the gauge field, so it too is abelian invariant. For a gravitational candidate, once the metric convention is fixed, the expansion of the general-relativistic action is unique, and any would-be alternative must match it up to field redefinitions. The useful local redefinitions at order $h^4$ are algebraic, $h_{\mu\nu}\to h_{\mu\nu}+(h^3)_{\mu\nu}$, since all terms in the expansion carry two derivatives and the cubic terms are assumed already correct. The resulting quartic modification is $\Delta A^{(4)}\sim\int d^n x\,h^{\mu\nu}\mathcal O_{\mu\nu\rho\sigma}(h^3)^{\rho\sigma}=\int d^n x\,G^{\rm lin}_{\rho\sigma}(h^3)^{\rho\sigma}$, and a quartic deficit is reparable only if its offending part takes that form. Nonlocal redefinitions are ruled out because they introduce new degrees of freedom and generate unacceptable nonlocalities at every higher order. The paper's answer to the title question is 'not much,' with the caveat that models emerging from dimensional reduction include additional non-gauge fields whose integration out gives more freedom.

Load-bearing premise

The load-bearing premise is that at order $h^4$, useful local field redefinitions must be purely algebraic, $h\to h+h^3$: no derivative terms and no $h^2$ terms, because all expansion terms carry the same two derivatives and the cubic terms are assumed correct.

Editorial extensions

If this is right

A would-be non-abelian extension cannot be judged from its quadratic and cubic terms; the quartic term must independently satisfy the non-abelian invariance condition with the correct coefficient.
Any quartic deficit that cannot be written as $\int G^{\rho\sigma}_{\rm lin}(h^3)_{\rho\sigma}$ is not repairable by local field redefinition, so the candidate theory is inconsistent at the first nontrivial order.
Nonlocal field redefinitions are not a workaround: each step introduces a further nonlocal term and new degrees of freedom, so the problem merely shifts to higher orders.
In dimensional reduction, the correct lower-dimensional gravitational structure at fourth order can be obtained only after carefully integrating out heavy non-zero-mode fields, or by using field redefinitions involving massive non-gravitational fields before integration.
Yang-Mills-type models are even less amenable to this rescue strategy than gravity, because their terms are finite in number and decrease in derivative order, while useful redefinitions start at second derivative order.

Reading between the lines

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

The condition $\Delta A^{(4)}\sim\int G^{\rm lin}(h^3)$ can be used as a general diagnostic: compute the quartic deviation of any candidate non-abelian deformation and test whether it lies in the image of the linearized kinetic operator acting on cubic field shifts.
The same derivative-order counting may extend to any two-derivative free theory, so the obstruction is generic: a would-be non-abelian completion whose kinetic term is second order must pass the same image condition at quartic order.
If the no-go is as broad as argued, the viable route to such theories is not metric or connection redefinition but the inclusion of additional sectors whose integration out effectively generates the missing quartic structure; this could be tested explicitly in the H(2,2) and mixed Dirichlet-Robin reductions.
A concrete check of the dimensional-reduction caveat: vary the boundary conditions of the transverse wave function in the toy model and see whether the quartic deficit changes in a way that tracks the new redefinition freedom from the massive modes.

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

Eq. (3) is the thing to take from this note: if a candidate action's quartic deficit cannot be written as the linearized Einstein operator acting on a cubic shift, no local field redefinition of the standard algebraic type can fix it. That is a clean diagnostic, and it is the paper's real contribution. The observation that quartic order is where non-abelianization dies is older folklore, and the authors say so; the explicit form of the redefinition image, applied to the Einstein expansion, is not in the cited field-redefinition literature.

Credit where due: the paper correctly closes two dead ends—changing metric convention does not help because the expansion is unique, and nonlocal redefinitions introduce new degrees of freedom. The argument is self-contained; there are no free parameters or fitted terms. The short literature list is appropriate for a note.

The soft spots are real but not fatal to the diagnostic. First, the restriction to purely algebraic redefinitions—h -> h + h^3 with no derivatives—is a derivative-counting heuristic. The paper does not prove that a derivative-containing local redefinition cannot shift the quartic action by a second-derivative term, so Eq. (3) is a sufficient-looking sieve but not a fully proven necessary one. Second, and more importantly, the advertised motivating examples—the H(2,2) reduction of IIA supergravity and the Dirichlet-Robin interval reduction of 5D GR—are deferred to a follow-up. None is actually pushed through Eq. (3). The conclusion 'not much' is therefore a conjecture about those models, not a demonstrated no-go. The criterion itself is not vacuous: the Einstein quartic cannot lie in the image, since then GR and the free Fierz-Pauli theory would be equivalent at quartic order, which they are not.

However, I would not overstate the weakness. This is a short note, not a full no-go theorem, and it reads like a pointer to [5] plus a conceptual clarification. The central computation of Eq. (3) is simple and correct. For readers who work on higher-spin interactions or Kaluza-Klein consistent truncations, the criterion is a useful quick check before investing effort in a candidate.

Recommendation: this deserves peer review, with a referee asking for (i) a sharper justification of the algebraic-redefinition restriction and (ii) at least one explicit failure of Eq. (3) in a concrete reduced action. It should not be desk-rejected.

Referee Report

3 major / 4 minor

Summary. The paper studies whether a would-be non-abelian extension of a free abelian gauge theory, specifically a candidate Einstein action built from dimensional reduction, can be made consistent by local field redefinitions. The authors note that the quadratic and cubic terms are automatically abelian invariant and that the first nontrivial consistency test occurs at quartic order. They show that a local algebraic cubic field redefinition h -> h + h^3 changes the quartic action by a term of the form (3), ∫ d^n x h O h^3 = ∫ G^{lin}(h^3), and argue that this restricted form rules out most candidates. They illustrate the idea with two dimensional-reduction settings, the H(2,2) reduction of type IIA supergravity and a Dirichlet-Robin interval reduction of D=5 GR, but defer the detailed calculations to a follow-up paper [5].

Significance. If the central claim is established, the paper offers a simple and useful diagnostic: at quartic order, a candidate's deficit must lie in the image of the linearized Einstein operator acting on algebraic cubic tensors. The derivation of Eq. (3) is transparent, parameter-free, and the paper correctly identifies the quartic order as the first genuine obstruction. However, the main negative conclusion is not yet demonstrated: no concrete candidate is checked against the criterion, and the restriction to algebraic redefinitions is asserted rather than proven. The value of the paper therefore depends on the companion calculation [5] and on a sharper treatment of the allowed field-redefinition class.

major comments (3)

[Paragraph after Eq. (2)] The restriction to algebraic cubic redefinitions is load-bearing but not proven. The sentence "Since all terms in the expansion are of the same, second derivative, order, useful field redefinitions must be algebraic" is a derivative-counting heuristic. A local redefinition containing derivatives, such as h_{\mu\nu} -> h_{\mu\nu} + (\partial^2 h^3)_{\mu\nu}, would nominally produce quartic terms with more than two derivatives, but the paper does not rule out combinations that, after integration by parts or use of the linearized equations of motion, could reduce to a two-derivative modification of the form (3). Because Eq. (3) is the only criterion used to exclude candidates, this gap directly affects the validity of the no-go claim. The authors should either prove that no derivative-containing local redefinition can generate the required two-derivative quartic term, or explicitly state the algebraic restriction as an assumption.
[Abstract and applications paragraph (Ref. [5])] The advertised concrete examples — the H(2,2) reduction of type IIA supergravity and the mixed Dirichlet-Robin reduction of D=5 GR — are deferred to the follow-up paper '[5], in preparation'. As a result, the abstract's conclusion "answer – not much!" is not a demonstrated result for any actual would-be theory; the manuscript derives a necessary condition and asserts that most candidates fail it without testing one. To make the central claim reproducible, the paper should either include at least one explicit computation of a quartic deficit that violates Eq. (3), or it should state clearly that the no-go statement is an expectation based on the restricted form of (3), not a proven result.
[Sentence beginning 'Thus IF and only IF...' after Eq. (3)] The statement that a quartic deficit is removable "IF and only IF" it has the form (3) is too strong as written. Even when a deficit has the form (3), the corresponding redefinition generates quintic and higher corrections that may require an infinite series of further redefinitions, as the paper itself acknowledges. Conversely, a deficit outside the image of O on algebraic cubic tensors might still be removable by a more general redefinition that is not a single algebraic h^3 shift. The "only if" direction should therefore be stated as a condition within the restricted class of algebraic cubic redefinitions, not as a general criterion for the possibility of success.

minor comments (4)

[Paragraph after Eq. (1)] The statement that no improvement is possible by changing conventions should be clarified. As written, it can be misread as contradicting the later use of field redefinitions; the intended point is that a passive relabelling of the metric variable does not change the functional difference between two actions, whereas the active field redefinitions studied later are a different operation.
[References [3]-[5] and applications paragraph] The notation H(2,2) is not defined; please specify that it is the hyperbolic space used in Ref. [3] and briefly state the nature of the boundary conditions in the Dirichlet-Robin example, since the latter is otherwise opaque to a reader who does not have access to [5].
[Eq. (2)] The operators O and G^{lin} are introduced without explicit definitions. For self-containedness, please define O_{\mu\nu\rho\sigma} in terms of \eta and \partial and state the relation G^{lin}_{\mu\nu} = O_{\mu\nu\rho\sigma} h^{\rho\sigma}, including any symmetry conventions.
[Eq. (1)] In Eq. (1), the equality between -1/4 \int [(\partial A - \partial A)\times A \cdot A] and \int J \cdot A should specify the normalization of J, so that the reader can verify the matching of the numerical factor.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the quartic-redefinition criterion is derived from the field redefinition itself, and the Einstein benchmark is external to the argument.

full rationale

The paper's derivation is self-contained. The critical condition (3), Delta A^(4) ~ integral G^(lin)(h^3), is obtained by explicitly computing the quartic variation induced by the local algebraic redefinition h -> h + h^3; it is not imported from a fit or from a prior result. The conclusion that a candidate must have its quartic deficit in the image of G^(lin) to be curable is a logical consequence of the definition of field redefinition, not a disguised restatement of the conclusion. The Einstein action provides an independent target expansion whose coefficients are fixed by general covariance, and no parameter is fitted to make the no-go work. The assumptions restricting redefinitions to algebraic h^3 shifts are stated explicitly, so the argument is conditional but not circular. The cited references [1]-[4] are background or independent published work; the forthcoming [5] is pointed to only for future examples and does not carry the no-go argument. The absence of a concrete candidate computation in this note is a proof-completeness limitation, as the skeptic notes, but it is not circularity.

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

The central claim rests on one non-trivial modeling assumption: that the only valid way to fix a candidate action is a local field redefinition. The paper then analyzes the restricted form of such redefinitions and finds they cannot generically repair the quartic term. No numbers are fitted to data; no new entities are introduced. The main axioms are the uniqueness of the Einstein action expansion, the algebraic nature of useful redefinitions, and the dismissal of nonlocal redefinitions.

assumptions (3)

domain assumption The Einstein-Hilbert action has a unique power series expansion about flat space for a given metric variable, and any consistent non-abelian candidate must match it up to field redefinitions.
Central matching criterion; appears in the paragraph after Eq. (2).
ad hoc to paper Useful local field redefinitions at order h^4 are algebraic, h -> h + h^3, with no derivatives and no h^2 terms.
Assumed from derivative-order counting; stated in the paragraph after Eq. (2); is the load-bearing restriction.
domain assumption Nonlocal field redefinitions are useless because they introduce new degrees of freedom and proliferate nonlocalities to higher orders.
Stated in the paragraph before Eq. (2).

how reviews work

0 comments

Cite this review

Pith. "Pith review of Field redefinition's help in constructing non-abelian gauge theories." pith.science (2026). https://pith.science/paper/DKEAPDHE

@misc{pith2026190805511,
  author       = {Pith},
  title        = {Pith review of: Field redefinition's help in constructing non-abelian gauge theories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DKEAPDHE}},
  note         = {Machine review of arXiv:1908.05511}
}

read the original abstract

We study, using the example of general covariance, to what extent a would-be non-abelian extension of free field abelian gauge theory can be helped by a field redefinition; answer - not much! However, models resulting from dimensional reduction also include non-gauge fields to be integrated out, thereby offering a wider choice of redefinitions whose effects may indeed prove useful.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 4 canonical work pages

[5]

M. J. Duff and C. N. Pope, ``Consistent Truncations In Kaluza-Klein Theories,'' Nucl.\ Phys.\ B 255 (1985) 355. doi:10.1016/0550-3213(85)90140-3

doi:10.1016/0550-3213(85)90140-3 1985
[1]

't Hooft and M

G. 't Hooft and M. J. G. Veltman, ``One loop divergencies in the theory of gravitation,'' Ann.\ Inst.\ H.\ Poincare Phys.\ Theor.\ A 20 (1974) 69

work page 1974
[2]

J. C. Criado and M. P\'erez-Victoria, ``Field redefinitions in effective theories at higher orders,'' JHEP 1903 (2019) 038 doi:10.1007/JHEP03(2019)038 [arXiv:1811.09413 [hep-ph]]

arXiv 2019
[3]

Braneworld localisation in hyperbolic spacetime

B. Crampton, C. N. Pope and K. S. Stelle, ``Braneworld localisation in hyperbolic spacetime,'' JHEP 1412 (2014) 035 doi:10.1007/JHEP12(2014)035 [arXiv:1408.7072 [hep-th]]

work page Pith review arXiv 2014
[4]

M. J. Duff, B. E. W. Nilsson, C. N. Pope and N. P. Warner, ``On the Consistency of the Kaluza-Klein Ansatz,'' Phys.\ Lett.\ 149B (1984) 90. doi:10.1016/0370-2693(84)91558-2

doi:10.1016/0370-2693(84)91558-2 1984
[6]

M. J. Duff, S. Ferrara, C. N. Pope and K. S. Stelle, ``Massive Kaluza-Klein Modes and Effective Theories of Superstring Moduli,'' Nucl.\ Phys.\ B 333 (1990) 783. doi:10.1016/0550-3213(90)90139-5

work page doi:10.1016/0550-3213(90)90139-5 1990
[7]

C.\ Erickson, A.\ Harrold, R.\ Leung and K.S.\ Stelle, in preparation

work page

Pith tools

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

[1] [5]

M. J. Duff and C. N. Pope, ``Consistent Truncations In Kaluza-Klein Theories,'' Nucl.\ Phys.\ B 255 (1985) 355. doi:10.1016/0550-3213(85)90140-3

doi:10.1016/0550-3213(85)90140-3 1985

[2] [1]

't Hooft and M

G. 't Hooft and M. J. G. Veltman, ``One loop divergencies in the theory of gravitation,'' Ann.\ Inst.\ H.\ Poincare Phys.\ Theor.\ A 20 (1974) 69

work page 1974

[3] [2]

J. C. Criado and M. P\'erez-Victoria, ``Field redefinitions in effective theories at higher orders,'' JHEP 1903 (2019) 038 doi:10.1007/JHEP03(2019)038 [arXiv:1811.09413 [hep-ph]]

arXiv 2019

[4] [3]

Braneworld localisation in hyperbolic spacetime

B. Crampton, C. N. Pope and K. S. Stelle, ``Braneworld localisation in hyperbolic spacetime,'' JHEP 1412 (2014) 035 doi:10.1007/JHEP12(2014)035 [arXiv:1408.7072 [hep-th]]

work page Pith review arXiv 2014

[5] [4]

M. J. Duff, B. E. W. Nilsson, C. N. Pope and N. P. Warner, ``On the Consistency of the Kaluza-Klein Ansatz,'' Phys.\ Lett.\ 149B (1984) 90. doi:10.1016/0370-2693(84)91558-2

doi:10.1016/0370-2693(84)91558-2 1984

[6] [6]

M. J. Duff, S. Ferrara, C. N. Pope and K. S. Stelle, ``Massive Kaluza-Klein Modes and Effective Theories of Superstring Moduli,'' Nucl.\ Phys.\ B 333 (1990) 783. doi:10.1016/0550-3213(90)90139-5

work page doi:10.1016/0550-3213(90)90139-5 1990

[7] [7]

C.\ Erickson, A.\ Harrold, R.\ Leung and K.S.\ Stelle, in preparation

work page