1. Introduction
Recently, in [1], Shaikh introduced and studied Lorentzian concircular structure manifolds (briefly (LCS)-manifold) which generalizes the notion of LP-Sasakian manifolds, introduced by Matsumoto [2].
Generalizing the notion of LP-Sasakian manifold in 2003 [1], Shaikh introduced the notion of (LCS) n-manifolds along with their existence and applications to the general theory of relativity and cosmology. Also, Shaikh and his coauthors studied various types of (LCS) n-manifolds by imposing the curvature restrictions (see [3–6]). In [7, 8], the authors also studied (LCS) 2n+1-manifolds.
The submanifold of an (LCS) n-manifold is studied by Atceken and Hui [9, 10] and Shukla et al. [11]. In [12], Yano and Sawaki introduced the quasi-conformal curvature tensor, and later it was studied by many authors with curvature restrictions on various structures [13].
After then, the same author studied weakly symmetric (LCS) n-manifolds by several examples and obtain various results in such manifolds. In [7], authors shown that a pseudo projectively flat and pseudo projectively recurrent (LCS) n manifolds are η-Einstein manifold.
On the other hand, in [5], authors proved the existence of ϕ-recurrent (LCS) 3 manifold which is neither locally symmetric nor locally ϕ-symmetric by nontrivial examples. Furthermore, they also give the necessary and sufficient conditions for a (LCS) n-manifold to be locally ϕ-recurrent.
In this study, we have investigated the quasi-conformal flat (LCS) n-manifolds satisfying properties such as Ricci-symmetric, locally symmetric, and η-Einstein. Finally, we give an example for η-Einstein manifolds.
2. Preliminaries
An
n-dimensional Lorentzian manifold
M is a smooth connected paracompact Hausdorff manifold with a Lorentzian metric tensor
g, that is,
M admits a smooth symmetric tensor field
g of the type (2,0) such that, for each
p ∈
M,
()
is a nondegenerate inner product of signature (−, +, +, …, +). In such a manifold, a nonzero vector
Xp ∈
TM(
p) is said to be timelike (resp., nonspacelike, null, and spacelike) if it satisfies the condition
gp(
Xp,
Xp) < 0 (resp., ≤0, =0, >0). These cases are called casual character of the vectors.
Definition 1. In a Lorentzian manifold (M, g), a vector field P defined by
()
for any
X ∈ Γ(
TM) is said to be a concircular vector field if
()
for
Y ∈ Γ(
TM), where
α is a nonzero scalar function,
A is a 1-form,
w is also closed 1-form, and ∇ denotes the Levi-Civita connection on
M [
7].
Let
M be a Lorentzian manifold admitting a unit timelike concircular vector field
ξ, called the characteristic vector field of the manifold. Then we have
()
Since
ξ is a unit concircular unit vector field, there exists a nonzero 1-form
η such that
()
The equation of the following form holds:
()
for all
X,
Y ∈ Γ(
TM), where
α is a nonzero scalar function satisfying
()
ρ being a certain scalar function given by
ρ = −
ξ(
α).
Let us put
()
then from (
6) and (
8), we can derive
()
which tell us that
ϕ is a symmetric (1,1)-tensor. Thus the Lorentzian manifold
M together with the unit timelike concircular vector field
ξ, its associated 1-form
η, and (1,1)-type tensor field
ϕ is said to be a Lorentzian concircular structure manifold.
A differentiable manifold
M of dimension
n is called (LCS)-manifold if it admits a (1,1)-type tensor field
ϕ, a covariant vector field
η, and a Lorentzian metric
g which satisfy
()
()
()
()
for all
X ∈ Γ(
TM). Particularly, if we take
α = 1, then we can obtain the
LP-Sasakian structure of Matsumoto [
2].
Also, in an (LCS)
n-manifold
M, the following relations are satisfied (see [
3–
6]):
()
()
()
()
()
()
for all vector fields
X,
Y,
Z on
M, where
R and
S denote the Riemannian curvature tensor and Ricci curvature, respectively,
Q is also the Ricci operator given by
S(
X,
Y) =
g(
QX,
Y).
Now let (
M,
g) be an
n-dimensional Riemannian manifold; then the concircular curvature tensor
, the Weyl conformal curvature tensor
C, and the pseudo projective curvature tensor
are, respectively, defined by
()
()
()
where
a and
b are constants such that
a,
b ≠ 0, and
τ is also the scalar curvature of
M [
7].
For an
n-dimensional (LCS)
n-manifold the quasi-conformal curvature tensor
is given by
()
for all
X,
Y,
Z ∈ Γ(
TM) [
14].
The notion of quasi-conformal curvature tensor was defined by Yano and Swaki [12]. If a = 1 and b = −1/(n − 1), then quasi-conformal curvature tensor reduces to conformal curvature tensor.
3. Quasi-Conformally Flat (LCS)n-Manifolds and Some of Their Properties
For an
n-dimensional quasi-conformally flat (LCS)
n-manifold, we know for
Z =
ξ from (
23),
()
Here, taking into account of (
16), we have
()
Let
Y =
ξ be in (
25); then also by using (
18) we obtain
()
Taking the inner product on both sides of the last equation by
Y, we obtain
()
that is,
()
Now we are in a proposition to state the following.
Theorem 2. If an n-dimensional (LCS) n-manifold M is quasi-conformally flat, then M is an η-Einstein manifold.
Now, let {
e1,
e2, …,
en−1,
ξ} be an orthonormal basis of the tangent space at any point of the manifold. Then putting
X =
Y =
ei,
ξ in (
28), and taking summation for 1 ≤
i ≤
n − 1, we have
()
In view of (
28) and (
29), we obtain
()
which is equivalent to
()
for any
X ∈ Γ(
TM).
By using (
29) and (
31) in (
23) for a quasi-conformally flat (LCS)
n-manifold
M, we get
()
for all
X,
Y,
Z ∈ Γ(
TM). If we consider Schur′s Theorem, we can give the following the theorem.
Theorem 3. A quasi-conformally flat (LCS) n-manifold M (n > 1) is a manifold of constant curvature (α2 − ρ) provided that a + b(n − 2) ≠ 0.
Now let us consider an (LCS)
n-manifold
M which is conformally flat. Thus we have from (
21) that
()
for all vector fields
X,
Y,
Z tangent to
M. Setting
Z =
ξ in (
33) and using (
16), (
18) we have
()
If we put
Y =
ξ in (
34) and also using (
18), we obtain
()
Corollary 4. A conformally flat (LCS) n-manifold is an η-Einstein manifold.
Generalizing the notion of a manifold of constant curvature, Chen and Yano [15] introduced the notion of a manifold of quasi-constant curvature which can be defined as follows:
Definition 5. A Riemannian manifold is said to be a manifold of quasi-constant curvature if it is conformally flat and its curvature tensor of type (0,4) is of the form
()
for all
X,
Y,
Z,
W ∈ Γ(
TM), where
a,
b are scalars of which
b ≠ 0 and
A is a nonzero 1-form (for more details, we refer to [
13,
16]).
Thus we have the following theorem for (LCS) n-conformally flat manifolds.
Theorem 6. A conformally flat (LCS) n-manifold is a manifold of quasi-constant curvature.
Proof. From (33) and (35), we obtain
()
This implies (
36) for
()
This proves our assertion.
Next, differentiating the (
19) covariantly with respect to
W, we get
()
for any
X,
Y ∈ Γ(
TM). Making use of the definition of ∇
S and (
8), we have
()
Thus we have
()
Here taking account of (
17), we arrive at
()
Again, by using (
13), (
18), and (
19), we reach
()
Thus we have the following theorem.
Theorem 7. If an (LCS) n-manifold M is Ricci-symmetric; then α2 − ρ is constant.
Proof. If n > 1-dimensional (LCS) n-manifold M is Ricci-symmetric, then from (43) we conclude that
()
It follows that
()
from which
()
which is equivalent to
()
that is,
()
which proves our assertion.
Since ∇R = 0 implies that ∇S = 0, we can give the following corollary.
Corollary 8. If an n-dimensional (LCS) n-manifold M is locally symmetric, then α2 − ρ is constant.
Now, taking the covariant derivation of the both sides of (
18) with respect to
Y, we have
()
From the definition of the covariant derivation of Ricci-tensor, we have
()
If an (
LCS)
n-manifold
M Ricci symmetric, then Theorem
7 and (
43) imply that
()
This leads us to state the following.
Theorem 9. If an (LCS) n-manifold M is Ricci symmetric, then it is an Einstein manifold.
Corollary 10. If an (LCS) n-manifold M is locally symmetric, then it is an Einstein manifold.
In this section, an example is used to demonstrate that the method presented in this paper is effective. But this example is a special case of Example 6.1 of [6].
Example 11. Now, we consider the 3-dimensional manifold
()
where (
x,
y,
z) denote the standard coordinates in
ℝ3. The vector fields
()
are linearly independent of each point of
M. Let
g be the Lorentzian metric tensor defined by
()
for
i,
j = 1,2, 3. Let
η be the 1-form defined by
η(
Z) =
g(
Z,
e3) for any
Z ∈ Γ(
TM). Let
ϕ be the (1,1)-tensor field defined by
()
Then using the linearity of
ϕ and
g, we have
η(
e3) = −1,
()
for all
Z,
W ∈ Γ(
TM). Thus for
ξ =
e3, (
ϕ,
ξ,
η,
g) defines a Lorentzian paracontact structure on
M.
Now, let ∇ be the Levi-Civita connection with respect to the Lorentzian metric g, and let R be the Riemannian curvature tensor of g. Then we have
()
Making use of the Koszul formulae for the Lorentzian metric tensor
g, we can easily calculate the covariant derivations as follows:
()
From the previously mentioned, it can be easily seen that (
ϕ,
ξ,
η,
g) is an (LCS)
3-structure on
M, that is,
M is an (LCS)
3-manifold with
α = −1 and
ρ = 0. Using the previous relations, we can easily calculate the components of the Riemannian curvature tensor as follows:
()
By using the properties of
R and definition of the Ricci tensor, we obtain
()
Thus the scalar curvature
τ of
M is given by
()
On the other hand, for any
Z,
W ∈ Γ(
TM),
Z and
W can be written as
and
, where
fi and
gi are smooth functions on
M. By direct calculations, we have
()
Since
η(
Z) = −
f3 and
η(
W) = −
g3 and
g(
Z,
W) =
f1g1 +
f2g2 −
f3g3, we have
()
This tell us that
M is an
η-Einstein manifold.
Acknowledgment
The authors would like to thank the reviewers for the extremely carefully reading and for many important comments, which improved the paper considerably.