Bulletin of Mathematical Analysis and Applications ISSN: 1821-1291, URL: http://www.bmathaa.org Volume 1 Issue 3(2009), Pages 90-98. ON THREE-DIMENSIONAL LORENTZIAN πΌ-SASAKIAN MANIFOLDS (DEDICATED IN OCCASION OF THE 65-YEARS OF PROFESSOR R.K. RAINA) AHMET YILDIZ, MINE TURAN, AND BILAL EFTAL ACET Abstract. The object of the present paper is to study three-dimensional Lorentzian πΌ-Sasakian manifolds which are Ricci-semisymmetry, locally πsymmetric and have π-parallel Ricci tensor. An example of a three-dimensional Lorentzian πΌ-Sasakian manifold is given which veriο¬es all the Theorems. 1. Introduction The product of an almost contact manifold M and the real line β carries a natural almost complex structure. However if one takes π to be an almost contact metric manifold and supposes that the product metric πΊ on π × β is Kaehlerian, then the structure on π is cosymplectic [9] and not Sasakian. On the other hand Oubina [13] pointed out that if the conformally related metric π2π‘ πΊ, π‘ being the coordinate on β, is Kaehlerian, then π is Sasakian and conversely. In [15], S. Tanno classiο¬ed connected almost contact metric manifolds whose automorphism groups possess the maximum dimension. For such a manifold, the sectional curvature of plane sections containing π is a constant, say π. He showed that they can be divided into three classes: (π) homogeneous normal contact Riemannian manifolds with π > 0, (ππ) global Riemannian products of a line or a circle with a Kaehler manifold of constant holomorphic sectional curvature if π = 0, (πππ) a warped product space if π < 0. It is known that the manifolds of class (π) are characterized by admitting a Sasakian structure. In the Gray-Hervella classiο¬cation of almost Hermitian manifolds [7], there appears a class, π4 , of Hermitian manifolds which are closely related to locally conformal Kaehler manifolds [4]. An almost contact metric structure on a manifold π 2000 Mathematics Subject Classiο¬cation. 53C25, 53C35, 53D10. Key words and phrases. Almost contact manifolds, trans-Sasakian manifolds, πΌ-Sasakian manifolds, Lorentzian πΌ-Sasakian manifolds, Ricci-semisymmetric, locally π-symmetric, π-parallel Ricci tensor. c β2009 Universiteti i PrishtineΜs, PrishtineΜ, KosoveΜ. Submitted October, 2009. Published December, 2009. 90 ON THREE-DIMENSIONAL LORENTZIAN πΌ-SASAKIAN MANIFOLDS 91 is called a trans-Sasakian structure [13], [1] if the product manifold π × β belongs to the class π4 . The class πΆ6 ⊕πΆ5 [12] coincides with the class of the trans-Sasakian structures of type (πΌ, π½). In fact, in [12], local nature of the two subclasses, namely, πΆ5 and πΆ6 structures, of trans-Sasakian structures are characterized completely. We note that trans-Sasakian structures of type (0, 0), (0, π½) and (πΌ, 0) are cosymplectic [1], π½-Kenmotsu [8] and πΌ-Sasakian [8], respectively. In [17] it is proved that trans-Sasakian structures are generalized quasi-Sasakian [8]. Thus, trans-Sasakian structures also provide a large class of generalized quasi-Sasakian structures. Then, in [18], YΔ±ldΔ±z and Murathan introduced Lorentzian πΌ-Sasakian manifolds. Also, three-dimensional trans-Sasakian manifolds have been studied by De and Tripathi [6], De and Sarkar [5] and many others. Also three-dimensional Lorentzian Para-Sasakian manifolds have been studied by Shaikh and De [14]. An almost contact metric structure (π, π, π, π) on π is called a trans-Sasakian structure [13] if (π × β, π½, πΊ) belongs to the class π4 [7], where π½ is the almost complex structure on π × β deο¬ned by π½(π, π π/ππ‘) = (ππ − π π, π(π)π/ππ‘), for all vector ο¬elds π on π and smooth functions π on π × β , and πΊ is the product metric on π × β . This may be expressed by the condition [2] (∇π π)π = πΌ(π(π, π )π − π(π )π) + π½(π(ππ, π )π − π(π )ππ), (1.1) for some smooth functions πΌ and π½ on π , and we say that the trans-Sasakian structure is of type (πΌ, π½). From the formula (1.1) it follows that ∇π π = −πΌππ + π½(π − π(π)π), (1.2) (∇π π)π = −πΌπ(ππ, π ) + π½π(ππ, ππ ). (1.3) More generally one has the notion of an πΌ-Sasakian structure [8] which may be deο¬ned by (∇π π)π = πΌ(π(π, π )π − π(π )π), (1.4) where πΌ is a non-zero constant. From the condition one may readily deduce that ∇π π = −πΌππ, (1.5) (∇π π)π = −πΌπ(ππ, π ). (1.6) Thus π½ = 0 and therefore a trans-Sasakian structure of type (πΌ, π½) with πΌ a nonzero constant is always πΌ-Sasakian [8]. If πΌ = 1, then πΌ-Sasakian manifold is a Sasakian manifold. Let (π₯, π¦, π§) be Cartesian coordinates in β3 , then (π, π, π, π) given by π = ∂/∂π§, β 0 π=β 1 0 −1 0 −π¦ β 0 0 β , 0 π = ππ§ − π¦ππ₯, ππ§ + π¦ 2 0 π=β −π¦ β 0 ππ§ 0 β −π¦ 0 β 1 is a trans-Sasakian structure of type (−1/(2ππ§ ), 1/2) in β3 [2]. In general, in a three-dimensional K-contact manifold with structure tensors (π, π, π, π) for a non′ ′ constant function π , if we deο¬ne π = π π + (1 − π )π ⊗ π; then (π, π, π, π ) is a trans-Sasakian structure of type (1/π, (1/2)π(ln π )) ([3], [8], [11]). 92 AHMET YILDIZ, MINE TURAN, AND BILAL EFTAL ACET The relation between trans-Sasakian, πΌ-Sasakian and π½-Kenmotsu structures was discussed by Marrero [11]. Proposition 1.1. [11] A trans-Sasakian manifold of dimension ≥ 5 is either πΌSasakian, π½-Kenmotsu or cosymplectic. The paper is organized as follows: After intoroduction in section 2, we introduce the notion of Lorentzian πΌ-Sasakian manifolds. In section 3, we study threedimensional Lorentzian πΌ-Sasakian manifolds. In the next section we prove that a three-dimensional Ricci -semisymmetric Lorentzian πΌ-Sasakian manifold is a manifold of constant curvature and in section 5, it is shown that such a manifold is locally π-symmetric. In section 6, we prove that three-dimensional Lorentzian πΌ-Sasakian manifold with π-parallel Ricci tensor is also locally π-symmetric. In the last section, we give an example of a locally π-symmetric three-dimensional Lorentzian πΌ-Sasakian manifold. 2. Lorentzian πΌ-Sasakian manifolds A diο¬erentiable manifold of dimension (2π + 1) is called a Lorentzian πΌ-Sasakian manifold if it admits a (1, 1)-tensor ο¬eld π, a contravariant vector ο¬eld π, a covariant vector ο¬eld π and the Lorentzian metric π which satisfy π(π) = −1, (2.1) π2 = πΌ + π ⊗ π, (2.2) π(ππ, ππ ) = π(π, π ) + π(π)π(π ), (2.3) π(π, π) = π(π), (2.4) ππ = 0, π(ππ) = 0, (∇π π)π = πΌ(π(π, π )π + π(π )π), (2.5) (2.6) for all π, π ∈ π π. Also a Lorentzian πΌ-Sasakian manifold π satisο¬es ∇π π = πΌππ, (2.7) (∇π π)π = πΌπ(π, ππ ), (2.8) where ∇ denotes the operator of covariant diο¬erentation with respect to the Lorentzian metric π and πΌ is constant. On the other hand, on a Lorentzian πΌ-Sasakian manifold π the following relations hold [18]: π (π, π)π = πΌ2 (π(π, π )π − π(π )π), (2.9) π (π, π )π = πΌ2 (π(π )π − π(π)π ), (2.10) π (π, π)π = πΌ2 (π(π)π + π), (2.11) π(π, π) = 2ππΌ2 π(π), (2.12) ON THREE-DIMENSIONAL LORENTZIAN πΌ-SASAKIAN MANIFOLDS ππ = 2ππΌ2 π, 93 (2.13) π(π, π) = −2ππΌ2 , (2.14) for any vector ο¬elds π, π, π, where π is the Ricci curvature and π is the Ricci operator given by π(π, π ) = π(ππ, π ). A Lorentzian πΌ-Sasakian manifold π is said to be π-Einstein if its Ricci tensor π is of the form π(π, π ) = ππ(π, π ) + ππ(π)π(π ), for any vector ο¬elds π, π , where π, π are functions on π π . 3. Three-dimensional Lorentzian πΌ-Sasakian manifolds In a three-dimensional Lorentzian πΌ-Sasakian manifold the curvature tensor satiο¬es = π(π, π)ππ − π(π, π)ππ + π(π, π)π − π(π, π)π π − [π(π, π)π − π(π, π)π ] , 2 where π is the scalar curvature. Then putting π = π in (3.1) and using (2.4) and (2.12), we have π (π, π )π π (π, π )π = π(π )ππ − π(π)ππ − [ π − 2πΌ2 ][π(π )π − π(π)π ]. 2 (3.1) (3.2) Using (2.10) in (3.2), we get π(π )ππ − π(π)ππ = [ π − πΌ2 ][π(π )π − π(π)π ]. 2 (3.3) Putting π = π in (3.3), we obtain ππ = [ π π − πΌ2 ]π + [ − 3πΌ2 ]π(π)π. 2 2 (3.4) Then from (3.4), we get π π − πΌ2 ]π(π, π ) + [ − 3πΌ2 ]π(π)π(π ). (3.5) 2 2 From (3.5), it follows that a Lorentzian πΌ-Sasakian manifold is an π-Einstein manifold. π(π, π ) = [ Lemma 3.1. A three-dimensional Lorentzian πΌ-Sasakian manifold is a manifold of constant curvature if and only if the scalar curvature is 6πΌ2 . Proof. Using (3.4) and (3.5) in (3.1), we get π (π, π )π = π − 2πΌ2 ][π(π, π)π − π(π, π)π ] 2 π +[ − 3πΌ2 ][π(π, π)π(π)π − π(π, π)π(π )π 2 +π(π )π(π)π − π(π)π(π)π ]. [ (3.6) β‘ 94 AHMET YILDIZ, MINE TURAN, AND BILAL EFTAL ACET From (3.6) the Lemma 3.1 is obvious. 4. Three-dimensional Ricci-Semisymmetric Lorentzian πΌ-Sasakian manifolds Deο¬nition 4.1. A Lorentzian πΌ-Sasakian manifold is said to be Ricci-semisymmetric if the Ricci tensor π satisο¬es π (π, π ) ⋅ π = 0, (4.1) where π (π, π ) denotes the derivation of the tensor algebra at each point of the manifold. Let us consider a three-dimensional Lorentzian πΌ-Sasakian manifold which satisο¬es the condition (4.1). Hence, we can write (π (π, π ) ⋅ π)(π, π ) = π (π, π )π(π, π ) −π(π (π, π )π, π ) − π(π, π (π, π )π ) = 0. (4.2) Then from (4.2), we have π(π (π, π )π, π ) + π(π, π (π, π )π ) = 0. Putting π = π in (4.3) and using (2.9) and (2.12), we get (4.3) π(π (π, π )π, π ) = 2πΌ4 π(π, π )π(π ) − πΌ2 π(π, π )π(π ), (4.4) π(π, π (π, π )π ) = 2πΌ4 π(π, π )π(π ) − πΌ2 π(π, π )π(π ). Using (4.4) and (4.5) in (4.3),we get (4.5) and 2πΌ2 π(π, π )π(π ) − π(π, π )π(π ) 2 +2πΌ π(π, π )π(π ) − π(π, π )π(π ) = 0, (4.6) πΌ β= 0 Let {π1 , π2 , π} be an orthonormal basis of the tangent space at each point of the three-dimensional Lorentzian πΌ-Sasakian manifold. Then we can write β§ β¨ π(ππ , ππ ) = πΏππ , π, π = 1, 2 π(π, π) = π(π) = −1, . (4.7) β© π(ππ ) = 0, π = 1, 2 Putting π = π = ππ in (4.6) and using (4.7), we obtain π(π )[2πΌ2 π(ππ , ππ ) − π(ππ , ππ )] = 0, where since π(ππ , ππ ) = [ π2 − πΌ2 ]π(ππ , ππ ), we get [3πΌ2 − π ]π(ππ , ππ ) = 0. 2 This gives π = 6πΌ2 , since π(ππ , ππ ) β= 0 which implies by Lemma 3.1 that the manifold is of constant curvature. Hence we can state the following: ON THREE-DIMENSIONAL LORENTZIAN πΌ-SASAKIAN MANIFOLDS 95 Theorem 4.2. A three-dimensional Ricci-semisymmetric Lorentzian πΌ-Sasakian manifold is a manifold of constant curvature. 5. Locally π-symmetric three-dimensional Lorentzian πΌ-Sasakian manifolds Deο¬nition 5.1. A Lorentzian πΌ-Sasakian manifold is said to be locally π-symmetric if π2 (∇π π )(π, π )π = 0, (5.1) for all vector ο¬elds π, π, π, π orthogonal to π. This notion was introduced by Takahashi for Sasakian manifolds [16]. Let us consider a three-dimensional Lorentzian πΌ-Sasakian manifold. Firstly, diο¬erentiating (3.6) covariantly with respect to π , we get (∇π π )(π, π )π ππ (π ) [π(π, π)π − π(π, π)π ] 2 ππ (π ) + [π(π, π)π(π)π − π(π, π)π(π )π + π(π )π(π)π − π(π)π(π)π ] 2 π +[ − 3πΌ2 ][π(π, π)(∇π π)(π)π − π(π, π)(∇π π)(π )π 2 +π(π, π)π(π)∇π π − π(π, π)π(π )∇π π + (∇π π)(π )π(π)π = +π(π )(∇π π)(π)π − (∇π π)ππ(π)π − π(π)(∇π π)(π)π )]. Taking π, π, π, π orthogonal to π in the above equation, we have (∇π π )(π, π )π = ππ (π ) [π(π, π)π − π(π, π)π ] (5.2) 2 π +[ − 3πΌ2 ][π(π, π)(∇π π)(π)π − π(π, π)(∇π π)(π )π]. 2 Using the equation (2.8) in (5.2), we obtain (∇π π )(π, π )π = ππ (π ) [π(π, π)π − π(π, π)π ] (5.3) 2 π +[ − 3πΌ2 ][π(π, π)π(π, π)π + π(π, π)π(π, π )π]. 2 From (5.3), it follows that π2 (∇π π )(π, π )π = ππ (π ) [π(π, π)π − π(π, π)π ]. 2 (5.4) Thus, we obtain the following: Theorem 5.2. A three-dimensional Lorentzian πΌ-Sasakian manifold is locally πsymmetric if and only if the scalar curvature π is constant. Again if the manifold is Ricci-semisymmetric, then we have seen that π = 6πΌ2 , i.e., π =constant and hence from Theorem 5.2, we can state the following: Theorem 5.3. A three-dimensional Ricci-semisymmetric Lorentzian πΌ-Sasakian manifold is locally π-symmetric. 96 AHMET YILDIZ, MINE TURAN, AND BILAL EFTAL ACET 6. Three-dimensional Lorentzian πΌ-Sasakian manifolds with π-parallel Ricci Tensor Deο¬nition 6.1. The Ricci tensor π of a Lorentzian πΌ-Sasakian manifold π is called π-parallel if it is satisο¬es (∇π π)(ππ, ππ) = 0, (6.1) for all vector ο¬elds π, π and π. The notion of Ricci π-parallelity for Sasakian manifolds was introduced by Kon [10]. Now let us consider three-dimensional Lorentzian πΌ-Sasakian manifold with πparallel Ricci tensor. Then from (3.5), we have π π(ππ, ππ ) = [ − πΌ2 ]π(ππ, ππ ), (6.2) 2 where, using (2.3), we get π (6.3) π(ππ, ππ ) = [ − πΌ2 ](π(π, π ) + π(π)π(π )). 2 Diο¬erentiating (6.3) covariantly along π, we obtain (∇π π)(ππ, ππ ) = ππ (π) (π(π, π ) + π(π)π(π )) 2 π +( − πΌ2 )(π(π )(∇π π)(π) + π(π)(∇π π)(π )). 2 (6.4) Using (6.1) in (6.4), yields 1 [ππ (π)(π(π, π ) + π(π)π(π )) 2 +(π − 2πΌ2 )(π(π )(∇π π)(π) + π(π)(∇π π)(π ))] = 0. (6.5) Taking a frame ο¬eld, we get from (6.5), ππ (π) = 0, for all π. Proposition 6.2. If a three-dimensional Lorentzian πΌ-Sasakian manifold has πparallel Ricci tensor, then the scalar curvature π is constant. From Theorem 5.2 and Proposition 6.2 we have the following: Theorem 6.3. A three-dimensional Lorentzian πΌ-Sasakian manifold with π-parallel Ricci tensor is locally π-symmetric. 7. Example We consider the three-dimensional manifold π = {(π₯1 , π₯2 , π₯3 ) : π₯π ∈ β3 }, where (π₯1 , π₯2 , π₯3 ) are the standard coordinates of β3 . The vector ο¬elds π1 = ππ₯3 ∂ , ∂π₯2 π2 = ππ₯3 ( ∂ ∂ + ), ∂π₯1 ∂π₯2 π3 = πΌ ∂ , ∂π₯3 are linearly indepent at each point of π, where πΌ is constant. Let π be the Lorentzian metric deο¬ned by π(π1 , π3 ) = π(π1 , π2 ) = π(π2 , π3 ) = 0 π(π1 , π1 ) = π(π2 , π2 ) = 1, π(π3 , π3 ) = −1, ON THREE-DIMENSIONAL LORENTZIAN πΌ-SASAKIAN MANIFOLDS 97 that is, the form of the metric becomes 1 1 π = π₯3 2 (ππ₯2 )2 − 2 (ππ₯3 )2 , (π ) πΌ which is a Lorentzian metric. Let π be the 1-form deο¬ned by π(π) = π(π, π3 ) for any π ∈ π(π ). Let π be the (1, 1)-tensor ο¬eld deο¬ned by ππ1 = −π1 , ππ2 = −π2 , ππ3 = 0. Then using the linearity of π and π, we have π(π3 ) π2 π π(ππ, ππ ) = −1, = π + π(π)π3 and = π(π, π ) + π(π)π(π ), for any π, π ∈ π(π ). Then for π3 = π, the structure (π, π, π, π) deο¬nes a Lorantzian paracontact structure on π. Let ∇ be the Levi-Civita connection with respect to the Lorentzian metric π and π be the curvature tensor of π. Then we have [π1 , π3 ] = −πΌπ1 , [π1 , π2 ] = 0, [π2 , π3 ] = −πΌπ2 . Koszul’s formula is deο¬ned by 2π(∇π π, π) = ππ(π, π) + π π(π, π) − ππ(π, π ) (7.1) −π(π, [π, π]) − π(π, [π, π]) + π(π, [π, π ]). Using (7.1) for the Lorentzian metric π, we can easily calculate that ∇π1 π 1 = −πΌπ3 , ∇π1 π2 = 0, ∇π1 π3 = −πΌπ1 , ∇π2 π 1 = 0, ∇π2 π2 = −πΌπ3 , ∇π2 π3 = −πΌπ2 , ∇π3 π 1 = 0, ∇π3 π2 = 0, ∇π3 π3 = 0. Hence the structure (π, π, π, π) is a Lorantzian πΌ-Sasakian manifold. Now using the above results, we obtain π (π2 , π3 )π3 = −πΌ2 π2 , π (π1 , π2 )π3 = 0, π (π1 , π3 )π3 = −πΌ2 π1 , 2 π (π1 , π2 )π2 = πΌ2 π1 , π (π2 , π3 )π2 = −πΌ π3 , π (π1 , π2 )π1 = −πΌ2 π2 , π (π3 , π1 )π1 = πΌ 2 π3 , π (π2 , π1 )π1 = πΌ2 π2 , π (π3 , π2 )π2 = πΌ 2 π3 . (7.2) From which it follows that π2 (∇π π )(π, π )π = 0. Hence, the three-dimensional Lorentzian πΌ-Sasakian manifold is locally π-symmetric. Also from the above expressions of the curvature tensor we obtain π(π1 , π1 ) = π(π2 , π2 ) = 0 and π(π3 , π3 ) = −2πΌ2 . (7.3) Hence π = −2πΌ2 , which is a constant. Thus Theorem 5.3 is veriο¬ed. Next from the expresions of the Ricci tensor we ο¬nd that the manifold is Riccisemisymmetric. Also from (7.2) we see that the manifold is a manifold of constant curvature πΌ2 . Hence Theorem 4.2 is veriο¬ed. 98 AHMET YILDIZ, MINE TURAN, AND BILAL EFTAL ACET Finally from (7.3) it follows that (∇π π)(ππ, ππ ) = 0, for all π, π, π. Therefore Theorem 6.3 is also veriο¬ed. References [1] Blair D. E., Riemannian geometry contact and symplectic manifolds, Progress in Mathematics in Mathematics, 203(2002). Birkhauser Boston, Inc., Boston. [2] Blair D. E. and Oubina J. A., Conformal and related changes of metric on the product of two almost contact metric manifolds, Publications Matematiques, 34(1990), 199-207. [3] Chinea D. and Gonzales C., Curvature relations in trans-Sasakian manifolds, Proceedings of the XIIth Portuguese-Spanish Conference on Mathematics, Vol. II(Portuguese) (Braga, 1987), 564-571, Univ. Minho, Braga, 1987. [4] Dragomir S. and Ornea L., Locally conformal Kaehler geometry, Progress in Mathematics 155, Birkhauser Boston, Inc., Boston, MA, 1998. [5] De U. C. and Sarkar A., On three-dimensional Trans-Sasakian Manifolds, Extracta Math. 23(2008), 3, 265-277. [6] De U. C. and Tripathi M. M., Ricci Tensor in 3-dimensional Trans-Sasakian Manifolds, Kyungpook Math. J., 43(2003), 247-255. [7] Gray A. and Hervella L. M., The sixteen classes of almost Hermitian manifolds and their linear invariants, Ann. Mat. Pura Appl., 123(4)(1980), 35-58. [8] Janssens D. and Vanhacke L., Almost contact structures and curvature tensors, Kodai Math. J., 4(1981), 1-27. [9] Ianus S. and Smaranda D., Some remarkable structures on the product of an almost contact metric manifold with the real line, Papers from the National Coll. on Geometry and Topolgy, Univ. Timisoara (1977), 107-110. [10] Kon M., Invarience submanifolds in Sasakian manifolds, Math. Ann. 219(1976),227-290. [11] Marrero J. C., The local structure of trans-Sasakian manifolds, Ann. Mat. Pura Appl., 162(4)(1992), 77-86. J. [12] Marrero J. C. and Chinea D., On trans-Sasakian manifolds, Proceedings of the XIVth Spanish-Portuguese Conference on Mathematics, Vol. I-III (Spanish) (Puerto de la Cruz, 1989), 655-659, Univ. La Laguna, La Laguna, 1990. [13] Oubina A., New classes of contact metric structures, Publ. Math. Debrecen, 32(3-4)(1985), 187-193. [14] Shaikh A.A. and De U. C., On 3-dimensional Lorentzian Para-Sasakian Manifolds, Soochow J. Math. 26(2000), 4, 359-368. [15] Tanno S., The automorphism groups of almost contact Riemannian manifolds, Tohoku Math. J., 21(1969), 21-38. [16] Takahashi T., Sasakian π-symmetric spaces,Tohoku Math. J., 29(1977), 91-113. [17] Tripathi M. M., Trans-Sasakian manifolds are generalized quasi-Sasakian, Nepali Math. Sci. Rep., 18(1-2)(1999-2000), 11-14. [18] YΔ±ldΔ±z A. and Murathan C., On Lorentzian πΌ-Sasakian manifolds, Kyungpook Math. J., 45 (2005), 95-103. Art and Science Faculty, Department of Mathematics, DumlupΔ±nar University, KuΜtahya, TURKEY E-mail address: ahmetyildiz@dumlupinar.edu.tr Art and Science Faculty, Department of Mathematics, DumlupΔ±nar University, KuΜtahya, TURKEY E-mail address: mineturan@dumlupinar.edu.tr Art and Science Faculty, Department of Mathematics, AdΔ±yaman University, AdΔ±yaman, TURKEY E-mail address: eacet@adiyaman.edu.tr