Some Solitons on Homogeneous Almost -Cosymplectic -Manifolds and Harmonic Manifolds
Abstract.
In this paper, we investigate the nature of Einstein solitons, whether it is steady, shrinking or expanding on almost -cosymplectic -manifolds. We also prove that a simply connected homogeneous almost -cosymplectic -manifold, admitting a contact Einstein soliton, is an unimodular semidirect product Lie group. Finally, we show that a harmonic manifold admits a non-trivial Ricci soliton if and only if it is flat. Thus we show that rank one symmetric spaces of compact as well as non-compact type are stable under a Ricci soliton. In particular, we obtain a strengthening of Theorem and Theorem of [1].
Key words and phrases:
Almost -cosymplectic manifold, Harmonic manifold, Ricci soliton, Einstein soliton1991 Mathematics Subject Classification:
53B40, 58B20, 53C25, 53D151. Introduction
The study of solitons, in particular Ricci solitons, on Riemannian manifolds play a vital role in understanding the geometry of underlying manifold. It is very interesting to study Ricci and Einstein solitons on almost -cosymplectic -manifolds. Recently, Jin and Ximin [10] showed that a simply connected homogeneous almost -cosymplectic -manifold, admitting contact Ricci solitons, is cosymplectic; and the manifold under consideration is an unimodular semidirect product Lie group , where , equipped with a flat left invariant cosymplectic structure.
Motivated by this result we show in this paper that, if a simply connected homogeneous almost -cosymplectic -manifold, with some additional hypothesis, admits a contact Einstein soliton, then the manifold is an unimodular semidirect product Lie group of type , where . And also is the Lie group equipped with its flat left invariant cosymplectic structure (see Corrollary 3.5). In order to prove this result, we first obtain a characterization of almost -cosymplectic -manifold admitting contact Einstein solitons, which is the main theorem (Theorem 3.4) of Section 3. To establish this aforementioned theorem we derive an identity (Lemma 3.3) involving scalar curvature, Lie derivative of the metric and Ricci operator on a Riemannian manifold admitting Einstein soliton. We also give some conditions on for contact Einstein solitons to be steady, shrinking or expanding on almost -cosymplectic -manifolds (see Theorem 3.1).
Another interesting topic in the differential geometry is the geometry of harmonic manifolds.
In this paper, we prove that
a harmonic manifold admits a non-trivial
Ricci soliton if and only if it is flat.
The flat harmonic manifold admits Ricci solitons of steady, expanding or shrinking type. We also determine the corresponding potential function. In fact, Busemann function on turns to be the potential function in case of steady solitons (see Theorem 4.1 of Section 4).
Note that any rank one symmetric space is harmonic.
Therefore, in particular, we obtain that there
are no non-trivial Ricci solitons on rank one symmetric spaces. Thus harmonic manifolds, in particular, rank one symmetric spaces are stable
under a Ricci soliton. It is shown in Theorem and Theorem of [1] that any
small perturbation of the non-compact symmetric metric is flown back to the original metric under
an appropriately rescaled Ricci flow. Thus we obtain
the strengthening of this result in case of
non-compact rank one symmetric spaces.
Moreover, we also obtain that compact rank one
symmetric spaces are stable
under the Ricci solitons.
The paper is divided into four sections. Section 2 is devoted to the preliminaries about Ricci soliton, Einstein soliton, almost -cosymplectic -manifolds and harmonic manifolds. In Section 3, we prove our main results on almost -cosymplectic -manifold admitting contact Einstein solitons, as stated above. In the last section, we prove the main result about harmonic manifolds admitting Ricci solitons.
2. Preliminaries
In this section, we discuss some notions required to prove the results of this paper.
2.1. Ricci solitons
Ricci solitons are the self similar solutions of the Ricci flow. The concept of Ricci flow was first introduced by Hamilton [8] in (1982), motivated by the work of Eells and Sampson [7] on harmonic map and the flow was given by the equation
where is the Ricci tensor.
Ricci solitons are the generalizations of the Einstein metrics and are the solutions of the equation
(1) |
where is the Ricci curvature tensor, is the Lie derivative along the direction of the vector field and is a real constant. The soliton is said to be shrinking if , steady if and expanding if .
Tashiro [17] proved very important result
for complete Einstein manifolds admitting Ricci solitons.
Theorem 2.1.
[17] Let be a complete Riemannian -manifold admitting a nontrivial function such that , then is isometric to a complete warped product metric and must have one of the three forms:
-
(1)
,
-
(2)
,
-
(3)
.
2.2. Einstein solitons
The Einstein solitons are the generalization of the Ricci solitons, was first introduced by Catino and Mazzieri [4] in (2016). They are the solutions of the equation
(2) |
where, Ricci tensor , being the Ricci operator, is the scalar curvature, is a constant and is known as potential vector field.
Einstein solitons are the self-similar solutions of the Einstein flow,
It is said to be steady if , shrinking if and expanding if .
2.3. Almost contact metric manifolds
In order to define contact metric manifolds, we need the concept of Reeb vector field.
Reeb vector field [3]: A global vector field on a contact manifold , equipped with a global -form , is called Reeb vector field or characteristic vector field, if
any vector field satisfies and .
Almost contact manifold [3]:
Let be a Riemannian manifold of dimension , . is said to have an almost contact structure , if there exists a -tensor , a global vector field and a -form such that
(3) |
for any vector field on , where is the Reeb vector field. The manifold equipped with the structure is called an almost contact manifold.
Almost contact metric manifold [3]:
A Riemannian metric is said to be compatible with an almost contact structure , if
(4) |
holds for any and is called an almost contact metric manifold.
Normal almost contact metric manifold [3]:
An almost contact metric manifold is said to be normal, if for any the tensor field vanishes everywhere on the manifold, where is the Nijenhuis tensor of .
Homogeneous almost contact metric manifold [10]:
An almost contact metric manifold is said to be homogeneous, if there exists a connected Lie group of isometries acting transitively on leaving invariant.
2.4. Cosymplectic manifolds
A -dimensional manifold is said to be a cosymplectic manifold [11], if it admits a closed, 1-form and -form such that is a volume element, where is a -form on .
Almost cosymplectic manifold [11]:
If and are not closed but is a volume form, then the manifold is called almost cosymplectic manifold.
-cosymplectic manifold [14]:
An almost cosymplectic manifold is said to be -cosymplectic if and for some constant .
Almost -cosymplectic manifold [11]:
An almost -cosymplectic manifold is defined as an almost contact metric manifold with and , for any constant . In particular, the almost -cosymplectic manifold is
-
•
almost -Kenmotsu if ,
-
•
almost cosymplectic if ,
-
•
almost Kenmotsu if .
Harmonic vector field [16]: A characteristic vector field on an almost -cosymplectic manifold is harmonic if and only if is an eigenvector field of the Ricci operator .
2.5. Almost -cosymplectic -manifold
In this article, we will mainly focus on -dimensional almost -cosymplectic manifold. In what follows, we will be using the following results.
Theorem 2.2.
[14] An almost -cosymplectic -manifold is -cosymplectic if and only if , where .
Any almost -cosymplectic -manifold satisfies important relationships between and .
Lemma 2.3.
We would require some identities on the -bases [3] and the following table of the Levi-Civita connection.
Proposition 2.4.
[14] On almost -cosymplectic -manifold, there exists -bases satisfying
with a local smooth eigen-function of .
Theorem 2.5.
[14] The Levi-Civita connection on almost -cosymplectic -manifold are given by,
(7) |
where , and are smooth functions.
The Ricci operator on almost -cosymplectic -manifold is known explicitly [14].
Proposition 2.6.
[14] The Ricci operator on almost -cosymplectic -manifold is given by,
(8) |
Furthermore, the scalar curvature is given by
(9) |
The structure of simply-connected, homogeneous almost -cosymplectic -manifold, admitting a contact Ricci soliton, is very well known.
Theorem 2.7.
[10] Let be a simply-connected, homogeneous almost -cosymplectic -manifold admitting a contact Ricci soliton. Then is an unimodular semidirect product Lie group of type , where , equipped with a flat left invariant cosymplectic structure. Moreover, we have the following:
-
(1)
If , i.e., , is the abelian Lie group equipped with its flat left invariant cosymplectic structure.
-
(2)
If , i.e., , is the Lie group equipped with its flat left invariant cosymplectic structure.
2.6. Harmonic manifolds
A complete Riemannian manifold is said to be harmonic, if for any , the volume density in normal coordinates, centered at any is a radial function [2]. Thus,
is density of geodesic sphere, is a radial function. It is known that harmonic manifolds are Einstein [2]. They are naturally classified as per the sign of the Ricci constant. Let be the constant scalar curvature of .
-
•
If , then is flat, that is (Lemma 4.5).
-
•
If , then by Bonnet-Myer’s theorem is compact with finite fundamental group. They are compact rank one symmetric spaces by a well known result of Szabo (cf. [20]).
-
•
If , then is non-compact harmonic manifold. They are rank one symmetric spaces of non-compact type, if dimension of is atmost .
The main result in the theory of harmonic spaces is the Lichnerowicz Conjecture: Any simply connected, complete harmonic manifold is either flat or a rank one symmetric space. By the above classification, we see that the conjecture is resolved for compact harmonic manifolds and is open for non-compact harmonic manifolds of dimension . There are counter examples to the conjecture when dimension is atleast , known as the Damek-Ricci spaces or NA spaces. See for more details references in [20].
In the category of non-compact harmonic manifolds, we will be considering simply connected, complete, non-compact harmonic manifolds. It follows that, these spaces don’t have conjugate points (cf. [20]). Hence, by the Cartan-Hadamard theorem,
is a diffeomorphism
and every geodesic of is a line. That is, if
is a geodesic of with , ,
then
Busemann function: Let be a geodesic line, then the two Busemann functions associated to are defined as [17]:
3. Einstein Solitons on Almost -Cosymplectic -Manifolds
In this section, we examine the nature of a contact Einstein soliton
on almost -cosymplectic manifold. We also show that, the
characteristic vector field is harmonic on
almost -cosymplectic -manifold admitting a contact Einstein soliton. Finally, we generalize Theorem 2.7 using these results.
Contact Einstein soliton:
Let be a Riemannian manifold of dimension . Consider the Einstein soliton (2), with potential vector field , on an almost contact metric manifold . Then the soliton is called contact Einstein soliton, if that is, the potential vector field is the characteristic vector field.
The potential vector field is called transversal, if it is orthogonal to the characteristic vector field, that is .
Theorem 3.1.
Let be an almost -cosymplectic -manifold, admitting a contact Einstein soliton. Then the soliton is:
-
(1)
steady, if ,
-
(2)
shrinking, if ,
-
(3)
expanding, if .
Proof.
Theorem 3.2.
Let be an almost -cosymplectic -manifold, admitting a contact Einstein soliton. Then the characteristic vector field is harmonic.
Proof.
We derive the identity involving the Lie derivative of the metric, Ricci operator, the potential vector field .
Lemma 3.3.
Let be a Riemannian manifold of scalar curvature , admitting an Einstein soliton (2). Then
(15) |
where is the Ricci operator.
Proof.
Now we derive the main result of this section.
Theorem 3.4.
Consider to be an almost -cosymplectic -manifold, admitting a contact Einstein soliton. Then the following hold.
-
(1)
If , then .
-
(2)
If , then is cosymplectic.
Proof.
Replacing by and by , from (10) we get
Using (7) and (8), after simplification we acquire,
(18) |
Now putting in (10) and using (7), (8), (9) and (12), we get
(19) |
Similarly, putting in (10) and using (7), (8), (9) and (12), we also obtain
(20) |
So comparing (19) and (20), we have .
If , then from (20), we obtain the required result using (9).
Now suppose , then is -cosymplectic.
From [14], recall that an almost -cosymplectic manifold is -cosymplectic if and only if for any ,
(21) |
Since is symmetric, (10) becomes
(22) |
Using (6) and (21), we have from (22), for any ,
which implies and .
That is and , so that, .
Also, from (21), we have which implies .
Therefore, using Lemma 3.3 (15), we can say that is a Killing vector field, that is, is skew-symmetric. But in our case is symmetric, which implies , that is, , proving the fact that is cosymplectic.
∎
Corollary 3.5.
Consider to be a simply-connected, homogeneous, almost -cosymplectic -manifold, admitting a contact Einstein soliton with . Then is an unimodular semidirect product Lie group of type , where , is a real matrix. Moreover, is the Lie group equipped with its flat left invariant cosymplectic structure.
4. Ricci Solitons on Harmonic Manifolds
Recall that the Ricci solitons are solutions of (1).
Clearly, if a manifold is Einstein of constant , then
trivial solitons and a Killing vector field are solutions of (1) with .
In this section, we study Ricci solitons on complete, simply connected, harmonic manifolds. We prove a Lichnerowicz type result that, a harmonic manifold admits a non-trivial Ricci soliton if and only if is flat. More precisely, we show that compact harmonic manifolds and non-flat harmonic manifolds do not admit non-trivial Ricci solitons. But flat harmonic manifolds do admit non-trivial shrinking
and expanding Ricci solitons.
In the sequel, harmonic manifold means complete, simply connected harmonic
manifold.
The main theorem of this section is:
Theorem 4.1.
Let be a harmonic manifold. Then admits a non-trivial Ricci soliton if and only if is flat. In this case, the steady Ricci soliton is trivial of Killing type given by where , the Busemann function, is the potential function on . In case, the Ricci soliton is shrinking or expanding, the potential function is given by , for constant ; and point is the minimum or the maximum of and is the corresponding non-trivial Ricci soliton.
Corollary 4.2.
There are no deformations of harmonic manifolds, and in particular, of rank one symmetric spaces under a Ricci soliton. In particular, we obtain a strengthening of [1], and also the stability of the compact rank one symmetric spaces under a Ricci soliton.
4.1. Proof of Theorem 4.1
In this subsection we prove Theorem 4.1. We begin with the following important proposition.
Proposition 4.3.
If a complete manifold admits a Ricci soliton, then it is a gradient soliton.
Proof.
Remark 4.4.
Here we are only concerned with simply connected and complete Riemannian manifold. In this case, clearly, we can write by Poincaré Lemma, for some .
Lemma 4.5.
Ricci flat harmonic manifold is flat.
Proof.
It can be shown that any harmonic manifold is asymptotically harmonic [20]. That is there exists a constant such that
Let denote the second fundamental form of horosphere, . Then satisfies the Riccati equation, that is for ,
Tracing the above equation, we obtain that , as Ricci. But as is a symmetric operator on , . Consequently, for any and for any . Thus is flat. ∎
Proposition 4.6.
If a harmonic manifold admits a Ricci soliton, then it admits a Gaussian.
Proof.
As in this case is Einstein, it follows that
(23) |
where is a constant scalar curvature of . Thus is a Gaussian, that is it satisifes (23). ∎
Lemma 4.7.
Let be a Killing vector field on compact harmonic manifold, then is trivial. Trivial solitons of Killing type do not exist on non-compact, non-flat harmonic manifold. On flat harmonic manifold, Killing vector field is , where is a Busemann function on .
Proof.
Because is a non-trivial Killing vector field, we have
Therefore, , consequently, has no critical points. Any Killing vector field of constant norm satisfies (p. 164-167, [17]):
Therefore,
This implies that for non-constant,
and therefore and hence harmonic manifold must be flat (Lemma 4.5).
We have .
We may assume that ,
therefore is distance function which is harmonic function on .
By Proposition 5.1 of [20], it follows that
is a Busemann function on [17].
If is compact, implies that is a harmonic function.
Hence, must be a constant function.
∎
Proposition 4.8.
A compact harmonic manifold does not admit a non-trivial Ricci soliton.
Proof.
We have,
Therefore, implies by the Bochner’s formula that,
(24) |
Therefore,
This implies that , therefore is constant. ∎
Lemma 4.9.
A non-compact, harmonic manifold admits a non-trivial Ricci soliton if and only if it is flat. The flat harmonic manifold admits shrinking and expanding Ricci solitons with the corresponding potential function, , for some .
Proof.
Suppose that a non-compact, harmonic manifold admits a non-trivial Ricci soliton. Therefore, it admits a Gaussian with .
Therefore, is either convex or concave function. Consequently, the only possible critical point of is either maximum or minimum of . Suppose that is a critical point of . Note that along any unit speed geodesic of starting from ,
(25) |
Therefore, . Hence, there is exactly one critical point, and hence . Thus, consequently is a radial function. This implies that,
Therefore,
Consequently by (25),
Comparing with the series expansion (see (4.4) of [20]),
we obtain , hence is flat. Finally, follows from section of [5]. ∎
Finally we come to the proof of Theorem 4.1.
Proof:
A compact harmonic manifold can’t admit non-trivial Ricci soliton (Proposition 4.8).
If a non-compact harmonic manifold admits a trival
Ricci soliton of Killing type, then , implies that Therefore, is flat and (Lemma 4.7).
If a non-compact harmonic manifold admits a non-trival
Ricci soliton, then again implies that
and is flat. In this case , where
, for some
(Lemma 4.9).
Remark 4.10.
We have shown that Theorem 4.1 confirms Theorem 2.1 in case of harmonic manifolds. Also Theorem 4.1 implies that there are no non-trivial deformation of non-flat harmonic manifolds. This indicates a result supporting the conjecture that, there are no non-trivial deformations of harmonic manifolds; and hence there should be only finitely many classes of harmonic manifolds.
5. Acknowledgements
Dr. Naeem Ahmad Pundeer would like to thank to U.G.C. for its Dr. D.S. Kothari Postdoctoral Fellowship. The corresponding author, Mr. Paritosh Ghosh, thanks UGC Junior Research Fellowship of India. The authors also would like to thank Mr. Dipen Ganguly for his wishful help in this research.
References
- [1] Balmer, R., Stability of symmetric spaces of noncompact type under Ricci flow, Geom. Funct. Anal., 25 (2015), 342-416.
- [2] Besse, A.L., Manifolds all of whose geodesics are closed, Springer-Verlag, Berlin Heidelberg, (1978).
- [3] Blair, D.E., Riemannian geometry of contact and symplectic manifolds, Progress in Mathematics, Birkhäuser, New York, (2010).
- [4] Catino, G. and Mazzieri, L., Gradient Einstein solitons, Nonlinear Anal., 132 (2016), 66–94.
- [5] Cheeger, J. and Colding, T., Lower bounds on Ricci curvature and the almost rigidity of warped products, Ann. Math., 144 (1996), 189-237.
- [6] Cunha, A.W. and Griffin, E., On non-compact gradient solitons, arXiv:2207.05822, (2022).
- [7] Eells, J. and Sampson, J.H., Harmonic Mappings of Riemannian Manifolds, Amer. J. Math., 86 (1964), 109-160.
- [8] Hamilton, R.S., Three manifolds with positive Ricci curvature, J. Diff. Geom., 17 (1982), 255-306.
- [9] Hu, Q., Xu, G. and Yu, C, The rigidity and stability of gradient estimates, J. Geom. Anal., 32 (2022), 1-13.
- [10] Li, J. and Liu, X., Ricci solitons on homogeneous almost -cosymplectic three-Manifolds, Mediterr. J. Math., 19 (2022), 1-12.
- [11] Libermann, P., Sur les automorphismes infinitésimaux des structures symplectiques et des structures de contact, Colloque Géom. Diff. Globale, (1959), 37–59.
- [12] Mondal, C. K. and Shaikh, A. A., Some results in -Ricci soliton and gradient -Einstein soliton in a complete Riemannian manifold, Commun. Korean Math. Soc., 34 (2019), 1279-1287.
- [13] Perelman, G., The entropy formula for the Ricci flow and its geometric applications, arXiv:math 211159, (2002).
- [14] Perrone, D., Classification of homogeneous almost -coKhler three-manifolds, Diff. Geom. Appl., 59 (2018), 66–90.
- [15] Perrone, D., Classification of homogeneous almost cosymplectic three manifolds, Diff. Geom. Appl., 30 (2012), 49–58.
- [16] Perrone, D., Left-invariant almost -coKähler structures on semidirect product Lie groups, Int. J. Geom. Meth. Mod. Phys., 16 (2019), 1-18.
- [17] Petersen, P., Riemannian geometry, New York, Springer-Verlag, (2006).
- [18] Petersen, P. and Wylie, W., Rigidity of gradient Ricci solitons, Pac. J. Math., 241 (2009), 329-345.
- [19] Ranjan, A. and Shah, H., Harmonic manifolds with minimal horospheres, J. Geom. Anal., 12 (2002), 683-694.
- [20] Ranjan, A. and Shah, H., Busemann functions in a harmonic manifold, Geom. Dedicata, 101 (2003), 167-183.
- [21] Tashiro, Y., Complete Riemannian manifolds and some vector fields, Trans. Amer. Math. Soc., 117 (1965), 251-275.