Killing and 2-Killing Vector Fields on Doubly Warped Products

: We provide a condition for a 2-Killing vector field on a compact Riemannian manifold to be Killing and apply the result to doubly warped product manifolds. We establish a connection between the property of a vector field on a doubly warped product manifold and its components on the factor manifolds to be Killing or 2-Killing. We also prove that a Killing vector field on the doubly warped product gives rise to a Ricci soliton factor manifold if and only if it is an Einstein manifold. If a component of a Killing vector field on the doubly warped product is of a gradient type, then, under certain conditions, the corresponding factor manifold is isometric to the Euclidean space. Moreover, we provide necessary and sufficient conditions for a doubly warped product to reduce to a direct product. As applications, we characterize the 2-Killing vector fields on the doubly warped spacetimes, particularly on the standard static spacetime and on the generalized Robertson–Walker spacetime


Introduction
Killing vector fields are infinitesimal generators of isometries on a Riemannian manifold (M, g).They satisfy the condition £ ξ g = 0, i.e., the Lie derivative of the metric in their direction to vanish.A more general notion, namely, the 2-Killing vector field, has been introduced in [1] as being a smooth vector field ξ such that £ ξ £ ξ g = 0. Obviously, any Killing vector field is also 2-Killing, but in general, the converse is not true.Therefore, a first question which can arise is the following: When does a 2-Killing vector field reduces to a Killing vector field?In his paper [1], Oprea established some relations between them, and he gave a necessary and sufficient condition in terms of the Ricci curvature of the Levi-Civita connection of g for a 2-Killing vector field to be parallel, hence, a Killing vector field.
On the other hand, solitary waves preserving their shape while propagating with a constant speed, which are known as solitons, are mathematically modeled as stationary solutions to a certain flow.They are described by a second-order nonlinear equation and have concrete applications in nonlinear dynamics.In Riemannian geometry, Ricci solitons correspond to the Ricci flow, which was first considered by Hamilton in [2].The Ricci soliton equation is 1 2 £ ξ g + Ric = λg with λ as a real constant, which reduces to the Einstein condition when ξ is a Killing vector field.Another type of recently considered soliton, namely, the hyperbolic Ricci soliton [3], which is defined by £ ξ £ ξ g + µ£ ξ g + Ric = λg with λ and µ two real constants, also reduces to an Einstein manifold if ξ is a Killing vector field and to a Ricci soliton if ξ is a 2-Killing vector field.
Spacetimes, which are mathematically described as Lorentzian manifolds, model the physical world.Through the important particular spacetimes counts those that occur when the manifold is a warped product of a certain type: either a generalized Robertson-Walker spacetime I× f M or a standard static spacetime M × f I [4].It is worth mentioning that the manifolds of warped product type, introduced by Bishop and O'Neill [5], are of special interest in physics.Doubly warped products are some of their generalizations [6,7].
It is known that the existence of distinguished vector fields on Riemannian manifolds dictates their geometry.Killing vector fields on doubly warped products have already been treated in [6,8].In the present paper, which extends some of the above-mentioned results, we firstly provide a necessary and sufficient condition for a vector field, which satisfies the condition that the second Lie derivative of the metric in its direction is traceless (in particular, a 2-Killing vector field) to be a parallel vector field, hence a Killing vector field.We consider Killing and 2-Killing vector fields on doubly warped products, and we establish some consequences on the factor manifolds.In particular, we characterize the factor manifolds as being isometric to the Euclidean space when there exists a Killing vector field on the doubly warped product, and we provide the necessary and sufficient conditions for a doubly warped product to reduce to a direct product when there exists a 2-Killing vector field on the factor manifolds.We also show that, under a certain assumption, a factor manifold is a Ricci soliton having as a potential vector field the component of a Killing vector field on the doubly warped product manifold if and only if it is Einstein, and we show that an Einstein factor (M i , g i ), i = 1, 2 of a doubly warped product endowed with a 2-Killing vector field ξ = ξ 1 + ξ 2 is a nontrivial hyperbolic Ricci soliton with the potential vector field ξ i , i = 1, 2. As physical applications, we characterize Killing and 2-Killing vector fields on doubly warped spacetimes and, in particular, on the standard static spacetime and on the generalized Robertson-Walker spacetime.Our paper continues and completes with new properties that expand on the results obtained in [8,9], where the authors also provided some characterizations of the Killing and 2-Killing vector fields on the standard static spacetime and on the generalized Robertson-Walker spacetime.

On 2-Killing Vector Fields
A smooth vector field ξ on a pseudo-Riemannian manifold (M, g) is called Killing if £ ξ g = 0, and it is called 2-Killing [1] if where £ ξ T stands for the Lie derivative of a symmetric (0, 2)-tensor field T in the direction of ξ, which is given by for any smooth vector fields X, Y on M.
Any Killing vector field is 2-Killing too, but not conversely.Nontrivial cases when a 2-Killing vector field is also Killing were given in [1,10].We shall extend here some of those results.Lemma 1.Let ξ, X, Y be smooth vector fields on (M, g).Then, ξ, and ∇ stands for the Levi-Civita connection of g.
Proof.Let {e i } 1≤i≤n be a local orthonormal frame field on M, where n = dim(M).Then, we have from Lemma 2. By taking the sum in the previous relation, we obtain By integrating the relation above with respect to the canonical measure, we find and, hence, ∇ξ = 0.
From the previous proposition, we can state the following theorem.
Theorem 1.If ξ is a smooth vector field on a compact Riemannian manifold (M, g) such that trace(£ ξ £ ξ g) = 0, then ξ is a parallel vector field if and only if M Ric(ξ, ξ) = 0.

Describing 2-Killing Vector Fields on Doubly Warped Products
Let (M 1 , g 1 ) and (M 2 , g 2 ) be two pseudo-Riemannian manifolds, let ∇ 1 and ∇ 2 be the Levi-Civita connections of g 1 and g 2 , respectively, and let f 1 and f 2 be two positive smooth functions on M 1 and M 2 , respectively.We consider the doubly warped product manifold g), which is defined [6,7] as and where If only one of f 1 and f 2 is a constant, then ( M, g) is a warped product manifold (see [5]).Moreover, if both f 1 and f 2 are constants, then ( M, g) is a direct product manifold (and we call it the trivial case).
For the rest of this paper, we shall use the same notation for a function on M i , i = 1, 2 and its pullback on M, for a metric on M i , i = 1, 2 and its pullback on M, and also for a vector field on M i , i = 1, 2 and its lift on M. The set of smooth sections of a smooth manifold M will be denoted by Γ(TM).
We have the orthogonal decomposition and for any X ∈ Γ(T M), we denote where The expressions of the first and the second Lie derivatives are given in the following proposition.
we have: Proof.The expression of the first Lie derivative on a doubly warped product manifold has been previously given in [8]. Then, and the proof is complete.
If one of the components of ξ is Killing or 2-Killing, or if ξ is a Killing or a 2-Killing vector field, then from the above proposition, we deduce the following proposition.

Proposition 3.
(i) If ξ 1 is a Killing vector field on (M 1 , g 1 ), then we have the following: (a) its lift is a Killing vector field on (ii) If ξ 1 and ξ 2 are Killing vector fields on (M 1 , g 1 ) and (M 2 , g 2 ), respectively, then we have the following: (iv) If ξ 1 and ξ 2 are 2-Killing vector fields on (M 1 , g 1 ) and (M 2 , g 2 ), respectively, then As a consequence, we have the following corollary.

Corollary 1 ([9]
).If M 1 × f 1 M 2 is a warped product manifold, then we have the following: (i) ξ 2 is a Killing vector field on (M 2 , g 2 ) if and only if its lift is a Killing vector field on M 1 × f 1 M 2 ; (ii) ξ 2 is a 2-Killing vector field on (M 2 , g 2 ) if and only if its lift is a 2-Killing vector field on Proposition 4.
As a consequence, we have the following corollary.
Example 1.We consider the Heisenberg group M := {(x, y, z) ∈ R 3 , z > 0} equipped with the Riemannian metric g := dx ⊗ dx + dy ⊗ dy + η ⊗ η, where (x, y, z) denote the standard coordinates in R 3 , and η := ydx − xdy + dz.Then, (ϕ, ξ, η, g) defines a Sasakian structure on M, where and ξ is a Killing, hence, a 2-Killing vector field on M. Let f 2 I× f 1 M be the doubly warped spacetime, where I is a connected open real interval equipped with the metric −dt 2 , and f 2 : Then, according to Proposition 3 (i)(b), the lift of ξ to f 2 I× f 1 M is a 2-Killing vector field.On the other hand, if we take f 2 as a constant, then the lift of ξ to the standard static spacetime is a Killing, hence, a 2-Killing vector field.
We shall further characterize the factor manifolds of a doubly warped product as being Ricci-type solitons having as a potential vector field the component of a Killing or a 2-Killing vector field on the doubly warped product.
We recall that (M, g, ξ, λ) is called a Ricci soliton [2] if the vector field ξ and the scalar where Ric is the Ricci curvature of (M, g).
Then, we have the following: ) is a Ricci soliton if and only if (M 1 , g 1 ) is an Einstein manifold; in this case, , where r 1 is the scalar curvature of (M 1 , g 1 ) and n 1 = dim(M 1 ) > 2; and ξ 2 (ln f 2 ) is a nonzero constant, then, (M 1 , g 1 ) is isometric to the Euclidean space.
and, from Proposition 2, we obtain which, by taking the trace, gives us , and we obtain (i).
We recall that (M, g, ξ, λ, µ) is called a hyperbolic Ricci soliton [3] if the vector field ξ and the scalars λ, µ ∈ R satisfy where Ric is the Ricci curvature of (M, g).
We remark that if ξ is a Killing vector field, then the manifold is an Einstein manifold provided that dim(M) > 2, and if ξ is a 2-Killing vector field, then the manifold is a Ricci soliton.If none of these particular cases occurs, we shall call the soliton nontrivial.
Proof.From Proposition 2, we obtain that and Ric 1 = r 1 n 1 g 1 , we obtain for any X 1 , Y 1 ∈ Γ(TM 1 ); hence, we have the conclusion.
Also, we have the following corollary.
Now, we will provide necessary and sufficient conditions for a doubly warped product manifold to reduce to a direct product.Theorem 4. Let ξ i be a smooth vector field on the connected Riemannian factor manifold (M i , g i ), i = 1, 2, of the doubly warped product f 2 M 1 × f 1 M 2 , such that ξ i (ln f i )=0 for i = 1, 2. Then, ξ = ξ 1 + ξ 2 is a parallel vector field if and only if ξ i is a parallel vector field on (M i , g i ) and f i is a constant for i = 1, 2, i.e., the manifold is a direct product manifold.
For j ̸ = i, we have [6] ∇X where ∇ f denotes the gradient of a function f on the doubly warped product manifold.
After a long computation, we obtain Considering the hypotheses, we infer and we obtain the conclusion.
As a consequence, we have the following corollary.
Corollary 4.There do not exist nontrivial doubly warped products f 2 M 1 × f 1 M 2 with connected Riemannian factor manifolds admitting a parallel vector field ξ = ξ 1 + ξ 2 satisfying ∇ i ξ i = 0 and ξ i (ln f i ) = 0 for i = 1, 2. Now, using Proposition 1 and Theorem 4, we extend from warped products to doubly warped products (and use a weaker hypothesis) Shenawy and Ünal's result from Theorem 3.2 of [9].Theorem 5. Let ξ i be a smooth vector field on the compact and connected Riemannian factor manifold (M i , g i ), i = 1, 2, of the doubly warped product a parallel vector field if and only if f i is a constant for i = 1, 2, i.e., the manifold is a direct product manifold.

Proof.
From Proposition 1, we deduce that ξ i is a parallel vector field on (M i , g i ), i = 1, 2, and, considering the hypotheses, we infer from Theorem 4; hence, we have the conclusion.
Remark 1.Since the behavior with respect to the two factor manifolds of a doubly warped product is the same, all the results obtained in this section regarding one of the factors are also valid for the other one.

The Spacetime Case
Let f 2 I× f 1 M be a doubly warped spacetime, where I is a connected open real interval equipped with the metric g 0 = −dt 2 , and (M, g) is a three-dimensional Riemannian manifold.If f 1 is a constant, then the manifold is the standard static spacetime, and if f 2 is a constant, then it is the generalized Robertson-Walker spacetime.
We will consider both the Killing and 2-Killing cases, wherein some properties for the Killing case being studied are also found in [7,8] and for the 2-Killing case are found in [9].
, with u being a smooth function on I, then Proof.For any vector fields X = v d dt and Y = w d dt , we have the following: We can now conclude the following.
Proposition 5.If ξ = u d dt , with u being a smooth function on I, then, we have the following: (i) ξ is a Killing vector field on (I, g 0 ) if and only if u is a constant; (ii) ξ is a 2-Killing vector field on (I, g 0 ) if and only if Proof.From Lemma 3, we deduce that ξ is a Killing vector field on (I, g 0 ) if and only if du dt = 0, and ξ is a 2-Killing vector field on (I, g 0 ) if and only if u d 2 u dt 2 + 2 du dt 2 = 0; hence, we have the conclusion.Now, we will provide the necessary and sufficient condition for a vector field on a doubly warped spacetime to be Killing or 2-Killing.(i) ξ is a Killing vector field on the doubly warped spacetime f 2 I× f 1 M if and only if (ii) ξ is a 2-Killing vector field on the doubly warped spacetime f 2 I× f 1 M if and only if . By replacing the expressions of £ ξ g 0 and £ ξ £ ξ g 0 from Lemma 3 into Proposition 2, we consequently have If ξ is a Killing vector field, then If ξ is a 2-Killing vector field, then and we obtain the conclusion.
Example 2. According to Theorem 6 (ii), the lift of any vector field ζ ∈ Γ(TM) to the doubly warped spacetime f 2 I× f 1 M is a 2-Killing vector field.
In particular, we have the following results.
Corollary 5. Let ξ = u d dt , with u ̸ = 0 being a smooth function on I.Then, we have the following: (i) the lift of ξ is a Killing vector field on the doubly warped spacetime f 2 I× f 1 M if and only if in this case, the manifold is a standard static spacetime; (ii) the lift of ξ is a 2-Killing vector field on the doubly warped spacetime f 2 I× f 1 M if and only if (i) ξ is a Killing vector field on the doubly warped spacetime f 2 I× f 1 M if and only if (ii) ξ is a 2-Killing vector field on the doubly warped spacetime f 2 I× f 1 M if and only if Proof.It follows from Theorem 6.

Corollary 7.
Let ξ = u d dt , with u ̸ = 0 being a constant.Then, we have the following: (i) the lift of ξ is a Killing vector field on the doubly warped spacetime f 2 I× f 1 M if and only if that is, the manifold is a standard static spacetime; (ii) the lift of ξ is a 2-Killing vector field on the doubly warped spacetime f 2 I× f 1 M if and only if that is, f 2 is constant on the integral curves of ζ, and the manifold is a standard static spacetime; (ii) ξ is a 2-Killing vector field on the doubly warped spacetime f Proof.It follows from Theorem 6.
For the standard static spacetime, we deduce the following proposition.
(ii) ξ is a 2-Killing vector field on the standard static spacetime M × f I if and only if Moreover, if u is a constant, then we have the following: (i') ξ is a Killing vector field on the standard static spacetime M × f I if and only if (ii') ξ is a 2-Killing vector field on the standard static spacetime M × f I if and only if Proof.It follows from Theorem 6. (i) the lift of ξ is a Killing vector field on the standard static spacetime M × f I if and only if u is a constant; (ii) the lift of ξ is a 2-Killing vector field on the standard static spacetime M × f I if and only if Moreover, if u is a constant, then the lift of ξ is a Killing, hence, a 2-Killing vector field on the standard static spacetime.
Proof.It follows from Proposition 7.
For the generalized Robertson-Walker spacetime, we deduce the following proposition.
Moreover, if u is a constant, then the lift of ξ is a Killing or a 2-Killing vector field on the generalized Robertson-Walker spacetime I× f M if and only if that is, the manifold is a direct product.
Proof.It follows from Proposition 8.
Example 4. We consider the generalized Robertson-Walker spacetime I× f M, with f : I → R * + and f (t) := 3 √ t.Then, according to Corollary 9 (ii), the lift of the vector field ξ = c 3 √ t d dt on I, where c ∈ R * , to I× f M is a 2-Killing vector field.

Conclusions
Distinguished vector fields on a Riemannian manifold dictate some of its geometrical properties.In the present paper, we have continued the studies concerning the Killing and 2-Killing vector fields on warped product and doubly warped product manifolds [8,9], thereby bringing to light new properties of them.More precisely, we have provided a condition for a more general vector field than a 2-Killing vector field on a compact manifold to be parallel, we have established some consequences on the factor manifolds when the doubly warped product is endowed with a 2-Killing vector field, we have provided the necessary and sufficient conditions for a doubly warped product to reduce to a direct product when there exists a 2-Killing vector field on the factor manifolds, and we have shown that, under a certain assumption, a factor manifold is a Ricci or a hyperbolic Ricci soliton with a potential vector field that is the component of a Killing or of a 2-Killing vector field.Regarding physical applications, we considered the spacetime case, and, in particular, the standard static spacetime and the generalized Robertson-Walker spacetime.This study has been continued by the present authors for the multiply warped product and multiply twisted product spacetimes.

Theorem 6 .
Let ξ = u d dt + ζ, with u being a smooth function on I and ζ ∈ Γ(TM).Then, we have the following:

Proposition 7 .
If ξ = ζ + u d dt , with ζ ∈ Γ(TM) and u being a smooth function on I, then we have the following: (i) ξ is a Killing vector field on the standard static spacetime M × f I if and only if ζ

Remark 2 .Corollary 8 .
Let ξ = ζ + u d dt , with ζ ∈ Γ(TM) and u being a smooth function on I.If ξ is a Killing vector field on M × f I, then ζ is a Killing vector field on (M, g), and if ξ is 2-Killing on M × f I, then ζ is also 2-Killing on (M, g).If ξ = u d dt , with u being a smooth function on I, then we have the following:

Proposition 8 . u = 3 √ c 1 t 2 dt £ ζ g + u u d 2 f 2 dt 2 Corollary 9 .
If ξ = u d dt + ζ, with u being a smooth function on I and ζ ∈ Γ(TM), then we have the following: (i) ξ is a Killing vector field on the generalized Robertson-Walker spacetime I× f M if and only ifu = c, c ∈ R £ ζ g = −u • d(ln f 2 )g ; (ii) ξ is a 2-Killing vector field on the generalized Robertson-Walker spacetime I× f M if and only if   + c 2 , c 1 , c 2 ∈ R f 2 £ ζ £ ζ g + 2u d f It follows from Theorem 6.If ξ = u d dt, with u ̸ = 0 being a smooth function on I, then we have the following:(i) the lift of ξ is a Killing vector field on the generalized Robertson-Walker spacetime I× f M if and only ifu = c 1 , c 1 ∈ R * f = c 2 , c 2 ∈ R * + ,that is, the manifold is a direct product; (ii) the lift of ξ is a 2-Killing vector field on the generalized Robertson-Walker spacetime I× f M if and only if for any t ∈ I. Let ξ = u d dt + ζ, with u ̸ = 0 being a constant and ζ being a Killing vector field on (M, g).Then, we have the following: (i) ξ is a Killing vector field on the doubly warped spacetime f 2 I× f 1 M if and only if ζ