We study canonical paracontact connection on a para-Sasakian manifold. We prove that a Ricci-flat para-Sasakian manifold with respect to canonical paracontact connection is an η-Einstein manifold. We also investigate some properties of curvature tensor, conformal curvature tensor, W2-curvature tensor, concircular curvature tensor, projective curvature tensor, and pseudo-projective curvature tensor with respect to canonical paracontact connection on a para-Sasakian manifold. It is shown that a concircularly flat para-Sasakian manifold with respect to canonical paracontact connection is of constant scalar curvature. We give some characterizations for pseudo-projectively flat para-Sasakian manifolds.
1. Introduction
In 1976, Sato [1] introduced the almost paracontact structure (φ,ξ,η) satisfying φ2=I-η⊗ξ and η(ξ)=1 on a differentiable manifold. Although the structure is an analogue of the almost contact structure [2, 3], it is closely related to almost product structure (in contrast to almost contact structure, which is related to almost complex structure). It is well known that an almost contact manifold is always odd-dimensional but an almost paracontact manifold defined by Sato [1] could be even dimensional as well. Takahashi [4] defined almost contact manifolds equipped with an associated pseudo-Riemannian metric. In particular he studied Sasakian manifolds equipped with an associated pseudo-Riemannian metric. Also, in 1989, Matsumoto [5] replaced the structure vector field ξ by -ξ in an almost paracontact manifold and associated a Lorentzian metric with the resulting structure and called it a Lorentzian almost paracontact structure. It is obvious that in a Lorentzian almost paracontact manifold, the pseudo-Riemannian metric has only signature 1 and the structure vector field ξ is always timelike. These circumstances motivated the authors [6] to associate a pseudo-Riemannian metric, not necessarily Lorentzian, with an almost paracontact structure.
Kaneyuki and Konzai [7] defined the almost paracontact structure on pseudo-Riemannian manifold M of dimension (2n+1) and constructed the almost paracomplex structure on M2n+1×ℝ. Zamkovoy [8] associated the almost paracontact structure introduced in [7] to a pseudo-Riemannian metric of signature (n+1,n) and showed that any almost paracontact structure admits such a pseudo-Riemannian metric which is called compatible metric.
Tanaka-Webster connection has been introduced by Tanno [9] as a generalization of the well-known connection defined by Tanaka [10] and, independently, by Webster [11], in context of CR geometry. In a paracontact metric manifold Zamkovoy [8] introduced a canonical connection which plays the same role of the (generalized) Tanaka-Webster connection [9] in paracontact geometry. In this study we define a canonical paracontact connection on a para-Sasakian manifold which seems to be the paracontact analogue of the (generalized) Tanaka-Webster connection.
In the present paper we study canonical paracontact connection on a para-Sasakian manifold. Section 2 is devoted to preliminaries. In Section 3, we investigate the relation between curvature tensor (resp., Ricci tensor) with respect to canonical paracontact connection and curvature tensor (resp., Ricci tensor) with respect to Levi-Civita connection. In Section 4, conformal curvature tensor of a para-Sasakian manifold with respect to canonical paracontact connection is obtained. Section 5 contains the expression of W-2-curvature tensor. In Section 6, we study a para-Sasakian manifold satisfying the condition C-(ξ,X)·R-=0, where C-(ξ,X) is considered as a derivation of the tensor algebra at each point of the manifold, R- is the curvature tensor, and C- is the conformal curvature tensor with respect to canonical paracontact connection. In Section 7, we obtain some equations in terms of Ricci tensor on a para-Sasakian manifold satisfying W-2(ξ,X)·R-=0 and W-2(ξ,X)·W-2=0, respectively. In Section 8 it is proved that a concircularly flat para-Sasakian manifold is of constant scalar curvature. Section 9 is devoted to pseudo-projectively flat para-Sasakian manifolds. In Section 10, we show that a para-Sasakian manifold satisfying Z-(ξ,X)·R-=0 with respect to canonical paracontact connection, is either of constant scalar curvature or an η-Einstein manifold. Also, it is proved that if the condition Z-(ξ,X)·S-=0 holds on a para-Sasakian manifold with respect to canonical paracontact connection, then the scalar curvature is constant. In Section 11, we give some characterizations for para-Sasakian manifolds with canonical paracontact connection satisfying P-P-(ξ,X)·R-=0 and P-P-(ξ,X)·S-=0, respectively. In the last section it is shown that a para-Sasakian manifold on which the condition P-(ξ,X)·P-P-=0 holds, is either of constant scalar curvature or an η-Einstein manifold.
2. Preliminaries
A differentiable manifold M of dimension (2n+1) is called almost paracontact manifold with the almost paracontact structure (φ,ξ,η) if it admits a tensor field φ of type (1,1), a vector field ξ, a 1-form η satisfying the following conditions [7]:
(2.1)φ2=I-η⊗ξ,(2.2)η(ξ)=1,φξ=0,
where I denotes the identity transformation. Moreover, the tensor field φ induces an almost paracomplex structure on the paracontact distribution D=kerη; that is, the eigendistributions D± corresponding to the eigenvalues ±1 of φ are both n-dimensional. As an immediate consequence of the conditions (2.2) we have
(2.3)η∘φ=0,rank(φ)=2n.
If a (2n+1)-dimensional almost paracontact manifold M with an almost paracontact structure (φ,ξ,η) admits a pseudo-Riemannian metric g such that [8]
(2.4)g(φX,φY)=-g(X,Y)+η(X)η(Y),X,Y∈Γ(TM),
then we say that M is an almost paracontact metric manifold with an almost paracontact metric structure (φ,ξ,η,g), and such metric g is called compatible metric. Any compatible metric g is necessarily of signature (n+1,n).
From (2.4) it can be easily seen that [8]
(2.5)g(X,φY)=-g(φX,Y),(2.6)g(X,ξ)=η(X),
for any X,Y∈Γ(TM). The fundamental 2-form of M is defined by
(2.7)Φ(X,Y)=g(X,φY).
An almost paracontact metric structure becomes a paracontact metric structure if g(X,φY)=dη(X,Y), for all vector fields X,Y∈Γ(TM), where dη(X,Y)=(1/2){Xη(Y)-Yη(X)-η([X,Y])}.
For a (2n+1)-dimensional manifold M with an almost paracontact metric structure (φ,ξ,η,g) one can also construct a local orthonormal basis. Let U be coordinate neighborhood on M and X1 any unit vector field on U orthogonal to ξ. Then φX1 is a vector field orthogonal to both X1 and ξ, and |φX1|2=-1. Now choose a unit vector field X2 orthogonal to ξ, X1 and φX1. Then φX2 is also a vector field orthogonal to ξ, X1, φX1, and X2 and |φX2|2=-1. Proceeding in this way we obtain a local orthonormal basis (Xi,φXi,ξ),(i=1,2,…,n) called a φ-basis [8].
Remark 2.1.
It is also known that a differentiable manifold has an almost paracontact metric structure if it admits a Riemannian metric g such that g(φX,φY)=g(X,Y)-η(X)η(Y) (see [1]). But in our paper the metric g is pseudo-Riemannian and satisfies condition (2.4).
Recall that an almost paracomplex structure [12] on a 2n-dimensional manifold is a tensor field J of type (1,1) such that J2=I and eigensubbundles T+, T- corresponding to the eigenvalue 1,-1 of J, respectively, have equal dimensional n. The Nijenhuis tensor N of J, given by(2.8)NJ(X,Y)=[JX,JY]+[X,Y]-J[JX,Y]-J[X,JY],X,Y∈Γ(TM),
is the obstruction for the integrability of the eigensubbundles T+, T-. If N=0, then the almost paracomplex structure is called paracomplex or integrable [13].
Let M2n+1 be an almost paracontact metric manifold with structure (φ,ξ,η) and consider the manifold M2n+1×ℝ. We denote a vector field on M2n+1×ℝ, by (X,f(d/dt)) where X is tangent to M2n+1, t is the coordinate on ℝ, and f is a differentiable function on M2n+1×ℝ. An almost paracomplex structure J on M2n+1×ℝ is defined in [14] by
(2.9)J(X,fddt)=(φX+fξ,η(X)ddt).
If J is integrable we say that the almost paracontact structure (φ,ξ,η) is normal.
A normal paracontact metric manifold is a para-Sasakian manifold. An almost paracontact metric structure (φ,ξ,η,g) on a M2n+1 is para-Sasakian manifold if and only if [8]
(2.10)(∇Xφ)Y=-g(X,Y)ξ+η(Y)X,
where X,Y∈Γ(TM) and ∇ is Levi-Civita connection of M.
From (2.10), it can be seen that
(2.11)∇Xξ=-φX.
Also in a para-Sasakian manifold, the following relations hold [8]:
(2.12)g(R(X,Y)Z,ξ)=η(R(X,Y)Z)=g(X,Z)η(Y)-g(Y,Z)η(X),(2.13)R(X,Y)ξ=η(X)Y-η(Y)X,(2.14)R(ξ,X)Y=-g(X,Y)ξ+η(Y)X,(2.15)R(ξ,X)ξ=X-η(X)ξ,(2.16)S(X,ξ)=-2nη(X),
for any vector fields X,Y,Z∈Γ(TM). Here, R is Riemannian curvature tensor and S is Ricci tensor defined by S(X,Y)=g(QX,Y), where Q is Ricci operator.
In the following we consider the connection ∇- defined by [9]
(2.17)∇-XY=∇XY+η(X)φY-η(Y)∇Xξ+((∇Xη)Y)ξ,
where X,Y∈Γ(TM). If we use (2.11) in (2.17), then we obtain
(2.18)∇-XY=∇XY+η(X)φY+η(Y)φX+g(X,φY)ξ.
Definition 2.2.
We call the connection ∇- defined by (2.18) on a para-Sasakian manifold the canonical paracontact connection on a para-Sasakian manifold.
Proposition 2.3.
On a para-Sasakian manifold the connection ∇- has the following properties:
(2.19)∇-η=0,∇-g=0,∇-ξ=0,(∇-Xφ)Y=(∇Xφ)Y+g(X,Y)ξ-η(Y)X,
for all X,Y∈Γ(TM).
Proof.
Calculation is straightforward by using (2.18).
Furthermore, we define homeomorphisms C-(X,Y)·R-=0,W-2(X,Y)·R-=0,W-2(X,Y)·W-2=0, Z-(X,Y)·R-=0, P-P-(X,Y)·R-=0 and P-(X,Y)·P-P-=0 as follows:
(2.20)(C-(X,Y)·R-)(U,V)W=C-(X,Y)R-(U,V)W-R-(C-(X,Y)U,V)W-R-(U,C-(X,Y)V)W-R-(U,V)C-(X,Y)W=0,(2.21)(W-2(X,Y)·R-)(U,V)W=W-2(X,Y)R-(U,V)W-R-(W-2(X,Y)U,V)W-R-(U,W-2(X,Y)V)W-R-(U,V)W-2(X,Y)W=0,(2.22)(W-2(X,Y)·W-2)(U,V)W=W-2(X,Y)W-2(U,V)W-W-2(W-2(X,Y)U,V)W-W-2(U,W-2(X,Y)V)W-W-2(U,V)W-2(X,Y)W=0,(2.23)(Z-(X,Y)·R-)(U,V)W=Z-(X,Y)R-(U,V)W-R-(Z-(X,Y)U,V)W-R-(U,Z-(X,Y)V)W-R-(U,V)Z-(X,Y)W=0,(2.24)(P-P-(X,Y)·R-)(U,V)W=P-P-(X,Y)R-(U,V)W-R-(P-P-(X,Y)U,V)W-R-(U,P-P-(X,Y)V)W-R-(U,V)P-P-(X,Y)W=0,(2.25)(P-(X,Y)·P-P-)(U,V)W=P-(X,Y)P-P-(U,V)W-P-P-(P-(X,Y)U,V)W-P-P-(U,P-(X,Y)V)W-P-P-(U,V)P-(X,Y)W=0,
for all X,Y,U,V,W∈Γ(TM).
3. Curvature Tensor
Let M2n+1 be a para-Sasakian manifold. The curvature tensor R- of M with respect to the canonical paracontact connection ∇- is defined by
(3.1)R-(X,Y)Z=∇-X∇-YZ-∇-Y∇-XZ-∇-[X,Y]Z,
for any X,Y,Z∈Γ(TM).
By using (2.18) in (3.1) we obtain
(3.2)R-(X,Y)Z=R(X,Y)Z+g(Y,Z)η(X)ξ-g(X,Z)η(Y)ξ+η(Y)η(Z)X-η(X)η(Z)Y+2g(X,φY)φZ+g(X,φZ)φY-g(Y,φZ)φX,
where R(X,Y)Z=∇X∇YZ-∇Y∇XZ-∇[X,Y]Z is curvature tensor of M with respect to Levi-Civita connection ∇.
Let T and T¯ be curvature tensors of type (0, 4) with respect to Levi-Civita connection ∇ and the canonical paracontact connection ∇¯, respectively, given by
(3.3)T(X,Y,Z,W)=g(R(X,Y)Z,W),T-(X,Y,Z,W)=g(R-(X,Y)Z,W),
for all X,Y,Z,W∈Γ(TM).
Proposition 3.1.
In a para-Sasakian manifold one has,
(3.4)R-(X,Y)Z+R-(Y,Z)X+R-(Z,X)Y=0,(3.5)T-(X,Y,Z,W)+T-(Y,X,Z,W)=0,(3.6)T-(X,Y,Z,W)+T-(X,Y,W,Z)=0,(3.7)T-(X,Y,Z,W)-T-(Z,W,X,Y)=0,
where X,Y,Z,W∈Γ(TM).
Proof.
Using (3.2) and first Bianchi identity with respect to Levi-Civita connection ∇ we obtain
(3.8)R-(X,Y)Z+R-(Y,Z)X+R-(Z,X)Y=2g(X,φY)φZ+g(X,φZ)φY-g(Y,φZ)φX+2g(Y,φZ)φX+g(Y,φX)φZ-g(Z,φX)φY+2g(Z,φX)φY+g(Z,φY)φX-g(X,φY)φZ.
From (2.5) we get (3.4).
From (3.2) we have
(3.9)T-(X,Y,Z,W)=T(X,Y,Z,W)+g(Y,Z)η(X)η(W)-g(X,Z)η(Y)η(W)+g(X,W)η(Y)η(Z)-g(Y,W)η(X)η(Z)+2g(X,φY)g(φZ,W)+g(X,φZ)g(φY,W)-g(Y,φZ)g(φX,W).
It is well known that
(3.10)T(X,Y,Z,W)=-T(Y,X,Z,W),T(X,Y,Z,W)=T(X,Y,W,Z),T(X,Y,Z,W)=T(Z,W,X,Y).
By taking into account the previous equations we get (3.5), (3.6), and (3.7), respectively.
Let Ei={ei,φei,ξ}(i=1,2,…,n) be a local orthonormal φ-basis of a para-Sasakian manifold M. Then the Ricci tensor S- and the scalar curvature τ- of M with respect to canonical paracontact connection ∇- are defined by
(3.11)S-(X,Y)=∑i=1ng(R-(ei,X)Y,ei)-∑i=1ng(R-(φei,X)Y,φei)+g(R-(ξ,X)Y,ξ),
where X,Y∈Γ(TM), and
(3.12)τ-=∑i=1nS-(ei,ei)-∑i=1nS-(φei,φei)+S-(ξ,ξ),
respectively.
Theorem 3.2.
In a (2n+1)-dimensional para-Sasakian manifold the Ricci tensor S- and scalar curvature τ- of canonical paracontact connection ∇- are given by
(3.13)S-(X,Y)=S(X,Y)-2g(X,Y)+(2n+2)η(X)η(Y),(3.14)τ-=τ-2n,
where X,Y∈Γ(TM) and S and τ denote the Ricci tensor and scalar curvature of Levi-Civita connection ∇, respectively. Consequently, S- is symmetric.
Proof.
Using (3.2) and (3.9), we have, for any X,Y∈Γ(TM),
(3.15)S-(X,Y)=∑i=1n(g(R(ei,X)Y,ei)+g(ei,ei)η(X)η(Y)+3g(ei,φX)g(φY,ei))-∑i=1n(g(R(φei,X)Y,φei)+g(φei,φei)η(X)η(Y)+3g(φei,φX)g(φY,φei)).
Since the Ricci tensor of Levi-Civita connection ∇ is given by
(3.16)S(X,Y)=∑i=1ng(R(ei,X)Y,ei)-∑i=1ng(R(φei,X)Y,φei)+g(R(ξ,X)Y,ξ),
then (3.15) implies (3.13). Equation (3.14) follows from (3.13).
Also from (3.13), it is obvious that S- is symmetric.
Corollary 3.3.
If a para-Sasakian manifold is Ricci-flat with respect to canonical paracontact connection, then it is an η-Einstein manifold.
Lemma 3.4.
Let M be a para-Sasakian manifold with canonical paracontact connection ∇-. Then
(3.17)g(R-(X,Y)Z,ξ)=η(R-(X,Y)Z)=0,(3.18)R-(X,Y)ξ=R-(ξ,X)Y=R-(ξ,X)ξ=0,(3.19)S-(X,ξ)=0,
for all X,Y,Z∈Γ(TM).
Proof.
Calculation is straightforward by using (2.2), (2.6), (2.13), and (2.16) in (3.2).
4. Conformal Curvature Tensor
Let M be a (2n+1)-dimensional para-Sasakian manifold. The conformal curvature tensor of M with respect to canonical paracontact connection ∇- is defined by
(4.1)C-(X,Y)Z=R-(X,Y)Z-12n-1(S-(Y,Z)X-S-(X,Z)Y+g(Y,Z)Q-X-g(X,Z)Q-Y)+τ-2n(2n-1)(g(Y,Z)X-g(X,Z)Y),
where X,Y,Z∈Γ(TM). By using (3.2), (3.13), and (3.14) in (4.1)
(4.2)C-(X,Y)Z=R(X,Y)Z+g(Y,Z)η(X)ξ-g(X,Z)η(Y)ξ+η(Y)η(Z)X-η(X)η(Z)Y+2g(X,φY)φZ+g(X,φZ)φY-g(Y,φZ)φX-12n-1(S(Y,Z)X-2g(Y,Z)X+(2n+2)η(Y)η(Z)X-S(X,Z)Y+2g(X,Z)Y-(2n+2)η(X)η(Z)Y+g(Y,Z)QX-2g(Y,Z)X+(2n+2)g(Y,Z)η(X)ξ-g(X,Z)QY+2g(X,Z)Y-(2n+2)g(X,Z)η(Y)ξ)+τ-2n2n(2n-1)(g(Y,Z)X-g(X,Z)Y).
Since R(X,Y)Z=-R(Y,X)Z, then
(4.3)C-(X,Y)Z+C-(Y,X)Z=0.
Moreover, from the first Bianchi identity we get
(4.4)C-(X,Y)Z+C-(Y,Z)X+C-(Z,X)Y=0.
5. W2-Curvature Tensor
In [15] Pokhariyal and Mishra have introduced a new tensor field, called W2-curvature tensor field, in a Riemannian manifold and studied its properties.
The W2-curvature tensor is defined by
(5.1)W2(X,Y,Z,V)=R(X,Y,Z,V)+1n-1(g(X,Z)S(Y,V)-g(Y,Z)S(X,V)),
where X,Y,Z,V∈Γ(TM) and S is a Ricci tensor of type (0,2). The W-2-curvature tensor of a para-Sasakian manifold M2n+1 with respect to canonical paracontact connection ∇- is defined by
(5.2)W-2(X,Y)Z=R-(X,Y)Z-12n(g(Y,Z)Q-X-g(X,Z)Q-Y).
From (3.2) and (3.13) we get
(5.3)W-2(X,Y)Z=R(X,Y)Z+g(Y,Z)η(X)ξ-g(X,Z)η(Y)ξ+η(Y)η(Z)X-η(X)η(Z)Y+2g(X,φY)φZ+g(X,φZ)φY-g(Y,φZ)φX-12n-1(g(Y,Z)QX-2g(Y,Z)X+(2n+2)g(Y,Z)η(X)ξ-g(X,Z)QY+2g(X,Z)Y-(2n+2)g(X,Z)η(Y)ξ).
Since R(X,Y)Z+R(Y,X)Z=0, we have
(5.4)W-2(X,Y)Z+W-2(Y,X)Z=0.
Furthermore, by using (5.3) and the first Bianchi identity we obtain
(5.5)W-2(X,Y)Z+W-2(Y,Z)X+W-2(Z,X)Y=0.
6. Para-Sasakian Manifold with Canonical Paracontact Connection Satisfying C-(ξ,X)·R-=0
In this section we consider a para-Sasakian manifold M2n+1 satisfying the condition
(6.1)C-(ξ,X)·R-=0,
with respect to canonical paracontact connection. From (2.20) we get
(6.2)(C-(ξ,X)·R-)(U,V)W=C-(ξ,X)R-(U,V)W-R-(C-(ξ,X)U,V)W-R-(U,C-(ξ,X)V)W-R-(U,V)C-(ξ,X)W=0,
for any X,U,V,W∈Γ(TM). Now putting U=ξ in (6.2), we have
(6.3)C-(ξ,X)R-(ξ,V)W-R-(C-(ξ,X)ξ,V)W-R-(ξ,C-(ξ,X)V)W-R-(ξ,V)C-(ξ,X)W=0.
Taking inner product with Y and using (3.18) in (6.3) we get
(6.4)g(R-(C-(ξ,X)ξ,V)W,Y)=0.
Using (4.2) in (6.4), we obtain
(6.5)12n-1g(R-(W,Y)Q-X,V)-τ-2n(2n-1)g(R-(W,Y)X,V)=0.
Again using (3.2), (3.13), and (3.14) in (6.5) we obtain
(6.6)12n-1[g(R(W,Y)QX,V)+g(Y,QX)η(V)η(W)-g(W,QX)η(Y)η(V)+g(W,V)η(QX)η(Y)-g(Y,V)η(QX)η(W)+2g(W,φY)g(φQX,V)+g(W,φQX)g(φY,V)-g(Y,φQX)g(φW,V)]-τ-2n2n(2n-1)[g(R(W,Y)X,V)+g(Y,X)η(V)η(W)-g(W,X)η(Y)η(V)+g(W,V)η(X)η(Y)-g(Y,V)η(X)η(W)+2g(W,φY)g(φX,V)+g(W,φX)g(φY,V)-g(Y,φX)g(φW,V)]=0.
Let {ei,φei,ξ}(i=1,…,n) be an orthonormal basis of the tangent space at any point. Hence by suitable contracting of (6.6) we get
(6.7)12n-1[S2(X,Y)-4S(X,Y)+4g(X,Y)-(4n2+8n+4)η(X)η(Y)]-τ-2n2n(2n-1)[S(X,Y)-2g(X,Y)+(2n+2)η(X)η(Y)]=0.
Theorem 6.1.
Let M2n+1 be a para-Sasakian manifold satisfying C-(ξ,X)·R-=0 with respect to canonical paracontact connection ∇-. Then
(6.8)S(QX,Y)=(3+τ2n)S(X,Y)-(2+τn)g(X,Y)+(4n2+6n+2+τ(n+1)n)η(X)η(Y),
for any X,Y∈Γ(TM).
7. Para-Sasakian Manifold with Canonical Paracontact Connection Satisfying W-2(ξ,X)·R-=0 and W-2(ξ,X)·W-2=0
In this section we consider a para-Sasakian manifold with canonical connection satisfying the condition
(7.1)W-2(ξ,X)·R-=0.
From (2.21), we get
(7.2)(W-2(ξ,X)·R-)(U,V)W=W-2(ξ,X)R-(U,V)W-R-(W-2(ξ,X)U,V)W-R-(U,W-2(ξ,X)V)W-R-(U,V)W-2(ξ,X)W=0,
where X,U,V,W∈Γ(TM). Now if we put U=ξ in (7.2), we have
(7.3)W-2(ξ,X)R-(ξ,V)W-R-(W-2(ξ,X)ξ,V)W-R-(ξ,W-2(ξ,X)V)W-R-(ξ,V)W-2(ξ,X)W=0.
Taking inner product with Y and from (3.18), we obtain
(7.4)g(R-(W-2(ξ,X)ξ,V)W,Y)=0.
Using (5.3) in (7.4), we have
(7.5)12ng(R-(W,Y)Q-X,V)=0.
Again using (3.2) and (3.13) in (7.5) we obtain
(7.6)12n[g(R(W,Y)QX,V)+g(Y,QX)η(V)η(W)-g(W,QX)η(Y)η(V)+g(W,V)η(QX)η(Y)-g(Y,V)η(QX)η(W)+2g(W,φY)g(φQX,V)+g(W,φQX)g(φY,V)-g(Y,φQX)g(φW,V)-2g(R(W,Y)X,V)-2g(Y,X)η(V)η(W)+2g(W,X)η(Y)η(V)-2g(W,V)η(X)η(Y)+2g(Y,V)η(X)η(W)-4g(W,φY)g(φX,V)-2g(W,φX)g(φY,V)+2g(Y,φX)g(φW,V)]=0.
Let {ei,φei,ξ}(i=1,…,n) be an orthonormal basis of the tangent space at any point. So by a contraction of (7.6) with respect to V and W we get(7.7)12n[S2(X,Y)-4S(X,Y)+4g(X,Y)-(4n2+8n+4)η(X)η(Y)]=0.
Theorem 7.1.
Let M2n+1 be a para-Sasakian manifold satisfying W-2(ξ,X)·R-=0 with respect to canonical paracontact connection ∇-. Then
(7.8)S(QX,Y)=4S(X,Y)-4g(X,Y)+(4n2+8n+4)η(X)η(Y),
for any X,Y∈Γ(TM).
Now let us consider a para-Sasakian manifold with canonical paracontact connection satisfying the condition
(7.9)W-2(ξ,X)·W-2=0.
From (2.22), we get
(7.10)(W-2(ξ,X)·W-2)(U,V)Z=W-2(ξ,X)W-2(U,V)Z-W-2(W-2(ξ,X)U,V)Z-W-2(U,W-2(ξ,X)V)Z-W-2(U,V)W-2(ξ,X)Z=0.
Now U=ξ in (7.10), we have
(7.11)W-2(ξ,X)W-2(ξ,V)Z-W-2(W-2(ξ,X)ξ,V)Z-W-2(ξ,W-2(ξ,X)V)Z-W-2(ξ,V)W-2(ξ,X)Z=0.
Taking inner product with Y and from (3.18) and (3.19) we obtain
(7.12)12ng(W-2(Q-X,V)Z,Y)-14n2[g(Q-2X,Y)η(V)η(Z)]=0.
Using (5.3) in (7.12), we have
(7.13)12ng(R-(Q-X,V)Z,Y)-14n2[g(Q-2X,Y)g(V,Z)-g(Q-X,Z)g(Q-V,Y)+g(Q-2X,Y)η(V)η(Z)]=0.
Let {ei,φei,ξ}(i=1,…,n) be an orthonormal basis of the tangent space at any point. Hence by suitable contracting (7.13) we get
(7.14)12n[S2(X,Y)-4S(X,Y)+4g(X,Y)-(4n2+8n+4)η(X)η(Y)]-14n2[S2(X,Y)-4S(X,Y)+4g(X,Y)-(4n2+8n+4)η(X)η(Y)]=0.
Theorem 7.2.
Let M2n+1 be a para-Sasakian manifold satisfying W-2(ξ,X)·W-2=0 with respect to canonical paracontact connection ∇-. Then
(7.15)S(QX,Y)=4S(X,Y)-4g(X,Y)+(4n2+8n+4)η(X)η(Y),
for any X,Y∈Γ(TM).
8. Concircularly Flat Para-Sasakian Manifold
The concircular curvature tensor of a para-Sasakian manifold M2n+1 with respect to canonical paracontact connection ∇- is defined by
(8.1)Z-(X,Y)W=R-(X,Y)W-τ-2n(2n-1)(g(Y,W)X-g(X,W)Y),
for any X,Y,W∈Γ(TM).
By using (3.2) and (3.14) we obtain from (8.1)
(8.2)Z-(X,Y)W=R(X,Y)W+g(Y,W)η(X)ξ-g(X,W)η(Y)ξ+η(Y)η(W)X-η(X)η(W)Y+2g(X,φY)φW+g(X,φW)φY-g(Y,φW)φX-τ-2n2n(2n-1)(g(Y,W)X-g(X,W)Y).
If M is a concircularly flat para-Sasakian manifold with respect to canonical paracontact connection, then we have
(8.3)g(Z-(X,Y)W,φV)=0.
Hence using (2.2) in (8.3) we get
(8.4)g(R(X,Y)W,φV)+g(X,φV)η(Y)η(W)-g(Y,φV)η(X)η(W)+2g(X,φY)g(φW,φV)+g(X,φW)g(φY,φV)-g(Y,φW)g(φX,φV)-τ-2n2n(2n+1)(g(Y,W)g(X,φV)-g(X,W)g(Y,φV))=0.
Putting Y=W=ξ in (8.4) and using (2.2) and (2.14) we have
(8.5)τ-2n2n(2n+1)g(X,φV)=0.
From (8.5) we obtain
(8.6)τ=2n.
Hence we have the following.
Theorem 8.1.
If a para-Sasakian manifold M is concircularly flat with respect to canonical paracontact connection, then it is of constant scalar curvature.
In 2002, Prasad [16] defined and studied a tensor field P- on a Riemannian manifold of dimension n, which includes projective curvature tensor P. This tensor field P- is known as pseudo-projective curvature tensor.
In this section, we study pseudo-projective curvature tensor with respect to canonical paracontact connection ∇- in a para-Sasakian manifold and we denote this curvature tensor with P-P-.
Pseudo-projective curvature tensor P-P- of a para-Sasakian manifold M2n+1 with respect to canonical paracontact connection ∇- is defined by
(9.1)P-P-(X,Y)W=aR(X,Y)W+b(S(Y,W)X-S(X,W)Y)-τ-(2n+1)(a2n+b)(g(Y,W)X-g(X,W)Y),
where X,Y,W∈Γ(TM) and a and b are constants such that a, b≠0.
If a=1 and b=1/(2n+2), then (9.1) takes the form
(9.2)P-P-(X,Y)W=R-(X,Y)W+12n+2(S-(Y,W)X-S-(X,W)Y)-τ-(2n+2)n(g(Y,W)X-g(X,W)Y).
Using (3.2), (3.13) and (3.14) in (9.2), we get
(9.3)P-P-(X,Y)W=R(X,Y)W+g(Y,W)η(X)ξ-g(X,W)η(Y)ξ+η(Y)η(W)X-η(X)η(W)Y+2g(X,φY)φW+g(X,φW)φY-g(Y,φW)φX+12n+2(S(Y,W)X-2g(Y,W)X+(2n+2)η(Y)η(W)X-S(X,W)Y+2g(X,W)Y-(2n+2)η(X)η(W)Y)-τ-2n(2n+1)(g(Y,W)X-g(X,W)Y).
If M is a pseudo-projectively flat para-Sasakian manifold with respect to canonical paracontact connection, then
(9.4)g(P-P-(X,Y)W,φU)=0,
for any U∈Γ(TM). Hence using (2.2) in (9.4) we get
(9.5)g(R(X,Y)W,φU)+g(X,φU)η(Y)η(W)-g(Y,φU)η(X)η(W)+2g(X,φY)g(φW,φU)+g(X,φW)g(φY,φU)-g(Y,φW)g(φX,φU)+12n+2(S(Y,W)g(X,φU)-2g(Y,W)g(X,φU)+(2n+2)g(X,φU)η(Y)η(W)-S(X,W)g(Y,φU)+2g(X,W)g(Y,φU)-(2n+2)g(Y,φU)η(X)η(W))-τ-8n(2n+2)n(g(Y,W)g(X,φU)-g(X,W)g(Y,φU))=0.
Now putting Y=W=ξ in (9.5) and using (2.2), (2.14), and (2.16) we have(9.6)τ-2n(2n+2)ng(X,φU)=0.
From (9.6) we get
(9.7)τ=2n.
Hence we have the following.
Theorem 9.1.
If a para-Sasakian manifold is pseudo-projectively flat with respect to canonical paracontact connection, then its scalar curvature is constant.
10. Para-Sasakian Manifold with Canonical Paracontact Connection Satisfying Z-(ξ,X)·R-=0 and Z-(ξ,X)·S-=0
In this section we firstly consider a para-Sasakian manifold M satisfying
(10.1)Z-(ξ,X)·R-=0,
for any X∈Γ(TM), with respect to canonical paracontact connection.
From (2.23), we have
(10.2)(Z-(ξ,X)·R-)(U,V)W=Z-(ξ,X)R-(U,V)W-R-(Z-(ξ,X)U,V)W-R-(U,Z-(ξ,X)V)W-R-(U,V)Z-(ξ,X)W=0,
for all X,U,V,W∈Γ(TM). Now by putting U=ξ in (10.2), we get
(10.3)Z-(ξ,X)R-(ξ,V)W-R-(Z-(ξ,X)ξ,V)W-R-(ξ,Z-(ξ,X)V)W-R-(ξ,V)Z-(ξ,X)W=0.
Using (3.18) in (10.3) we obtain
(10.4)R-(Z-(ξ,X)ξ,V)W=0.
Taking inner product with Y and from (8.2), we have
(10.5)τ-2n2n(2n-1)g(R-(X,V)W,Y)=0.
Again using (3.2) in (10.5) we get
(10.6)τ-2n2n(2n-1)[g(R(X,V)W,Y)+g(V,W)η(X)η(Y)-g(X,W)η(Y)η(V)+g(X,Y)η(V)η(W)-g(Y,V)η(X)η(W)+2g(X,φV)g(φW,Y)+g(X,φW)g(Y,φV)-g(V,φW)g(φX,Y)]=0.
Let {ei,φei,ξ}(i=1,…,n) be an orthonormal basis of the tangent space at any point. So a contraction of (10.6) with respect to X and Y gives
(10.7)τ-2n2n(2n-1)[S(V,W)-2g(V,W)+(2n+2)η(V)η(W)]=0.
Therefore we have the following.
Theorem 10.1.
Let M2n+1 be a para-Sasakian manifold satisfying the condition Z¯(ξ,X)·R¯=0, for any X∈Γ(TM). Then either
τ=2n, that is, the scalar curvature is constant,
or
M is an η-Einstein manifold with equation
(10.8)S(V,W)=2g(V,W)-(2n+2)η(V)η(W),
for all V,W∈Γ(TM).
Now, let us consider a para-Sasakian manifold M satisfying
(10.9)Z-(ξ,X)·S-=0,
where X∈Γ(TM) and S- is the Ricci tensor of M with respect to canonical paracontact connection.
From (10.9), for any X,U,V∈Γ(TM), we obtain
(10.10)S-(Z-(ξ,X)U,V)+S-(U,Z-(ξ,X)V)=0,
for all X,U,V∈Γ(TM). Using (3.18) and (3.19) with (8.2) in (10.10) we get
(10.11)A[S-(X,V)η(U)+S-(X,U)η(V)]=0,
where A=τ-/2n(2n-1).
Using (3.13) and (3.14) in (10.11), we get
(10.12)τ-2n2n(2n-1)[S(X,V)η(U)-2g(X,V)η(U)+(2n+2)η(X)η(V)η(U)-S(X,U)η(V)+2g(X,U)η(V)-(2n+2)η(X)η(V)η(U)]=0.
Let {ei,φei,ξ}(i=1,…,n) be an orthonormal basis of the tangent space at any point. By a contraction of (10.12) with respect to X and U we obtain
(10.13)τ-2n2n(2n-1)[(τ-2n)η(V)]=0.
This gives τ=2n which implies that manifold is of constant scalar curvature.
Theorem 10.2.
If the condition Z¯(ξ,X)·S¯=0, for all X∈Γ(TM), holds on a para-Sasakian manifold, then its scalar curvature is constant.
11. Para-Sasakian Manifold with Canonical Paracontact Connection Satisfying P-P-(ξ,X)·R-=0 and P-P-(ξ,X)·S-=0
In this section we consider a para-Sasakian manifold M2n+1 with canonical paracontact connection satisfying the condition
(11.1)P-P-(ξ,X)·R-=0,
for all X∈Γ(TM).
From (2.24), we get
(11.2)(P-P-(ξ,X)·R-)(U,V)W=P-P-(ξ,X)R-(U,V)W-R-(P-P-(ξ,X)U,V)W-R-(U,P-P-(ξ,X)V)W-R-(U,V)P-P-(ξ,X)W=0,
where X,U,V,W∈Γ(TM). Now we take U=ξ in (11.2), then we have
(11.3)P-P-(ξ,X)R-(ξ,V)W-R-(P-P-(ξ,X)ξ,V)W-R-(ξ,P-P-(ξ,X)V)W-R-(ξ,V)P-P-(ξ,X)W=0.
Taking inner product with Y∈Γ(TM) and by using (3.18) and (9.3) we obtain
(11.4)τ-2n(2n+2)ng(R-(X,V)W,Y)=0.
Again using (3.2) in (11.4), we have
(11.5)τ-2n(2n+2)n[g(R(X,V)W,Y)+g(V,W)η(X)η(Y)-g(X,W)η(Y)η(V)+g(X,Y)η(V)η(W)-g(Y,V)η(X)η(W)+2g(X,φV)g(φW,Y)+g(X,φW)g(Y,φV)-g(V,φW)g(φX,Y)]=0.
Let {ei,φei,ξ}(i=1,…,n) be an orthonormal basis of the tangent space at any point. Hence by suitable contracting of (11.5) we get
(11.6)τ-2n2n(2n-1)[S(V,W)-2g(V,W)+(2n+2)η(V)η(W)]=0.
Therefore we have the following.
Theorem 11.1.
Let M2n+1 be a para-Sasakian manifold. If P-P-(ξ,X)·R-=0 holds on M, then either
scalar curvature is constant with equation τ=2n
or
M is an η-Einstein manifold with equation
(11.7)S(V,W)=2g(V,W)-(2n+2)η(V)η(W),
for all V,W∈Γ(TM).
Now let us consider a para-Sasakian manifold satisfying
(11.8)P-P-(ξ,X)·S-=0,
where X∈Γ(TM) and S- is the Ricci tensor of M with respect to canonical paracontact connection.
From (11.8) we obtain
(11.9)S-(P-P-(ξ,X)Y,Z)+S-(Y,P-P-(ξ,X)Z)=0.
Using (3.18) and (3.19) with (9.3) in (11.9) we have
(11.10)B[S-(X,Z)η(Y)+S-(X,Y)η(Z)]=0,
where B=τ-/(2n+2)n.
Using (3.13) and (3.14) in (11.10) we get
(11.11)τ-2n(2n+2)n[S(X,Z)η(Y)-2g(X,Z)η(Y)+(2n+2)η(X)η(Y)η(Z)-S(X,Y)η(Z)+2g(X,Y)η(Z)-(2n+2)η(X)η(Y)η(Z)]=0.
Let {ei,φei,ξ}(i=1,…,n) be an orthonormal basis of the tangent space at any point. So a contraction of (11.11) with respect to X and Y gives
(11.12)τ-2n(2n+2)n[(τ-2n)η(Z)]=0,
which implies that τ=2n.
So we have the following.
Theorem 11.2.
If the condition P-P-(ξ,X)·S-=0, for all X∈Γ(TM), holds on a para-Sasakian manifold, then the scalar curvature of the manifold is constant.
12. Para-Sasakian Manifold with Canonical Paracontact Connection Satisfying P-(ξ,X)·P-P-=0
The projective curvature tensor P- of a para-Sasakian manifold M2n+1 with respect to canonical paracontact connection ∇- is defined by
(12.1)P-(X,Y)Z=R-(X,Y)Z-12n(S-(Y,Z)X-S-(X,Z)Y),
where X,Y,Z∈Γ(TM). By using (3.2) and (3.13), from (12.1) we obtain
(12.2)P-(X,Y)Z=R(X,Y)Z+g(Y,Z)η(X)ξ-g(X,Z)η(Y)ξ+η(Y)η(Z)X-η(X)η(Z)Y+2g(X,φY)φZ+g(X,φZ)φY-g(Y,φZ)φX-12n(S(Y,Z)X-2g(Y,Z)X+(2n+2)η(Y)η(Z)X-S(X,Z)Y+2g(X,Z)Y-(2n+2)η(X)η(Z)Y).
Let us consider the equation
(12.3)P-(ξ,X)·P-P-=0
holds on a para-Sasakian manifold. From (2.25), we get
(12.4)(P-(ξ,X)·P-P-)(U,V)W=P-(ξ,X)P-P-(U,V)W-P-P-(P-(ξ,X)U,V)W-P-P-(U,P-(ξ,X)V)W-P-P-(U,V)P-(ξ,X)W=0,
for all X,U,V,W∈Γ(TM). Using (12.2) with (3.18) and (3.19) we obtain
(12.5)12n[S-(X,P-P-(U,V)W)ξ-S-(X,U)P-P-(ξ,V)W-S-(X,V)P-P-(U,ξ)W-S-(X,W)P-P-(U,V)ξ]=0.
Taking inner product with Y and put U=ξ, by using (3.19) we get
(12.6)12n[S-(X,P-P-(ξ,V)W)η(Y)-S-(X,W)g(P-P-(ξ,V)ξ,Y)]=0.
Using (9.3) in (12.6), we obtain
(12.7)C[S-(X,V)η(Y)η(W)+S-(X,W)η(Y)η(V)-S-(X,W)g(Y,V)]=0,
where C=τ-/(2n+2)2n2.
From the last equation, with (3.13) we get
(12.8)C[S(X,V)η(Y)η(W)-2g(X,V)η(Y)η(W)+(2n+2)η(X)η(Y)η(V)η(W)+S(X,W)η(Y)η(V)-2g(X,W)η(Y)η(V)+(2n+2)η(X)η(Y)η(V)η(W)-S(X,W)g(Y,V)+2g(X,W)g(Y,V)-(2n+2)η(X)η(Y)η(V)η(W)]=0.
Hence by suitable contracting of (12.8), we obtain
(12.9)τ-2n(2n+2)2n2[S(V,W)-2g(V,W)+(2n+2)η(V)η(W)]=0.
Hence we have the following.
Theorem 12.1.
Let M be a (2n+1)-dimensional para-Sasakian manifold. If the condition P-(ξ,X)·P-P-=0 holds on M, then either
scalar curvature is constant with equation τ=2n
or
M is an η-Einstein manifold with equation
(12.10)S(V,W)=2g(V,W)-(2n+2)η(V)η(W),
for all V,W∈Γ(TM).
Acknowledgments
This paper was supported by Adıyaman University, under Scientific Research Project no. FEFBAP/2012-005. The authors thank the referee for useful suggestions and remarks for the revised version.
SatoI.On a structure similar to the almost contact structure I.197630219224SasakiS.On differentiable manifolds with certain structures which are closely related to almost contact structure I196012245947610.2748/tmj/1178244407BlairD.1976509Berlin, GermanySpringerLectures Notes in MathematicsTakahashiT.Sasakian manifold with pseudo-Riemannian metric196921264465310.2748/tmj/1178242908MatsumotoK.On Lorentzian paracontact manifolds1989122151156TripathiM. M.KılıçE.PerktaşS. Y.KeleşS.Indefinite almost paracontact metric manifolds201020101984619510.1155/2010/846195KaneyukiS.KonzaiM.Paracomplex structure and affine symmetric spaces19858301318ZamkovoyS.Canonical connections on paracontact manifolds200936137602-s2.0-6765066030510.1007/s10455-008-9147-3TannoS.Variational problems on contact Riemannian manifolds1989314134937910.1090/S0002-9947-1989-1000553-9TanakaN.On non-degenerate real hypersurfaces, graded Lie algebras and Cartan connection19762131190WebsterS. M.Pseudo-Hermitian structures on a real hypersurfaces1979132541LibermannP.Sur le probleme d'equivalence de certaines structures infinitesimales19543627120YanoK.Affine connexions in almost product spaces195911124KaneyukiS.WillamsF. L.Almost paracontact and parahodge structure on manifolds198599173187PokhariyalG. P.MishraR. S.The curvature tensor and their relativistic significance197018105108PrasadB.A Pseudo-Projective curvature tensor on a Riemannian manifold2002943163166