arXiv:2107.05487v2 [math.DG] 27 Jul 2021
SOLITONS
SHUN MAETA
Abstract. In this paper, we classify three dimensional complete gradient conformal solitons (complete Riemannian manifolds which admit a concircular field). The classification result improves Tashiro’s theorem for three dimensional manifolds, and as a corollary one can recover the classification result of three-dimensional nontriv-ial complete gradient Yamabe solitons. We also give some rigidity result of complete locally conformally flat gradient conformal soli-tons.
1. Introduction
An n-dimensional Riemannian manifold (M, g) is called a Yamabe
soliton, if there exist a complete vector field v and ρ ∈ R such that
(1.1) (R − ρ)g = 1
2Lvg,
where R is the scalar curvature of M and Lvg is the Lie derivative of g. If v is the gradient of some smooth function f on M, then (M, g, f ) is called a gradient Yamabe soliton. Yamabe solitons are special solutions of the Yamabe flow introduced by R. Hamilton [7]. In the last decade, Yamabe solitons have developed rapidly. The Yamabe soliton equation (1.1) is similar to the equation of Ricci solitons. As is well known, S. Brendle [2] brought significant progress to 3-dimensional gradient Ricci solitons, that is, he showed that “any 3-dimensional complete noncompact κ-noncollapsed gradient steady Ricci soliton with positive curvature is the Bryant soliton” which is a famous conjecture of Perelman [12]. Recently, the author classified nontrivial 3-dimensional complete gradient Yamabe solitons [10] (see also [9]).
2010 Mathematics Subject Classification. 53C21, 53C25, 53C20.
Key words and phrases. Gradient conformal solitons; Concircular fields; Yamabe solitons; Special concircular fields; Yamabe flow.
The author is partially supported by the Grant-in-Aid for Young Scientists, No.19K14534 Japan Society for the Promotion of Science.
To understand the Yamabe soliton, many generalizations of it have been introduced. For example, almost Yamabe solitons [1], gradient k-Yamabe solitons [4], h-almost gradient k-Yamabe solitons [15] have been introduced. Conformal gradient solitons [4] (or Riemannian manifolds which admit a concircular field [14], [13]) are the most general ones (see also [6]).
Definition 1.1 ([14], [13] and [4]). For smooth functions F and ϕ on M, (M, g, F, ϕ) is called a conformal gradient soliton (or a Riemannian manifold which admits a concircular field ϕ) if it satisfies
(1.2) ϕg= ∇∇F.
If F is constant, M is called trivial.
Y. Tashiro classified Riemannian manifolds with a special concircular field, that is, ϕ = −kF + b for k, b ∈ R (cf. [13]). In this paper, we classify nontrivial 3-dimensional complete gradient conformal solitons, which improves Tashiro’s theorem (Theorem 2 of [13]) for 3-dimensional manifolds:
Theorem 1.2. Let(M3, g, F, ϕ) be a nontrivial 3-dimensional complete gradient conformal soliton. Then, M is one of the following:
(1) compact and rotationally symmetric, or
(2) rotationally symmetric and equal to the warped product ([0, ∞), dr2) ×|∇F |(S2,¯gS),
where ¯gS is the round metric on S2, or (3) isometric to the Riemannian product
(R, dr2) × N2,¯g ,
with |∇F | is constant.
Here we remark that in general, one cannot determine N2. However, if M is a Yamabe soliton (that is, ϕ = R − ρ), one can determine it. In fact, as a corollary, one can classify nontrivial 3-dimensional complete gradient Yamabe solitons.
Corollary 1.3 ([10]). Let (M3, g, F) be a nontrivial 3-dimensional complete gradient Yamabe soliton. Then,
I. If M is steady, then M is either flat, or rotationally symmetric
and equal to the warped product
([0, ∞), dr2) ×
|∇F |(S2,¯gS), where ¯gS is the round metric on S2.
(1) M is rotationally symmetric and equal to the warped product ([0, ∞), dr2) ×|∇F |(S2,¯gS),
where ¯gS is the round metric on S2, or
(2) |∇F | is constant and M is isometric to the Riemannian product
(R, dr2) × S2 1 2ρ|∇F | 2 ,g¯ , where S2(1 2ρ|∇F |
2), ¯g is the sphere of constant Gaussian curvature 1
2ρ|∇F |2.
III. If M is expanding, then either
(1) M is rotationally symmetric and equal to the warped product ([0, ∞), dr2) ×|∇F |(S2,¯gS),
where ¯gS is the round metric on S2, or
(2) |∇F | is constant and M is isometric to the Riemannian product
(R, dr2) × H2 1 2ρ|∇F | 2 ,g¯ , where H2(1 2ρ|∇F | 2), ¯g
is the hyperbolic space of constant Gaussian curvature 12ρ|∇F |2.
2. Proof of Theorem 1.2
In this section, we prove Theorem 1.2. We first define some notions. The Riemannian curvature tensor is defined by
R(X, Y )Z = −∇X∇YZ + ∇Y∇XZ + ∇[X,Y ]Z,
for X, Y, Z ∈ X(M). The Ricci tensor Rij is defined by Rij = Ripjp, where Rijkℓ = g(R(∂i, ∂j)∂k, ∂ℓ). The Cotton tensor C is defined by
Cijk =∇iRjk− ∇jRik− 1
2(n − 1)(gjk∇iR− gik∇jR).
The Cotton tensor is skew-symmetric in the first two indices and totally trace free, that is,
Cijk = −Cjik and gijCijk = gikCijk = 0.
Proposition 2.1. Let (M, g, F, ϕ) be a complete gradient conformal
soliton. Assume that Σc = F−1(c) is a regular level surface. Then, we have
(1) |∇F | and ϕ is constant on Σc,
(4) in any open neighborhood F−1((α, β)) of Σ
c in which F has no critical points, the soliton metric g can be expressed as
g = dr2+ (F ′(r))2 (F′(r 0))2 ¯ gr0, where¯gr0 = gab(r0, x)dx
adxb is the induced metric onΣ
c, and(x2,· · · , xn) is a local coordinate system on Σc.
Proof. The proof is intrinsically given in [13] and [3]. Let c0be a regular value of F , and Σc0 = F
−1(c
0). Assume that I(∋ c0) is an open interval, such that F has no critical point in an open neighborhood UI = F−1(I) of Σc0. Then, one has
g = 1 |∇F |2dF 2+ g Σc0 = 1 |∇F |2dF 2+ g ab(F, x)dxadxb,
where gΣc0 is an induced metric, x = (x2,· · · , xn) is a local coordinate system on Σc0, and a, b = 2, 3, · · · , n. Since ∇(|∇F |2) = 2∇∇F ∇F = 2ϕg(∇F, ·), |∇F |2 is constant on Σ c which is diffeomorphic to Σc0. On UI, let r = R dF
|∇F |. Then, one has
g = dr2+ gab(r, x)dxadxb.
Let ∇r := ∂1 := ∂r = ∂r∂, then one has |∇r| = 1 and ∇F = F′(r)∂1. Here we remark that without loss of generality, one can assume that F′ > 0 on U
I. Assume that I = (α, β) with F′(r) > 0 for all r ∈ I. Since ∇∂1∂1 = 0, integral curves to ∇r are normal geodesics. By the
soliton equation,
F′′(r) = ϕ.
Thus, ϕ is constant on Σc.The second fundamental form can be written by
Bab = F′′(r)
Hence, the mean curvature can be written by H = (n − 1)FF′′′(r)(r). By a direct computation, Bab =g(∂1,−∇a∂b) = − Γ1ab = −1 2g iℓ{∂ agℓb+ ∂bgaℓ− ∂ℓgab} =1 2∂1gab. Thus, we have ∂1gab = 2Bab = 2 F′′(r) F′(r)gab. Hence, one has
gab(r, x) = F′(r) F′(r 0) 2 gab(r0, x). We will show Theorem 1.2.
Proof of Theorem 1.2. Let (M, g, F, ϕ) be a 3-dimensional complete gra-dient conformal soliton. The above argument shows that |∇F | is constant on a regular level surface. Set N2 = F−1(c
0) and g = (F′(r
0))−2gr0 for regular value c0 of F . By the above argument, F
has at most 2 critical values. Without loss of generality, one can as-sume that I = [α0, β0] with F′(α0) = F′(β0) = 0, or I = [0, ∞) with F′(0) = 0, or I = (−∞, ∞). We first consider the first case. By the same argument as in Case 3 of the proof of Theorem 1.2 in [4], M is compact and rotationally symmetric. We consider the second case. Since F has a unique critical point x0, r(x) = dist(x, x0). Therefore, Σc = {F (x) = c} is diffeomorphic to a geodesic sphere centered at x0. By the smoothness of the metric g at x0, the induced metric g on N2 is round. (Here we remark that the first and second cases are intrinsically shown in [3] and [4].)
We consider the third case. By a direct calculation, we can get for-mulas of the warped product manifold of the warping function |∇F | = F′(r) > 0 (cf. [11]). For a, b, c, d = 2, 3,
R1a1b= −F′F′′′g¯ab, R1abc = 0, (2.1)
R11 = − 2 F′′′ F′ , R1a = 0, (2.2) Rab = ¯Rab− ((F′′)2 + F′F′′′)¯gab, R = (F′)−2R¯− 2F′′ F′ 2 − 4F ′′′ F′ , (2.3)
where the curvature tensors with bar are the curvature tensors of (N, ¯g). By (1.2),
ϕ = F′′. (2.4)
Since (N2, g) is a 2-dimensional manifold, ¯ Rabcd = − ¯ R 2(¯gadg¯bc− ¯gac¯gbd), ¯ Rad = ¯ R 2g¯ad. Substituting these into (2.1) and (2.2), we have
R1a1b= −F′F′′′¯gab, R1abc = 0, (2.5) Rabcd = −(F′)3 1 2F ′R+ 2F′′′(¯g adg¯bc− ¯gac¯gbd), R11= − 2 F′′′ F′ , R1a= 0, (2.6) Rab = R 2(F ′)2+ F′F′′′g¯ ab.
We will consider the Cotton tensor. We only have to consider the 5 cases, that is, C1a1, C1aa, C1ab, Cabb and Cab1 (a, b = 2, 3 and a 6= b). The Cotton tensor Cijk can be written by
(2.7) C1a1 = 1 4∇aR, C1aa =∇1(Raa − 1 4Rgaa), C1ab =∇1(Rab− 1 4Rgab), Cabb =∇a(Rbb− 1 4Rgbb) − ∇b(Raa − 1 4Rgaa), Cab1 =0.
From this and (2.6), for any α, β = 2, 3,
By the property of the Cotton tensor, one has 0 =gikC i1k = − gikC 1ik = − (g22C122+ g23C123+ g32C132+ g33C133) = − 2 R 4 + F′′′ F′ ′ . Thus, (2.8) R 4 + F′′′ F′ = c(x),
where c(x) is a smooth function which depends only on x = (x2, x3). Combining (2.8) with (2.3), one has
(2.9) R¯− 2(F′′)2 = 4c(x)(F′)2.
Case 1. Fix x, such that c(x) = 0. Since ¯R does not depend on r, F′′ is constant. Since F′ >0, we obtain F′′ = 0. Therefore, F′ is constant. Case 2. Fix x, such that c(x) > 0. Set G(r) = F′(r). Then, the solution of (2.9) is
G(r) =(C (constant), or
c1cos(p2c(x)r) + c2sin(p2c(x)r), with ¯R(x) = 4c(x)(c21+ c22). However, the second case cannot happen, because G = F′ > 0. Thus, F′ is constant.
Case 3. Fix x, such that c(x) < 0. Since ¯R does not depend on r, by an elementary argument, F′ is constant.
Since F′ does not depend on x, F′ is a constant c which does not depend on x.
By the soliton equation, one has ϕ = F′′ = 0. Therefore, by the soliton equation again, we obtain
∇∇F = 0.
By Tashiro’s theorem (cf. Theorem 2 of [13]), M = R × N2.
Remark 2.2. In (3) of Theorem 1.2, for any Riemannian manifold (N2, g), one can construct examples of gradient conformal solitons. However, as in Corollary 1.3, if (M, g, F, ϕ) is a Yamabe soliton, that
is, ϕ = R − ρ for ρ ∈ {−1, 0, 1}, then N must be a hyperbolic space, a
3. Locally conformally flat gradient conformal solitons In this section, we give some rigidity result of locally conformally flat gradient conformal solitons. Locally conformally flat gradient Yamabe solitons were first studied by Daskalopoulos and Sesum [5]. In the seminal paper, they showed that any complete locally conformally flat gradient Yamabe solitons with positive sectional curvature is rotation-ally symmetric. Cao, Sun and Zhang [3], and Catino, Mantegazza and Mazzieri [4] relaxed the assumption.
We first recall the Weyl tensor W . Wijkℓ =Rijkℓ− 1 n− 2(Rikgjℓ+ Rjℓgik− Riℓgjk− Rjkgiℓ) (3.1) + R (n − 1)(n − 2)(gikgjℓ− giℓgjk).
As is well known, a Riemannian manifold (Mn, g) is locally conformally flat if and only if (1) for n ≥ 4, the Weyl tensor vanishes; (2) for n = 3, the Cotton tensor vanishes. Moreover, for n ≥ 4, if the Weyl tensor vanishes, then the Cotton tensor vanishes. We also see that for n = 3, the Weyl tensor always vanishes, but the Cotton tensor does not vanish in general.
By the similar argument as in the proof of Theorem 1.2, we can show the following:
Lemma 3.1. A nontrivial complete gradient conformal soliton(M, g, F, ϕ)
is either
(1) F has two critical points, and (M, g, F, ϕ) is compact and
rota-tionally symmetric, or
(2) F has a unique critical point at some point, and (M, g, F, ϕ) is
rotationally symmetric and equal to the warped product
([0, ∞), dr2) ×|∇F |(Sn−1,g¯S), where ¯gS is the round metric on Sn−1, or
(3) F has no critical point, and (M, g, F, ϕ) is the warped product (R, dr2) ×|∇F | Nn−1,g .¯
By Lemma 3.1, one can show the following.
Proposition 3.2. Let(M, g, F, ϕ) be a nontrivial complete locally
con-formally flat conformal gradient soliton. Assume thatF has no critical
A part of the proof is intrinsically given in the proof of Theorem 1.4 of [3], but to complete the proof, we will show it.
Proof. We only have to consider (3) of Lemma 3.1. By the same ar-gument as in the proof of Theorem 1.2, one can get formulas of the warped product manifold of the warping function (0 <)|∇F | = F′(r). For a, b, c, d = 2, 3, · · · , n, R1a1b= −F′F′′′g¯ab, R1abc = 0, (3.2) Rabcd= (F′)2R¯abcd+ (F′F′′)2(¯gadg¯bc− ¯gac¯gbd), R11= − (n − 1) F′′′ F′ , R1a = 0, (3.3) Rab = ¯Rab− ((n − 2)(F′′)2+ F′F′′′)¯gab, R = (F′)−2R¯− (n − 1)(n − 2)F ′′ F′ 2 − 2(n − 1)F ′′′ F′ , (3.4)
where the curvature tensors with bar are the curvature tensors of (N, ¯g). Case 1. dim M = 3: Since M is locally conformally flat, C ≡ 0. By the same argument as in Theorem 1.2, one has
C1a1 = 1 4∇aR.
Combining these with (3.4), ¯R is constant. Therefore, N is a space form.
Case 2. dim M ≥ 4: By (3.1), (3.2), (3.3) and (3.4), one has
W1a1b = − ¯ Rab n− 2+ ¯ R (n − 1)(n − 2)g¯ab, W1abc =0, Wabcd =(F′)2 ¯Wabcd + 1 (n − 2)(n − 3) n 2 n− 1R(¯¯ gadg¯bc− ¯gacg¯bd) − ( ¯Radg¯bc+ ¯Rbc¯gad− ¯Racg¯bd− ¯Rbd¯gac) o . Since M is locally conformally flat, one has
(3.5) R¯ab =
and ¯ Wabcd = − 1 (n − 2)(n − 3) n 2 n− 1R(¯¯ gad¯gbc− ¯gacg¯bd) (3.6) − ( ¯Rad¯gbc+ ¯Rbcg¯ad− ¯Racg¯bd− ¯Rbdg¯ac) o . Substituting (3.5) into (3.6), one has ¯Wabcd = 0. Therefore, N is Ein-stein and locally conformally flat, which means that N is a space
form.
As a corollary, we obtain the following.
Corollary 3.3. Any nontrivial non-flat3-dimensional complete locally
conformally flat gradient conformal soliton with nonnegative scalar cur-vature is rotationally symmetric.
In fact, by the proof of Theorem 1.2 and Case 1 in the proof of Proposition 3.2, we have R = (F′)−2R¯ is constant. If R = 0, then
¯
R= 0. If R > 0, then ¯R >0. Therefore, we complete the proof. References
1. E. Barbosa and E. Ribeiro, On conformal solutions of the Yamabe flow, Arch. Math. 101 (2013), 79-89.
2. S. Brendle, Rotational symmetry of self-similar solutions to the Ricci flow, In-vent. Math. (2013) 194, 731–764.
3. H.-D. Cao, X. Sun and Y. Zhang, On the structure of gradient Yamabe solitons, Math. Res. Lett. (2012) 19, 767–774.
4. G. Catino, C. Mantegazza and L. Mazzieri, On the global structure of confor-mal gradient solitons with nonnegative Ricci tensor, Commun. Contemp. Math. (2012) 14, 12pp.
5. P. Daskalopoulos and N. Sesum, The classification of locally conformally flat Yamabe solitons,Adv. Math. (2013) 240, 346–369.
6. S. Fujii and S. Maeta, Classification of generalized Yamabe solitons in Euclidean spaces, Internat. J. Math. 32 (2021), 12 pages.
7. R. Hamilton, Lectures on geometric flows, (1989), unpublished.
8. S. Y. Hsu, A note on compact gradient Yamabe solitons, J. Math. Anal. Appl. (2012) 388 (2), 725–726.
9. S. Maeta, Three-dimensional complete gradient Yamabe solitons with divergence-free Cotton tensor, Ann. Glob. Anal. Geom. 58 (2020), 227-237. 10. S. Maeta, Classification of three dimensional compete gradient Yamabe solitons,
arXiv:2104.12391 [math DG].
11. B. O’Neill, Semi-Riemannian Geometry With Applications to Relativity, Aca-demic Press, (1983).
12. G. Perelman, The entropy formula for the Ricci flow and its geometric appli-cations,arXiv math.DG/0211159, (2002).
13. Y. Tashiro, Complete Riemannian manifolds and some vector fields, Trans. Amer. math. Soc., 117 (1965), 251–275.
15. F. Zeng, On the h-almost Yamabe soliton J. Math. Study (to appear).
Department of Mathematics, Shimane University, Nishikawatsu 1060 Matsue, 690-8504, Japan.
