검색
Article Search

JMB Journal of Microbiolog and Biotechnology

OPEN ACCESS eISSN 0454-8124
pISSN 1225-6951
QR Code

Article

Kyungpook Mathematical Journal 2022; 62(1): 179-191

Published online March 31, 2022

Copyright © Kyungpook Mathematical Journal.

A Note on Yamabe Solitons and Gradient Yamabe Solitons

Krishnendu De*, Sujit Ghosh

Department of Mathematics, Kabi Sukanta Mahavidyalaya, Bhadreswar, P. O. Angus, Hooghly, Pin 712221, West Bengal, India
e-mail : krishnendu.de@outlook.in

Department of Mathematics, Krishnagar Government College, Krishnagar, Nadia, Pin-741101, West Bengal, India
e-mail : ghosh.sujit6@gmail.com

Received: March 18, 2021; Revised: October 12, 2021; Accepted: November 8, 2021

We set our target to investigate Yamabe solitons, gradient Yamabe solitons and gradient Einstein solitons within the structure of 3-dimensional non-cosymplectic normal almost contact metric manifolds. Also, we provide a nontrivial example and validate a result of our paper.

Keywords: 3-dimensional normal almost contact manifold, Yamabe solitons, Gradient Yamabe solitons, Gradient Einstein solitons

In [8], Hamilton introduced the notion of Yamabe solitons. According to the author, a Riemannian metric g of a complete Riemannian manifold (Mn, g) is called a Yamabe soliton if it satisfies

12£Wg=(λr)g,

where W, λ, r and £ denotes a smooth vector field, a real number, the scalar curvature and Lie-derivative respectively. The vector field W is said to be the soliton field of the Yamabe solitons. If W is the gradient of a C function f:Mn, then the manifold will be called gradient yamabe soliton. In this occasion, the previous equation reduces to

2f=(λr)g,

where 2f indicates the Hessian of f. A Yamabe soliton is said to be shrinking, steady or expanding according to λ>0, λ=0 or λ<0, respectively. Yamabe solitons have been investigated by many researchers in different context (see, [1],[4], [5], [6]).

The concept of the Gradient Einstein solitons was initiated by Catino and Mazzieri [3]. For some smooth function f and some constant λ, the Gradient Einstein solitons are Riemannian manifolds obeying

S12rg+2f=λg,

where S denotes the Ricci tensor.

Many years ago in [10], Olszak investigated the 3-dimensional normal almost contact metric(briefly, acm) manifolds mentioning several examples. After the citation of [10], in recent years normal acm manifolds have been studied by many researchers in different context (see, [7],[10] and references contained in those).

The present article is constructed as follows:

In section 2, we recall a few basic facts and formulas of 3-dimensional non-cosymplectic normal acm manifolds which will be needed throughout the article. In section 3, we investigate the Yamabe, gradient Yamabe and gradient Einstein solitons. Specifically, we establish the below stated Theorems:

Theorem 1.1. If a 3-dimensional non-cosymplectic normal acm manifold admits a Yamabe soliton of the type (M3,g,ξ), then the scalar curvature is constant and the characteristic vector field ξ is Killing.

Theorem 1.2. If a 3-dimensional non-cosymplectic normal acm manifold M3 admits a Yamabe soliton of the type (M3,g, W), then either the manifold is quasi-Sasakian or the scalar curvature of the manifold is constant and the soliton vector field W is Killing provided α,β are constants and the scalar curvature r is invariant under the characteristic vector field ξ.

Theorem 1.3. Let the Riemannian metric of a 3-dimensional non-cosymplectic normal acm manifold with α,β=constant be the gradient Yamabe soliton. Then either the manifold is of constant sectional curvature (α2β2) or the manifold is α-Kenmotsu, provided the gradient yamabe soliton is trivial.

Theorem 1.4. Let the Riemannian metric of a 3-dimensional non-cosymplectic normal acm manifold with α, β =constant and α±β be the gradient Einstein metric. Then either the manifold is α-Kenmotsu or is a manifold of constant sectional curvature.

Let M3 be an acm manifold endowed with a triplet of almost contact structure(η,ξ,ϕ). In details, M3 is an odd-dimensional differentiable manifold equipped with a global 1-form η, a unique characteristic vector field ξ and a (1,1)-type tensor field ϕ, respectively, such that

ϕ2E=E+η(E)ξ,  η(ξ)=1,  ϕξ=0,  ηϕ=0.

An almost complex structure J on M× is defined by

J(E,λddt)=(ϕEλξ,η(X)ddt),

where (E,λddt) denotes a tangent vector on M×, E and λddt being tangent to M and respectively. After fulfilling the condition, the structure J is integrable, M and (ϕ,ξ,η) are called normal (see, [2]).

The Nijenhuis torsion is defined by

[ϕ,ϕ](E,F)=ϕ2[E,F]+[ϕE,ϕF]ϕ[ϕE,F]ϕ[E,ϕF].

The structure (η,ξ,ϕ) is said to be normal if and only if

[ϕ,ϕ]+2dηξ=0.

A Riemannian metric g on M3 is called compatible with the structure (η,ξ,ϕ) if the condition

g(ϕE,ϕF)=g(E,F)η(E)η(F),

holds for any E,Fχ(M). In such case, the quadruple (η,ξ,ϕ,g) is termed as an acm structure on M3 and M3 is an acm manifold. The equation

η(E)=g(E,ξ),

is also valid on such a manifold.

Certainly, we can define the fundamental 2-form Φ by

Φ(F,Z)=g(F,ϕZ),

where F,Zχ(M).

For a normal acm, we can write [10]:

(Eϕ)(F)=g(ϕEξ,F)η(F)ϕEξ,
Eξ=α[Eη(E)ξ]βϕE,
(Eη)(F)=αg(ϕE,ϕF)βg(ϕE,F),

where 2α=divξ and 2β=tr(ϕξ), divξ is the divergent of ξ defined by divξ=trace{EEξ} and tr(ϕξ)=trace{EϕEξ}. Utilizing (2.8) in (2.7) we lead

(Eϕ)(F)=α[g(ϕE,F)ξη(F)ϕE]+β[g(E,F)ξη(F)E].

Also in this manifold the subsequent relations hold [10]:

R(E,F)ξ=[Fα+(α2β2)η(F)]ϕ2E    [Eα+(α2β2)η(E)]ϕ2F      +[Fβ+2αβη(F)]ϕE      [Eβ+2αβη(E)]ϕF,
S(E,ξ)=Eα(ϕE)β    [ξα+2(α2β2)]η(E),
ξβ+2αβ=0.
(Eη)(F)=αg(ϕE,ϕF)βg(ϕE,F).

It is well admitted that the Riemann curvature tensor always satisfies

R(E,F)Z=S(F,Z)ES(E,Z)F+g(F,Z)QEg(E,Z)QF    r2[g(F,Z)Eg(E,Z)F].

By (2.11), (2.12) and (2.15) we infer

S(F,Z)=(r2+ξα+α2β2)g(ϕF,ϕZ)    η(F)(Zα+(ϕZ)β)η(Z)(Fα+(ϕF)β)    2(α2β2)η(F)η(Z).

From (2.10) it follows that if α,β =constant, then the manifold is either α-Kenmotsu [9] or cosymplectic [2]or β-Sasakian. Also, it is well known that a 3-dimensional normal almost contact manifold reduces to a quasi-Sasakian manifold if and only if α =0 (see, [10]).

Now before producing the detailed proof of our main theorems, we first prove the following results:

Lemma 2.1. For a 3-dimensional non-cosymplectic normal acm manifold with α, β =constant, we have

(EQ)ξ={r2+3(α2β2)}[α{Eη(E)ξ}βϕE].

Proof. For α ,β =constants, we get from (2.16)

QF={r2+(α2β2)}F{r2+3(α2β2)}η(F)ξ.

Differentiating (2.18) covariantly in the direction of E and using (2.8) and (2.14), we get

(EQ)F=dr(E)2(Fη(F)ξ)    {r2+3(α2β2)}[αg(E,F)ξ2αη(E)η(F)ξ    +αη(F)Eβg(ϕE,F)ξβη(F)ϕE].

Replacing F by ξ in (2.19) and using (2.8), we obtain

(EQ)ξ={r2+3(α2β2)}[α{Eη(E)ξ}βϕE].

Lemma 2.2. Let M3(η,ξ,ϕ,g) be a non-cosymplectic normal acm manifold with α, β =constant. Then we have

ξr=4α{r2+3(α2β2)}

Proof. Recalling (2.19), we can write

g((EQ)F,Z)=dr(E)2[g(F,Z)η(F)η(Z)]      {r2+3(α2β2)}[αg(E,F)η(Z)2αη(E)η(F)η(Z)      +αη(F)g(E,Z)βg(ϕE,F)η(Z)βη(F)g(ϕE,Z)].

Putting E=Z=ei (where {ei} is an orthonormal basis for the tangent space of M and taking ∑{i}, 1i3 ) in the foregoing equation and using the so called formula of Riemannian manifolds divQ=12grad r, we obtain

(ξr)η(F)=4α{r2+3(α2β2)}η(F).

Superseding F=ξ in the previous equation we have the required result.

Definition 2.1. A vector field W on an n dimensional Riemannian manifold (M,g) is said to be conformal if

£Wg=2ρg,

ρ being the conformal coefficient. If the conformal coefficient is zero then the conformal vector field is a Killing vector field.

Lemma 2.3. [12] On an n-dimensional Riemannian or, Pseudo-Riemannian manifold (Mn,g) endowed with a conformal vector field W, the following relations are satisfied:

(£WS)(E,F)=(n2)g(EDρ,F)+(Δρ)g(E,F),    £Wr=2ρr+2(n1)Δρ

for E,Fχ(M), D being the gradient operator and Δ=divD being the Laplacian operator of g.

Proof of Theorem 1.1. Let a normal acm manifold M3 admits a Yamabe soliton of the type (g,ξ). Then superseding W=ξ in (1.1) yields

(£ξg)(E,F)=(λr)g(E,F).

In view of (2.8), (3.1) becomes

(2αλ+r)g(E,F)2αη(E)η(F)=0.

Superseding E=F=ξ in (3.2) and using (2.1), we have

r=λ.

Therefore the scalar curvature r is constant. Putting λ =r in (3.1) yields £ξg=0 i.e., ξ is Killing vector field. Hence the theorem.

Proof of Theorem 1.2. Let M3 be a normal acm manifold with the structure which endowed the Yamabe soliton (g, W).

Taking Lie differential of g(ξ,ξ)=1 along the soliton vector field V and making use of (1.1) yields

η(£Vξ)=(£Vη)(ξ)=rλ2.

Again, in view of (1.1) and (2.23) it is obvious that the soliton vector field W is conformal with the conformal coefficient ρ=λr2. As we consider the metric g of the 3-dimensional normal acm manifold M is a Yamabe soliton, using ρ=λr2 and n=3 in Lemma 2.3, we have

(£WS)(E,F)=12g(EDr,F)12(Δr)g(E,F),

and

£Wr=r(rλ)2Δr.

Here we consider α,β are constants. So from (2.16), we have

S(E,F)=[r2+α2β2]g(E,F)[r2+3(α2β2)]η(E)η(F).

Taking Lie differentiation of (3.7) along W and making use of (1.1) and (2.10), we obtain

(£WS)(E,F)=(Δr)g(E,F)+(λr)(α2β2)g(E,F)      {r(rλ)2Δr}η(E)η(F)      {r2+3(α2β2)}{(£Wη)(E)η(F)      +η(E)(£Wη)(F)}.

Making use of (3.5) in (3.8), we acquire

g(EDr,F)={2(α2β2)(λr)Δr}g(E,F)    +{r(λr)2Δr}η(E)η(F)    {r+6(α2β2)}{(£Wη)(E)η(F)    +η(E)(£Wη)(F)}.

Replacing E=F=ξ in (3.9) and using of (2.1) and (3.4), we obtain

ξ(ξr)=Δr4(α2β2)(λr).

Let r is invariant under the characteristic vector field ξ. Then either α=0 or r=constant. Thus we conclude that either the manifold is quasi-Sasakian or using r=constant in (3.10), we have λ-r=0. Hence (1.1) immediately yields £Wg=0, i.e., the soliton vector field W is Killing. This completes the proof.

If α=0 and β=1, then the manifold reduces to a 3-dimensional Sasakian manifold. Since the characteristic vector field ξ is Killing in a Sasakian manifold, therefore ξ r=0. Hence from the above theorem we can state the following:

Corollary 3.1. If a three dimensional Sasakian manifold admits a Yamabe soliton, then the scalar curvature of the manifold is constant and the soliton vector field W is Killing.

The foregoing Corollary was established by Sharma in [11].

Proof of Theorem 1.3. Let us consider a gradient Yamabe soliton on a 3-dimensional non-cosymplectic normal acm manifold with α, β =constant. Then from (1.2) we obtain

EDf=(λr)E,

from which we acquire

R(E,F)Df=dr(E)Fdr(F)E.

Contraction of previous equation along F yields

S(E,Df)=2dr(E).

Now, the equation (2.16) gives

S(E,Df)={r2+(α2β2)}(Ef){r2+3(α2β2)}η(E)(ξf).

Equation (3.13) and (3.14) together reveal that

2dr(E)={r2+(α2β2)}(Ef){r2+3(α2β2)}η(E)(ξf).

Putting E=ξ and using (2.20), we get

(ξf)=4αα2β2{r2+3(α2β2)}.

Hence, using (3.16) in (3.15), we have

2dr(E)={r2+(α2β2)}(Ef)4αα2β2{r2+3(α2β2)}η(E).

Now, from (3.12) we infer that

g(R(E,F)ξ,Df)=dr(E)η(F)dr(F)η(E).

Again (2.11) implies that

g(R(E,F)ξ,Df)=(α2β2)[η(E)(Ff)η(F)(Ef)].

Combining equation (3.18) and (3.19), we acquire

dr(E)η(F)dr(F)η(E)=(α2β2)[η(E)(Ff)η(F)(Ef)].

Setting F=ξ in the above equation gives

Er=(α2β2)(Ef).

Using (3.21) in (3.17) we infer that

{r2+3(α2β2)}[(Ef)4αα2β2{r2+3(α2β2)}η(E)]=0.

This shows that either r=6(α2β2) or Df=(ξf)ξ. Next, we consider the above two cases as follows.

Case i: If r=6(α2β2), then from (2.16) we get S=2(α2β2)g , that is the manifold is an Einstein manifold and hence from (2.15) it follows that the manifold is of constant sectional curvature (α2β2).

Case ii: If

Df=(ξf)ξ.

Taking the covariant differentiation of (3.23) along any vector field Eχ(M) we get

EDf=E(ξf)ξ+(ξf)Eξ.

Replacing E by ϕE and taking inner product with ϕF yields

g(ϕEDf,ϕF)=(ξf){αg(E,F)αη(E)η(F)+βg(E,ϕF)}.

Interchanging E and F in the foregoing equation, we infer

g(ϕFDf,ϕE)=(ξf){αg(E,F)αη(E)η(F)+βg(F,ϕE)}.

Applying Poincare's lemma, we have d2f(E,F)=0 and hence by a straightforward calculation we lead

Eg(gradf,F)Fg(gradf,E)g(gradf,EF)+g(gradf,F,E)=0.

Since g=0, the above equation yields

g(Egradf,F)g(Fgradf,E)=0.

Replacing E by ϕE and F by ϕF in (3.28) and utilizing (3.25) and (3.26), we obtain

2(ξf)βg(E,ϕF)=0,

which implies that

(ξf)βdη(E,F)=0.

Since dη0, either β=0 or (ξ f)=0. Hence we conclude that either the manifold is α-Kenmotsu or (f= constant) the gradient yamabe soliton is trivial. This completes the proof.

Proof of Theorem 1.4. Let us suppose that the Riemannian metric of a 3-dimensional non-cosymplectic normal acm manifold with α, β =constant is a gradient Einstein metric. Then from (1.3) we obtain

EDf=(λ+r2)EQE.

From which we get

R(E,F)Df=(FQ)E(EQ)F.

Now, from (2.19) we infer that

R(E,F)Df=(Fr)2[Eη(E)ξ](Er)2[Fη(F)ξ]      {r2+3(α2β2)}[αFη(E)αEη(F)      2βg(E,ϕF)ξβϕFη(E)+βϕEη(F)].

The contraction of above equation along E and using (2.20), gives

S(F,Df)=(Fr)2.

Equation (3.14) and (3.33) together reveal that

(Er)2={r2+(α2β2)}(Ef){r2+3(α2β2)}η(E)(ξf).

Putting E=ξ and utilizing (2.20), we have

(ξf)=αα2β2{r2+3(α2β2)}.

Hence, using (3.35) in (3.34), we get

(Er)2={r2+(α2β2)}(Ef)αα2β2{r2+3(α2β2)}2η(E).

Now, from (3.32) we infer that

g(R(E,F)Df,ξ)={r2+3(α2β2)}2βg(E,ϕF).

Combining equation (3.19) and (3.37) reveal that

{r2+3(α2β2)}2βg(E,ϕF)=(α2β2)[η(E)(Ff)η(F)(Ef)].

Putting F=ξ in the above equation gives

(α2β2)[η(E)(ξf)(Ef)].

This shows that Df=(ξf)ξ, provided α±β. Hence from the previous theorem, we conclude that either the manifold is α-Kenmotsu or f= constant. If f=constant, then we get from (3.30) that the manifold is an Einstein manifold. Since the manifold is under consideration of dimension 3, hence the manifold is of constant sectional curvature.

This finishes the proof.

We consider a 3-dimensional Riemannian manifold M={(x,y,z)3}, (x,y,z) being the standard coordinate in 3. Here we take the vector fields v1, v2 and v3 given by

v1=x,v2=y,v3=yx+zz.

We define the Riemannian metric g on M by g(vi,vj)=δij, i,j=1,2,3 and η, a 1-form on M by η(E)=g(E,v1), for Eχ(M). Let ϕ be a second order mixed tensor field defined by ϕ(v1)=0,ϕ(v2)=v3,ϕ(v3)=v2.

In this setting (ϕ,ξ,η,g) becomes an almost contact structure on M with ξ=v1.

The setting of the vector fields v1,v2,v3 gives

[v1,v2]=[v3,v1]=0,[v2,v3]=v1.

Using Koszul's formula, we calculate the following:

v1v1=0,v1v2=12v3,v1v3=12v2v2v1=12v3,v2v2=0,v2v3=12v1v3v1=12v2,v3v2=12v1,v3v3=0

It is easy to verify that the manifold M is a 3-dimensional non-cosymplictic normal almost contact metric manifold with α =0 and β=12.

By using the well-known formula R(E,F)W=EFWFEW[E,F]W, we calculate the non-zero independent components of the curvature tensor as follows:

R(v1,v2)v2=14v1,R(v1,v3)v3=14v1,R(v2,v1)v1=14v2,R(v2,v3)v3=34v2,R(v3,v1)v1=14v3,R(v3,v2)v2=34v3.

Therefore we get the non-zero components of Ricci tensor as S(v1,v1)=12,S(v2,v2)=S(v3,v3)=12. Hence the scalar curvature r=12=a constant.

Let E=a1v1+a2v2+a3v3 and F=b1v1+b2v2+b3v3. Then

(£v1g)(E,F)=g(Ev1,F)+g(E,Fv1)      =a2b3a3b2+a3b2a2b3      =0.

Therefore if we set λ=12 the (g,v1=ξ) becomes a Yamabe Soliton on M and also v1 is a Killing vector field with the scalar curvature r=constant.

Hence the Theorem 1.1 is verified.

The authors are thankful to the referee and the Editor in Chief for their valuable suggestions towards the improvement of the paper.

  1. A. M. Blaga and Some Geometrical Aspects of Einstein, Ricci and Yamabe solitons, J. Geom. Symmetry Phys., 52(2019), 17-26.
    CrossRef
  2. D. E. Blair, Contact manifolds in Riemannian geometry, Lecture Notes in Mathematics, 509(1976), Springer-Verlag, Berlin-New York.
    CrossRef
  3. G. Catino and L. Mazzieri, Gradient Einstein-solitons, Nonlinear Anal., 132(2016), 66-94.
    CrossRef
  4. K. De and U. C. De, A note on gradient solitons on para-Kenmotsu manifolds, Int. J. Geom. Methods Mod. Phys., 18(1)(2021).
    CrossRef
  5. K. De and U. C. De, Almost quasi-Yamabe solitons and gradient almost quasi-Yamabe solitons in paracontact geometry, Quaestiones Math., ().
    CrossRef
  6. U. C. De and Y. J. Suh, Yamabe and quasi-Yamabe solitons in paracontact metric manifolds, Int. J. Geom. Methods Mod. Phys., 18(12)(2021).
    CrossRef
  7. U. C. De, M. Turan, A. Yildiz and A. De, Ricci solitons and gradient Ricci solitons on 3-dimensional normal almost contact metric manifolds, Publ. Math. Debrecen, 80(2012), 127-142.
    CrossRef
  8. R. S. Hamilton, The Ricci flow on surfaces, Mathematics and general relativity, Contemp. Math. AMS, 71(1988), 237-262.
    CrossRef
  9. L. Vanhecke and D. Janssen, Almost contact structures and curvature tensors, Kodai Math. J., 4(1)(1981), 1-27.
    CrossRef
  10. Z. Olszak, Normal almost contact manifolds of dimension three, Ann. Polon. Math., 47(1)(1986), 41-50.
    CrossRef
  11. R. Sharma, A 3-dimensional Sasakian metric as a Yamabe soliton., Int. J. Geom. Methods Mod. Phys., 9(1)(2012), 5pp.
    CrossRef
  12. K. Yano, Integral Formulas in Riemannian Geometry, Marcel Dekker, New York, 1970.