Higher derivative scalar-vector-tensor theories from Kaluza-Klein reductions of Horndeski theory

It was recently pointed out that some precise photon-Galileon couplings in four dimensions (4D)-inspired by a higher dimensional reduction-are enough to obtain a Horndeski theory that is less constrained by the stringent experimental bounds on the speed of gravitational waves. They imply the constancy of the ratio of speed of gravity to light throughout cosmic evolution. This holds even if we include the general scalar potentials G4(pi,X) and G5(i). In this paper we go into the details of this 4D luminal extension of Horndeski theory including its scalar sector. We also present the complete action including the general G5(pi, X), G6(pi, X) scalar potentials. Thus we show all the U(1) gauge invariant vector Galileons in 4D that result from a Kaluza-Klein dimensional reduction from 5D Horndeski. They provide a consistent coupling of a higher derivative vector to scalar modifications of gravity-namely, without inducing Ostrogradsky ghosts and keeping gauge invariance-in the aim to explore more universal couplings of dark energy to other matter, such as vectors and in particular the photon.