Abstract
In this paper we study a special type of metric called \(*\)-Ricci soliton on para-Sasakian manifold. We prove that if the para-Sasakian metric is a \(*\)-Ricci soliton on a manifold M, then M is either \(\mathcal {D}\)-homothetic to an Einstein manifold, or the Ricci tensor of M with respect to the canonical paracontact connection vanishes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The study of Ricci solitons on pseudo-Riemannian (Riemannian) manifold is an interesting topic in modern differential geometry because it covers Einstein metric (as a special case) and often arise as a fixed of Hamilton’s Ricci flow: \(\frac{\partial }{\partial t}g_{ij}=-2R_{ij}\), viewed as a dynamical system on the space of Riemannin metrics modulo diffeomorphisms and scalings. A pseudo-Riemannian metric g on a smooth manifold \(M^n\) is said to be a Ricci soliton if there exists a real number \(\lambda \) such that its Ricci tensor Ric satisfies
where V is a vector field on M (called the potential vector field) and \(\pounds _{V}\) denotes the Lie differentiation along the vector field V. Ricci solitons were introduced in Riemannian geometry [14] as the self-similar solutions of the Ricci flow, and play an important role in understanding its singularities. A wide survey on Riemannian Ricci solitons may be found in [9]. The classification of Sasakian metric as a Ricci soliton has been done by Ghosh–Sharma [12] and Sharma–Ghosh [20]. After their introduction in Riemannian case, the study of pseudo-Riemannian Ricci solitons attracted a growing number of authors.
In parallel with contact and complex structures in the Riemannian case, paracontact metric structures were introduced by Kaneyuki and Williams [17] in pseudo-Riemannian settings, as a natural odd-dimensional counterpart to para Hermitian structures. A systematic study of paracontact metric manifolds started with the paper [25]. The technical apparatus introduced in [25] is essential for further investigations of paracontact metric geometry. The problem of studying Ricci solitons in the context of paracontact metric geometry was initiated by Calvaruso and Perrone [6]. The case of Ricci solitons in three-dimensional paracontact geometry was treated by Bejan and Crasmareanu [2] respectively Calvaruso and Perrone [8]. For some recent results and further references on pseudo-Riemannian Ricci solitons, we may refer to [3,4,5, 7, 18] and references therein.
The notation of \(*\)-Ricci soliton has been studied by Kaimakamis and Panagiotidou [16] within the framework of real hypersurfaces of complex space forms. They essentially modified the definition of Ricci soliton by replacing the Ricci tensor Ric in (1) with the \(*\)-Ricci tensor \(Ric^*\). Here, it is mentioned that the notion of \(*\)-Ricci tensor was first introduced by Tachibana [22] on almost Hermitian manifolds and further studied by Hamada [13] on real hypersurfaces of non-flat complex space forms.
Definition 1
A pseudo-Riemannian metric g on a smooth manifold M is called a \(*\)-Ricci soliton if there exists a smooth vector field V and a real number \(\lambda \), such that
where
for all vector fields X, Y on M. Here, \(\varphi \) is a tensor field of type (0, 2).
In a recent paper, [11] the authors studied \(*\)-Ricci solitons in Sasakian manifolds. In the similar way, in this frame work, we make an effort to study a \(*\) -Ricci soliton on paracontact geometry mainly concerned with the special case of para-Sasakian manifold. It may be mentioned that a para-Sasakian manifold is a paracontact manifold with pseudo-Riemannian metric, whereas a Sasakian manifold is a contact manifold with Riemannina metric. Therefore, these two notions are completely different. Para-Sasakian manifolds have been studied in recent years by many authors, by emphasizing similarities and differences with respect to the most well known Sasakian case. In this junction, it is suitable to mention that, \(\eta \)-Ricci solitons on para-Sasakian manifolds were studied in the paper [19].
In the present paper, our main object is to study \(*\)-Ricci soliton within the frame-work of para-Sasakian manifold. More precisely, we prove the following theorem:
Theorem 1
Let \(M(\varphi , \xi ,\eta , g)\) be a \((2n+1)\)-dimensional para-Sasakian manifold. If g is a \(*\)-Ricci soliton on M, then either M is \(\mathcal {D}\)-homothetic to an Einstein manifold, or the Ricci tensor of M with respect to canonical paracontact connection vanishes. In the first case, the soliton vector field is Killing and in the second case, the soliton vector field leaves \(\varphi \) invariant.
2 Preliminaries
In this section we collecting some basic definitions and formulas on paracontact metric manifolds and para-Sasakian manifolds. All the manifolds are assumed to be connected and smooth. We may refer to [1, 10, 19, 21, 23, 25] and references therein for more information about para-Sasakian geometry.
An almost paracontact structure on a \((2n + 1)\)-dimensional (connected) smooth manifold M is a triple \((\phi , \xi , \eta )\), where \(\phi \) is a (1, 1)-tensor, \(\xi \) a global vector field and \(\eta \) a 1-form, such that
and the restriction J of \(\phi \) on the horizontal distribution ker\(\eta \) is an almost paracomplex structure (that is, the eigensubbundles \(D^+, D^-\) corresponding to the eigenvalues 1,\(-1\) of J have equal dimension n). A pseudo-Riemannian metric g on M is compatible with the almost paracontact structure \((\phi , \xi , \eta )\) when
In such a case, \((\phi , \xi , \eta , g)\) is said to be an almost paracontact metric structure. Remark that, by (4) and (5), \(\eta (X) = g(\xi , X)\) for any compatible metric. Any almost paracontact structure admits compatible metrics, which, by (5), necessarily have signature \((n+1, n)\). The fundamental 2-form\(\phi \) of an almost paracontact metric structure \((\phi , \xi , \eta , g)\) is defined by \(\varPhi (X, Y)=g(X, \phi Y)\), for all tangent vector fields X, Y. If \(\varPhi =d\eta \), then the manifold \((M, \eta , g)\) (or \(M(\phi , \xi , \eta , g)\)) is called a paracontact metric manifold and g the associated metric. If the paracontact metric structure \(M(\phi , \xi , \eta , g)\) is normal, that is, satisfies \([\phi , \phi ]+2d\eta \otimes \xi =0\), then \((\phi , \xi , \eta , g)\) is called para-Sasakian. Equivalently, a para contact metric structure \((\phi , \xi , \eta , g)\) is para-Sasakian if
for any vector fields X, Y on M, where \(\nabla \) is Levi–Civita connection of g. Alternatively, a paracontact metric structure on M is said to be para-Sasakian if the metric cone is para-Kaehler [1]. Any para-Sasakian manifold is K-paracontact, and the converse also holds when \(n=1\), that is for three-dimensional space. From (6), it follows that
Also in a \((2n+1)\)-dimensional para-Sasakian manifold, the following relations hold:
for any X, Y on M. Here, R denotes the curvature tensor of g and Ric denotes the Ricci tensor defined by \(S(X,Y)=g(QX, Y)\), where Q is the Ricci operator.
Lemma 1
Let \(M(\phi , \xi , \eta , g)\) be a para-Sasakian manifold. Then
(i) \((\nabla _{X} Q)\xi =Q\phi X+2n\phi X\), and (ii) \(\nabla _{\xi }Q=-\phi \).
Proof
Taking covariant differentiation of (11) along an arbitrary vector field X on M and using (7), we obtain (ii). Next, since \(\xi \) is Killing, we have \(\pounds _\xi Ric=0\). This implies (\(\pounds _{\xi } Q)X=0\) for any vector field X on M. From which it follows that
Using (7) in the above equation gives
On a para-Sasakian manifold (see Eq. (3.39) of [25]), we have \(Q\phi - \phi Q = -\phi \). By making use of this relation in (12) we have (i). This completes the proof.
If the Ricci tensor of a para-Sasakian manifold M is of the form
for any vector fields X, Y on M, where A and B being constants, then M is called an \(\eta \)-Einstein manifold.
The 1-form \(\eta \) is determined up to a horizontal distribution and hence \(\mathcal {D}=Ker\eta \) are connected by \(\bar{\eta }=\sigma \eta \) for a positive smooth function \(\sigma \) on a paracontact manifold M. This paracontact form \(\bar{\eta }\) defines the structure tensor \((\bar{\phi }, \bar{\xi }, \bar{g})\) corresponding to \(\bar{\eta }\) using the condition given in the paper [25]. We call the transformation of the structure tensors given by Lemma 4.1 of [25] a gauge (conformal) transformation of paracontact pseudo-Riemannian structure. When \(\sigma \) is constant this is a \(\mathcal {D}\)-homothetic transformation. Let \(M(\phi , \xi , \eta , g)\) be a paracontact manifold and
to be \(\mathcal {D}\)-homothetic transformation. Then \((\bar{\phi }, \bar{\xi }, \bar{\eta }, \bar{g})\) is also a paracontact structure. Here the para-Sasakian structure is preserved since the normality conditions is preserved under \(\mathcal {D}\)-homothetic transformations. Using the formula appeared in [25] for \(\mathcal {D}\)-homothetic deformation, one can easily verify that if \(M(\phi , \xi , \eta , g)\) is a (2n+1)-dimensional \((n>1)\)\(\eta \)-Einstein para-Sasakian structure with scalar curvature \(r \ne 2n\), then there exists a constant \(\alpha \) such that \(M(\bar{\phi }, \bar{\xi }, \bar{\eta }, \bar{g})\) is an Einstein para-Sasakian structure. So we adopt the following result.
Lemma 2
Any \((2n+1)\)-dimensional \(\eta \)-Einstein para-Sasakian manifold with scalar curvature not equal to 2n is \(\mathcal {D}\)-homothetic to an Einstein manifold.
The canonical paracontact connection on a paracontact manifold was defined by Zamkovoy [25]. On an integrable paracontact metric manifold such a connection is unique and is defined in terms of the Levi–Civita connection by
A canonical paracontact connection on a para-Sasakian manifold which seems to be the paracontact analogue of the (generalized) Tanaka–Webster connection.
In view of (7) in (15), we arrive at
for all vector fields X, Y on M. The connection \(\widetilde{\nabla }\) given by (16) is called a canonical paracontact connection on a para-Sasakian manifold. Indeed, the Ricci tensor \(\widetilde{Ric}\) of a \((2n+1)\)-dimensional para-Sasakian manifold with respect to canonical paracontact connection \(\widetilde{\nabla }\) is defined by
for all vector fields X, Y on M. For details we refer to [15, 25].
3 Proof of Theorem 1
In this section, before presenting our main result about \(*\)-Ricci soliton on a para-Sasakian manifold, we state and prove some lemmas which will be used to prove Theorem 1.
Lemma 3
The \(*\)-Ricci tensor on a \((2n+1)\)-dimensional para-Sasakian manifold \(M(\phi , \xi , \eta , g)\) is given by
for any vector fields X, Y on M.
Proof
The Ricci tensor Ric of a \((2n+1)\)-dimensional para-Sasakian manifold \(M(\phi , \xi , \eta , g)\) satisfies the relation (c.f. Lemma 3.15 in [25]):
for any vector fields X, Y on M. Using the skew-symmetric property of \(\phi \), we write
By virtue of this, it follows from (19) that
Making use of (3) in (21), we obtain (18).
Lemma 4
For a para-Sasakian manifold, we have the following relation
Proof
By virtue of Lemma 3, the \(*\)-Ricci soliton Eq. (2) can be expressed as
Setting \(Y=\xi \) in (23) and using (10) it follows that \((\pounds _{V}g)(X,\xi )=2\lambda \eta (X)\). Lie-differentiating the equation \(\eta (X)=g(X, \xi )\) along V and by virtue of last equation, we find
Next, Lie-derivative of \(g(\xi , \xi )=1\) along V and Eq. (24) completes proof.
Lemma 5
Let \(M(\phi , \xi , \eta , g)\) be a \((2n+1)\)-dimensional para-Sasakian manifold. If g is a \(*\)-Ricci soliton, then M is an \(\eta \)-Einstein manifold and the Ricci tensor can be expressed as
for any vector fields X, Y on M.
Proof
First, taking covariant differentiation of (23) along an arbitrary vector field Z, we get
According to Yano [24], we get
for any vector fields X, Y, Z on M. In view of the parallelism of the pseudo-Riemannian metric g, we get from the above relation that
Comparing (26) and (27), we have
By a straightforward combinatorial combination of (28) gives
Replacing Y by \(\xi \) in (29) and Lemma 1, we have
Further, differentiating (30) covariantly along an arbitrary vector field Y on M and then using the relations (6) and (11), we get
Again, according to Yano [24] we have the following commutation formula
Replace Z by \(\xi \) in (32) and taking into account of (31), we obtain
Taking \(\xi \) for Y in (33), then using (11), (30) and Lemma 1, we have
Next, taking Lie-derivative of (9) along V and taking into account of (8) and (22) one can get
Comparing (34) with (35), and making use of (24), we obtain the required result.
Now, we state and prove the main result in the following:
Proof of Theorem 1
Making use of (25), the soliton equation (23) takes the form
Taking Lie-differentiation of (25) along the vector field V and using (23) we obtain
Other hand, differentiating the Eq. (25) covariantly along an arbitrary vector field Z on M and then using (7) we find
In view of (38), Eq. (29) transforms into
Differentiating (39) covariantly along an arbitrary vector field Z on M and making use of (6) and (7) yields
Using (40) in commutation formula (32) and using (7) we produce
Contracting (41) over Z, we have
Comparison of (37) and (42) gives
Replacing Y by \(\phi ^2 Y\) in (43) and then using (4) and (22) we have
Taking account of (44) in (43) and then plugging Z by \(\phi Z\), we obtain
Since \(\varPhi (Y, Z)=g(Y, \phi Z)\ne 0\) on M, we can obtain either \(\lambda =0\) or \(\lambda =-2(2n+1)\).
Case I: If \(\lambda =0\), from (36) we see that \(\pounds _V g=0\), that is, V is Killing. From (25) we see that
Contracting the Eq. (46) we get \(r=-4n^2\), where r is the scalar curvature of the manifold M. This shows that M is an \(\eta \)-Einstein manifold with scalar curvature \(r\ne 2n\). Hence, we conclude that M is \(\mathcal {D}\)-homothetic to an Einstein manifold.
Case II: If \(\lambda =-2(2n+1)\), then replacing Z by \(\xi \) in (44) and then setting Y by \(\phi Y\) of the resulting equation gives \((\frac{\lambda }{2}-1)(\pounds _V \eta )(\phi Y)=0\). Since \(\lambda =-2(2n+1)\), we have \(\lambda \ne 2\). thus we have \((\pounds _V \eta )(\phi Y)=0\). Taking Y by \(\phi Y\) in the foregoing equation and using (4) and also Lemma 4, we obtain
Taking exterior differentiation d on (47) we have
noting that d commutes with \(\pounds _V\). Further, taking the Lie-derivative of the well known equation \(d\eta (X,Y)=g(X, \phi Y)\) along the soliton vector field V provides
From (36) we also deduce
Using (48) and (50) in (49) we find \(\pounds _V \phi =0\). Hence, the soliton vector field V leaves \(\phi \) invariant.
Further, using \(\lambda =-2(2n+1)\) in (25) it follows that
Contracting (51) we obtain \(r=2n\) (i.e., the manifold M cannot be \(\mathcal {D}\)-homothetic to an Einstein manifold). Then, by taking account of (51) in (17) we obtain \(\widetilde{Ric}(X,Y)=0\). That is, the Ricci tensor with respect to the connection \(\widetilde{\nabla }\) vanishes. This completes the proof of our Theorem 1.
4 Conclusion
The study of Ricci solitons on Riemannian manifolds and pseudo-Riemannian manifolds is an issue, which is of great importance in the area of differential geometry and in physics as well. Ricci soliton generalizes the notion of Einstein metric on a Riemannian manifold. The \(*\)-Ricci soliton is a new notion not only in the area of differential geometry but in the area of physics as well. Note that, a \(*\)-Ricci soliton is trivial if the vector field V is Killing, and in this case the manifold becomes \(*\)-Einstein, i.e., \(Ric^* = \lambda g\). So far we know that, the notion of \(*\)-Ricci tensor appears on complex and contact manifolds only. However, some classifications are available in the literature in terms of the \(*\)-Ricci tensor. On the other hand, in the recent years, many authors have studied and pointed out the importance of paracontact geometry and, in particular, of para-Sasakian geometry, by giving the relationships with the theory of para-Kahler manifolds and its role in pseudo-Riemannian geometry and mathematical physics. Here, making use of the formulas of para-Sasakian manifold one can easily deduce an expression of the \(*\)-Ricci tensor. Due to the pressence of some extra terms in the expression of \(*\)-Ricci tensor the defining condition of the \(*\)-Ricci soliton is different from Ricci soliton. Thus, in this connection, we are interested and studied \(*\)-Ricci solitons within the framework of para-Sasakian manifold.
References
Alekseevsky, D.V., Cortes, V., Galaev, A., Leistner, T.: Cones over pseudo-Riemannian manifolds and their holonomy. J. Reine Angew. Math. 635, 23–69 (2009)
Bejan, C.L., Crasmareanu, M.: Second order parallel tensors and Ricci solitons in 3-dimensional normal paracontact geometry. Ann. Glob. Anal. Geom. https://doi.org/10.1007/s10455-014-9414-4
Blaga, A.M., Crasmareanu, M.C.: Torse-forming \(\eta \)-Ricci solitons in almost paracontact \(\eta \)-Einstein geometry. Filomat 31(2), 499–504 (2017)
Brozos-Vazquez, M., Calvaruso, G., Garcia-Rio, E., Gavino-Fernandez, S.: Three-dimensional Lorentzian homogeneous Ricci solitons. Isr. J. Math. 188, 385–403 (2012)
Calvaruso, G., Fino, A.: Four-dimensional pseudo-Riemannian homogeneous Ricci solitons. Int. J. Geom. Methods Mod. Phys. 12, 1550056 (2015). (21 pages)
Calvaruso, G., Perrone, D.: Geometry of H-paracontact metric manifolds. Publ. Math. Debrecen 86, 325–346 (2015)
Calvaruso, G., Zaeim, A.: A complete classification of Ricci and Yamabe solitons of non-reductive homogeneous 4-spaces. J. Geom. Phys. 80, 15–25 (2014)
Calvaruso, G., Perrone, A.: Ricci solitons in three-dimensional paracontact geometry. J. Geom. Phys. 98, 1–12 (2015)
Cao, H.-D.: Recent progress on Ricci solitons. Adv. Lect. Math. (ALM) 11, 1–38 (2009). arXiv:0908:2006v1
Cappelletti Montono, B., Kupeli Erken, I., Murathan, C.: Nullity conditions in paracontact geometry. Differ. Geom. Appl. 30, 665–693 (2012)
Ghosh, A., Patra, D.S.: \(*\)-Ricci soliton within the frame-work of Sasakian and \((\kappa, \mu )\)-contact manifold. Int. J. Geom. Methods Mod. Phys. (2018). https://doi.org/10.1142/S0219887818501207
Ghosh, A., Sharma, R.: Sasakian metric as a Ricci soliton and related results. J. Geom. Phys. 75, 1–6 (2014)
Hamada, T.: Real hypersurfaces of complex space forms in terms of Ricci \(^*\) - tensor. Tokyo J. Math. 25, 473–483 (2002)
Hamilton, R.S.: The Ricci Flow on Surfaces, Mathematics and General Relativity (Santa Cruz, CA, 1986), Contemp. Math., vol. 71, pp. 237–262. Amer. Math. Soc., Providence (1988)
Ivanov, S., Vassilev, D., Zamkovoy, S.: Conformal paracontact curvature and the local flatness theorem. Geom. Dedicata 144, 79–100 (2010)
Kaimakamis, G., Panagiotidou, K.: \(*\)-Ricci solitons of real hypersurfaces in non-flat complex space forms. J. Geom. Phys. 86, 408–413 (2014)
Kaneyuki, S., Williams, F.L.: Almost paracontact and parahodge structures on manifolds. Nagoya Math. J. 99, 173–187 (1985)
Pina, R., Tenenblat, K.: On solutions of the Ricci curvature and the Einstein equation. Isr. J. Math. 171, 61–76 (2009)
Prakasha, D.G., Hadimani, B.S.: \(\eta \)-Ricci solitons on para-Sasakian manifolds. J. Geom. 108, 383–392 (2017)
Sharma, R., Ghosh, A.: Sasakian 3-manifold as a Ricci soliton represents the Heisenberg group. Int. J. Geom. Methods Mod. Phys. 8, 149–154 (2011)
Srivastava, S.K., Srivastava, K.: Harmonic maps and para-Sasakian geometry. Matematicki Vesnik 69(3), 153–163 (2017)
Tachibana, S.: On almost-analytic vectors in almost Kahlerian manifolds. Tohoku Math. J. 11, 247–265 (1959)
Venkatesha, Naik, D.M.: Certain results on \(K\)-paracontact and paraSasakian manifolds. J. Geom. 108, 939–952 (2017)
Yano, K.: Integral Formulas in Riemannian Geometry. Marcel Dekker, New York (1970)
Zamkovoy, S.: Canonical connections on paracontact manifolds. Ann. Glob. Anal. Geom. 36(1), 37–60 (2009)
Acknowledgements
The first author (DGP) is thankful to University Grants Commission, New Delhi, India, for financial support to the Department of Mathematics, K. U. Dharwad in the form of UGC-SAP-DRS-III programme (F.510/3/DRS-III/2016(SAP-I) Dated: 29th Feb. 2016).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Prakasha, D.G., Veeresha, P. Para-Sasakian manifolds and \(*\)-Ricci solitons. Afr. Mat. 30, 989–998 (2019). https://doi.org/10.1007/s13370-019-00698-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13370-019-00698-9