A Non-Renormalization Theorem for Local Functionals in Ghost-Free Vector Field Theories Coupled to Dynamical Geometry

TL;DR

This paper proves that ghost-free massive vector field theories coupled to dynamical geometry remain stable under quantum corrections, with their classical interactions unaffected at all loop orders below a certain energy cutoff.

Contribution

It establishes a non-renormalization theorem for a broad class of ghost-free vector theories coupled to gravity, extending flat-space results to dynamical geometries.

Findings

Quantum corrections do not generate renormalizing local operators for classical interactions.

Additional quantum-induced operators involve more derivatives and are suppressed by strong-coupling scales.

Classical ghost-free vector interactions are stable under renormalization at all loop orders.

Abstract

We establish a non-renormalization theorem for a class of ghost-free local functionals describing massive vector field theories coupled to dynamical geometry. Under the assumptions of locality, Lorentz invariance, and validity of the effective field theory expansion below a fixed cutoff, we show that quantum corrections do not generate local operators that renormalize the classical derivative self-interactions responsible for the constraint structure of the theory. The proof combines an operator-level analysis of the space of allowed local counterterms with a systematic decoupling-limit argument, which isolates the leading contributions to the effective action at each order in the derivative expansion. As a consequence, all radiatively induced local functionals necessarily involve additional derivatives per field and are suppressed by the intrinsic strong-coupling scales of the theory. In particular, the classical interactions defining ghost-free vector field theories are stable under renormalization, and any additional degrees of freedom arising from quantum corrections appear only above the effective field theory cutoff. This result extends known non-renormalization properties of flat-space vector theories to the case of dynamical geometry and provides a structural explanation for their perturbative stability to all loop orders.