Canonical variational completion and 4D Gauss-Bonnet gravity

TL;DR

This paper investigates the variational properties of the proposed 4D Gauss-Bonnet gravity, showing that the renormalized equations cannot be derived from any action, and extends variational completion techniques to certain PDE systems.

Contribution

It demonstrates that the 4D renormalized Gauss-Bonnet equations are non-variational and develops an extended variational completion method for specific PDE classes.

Findings

The 4D renormalized Gauss-Bonnet equations cannot be obtained from any action.

In dimensions greater than 4, the equations can be variationally completed with a consistent Lagrangian.

The variationally completed Lagrangian diverges in 4D, indicating issues with the proposed theory.

Abstract

Recently, a proposal to obtain a finite contribution of second derivative order to the gravitational field equations in \(D = 4\) dimensions from a renormalized Gauss-Bonnet term in the action has received a wave of attention. It triggered a discussion whether the employed renormalization procedure yields a well-defined theory. One of the main criticisms is based on the fact that the resulting field equations cannot be obtained as the Euler-Lagrange equations from a diffeomorphism invariant action. In this work, we use techniques from the inverse calculus of variations to point out that the renormalized truncated Gauss-Bonnet equations cannot be obtained from any action at all (either diffeomorphism invariant or not), in any dimension. Then, we employ canonical variational completion, based on the notion of Vainberg-Tonti Lagrangian - which consists in adding a canonically defined correction term to a given system of equations, so as to make them derivable from an action. To apply this technique to the suggested $4$D renormalized Gauss-Bonnet equations, we extend the variational completion algorithm to some classes of PDE systems for which the usual integral providing the Vainberg-Tonti Lagrangian diverges. We discover that in $D>4$ the suggested field equations can be variationally completed, choosing either the metric or its inverse as field variables; both approaches yield consistently the same Lagrangian, whose variation leads to fourth order field equations. In $D=4$, the Lagrangian of the variationally completed theory diverges in both cases.