On Spacetime Symmetries in General Relativity and Teleparallel Gravity
A Dissertation Submitted in Partial Fulfillment for the Requirement of the Degree of Doctor of Philosophy in Mathematics
By Tahir Hussain
Spervised by Prof. Dr. Gulzar Ali Khan Dr. Suhail Khan
DEPARTMENT OF MATHEMATICS UNIVERSITY OF PESHAWAR May, 2016 Author’s Declaration
I, Tahir Hussain S/O Hussain Ghulam, hereby declare that this dissertation is based on my Ph.D research carried out at the Department of Mathemat- ics, University of Peshawar, Pakistan. No part of this dissertation has been submitted elsewhere for the award of any other degree or qualification. To the best of my knowledge, this dissertation does not contain any previously published or written material by any other person, unless referenced to the contrary in the text. Most of the work presented in this dissertation has been published in reputed journals.
Tahir Hussain Department of Mathematics, University of Peshawar, Pakistan
i Certificate
It is certified that the research work presented in this dissertation, entitled On Spacetime Symmetries in General Relativity and Teleparallel Gravity is the original work of Mr. Tahir Hussain and is carried out un- der the supervision of Prof. Dr. Gulzar Ali Khan and Dr. Suhail Khan at Department of Mathematics, University of Peshawar. This dissertation has been approved for the award of the degree of Doctor of Philosophy in Mathematics.
External Examiner : Dr. Siraj-ul-Haq
Supervisor : Prof. Dr. Gulzar Ali Khan
Co-Supervisor : Dr. Suhail Khan
Chairman : Dr. Imran Aziz
ii Dedicated To My Parents, Brothers and My Wife
iii Table of Contents
Abstract...... vii List of Publications...... viii Acknowledgements...... ix
1 Preliminaries1 1.1 Introduction...... 1 1.2 Fundamentals of General Relativity...... 5 1.2.1 Manifolds...... 5 1.2.2 Tangent Vectors...... 7 1.2.3 Tensors...... 9 1.2.4 Derivative Operators...... 11 1.2.5 Parallel Transport of Vectors...... 13 1.2.6 Geodesics...... 14 1.2.7 Curvature and some other important Tensors..... 15 1.2.8 Lie Derivative...... 17 1.2.9 Spacetime...... 18 1.2.10 Tetrad...... 19 1.3 Spacetime Symmetries in General Relativity...... 20
iv 1.4 Fundamentals of Teleparallel Gravity...... 26 1.4.1 Tetrad in Teleparallel Gravity...... 26 1.4.2 Weitzenb¨ock Connection and Torsion Tensor...... 26 1.5 Spacetime Symmetries in Teleparallel Gravity...... 28 1.6 Outlines of Work...... 31
2 Conformal Killing Vectors in LRS Bianchi Type V, Static and Non Static Plane Symmetric Spacetimes 33 2.1 Conformal Killing Vectors in LRS Bianchi Type V Spacetimes 34 2.2 Inheriting Conformal Killing Vectors in LRS Bianchi type V Spacetimes...... 47 2.3 Conformal Killing Vectors in Static Plane Symmetric Spacetimes 49 2.4 Inheriting Conformal Killing Vectors in Static Plane Symmet- ric Spacetimes...... 60 2.5 Conformal Killing Vectors in Non Static Plane Symmetric Spacetimes...... 62 2.6 Inheriting Conformal Killing Vectors in Non Static Plane Sym- metric Spacetimes...... 78 2.7 Summary...... 80
3 Teleparallel Conformal Killing Vectors in LRS Bianchi Type V, Static and Non Static Plane Symmetric Spacetimes 83 3.1 Teleparallel Conformal Killing Vectors in LRS Bianchi Type V Spacetimes...... 84 3.2 Teleparallel Conformal Killing Vectors in Static Plane Sym- metric Spacetimes...... 96
v 3.3 Teleparallel Conformal Killing Vectors in Non Static Plane Symmetric Spacetimes...... 108 3.4 Summary...... 124
4 Teleparallel Killing and Homothetic Vectors of Kantowski- Sachs and LTB Metrics 126 4.1 Proper Teleparallel Homothetic Vectors in Kantowski-Sachs Spacetimes...... 127 4.2 Teleparallel Killing Vectors in Kantowski-Sachs Spacetime.. 130 4.3 Proper Teleparallel Homothetic Vectors in LTB Metric.... 138 4.4 Teleparallel Killing Vectors in LTB Metric...... 140 4.5 Summary...... 147
5 Teleparallel Killing and Homothetic Vectors of 3-dimensional Static Circularly Symmetric Spacetimes 149 5.1 Teleparallel Killing Vectors of 3-dimensional Static Circularly Symmetric Spacetimes...... 150 5.2 Proper Teleparallel Homothetic Vectors for 3-dimensional Static Circularly Symmetric Spacetimes...... 161 5.3 Summary...... 166
6 Conclusion 168
References 177
vi Abstract
In this thesis we have investigated Killing, homothetic and conformal Killing vectors for some well known spacetimes. Conformal Killing vectors are in- vestigated for locally rotationally symmetric (LRS) Bianchi type V, static and non static plane symmetric spacetimes in the context of general rel- ativity as well as teleparallel gravity, while Killing and homothetic vec- tors are explored for Kantowski-Sachs, Lemaitre-Tolman-Bondi (LTB) and 3-dimensional static circularly symmetric spacetimes in the framework of teleparallel gravity. In general relativity, it is shown that Bianchi type V, static and non static plane symmetric spacetimes admit proper conformal Killing vectors for some specific values of the metric functions. In teleparallel gravity, it is observed that the LRS Bianchi type V space- times do not admit proper teleparallel conformal Killing vectors. Further, the number of proper teleparallel conformal Killing vectors for static and non static plane symmetric spacetimes turned out to be one or three for different choices of the metric functions. Moreover, it is shown that the Kanstowski-Sachs and LTB metrics do not admit any proper teleparallel homothetic vector. The maximum number of teleparallel Killing vectors for Kantowski-Sachs spacetimes turned out to be seven, while for LTB metric, this maximum number is found to be six. Finally, our analysis shows that the 3-dimensional static circularly sym- metric spacetimes admit a proper teleparallel homothetic vector in only one case, while the maximum number of teleparallel Killing vectors for these spacetimes is found to be six.
vii List of Publications
Out of the research work presented in this thesis, the following papers have been published in different journals.
• S. Khan, T. Hussain, A. H. Bokhari and G. A. Khan, Conformal Killing vectors of plane symmetric four dimensional Lorentzian mani- folds, European Physical Journal C, 75:523 (2015).
• S. Khan, T. Hussain and G. A. Khan, Conformal Killing symmetries of plane symmetric static spacetimes in teleparallel theory of gravita- tion, European Physical Journal Plus, 129:228 (2014).
• S. Khan, T. Hussain and G. A. Khan, A note on teleparallel Lie symmetries using non diagonal tetrad, Romanian Journal of Physics, 59, 488 (2014).
• S. Khan, T. Hussain, G. A. Khan and Amjad Ali, A note on teleparal- lel Killing symmetries in three-dimensional circularly symmetric static spacetime, International Journal of Theoretical Physics, 54, 2969 (2015).
• S. Khan, T. Hussain and G. A. Khan, A note on teleparallel con- formal Killing vector fields in plane symmetric non static spacetimes, International Journal of Geometric Methods in Modern Physics, 13, 1650030 (2016).
• S. Khan, T. Hussain, A. H. Bokhari and G. A. Khan, Conformal Killing vectors in LRS Bianchi type V spacetimes, Communications in Theoretical Physics, 65, 315 (2016).
viii Acknowledgements
First and foremost, praises and gratitude to Almighty ALLAH whose showers of blessings made me able to complete my research successfully. I am forever thankful to Prof. Dr. Gulzar Ali Khan and Dr. Suhail Khan for having accepted to be my research supervisors and providing me indispensable guidance throughout this research. Their forbearance and ef- forts were vital for completing this research and to my formation as a future researcher. Their dynamism and motivation have deeply inspired me. I am extremely grateful to Prof. Dr. Ashfaque Hussain Bokhari, Depart- ment of Mathematics and Statistics, King Fahd University of Petroleum and Minerals, Saudi Arabia for his invaluable guidance regarding my research. I am also grateful to Dr. Abdul Samad, Chairman Department of Math- ematics, for providing me the opportunity to pursue my higher studies at the Department. I am extending my heartfelt thanks to all faculty members of Department of Mathematics, University of Peshawar for their sincerity and genuine support. I must acknowledge University of Peshawar for granting me financial support and NOC to pursue my higher studies. My profound thanks to all friends, especially Dr. Muhammad Farooq, Rohul Amin, Imran Khan, Muhammad Asif and Fawad Khan for their nice company during my research work. Finally, I would like to thank my parents, brothers, sisters, nephews, nieces and wife for their love, prayers, caring and support throughout my academic trajectory that made me able to achieve my goals.
Tahir Hussain
ix Chapter 1
Preliminaries
1.1 Introduction
Albert Einstein is considered as the most influential thinker of the 20th cen- tury due to his accomplishments in science. In particular, he has truly risen to fame after publishing the famous scientific theory of relativity which stands out as one of the greatest achievements in science and became one of the important pillars of modern Physics. The importance of the theory of rela- tivity is realized by the fact that it changed our thinking about the concept of space and time and a number of previously held basic results about space and time are proved to be wrong after the development of this theory. As a consequence of his theory of relativity, Einstein determined that space and time are interwoven into a single continuum, known as spacetime. Einstein’s theory of relativity was published in two versions, namely special relativ- ity and general relativity. The theory of special relativity was published in 1905, in which Einstein proposed that laws of Physics are the same for all
1 observers in an inertial frame of reference and the speed of light in a vacuum is independent of the motion of all observers. This theory is called the special theory of relativity because it is limited to only the bodies which move in an inertial frame of reference. This theory became famous because of some perplexing properties of time and length such as time dilation and length contraction, which it proved to be true. These properties of time and length were proved through the theoretical and experimental study of light propa- gation observed by moving observers. Another important consequence of the theory of special relativity is the mass-energy equivalence relation described by the famous equation E = mc2, which states that in a physical system mass m and energy E both are present in a constant proportion and this equivalency of mass and energy is reliant on the speed of light c. After his stupendous efforts for about ten years, Einstein completed his jour- ney from special relativity towards a new geometric theory of space, time and gravitation in 1915, which is known as theory of general relativity. The aim of this theory was to work with Einstein’s ideas in the presence of grav- itational forces. This theory generalized the theory of special relativity and Newton’s law of universal gravitation and it unified description of gravity as a geometric property of spacetime. The theory of general relativity was formulated in the language of differential geometry, the subject which studies curves is space and the space itself. This theory narrates gravitation as the curvature of a spacetime caused by the presence of matter and energy. The curvature of a spacetime is the amount by which a spacetime deviates from being flat and it is completely described by its metric. Unlike the case of special relativity, the spacetime metric need not to be flat in general relativ-
2 ity. The curvature of a spacetime is related to the energy-momentum tensor of the matter in a spacetime by the following system of partial differential equations, known as Einstein’s field equations [1]: R R − g + Λg = kT , (1.1.1) ab 2 ab ab ab where Rab, gab and Tab are the components of Ricci, metric and energy- momentum tensors respectively. Also R is the Ricci scalar, k is the gravi- tational constant and Λ represents the cosmological constant. The constant Λ in Einstein’s field equations is important in the cosmological context, oth- erwise it is usually taken as zero in all non-cosmological situations. Only a limited number of exact solutions of Einstein’s field equations are known because of their highly non-linear nature [1]. Some of the known exact solu- tions include spherically symmetric solutions of Schwarzchild, Kerr, Reissner and Nordstrm, Einstein Universe, de Sitter universe, Tolman and Friedmann Robertson Walker, axisymmetric static electromagnetic and vacuum solu- tions of Weyl and the plane wave metrics. All these exact solutions of Ein- stein’s field equations are found by imposing some symmetry restrictions on the metric, by taking some restrictions on the structure of Riemann tensor or under some initial and boundary conditions. The exact solutions of Einstein’s field equations have played an important role in the discussion of physical problems. For example Schwarzchild and Kerr solutions in black holes, the Friedmann solutions in cosmology and plane wave solutions played an impor- tant role in discovering the existence of gravitational radiations [1]. Beside their physical interpretation, exact solutions of Einstein’s field equations are also useful in checking the validity of the results obtained by approximation and numerical techniques used for the solution of Einstein’s field equations.
3 Although the theory of general relativity remained very successful in excellent agreement with observations and experiments at classical level, this theory faced some challenges at quantum level. Such challenges are often summa- rized as dark matter and dark energy problem. Dark matter is a hypothetical kind of matter which is an important ingredient for the dynamics of the entire universe and dark energy is a form of energy which is hypothesized to spread throughout the space and it is responsible for the accelerated expansion of the universe [2]. In order to find a reasonable explanation for the above mentioned problems, modifications were started in this theory by Einstein and his followers. Many of those early attempts were concerned to unify gravitation and electromag- netism. In 1918, Weyl [3] made one of such attempts whose proposal did not succeed but it led to the gauge transformations and gauge invariance. An- other attempt in the same direction was made by Albert Einstein [4], based on the mathematical structure of teleparallelism. This idea introduced the concept of tetrad, which is a field of orthonormal bases on tangent spaces at each point of a four dimensional spacetime. Like Weyl’s work, Einstein’s attempt of unification also did not succeed but it introduced certain concepts that remained important till now. After three decades, a new strength to the Einstein’s idea was given by M¨oller[5], not for the purpose of unification but in pursuing the gauge theory of gravitation. Following M¨oller’sidea, Pellegrini and Plebanski [6] found a Lagrangian formulation for teleparal- lel gravity. In 1967, Hayashi and Nakano [7] formulated gauge theory for translation groups. Hayashi [8] also presented a connection between gauge theory for translation groups and teleparallelism. Following this, Hayashi
4 and Shirafuji [9] made an attempt to unify these developments. The theory of general relativity was supplemented by teleparallel gravity in this way. Although general relativity and teleparallel gravity are equivalent theories, their interpretations are quite different. In the framework of general rela- tivity, the gravitational potentials are contained in the metric of spacetime and the metric is responsible for the curvature of spacetime. In teleparal- lel approach, gravitational fields are represented by tetrad. Moreover general relativity is based on Riemannian geometry while teleparallel gravity is based on Weitzenb¨ock geometry [10]. In the remaining portion of this chapter, we give a brief review of some basic concepts of general relativity and teleparallel gravity. Moreover, the literature review on spacetime symmetries in both theories is also presented here.
1.2 Fundamentals of General Relativity
In this section we briefly discuss some important basic concepts of general rel- ativity which are frequently used in this thesis. These basic concepts include manifolds, tangent vectors, tensors, covariant derivative, parallel transport of vectors, geodesics, curvature, Lie derivative and some other terms. All the materials of this section are taken from [11–15].
1.2.1 Manifolds
In the theory of general relativity, Manifolds play a central role in describing the complicated structures in terms of relatively easily understandable prop-
5 erties of the Euclidean space. They describe the interactions among matter, energy and gravitational forces. A spacetime in general relativity can be modeled by a 4-dimensional manifold carrying a certain type of geometric structure, which is known as a Lorentz metric and this metric satisfies the Einstein field equations. The curvature of the Lorentz metric then interprets the gravitational effects in spacetime. Generally speaking, manifolds resemble with curves and surfaces except that they might have higher dimension. The dimension of a manifold is the num- ber of independent parameters required to locate a point on manifold. The
Euclidean space Rn is an example of an n-dimensional manifold. A one-dimensional manifold is called a curve, although it does not need to be curved in ordinary sense. Real line, circle and parabola are the trivial exam- ples of one-dimensional manifolds. Manifolds of dimension 2 are known as surfaces. Examples of such manifolds are plane, sphere, cylinder, paraboloid and ellipsoid. Similarly a unit 3-sphere defined by the set
4 2 2 2 2 {(x1, x2, x3, x4) ∈ R : x1 + x2 + x3 + x4 = 1} is an example of 3-dimensional manifold. Mathematically, a real smooth n-dimensional manifold M is a set along with a collection of subsets {Ok} which satisfy the following conditions [11]: i. The collection {Ok} forms a cover of M. ii. For each k, there exists a bijective mapping ψk : Ok → Uk, where Uk is some open subset of Rn. iii. If Ok ∩ Oj 6= φ, then we can consider the mapping
−1 n n ψj ◦ ψk : ψk[Ok ∩ Oj] ⊂ Uk ⊂ R → ψj[Ok ∩ Oj] ⊂ Uj ⊂ R
6 n such that the subsets Uk and Uj are open in R and this map is smooth, that is infinitely continuously differentiable. Similarly a complex manifold can be
n n defined in the same way if we replace R by C . For each k, the mapping ψk in the above definition is known as a chart or a coordinate system. A topological manifold is a topological space which satisfies the properties of a manifold with all its charts ψk to be homeomorphisms. A mapping λ from a manifold M onto another manifold N is called a diffeomorphism if it is smooth, bijective and has a smooth inverse. In such a case we say that the manifolds M and N are diffeomorphic, that is they have the same man- ifold structures. A local diffeomorphism ϕ from a manifold M into another manifold N is a mapping ϕ : M → N such that every point p ∈ M has a neighborhood U with ϕ(U) open in N and ϕ|U : U → ϕ(U) as a diffeomor- phism. For a manifold M, a one parameter group of diffeomorphisms ϕt is a smooth mapping R × M → M such that for any fixed t ∈ R, the mapping
ϕt : M → M is a diffeomorphism and ϕt ◦ ϕr = ϕt+r, for all t, r ∈ R.
1.2.2 Tangent Vectors
In special relativity, a spacetime is considered as a 4-dimensional vector space. However, this structure of spacetime as a vector space is lost in general relativity. For example there is no notion of adding two points on a sphere to get another point on the same sphere. This structure of vector space can be recovered by the concept of tangent vectors.
For a manifold M which is embedded in Rn (like a sphere), a tangent vector at a point p ∈ M is a vector which lies in the tangent plane to M at p. But every manifold need not to be embedded in Rn, a tangent vector for such a
7 manifold is defined as follows:
Let τ be the set of all smooth mappings from a manifold M to R and p ∈ M. A tangent vector v at p is a mapping v : τ → R, which satisfies the following two properties [11]: i. v(c1f1 + c2f2) = c1 v(f1) + c2 v(f2), for all f1, f2 ∈ τ and c1, c2 ∈ R. ii. v(f1f2) = f1(p) v(f2) + f2(p) v(f1), for all f1, f2 ∈ τ.
The above two properties of a tangent vector are respectively referred as Lin- earity and Leibnitz rule. If we denote the collection of all tangent vectors at a point p on a manifold M by Vp, then it can be checked easily that Vp con- stitutes a vector space with respect to the addition and scalar multiplication defined by (v1 + v2)(f) = v1(f) + v2(f) and (av)(f) = av(f) respectively. This vector space is called a tangent space to M at the point p. It is well known that for a manifold of dimension n, dim Vp = n. Sometimes the tan- gent space Vp is also denoted by TpM. The union of all tangent spaces at all points of a manifold M is denoted by TM and it is called a tangent bundle to M. A vector field X on a manifold M is a mapping X : M → TM, which assigns a tangent vector vp to each point p ∈ M. The vector field X is called global or local if it is defined on the whole manifold M or on some open subset of M respectively. If X and Y are two vector fields on M, then their commutator [X,Y ] is another vector field which assigns, to each point p of
M, a tangent vector [X,Y ]p such that [X,Y ]p(f) = Xp Y (f) − Yp X(f).
8 1.2.3 Tensors
In Physics, particularly in general relativity, tensors are of vital importance as they provide a comprehensive mathematical framework for solving physical problems. The concept of tensor gave a new way to formulate differential geometry of a manifold in terms of Riemann curvature tensor. A tensor T of type or valence (k, l) over a finite dimensional vector space V
∗ ∗ ∗ is a multilinear map T : V × V × ....V × V × V × ..... × V → R with | {z } | {z } k−times l−times k independent variables form V ∗ and l independent variables from V , where V ∗ denotes the vector space of all real valued linear functions on V , called the dual space of V [12]. The numbers k and l are referred as the degrees of tensor T with k as the contravariant degree and l the covariant degree. The sum of contravariant and covariant degrees of a tensor is known as rank or order of that tensor. Tensors of type (1, 0), (0, 1), (k, 0), (0, l) and (k, l) are called contravariant vector, covariant vector, contravariant tensor, covariant tensor and mixed tensor respectively. A tensor of type (0, 0) is defined to be a scalar. If τ(k, l) denotes the collection of all tensors of type (k, l) over an n- dimensional vector space, then τ(k, l) forms a vector space of dimension nk+l with respect to the usual operations of addition and scalar multiplication of mappings. A mapping which assigns a tensor to each point of a manifold is called a tensor field. In tensor analysis, some basic algebraic techniques are used to produce new tensors. Being the elements of a vector space, two tensors of the same type can be added to get a new tensor of the same type. Similarly a tensor can be multiplied by a scalar. If T1 and T2 are tensors of type (p, q) and (r, s) respectively over a vector space V , then their tensor product or outer product
9 ∗ p+r q+s T1 ⊗ T2 is a tensor of type (p + r, q + s) defined on the set (V ) × V such that [13]:
1∗ p+r∗ 1 q+s T1 ⊗ T2(v , ..., v , u , ..., u )
1∗ p∗ 1 q p+1∗ p+r∗ q+1 q+s = T1(v , ..., v , u , ..., u ) T2(v , ..., v , u , ..., u ).
Contraction is another operation which is used to obtain a tensor of type (k − 1, l − 1) from a tensor T of type (k, l), provided that one contravariant and one covariant indices of T are equal. Beside these operations, the inner product of tensors is defined as the process of outer product followed by con- traction. A tensor T is said to be symmetric in pth and qth variables of the same type if it gives the same values, as a multilinear map, after interchanging these variables. A tensor is called contravariant symmetric if it is symmetric in any pair of its contravariant indices. Similarly if a tensor is symmetric in any pair of its covariant indices, it is known as covariant symmetric. If a tensor is both contravariant and covariant symmetric, then it is called a symmetric tensor. The contravariant skew symmetric, covariant skew symmetric and skew symmetric tensors can be defined in a similar way except that the sign of the tensor is changed in skew symmetry instead of leaving it unchanged. As the Einstein’s field equations are tensor equations, therefore tensors play an important role in the theory of general relativity. One of the important tensors used in general relativity is the metric tensor which tells us the in- finitesimal squared distance associated with an infinitesimal displacement.
It is a tensor of type (0, 2), that is a bilinear map g : TpM × TpM → R, which is symmetric and non degenerate. The metric tensor g is sometimes
2 also denoted by ds and it can be expressed in terms of its components gab
10 as [11]:
2 X a b ds = gab dx dx (1.2.3.1) a,b For every metric g, there exists an orthonormal basis of the tangent space at each point p of M, say v1, v2, ..., vn, which satisfy g(vi, vj) = 0 for i 6= j and g(vi, vi) = ±1 [11]. Here the number of + and − signs is called signature of the metric g. In particular, a metric of the signature (+, +, ..., +) is called positive definite or Riemannian metric and a metric of the signature (−, +, ..., +) is known as a Lorentzian metric. The metric of a spacetime is Lorentzian.
1.2.4 Derivative Operators
In Physics, the most important laws are usually expressed as differential equations. Moreover these differential equations have the form of tensor equations in order to ensure that the physical laws represented by these equations are independent of the coordinate system. Thus it is important to see whether tensors can be differentiated to produce new tensors, and if so, how it can be done. The usual partial derivative of a tensor do not produce another tensor. To find the derivative of a tensor to produce another tensor in curved spaces or in a spacetime, we need to define covariant derivative. A derivative operator or covariant derivative, denoted by ∇, on a manifold
a1...ak M differentiates a tensor T b1...bl of type (k, l) and produces another
a1...ak tensor ∇cT b1...bl of type (k, l + 1) such that the following properties are satisfied [11]: i. ∇ is linear, which means that for any two tensors T a1...ak and T a1...ak 1 b1...bl 2 b1...bl
11 of type (k, l) and c1, c2 ∈ R, we have ∇ (c T a1...ak +c T a1...ak ) = c ∇ T a1...ak +c ∇ T a1...ak c 1 1 b1...bl 2 2 b1...bl 1 c 1 b1...bl 2 c 2 b1...bl ii. ∇ satisfies Leibnitz rule, which means that for a tensor T a1...ak of type 1 b1...bl 0 c1...ck 0 0 (k, l) and a tensor T 0 of type (k , l ), we have 2 d1...dl
0 0 a1...ak c1...ck a1...ak c1...ck ∇e[T T 0 ] = [∇eT ]T 0 1 b1...bl 2 d1...dl 1 b1...bl 2 d1...dl 0 a1...ak c1...ck + T [∇eT 0 ] 1 b1...bl 2 d1...dl
a1...ak iii. ∇ commutes with contraction, that is for any tensor T b1...bl of type
a1..c..ak a1..c..ak (k, l), we have ∇e(T b1..c..bl ) = ∇eT b1..c..bl . iv. For any smooth real valued function f on M and any tangent vector
a a t ∈ TpM, t(f) = t ∇af, which shows the consistency of ∇ with the notion of tangent vectors as directional derivatives on scalar fields. v. ∇ is torsion free, that is for any smooth real valued function f on M,
∇a∇bf = ∇b∇af.
The above defined derivative operator is also known as absolute or covariant derivative and sometimes it is denoted by a semicolon (; ). It is worth noting here that in some gravitational theories, like teleparallel gravity, the condition (v) in the above definition is dropped because of the presence of a torsion tensor. However in general relativity, this condition must be satisfied. In fact, if we drop condition (v) from the above definition,
c then one can show the existence of a tensor Tab, known as torsion tensor, such c c c that Tab = −Tba and ∇a∇bf − ∇b∇af = −Tab∇cf [11]. In general relativity, torsion tensor vanishes and hence condition (v) of the above definition holds.
12 Following are some important results which can be derived using the above five conditions of covariant derivative. We state these results without proof.
(a) If va and wb are two vector fields, then their commutator can be ex-
b a b a b pressed as: [v, w] = v w ;a − w v ;a.
˜ (b) For given two derivative operators ∇a and ∇a and a dual vector field c wb, we can find a tensor field Cab, symmetric in its lower indices, such ˜ c that ∇awb = ∇awb − Cabwc.
a (c) If t is any vector field, then for given two derivative operators ∇a and ˜ b ˜ b b c ∇a, we have ∇at = ∇at + Cact .
Similarly, a general formula can be derived for the action of ∇a on any tensor c ˜ in terms of Cab and ∇a. In a particular case, when the derivative operator ˜ c ∇a is the ordinary derivative operator ∂a, the tensor field Cab is denoted by c c Γab and it is known as Christoffel symbol. The Christoffel symbol Γab can be expressed in terms of partial derivatives of the components of metric tensor as [11,14]: 1 Γc = gcd{g + g + g } (1.2.4.1) ab 2 bd,a ad,b ab,d
1.2.5 Parallel Transport of Vectors
Generally, a vector v is called parallelly transported along a curve C if the following two conditions hold [14]: i. The transported vector is parallel to v. ii. The transported vector have the same length as that of v.
13 As an example, we can consider a circle C in a plane and a vector v can be transported parallelly along C such that it comes back to its original position with the same direction and having the same length. In general relativity, we define parallel transport of a vector along a curve C with the help of derivative operator. If ∇a is some derivative operator, then we say that the vector va is parallelly transported at each point along C if
a b a b a b c a we have t ∇av = 0 or equivalently t ∂av + t Γacv = 0, where t denotes
b1...bk the tangent vector to the curve C at that point. Similarly if T c1...cl is a tensor of type (k, l), then it is called parallelly transported along C if
a b1...bk t ∇aT c1...cl = 0 [11].
1.2.6 Geodesics
In general relativity, the idea of geodesics is of particular interest. The free falling particles follow the paths which are defined by geodesics and the path of a planet revolving around a star is the projection of a geodesic of the four dimensional spacetime geometry around the star onto three dimensional space. Roughly speaking, the straightest possible lines which one can draw in curved geometry are called geodesics. For example, the geodesics in Euclidean ge- ometry are straight lines. Similarly, the geodesics on a sphere are the shortest arcs of the great circles from one point to another point on the sphere. In terms of derivative operator, we define the notion of geodesics as follows:
If ∇a is some given derivative operator, then a geodesic is defined to be a curve whose tangent vector at any point is parallelly transported along itself.
a b b Such curves satisfy the equation t ∇at = 0, where t is the tangent vector
14 to the curve [11].
1.2.7 Curvature and some other important Tensors
The curvature of a geometric object is the quantitative measure of how it bends from being flat. The word flat used here may have different meanings depending upon the situation. If we are considering curves, the word flat will mean straight line, while in case of surfaces it might mean the Euclidean plane. There are two notions of curvature, namely extrinsic and intrinsic curvature. The extrinsic notion of curvature is limited to those objects which are embedded in another higher dimensional surfaces. The intrinsic curvature is defined for any manifold without the reference of its embedding in a higher dimensional space. As our spacetime manifold is not embedded in any higher dimensional space, the intrinsic notion of curvature is preferred in the theory of general relativity. An example of extrinsic curvature is that of a circle which is equal to the reciprocal of its radius. Circles with greater radii have smaller curvature and vice versa. The intrinsic curvature arises in different cases. For example if a vector fails to return to its starting position after parallelly transported along a small closed path, it gives rise to curvature. Similarly if we have some parallel geodesics and they fail to be parallel after transportation, then it mean there is a curvature. Also, if the successive operations of differentiations fail to commute when applied to a dual vector, it shows that there is a curvature. The curvature of a manifold is expressed by a tensor, known as Riemann curvature tensor. The Riemann curvature tensor is actually a tensor field which assigns a tensor to each point of the manifold. In terms of christoffel
15 symbols, it is defined as [14]:
a a a a e a e Rbcd = Γbd,c − Γbc,d + ΓecΓbd − ΓedΓbc. (1.2.7.1)
n2(n2−1) For an n-dimensional manifold, the Riemann curvature tensor has 12 non zero independent components. Thus the number of such components for a spacetime manifold is 20. A spacetime is flat if all the components of the Riemann curvature tensor vanish. The Riemann curvature tensor can be written in completely covariant form by lowering the first index with metric, that is [14]:
e e e Rabcd = gaeRbcd = Γbda,c − Γbca,d + ΓadeΓbc − ΓaceΓbd. (1.2.7.2)
We calculate another type of tensor, known as Ricci tensor, form Riemann curvature tensor by contracting first and third indices:
c Rab = Racb (1.2.7.3)
Contracting the Ricci tensor with metric, we get a scalar which is called Ricci scalar:
ab g Rab = R (1.2.7.4)
With the help of these known quantities, we define the Einstein tensor Gab as [14]: 1 G = R − Rg . (1.2.7.5) ab ab 2 ab Finally another important quantity, known as Weyl tensor or conformal ten- sor, is defined as [14]: 1 1 C = R + {g R + g R − g R − g R } + R{g g − g g }. abcd abcd 2 ad bc bc ad ac bd bd ac 6 ac bd ad bc (1.2.7.6)
16 A spacetime metric gab is called conformally flat if there exists a differentiable function f(x) such that gab is conformally related to the Minkowski metric 2 ηab, that is gab = f (x) ηab. Equivalently, a spacetime metric is conformally flat if all the components of Weyl tensor vanish.
1.2.8 Lie Derivative
In geometry, Lie derivative is used to compare the value of some geometric object at a point along a curve relative to its value after dragging the object to some other point along the curve. For us, the Lie derivative of vector fields and that of tensor fields are of particular interest. The Lie derivative of a vector field X on any differentiable manifold determines the rate of change of the vector field X along the flow of another vector field ξ, denoted by LξX. The Lie derivative of a tensor field can be defined in a similar way. In general relativity, especially important is to see the behavior of a metric tensor when it is dragged along curves on a manifold. The study of Killing, homothetic and conformal Killing vectors in a spacetime metric is carried out in this way, which will be given with details in next section of this thesis. Before giving a proper definition of Lie derivative, we recall the definitions of derived and pullback maps. Consider a smooth map φ : M → M 0 between smooth manifolds M and M 0. Let p ∈ M and set φ(p) = p0 ∈ M 0. The
0 mapping φ∗p : TpM → Tp0 M defined by φ∗pv(f) = v(fo φ), for v ∈ TpM is called the derived map of φ at p. If φ : M → M 0 is a smooth map and f : M 0 → R is some smooth function on M 0, then the composition map fo φ is known as pullback of f under φ and it is denoted by φ∗f [11]. Let M be a smooth manifold and T,X be global smooth tensor field and
17 vector field on M respectively. Let φt be the local diffeomorphisms associated with X, then the Lie derivative of T at a point p ∈ M along X is a global smooth tensor field on M and it is defined as [11,14]:
∗ (φt T )(p) − T (p) LX T (p) = lim . (1.2.8.1) t→0 t
Following are some important properties of Lie derivative operator.
(a) LX (c1T1 + c2T2) = c1 LX T1 + c2 LX T2, that is L is linear
(b) LX (T1 ⊗ T2) = T1 ⊗ LX T2 + LX T1 ⊗ T2
(c) LX Y = [X,Y ]
(d) Lc1X+c2Y T = c1 LX T + c2 LY T
(e) LX f = X(f) where X,Y denote global smooth vector fields, T,T1,T2 are global smooth tensor fields and f is a smooth real valued function on M.
1.2.9 Spacetime
Before the development of the theory of relativity, time was believed to be universal, progressing with a constant rate in all frame of references and in- dependent of the motion of an observer. The theory of relativity proved that time cannot be separated from three dimensions of space because the rate of passaging of time for an object is dependent on the object’s velocity and on the gravitational fields. It was proved experimentally that time slows at higher speed of the frame of reference relative to another frame of reference.
18 This phenomenon is called time dilation. Mathematically, a spacetime (M, g) is defined as a four dimensional, smooth, connected and Hausdorff manifold M with Lorentz metric g [11]. The ele- ments of a spacetime M are known as events. The Lorentz metric g of a spacetime M determines the geometry of M. The spacetime is assumed to be curved in general relativity because of the presence of energy and the curva- ture of spacetime is given by Riemann curvature tensor. On the other hand, the Riemann curvature tensor vanishes in special relativity and hence the spacetime is called flat or Minkowski space. The metric tensor of Minkowski space is called Minkowski metric, denoted by η.
1.2.10 Tetrad
Consider the Minkowski space M. The Minkowski inner product for u, v ∈ M is denoted by u · v or η(u, v), which has the following properties [15]: i. η(cu + v, w) = c η(u, w) + η(v, w), for all u, v ∈ M and c ∈ R. ii. η(u, v) = η(v, u), for all u, v ∈ M. iii. If for all v ∈ M, η(u, v) = 0, then u = 0.
If u, v ∈ M such that η(u, v) = 0, then u and v are called orthogonal. A vector v ∈ M is called a unit vector if η(v, v) = ±1. A basis {v1, v2, v3, v4} of M is called orthonormal basis if η(vi, vj) = 0, for i 6= j and η(vi, vi) = ±1. An orthonormal basis of M is also called an orthonormal tetrad. A vector v 6= 0 ∈ M is called spacelike, timelike or null if η(v, v) > 0, η(v, v) < 0 or η(v, v) = 0 respectively. Out of four elements of an orthonormal
19 tetrad, one is always timelike while the other three elements are spacelike.
Another type of tetrad, known as real null tetrad, is a basis {f1, f2, f3, f4} of the Minkowski space such that η(f1, f2) = η(f3, f3) = η(f4, f4) = 1 and all other inner products vanish. In real null tetrad, f1 and f2 are null, while f3 and f4 are unit spacelike vectors.
1.3 Spacetime Symmetries in General Rela- tivity
As mentioned in the introduction section, the theory of general relativity is governed by highly non-linear Einstein’s field equations. Due to the highly non-linearity of Einstein’s field equations, it is quite difficult to find their ex- act solutions. The symmetry restrictions on the metric of a spacetime assist in finding new exact solutions and in the classification of the known solutions of Einstein’s field equations. Also the existence of symmetries in spacetimes give rise to the conservation laws [16], which are equally important in gen- eral relativity and all physical systems which are expressed in terms of the invariance property of physical systems under a continuous symmetry. Roughly speaking, a symmetry of a spacetime M is a smooth vector field on M whose associated local diffeomorphisms preserve some geometric feature of M [17]. The geometric feature preserved by the associated local diffeo- morphisms of a symmetry vector field may be geodesics, metric, Riemann curvature tensor or any other fundamental part of spacetime geometry. De- pending upon these geometric features preserved by the symmetry vector fields, there are various types of spacetime symmetries but we will focus only
20 on three important symmetries, namely Killing, homothetic and conformal Killing symmetries. Conformal Killing symmetry is represented by a vec- tor field whose associated local diffeomorphisms preserve the metric up to a conformal factor [17]. If the conformal factor is a constant, the correspond- ing symmetry is known as homothetic symmetry and if the conformal factor vanishes, the symmetry is called Killing symmetry. The Lie derivative operator is very helpful in the investigation of the above mentioned types of symmetries in a spacetime. Lie derivative operator is used to compare the value of a geometric object at some point along a curve on the spacetime manifold relative to its value after dragging the object along the curve to the same point. For us, the most important is to see the behav- ior of the metric tensor when it is dragged along curves on manifolds. A conformal Killing symmetry or a conformal Killing vector X is a vector field on a spacetime manifold M such that when the metric of M is dragged along the curves generated by X, its Lie derivative satisfies the relation [17]:
LX gab = 2αgab, (1.3.1) where α is some real-valued function on M, called conformal factor. If in equation (1.3.1) we have α = 0, then the the vector field X reduces to a Killing vector and in such a case the metric of spacetime is left invariant when it is dragged along the curves on M. In such a case equation (1.3.1) is called Killing equation. Moreover if α in equation (1.3.1) becomes a constant, the vector field X becomes a homothetic vector and in this case the metric is being changed by a constant factor while dragging along the curves on M. A conformal Killing vector which is not homothetic is known as proper conformal Killing vector and a homothetic vector which is not Killing is
21 called proper homothetic vector. An important class of conformal Killing vectors contain the special conformal killing vectors whose conformal factor satisfies the relation αa;b = 0. Note that equation (1.3.1) can also be written in explicit form as [17]:
c c c gab,cX + gbcX,a + gacX,b = 2αgab, (1.3.2)
Some other alternate forms of equation (1.3.1) can be seen in [17]. The sets consisting all Killing, homothetic, conformal Killing and special con- formal Killing vectors on a spacetime manifold M are respectively denoted as K(M),H(M),C(M) and SC(M) and each of these sets forms a Lie algebra with resect to the Lie bracket operation such that dimK(M) ≤ 10, dimH(M) ≤ 11 and dimC(M) ≤ 15. It is well know that if M is a confor- mally flat spacetime, then dimC(M) = 15 and conversely if dimC(M) = 15 (in fact when dimC(M) > 7), then the spacetime M is conformally flat [17]. Moreover K(M),H(M) and SC(M) all are subalgebras of C(M) and the sets K(M) and H(M) attain their maximum dimensions if and only if M is a flat spacetime. The notion of a particular type of conformal Killing vectors in fluid space- times, known as inheriting conformal Killing vectors, was introduced by Co- ley and Tupper [18]. A conformal Killing vector X is said to be inherited by the physical fluid source represented by the energy-momentum tensor if the fluid flow lines are mapped conformally into the fluid flow lines and such type of conformal Killing vectors satisfy [18]:
b b LX ua = ua,bX + ubX,a = αua, (1.3.3)
22 where ua signifies the four velocity of the fluid. Spacetime symmetries have a wide range of applications in general relativity and other branches of Physics. As mentioned before, spacetime symmetries give rise to conservation laws. Noether’s theorem guarantees the existence of conservation laws corresponding to every continuous symmetry [19]. These conservation laws in a spacetime are usually provided by Killing vectors. However sometimes it will be not possible to find the conservation laws with Killing vectors. In such a case, conformal transformations are employed to find the conservation laws which are not given by Killing vectors. For exam- ple in Friedman metrics, there exist no translational invariance which give law of conservation of energy but it admits a conformal time translational invariance which provides a conformal analogue of conservation of energy. Besides this, conformal Killing vectors play an important role at kinemat- ics and dynamics level. Kinematic variables such as rotation, expansion and shear can be studied under the assumption that a spacetime admit conformal Killing vectors [20–23]. Apart from general relativity, conformal symmetries have valuable applications in other branches of Physics, like astrophysics and cosmology [24–27]. In the recent literature of general relativity, much attention is given to study different types of spacetime symmetries. Petrov [16] was the first to explore Killing vectors in four dimensional spaces by solving the Killing’s equation. Bokhari and Qadir [28,29] classified static spherically symmetric spacetimes according to their Killing vectors and concluded that the minimum num- ber of linearly independent Killing vectors admitted by these spacetimes is 4. Qadir and Ziad [30, 31] were able to achieved the classification of static
23 cylindrically symmetric and non static spherically symmetric spacetimes ac- cording to their Killing vectors. They found that the static cylindrically symmetric spacetimes admit 3, 4, 5, 6, 7 or 10 Killing vectors. Feroze et. al. [32] solved the Killing’s equation and achieve a complete classification of plane symmetric Lorentzian manifolds. They obtained some plane sym- metric metrics possessing 3, 4, 5, 6, 7 or 10 Killing vectors. Bokhari and his collaborators [33] investigated all possible Killing vectors possessed by a three-dimensional circularly symmetric static metric and concluded that this metric admits 2, 3, 4 or 6 Killing vectors. Killing vectors in Bianchi type VIo and VIIo spacetimes have been explored by Ali and his collaborators [34]. Recently Khan et. al. [35] found Killing vectors for Lemaitre-Tolman-Bondi metric. They found that this metric admits only three or four Killing vec- tors. Similarly homothetic vectors are also investigated for different spacetimes. Hall and Steele [36] proved that the maximum number of homothetic vectors admitted by a four dimensional spacetime is 11. Ahmad and Ziad [37] gave a complete classification of spherically symmetric spacetimes according to their homothetic vectors and showed that these spacetimes possess 4, 5, 6, 8 or 11 homothetic vectors. A study of proper homothetic vectors in Bianchi type I spacetimes was carried out by Shabbir and Amur [38] who concluded that Bianchi type I spacetimes admit 4, 5, 7 or 11 homothetic vectors for some special choices of the metric functions. Proper homothetic vectors in Bianchi type IV and V spacetimes have been found by Ali and his collabo- rators [39, 40]. In Bianchi type IV spacetimes, the dimension of homothetic algebra turned out to be 4 or 5, while Bianchi type V spacetimes admit 7
24 homothetic vectors only in one case. Homothetic vectors in static cylindri- cally symmetric spacetimes are explored by Shabbir and Ramzan [41] and it is proved that the dimension of homothetic algebra for these spacetimes is 4, 5, 7 or 11. The details of classification of plane symmetric spacetimes according to their homothetic vectors can be seen in [42]. Parallel to Killing and homothetic symmetries, conformal Killing symme- try has been discussed for some well known spacetimes. Conformal Killing vectors in Robertson-Walker spacetimes are studied by Maartens and Ma- haraj [43]. Hall and Steele proved [44] that the dimension of conformal al- gebra for a conformally flat spacetime is 15, while for a non-conformally flat spacetime the maximum number of conformal Killing vectors is 7. Moopa- nar and Maharaj [45] studied the complete conformal geometry of spherically symmetric spacetimes with vanishing shear. For static spherically symmet- ric spacetimes, the conformal Killing’s equation is solved by Maartens et. al. [46]. The authors found that static spherically symmetric spacetimes ad- mit at most two proper conformal Killing vectors. Hall and Capocci [47] published a remarkable paper about the maximum dimension of conformal algebra for three dimensional spacetimes in which they proved that for a non conformally flat three dimensional spacetime M, dim C(M) ≤ 4. For details of conformal symmetry in some other well known spacetimes, we re- fer [48–51]. As far as the inheriting conformal Killing vectors are concerned, they are in- vestigated for spherically symmetric, spherically symmetric anisotropic fluid and synchronous perfect fluid spacetimes [18,52,53].
25 1.4 Fundamentals of Teleparallel Gravity
In this section we give a brief review of some basics of teleparallel gravity. Throughout this section, the Greek alphabets (µ, ν, ρ, ... = 0, 1, 2, 3) and the Latin alphabets (a, b, c, ... = 0, 1, 2, 3) are used to represent the indices related to spacetime and tangent space respectively.
1.4.1 Tetrad in Teleparallel Gravity
The tangent space TpM, at each point p of a four dimensional differentiable spacetime manifold M, is a Minkowski space whose Lorentz metric have the form:
ηab = diag (+1, −1, −1, −1) (1.4.1.1)
A relation between a spacetime manifold and its tangent space is established by a tetrad field. If g and η signify the metrics of a spacetime and its
Minkowski tangent space with components gµν and ηab respectively, then a µ tetrad field ha = ha ∂µ relates g with η by the relation [54]:
µ µ ηab = g(ha, hb) = gµνha hb (1.4.1.2)
µ A tetrad field is also called vierbein. The inverse field of the tetrad ha is a denoted by hµ and the following relation holds [55]:
a ν ν a µ a hµ ha = δµ , hµ hb = δb (1.4.1.3)
1.4.2 Weitzenb¨ock Connection and Torsion Tensor
In general relativity, the only geometric object which is considered as the basic entity is the metric tensor of a spacetime. The Riemann curvature
26 tensor is expressed in terms of Levi-Civita connections. The Einstein tensor is then expressed in terms of metric and Riemann curvature tensors and in this way the Einstein’s field equations are formed. However, gravitation can be described by torsion instead of curvature on a globally flat spacetime. Weitzenb¨ock noted that a specific choice of the connections will ensure that the spacetime is globally flat. This idea gave rise to Weitzenb¨ock connections, which can be defined with the help of tetrad field as follows. a The covariant derivative of a tetrad field hµ is given by [55]:
a a θ a ∇νhµ = ∂νhµ − Γ µνhθ , (1.4.2.1)
θ where Γ µν denotes the Weitzenb¨ock connection which introduces the distant parallelism in a spacetime manifold. As mentioned in the introduction sec- tion of this thesis, teleprallel theory of gravitation depends on Weitzenb¨ock geometry. The tetrads in Weitzenb¨ock spacetimes are parallelly transported, a so that ∇νhµ = 0 which gives the following form of the Weitzenb¨ock con- nection in terms of tetrad.
θ θ a Γ µν = ha ∂νhµ (1.4.2.2)
The torsion tensor can be expressed in terms of Weitzenb¨ock connections as [55]:
θ θ θ T µν = Γ νµ − Γ µν (1.4.2.3)
θ θ The torsion tensor is antisymmetric in its lower indices, that is T µν = −T νµ. If 0Γ denotes the Levi-Civita connection, then it is related to the Weitzenb¨ock connection Γ as follows:
0 θ θ θ Γµν = Γµν − Kµ ν, (1.4.2.4)
27 where K is the contorsion tensor and it can be written in terms of torsion tensor as: 1 K θ = {T θ − T θ + T θ } (1.4.2.5) µ ν 2 µν νµ µ ν
We can obtain the torsion vector Tµ by contracting the torsion tensor as:
θ Tµ = T θµ (1.4.2.6)
1.5 Spacetime Symmetries in Teleparallel Grav- ity
In section (1.3), we have already discussed the importance and applications of spacetime symmetries in general relativity. It was also mentioned in the same section that Lie derivative operator is very helpful to find the spacetime symmetries because it gives the explicit form of the Killing’s equation and by solving it we can find Killing vectors admitted by a spacetime metric. Similar remarks hold in case of finding homothetic and conformal Killing vectors. In 2008, Sharif and Amir [56] defined teleparallel Lie derivative of a tensor of rank p + q in the context of teleparallel gravity. In particular, they noted that the teleparallel version of Lie derivative of the metric tensor is different from that of general relativity because of introducing the torsion tensor terms. This new version of teleparallel Lie derivative of a metric tensor is given by [56]:
T c c c c d d LX gab = gab,cX + gbcX,a + gacX,b + X [gadTbc + gbdTac] (1.5.1)
28 The authors in [56] defined teleparallel Killing vectors to be those vectors which satisfy the following condition.
T c c c c d d LX gab = gab,cX + gbcX,a + gacX,b + X [gadTbc + gbdTac] = 0 (1.5.2)
Similarly teleparallel homothetic and teleparallel conformal Killing vectors can be defined as the vectors which satisfy:
T c c c c d d LX gab = gab,cX + gbcX,a + gacX,b + X [gadTbc + gbdTac] = 2αgab, (1.5.3) where α is a constant or it depends on spacetime coordinates when X is a homothetic or a conformal Killing vector. As a pioneer, Sharif and Amir [56] used equation (1.5.2) to investigate teleparallel Killing vectors in Einstein universe. Although the teleparallel Killing vectors obtained for Einstein uni- verse in this way were coincident with those of general relativity, this idea opened a new way of exploring the spacetime symmetries in the context of teleparallel gravity. Sharif and Majeed [57] followed this way to find teleparal- lel Killing vectors for static spherically symmetric spacetimes. They observed that for static spherically symmetric spacetimes, the teleparallel Killing vec- tors are not the same as the Killing vectors of general relativity, however the results of both theories may coincide under certain conditions. Shabir et. al. [58–63] solved equation (1.5.2) for finding teleparallel Killing vectors in Bianchi type I, II, III, Kantowski-Sachs, static cylindrically symmetric, non static cylindrically symmetric and spatially homogeneous rotating space- times. In Bianchi type I spacetimes, teleparallel Killing vectors turned out to be the same in number as those in general relativity, however teleparallel Killing vectors arise as multiples of some specific functions of t, which are actually the components of the inverse tetrad field [58]. For Bianchi type
29 II, non static cylindrically symmetric and spatially homogeneous rotating spacetimes, it was observed that the teleparallel Killing vectors are more than the Killing vectors of general relativity [59, 62, 63], which in turn give more conservation laws and this increase in the conservation laws arises be- cause of the absence of curvature and presence of torsion in the spacetimes. The teleparallel Killing vectors in Bianchi type III, Kantowski-Sachs and static cylindrically symmetric spacetimes are either same or multiples of the corresponding Killing vectors of general relativity in different cases [60, 61]. Beside these spacetimes, recently teleparallel Killing vectors are also explored in Bianchi type V and FRW spacetimes by Khan et. al. [64,65]. Teleparallel homothetic vectors are also investigated for some well known spacetimes. Shabir and Khan [66–68] classified static cylindrically symmet- ric, non static plane symmetric and Bianchi type I spacetimes according o their teleparallel homothetic vectors. The authors concluded that in these spacetimes, a proper teleparallel homothetic vector exists for specific values of the metric functions and one can recover the homothetic vectors of gen- eral relativity from the obtained teleparallel homothetic vectors by vanishing torsion tensor. As far as teleparallel conformal Killing vectors are concerned, they are found for only few spacetimes. Before us, teleparallel conformal Killing vectors were explored only for Bianchi type I and static cylindrically symmetric spacetimes [69,70]. Although spacetime symmetries are widely discussed in the context of general relativity and teleparallel gravity, the field is still open for further research. A number of spacetimes are still left to be considered for spacetime symmetries in both the theories, especially the conformal Killing vectors are investigated
30 for a less number of spacetimes as compared to Killing and homothetic vec- tors.
1.6 Outlines of Work
This thesis has been designed as follows:
1. In chapter 1, we have briefly introduced some basics of general relativity and teleparallel gravity. These basics will be helpful to understand this thesis.
2. In chapter 2, conformal Killing symmetries for LRS Bianchi type V, static plane symmetric and non static plane symmetric spacetimes are found in the context of general relativity. Out of this work, two research papers [71,72] have been published.
3. Chapter 3 provides a study of teleparallel conformal Killing symmetries for LRS Bianchi type V, static plane symmetric and non static plane symmetric spacetimes in the framework of teleparallel gravity. On the basis of this work, two research papers [73,74] have been published.
4. Chapter 4 deals with teleparallel Killing and homothetic symmetries of Kantowski-Sachs and Lemaitre-Tolman-Bondi metrics. One research paper [75] on this work has been published.
5. In chapter 5, we have explored teleparallel Killing and homothetic sym- metries in three dimensional circularly symmetric static metric. Out of this work, one research paper [76] is published.
31 6. In last chapter, a brief summary, our findings, comparison of the ob- tained results in general relativity and teleparallel gravity and some open problems are mentioned.
32 Chapter 2
Conformal Killing Vectors in LRS Bianchi Type V, Static and Non Static Plane Symmetric Spacetimes
In this chapter, we investigate conformal Killing vectors in locally rotationally symmetric (LRS) Bianchi type V, static and non static plane symmetric spacetimes in the context of general relativity. For all the three mentioned spacetimes, the components of conformal Killing vectors are obtained up to some unknown functions of the variables t and x, subject to some integrability conditions. To find these unknown functions, the integrability conditions are solved for some specific choices of the metric functions in each case, giving the final form of conformal Killing vectors. Inheriting conformal Killing vectors are also explored for each of the three mentioned spacetimes. Lie algebra of
33 conformal and inheriting conformal Killing vectors is calculated in each case. It is important to mention here that conformal Killing vectors for static plane symmetric spacetimes are already discussed by Saifullah and Yazdan [77]. They concluded with the remarks that these spacetimes do not admit any proper conformal Killing vector, unless they become conformally flat. However, we found some proper conformal killing vectors in non conformally flat static plane symmetric spacetimes by solving the integrability conditions using a different approach to that of Saifullah and Yazdan.
2.1 Conformal Killing Vectors in LRS Bianchi Type V Spacetimes
The Bianchi type I-IX spacetime metrics are cosmological models which ad- mit 3-dimensional isometry group G3, acting on the hypersurfaces of homo- geneity. Out of these models, the Bianchi type V universe is the general- ization of FRW model, which is homogeneous and isotropic. In Cartesian coordinates, the LRS Bianchi type V spacetimes metric is of the form [1]:
ds2 = −dt2 + A2 dx2 + e2mxB2 dy2 + dz2 , (2.1.1) where m is a constant and the metric functions A and B are dependent on t only. The above metric reduces to LRS Bianchi type I spacetime metric if m = 0 and conformal symmetries in Bianchi type I spacetimes have been recently discussed by Tsamparlis et. al. [20]. Thus throughout our analysis, we will take m as a non zero constant. The metric given in (2.1.1) admits
34 the following four linearly independent spatial Killing vectors [1]:
X1 = ∂y,X2 = ∂z,X3 = ∂x − my∂y − mz∂z,X4 = y ∂z − z ∂y. (2.1.2)
As mentioned in chapter 1, a conformal Killing vector X satisfies [17]:
c c c LX gab = gab,c X + gbc X,a + gac X,b = 2αgab, (2.1.3) where α, for the Bianchi type V spacetimes, is a function of the variables t, x, y and z. For the metric (2.1.1), Eq. (2.1.3) give rise to the following system of ten coupled partial differential equations:
0 X,0 = α, (2.1.4)
2 1 0 A X,0 − X,1 = 0, (2.1.5)
2mx 2 2 0 e B X,0 − X,2 = 0, (2.1.6)
2mx 2 3 0 e B X,0 − X,3 = 0, (2.1.7) ˙ 0 1 AX + AX,1 = αA, (2.1.8)
2mx 2 2 2 1 e B X,1 + A X,2 = 0, (2.1.9)
2mx 2 3 2 1 e B X,1 + A X,3 = 0, (2.1.10) ˙ 0 1 2 BX + mBX + BX,2 = αB, (2.1.11)
2 3 X,3 + X,2 = 0, (2.1.12) ˙ 0 1 3 BX + mBX + BX,3 = αB. (2.1.13)
In the above set of equations, a dot on a metric function is used to denote its derivative with respect to t and the commas in subscript are used to represent partial derivatives with respect to the spacetime coordinates. The simultaneous solution of this system will give conformal Killing vectors in
35 LRS Bianchi type V spacetimes. The procedure of solving the above system is explained below: Differentiating Eqs. (2.1.9), (2.1.10) and (2.1.12) with respect to z, y and x respectively, we have:
2mx 2 2 2 1 e B X,13 + A X,23 = 0, (2.1.14)
2mx 2 3 2 1 e B X,12 + A X,23 = 0, (2.1.15)
2 3 X,13 + X,12 = 0. (2.1.16)
Subtracting Eq. (2.1.15) from Eq. (2.1.14) and then adding the resulting
2 3 equation with Eq. (2.1.16), we get X,13 = 0 and X,12 = 0. Putting back 1 these values in Eq. (2.1.14), we obtain X,23 = 0. Thus we have:
1 2 3 X,23 = X,13 = X,12 = 0. (2.1.17)
Similarly if we differentiate Eqs. (2.1.6), (2.1.7) and (2.1.12) with respect to z, y and t respectively, we find that:
0 2 3 X,23 = X,03 = X,02 = 0. (2.1.18)
Solving Eqs. (2.1.17) and (2.1.18) simultaneously, we obtain the following system:
X0 = f 1(t, x, y) + f 2(t, x, z),
X1 = f 3(t, x, y) + f 4(t, x, z),
2 5 1 2 X = fy (t, x, y) + Fy (t, y) + F (y, z),
3 6 3 4 X = fz (t, x, z) + Fz (t, z) + Fz (y, z), (2.1.19) where f i and F j are unknown functions of integration which arise during the integration process, for i = 1, ..., 6 and j = 1, ..., 4. Using the system (2.1.19)
36 in Eqs. (2.1.6), (2.1.7), (2.1.9), (2.1.10) and (2.1.12) and doing some simple algebraic calculations, we get: 0 2mx 2 7 8 5 X = e B ft (t, x, y) + ft (t, x, z) + F (t, x), B2 X1 = − e2mx f 7(t, x, y) + f 8(t, x, z) + F 6(t, x), A2 x x 2 7 7 X = fy (t, x, y) − Fy (y, z),
3 8 7 X = fz (t, x, z) + Fz (y, z), (2.1.20) where f 7(t, x, y) = f 5(t, x, y) + F 1(t, y), f 8(t, x, z) = f 6(t, x, z) + F 3(t, z) and F k denote functions of integration, for k = 5, 6, 7. Subtracting Eq. (2.1.13)
2 3 form Eq. (2.1.11), we get X2 = X3 , which by using the above system gives:
7 7 8 7 fyy(t, x, y) − Fyy(y, z) = fzz(t, x, z) + Fzz(y, z). (2.1.21)
Differentiating Eq. (2.1.21) with respect to t, we have:
7 8 ftyy(t, x, y) = ftzz(t, x, z). (2.1.22)
7 Differentiating Eq. (2.1.22) with respect to y, we obtain ftyyy(t, x, y) = 0 and integrating this equation repeatedly with respect to y and t, we get:
1 f 7(t, x, y) = y2F 8(t, x) + yF 9(t, x) + F 10(t, x) + F 11(x, y). (2.1.23) 2
Using this value of f 7(t, x, y) in Eq. (2.1.22) and integrating the resulting equation, we find that:
1 f 8(t, x, z) = z2F 8(t, x) + zF 12(t, x) + F 13(t, x) + F 14(x, z). (2.1.24) 2
The functions F n, for n = 8, ..., 14, appearing in the last two equations are functions of integration. Using the above values of f 7(t, x, y) and f 8(t, x, z)
37 in Eq. (2.1.21) and differentiating the resulting equation with respect to x, we obtain:
11 14 Fxyy(x, y) = Fxzz(x, z). (2.1.25)
11 If we differentiate Eq. (2.1.25) with respect to y, it gives Fxyyy(x, y) = 0, which in turn yields:
1 F 11(x, y) = y2 G1(x) + y G2(x) + G3(x) + G4(y). (2.1.26) 2
Putting back this value in Eq. (2.1.25), we have:
1 F 14(x, z) = z2 G1(x) + z G5(x) + G6(x) + G7(z), (2.1.27) 2 where Gl, for l = 1, ..., 7 are functions of integration. Substituting all these values in the system (2.1.20), we get:
1 X0 = e2mxB2 (y2 + z2)F 8(t, x) + yF 9(t, x) + zF 12(t, x) + F 10(t, x) 2 t t t t 13 5 + Ft (t, x) + F (t, x), B2 1 X1 = − e2mx (y2 + z2)F 8(t, x) + yF 9(t, x) + zF 12(t, x) + F 10(t, x) A2 2 x x x x 1 + F 13(t, x) + (y2 + z2)G1(x) + yG2(x) + zG5(x) + G3(x) + G6(x) x 2 x x x x x + F 6(t, x),
2 8 9 1 2 4 7 X = yF (t, x) + F (t, x) + yG (x) + G (x) + Gy(y) − Fy (y, z),
3 8 12 1 5 7 7 X = zF (t, x) + F (t, x) + zG (x) + G (x) + Gz(z) + Fz (y, z). (2.1.28)
Once we get the final form of X0, the conformal factor α can be easily found from Eq. (2.1.4). In the above system , some functions are redundant and
38 can be removed if we set F 10(t, x) + F 13(t, x) + G3(x) + G6(x) = F 15(t, x), F 8(t, x) + G1(x) = F 16(t, x), F 9(t, x) + G2(x) = F 17(t, x) and F 12(t, x) + G5(x) = F 18(t, x) . With these substitutions, the system (2.1.28) gets the form:
1 X0 = e2mxB2 (y2 + z2)F 16(t, x) + yF 17(t, x) + zF 18(t, x) + F 15(t, x) 2 t t t t + F 5(t, x), B2 1 X1 = − e2mx (y2 + z2)F 16(t, x) + yF 17(t, x) + zF 18(t, x) + F 15(t, x) A2 2 x x x x + F 6(t, x),
2 16 17 4 7 X = yF (t, x) + F (t, x) + Gy(y) − Fy (y, z),
3 16 18 7 7 X = zF (t, x) + F (t, x) + Gz(z) + Fz (y, z). (2.1.29)
2mx 2 15 B2 2mx 15 Moreover, we can merge the terms e B Ft (t, x) and − A2 e Fx (t, x) in to the functions F 5(t, x) and F 6(t, x) respectively, which allow us to rewrite the system (2.1.29) as follows:
1 X0 = e2mxB2 (y2 + z2)F 16(t, x) + yF 17(t, x) + zF 18(t, x) + F 5(t, x), 2 t t t B2 1 X1 = − e2mx (y2 + z2)F 16(t, x) + yF 17(t, x) + zF 18(t, x) + F 6(t, x), A2 2 x x x 2 16 17 4 7 X = yF (t, x) + F (t, x) + Gy(y) − Fy (y, z),
3 16 18 7 7 X = zF (t, x) + F (t, x) + Gz(z) + Fz (y, z). (2.1.30)
Using this system in Eq. (2.1.4), we can find the conformal factor as:
1 α = e2mxB2 (y2 + z2)F 16(t, x) + yF 17(t, x) + zF 18(t, x) 2 tt tt tt 1 + 2e2mxBB˙ (y2 + z2)F 16(t, x) + yF 17(t, x) + zF 18(t, x) + F 5(t, x). 2 t t t t (2.1.31)
39 Differentiating Eq. (2.1.11) with respect to y and z respectively, we get
2 X,223 = 0 and using the system (2.1.30) in this identity, we have: 1 F 7 (y, z) = 0 ⇒ F 7(y, z) = G8(y)+ y2G9(z)+yG10(z)+G11(z), (2.1.32) yyyz 2
Gk, for k = 8, ..., 11, being functions of integration. The above value of F 7(y, z) can be rewritten in the following form if we differentiate Eq. (2.1.13) with respect to y and z:
1 nc o nc o F 7(y, z) = G8(y) + y2 1 z2 + c z + c + y 4 z2 + c z + c + G11(z). 2 2 2 3 2 5 6 (2.1.33) Subtracting Eq. (2.1.13) from Eq. (2.1.11) and using the system (2.1.30) and the above value of F 7(y, z) in the resulting equation, we obtain:
c c G4(y) − G8(y) = 1 y3 + 4 y2 + c y + c , (2.1.34) y y 6 2 7 8 c c G7(z) + G11(z) = − 1 z3 − 2 z2 + c z − c z + c . (2.1.35) z z 6 2 7 3 9
Let us denote c7 − c3 = c10 and c8 − c6 = c11. Using the values from Eqs. (2.1.33)-(2.1.35) in the system (2.1.30), we get the following form of the components of conformal Killing vectors, up to some unknown functions of t and x.
1 X0 = e2mxB2 (y2 + z2)F 16(t, x) + yF 17(t, x) + zF 18(t, x) + F 5(t, x), 2 t t t B2 1 X1 = − e2mx (y2 + z2)F 16(t, x) + yF 17(t, x) + zF 18(t, x) + F 6(t, x), A2 2 x x x c X2 = yF 16(t, x) + F 17(t, x) + 4 y2 − z2 − c yz − c z + c y + c , 2 2 5 10 11 c X3 = zF 16(t, x) + F 18(t, x) + 2 y2 − z2 + c yz + c y + c z + c . 2 4 5 10 9 (2.1.36)
40 The conformal factor is same as given in Eq. (2.1.31). Using the system (2.1.36) and the conformal factor in Eqs. (2.1.5), (2.1.8), (2.1.11) and equat- ing the like terms of the resulting equations, we obtain the following set of integrability conditions:
2 16 2 ˙ 16 16 A BFtt + A BFt + mBFx = 0, (2.1.37) 2 2 17 2 ˙ 17 2 17 2 −2mx A B Ftt + A BBFt + mB Fx − c4A e = 0, (2.1.38) 2 2 18 2 ˙ 18 2 18 2 −2mx A B Ftt + A BBFt + mB Fx + c2A e = 0, (2.1.39) 2 16 ˙ ˙ 16 16 16 A BFtt + A(2AB − AB)Ft + BFxx + 2mBFx = 0, (2.1.40) 2 17 ˙ ˙ 17 17 17 A BFtt + A(2AB − AB)Ft + BFxx + 2mBFx = 0, (2.1.41) 2 18 ˙ ˙ 18 18 18 A BFtt + A(2AB − AB)Ft + BFxx + 2mBFx = 0, (2.1.42) B2 ˙ 2B2F 16 + 2mB2F 16 + A2 F 16 = 0, (2.1.43) tx t A2 x B2 ˙ 2B2F 17 + 2mB2F 17 + A2 F 17 = 0, (2.1.44) tx t A2 x B2 ˙ 2B2F 18 + 2mB2F 18 + A2 F 18 = 0, (2.1.45) tx t A2 x 2 6 5 A Ft − Fx = 0, (2.1.46) ˙ 5 6 5 AF + AFx − AFt = 0, (2.1.47) ˙ 5 6 16 5 BF + mBF + BF − BFt = 0. (2.1.48)
y2+z2 At this stage, we introduce the new variables βi = (β1, β2, β3) = 2 , z, y , P i = (P 1,P 2,P 3) = (F 16,F 18,F 17), P 0 = F 5 and P 4 = F 6. With these variables, the conformal Killing vectors in (2.1.36) and the conformal factor in (2.1.31) can be rewritten in a more compact form as:
0 2mx 2 i 0 X = e B βiPt + P , B2 X1 = − e2mxβ P i + P 4, A2 i x 41 c X2 = β P i + 4 y2 − z2 − c yz − c z + c y + c , i,2 2 2 5 10 11 c X3 = β P i + 2 y2 − z2 + c yz + c y + c z + c , i,3 2 4 5 10 9 2mx 2 i 2mx ˙ i 0 α = e B βiPtt + 2e BBβiPt + Pt . (2.1.49)
Accordingly, the integrability conditions reduce to the following equations:
2 2 i 2 ˙ i 2 i 2 −2mx A B Ptt + A BBPt + mB Px − kiA e = 0, (2.1.50) B2˙ 2B2P i + 2mB2P i + A2 P i = 0, (2.1.51) tx t A2 x 2 i ˙ ˙ i i i A BPtt + A 2AB − AB Pt + BPxx + 2mBPx = 0, (2.1.52)
2 4 0 A Pt − Px = 0, (2.1.53) ˙ 0 4 0 AP + APx − APt = 0, (2.1.54) ˙ 0 4 1 0 BP + mBP + BP − BPt = 0, (2.1.55) where ki = 0, −c2, c4, for i = 1, 2, 3 respectively. To find the final form of conformal Killing vectors, we need to solve the above integrability conditions. It can be noticed that the above equations are highly non linear and cannot be solved directly as they stand. We solve the above system by assuming that P k(t, x) = Rk(t) + Hk(x), for k = 1, ..., 4. First let us find P 1 by setting P 1(t, x) = R1(t) + H1(x). Taking i = 1 in Eq. (2.1.50) and differentiating
1 1 it with respect to x, we obtain Hxx(x) = 0 ⇒ H (x) = c12x + c13, where c12, c13 ∈ R. Multiplying Eq. (2.1.50) by 2, Eq. (2.1.52) by B and then 1 ˙ 1 subtracting the resulting equations, we get ARtt(t) + ARt (t) = 0, so that 1 R −1 1 R −1 R (t) = c14 A dt + c15. Hence P = c12x + c14 A dt + c16, where 1 c16 = c13 + c15. Putting this value of P in Eqs. (2.1.50)-(2.1.52), for i = 1, we have the following two equations.
˙ ˙ c14AB − c14AB + c12mB = 0 , (2.1.56)
42 ˙ ˙ c12AB − c12AB + c14mB = 0 . (2.1.57)
One can easily solve the above two equations to get c12 = c14. Putting back c12 = c14 in Eqs. (2.1.56) and (2.1.57), we obtain:
AB˙ − AB˙ + mB = 0. (2.1.58)
1 1 R −1 Also, the value of the function P becomes P = c12x + c12 A dt + c16. This value of P 1 satisfy the integrability conditions (2.1.50)-(2.1.52) provided that the condition given in Eq. (2.1.58) holds. Now since P 4 = R4(t) + H4(x), so rearranging Eq. (2.1.54) and integrating
0 4 R −1 12 it with respect to t, we can write P = AHx(x) A dt + AG (x), where G12(x) is a function of integration. Putting this value of P 0 in Eq. (2.1.53) and then differentiating it with respect to t, we obtain:
n o 4 ˙ 4 4 A ARtt(t) + ARt (t) = Hxx(x) = c17,
where c17 is a separation constant. Integrating the above equation, we have
4 R −1 R −1 R −1 4 c17 2 R (t) = c17 A A dt dt+c18 A dt+c19, H (x) = 2 x +c20x+c21. 12 Putting back these values in Eq. (2.1.53), we get G (x) = c18x + c22. Hence we have: Z 0 −1 P = (c17x + c20) A A dt + (c18x + c22) A, Z Z Z c P 4 = c A−1 A−1dt dt + c A−1dt + 17 x2 + c x + c , 17 18 2 20 23 (2.1.59)
where c23 = c19 +c21. Differentiating Eq. (2.1.55) twice with respect to x and doing some simple algebraic manipulation, we obtain c12 = c17 = 0, c18 = c20
43 c20 c16 0 4 and c23 = c22 + m − m . Thus the values of P and P in (2.1.59) are reduced to: Z 0 −1 P = c18 A A dt + c18xA + c22A, Z c c P 4 = c A−1dt + c x + c + 18 − 16 . (2.1.60) 18 18 22 m m
1 1 Also by putting c12 = 0, the function P becomes P = c16. To find the function P 2, we assume that P 2(t, x) = R2(t) + H2(x). Differen-
2 tiating Eq. (2.1.51) for i = 2, we get Pxx = 0. Differentiating Eq. (2.1.50) 2 with respect to x and using Pxx = 0, we obtain ki = 0 ⇒ c2 = c4 = 0. The remaining procedure for finding P 2 is same as that of P 1, consequently
2 3 we have P = c24. Similarly we can show that P = c25. Putting back all these values in (2.1.49), we have the following final form of conformal Killing vectors: Z 0 −1 X = c18 A A dt + c18xA + c22A, Z c c X1 = c A−1dt + c x + c + 18 − 16 , 18 18 22 m m 2 X = −c5z + c16y + c11,
3 X = c5y + c16z + c9, Z ˙ −1 ˙ ˙ α = c18 + c18 A A dt + c18xA + c22A, (2.1.61)
where we have merged the constants c10, c24 and c25 in c16, c9 and c11 respec- tively. The above conformal Killing vectors are given subject to the condition given in Eq. (2.1.58). From (2.1.61), it is clear that LRS Bianchi type V spacetimes admit six conformal Killing vectors, provided that the metric functions A and B satisfy the condition given in Eq. (2.1.58). In order to
44 obtain the conformal Killing vectors in some particular cases, we consider the following additional cases:
Case 1: If we take A = A(t) and B = m1, where m1 is a non zero con- stant, then Eq. (2.1.58) can be easily solved to get A = mt + m2, where m2 ∈ R. Thus the metric given by Eq. (2.1.1), after a suitable rescaling, can be written as:
ds2 = −dt2 + m2t2 dx2 + e2mx dy2 + dz2 . (2.1.62)
For this metric, the conformal Killing vectors and conformal factor in (2.1.61) reduce to:
nc o X0 = mt 18 ln mt + c x + c , m 18 22 c c c X1 = 18 ln mt + c x + c + 18 − 16 , m 18 22 m m 2 X = −c5z + c16y + c11,
3 X = c5y + c16z + c9,
α = c18 + c18 ln mt + c18mx + c22m. (2.1.63)
Thus the metric given in Eq. (2.1.62) admits six conformal Killing vectors with one proper conformal Killing vector given by:
1 1 X = (t ln mt + mtx) ∂ + ln mt + x + ∂ . 6 t m m x
The dimension of homothetic algebra is five with one proper homothetic vec- tor, which can be written as X5 = mt ∂t + ∂x. The dimension of group of isometries in this case is four with the four Killing vectors same as men- tioned in (2.1.2). The non zero commutators of Lie algebra of the above six
45 conformal Killing vectors are given by:
[X1,X3] = −m X1, [X1,X4] = −X2, [X2,X3] = −m X2,
[X2,X4] = X1, [X3,X6] = X5, [X5,X6] = 2X5.
Case 2: Here we take A = m1, where m1 6= 0 ∈ R and B = B(t). With mt − m these values, Eq. (2.1.58) yields B = m2 e 1 . Assuming m1 = m2 = 1, the LRS Bianchi type V spacetimes metric (2.1.1) takes the form:
ds2 = −dt2 + dx2 + e2m(x−t) dy2 + dz2 . (2.1.64)
For this metric, the conformal Killing vectors in (2.1.61) reduce to:
0 X = c18t + c18x + c22, c c X1 = c t + c x + c + 18 − 16 , 18 18 22 m m 2 X = −c5z + c16y + c11,
3 X = c5y + c16z + c9,
α = c18, (2.1.65) which shows that the metric given in (2.1.64) admit no proper conformal Killing vector and the conformal Killing vectors in this case are homothetic vectors with one proper homothetic vector, given by: 1 X = (t + x) ∂ + t + x + ∂ . 6 t m x Also the dimension of isometry group is five. Four Killing vectors are same as mentioned in (2.1.2) and the fifth Killing vector is expressible in the form
X5 = ∂t + ∂x. In this case the Lie algebra of the above homothetic vectors has the following non zero commutators:
[X1,X3] = −m X1, [X1,X4] = −X2, [X2,X3] = −m X2,
[X2,X4] = X1, [X3,X6] = X5, [X5,X6] = 2X5.
46 2.2 Inheriting Conformal Killing Vectors in LRS Bianchi type V Spacetimes
The conformal Killing vectors, up to some unknown functions of t and x, for LRS Bianchi type V spacetimes are given in (2.1.49) along with some integrability conditions (2.1.50)-(2.1.55). In this section, we take X as an inheriting conformal Killing vector. As mentioned in chapter 1, such type of conformal Killing vectors satisfy the following additional condition [18]:
b b LX ua = ua,b X + ub X,a = α ua, (2.2.1)
a a where ua signifies four velocity of the fluid. We choose u = δ0 , then the relation (2.2.1) produces the following equations:
0 X,0 = α, (2.2.2)
0 X,i = 0, i = 1, 2, 3 (2.2.3) which suggests that in (2.1.49) we must have X0 = P 0(t) and P i = P i(x), for i = 1, 2, 3. Also Eq. (2.1.53) implies that P 4 = P 4(x). The remaining integrability conditions reduce to:
2 i 2 −2mx mB Px(x) − kiA e = 0 , (2.2.4) B2 ˙ P i(x) = 0 , (2.2.5) A2 x i i Pxx(x) + 2mPx(x) = 0 , (2.2.6) ˙ 0 4 0 AP (t) + APx (x) − APt (t) = 0 , (2.2.7) ˙ 0 4 1 0 BP (t) + mBP (x) + BP (x) − BPt (t) = 0 . (2.2.8)
From Eq. (2.2.5), two possible cases arise, namely, B 6= cA and B = cA, where c is a non zero constant. Taking B 6= cA, one can easily solve the
47 system of Eqs. (2.2.4)-(2.2.8) to get the following inheriting conformal Killing vectors:
0 X = c12A, c c X1 = 12 − 13 , m m 2 X = c13y − c5z + c14,
3 X = c13z + c5y + c15, ˙ α = c12A, (2.2.9)