Linear Higher-Order Maxwell-Einstein-Scalar Theories

Abstract

In the context of the Higher-Order Maxwell-Einstein-Scalar (HOMES) theories, which are invariant under spacetime diffeomorphisms and $U(1)$ gauge symmetry, we study two broad subclasses: the first is up to linear in $R_{μναβ}$, $\nabla_μ\nabla_νϕ$, $\nabla_ρ{F}_{μν}$ and up to quadratic in the vector field strength tensor $F_{μν}$; the second is up to linear in $\nabla_μ\nabla_νϕ$, contains no second derivatives of vector field and metric, but allows for arbitrary functions/powers of $F_{μν}$. Under these assumptions, we systematically derive the most general form of the action that leads to second-order (or lower) equations of motion. We prove that, among 41 possible terms in the first subclass, only four independent higher-derivative terms are allowed: the kinetic gravity braiding term $G_3(ϕ,X)\Boxϕ$ in the scalar sector with $X = -\nabla_μϕ\nabla^μϕ/ 2$; the Horndeski non-minimal coupling term $w_0(ϕ)R_{βδαγ}\tilde{F}^{αβ} \tilde{F}^{γδ}$ in the vector field sector, where $\tilde{F}^{μν}$ is the Hodge dual of $F_{μν}$; and two interaction terms between the scalar and vector field sectors: $[w_1(ϕ,X) g_{ρσ} + w_2(ϕ,X) \nabla_ρϕ\nabla_σϕ] \nabla_β\nabla_αϕ\, \tilde{F}^{αρ} \tilde{F}^{βσ}$. For the second subclass, which admits 11 possible terms, three of these four, excluding the Horndeski non-minimal coupling term proportional to $w_0(ϕ)$, are allowed. These independent terms serve as the building blocks of each subclass of HOMES. Remarkably, there is no higher-derivative parity-violating term in either subclass. Finally, we propose a new generalization of higher-derivative interaction terms for the case of a charged complex scalar field.