1. Introduction
Let be a spacetime, where is a four-dimensional connected smooth Hausdorff manifold and g is a smooth Lorentz metric of signature . Let ∇ be the Levi–Civita connection associated with g and be the corresponding type (1, 3) Riemannian curvature tensor. The type (1, 3) Weyl conformal curvature tensor of is denoted by . The components of and are written as and and the Ricci tensor and Ricci scalar R are defined, in components, by and , respectively.
In mathematics and theoretical physics, the study of spacetime symmetries is of great interest for contemporary researchers. In addition, the spacetime symmetries are very useful for finding the solutions to Einstein’s field equation (EFE) if its existence occurs, and provide further intuition toward conservation laws of generators in dynamical systems [
1]. Much interest has been shown in the various symmetries of the geometrical structures on
, and details are available in ([
1,
2,
3]). Gravitational classification can be carried out through the help of geometrical symmetries of spacetime in general relativity. Moreover, motion/isometry or Killing symmetry is one of the most primary symmetries of a spacetime. This is defined along a vector field under the condition that the Lie derivative of metric tensor vanishes.
An elegant restructuring form of classical mechanics is finalized by the general theory of relativity. This theory wraps the time and the space co-ordinates into a single continuum, called as spacetime. This theory is also called as the theory of gravitation in spacetime, which is described by the Einstein’s field equation and these equations describe a system of ten coupled highly nonlinear PDEs, given as the following
where
denotes the components of the stress-energy tensor and
is the gravitational constant. In the field Equation (
1), the left part depicts the geometrical meaning of spacetime, whereas the right part describes the physical significance of the spacetime of general relativity.
The study of spacetime symmetries is an important tool in finding the exact solution of the system (
1). The spacetime symmetries play a pivotal role in understanding the relationship between matter and geometry by EFE. The different classes of spacetime symmetries, such as the isometries, homothetic motion, conformal motion, curvature symmetry, curvature inheritance symmetry, Ricci symmetry, Ricci inheritance symmetry, matter collineations, matter inheritance collineations, conharmonic symmetries, semi-conformal symmetry, etc., are well known in the literature ([
1,
2,
3,
4,
5,
6]). The spacetime symmetries are important not only in finding the exact solutions of EFE, but also in providing spacetime classifications along with an invariant basis (preferably, the basis of null tetrad can be chosen). The spacetime symmetries are also a popular tool in investigating many conservation laws in the theory of general relativity [
5]. Moreover, certain geometrical and physical notions are also described by spacetime symmetries, such as the conservation of linear momentum, angular momentum and energy [
7]. The symmetries regarding spacetime
are determine by the following mathematical equation [
8]:
where
stands for the Lie derivative operator, with respect to the vector field
,
is some smooth scalar function on the spacetime and
is any of the physical quantities (
), where
are the energy density, the isotropic pressure, the velocity vector, the shear tensor, the shear viscosity coefficient and the energy flux vector, respectively, and geometrical quantities, such as the components of the metric tensor
, Riemannian curvature tensor
, Ricci tensor
, conharmonic curvature tensor
, contracted conharmonic curvature tensor
, energy momentum tensor
, etc. The most primary symmetry on
is motion (M), which is obtained by setting
and
in Equation (
2). Then, Equation (
2) will be called the Killing equation, and the vector satisfying it is known as the Killing vector. Equation (
2) can also be explicitly written as the following:
where the subscript comma
stands for the partial differentiation, with respect to the coordinates
in the spacetime.
The gravitational field consists of two parts viz., the free gravitational part and the matter part, which is described by the Riemannian curvature tensor in the general theory of relativity. The connection between these two parts is explained through Bianchi’s identities [
9]. The principal aim of all investigations in gravitational physics is focused on constructing the gravitational potential (metric) satisfying the Einstein field equations.
In the present research paper, we raise the following fundamental problem:
How are the geometrical symmetries of the spacetime
associated with the conharmonic curvature symmetry vector field, under the condition that this vector is inherited by some of the source terms of the energy-momentum tensor in the field equations? In this paper, we discuss the conharmonic curvature inheritance symmetry with respect to conformal motion, conharmonic motion and source terms of perfect, imperfect and anisotropic fluid spacetime. Our present work is mainly influenced by the work carried out towards the symmetries, such as the curvature inheritance, Ricci inheritance, and matter inheritance on the semi-Riemannian manifold. This concept of symmetry inheritance was initiated in 1989 by Coley and Tupper [
10] for the special conformal Killing vector (SCKV), and was then further studied in 1990 for CKV ([
11,
12]). In 1992 and 1993, K. L. Duggal introduced the concept of inheritance symmetry for the curvature tensor of Riemannian spaces with physical applications to the fluid spacetime of general relativity ([
2,
13]).
The above abundant work motivated us to inquire about the inheritance symmetry of the conharmonic curvature tensor in spacetime. The conharmonic curvature inheritance symmetry is defined through Equation (
2), where
is replaced by the conharmonic curvature tensor. The structure of our manuscript is as follows: the preliminaries are given in
Section 2. In
Section 3, we elaborate on the concept of curvature inheritance symmetry with some of the related results. In
Section 4, we derive the relationship of symmetry inheritance with other known symmetries, such as both conformal motion and conharmonic motion in general and Einstein spacetime. We have established some important results as a witness to the physical application of the Conh CI symmetry in spacetime for perfect, imperfect and anisotropic fluid in
Section 5. Finally,
Section 6 is a brief conclusion. Furthermore, in an attempt to support our study, which is related to the solution of EFE and conservation law of generators, we have constructed some non-trivial examples that are embedded in the
Appendix A after the conclusion.
2. Preliminaries
If the Lie derivative of the Riemann curvature tensor, along a vector field
, vanishes i.e.,
, then it is called a curvature collineation (CC), which was introduced by Katzin et al. [
5] in 1969. The Ricci collineation (RC) is obtained by the contraction of the expression
and is given by
.
Conformal motion (Conf M) along a vector
is defined in the following manner:
where
is the conformal function on
and
is called the conformal Killing vector (CKV). If
satisfies the condition
then
is the special conformal Kiling vector field (SCKV), where the semi-colon (;) represents the covariant differentiation. The next subclass is homothetic motion (HM), if
and motion (M), if
The projective collineation (PC) satisfies
, where
denotes the Weyl projective curvature tensor in
and is defined as follows:
The projective collineation is defined in another way by a vector field
satisfying
where
for a scalar field
,
are the components of the Christoffel symbol of the Riemannian metric g and
stands for the Kronecker delta.
The curvature inheritance (CI) ([
2,
3]) along a vector field
is defined on the Riemannian space as:
where
is an inheritance function of spacetime coordinates and vector field
is called the curvature inheritance vector and is abbreviated as (CIV). Similarly, the Ricci inheritance (RI) is defined as
The vector field
is called the Ricci inheritance vector (RIV). As we know that every CIV is a RIV, and from [
2], we have
and
where
The study of the exact solutions of the Einstein field equation and related conservation laws is carried out with symmetry assumptions on spacetime. In addition, such a study is carried out by numerous authors by adopting various methods (cf., [
1,
5,
14]).
The introduction of the conharmonic transformation as a subgroup of the conformal transformation was given by Ishii [
15] and defined the following transformation,
where
stands for the scalar function and also the following condition holds:
On spacetime
, a quadratic Killing tensor is a generalization of a Killing vector and is defined as a second-order symmetric tensor
[
16] satisfying the condition:
A vector field
in a semi-Riemannian space is said to generate a one-parameter group of curvature collineations [
17] if it satisfies:
A Riemannian space is conformally flat [
18] if
A Riemannian space is conharmonically flat [
16] if
3. Conharmonic Curvature Inheritance Symmetry
A (1, 3)-type conharmonic curvature tensor
, which is unaltered under the conharmonic transformation (
13) and (
14), can be explicitly expressed as the following equation [
19]:
We introduce the notion of conharmonic curvature inheritance symmetry as follows.
Definition 1. On spacetime with Lorentzian metric g, a smooth vector field ξ is said to generate a conharmonic curvature inheritance symmetry if it satisfies the following equation:where α = is an inheritance function. Proposition 1. If a spacetime admits the following symmetry inheritance equations:then that spacetime necessarily admits Conh CI along a vector field ξ. Proof. The proof is obtained directly by taking the Lie derivative of the Equation (
19), andusing above symmetry inheritance equations we have
. Thus, spacetime admits Conh CI along a vector field
. □
Example 1. Consider the following line element of a de Sitter spacetime:where λ is a constant. This line element admits a proper CKV, = (, 0, 0, 0), for which A straightforward computation of the components , and then taking the Lie derivative with respect to ξ, indicates that ξ is a CIV and, therefore, an RIV. Thus, this example of with the above metric is compatible with Proposition 1, i.e., de Sitter spacetime satisfying the Conh CI symmetry. In this research article, we are considering the inheritance function as being the same as the conformal function. If
= 0, then (
20) reduces to
, which is called conharmonic curvature collineation (Conh CC) [
4]. Contracting (
20), we obtain
where
denotes the contracted conharmonic curvature tensor on a spacetime
[
16], and it is invariant under the transformation (
13).
Definition 2. On spacetime , a smooth vector field ξ is said to generate a contracted conharmonic curvature inheritance symmetry if it satisfies the Equation (22). Thus, in general, every Conh CI vector is a contracted Conh CI vector, but its converse may not hold. In particular, if
= 0, (
22) reduces to
Definition 3. A vector field ξ satisfying (23) is called a contracted conharmonic curvature collineation vector field. If
0, then a vector field
satisfying (
22) is called a proper contracted Conh CI vector. Contracting Equation (
19), we obtain
Lemma 1. If a spacetime admits the contracted conharmonic curvature tensor, then the scalar curvature of the spacetime will be constant.
Proof. Recently, ref. [
16] U. C. De, L. Velimirovic and S. Mallick studied the characteristics of the contracted conharmonic curvature tensor (
) as follows: “In a spacetime, the contracted conharmonic curvature tensor is a quadratic Killing tensor”, or it can be written as
with the use of Equation (
15). They also stated that “a necessary and sufficient condition for contracted conharmonic curvature tensor [to] be a quadratic Killing tensor is that the scalar curvature of the spacetime be constant”. Now, using Equation (
24) in
, we obtain
This completes the proof. □
Remark 1. On the Lie derivative of (24) along a proper conformal Killing vector field ξ (4), and using (25), we can easily show that Equation (22) is well defined on spacetime . Theorem 1. If a spacetime admits Conh CI along a vector field ξ, then the following identities hold: Proof. Contracting Equation (
20), we obtain
, which proves (a) and implies that every Conh CI is a contracted Conh CI. The proof of (b) follows by
and the use of Equation (
4), which leads to
. Now, comparing with part (a) and the rearrangement, we obtain the required result (b). Since spacetime
also admits the conharmonic curvature tensor, and, in general, every conharmonic curvature tensor
is a contracted conharmonic curvature tensor
, under the hypothesis of Lemma 1, this implies that the scalar curvature is constant. Now, following the Lie derivative of Equation (
25) proves part (c). □
Remark 2. Clearly, under the hypothesis of Theorem 1, spacetime generates a one-parameter group of curvature collineation [17]. In the empty spacetime , the tensors and are identical. This implies that, in empty spacetime, Conh CI reduces to curvature inheritance symmetry.
Now, here, we obtain the result on the symmetry inheritance for the spacetime admitting the conformal curvature tensor under consideration of Conh CI.
Theorem 2. If a spacetime () admits the conharmonic curvature inheritance symmetry along a vector field ξ, the conformal curvature tensor satisfies the symmetry inheritance property.
Proof. The conformal curvature tensor is
and this expression is also written in terms of
and
as
Taking the Lie derivative of (
27) and using (
20) and (
22), we obtain
This completes the proof. □
Now, we state Theorem 3(e) from [
2], i.e., “If a spacetime (
) admits a CI, then the following identity holds:
where
and
″.
The above result raises the following open problem [
13]: “Find condition on (
), with a proper CI symmetry such that
vanishes”. From Theorem 2, we solve the above open problem for the spacetime (
) to admit proper Conh CI. If a spacetime admits Conh CI symmetry, then (
29) is singled out as free from the term
. At this point, we mention that Conh CI is very important in the comparison of the CI symmetry; it restricts (
) to a very limited geometrical use, as well as physical use.
Remark 3. The Theorem 2 gives us a motivation of the Conh CI symmetry of spacetime, since it implies the conformal curvature inheritance symmetry (28). On the other hand, the CI does not imply the conformal curvature inheritance symmetry. Now, we shall investigate the role of such a symmetry inheritance for the spacetime admitting the Weyl projective curvature tensor .
Theorem 3. Under the hypothesis of Proposition 1, if a spacetime () admits the Weyl projective tensor with Conh CI along a vector field ξ, then the Weyl projective tensor also holds the symmetry inheritance property.
Proof. Let a spacetime (
) admit the Weyl projective tensor with a Conh CI along a vector field ξ; this tensor is expressed as
Taking the Lie derivative of (
30), we have
Further, from Proposition 1, (
) also admits a CIV and RIV, so we have
This completes the proof. □
Theorem 4. If a spacetime admits a Conh CI along vector ξ, then it satisfies the condition Proof. As we know that the conharmonic curvature tensor satisfies the identity
we can also write
Taking the Lie derivative of (
35), using Equations (
20) and (
4), we obtain
Now, using the expression of
and Equation (
4) in Equation (
36), we obtain
Applying the Ricci identity [
9] on (
37), we obtain (
33), which completes the proof. □
Remark 4. If we multiply by in (33), we obtain the Komar’s identity [20]where g= det() and Equation (33) is a necessary condition for a Conh CI and is also independent of the inheritance function α of (20), and is the same as for CC and CI. Komar’s identity directly interplays in the conservation law generator in general relativity [20], where (, g) admits curvature symmetry properties. As Komar’s identity holds for all vector fields ξ on for a CC, CI plays no restriction on this symmetry vector ξ. Hence, Conh CI are the necessary symmetry properties of spacetime (, g) that are embraced by the group of general curvilinear co-ordinate transformations in . Furthermore, following the condition that Equation (
39) is independent of the scalar function α in a (
20), we observe that Conh CI retains this conharmonic transform characteristics of the Conh CC of the spacetime geometry.
5. Physical Interpretation to Fluid Spacetimes of General Relativity
In this section, we consider different types of fluid spacetimes as applications of Conh CI. If
is a spacetime of the general theory of relativity with imperfect fluid (heat conducting and viscous) and a stress-energy tensor of the form:
where projection tensor
and shear viscosity coefficient
η is non-negative, and the term (
) in Equation (
79) vanishes if
and
separately, then Equation (
79) represents the stress-energy tensor for perfect fluid spacetime, i.e.,
In anisotropic fluid spacetime, the stress-energy tensor is of the form:
where
and
are the parallel and perpendicular components of the isotropic pressure to a unit vector
orthogonal to
, respectively.
is the projection tensor onto the two orthogonal planes of vectors
and
.
If and , then the form of the energy momentum tensor in anisotropic fluid is identical to imperfect fluid with .
Since self similar imperfect fluid spacetime admits homothetic vector
, i.e., self similarity is imposed on Equation (
79), then the following equation holds [
2]:
From (
82), we conclude that all physical quantities (
) inherit the spacetime symmetry defined by
. Tupper and Coley [
10] have investigated the conditions for an imperfect fluid to inherited symmetry (
82) for a SCKV. Saridakis [
25] et al. have solved the problem of symmetry inheritance for a spacelike proper CKV and other types of symmetry. Furthermore, Duggal [
2] has also investigated the conditions for imperfect fluid, perfect fluid and anisotropic fluid to inherited symmetry (
82) for a CIV, and Z. Ahsan [
26] has investigated the necessary and sufficient conditions for perfect fluid spacetimes to admit Ricci inheritance symmetry.
We shall now consider spacetimes that admit a CKV
, i.e.,
where
is the conformal function. As this is known for a CKV ξ in fluid spacetime, then the following result holds [
27]:
where
is the spacelike vector orthogonal to
, i.e.,
= 0. Maartens [
27] et al. have shown that
generally, and is given by
where the vorticity tensor is denoted by
and
. Fluid flow lines are mapped onto fluid flow lines by the action of
if
. They are also said to be “frozen in” curves to the fluid.
For a CKV
[
10], the following results hold:
and the Einstein field equations are in the form
In this section, we shall prove some results for the perfect fluid, imperfect fluid and anisotropic fluid on spacetime
that admit the Conh CI vector
.
Theorem 13. Let an imperfect fluid spacetime admit Conh CI symmetry along a vector field ξ, where fluid flow lines are mapped conformally by ξ. Then, the following equations hold: Proof. The contraction of the Einstein field Equations (
89) leads to
Similarly, from Equation (
79),
Now, using the dynamic result for
of imperfect fluid by Equation (
79), it leads to (cf., [
2]), i.e.,
where
. It is seen that the fluid flow lines are mapped conformally by
. This implies that
. Hence,
and Equation (
94) reduces to
For imperfect fluid, when using (EFE) (
89) with conditions
,
and
, we obtain
If we set,
then, from [
2], every CIV is also a CKV. Theorem 8 implies that spacetime admits Conh CI symmetry. If we multiply Equation (
97) by
, and using Equation (
96) and
(
is timelike), then we obtain
In view of (
44)(b), Equations (
95) and (
98) yield
; this implies that
μ is constant under Lie differentiation. The proof of Equation (
90)(b) follows from
and
, (
44)(b), (
93) and (
98).
Using
in Equation (
84), we obtain (
90)(c).
Moreover, from [
2], it follows that,
which proves Equation (
91)(a). For imperfect fluid spacetime (with
of the form (
79)), we have [
2]
Contracting Equation (
101) with
and using (
79),
,
and Einstein field Equation (
89), we obtain
which leads to
i.e., (
91)(b) is proved. Finally, we prove (
91)(c):
Since the
of imperfect fluid is represented by Equation (
79), we have [
10]
from (
103), Equation (
104) leads to
□
Theorem 14. Let an imperfect fluid spacetime admit a Conh CIV with 0 and . Then,
(a) An eigenvector of is ;
(b) is conformally mapped by fluid flow lines.
Proof. For an imperfect fluid, using the Einstein field Equation (
89) with conditions
,
and
, we obtain
Notice that, from Equation (
105),
is a timelike eigenvector of
. After multiplying
in Equation (
97), and from (
105) and (
93), we obtain
which shows that
is an eigenvector of
; this proves the first part of the theorem. Now, using Equation (
90)(c) in (
84), we obtain
, i.e, the vector ξ is conformally mapped by fluid flow lines, and, hence, the proof of part (b) is complete. □
Theorem 15. Let a perfect fluid spacetime admit a Conh CIV ξ with ; then, the following equations hold: Proof. First, contracting Equation (
89), we obtain
and then, contracting Equation (
80), we obtain
Next, we use a dynamic result for perfect fluid with
of the form (
80) along a CKV vector field
that was derived by Duggal in [
2]:
In a perfect fluid spacetime, using the (EFE) (
89) with conditions
,
and
, we obtain
If we multiply both sides by
in (
97) and use Equation (
111) and
(
is timelike), then we obtain
Now using Equations (
44)(b) and (
112) in (
110), we obtain
, i.e., Equation (
107)(a) holds. Equation (
107)(b) follows from
Moreover, the use of Equations (
44)(b), (
112) and (
109) in Equation (
113) establishes the proof. □
Theorem 16. Let a perfect fluid spacetime admit a Conh CIV and . Then,
- (a)
An eigenvector of is ;
- (b)
Fluid flow lines are mapped conformally along the vector field ;
- (c)
Proof. The proof of the first part (a) is the same as the proof of the first part of Theorem 14. Now, we prove the second part of the theorem. By applying a dynamic result for a Conh CI vector in perfect fluid spacetime, we have [
2]
Now, using Equations (
106) and (
112) in (
114), we obtain
Finally, using Equation (
115) in Equation (
84), we obtain
.
Now, we conclude that, by vector field ξ, the fluid flow lines are mapped conformally to Conh CI admitted by perfect fluid spacetime; consequently, the four-velocity vector is also inherited. □
Theorem 17. Let anisotropic fluid spacetime admit a Conh CIV ξ with and ; then, the following equations hold: Proof. For anisotropic fluid spacetime, the stress energy tensor is given by Equation (
81). Now multiplying both sides of Equation (
89) by
and
, we obtain
and
respectively. Moreover, from Equations (
97) and (
118), we have
Since, for anisotropic fluid,
μ must satisfy the following [
2],
From Theorem 5 (a), and Equation (
120), Equation (
121) reduces to (
116)(a). The proof of the second part of (
116) is followed by combining Equation (
97) and (
119); therefore,
In anisotropic fluid,
must satisfy the following [
2]:
Again, using Equations (
44)(a) and (
122), Equation (
123) reduces to (
116)(b). The proof of the third part is as follows:
and using Equation (
97), we obtain
If we put the value of
and
in Equation (
126), then (
116)(c) holds, as we know that
For an anisotropic fluid, we have
and
Now, by virtue of Equations (
127) and (
128), Equation (
129) reduces to
We conclude that, from the above equations,
and
must be parallel. This result, combined with
, implies
; thus, from (
84), we have
. □
Theorem 18. A perfect fluid spacetime admits Conh CI along a conformal Killing vector field ξ and also satisfies the EFE (1); then, the divergence of the conharmonic curvature tensor vanishes. Proof. Let ξ be a Conh CI vector and also a CKV satisfying (
20); then,
With the Einstein field Equations (
90) and (
44)(b), we obtain
Equation (
132) explores a new equation of state for various matter. Perfect fluid spacetime satisfies (
80) with
or
. Then,
Now, we use
and Equation (
109) in the above equation to obtain
; therefore,
(cf., Theorem (2.1) in [
4]).
One can prove a similar result for an anisotropic fluid and imperfect fluid spacetime. □