Arxiv:1606.08018V1 [Math.DG] 26 Jun 2016 Diinlasmtoso T Br H Aiyo Eeaie Robert Generalized of Family Spacet Robertson-Walker the Classical the Extends ﬁber

Home , Spacetime symmetries

arXiv:1606.08018v1 [math.DG] 26 Jun 2016 diinlasmtoso t br h aiyo eeaie Robert generalized of family spacet Robertson-Walker The classical the extends fiber. widely its spacetimes on assumptions additional S manifold mn hs,teeaemn uhr h tde hs symmetr these studied a who [13,14,26,29] authors see co instance many spacetimes(for studying classic are Robertson-Walker done on there collineations been those, inheritance has Among Ricci work of as extensive such geometry generalizations an the their decates, describe two in to last role help the essential collineatio collineations their these Ricci of Moreover, and vanishe because ity. quantities curvature spacetimes such Matter, on a of studied derivative tensors) fields. extensively Lie curvature vector the collineation and sense, of this matter s In as a lines. of such flow feature quantities certain fi preserve geometric which Einstein fields or the propert vector of symmetry are tensors solutions They as some exact This times. display obtain collineations tensor. Similarly, to metric [7]. relativity the tion in for used assumption widely non symmetry a been a of is existence importa The 4 field an vector played for [10–12,21,23,30]. been in references physics have and best helpful fields mathematics the is vector conservativ Conformal of spacetime to one symmetries). a insight [18] further in providing systems(see symmetries in namical and some equation of field existence Einstein The physics. c n hsc o ogtm 5 ,1,1,2,2] hsfml fspace A of family [8]. relativity This general 26]. in 25, 19, 16, models 8, [5, cosmological ( ized time of long family a important very for physics and ics akrsaeie,Rcisoliton. Ricci spacetimes, Walker k NSMERE FGNRLZDROBERTSON-WALKER GENERALIZED OF SYMMETRIES ON h td fsaeiesmere so ra neeti ohmath both in interest great of is symmetries spacetime of study The oeto-akrsaeie aebe xesvl tde nbot in studied extensively been have spacetimes Robertson-Walker 2000 e od n phrases. and words Key sa3 a is n 1) + ahmtc ujc Classification. Subject Mathematics pctmsaeotie.Fnly ic oioso genera in on are solitons fields vector Ricci conformal Finally, admitting generalied space-times on Walker obtained. symmetries are these are of spacetimes collineations existence Ricci for s and plications Robertson-Walker curvature generalized fields, vector of formal symmetries of types eral Abstract. − I iesoa imninmnfl ihcntn curvature. constant with manifold Riemannian dimensional × − f iesoa oeto-akr(R)saeiei apdproduc warped a is spacetime (GRW) Robertson-Walker dimensional M where PC-IE N APPLICATIONS AND SPACE-TIMES h ups ftepeetatcei osuyadcharacteri and study to is article present the of purpose The .K LSYE,S HNW,ADN SYIED N. AND SHENAWY, S. EL-SAYIED, K. H. iln etrfils ocrua etrfils collineat fields, vector concircular fields, vector Killing M san is 1. n nintroduction An − iesoa imninmnfl ihu any without manifold Riemannian dimensional rmr 32;Scnay5C5 53C50. 53C25, Secondary 53C21; Primary 1 − tde.Mn im- Many studied. Robertson-Walker vestigated. aetms Con- pace-times. iesoa spacetime dimensional ie Robertson- lized drfrne therein). references nd imes pacetime(physical rva conformal trivial ogterlocal their long eea relativ- general trl nboth in role nt e nclassical on ies lnain and llineations pctms In spacetimes. lspacetimes. al esev- ze os Robertson- ions, I upinhas sumption shv been have ns ndirection in s mathemat- h aso dy- of laws e × mtc and ematics e fspace- of ies son-Walker f ie sa is times l equa- eld S general- k solving where t 2 H.K.EL-SAYIED,S.SHENAWY,ANDN.SYIED

However, as far as we know, there is no study on generalized Robertson-Walker spacetimes investigating neither conformal vector fields nor different types of collineations up to this paper in which we intend to fill this gab by providing many answers of the following questions: Under what conditions is a vector field on I ×f M a conformal vector field or a certain collineation? What does the fibre M inherit from a generalized Robertson-Walker spacetime I ×f M admitting a collineation or a conformal vector field? The main purpose of the current article is to study and explore both conformal vector fields and collineations on generalized Robertson- Walker spacetimes. We gave a special attention to two disjoint classes of conformal vector fields, namely, Killing vector fields of constant length and concircular vector fields. Finally, Ricci solitons on generalized Robertson-Walker spacetime admitting either Killing or concircular vector fields are considered. This article is organized as follows. The next section presents some connection and curvature related formulas of generalized Robertson-Walker spacetimes that are needed. Then basic definitions of conformal vector fields and collineations are considered. Most of these results are well-known and so proofs are omitted. Section 3 presents a study of conformal vector fields and collineations on generalized Robertson-Walker spacetimes. Finally, in section 4, we study Ricci solitons on generalized Robertson-Walker spacetimes admitting either Killing or concircular vector fields.

2. Preliminaries

First, we want to fix some definitions and concepts. The warped product M1 ×f M2 of two Riemannian manifolds (M1,g1) and (M2,g2) is the product manifold M1 × M2 equipped with the metric tensor ∗ 2 ∗ (2.1) g = π1 (g1) ⊕ (f ◦ π1) π2 (g2) with a smooth function f : M1 → (0, ∞) where πi : M1 ×f M2 → Mi is the natural projection map of the Cartesian product M1 × M2 onto Mi, i =1, 2 and ∗ denotes the pull-back operator on tensors. The factors (M1,g1) and (M2,g2) are usually called the base manifold and fiber manifold respectively while f is called as the warping function [6, 24]. In particular, if f = 1, then M1 ×1 M2 = M1 × M2 is the usual Cartesian product manifold. It is clear that the submanifold M1 ×{q} is isometric to M1 for every q ∈ M2. Moreover, {p}× M2 is homothetic to M2 for every p ∈ M1. Throughout this article we use the same notation for a vector field and for its lift to the product manifold. Generalized Robertson-Walker spacetimes are well-known examples of warped product spaces. A generalized Robertson-Walker spacetime is the warped product M¯ = I ×f M with fiber (M,g) any n−dimensional Riemannian manifold and base an open connected subinterval I, −dt2 of the real line R endowed with the metric

(2.2) g ¯ = −dt2 ⊕ f 2g where dt2 is the Euclidean metric on I. The family of generalized Robertson- Walker spacetimes M¯ = I ×f M widely extends the classical Robertson-Walker spacetimes I ×f Sk where M = Sk is a 3−dimensional Riemannian manifold of constant sectional curvature k. The warping function f (t) is sometimes called the scale factor. This factor tells us how big is the space-like slice at sometime t. SYMMETRIES OF GENERALIZED ROBERTSON-WALKER SPACE-TIMES 3

For example the (n + 1) −dimensional spherically symmetric Friedmann–Robertson– Walker metric is given by 2 2 2 2 dr 2 2 ds = −dt + f (t) + r dΩ − 1 − kr2 n 1 2 2 2 2 2 where the spherical sector is given by dΩn−1 = dθ1 +sin θ1dθ2 +...+sin θn−2dθn−1 [17]. The Einstein ﬁeld equation for (n + 1) −dimensional spacetime is given by r Ric − g = k T 2 n where kn is the multidimensional gravitational constant [17]. The following results are special cases of similar results on warped product manifolds [6,24,27,28]. Let M¯ = I ×f M be a generalized Robertson-Walker spacetime equipped with the metric tensorg ¯ = −dt2 ⊕ f 2g. Then the Levi-Civita connection D¯ on M¯ is

¯ ¯ ¯ f˙ D t ∂ =0 D t X = D ∂ = X (2.3) ∂ t ∂ X t f D¯X Y = DX Y − ffg˙ (X, Y ) ∂t for any vector ﬁelds X, Y ∈ X(M) where D is the Levi-Civita connection on M and dots indicate diﬀerentiation with respect to t. The curvature tensor R¯ of M¯ is given by

R¯ (∂t, ∂t) ∂t = R¯ (∂t, ∂t) X = R¯ (X, Y ) ∂t =0 ¯ f¨ ¯ ¨ (2.4) R (X, ∂t) ∂t = − f X R (∂t,X) Y = ffg (X, Y ) ∂t R¯ (X, Y ) Z = R (X, Y ) Z + f˙2 [g (X,Z) Y − g (Y,Z) X] where R is curvature tensor of M. Finally, the Ricci curvature tensor Ric¯ on M¯ is ¨ Ric¯ (∂ , ∂ )= nf Ric¯ (X, ∂ )=0 (2.5) t t f t Ric¯ (X, Y )= Ric(X, Y ) − f ⋄g (X, Y ) where f ⋄ = −ff¨− (n − 1) f˙2. Now, we will recall the definitions of conformal vector fields and some collineations on an arbitrary pseudo-Riemannian manifold. Let (M,g,D) be a pseudo-Riemannian manifold with metric g where D is the Levi-Civita connection on M. A vector field ζ ∈ X (M) is called a Killing vector field if

Lζ g =0 It is easy to show that

(2.6) (Lζ g) (X, Y )= g(DX ζ, Y )+ g(X,DY ζ) for any X, Y ∈ X (M). By using symmetry of this equation, we get that ζ is a Killing vector ﬁeld if and only if

g(DX ζ,X)=0 for any vector field X ∈ X (M). A pseudo-Riemannian n−dimensional manifold has at most n (n + 1) /2 independent Killing vector fields. The symmetry generated by Killing vector fields is called isometry. A pseudo-Riemannian manifold which admits a maximum such symmetry has a constant sectional curvature. 4 H.K.EL-SAYIED,S.SHENAWY,ANDN.SYIED

A vector ﬁeld ζ is called a conformal vector ﬁeld if

Lζ g = ρg for some smooth function ρ : M → R. ζ is called homothetic if ρ is constant and Killing if ρ = 0. Also, ζ is called a concircular vector ﬁeld if

DX ζ = ρX for any vector field X ∈ X (M) [9]. Let ζ ∈ X (M) be a concircular vector field on M, then Lζ g(X, Y )=2ρg(X, Y ) i.e. ζ is a conformal vector field with conformal factor 2ρ. A concircular vector field is a parallel vector field if ρ = 0. Moreover, for a constant factor ρ, we have R (X, Y ) ζ =0 A Riemannian manifold M is said to admit a curvature collineation if the Lie derivative of the curvature tensor R vanishes in the direction of a vector field ζ ∈ X (M), that is Lζ R=0 where R is the Riemann curvature tensor. Likewise, M is said to admit a Ricci curvature collineation if there is a vector field ζ ∈ X (M) such that

Lζ Ric = 0 where Ric is the Ricci curvature tensor. It is clear that every Killing vector ﬁeld is a curvature collineation and every curvature collineation is a Ricci curvature collineation. The converse is not generally true. Finally, a spacetime M is said to admit a matter collineation if there is a vector ﬁeld ζ ∈ X (M) such that

Lζ T=0 where T is the energy-momentum tensor. The Einstein’s field equation (with cosmological constant) is given by r Ric − g = κT − λg 2 where r is the scalar curvature and λ is the cosmological constant. Suppose that ζ is a Killing vector field, then Lζ T =0 i.e.ζ is a matter collineation field. Note that a matter collineation need not be a Killing vector field.

3. Symmetries of generalized Robertson-Walker spacetimes In this section, we investigate several types of symmetries of generalized Robertson- Walker spacetimes. Necessary and suﬃcient conditions are derived for a generalized Robertson-Walker spacetime to admit a conformal vector ﬁeld or a collineation. We begin this section with the following well-known proposition [28]. Let M¯ = I ×f M be a generalized Robertson-Walker spacetime equipped with the metric tensorg ¯ = −dt2 ⊕ f 2g.

Proposition 1. Suppose that h∂t, x∂t, y∂t ∈ X(I) and ζ,X,Y ∈ X(M), then ¯ ¯ ¯ ˙ 2 ˙ (3.1) Lζ¯g¯ X, Y = −2hxy + f (Lζ g) (X, Y )+2hffg (X, Y ) ¯ where ζ = h∂t + ζ, X¯ = x∂ t + X and Y¯ = y∂t + Y . SYMMETRIES OF GENERALIZED ROBERTSON-WALKER SPACE-TIMES 5

An important consequence of this proposition is the following.

Theorem 1. Let M¯ = I ×f M be a generalized Robertson-Walker spacetime equipped with the metric tensor g¯ = −dt2 ⊕ f 2g. Then,

(1) a time-like vector field ζ¯ = h∂t ∈ X(M¯ ) is a conformal vector field on M¯ if and only if h = af where a is constant. Moreover, the conformal factor is 2h.˙ (2) a space like ζ¯ = ζ ∈ X(M¯ ) is a Killing vector field on M¯ if and only if ζ ∈ X(M) is Killing vector field on M. (3) a space like ζ¯ = ζ ∈ X(M¯ ) is a Matter collineation on M¯ if ζ ∈ X(M) is a Killing vector field on M. Proof. Suppose that h = af. If h = 0, then a = 0 and the result is obvious. Now, we assume that h 6= 0. Using equation (3.1) from the above proposition we get that ¯ ¯ ¯ ˙ 2 ˙ Lζ¯g¯ X, Y = −2hxy + f (Lζ g) (X, Y )+2hffg (X, Y ) = 2h˙ g¯ X,¯ Y¯ i.e.ζ¯ = h∂t is a conformal vector field with conformal factor ρ = 2h˙ . Conversely, suppose that ζ¯ = h∂t ∈ X(M¯ ) is a conformal vector field with factor ρ, then ¯ ¯ ¯ ¯ ¯ Lζ¯g¯ X, Y = ρg¯ X, Y for any vector fields X,¯ Y¯ ∈ X(M¯). Now, by equation (3.1), we get that −ρxy + ρf 2g (X, Y )= −2hxy˙ +2hffg˙ (X, Y ) Let X = Y = 0, we get that ρ = 2h˙ . Now, let us put x = y = 0. This yields ρf =2hf˙. These two differential equations imply that h =0 or hf˙ = hf˙ and so h = af where a is constant. The second and third assertions are direct from equation (3.1) when h = 0. It is well-known that if X and Y are conformal vector fields on M¯ with X = µY for some smooth function µ, then µ is constant. Thus the above result represents a good characterization to both time-like conformal vector fields and space-like Killing vector fields on M¯ .

Theorem 2. A vector ﬁeld ζ¯ = h∂t + ζ on M¯ = I ×f M is conformal if and only ˙ hf˙ if ζ is a conformal vector ﬁeld on M with factor ρ = 2 h − f . Moreover, the conformal factor of ζ¯ is 2h˙ .

Proof. Let ζ¯ = h∂t + ζ be a conformal vector field on M¯ = I ×f M with factorρ ¯, then 2 2 −ρxy¯ +ρf ¯ g (X, Y )= −2hxy˙ + f (Lζ g) (X, Y )+2hffg˙ (X, Y ) for any vector fields X¯ = x∂t + X and Y¯ = y∂t + Y . This equation yieldsρ ¯ =2h˙ and hence 2hf˙ (Lζ g) (X, Y )= ρ¯ − g (X, Y ) f ! ˙ 2hf˙ i.e. ζ is a conformal vector field on M with conformal factor ρ = 2h − f . The converse is direct. 6 H.K.EL-SAYIED,S.SHENAWY,ANDN.SYIED

These two results reveal that the dimension of the conformal algebra C M¯ of M¯ is at least r+1 where r is the dimension of C (M). Suppose that M is maximally symmetric, then n2 +3n +4 (n +2)(n + 3) ≤ dim C M¯ ≤ 2 2

Let ζ¯ = h∂t + ζ be a Killing vector field on a generalized Robertson-Walker spacetime M¯ and let r = (1/2)¯g ζ,¯ ζ¯ . Then ¯ ¯ ¯ ¯ ¯ g¯ ∇r, X = −g¯ Dζ¯ζ, X ¯ X ¯ ¯ ¯ ¯ for any vector field X ∈ M i.e. ∇r = −Dζ¯ζ. Thus the Hessian definition with some computations yield ¯ r ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ H X, X = −R ζ, X, ζ, X +¯g DX¯ ζ, DX¯ ζ Taking the trace of both sides imply ∆¯ r = −Ric¯ ζ,¯ ζ¯ +¯g D¯ζ,¯ D¯ζ¯ Assume that f˙ = h˙ = 0. Then ∆¯ r = −Ric (ζ, ζ)+ f 2g (Dζ,Dζ)

Theorem 3. Let ζ¯ = h∂t + ζ be a Killing vector ﬁeld on a generalized Robertson- ¯ 1 ¯ ¯ Walker spacetime M and let r = 2 g¯ ζ, ζ . Then ∆¯ r = −Ric¯ ζ,¯ ζ¯ +¯g D¯ζ,¯ D¯ζ¯ Moreover, if f˙ = h˙ =0, then ∆¯ r = −Ric (ζ, ζ)+ f 2g (Dζ,Dζ) The following result is an analogue of a similar result in Riemannian manifolds.

Theorem 4. A Killing vector field ζ¯ = h∂t + ζ on a generalized Robertson-Walker 2 2 spacetime M¯ = I ×f M equipped with the metric tensor g¯ = −dt ⊕ f g has a constant length if and only if ζ satisfies 2hf˙ (3.2) D ζ + ζ =0 and hh˙ − ffg˙ (ζ, ζ)=0 ζ f Proof. Suppose that ζ¯ is a Killing vector field. Then ¯ ¯ ¯ ¯ ¯ ¯ g¯ DX¯ ζ, Y +¯g X, DY¯ ζ =0 for any vector fields X,¯ Y¯ ∈X M¯ . Let X¯= ζ¯ in the above equation, then ¯ ¯ ¯ ¯ ¯ ¯ g¯ Dζ¯ζ, Y = −g¯ ζ, DY¯ ζ ¯ ¯ But Equations (2.3) and (3.2) yield Dζ¯ζ =0 and so ¯ ¯ ¯ g¯ ζ, DY¯ ζ =0 i.e.g ¯ ζ,¯ ζ¯ is constant and so ζ¯ has a constant length. Conversely, if ζ¯ has constant length, then ¯ ¯ ¯ ¯ ¯ ¯ g¯ ζ, DY¯ ζ = −g¯ Dζ¯ζ, Y =0 ¯ X ¯ ¯ ¯ for any vector field Y ∈ M i.e.Dζ¯ζ = 0. Now, we can use Equation (2.3) to get the result. SYMMETRIES OF GENERALIZED ROBERTSON-WALKER SPACE-TIMES 7

Corollary 1. Let ζ¯ = h∂t + ζ be a Killing vector ﬁeld of constant length on a generalized Robertson-Walker spacetime M¯ = I ×f M equipped with the metric tensor g¯ = −dt2 ⊕ f 2g. Then the ﬂow lines of ζ are geodesics on M if and only if f is constant or h =0.

Theorem 5. Let ζ¯ = h∂t + ζ be a Killing vector field on a generalized Robertson- 2 2 Walker spacetime M¯ = I ×f M equipped with the metric tensor g¯ = −dt ⊕ f g and α(s), s ∈ R, be a geodesic on (M,¯ g¯) with tangent vector field X¯ = x∂t + X. Assume that f˙ = 0. Then h is constant and ζ ∈ X (M) is a Jacobi vector field along the integral curves of X.

Theorem 6. Let ζ¯ = h∂t + ζ be a conformal vector ﬁeld along a curve α(s) with unit tangent vector V¯ = v∂t + V on a generalized Robertson-Walker spacetime 2 2 M¯ = I ×f M equipped with the metric tensor g¯ = −dt ⊕ f g. Then the conformal factor ρ of ζ¯ is given by

2 2 2 ρ =2 v h˙ + hff˙ kV k + f g (DV ζ, V ) h i Proof. Let ζ¯ be a conformal vector ﬁeld with conformal factor ρ. Then ¯ ¯ ¯ ¯ ¯ Lζ¯g¯ (X, Y )= ρg¯ X, Y Let us put X¯ = Y¯ = V¯ , then the conformal factor ρ is given by ¯ ¯ ¯ ρ = 2¯g(DV¯ ζ, V ) Thus ¯ ¯ ¯ ρ = 2¯g(DV¯ ζ, V ) vf˙ hf˙ = 2g vh∂˙ t + ζ + V + DV ζ − ffg˙ (ζ, V )∂t, V f f ! 2 2 2 = 2 v h˙ + hff˙ kV k + f g (DV ζ, V ) h i

In the sequential, we study the structure of concircular vector ﬁelds on generalized Robertson-Walker spacetimes.

Theorem 7. Let ζ¯ = h∂t + ζ be a vector field on a generalized Robertson-Walker 2 2 spacetime M¯ = I ×f M equipped with the metric tensor g¯ = −dt ⊕ f g. Then ζ¯ is a concircular vector field on M¯ if and only if one of the following conditions holds: (1) h = af and ζ =0, or (2) ζ is a concircular vector field on M with factor ρ = h˙ and f is constant.

Proof. Let X¯ = x∂t + X be any vector ﬁeld on M¯ . Then for any scalar function ρ we get that xf˙ hf˙ D¯ ¯ ζ¯ − ρX¯ = xh˙ − ffg˙ (X, ζ) − xρ ∂ + ζ + X + D ζ − ρX X t f f X Suppose that ζ¯ is concircular on M¯ , then xh˙ − ffg˙ (X, ζ) − xρ = 0 xf˙ hf˙ ζ + X + D ζ − ρX = 0 f f X 8 H.K.EL-SAYIED,S.SHENAWY,ANDN.SYIED

If f˙ does not vanish, then g (X, ζ) = 0 for all X i.e. ζ = 0. Thus x h˙ − ρ = 0 hf˙ − ρ X = 0 f ! ˙ hf˙ and therefore h = f i.e. h = af for some constant. However, if f˙ = 0, then we get that x h˙ − ρ = 0

DXζ − ρX = 0 i.e. ζ is a concircular vector ﬁeld on M with factor ρ = h˙ . Conversely, we have ˙ ˙ ¯ ¯ ˙ ˙ f f DX¯ ζ = xh − ffg (X, ζ) ∂t + DX ζ + x ζ + h X f ! f ! h i ¯ ¯ ˙ ¯ Finally, any one of the above conditions implies that DX¯ ζ = hX and consequently ζ¯ is concircular on M¯ .

Theorem 8. Let ζ¯ = h∂t+ζ be a concircular vector field on a generalized Robertson- 2 2 Walker spacetime M¯ = I ×f M equipped with the metric tensor g¯ = −dt ⊕ f g. Then Ric (ζ, ζ)=0 and κ (X, ζ)=0 for any vector field X ∈ X(M). Proof. Using the above theorem we get that ζ is zero or concircular with factor h˙ . If ζ = 0, then Ric(ζ, ζ) = 0 and κ (X, ζ) = 0. Now suppose that ζ is concircular on M i.e. DX ζ = hX˙ for any vector field X ∈ X(M). Let e ∈ X(M) be a unit vector field, then

R (ζ,e,ζ,e) = g −Dζ Deζ + DeDζ ζ + D[ζ,e]ζ,e

= g −Dζ he˙ + De hζ˙ + h˙ [ζ,e] ,e = hg˙ (−Dζ e + Deζ + [ζ,e] ,e) = 0 Thus Ric(ζ, ζ) = 0 and κ (X, ζ) = 0. Now, let us turn to curvature collineations. First, we present the following important proposition.

Proposition 2. Let ζ¯ = h∂t +ζ be a vector ﬁeld on a generalized Robertson-Walker 2 2 spacetime M¯ = I ×f M equipped with the metric tensor g¯ = −dt ⊕ f g. Then ¯ ¯ ¯ ¯ Lh∂t R (∂t, ∂t, ∂t, ∂t) = Lh∂t R (X, ∂t, ∂t, ∂t)=0 ¯ ¯ ¯ ¯ Lh∂t R (X, Y, ∂t, ∂t) = Lh∂t R (X, Y, Z, ∂t)=0 ¯ ¯ Lh∂t R (X,Y,Z,W ) = 0 ... ¯ ¯ ˙ ¨ ˙ ¨ Lh∂t R (Y, ∂t, ∂t, W )= − hff + hf f +2hff g (Y, W ) h i SYMMETRIES OF GENERALIZED ROBERTSON-WALKER SPACE-TIMES 9

L¯ζ R¯ (∂t, ∂t, ∂t, ∂t) = L¯ζ R¯ (X, ∂t, ∂t, ∂t)=0 ¯ ¯ ¯ ¯ Lζ R (X, Y, ∂t, ∂t) = Lζ R (X, Y, Z, ∂t)=0

L¯ζ R¯ (Y, ∂t, ∂t, W )= −ff¨(Lζ g) (Y, W )

2 L¯ζ R¯ (X,Y,Z,W ) = f (Lζ R) (X,Y,Z,W ) 2 ˙2 +f f [(Lζ g) (X,Z) g (Y, W )+ g (X,Z) (Lζ g) (Y, W )] 2 2 −f f˙ [(Lζ g) (Y,Z) g (X, W )+ g (Y,Z) (Lζ g) (X, W )] where X,Y,Z,W ∈ X(M). The following theorem represents a characterization of curvature collineations on generalized Robertson-Walker spacetimes.

Theorem 9. Let M¯ = I ×f M be a generalized Robertson-Walker spacetime equipped with the metric tensor g¯ = −dt2 ⊕ f 2g. Then, ... (1) ζ¯ = h∂t is a curvature collineation on M¯ if and only if hf˙f¨+hf f +2hf˙ f¨ = 0. (2) ζ¯ = ζ is a curvature collineation on M¯ if ζ is a Killing vector ﬁeld on M.

Theorem 10. Let ζ¯ = h∂t+ζ be a curvature collineation on a generalized Robertson- 2 2 Walker spacetime M¯ = I ×f M equipped with the metric tensor g¯ = −dt ⊕ f g. Assume that ∆f 6=0. Then ζ is a Killing vector ﬁeld on M. Now we will do the same job for Ricci collineations on generalized Robertson- Walker spacetimes

Proposition 3. Let ζ¯ = h∂t + ζ ∈ X M¯ , then nxy ...... L¯¯Ric¯ X,¯ Y¯ = hf f − hf˙f¨+2 hf˙ f¨ + h f f + (2n − 1) f˙f¨ g (X, Y ) ζ f 2 ⋄ + (Lζ Ric) (X, Y ) − f (Lζ g) (X, Y ) for any X, Y ∈ X(M) The following results are immediate consequences of the above proposition.

Theorem 11. Let ζ¯ = h∂t ∈ X M¯ be a vector ﬁeld on a generalized Robertson- Walker spacetime M¯ = I × M. Assume that Hf = 0. Then, ζ¯ is a Ricci f collineation on M¯ . Now, we consider the converse of the above result.

Theorem 12. Let ζ¯ = h∂t ∈ X M¯ be a Ricci collineation on a generalized Robertson-Walker spacetime M¯ = I × M. Then one of the following conditions f holds (1) Hf =0, or (2) h = af n for some constant a. Proof. Suppose that ζ¯ is a Ricci collineation on M¯ . Then nxy ... L¯¯Ric¯ (x∂ , y∂ ) = hf f − hf˙f¨+2hf˙ f¨ =0 ζ t t f 2 ... ¯ ¯ ˙ ¨ Lζ¯Ric (X, Y ) = h f f + (2n − 1) ff g (X, Y )=0 10 H.K.EL-SAYIED,S.SHENAWY,ANDN.SYIED

The second equation yields ... f f = − (2n − 1) f˙f¨ and so the first equation implies 2f¨ nhf˙ − hf˙ =0 which proves the result. h i Theorem 13. Let ζ¯ = ζ ∈ X M¯ be a vector field on a generalized Robertson- Walker spacetime M¯ = I× M. Assume that f ⋄ =0. Then, ζ¯ is a Ricci collineation f on M¯ if and only if ζ is a Ricci collineation on M. A vector field ζ ∈ X (M) is called a conformal Ricci collineation if

(Lζ Ric) (X, Y )= ρg (X, Y ) for some smooth function ρ on M.

Theorem 14. Let ζ¯ = h∂t + ζ ∈ X M¯ be a Ricci collineation on a generalized Robertson-Walker spacetime M¯ = I× M. Then, ζ is a conformal Ricci collineation f on M if and only if ζ is a conformal vector ﬁeld on M.

4. Ricci Soliton A smooth vector field ζ on a Riemannian manifold (M,g) is said to define a Ricci soliton (M,g,ζ,λ) if it satisfies the soliton equation 1 (4.1) L g + Ric = λg 2 ζ where Lζ is the Lie-derivative with respect to ζ, Ric is the Ricci tensor and λ is a constant. If ζ = gradu, for a smooth function u on M, the Ricci soliton (M,g,ζ,λ) = (M,g,u,λ) is called a gradient Ricci soliton and the function u is called the potential function. The study of Ricci solitons was first introduced by Hamilton as fixed or stationary points of the Ricci flow in the space of the metrics on M modulo diffeomorphism and scaling. Gradient Ricci solitons are natural generalizations of Einstein manifolds [1, 2, 4, 15, 20, 22]. Let us take the Lie derivative of both sides of Equation (4.1) in direction of ζ, then we have 1 L L g + L Ric = λL g 2 ζ ζ ζ ζ A vector field ζ is called 2−Killing if Lζ Lζ g = 0. Thus the above equation reveals the following result. Proposition 4. Let (M,g,ζ,λ) be a Ricci soliton where ζ is a 2−Killing vector field. Then, (1) ζ is Killing if and only if (M,g) is Einstein. Moreover, the Einstein factor is λ. (2) ζ is Killing if and only if ζ is a Ricci collineation. Now, we consider a Ricci soliton structure on a generalized Robertson-Walker spacetime.

Theorem 15. Let M,¯ g,¯ ζ,¯ λ be a Ricci soliton where M¯ = I×f M is a generalized Robertson-Walker spacetime and ζ¯ = h∂ + ζ ∈ X M¯ . Then t SYMMETRIES OF GENERALIZED ROBERTSON-WALKER SPACE-TIMES 11

f¨ (1) h∂t is conformal on I with factor 2 λ + n f , and (2) M,g,f 2ζ,λf 2 + f ⋄ − hff˙ is a Ricci soliton whenever λf 2 + f ⋄ − hff˙ is constant. Proof. Let M,¯ g,¯ ζ,¯ λ be a Ricci soliton, then 1 L¯g¯ X,¯ Y¯ + Ric¯ X,¯ Y¯ = λg¯ X,¯ Y¯ 2 ζ where X¯ = x∂t + X and Y¯ = y∂t + Y are vector ﬁelds on M¯ . Let X = Y = 0, then 1 L¯g¯ (x∂ , y∂ )+ Ric¯ (x∂ , y∂ ) = λg¯ (x∂ , y∂ ) 2 ζ t t t t t t 1 I I n f L g (x∂ , y∂ ) + Ric (x∂ , y∂ ) − H (x∂ , y∂ ) = λg (x∂ , y∂ ) 2 h∂t I t t t t f t t I t t 1 n LI g (x∂ , y∂ ) = λ + f¨ g (x∂ , y∂ ) 2 h∂t I t t f I t t f¨ Thus, h∂t is a conformal vector ﬁeld on I with factor 2 λ + n f . Now, let x = y = 0, then

1 ⋄ f 2 (L g) (X, Y )+2hffg˙ (X, Y ) + Ric (X, Y ) − f g (X, Y )= λf 2g (X, Y ) 2 ζ where f ⋄ = −ff¨− (n − 1) f˙2. Simply, we may rewrite it as follows,

1 ⋄ f 2 (L g) (X, Y ) + Ric (X, Y )= f − hff˙ + λf 2 g (X, Y ) 2 ζ Thus M,g,f 2ζ,µ is a Ricci soliton where µ = λf 2 + f ⋄ − hff˙. Theorem 16. Let M,¯ g,¯ ζ,¯ λ be a Ricci soliton where M = I×f M is a generalized Robertson-Walker spacetime and ζ¯ = h∂ + ζ ∈ X M¯ be a conformal vector ﬁeld t on M¯ . Then (M,g) is an Einstein manifold with factor µ = − (n + 1) ff¨+ (n − 1) f˙2 h i nf¨ Moreover, the conformal factor is λ + f .

Proof. Let M,¯ g,¯ ζ,¯ λ be a Ricci soliton where M = I ×f M is a generalized Robertson-Walker spacetime and ζ¯ = h∂ + ζ ∈ X M¯ be a conformal vector ﬁeld t on M. Then Ric¯ X,¯ Y¯ = (λ − ρ)¯g X,¯ Y¯ Then n ⋄ RicI (x∂ , y∂ ) − Hf (x∂ , y∂ ) + Ric (X, Y ) − f g (X, Y ) t t f t t 2 = (λ − ρ) gI (x∂t, y∂t)+ f g (X, Y ) Let X = Y = 0, then

Ric¯ (x∂t, y∂t) = (λ − ρ)¯g (x∂t, y∂t) 12 H.K.EL-SAYIED,S.SHENAWY,ANDN.SYIED

Using Proposition (2.5), we get that n RicI (x∂ , y∂ ) − Hf (x∂ , y∂ ) = (λ − ρ) g (x∂ , y∂ ) t t f t t I t t n − fg¨ (x∂ , y∂ ) = (λ − ρ) g (x∂ , y∂ ) f I t t I t t Thus nf¨ (4.2) λ − ρ = − f Now, we let x = y = 0, then Ric¯ (X, Y ) = (λ − ρ)¯g (X, Y ) ⋄ Ric (X, Y ) − f g (X, Y ) = (λ − ρ) f 2g (X, Y ) ⋄ Ric (X, Y ) = (λ − ρ) f 2 + f g (X, Y ) where ⋄ (4.3) f = −ff¨− (n − 1) f˙2 By using equations (4.2) and (4.3), we get that Ric (X, Y )= − (n + 1) ff¨+ (n − 1) f˙2 g (X, Y ) h i Then (M,g) is an Einstein manifold with factor µ = − (n + 1) ff¨+ (n − 1) f˙2 . h i

Corollary 2. Let M,¯ g,¯ ζ,¯ λ be a Ricci soliton where M¯ = I ×f M is a generalized Robertson-Walker spacetime and ζ¯ = h∂ + ζ ∈ X M¯ be a conformal vector field t on M¯ . Then (M,g) is Ricci flat if f is constant. Corollary 3. Let M,¯ g,¯ ζ,¯ λ be a Ricci soliton where M¯ = I ×f M is a generalized Robertson-Walker spacetime and ζ¯ = h∂ + ζ ∈ X M¯ be a Killing vector field on t ¯ nf¨ M. Then λ = − f .

Theorem 17. Let M,¯ g,¯ ζ,¯ λ be a Ricci soliton where M¯ = I×f M is a generalized Robertson-Walker spacetime and ζ¯ = h∂ + ζ ∈ X M¯ . Assume that Hf = 0 and t (M,g) is Einstein with factor − (n − 1) f˙2. Then ζ¯ is conformal with factor 2λ. Proof. Let M,¯ g,¯ ζ,¯ λ be a Ricci soliton where M¯ = I ×f M is a generalized Robertson-Walker spacetime and ζ¯ = h∂ + ζ ∈ X M¯ . Then t 1 L¯g¯ X,¯ Y¯ + Ric¯ X,¯ Y¯ = λg¯ X,¯ Y¯ 2 ζ for any vector ﬁelds X,¯ Y¯ ∈X M¯ . Equation (2.5) implies that

Ric¯ X,¯ Y¯ = Ric¯ (x∂ t, y∂t)+ Ric¯ (X, Y ) n f ⋄ = − H (x∂t, y∂t) + Ric (X, Y ) − f g (X, Y ) f ⋄ = Ric (X, Y ) − f g (X, Y ) = Ric (X, Y ) + (n − 1) f˙2g (X, Y )=0 Thus ¯ ¯ ¯ ¯ Lζ¯g¯ X, Y =2λg¯ X, Y SYMMETRIES OF GENERALIZED ROBERTSON-WALKER SPACE-TIMES 13 i.e. ζ¯ is a conformal vector ﬁeld with factor 2λ.

Theorem 18. Let M,¯ g,¯ ζ,¯ λ be a Ricci soliton where M¯ = I×f M is a generalized Robertson-Walker spacetime and ζ¯ = h∂ + ζ ∈ X M¯ be a concircular vector field t ¨ ˙2 on M with factor one. Then (M,g) is Ricci flat if − (n + 1) ff + (n − 1) f is constant. h i Proof. A concircular vector field is conformal, and so the above theorem implies that (4.4) Ric (X, Y )= − (n + 1) ff¨+ (n − 1) f˙2 g (X, Y ) h i for any vector fields X,¯ Y¯ ∈ X M¯ . Since ζ¯ is concircular, Theorems (7) and (8) yield Ric (ζ, ζ)=0 Therefore, for a constant factor µ = − (n + 1) ff¨+ (n − 1) f˙2 we have h i Ric (X, Y ) = µg (X, Y ) Ric (ζ, ζ) = 0 µ = 0 i.e. (M,g) is Ricci flat.

Theorem 19. Let ζ¯ = h∂t+ζ ∈ X M¯ be a vector field on a generalized Robertson- Walker spacetime M = I × M Then M,¯ g,¯ ζ,¯ λ is a Ricci soliton if f (1) ζ is a conformal vector field with conformal factor 2ρ, (2) h∂t is a conformal vector field with conformal factor 2σ, (3) (M,g) is Einstein with factor µ, and (4) (σ − ρ) f 2 = µ + hff˙ + (n + 1) ff¨+ (n − 1) f˙2 nf¨ Moreover, λ = σ − f .

Proof. Let ζ¯ = h∂t + ζ ∈ X M¯ , then

1 ¯ ¯ 1 2 ˙ L¯g¯ X, Y = (L t g) (x∂ , y∂ )+ f (L g) (X, Y )+2hffg(X, Y ) 2 ζ 2 h∂ t t ζ and n ⋄ Ric¯ X,¯ Y¯ = Ric (X, Y ) − Hf (x∂ , y∂ ) − f g (X, Y ) f t t

nf¨ ⋄ = Ric (X, Y ) − g (x∂ , y∂ ) − f g (X, Y ) f I t t

Since ζ is a conformal vector ﬁeld with conformal factor 2ρ and h∂t is a conformal vector ﬁeld with conformal factor 2σ,

1 ¯ ¯ 1 2 ˙ L¯g¯ X, Y = (L t g) (x∂ , y∂ )+ f (L g) (X, Y )+2hffg(X, Y ) 2 ζ 2 h∂ t t ζ 2 = σgI (x∂t, y∂t)+ ρf g(X, Y )+ hffg˙ (X, Y ) 2 = σgI (x∂t, y∂t)+ ρf + hff˙ g(X, Y ) 14 H.K.EL-SAYIED,S.SHENAWY,ANDN.SYIED and

nf¨ ⋄ Ric¯ X,¯ Y¯ = µg (X, Y ) − g (x∂ , y∂ ) − f g (X, Y ) f I t t

nf¨ ⋄ = − g (x∂ , y∂ ) + (µ − f ) g (X, Y ) f I t t where f ⋄ = −ff¨− (n − 1) f˙2. Thus

1 L¯g¯ X,¯ Y¯ + Ric¯ X,¯ Y¯ 2 ζ ¨ nf 2 ⋄ = σ − gI (x∂t, y∂t)+ ρf + hff˙ + µ − f g(X, Y ) f ! ¨ ˙ ⋄ nf 2 hf µ − f = σ − gI (x∂t, y∂t)+ f ρ + + 2 g(X, Y ) f ! f f ! The last condition implies that nf¨ hf˙ µ − f ⋄ σ − = ρ + + = λ f f f 2 and so

1 2 L¯g¯ X,¯ Y¯ + Ric¯ X,¯ Y¯ = λ g (x∂ , y∂ )+ f g(X, Y ) 2 ζ I t t = λg¯ X,¯ Y¯ and the proof is complete.

References

[1] A. Barros and E. Ribeiro Jr., Some characterizations for compact almost Ricci solitons, Proc. Amer. Math. Soc. 140(2012), 1033-1040. [2] A. Barros, JoséN. Gomes, E. Ribeiro Jr. A note on rigidity of the almost Ricci soliton, Archiv der Mathematik, 100(2013), no. 5, 481-490 [3] V. N. Berestovskii, Yu. G. Nikonorov, Killing vector fields of constant length on Riemannian manifolds, Siberian Mathematical Journal, 49(2008), Issue 3 , pp 395-407. [4] Jacob Bernstein and Thomas Mettler, Two-Dimensional Gradient Ricci Solitons Revisited, Int Math Res Not, 2015(2015), no. 1, Pp. 78-98 [5] A. L. Besse, Einstein Manifolds, Classics in Mathematics, Springer-Verlag, Berlin, 2008. [6] R. L. Bishop and B. O’Neill, Manifolds of negative curvature, Trans. Amer. Math. Soc. 145 (1969), 1-49. [7] M. Caballero, A. Romero and R. M. Rubio, Constant Mean Curvature Spacelike Hypersur- faces in Lorentzian Manifolds with a Timelike Gradient Conformal Vector Field, Classical and Quantum Gravity, 28(2011), no. 14, 145009(1-14). [8] B.-Y. Chen and S. W. Wei, Differential Geometry of Submanifolds of Warped Product Man- m−1 ifolds I ×f S (k), Journal Geometry, 91(2008), 21–42. [9] B.-Y. Chen, A Simple Characterization Of Generalized Robertson-Walker Spacetimes, Gen- eral Relativity and Gravitation, 46(2014), 1833-9. [10] S. Deshmukh , Conformal vector fields and eigen vectors of the Laplacian operator, Math. Phys. Anal. Geo., 15(2012), pp. 163-172. [11] S. Deshmukh and F. R. Al-Solamy, Conformal vector fields on a Riemannian manifold, Balkan Journal of Geometry and Its Applications, 19(2014), No.2, pp. 86-93. [12] S. Deshmukh and F. R. Al-Solamy, A note on conformal vector fields on a Riemannian manifold, Colloq. Math. 136 (2014), 65-73. SYMMETRIES OF GENERALIZED ROBERTSON-WALKER SPACE-TIMES 15

[13] F. Dobarro, B. Unal, Characterizing killing vector fields of standard static space-times, J. Geom. Phys. 62 (2012), 1070–1087. [14] K. L. Duggala and R. Sharma,Conformal killing vector fields on spacetime solutions of Ein- stein’s equations and initial data, Nonlinear Analysis 63 (2005), 447-454. [15] M. Fernández-López, Eduardo Garc´ıa-R´ıo, Rigidity of shrinking Ricci solitons, Mathematis- che Zeitschrift, 2011, Volume 269, Issue 1-2, pp 461-466 [16] J. L. Flores and M. Sánchez, Geodesic Connectedness and Conjugate Points in GRW Space- times, J. Geom. Phys., 36 (2000), no.3-4, 285-314. [17] Alberto A. Garcia, Steve Carlip, n−dimensional generalizations of the Friedmann– Robertson–Walker cosmology, Physics Letters B 645 (2007) 101–107. [18] G. S. Hall, Symmetries and Curvature Structure in General Relativity, World Scientific Pub- lishing Co. Ltd, London, 2004. [19] V. G. Ivancevic and T. T. Ivancevic, Applied Differential Geometry: A Modern Introduction, World Scientific Publishing Co. Ltd, London, 2007. [20] P. Petersen and W. Wylie, Rigidity of gradient Ricci solitons, Pacific Journal of Mathematics, 241(2009), no. 2, 329-345. [21] W. Kuhnel and H. Rademacher, Conformal vector fields on pseudo-Riemannian spaces, Jour- nal of Geometry and its Applications, 7(1997), 237–250. [22] Ovidiu Munteanu, Natasa Sesum, On Gradient Ricci Solitons, Journal of Geometric Analysis, 23(2013), no. 2, pp 539-561 [23] K. Nomizu, On local and global existence of Killing vector fields, Ann. of Math. 72(1960), no. 1, 105–120. [24] B. O’Neill, Semi-Riemannian Geometry with Applications to Relativity, Academic Press Lim- ited, London, 1983. [25] M. Sánchez, On the Geometry of Generalized Robertson-Walker Spacetimes: geodesics, Gen. Relativ. Gravitation, 30 (1998), no.6, 915-932. [26] M. Sánchez, On the Geometry of Generalized Robertson-Walker Spacetimes: Curvature and Killing fields, J. Geom. Phys., 31 (1999), No.1, 1-15. [27] S. Shenawy and B. Unal. The W2−curvature tensor on warped product manifolds and applications, International Journal of Geometric methods in Mathematical Physics, to appear. [28] S. Shenawy and B. Unal. 2−Killing vector fields on warped product manifolds, International Journal of Mathematics, 26(2015), no. 8, 1550065(17 pages). [29] M. Steller, Conformal vector fields on spacetimes, Ann Glob Anal Geom 29(2006), 293–317. [30] S. Yorozu, Killing Vector Fields on Non-Compact Riemannian Manifolds with Boundary, Kodai Math. J. 5(1982), 426–433.

Mathematics Department, Faculty of Science, Tanata University, Tanta, Egypt E-mail address: [email protected]

Modern Academy for engineering and Technology, Maadi, Egypt E-mail address, S. Shenawy: [email protected], [email protected] URL: http://www.modern-academy.edu.eg

Current address: Modern Academy for engineering and Technology, Maadi, Egypt E-mail address, N. Sayed: [email protected] URL: http://www.modern-academy.edu.eg