Homogeneous Black Strings in Einstein-Gauss-Bonnet with Horndeski hair and beyond

In this paper we construct new exact solutions in Einstein-Gauss-Bonnet and Lovelock gravity, describing asymptotically flat black strings. The solutions exist also under the inclusion of a cosmological term in the action, and are supported by scalar fields with finite energy density, which are linear along the extended direction and have kinetic terms constructed out from Lovelock tensors. The divergenceless nature of the Lovelock tensors in the kinetic terms ensures that the whole theory is second order. For spherically, hyperbolic and planar symmetric spacetimes on the string, we obtain an effective Wheeler's polynomial which determines the lapse function up to an algebraic equation. For the sake of concreteness, we explicitly show the existence of a family of asymptotically flat black strings in six dimensions, as well as asymptotically AdS$_{5}\times R$ black string solutions and compute the temperature, mass density and entropy density. We compute the latter by Wald's formula and show that it receives a contribution from the non-minimal kinetic coupling of the matter part, shifting the one-quarter factor coming from the Einstein term, on top of the usual non areal contribution arising from the quadratic Gauss-Bonnet term. Finally, for a special value of the couplings of the theory in six dimensions, we construct strings that contain asymptotically AdS wormholes as well as rotating solutions on the transverse section. By including more scalars the strings can be extended to $p$-branes, in arbitrary dimensions.


I. INTRODUCTION
Higher dimensional General Relativity (GR) possesses a broader spectrum of black hole solutions as compared with its four dimensional formulation [1,2]. Indeed, four dimensional GR is constrained by uniqueness theorems [3][4][5] that ensure that any black hole solution of the theory is contained in the Kerr family [6,7]. Moreover, topological restrictions allow only for horizons with spherical topology [8]. The spectrum of solutions is limited not only quantitatively but also qualitatively, setting the final state of black hole collapse to be described only by a small set of parameters [9]. On the other hand it is well-known that gravity in higher dimensions admits spacetimes with horizons that can have more general topologies than that of the (d − 2)-sphere [1,2], being the existence of black strings, a black hole solution with horizon structure S (d−3) × R, the simplest counterexample [3][4][5] as it coexists with the Schwarzschild-Tangherlini black hole [10]. Black strings also paved the road for the construction of more sophisticated asymptotically flat solutions with non-spherical topology such as black rings [11] and diverse black object solutions [2], demonstrating how topological restrictions [8] are weakened in higher dimensions. It was shown that black strings are affected by Gregory-Laflamme (GL) instability [12,13], a long-wavelength perturbative instability triggered by a mode that travels along the extended direction of the horizon and, moreover in dimension five the numerical simulations indicate that the instability ends in the formation of naked singularities [14,15], representing an explicit failure of the cosmic censorship in higher dimensions [16] 1 .
Black strings in GR in vacuum are easy to construct. In fact they are obtained by a cylindrical oxidation of the Schwarzschild black hole in d dimensions by the inclusion of p extra flat coordinates. This can be realized by seeing that the equations of motion along the extended directions are compatible with the field equations on the p-brane, due to the fact that the involved curvature quantities vanish on these coordinates.
Notwithstanding it is not hard to find simple scenarios in which the construction of analytic black strings fails. Indeed, the mere inclusion of a cosmological constant spoils the existence of cylindrically extended black strings, since the compatibility of the equations of motion on the flat coordinates with the trace of the field equations along the brane forces Λ to vanish. This implies that there is no simple oxidation of the Schwarzschild (A)dS black hole 2 .
In [19] two of the authors have shown that GR with a negative cosmological constant does admit exact, homogeneous black string solutions if each extended flat coordinate is dressed with a massless, minimally coupled scalar field that depends exclusively on that coordinate 3 .
To see this explicitly let us take the following black string ansatz in which a d-dimensional black hole is oxidated by including p flat directions where i, j = 1, 2, . . . , p and dΣ 2 d−2,K stands for a (d − 2)-dimensional Euclidean manifold of constant curvature K = 0, ±1. By virtue of the ansatz (1), the massless Klein-Gordon equations deliver scalar fields that depend linearly on the extended flat directions the λ (j) being integration constants. These scalars cure the incompatibility between the equations of motion on the brane and the extended directions leading to the metric where compatibility is ensured provided .
This solution represents the black string version of the Schwarzschild-AdS black hole and shows that the three-dimensional BTZ black hole can be also uplifted to a higher dimensional black string 4 .
A natural question arises: As higher dimensional objects, do homogeneous and cylindrically extended black strings and black p-branes exist in higher curvature extensions of GR?
In this paper we answer this question affirmatively for the Einstein-Gauss-Bonnet as well as for general Lovelock theories with arbitrary values of the coupling constants. To successfully 2 Numerical as well as perturbative solutions have been constructed in [20] in GR as well as in gauged supergravity in five dimensions. 3 Previously, AdS black strings in GR were constructed considering warped spacetimes [21] providing nonhomogenous configurations. 4 This can also be achieved in the Einstein-Skyrme system [27] and even more by using this approach, diverse BTZ black strings have been recently constructed in theories with non-trivial torsion [28]. apply the procedure before described, we shall observe that the extended directions must be dressed with scalar fields of the type (2) that have non-minimal kinetic couplings, such that the extra higher curvature terms involved in Lovelock theories do not break the compatibility of the field equations. Such couplings must fulfil the following requirements: They must enjoy shift symmetry, which allows the inclusion of non-minimal kinetic couplings. Secondly, their contribution to the equations of motion must be of the same type as that of the Lovelock terms under consideration. These types of non-minimal kinetic couplings arise naturally in Galileon/Horndeski theory namely, the most general scalar-tensor theory with second order field equations for both, the metric and the scalar field. Originally constructed in the early seventies, Horndeski theory [30] has re-emerged after the appearances of Galileon theories [31][32][33] mostly motivated by their several applications in cosmology [34][35][36]. The Horndeski Lagrangian, which has been constructed in four dimensions, has a non-minimal kinetic sector given by where G AB is the Einstein tensor. This term was extensively considered not only in cosmology [37][38][39][40][41] but also in the study of compact objects such as black holes and neutron stars [42][43][44][45][46][47][48][49][50]. We will see that the higher dimensional generalizations of this term are precisely the kind of couplings we need to consider in order to construct homogeneous black strings in Lovelock gravity. The shift invariant scalars will provide the dress we need in order to ensure compatibility of the equations of motion.
This paper is organized as follows: To fix ideas, Section II is destined to construct homogeneous black strings in Einstein-Gauss-Bonnet theory dressed by two scalar fields, a minimally coupled one accounting for the inclusion of the cosmological constant and a nonminimally coupled one accounting for the new R 2 curvature terms we are including. We present the equations in arbitrary dimension D = d + 1, nevertheless for the sake of con- in Section V we outline our conclusions and further developments that can follow this work.

II. HOMOGENEOUS BLACK STRINGS IN EINSTEIN-GAUSS-BONNET THE-ORY
Let's consider the Einstein-Gauss-Bonnet theory in arbitrary dimension coupled to two scalar fields as follows: where L GB := R 2 − 4R AB R AB + R ABCD R ABCD defines the Gauss-Bonnet term. Performing the variations respect to the metric and the scalar fields we obtain the following set of field where the Gauss-Bonnet tensor is given by and the energy-momentum tensors for the scalars read Note that the equations (9) are linear on the scalars.
On a metric of the form and scalars that depend only on the extended direction z, the equations for the scalars imply a linear dependence on z. The shift symmetry of the scalar field theories can be used to set to zero the additive integration constants that appears in both scalars. So we have with c 0 and c 1 , integration constants. Then, the trace of the field equations on the ddimensional manifold and the equation along the z direction respectively read whereR andL GB are the intrinsic Ricci scalar and Gauss-Bonnet combination of the ddimensional manifold with line element ds d . To avoid incompatibilities these two equations must be proportional term by term, i.e. E 1 = ξE 2 and therefore, when the higher curvature Gauss-Bonnet term is present, one obtains that the proportionality constant must be fixed as well as the integration constants of the scalars, leading to 5 Under these conditions, we will have a solution of the theory (6) in arbitrary dimension provided the d−dimensional metric ds 2 d fulfils the Einstein-Gauss-Bonnet field equations with the following rescaled couplings 5 Note that when α = 0, one obtains only two equations for the three constant ξ, c 0 and c 1 , leading to for an arbitrary ξ. Since we are interested in the inclusion of higher derivative terms, we do not elaborated further in the case α = 0.
Bonnet tensor for the d−dimensional metric ds 2 d on the constant z section of the black string 6 (10). SinceH µν vanishes identically in dimensions d ≤ 4, to have a non-vanishing contribution from the Gauss-Bonnet tensor, we need d ≥ 5 (in d = 4 the equation (16) is identically fulfilled for any metric and the system is degenerate at such point).
For simplicity, let's focus on the six dimensional case and consider the homogeneous black string metric where dΣ 3,K is the line element of an Euclidean, three-dimensional constant curvature manifold of curvature K, and assume that the scalars depend only on the z direction.
The explicit z-dependence of the scalars is fixed by the scalar equations to be linear, giving rise to and the metric function has to solve the following quadratic, polynomial equation where m is an integration constant and V Consequently, for the spherically symmetric case, the metric describes an asymptotically flat, homogeneous black string, with a regular horizon, in the six-dimensional Einstein-Gauss-Bonnet theory supported by a scalar field with an Einstein-kinetic term. These are the first known asymptotically flat, analytic and homogeneous black string solutions in general relativity with a Gauss-Bonnet term.
From the expression (18) we see that the bare cosmological constant must fulfil Λ 0 ≤ 0, therefore, for simplicity and without loosing generality, let us set For positive values of the Gauss-Bonnet coupling (α > 0) and spherically symmetric spacetimes on the brane (K = 1) only the branch with the negative sign in (21) might lead to an event horizon. In this case, the asymptotic behavior of the metric is which induces an upper bound on the Gauss-Bonnet coupling 0 < α < 9 16 , where we have defined 1 Then, the asymptotic behavior of the metric on the brane is that of the AdS 5 spacetime and the subleading term is controlled by the integration constant m, leading to a finite mass contribution (mass density if one considers the extended direction). Considering α positive and l 2 to be the curvature radius of the brane at infinity, leads to the restriction 9 2 < l 2 < 9. Wald's formula [51] can be used to obtain the following entropy per unit length of the string s = 4π 3 r 3 where r + is the horizon radius. Here we note that the Einstein contribution to the entropy receives a correction from the matter sector. Since in this case the Bekenstein-Hawking entropy should be A 4G = 8π 3 r 3 + L (with 16πG = 1). As expected on dimensional grounds, the term proportional to the Gauss-Bonnet coupling depends linearly on the horizon radius. As occurs for black holes, the entropy of the planar horizons do not receive corrections from the higher curvature terms.
The temperature is fixed in order to obtain a smooth Euclidean continuation on the horizon and is given by One can see that, identifying the integration constant m with the mass density, the thermodynamical quantities fulfil the first law dm = T ds .
Since the integration constants of the scalars are fixed in terms of the couplings, it is natural to expect that the first law does not receive contributions from the matter sector. A plot with different profiles for the function f (r) is presented in figure 1, for both the asymptotically flat (left panel) and asymptotically AdS solutions (right panel).
We have therefore shown that the inclusion of the non-minimal Einstein-kinetic coupling (5) allows to construct black strings in Einstein-Gauss-Bonnet theory, for arbitrary values of the coupling constants of the theory.
As mentioned above, the obstruction to the existence of cylindrically oxidated solutions comes from the incompatibility between the trace of the field equations on the brane and the equation along the extended direction. The scalar fields ψ and χ provide a natural manner to circumvent this incompatibility even in the asymptotically flat case. Below, we give a detailed explanation of the mechanism behind the existence of these solutions for general Lovelock theories, and show that the results can be extended beyond Einstein-Gauss-Bonnet by the inclusion of scalars with non-minimal kinetic coupling to Lovelock tensors, that naturally extend (5).

III. HOMOGENEOUS BLACK STRINGS IN GENERAL LOVELOCK THEORY
Let us supplement the Lovelock action by quadratic scalars in the following form where the Lovelock Lagrangians are given by and each of the matter fields φ (k) = {ψ, χ, ...} with k = 0, 1, ..., n , have different dynamics controlled by the Lagrangian which couples the k-th scalar directly to the k-th order Lovelock tensor E Varying (29) with respect metric g AB we obtain the field equations with the Lovelock tensor of order k defined as Furthermore, the energy-momentum tensor associated with the k-th scalar φ (k) is given by T (k) On the other hand, by varying the action with respect to field φ (k) , we obtain the field Below we will show that these equations admit homogeneous black strings by requiring the trace of the equations on the brane to be compatible with the equation along the extended direction.
We consider the ansatz where and the scalar fields depending only on the extended coordinate. The equations for the fields (35) imply that the scalars are linear in the extended direction, and the invariance under constant shifts of the matter actions can be used to write Here To explain the previously mentioned compatibility, we will be as explicit as possible in what follows. The field equations (32) read Then, introducing (36) and (38) into equation (39), we obtain the equations with free indices on the string E µν = 0 which imply and the equation along the z direction E zz reads −α Here we have introduced for simplicity both sets of shifted gravitational couplingsα k and α k , given respectively byα In general, the compatibility of the equationsg µν E µν = 0 and E zz = 0 will induce further restrictions on the metric function f (r) than those that come only from the equations on the brane E µν = 0. We can circumvent this clash by imposing the off-shell requirement g µν E µν ∼ E zz and introducing a proportionality constant ξ one obtainŝ and ξ (d − 2 (n + 1)) = 1 .
These equations allow to fix the proportionality constant ξ as well as the n integration constants c k for all the scalars in the following manner Then, the equations on the brane, reduce to an effective Wheeler-like polynomial that reads where m is an integration constant and V (K) d−2 stands for the volume of manifold with line element dΣ K,d−2 . This leads to a black string in a general Lovelock theory of gravity that can be asymptotically flat or asymptotically AdS depending of whether we include a cosmological term in the action. The temperature and the entropy of the corresponding black hole are respectively given by and and it can be checked that the first law dm = T ds is fulfilled, which lead to the interpretation of the integration constant m as the mass density.
The compatibility of the equationsg µν E µν = 0 and E zz = 0 is ensured for a general metric on the transverse section of the string, and the scalars allow to cylindrically extend any solution of Lovelock theory from dimension d to dimension d + 1. This will be exploited in the next section.

IV. EXTRA PHYSICALLY INTERESTING SOLUTIONS
As usual in Lovelock theories, from the polynomial equation (47) This theory admits a cylindrically extended wormhole solution with line element given by dressed by the scalars provided and The metric (52)  It is interesting to notice that even though the latter solution has a simple warped structure in five dimensions, one can also embed in a similar manner, a rotating solution of the effective five dimensional Chern-Simons theory, into dimension six. Explicitly the following metric is a solution of the field equations: where ds L is the line element of AdS 5 with curvature radius L, in double oblate coordinates, i.e.
, and ρ 2 (r, µ) = r 2 + a 2 µ 2 + b 2 (1 − µ 2 ) . The scalar fields are given by (53) and the relations (54) and (55), hold. Note that l is a constant defined by the theory, while L is an integration constant as well as a and b. The latter are the so-called oblateness parameters. Since the vector field k defines a null and geodesic congruence of the background metric ds L , the metric (56) is a cylindrical oxidation of a Kerr-Schild metric in AdS 5 . The five dimensional metric in the section of the string defines the first known exact, analytic, rotating solution of Einstein-Gauss-Bonnet in five dimensions and it was originally found in [55]. It was also latter proven to be of the non-circular type in [56] 7 .

V. FINAL REMARKS
Until now in higher curvature gravity, exact and homogeneous black string solutions have been constructed only for special values of the coupling constants [22,23] also including pform fields [24], and the general problem of the construction of Lovelock branes was studied in [25], and for arbitrary values of the couplings only numerical or perturbative solutions were available (see e.g. [26]). In this paper we have constructed new, exact, homogeneous black strings in arbitrary Lovelock theories. The solutions are supported by scalar fields with non-minimal kinetic couplings constructed with Lovelock tensors, ensuring that the field equations are of second order. These scalars have been previously considered as part of the higher dimensional extension of Horndeski theories in [58,59]. Here, the scalars being dependent only on the coordinate along the extended direction, turn out to be linear, and the proportionality constant gets fixed by the requiring the compatibility of the whole system.
The transverse section of the string can be asymptotically flat or AdS. For concreteness we computed the thermodynamic quantities and showed that the entropy of the black string receives a contribution from the matter part. This is interesting because the pattern of transitions between black string and black hole can change due to the presence of the new Horndeski fields. The gravitational stability of the black string and p-branes in the presence of a single quadratic or cubic Lovelock term has been studied in [60]- [62], while the effect of quartic corrections coming from M-theory have been explored in [63]. It is interesting to mention that the Large D approach [64] allows to keep all the terms in the Einstein-Gauss-Bonnet Lagrangian [65].
For simplicity we focus on the case with a single extended direction, but this construction also works with p-branes. For example, in the Einstein-Gauss-Bonnet theory, with a cosmological constant, one would have to consider p minimally coupled scalars mimicking such of reference [19], as well as p scalars with Einstein-kinetic couplings which would also turn out to be linear and depending on a single extended direction. From this, the extension to arbitrary Lovelock theories, with flat p-branes is clear.
Interpreting our solutions as compactifications with non-trivial scalar fluxes along the extended direction, one obtains an effective Lovelock theory induced on the brane. We exploited this idea to construct cylindrically extended solution with wormholes on the transverse section, which are asymptotically AdS 5 ×R, in both directions. Within the same realm we also constructed a cylindrical oxidation of the rotating spacetime of Einstein-Gauss-Bonnet gravity, constructed from a Kerr-Schild ansatz in [55]. The wormhole solution can of course be extended to AdS 2n−1 × R provided one considers Lovelock theory with all the possible terms in dimension 2n. In such case, the wormhole on the string will be the one reported in [53].