Professional Documents
Culture Documents
In arbitrary higher dimension, we consider the combination of Lovelock gravity alongside a scalar-
tensor action built out of higher order operators and Euler densities. The latter action is constructed
in such a way as to ensure conformal invariance for the scalar field. For the combined version of
these theories, we show the existence of black hole solutions interpreted as stealth configurations
within Lovelock gravity theory. The scalar field solutions are endowed with an integration constant
that may be identified as a scalar charge. In particular, we show that these stealth solutions can
be extended to include a time-dependent scalar field despite the underlying theory being non shift-
symmetric. Finally, we present a procedure to obtain a non-conformally invariant action in even
dimensions from the considered theory. For the target theory, the scalar field is not conformally
arXiv:2302.02920v1 [gr-qc] 6 Feb 2023
coupled to gravity although the scalar field equation itself is conformally invariant. By means of this
procedure, the black hole stealth configurations are converted into non-stealth black hole solutions,
as discovered recently in four dimensions.
general Lovelock theory [14], [15]. In all these cases, antly, i. e. Sµνγδ → Ω−4 Sµνγδ . In arbitrary dimension D,
our solutions have a nontrivial profile for the scalar field the action we will consider is given by
with an additional constant of integration that may be
interpreted as an independent scalar charge. This scalar 2 ]
[ D−1
√ 1 (k)
Z X
charge nevertheless does not appear in the metric. In D (k) D−4k (k)
S = d x −g δ a k R + b k φ S
other words we have apart from the mass of the black 2k
k=0
hole an additional independent charge (not modifying the (3)
metric), therefore the solutions we will describe have nei- where ak and bk are a priori arbitrary coupling con-
ther primary nor secondary hair. We will refer to this stants2 , where δ (k) is defined as
constant simply as scalar hair. In addition, introduc- µ1 ν1
ing extra assumptions on the parameters of the action, δ (k) = (2k)! δ[α δ ...δαµkk δβνkk ] ,
1 β1
stealth configurations defined on the same black hole
spacetimes, albeit with a time-dependent scalar field, can and, where R(k) and S (k) are given by
also be constructed. This result is all the more surpris-
k k
ing since the theories under consideration are not even Y Y
shift-symmetric. We will see how such a construction R(k) = Rαr βµrr νr , S (k) = S αr βµrr νr . (4)
is possible even in the absence of symmetry. Last but r=1 r=1
where the index (i) denotes the first and the second class theory (see [14], [15]). In the quadratic case ak = 0 for
of the solution, and the function σγ depends on the topol- k > 2, the real roots of this polynomial can be easily writ-
ogy of the base manifold ten down and we have a Boulware-Deser black hole [12]
(see [16] for a review) while for the other cases, the ex-
σ1 (X) = cosh(X), σ−1 (X) = cos(X), σ0 (X) = X. pression for f is quite cumbersome, except the case when
the polynomial equation (12) has a single root. This oc-
In the above expressions, M is an integration constant curs for the particular choice of the coupling constants
proportional to the mass, while the constant c appearing
in the scalar field, for the second class of solutions (8), [ D−1 ] (D − 2k − 1)!
ak = Ck 2 ,
is the scalar hair. The constant N of both scalar fields (D − 1)!
(7)–(8) is fixed in terms of the coupling constants of the
theory through the relation which in odd number of dimensions corresponds to the
Chern-Simons point. For this particular choice, one can
[ D−1
2 ]
easily express the solution for metric function in odd di-
X bk mension as
k γ̃ k−1 N 2−2k = 0, (9)
(D − 2k − 1)! (i) 2
k=1
q̃ (i) D−1
(i) 2
f (r) = γ + r − M̃ − , (13)
while the coupling of the conformal potential b0 is fixed
(i) r
in terms of other couplings as while in even dimension we have,
2
2 ]
[ D−1 (D − 1) + 4ǫ
(i) k
! D−2
D(D − 1) (i) X D k bk γ̃(i) (i) 2 M̃ q̃ (i)
b + =0, f (r) = γ + r − − 2 , (14)
(D − 1)! 0 N 2k (D − 2k − 1)! r r
k=1
(10)
where we have defined M̃ = M (D − 1)(D − 2) and q̃ (i) =
(1) (2) q (i) (D − 1)(D − 2). For the second solution q̃ (2) = 0, the
with ǫk = k 2 , ǫk = k, γ̃(1) = γ and γ̃(2) = γ − δγ,0 . spacetime metrics correspond to the black hole solutions
Finally, for both solutions the constant q (i) appearing in obtained in [20].
the metric function (6) is fixed in terms of the coupling
constants as
III. TIME DEPENDENT SOLUTIONS IN
(i) 2 ]
[ D−1 k
b0 X bk (D − 3)!γ̃(i) THEORIES WITH NO SHIFT SYMMETRY
q (i) = − ND − N D−2k .(11)
(D − 2) (D − 2k − 2)!
k=1 As it was originally shown in [17], scalar tensor the-
ories with shift symmetry φ → φ + const. may accom-
The first class of solutions with i = 1 has q (1) 6= 0 modate black hole solutions with a scalar field that de-
for γ 6= 0 and corresponds to the black hole with sec- pends linearly on time. The underlying idea of this fea-
ondary hair found in [10]. For the second class of solu- ture is that the field equations only involve derivatives
tions for i = 2, we have q (2) = 0, and hence the scalar of the scalar field, and hence its explicit time depen-
hair solution can be interpreted as a stealth solution on dence does not appear at the level of the field equations.
the Schwarzschild-(A)dS spacetime, see Eq. (6). Impor- Here, the action (3) is not shift-symmetric, nevertheless,
tantly, the two classes of spacetimes i = 1, 2 are solutions if b0 = b1 = 0 in the action (3), the stealth metric func-
(1) (2)
of distinct theories since b0 6= b0 as shown by (10). tion f (2) (r) with q (2) = 0 can be dressed with a time-
In the general Lovelock case, where ak 6= 0 for at least dependent scalar field given by
one k > 1, similar classes of solutions exist. The scalar
!
± γf (2) (r) + ζ 2 r 2 /f (2) (r) − 1
Z p
field profiles keep the same form (7)–(8) and are sub- φ (t, r) = exp c +ζ t + dr ,
r
jected to the same conditions (9) and (10), while the
(15)
metric functions f (i) have a different form
and are now where c and ζ are arbitrary constants. The emer-
given by a polynomial equation of order D−1 ,
2 gence of such stealth solutions in spite of the absence
of shift-symmetry in the theory under consideration can
2 ]
[ D−1 k
γ − f (i) (r) be understood as follows. The vanishing condition of
X ak (D − 1)!
= the energy-momentum tensor of the scalar field can be
(D − 2k − 1)! r2
k=0 schematically written as,
M (D − 1)(D − 2) q (i) (D − 1)(D − 2)
− , (12)
X
rD−1 rD bk φD−2k A(k)
µν = 0, (16)
k≥2
where M is an arbitrary constant related to the mass, and
(k)
q (i) are given again by (11), meaning in particular that where the Aµν for k ≥ 2 only depend on the derivatives
q (2) = 0. It follows then that the second class of solu- of Φ ≡ log φ. One can clearly see that the above ex-
tions can be interpreted as stealth black holes of Lovelock pression is not shift-symmetric, since it involves explicit
4
dependence on the scalar field, in accord with the fact recently proposed in four dimensions [11], and is given in
that the action is not shift-symmetric. One can verify the present notations by
however that for the stealth configuration described by
the metric function f (2) (r) and the time-dependent scalar "
√ (∂φ)2
Z
(k) 4 4 2
field (15), each Aµν vanishes identically, and one gets a SF = d x −g R − 2Λ + b0 φ + b1 φ R + 6 2
φ
solution which is effectively shift-symmetric for Φ = ln φ, #
as highlighted by the form of (15). Gµν ∂µ φ∂ν φ φ(∂φ)2 (∂φ)4
+b2 log(φ) G − 4 − 4 + 2 ,
φ2 φ3 φ4
(17)
IV. FROM CONFORMAL ACTION TO
CONFORMAL EQUATION
where G is the Gauss-Bonnet density G = R2 −4Rµν Rµν +
Here, we present a limiting process in even dimensions Rµνλδ Rµνλδ . In order to make apparent this limiting
which breaks the conformal symmetry of the scalar field process, let us consider the action (3) in arbitrary di-
action (3) but still preserving the conformal symmetry mension D and rewrite it in a similar way, assuming also
of the scalar field equation. Such an action has been ak = bk = 0 for k > 2,
"
√ (∂φ)2
Z
S= D
d x −g R − 2Λ + a2 G + b0 φD + b1 φD−2 R + (D − 1)(D − 2) 2 (18)
φ
#
Gµν ∂µ φ∂ν φ φ(∂φ)2 (∂φ)4
+b2 φD−4 G − 4(D − 3)(D − 4) − 2(D − 2)(D − 3)(D − 4) − (D − 2)(D − 3)(D − 4)(D − 5) ,
φ2 φ3 φ4
and let us show how the action (17) can be obtained off from Eqs. (7)–(12) by applying them the described
from (18) by a singular limit. This is done by rescal- limit. It is worth noting how the procedure works for the
b2
ing the coupling constant b2 → D−4 , fixing the Gauss- time-dependent solutions in the general Lovelock theory
b2
Bonnet coupling a2 = − D−4 , performing a Taylor ex- in even dimension D = 2p > 4. Indeed, the energy-
pansion of φD−4 at the neighborhood of D = 4, i. e. momentum tensor (16) must not vanish since the pro-
φD−4 = 1 + (D − 4) log(φ) + o(D − 4), and finally taking jected solution yields a non-stealth solution, and must
the limit D → 4. This procedure only works for a non- not depend on the time coordinate t since the metric
vanishing Gauss-Bonnet coupling a2 , and hence at the solution is time-independent. In fact, one can see that
level of the solutions, the limit makes sense only for the in the considered limit and after rescaling the couplings,
(k)
two classes of solutions presented before in the Lovelock all the Aµν of (16) do vanish on the projected solution,
(p)
case, and not for the pure Einstein case. One can verify except Aµν , whose time-dependent factor φD−2p disap-
that following the above prescription, one recovers two pears precisely in the limit D → 2p.
classes of four-dimensional solutions of the action (17)
discovered in [11], from the solutions (7)–(12). In a sim-
ilar way, the higher-dimensional time-dependent stealth V. CONCLUDING REMARKS
solution of (18) with b0 = b1 = 0, with the scalar given
by (15), projects to the time-dependent non-stealth so-
lution of (17) with b0 = b1 = 0 as given in [18]. In this paper we presented three main results. First,
we showed that conformally coupled scalar field in Love-
The same procedure can be easily extended to any even lock theory admits a class of black hole stealth configu-
dimension D = 2p with p ≥ 2 where the Euler density rations, Eqs. (6), (8) and (11) with the subscript i = 2.
δ (p) R(p) is a boundary term. Indeed, starting from the The metric in this case is nothing but the Boulware-Deser
action given by (3) with ak = bk = 0 for k > p, one should spacetime [12] in the quadratic case, or its extension for
bp bp
rescale bp → D−2p , fix the Euler coupling ap = − D−2p higher Lovelock theory [14]. The expression of the scalar
and perform a Taylor expansion around D = 2p, and field contains the metric function and a constant of inte-
finally take the limit D → 2p. The result of this proce- gration that may be interpreted as the scalar charge of
dure is an action of a non-conformal scalar field coupled the field.
to Lovelock gravity, yielding however a scalar field equa- We then demonstrated that in the particular case of
tion which is conformally invariant. Some details of this the coupling constants b0 = b1 = 0 in the action (3),
limiting procedure are given in the Appendix. Two time- these stealth configurations can be endowed with a time-
independent solutions of the resulting action can be read dependent scalar field, Eq. (15).
5
equations. Here, we have focused on the field equations a boundary term in dimension D = 2p. Therefore, up to
and proved that the limiting scalar field equation is con- integration by parts, one has,
formally invariant. Let us now show that the singular
limit is also well-defined at the√level of the action. φD−4p δ (p) S (p) − δ (p) R(p) = O (D − 2p) ,
Up to a global factor 2−p −g, the considered La-
grangian density is and
and for clarity, we define a function with W̃ being regular as D → 2p. The Lagrangian Lp
can thus be written as
W ≡ φD−4p δ (p) S (p) − φD−2p δ (p) R(p)
Lp = (ap + bp ) δ (p) R(p)
= φD−4p δ (p) S (p) − δ (p) R(p) − (D − 2p) (log φ) δ (p) R(p) h i
+ o (D − 2p) . + bp (D − 2p) W̃ + (log φ) δ (p) R(p) + o(1) .
Here and in what follows, the notations o (· · · ) and As a consequence, the limiting procedure, namely the
O (· · · ) have to be understood in the limit D → 2p. The bp
rescaling bp → D−2p
bp
, ap → − D−2p followed by the limit
variation of the first two terms in the last expression with D → 2p indeed yields a well defined Lagrangian density,
respect to the metric are proportional to Tµν and Gµν re-
spectively, see (A6). The resulting expressions contain a h i
L̃p = bp W̃ + (log φ) δ (p) R(p) .
generalized δ−Kronecker with 2p + 1 indices, which van-
ish in D = 2p. This means that these first two terms are