Abstract
In this paper, we survey the volume growth estimates for shrinking, steady, and expanding gradient Ricci solitons. Together with the known results, we also prove some new volume growth estimates for expanding gradient Ricci solitons.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Ever since Hamilton [37] invented the Ricci flow, the study of gradient Ricci solitons has been an central element of this field. Up to this point, gradient Ricci solitons have already been extensively studied. Many classic results have been proved, and some played an important role in the whole field of Ricci flow. For instance, Ricci shrinkers can be classified completely in dimension two (c.f. [6, 38, 39]) and in dimension three (c.f. [39, §26], [59, Lemma 1.2], [11, 57, 60]), and with additional conditions in higher dimensions (c.f. [13, 14, 44, 54, 55]). Steady solitons also admit a classification in dimension two (c.f. [6, 39]). In dimension three, the only noncollapsed steady soliton is the Bryant soliton [7], although there is at least one collapsed example [41]. In higher dimensions, more examples of noncollapsed steady solitons are found by Appleton [1] and Lai [41]. The case of expanding solitons is much less clear, since even in dimension 3, one may find a one-parameter family of Ricci expanders [28].
When a classification is not available, one naturally turns to consider the qualitative or quantitative properties of a general soliton, in hope that the analytic properties may have some implications on the geometric properties, or vice versa. Research results in this respect are massive. It is, therefore, impossible to include every aspect of the field within one survey paper. Thus, we shall focus on one important aspect—that of volume estimates. In this paper, we shall survey volume estimates of all three kinds of Ricci solitons. Furthermore, we prove some new volume growth estimates for Ricci expanders. In particular, our estimate in dimension three is sharp, since it shows that every three-dimensional expander with bounded scalar curvature and proper potential function has a volume growth rate no greater than \(r^3\), and this rate is satisfied by the Gaussian expander.
2 Volume Estimates for Shrinking Gradient Ricci Solitons
In this section, we consider a complete shrinking gradient Ricci soliton \((M^n,g,f)\) normalized in the way that
Because of the logarithmic Sobolev inequality of Bakry-Emery [2], Carrillo-Ni [17] observed that, for a shrinker normalized as in (2.1), the constant
is equal to Perelman’s functional \(\mu (g,1)\) defined in (2.4).
2.1 The Triviality of the Entropy on a Ricci Shrinker
Obviously, if we consider the canonical form \((M^n,g_t)_{t\in (-\infty ,0)}\) of a Ricci shrinker \((M^n,g,f)\), where
then its asymptotic shrinker in the sense of Perelman [58, Proposition 11.2] is the shrinker itself.
On the other hand, the Nash entropy on an ancient solution always converges to the entropy of its asymptotic (metric) soliton (c.f. [4, 46]). So if the ancient solution in question is the canonical form \((M,g_t)\), then the Nash entropy converges to the quantity \(\mu _g\) defined in formula (2.2). We, thus, observe that the Nash entropy on the canonical form of a shrinker is always bounded from below. In particular, for any \(x\in M\), we have
Therefore, we may regard (the canonical form of) a Ricci shrinker as an ancient Ricci flow with bounded Nash entropy, and many results in [3, 4] can be applied in this case. This provides a perspective of understanding some classical results. Here, we remind the reader that although in general, a shrinker is not known to have bounded curvature, one may still apply the cut-off argument and heat kernel gaussian estimates of Li–Wang [45] to carry out many of Bamler’s proofs. Let us first of all recall the uniform Sobolev inequality of Li–Wang [45]. In fact, a uniform Sobolev inequality is equivalent to a lower bound of Perelman’s \(\nu \)-functional defined as follows:
Theorem 2.1
[45] Let \((M^n,g,f)\) be a shrinker normalized as in (2.1). Then we have
where \(\mu _g\) is the constant in (2.2).
We briefly describe the idea of the proof. One may consider the canonical form \((M^n,g_t)_{t\in (-\infty ,0)}\) and estimate \(\nu (g_{-1})\). Let \(\tau >0\) be any number and let u be any test function for \(\mu (g_{-1},\tau )\). Define
where K is the conjugate heat kernel. Then we have
To see why the last equation is true, one may refer to [20, Section 9]. In fact, when \(-t\rightarrow \infty \), the difference between \(-t\) and \(\tau _t\) is negligible. Now, apparently, (2.5) implies Theorem 2.1. To make the argument rigorous, one may find the cut-off argument and heat kernel gaussian bounds in [45] helpful.
2.2 Upper Volume Growth Estimate
Cao–Zhou [16] proved the following nice growth estimates for the shrinker potential f (see also [40]). These estimates show that, to estimate the volume growth rate, one may consider the sub-level sets of f instead of geodesic disks; the former proves to be much more analytically tractable than the latter.
Theorem 2.2
[16] Let \((M^n,g,f)\) be a Ricci shrinker normalized as in (2.1), then we have
where p is the point where f attains its minimum and \(\mu _g\) is the quantity in (2.2).
Following the idea mentioned at the beginning of this subsection, let \(\mathcal {V}(s)\) and \(\mathcal {R}(s)\) be the functions
By integrating the trace of (2.1), Cao–Zhou [16] proved the following differential equation for \(\mathcal {V}\) and \(\mathcal {R}\):
Using the above equation, Cao–Zhou [16] and Munteanu [48] showed that a complete gradient shrinker has at most Euclidean volume growth (see also [40]). The volume estimate is sharp on the Gaussian shrinker and on the conical shrinker constructed by Feldman–Ilmanen–Knopf [36]. See also the generalization by Munteanu–Wang [50] to smooth metric measure space with \({{\,\mathrm{Ric}\,}}_f\ge 1/2\).
Theorem 2.3
[16, 48, 50] Let \((M^n ,g, f)\) be a complete shrinking gradient Ricci soliton normalized as in (2.1). Then there is a dimensional constant \(c=c(n)\) such that for any \(p\in M\) and \(r>0\),
As pointed out in [40], if the center p is chosen to be the minimum point of f, then it follows from (2.2) that \(f(p)-\mu _g\le n/2\) and the constant on the R.H.S. of (2.8) can be made dimensional. However, the recent work of Bamler [3] implies a stronger result than Theorem 2.3. Since shrinkers all have nonnegative scalar curvature (c.f. [23]), one may apply the result of [3, Theorem 8.1] to Ricci shrinkers and show that, based at any point, the volume growth rate has an Euclidean upper bound. One may use the techniques in [45] to make this argument rigorous. Here, we only present the following conclusion.
Theorem 2.4
[3, Theorem 8.1] Let \((M^n,g,f)\) be a (not necessarily normalized) Ricci shrinker. Then for any point \(x\in M\) and any \(r>0\), we have
where C(n) is a dimensional constant.
A common class of shrinkers which model the nondegenerate neck pinch of the Ricci flow is that of the cylindrical shrinkers. Their volumes grow much slower than the Euclidean space. Under the assumption of positive lower bound of the scalar curvature, Zhang [67] established an upper volume bound for gradient shrinkers (see also [17] for upper estimates under the bounded and nonnegative Ricci curvature conditions, and [26] under the assumption of integral upper bound of R). This estimate is optimal because of the cylindrical examples \(\mathbb {R}^{n-k}\times \mathbb {S}^{k}\) for \(k\ge 2\).
Theorem 2.5
[67] Suppose that \((M^n, g, f)\) is a complete shrinking gradient Ricci soliton normalized as in (2.1) with scalar curvature bounded from below by a positive constant \(\varepsilon \), i.e., \(R\ge \varepsilon \) on M. Then for all \(p\in M\), there exists a constant C such that for all \(r\ge 0\)
Ni [56] showed that any nontrivial complete gradient Ricci shrinker with nonnegative Ricci curvature has scalar curvature uniformly bounded from below by a positive constant. In particular, it follows from Theorem 2.5 that such a shrinker has zero asymptotic volume ratio. This was also proved by Carrillo–Ni [17, Proposition 2.1].
2.3 Lower Volume Growth Estimate
Munteanu–Wang [49] first proved that the volume growth rate of a shrinking gradient Ricci soliton is at least linear. This rate is optimal since it is fulfilled by the standard round cylinder \(\mathbb {S}^{n-1}\times \mathbb {R}\). However, their estimation constant \(C(n)e^{c_1 \mu _g}\), where \(c_1=c_1(n)>1\), is not optimal. Later, by applying their uniform Sobolev inequality on shrinking solitons, Li–Wang [45] improved the estimation constant of [49].
Theorem 2.6
(Lower volume growth estimate for shrinkers) Let \((M^n, g, f)\) be a complete noncompact shrinking gradient Ricci soliton normalized as in (2.1). There exist dimensional constants \(c_0=c_0(n)\) and \(r_0=r_0(n)\) such that for all \(r\ge r_0\),
We briefly summarize the proof of Theorem 2.6. Consider the set \(D(s):=\{2\sqrt{f-\mu _g}<s\}\) instead and its volume \(V(s):=|D(s)|\). Indeed, we have \(V(s)=\mathcal {V}(s^2/4)\). If, by contradiction, the conclusion is not true, then one may integrate (2.7) to obtain that the volume of the annulus \(|D(s+1){\setminus } D(s)|\) is very small in comparison to \(e^{\mu _g}\) whenever s is large enough, and thus, \(|D(s+1){\setminus } D(s)|\) is much smaller than \(e^{\frac{2\mu _g}{n}}|D(s+1){\setminus } D(s)|^{\frac{n-2}{n}}\). On the other hand, the Sobolev inequality in Theorem 2.1, when applied to a proper cut-off function, implies that \(|D(s+1){\setminus } D(s)|^{\frac{n-2}{n}}\) is smaller than \(Ce^{-\frac{2\mu _g}{n}}\left( |D(s+2){\setminus } D(s-1)|+\int _{D(s+2){\setminus } D(s-1)}Rdg\right) \). When everything is, thus, added together, one may conclude that the shrinker has finite volume. However, this cannot happen because of [49, Lemma 6.2].
In view of Theorem 2.3, a shrinker has at most Euclidean volume growth. Therefore, it is interesting to see when it has maximal volume growth. Note that a shrinker has maximum volume growth if and only if it has positive asymptotic volume ratio (AVR)
Chow–Lu–Yang [31] established an equivalent condition for a shrinker to have positive asymptotic volume ratio.
Theorem 2.7
[31] Let \((M^n,g,f)\) be a complete noncompact shrinking gradient Ricci soliton normalized as in (2.1). M has positive asymptotic volume ratio if and only if
where \(\mathcal {R}(s)\) and \(\mathcal {V}(s)\) are functions defined in (2.6).
3 Volume Estimates for Steady Gradient Ricci Solitons
In this section, we investigate the volume bounds for steady gradient Ricci solitons, i.e., a complete Riemannian manifold (M, g) with a smooth potential function \(f:M\rightarrow \mathbb {R}\) satisfying
Steady Ricci solitons are natural generalizations of Ricci-flat manifolds. Therefore, it is expected that they share similar nice volume bounds. However, the volume growth of a steady soliton in full generality is less clear than the shrinker case.
It was shown by Hamilton [39] that \(\nabla \left( |\nabla f|^2+R\right) =0\). Hence, a non-Ricci-flat steady soliton, by scaling the metric if necessary, can be normalized in the way that
As in the case of Ricci shrinkers, by [23], a steady gradient Ricci soliton has nonnegative scalar curvature.
Munteanu–Sesum [53] showed the following volume growth estimates of steady gradient Ricci solitons.
Theorem 3.1
[53] Suppose that \((M^n, g, f)\) is a complete noncompact steady gradient Ricci soliton. Then for all \(p\in M\), there exist positive constants a and c such that for all large \(r\gg 1\), it holds that
As an application of the above estimates, in the non-Ricci-flat case, Munteanu–Sesum [53, Corollary 5.2] established bounds for
Namely, for any \(p\in M\), there exists a large positive c such that for all large positive r,
Using the weighted volume comparison theorem for smooth metric measure space, Wu [65] proved a similar estimate and showed the weak decay of scalar curvature on complete noncompact steady gradient Ricci solitons, i.e., \(\liminf _{x\rightarrow \infty }R=0\). Under some comparison condition on the function \(f+r\), Wei–Wu [64] showed that the \(\sqrt{r}\) term in (3.2) can be improved to \(\ln r\), and that \(M^n\) has at most Euclidean volume growth, i.e., for all large r
There are two generic types of scalar curvature decay for steady Ricci solitons, namely the linear decay \(R\le Cr^{-1}\) and the exponential decay \(R\le Ce^{-r}\). We shall prove that, under the conditions of proper potential function and linear scalar curvature decay, the estimate for F in (3.3) holds and consequently, M has at most polynomial volume growth. The linear scalar curvature decay and proper potential function conditions are satisfied by a number of recent examples of steady soliton [1, 8,9,10, 32, 34, 35, 63, 66].
Theorem 3.2
Let \((M^n, g,f)\), where \(n\ge 4\), be a complete noncompact non-Ricci-flat steady gradient Ricci soliton normalized as in (3.1). If the scalar curvature R of M decays at least linearly, i.e., \(R\le C_1/(r+1)\) and f is proper, then there is a positive constant C such that
where \(F:=-f\) and \(r(\cdot ):=\mathrm{dist}(\cdot ,p)\) is the distance function based at p.
Remark 3.3
The upper and lower estimates of \(-f\) are sharp as, upon scaling, \(|r+f|=O(1)\) on the Hamilton’s cigar soliton, and \(|r+f|\sim \ln (r+1)\) on the Cao’s soliton on \(\mathbb {C}^n\) with \(n\ge 2\) (see [10, 32, 64]). Estimates on F under Ricci curvature conditions were also obtained in [13, 17, 30].
Using the volume estimate of Wei–Wu [64, Remark 3.2], we have
Corollary 3.4
Under the same assumption of the previous theorem, M has at most polynomial volume growth.
Proof of Theorem 3.2
Let \(F:=-f\). Rewriting (3.1) as
and applying the fact that \(R\ge 0\) on a complete steady gradient Ricci soliton, we obtain the upper bound for F. By our assumptions and the upper estimate for F, there are large positive constants \(\rho _0\) and \(C_0\) such that on \(\{F\ge \rho _0\}\)
Let \(\Psi _s\) be the flow of the vector field \(\nabla F/|\nabla F|^2=-\nabla f/|\nabla f|^2\) with \(\Psi _{\rho _0}=\text { id }\). Moreover for \(s\ge \rho _0\), \(\Psi _s\) maps \(\{F\ge \rho _0\}\) to \(\{F\ge s\}\) and, hence, \(\Psi _s(x)\) exists for all \(s\ge \rho _0\) for any \(x \in \{F\ge \rho _0\}\). Let \(\Gamma _s:=\{F=s\}\). Then \(\Gamma _s\) is a smooth compact hypersurface in M and when \(\Psi _s\) is restricted on \(\Gamma _{\rho _0}\), it becomes a diffeomorphism from \(\Gamma _{\rho _0}\) to \(\Gamma _{s}\). For all \(z\in \{F\ge \rho _0\}\), we denote F(z) by s. Then there is a \(z_0\in \Gamma _{\rho _0}\) such that \(\Psi _s(z_0)=z\) and for all \(t\in [\rho _0, s]\),
Hence, \(F\left( \Psi _t(z_0)\right) =t\). Using (3.4)
where we have applied (3.5). Hence,
where K is the compact set \(\{F\le \rho _0\}\) and we have used that fact that \(F(z)=s\le \mathrm{dist}(z,p)+F(p)\). This completes the proof of the theorem. \(\square \)
For general complete noncompact Kähler manifold \(M^m\) of complex dimension m with nonnegative holomorphic bisectional curvature everywhere and positive bisectional curvature at some point, Chen–Zhu [24] showed that for all large r
An integration by parts argument was used by Cui [33] to show that (3.8) also holds on any complete Kähler steady gradient Ricci soliton with positive Ricci curvature and with scalar curvature attaining its maximum. The lower bound is sharp on the Cao soliton on \(\mathbb {C}^m\) with positive bisectional curvature, where \(m\ge 2\) [10]. In real dimension three, the Hamilton–Ivey estimate implies that any complete ancient solution to the Ricci flow has nonnegative sectional curvature (see [23] and the references therein). In particular, any three-dimensional complete gradient shrinking or steady soliton has nonnegative sectional curvature. When the curvature is positive and the scalar curvature attains its maximum on M, the authors [21] established a sharp quadratic volume estimate on the steady soliton.
Theorem 3.5
[21] Suppose that \((M^3, g, f)\) is a three-dimensional complete steady gradient Ricci soliton with positive sectional curvature. Assume that the scalar curvature attains its maximum somewhere. Then M has quadratic volume growth, i.e., \(|B_r(p)|\sim r^2\) for all \(r\gg 1\).
Remark 3.6
Very recently, Lai [42, Theorem 1.4] has shown that on any three-dimensional complete steady gradient Ricci soliton with positive sectional curvature, the scalar curvature R must attain its maximum. Hence, the condition on R in Theorem 3.5 is superfluous.
For a complete Riemannian manifold \((M^n,g)\), if \({{\,\mathrm{Ric}\,}}\ge 0\) outside a compact set, the asymptotic volume ratio (AVR)
is well defined and does not depend on the choice of the basepoint \(o\in M\). By a dimension reduction argument, Chow, Deng and the second named author proved the following result in dimension 4.
Theorem 3.7
(Theorem 1.10 in [30]) Suppose that \((M^4,g,f)\) is a four-dimensional non-Ricci-flat steady Ricci soliton with nonnegative Ricci curvature outside a compact set. If the scalar curvature decays uniformly, then \(\mathrm{AVR}(g)=0.\)
In fact, if we assume that \({{\,\mathrm{Ric}\,}}\ge 0\) everywhere on M and do not assume uniform scalar curvature decay, by Theorem 1.8 in [30], we still have that \(\mathrm{AVR}(g)=0.\)
In higher dimensions, under some conditions on the curvature tensor, the second and third named authors showed that the asymptotic volume ratio of a noncollapsed steady soliton with \({{\,\mathrm{Ric}\,}}\ge 0\) is zero [46]. The proof relied on the existence of Perelman’s asymptotic shrinkers [58, Section 11] and the authors followed the arguments of Ni [56].
Theorem 3.8
(Corollary 5.2 in [46]) Let \((M^n, g, f)\) be a complete noncompact and noncollapsed steady gradient Ricci soliton with nonnegative Ricci curvature. Furthermore, suppose that M is non-flat, and there exists a constant \(C>0\) such that
Then M has zero asymptotic volume ratio, i.e., \(\mathrm{AVR}(g)=0.\)
Remark 3.9
Recently, the authors [22] have showed that (3.9) holds on any four-dimensional complete non-Ricci-flat steady soliton singularity model (see also [12, 15, 18, 51]).
The authors and Bamler have found an optimal volume growth estimate for noncollapsed steady gradient Ricci solitons. Their notion of noncollapsing is defined in terms of the boundedness of Nash entropy. More precisely, a steady soliton \((M^n,g,f)\) is called noncollapsed, if there exists a point \(p\in M\) and a nonpositive number \(\mu _\infty \), such that the canonical form \((M,g_t)_{t\in (-\infty ,\infty )}\) satisfies
Note that this notion of noncollapsing is different from (indeed, stronger than) the classical definition of Perelman. Nevertheless, it is more natural for application and is proved to be equivalent to Perelman’s definition in several special cases [46, 68].
Theorem 3.10
[5] Suppose that \((M^n,g,f)\) is a complete steady gradient Ricci soliton, normalized as in (3.1) if g is not Ricci flat. Assume that the canonical form \((M^n,g_t)_{t\in \mathbb {R}}\) satisfies (3.10). Additionally, assume that either one of the following conditions is true:
-
1.
\((M^n,g_t)_{t\in \mathbb {R}}\) arises as a singularity model; or
-
2.
\((M^n,g)\) has bounded curvature.
Then
where \( \mu _\infty :=\inf _{\tau>0} \mathcal {N}_{o,0}(\tau )=\lim _{\tau \rightarrow \infty }{\mathcal {N}}_{o,0}(\tau ) >-\infty \) and \(c(n,\mu _\infty )\) a positive constant of the form
Furthermore, the upper bound is also true for all \(r>0\) (instead of \(r\ge {\bar{r}}(n,\mu _\infty )\)).
4 Volume Estimates for Expanding Gradient Ricci Solitons
In this section, we study the volume growth of expanding gradient Ricci solitons, i.e., a triple \((M^n,g,f)\) consisting of a Riemannian manifold (M, g) and \(f\in C^{\infty }(M)\) satisfying
They are analogs of Einstein manifolds with negative Ricci curvature. Hamilton [39] showed that \(\nabla \left( |\nabla f|^2+R+f\right) =0\). By adding a constant to f, we may normalized the expander in the way that
It was proved by Pigola–Rimoldi–Setti [61] and Zhang [67] that the scalar curvature of any complete Ricci expander satisfies
with equality holds somewhere if and only if M is Einstein. This inequality also follows by applying the lower estimate for the scalar curvature \(R\ge -n/2t\) to the canonical form of the expander (see [29]).
4.1 Upper Volume Growth Estimate
For general Ricci expanders, because of the trivial examples of hyperbolic spaces, one cannot expect a volume growth estimate with a growth rate slower than exponential. In this respect, Munteanu–Wang [50] proved a sharp exponential volume bound for smooth metric measure spaces with a lower bound of the Bakry–Emery Ricci curvature \({{\,\mathrm{Ric}\,}}_f\ge \lambda \) and a linear upper bound of \(|\nabla f|\); these assumptions are satisfied by expanding gradient solitons.
Theorem 4.1
[50] Let \((M^n, g, f)\) be a complete expanding gradient Ricci soliton. Then there is a constant \(C>0\) such that for all \(r>0\)
Without assumption on the potential function, the bound cannot be improved to a polynomial one as the hyberbolic space form \(\mathbb {H}^n\) has exponential volume growth.
Chen–Deruelle [25] showed the existence of a conical structure on a complete noncompact Ricci expander with finite Riemann curvature ratio \(\limsup _{x\rightarrow \infty }r^2|{{{\,\mathrm{Rm}\,}}}|<\infty \). In particular, the conical expander has Euclidean volume growth (see also [26] for estimates under \(\lim _{x\rightarrow \infty }r^2|{{{\,\mathrm{Rm}\,}}}|=0\) or integral decay condition on R).
Theorem 4.2
[25] Any complete noncompact expanding gradient Ricci soliton \((M^n,g,f)\) with \(\limsup _{x\rightarrow \infty }r^2|{{{\,\mathrm{Rm}\,}}}|<\infty \) must be asymptotically conical in the Gromov–Hausdorff sense. In particular, it has Euclidean volume growth, namely, \(|B_r(p)|\sim r^n\) for all \(r\gg 1\).
4.2 Lower Volume Growth Estimate
It was proven by Hamilton that any complete gradient Ricci expander with positive Ricci curvature has positive asymptotic volume ratio (c.f. [27, Proposition 9.26]). Under some lower bound of the scalar curvature, Ni–Carrillo [17] proved the following monotonicity formula for the volume of expanding gradient Ricci soliton.
Theorem 4.3
[17] Let \((M^n,g,f)\) be a complete noncompact expanding gradient Ricci soliton with scalar curvature bounded from below by a constant, i.e., \(R\ge -\beta \), where \(\beta \ge 0\). Then for any \(p\in M\) and \(r\ge r_0\), it holds that
where \(\alpha :=\sqrt{\beta -f(p)}\).
Remark 4.4
The lower estimate is sharp on the hyperbolic cylinder.
4.3 Estimate Under Scalar Curvature Upper Bound
Munteanu–Wang [49] showed that if \(R\ge -(n-1)/2\), then the gradient Ricci expander either is connected at infinity or splits isometrically like \(\mathbb {R}\times N\), where N is a compact Einstein manifold. Munteanu–Wang [52] also proved that, a Kähler expander with proper potential function f must be connected at infinity.
E is an end of M relative to a compact subset K if it is an unbounded component of \(M{\setminus } K\) [43, Definition 20.2]. In general, an expander may have more than one ends, even if it does not split. The ends of an expander can behave very differently from each other. Indeed, there is a three-dimensional expanding gradient Ricci soliton with two ends, one being hyperbolic like, another being asymptotically conical [62] (see also [6, 47] for other examples). The potential function f of the soliton is proper on the conical end and remains bounded on the hyperbolic end. Therefore, it is natural to localize the volume estimates on those ends with proper potential f. We first establish the following volume estimate for three-dimensional expanding solitons:
Theorem 4.5
Let \((M^3, g, f)\) be a three-dimensional complete noncompact expanding gradient Ricci soliton, and let E be an end of M relative to some compact subset. Suppose the following conditions are satisfied:
-
\(\lim _{x\in E,x\rightarrow \infty }f(x)=-\infty \);
-
scalar curvature R is bounded on E.
Then there is a large positive constant C such that for all \(r\gg 1\)
Moreover, either one of the following holds for all large r:
-
1.
\(|B_r(p)\cap E|\ge C^{-1} r^3;\)
-
2.
\(|B_r(p)\cap E|\le C r.\)
Remark 4.6
The two cases hold on conical and cylindrical ends, respectively. Under the assumptions of Theorem 4.5, one may wonder if the end E must either be conical or cylindrical, or neither.
Using the result by Ni–Carrillo [17], we also have
Corollary 4.7
Let \((M^3, g, f)\) be a three-dimensional complete noncompact expanding gradient Ricci soliton with bounded scalar curvature R and proper potential function. Then it has at most Euclidean volume growth. Specifically, fixing any \(p \in M\), there exists a large constant C such that for all large \(r>0\)
In particular, any 3-dimensional complete noncompact gradient Ricci expander with \(\lim _{x\rightarrow \infty }R=0\) (f is automatically proper in this case) has Euclidean volume growth, namely, \(|B_r(p)|\sim r^3\).
Remark 4.8
The estimate is sharp on Gaussian soliton and the positively/negatively curved Bryant expanding soliton. In view of the hyperbolic space \(\mathbb {H}^3\), we see that the properness of f is essential and cannot be removed.
In higher dimensions, we also have
Theorem 4.9
Let \((M^n, g, f)\) be an n-dimensional complete noncompact expanding gradient Ricci soliton and let E be an end of M, where \(n\ge 4\). Suppose the following conditions are satisfied:
-
\(\lim _{x\in E,x\rightarrow \infty }f(x)=-\infty \);
-
There is a constant \(L_0\) (not necessarily nonnegative) such that
$$\begin{aligned} R\le L_0 \text { on } E. \end{aligned}$$(4.4)
Then for any \(p \in M\), there exists a large constant C such that for all large \(r>0\)
Remark 4.10
The estimate is sharp on the hyperbolic cylinder. It can be viewed as the expanding analog of the volume estimate of shrinker by Zhang [67], as well as the reverse estimate of [17] (see also Theorems 2.5 and 4.3).
Corollary 4.11
Any complete noncompact expanding gradient Ricci soliton with bounded scalar curvature and proper potential function f has at most polynomial volume growth.
When f is proper and the scalar curvature R is bounded on an end E of the expander M, then by [29, Theorem 27.4] and by the same proof as in [19, lemma 7], the potential function f satisfies the following estimates near the infinity of E,
where p is a fixed point on M, \(\mathrm{dist}(\cdot ,p)\) is the distance function based at p and \(v:=\tfrac{n}{2}-f\). The above estimates will be used in the proofs of Theorems 4.5 and 4.9, since it relates the geodesic balls and sub-level sets of v.
Proof of Theorem 4.5
(\(n=3\) case) Since the scalar curvature is bounded, by the same argument as in [19, Theorem 11], \(|{{{\,\mathrm{Rm}\,}}}|\) is bounded on the end E. We may invoke the Shi’s estimate to see that, \(|\nabla ^k{{{\,\mathrm{Rm}\,}}}|\) is also bounded on E for all k. Let \(v=\frac{n}{2}-f\). Then by the properness of f, the boundedness of R, (4.1), and (4.5), we have \(\lim _{x\in E, x\rightarrow \infty } v=\infty \) and \(|\nabla v|^2=v-n/2-R>0\) outside a compact subset of E. Hence, one can find large \(s_0\) such that on \(\{x\in E: v(x)\ge s_0\}\), it holds that \(\nabla v\ne 0\). Moreover, the level sets \(\Gamma _s:=\{x\in E: v(x)=s\}\) are compact smooth hypersurfaces with N components for all \(s\ge s_0\), where N is a constant integer, and \(\{x\in E: v(x)\ge s_0\}\) is diffeomorphic to \([0,\infty )\times \Gamma _{s_0}\). By abuse of notation, we denote the induced metric on \(\Gamma _s\) by g and consider the flow \(\psi _s\) of the vector field \(\frac{\nabla v}{|\nabla v|^2}\) with \(\psi _{s_0}=\text { id }\). When restricted on \(\Gamma _{s_0}\), \(\psi _s: \Gamma _{s_0}\longrightarrow \Gamma _{s}\) are diffeomorphisms for all \(s\ge s_0\). Let \(h_s\) be the pull back metric \(\psi _s^*g\) on \(\Gamma _{s_0}\). Then we have
where \(\mathcal {L}_{\frac{\nabla v}{|\nabla v|^2}}\) is the Lie derivative with respect to \(\frac{\nabla v}{|\nabla v|^2}\). We denote by \(dh_s\) the volume form induced by the metric \(h_s\), then by (4.1) and choosing \(s_0\) sufficiently large
where \({\textbf {n}}\) is the normal vector \(\frac{\nabla v}{|\nabla v|}\). Note that the second fundamental form of \(\Gamma _s\) is \(\frac{\nabla ^2 v}{|\nabla v|}=\frac{{{\,\mathrm{Ric}\,}}+g/2}{\sqrt{s-3/2-R}}=O(s^{-1/2})\). Let \(\sigma _1\le \sigma _2\) be the principal curvatures of \(\Gamma _s\). By the Gauss equation, we have
where \(K_s\) denotes the Gauss curvature of \(\Gamma _s\). We have
By virtue of \(\nabla R=2{{\,\mathrm{Ric}\,}}(\nabla f)\), we have \(\psi _s^*({{\,\mathrm{Ric}\,}}({\textbf {n}},{\textbf {n}}))=-\frac{1}{2}\langle \nabla R, \nabla v\rangle /|\nabla v|^2=O(|\nabla R|/|\nabla v|)=O(s^{-1/2})\) . It follows from (4.8) that
By applying the Gauss Bonnet Theorem to each components of \(\Gamma _s\), we see that
where \(A(s):=\) area of \(\Gamma _s\). Let \(Q(s):=s^{-1}e^{2C''s^{-1/2}}(A(s)+C_0)\). Then Q satisfies \(Q'(s)\le 0\). By integrating the differential inequality, we see that for all \(s\ge s_0\),
By the Coarea formula,
Using (4.5), we see that \(v\sim \mathrm{dist}^2(\cdot ,p)\) for some point p. Hence, we can find constants \(C_1\) and \(C_2\) such that for all large r
This shows the Euclidean volume upper bound for the expander. Let \(\Lambda :=\int _{\Gamma _s}2K_s\) which is a constant for all large s by the Gauss Bonnet theorem. We have the following two cases.
-
1.
If there is a large \(s_1\ge s_0\) such that for all \(s\ge s_1\), we have \(A(s)+\Lambda \le 1\).
-
2.
There is a sequence of \(s_i\rightarrow \infty \) such that \(A(s_i)+\Lambda > 1\) for all i.
In Case 1, by virtue of Coarea formula,
\(|B_r(p)\cap E|\le Cr\) then follows from the fact that \(v\sim \mathrm{dist}_g^2(\cdot ,p)\) (see (4.5)). We shall show that \(|B_r(p)\cap E|\ge Cr^3\) if Case 2 holds. Let i be a large integer to be specified. By the similar computation as before, we have
By integrating both sides over \(\Gamma _{s_0}\) and applying the Gauss Bonnet Theorem,
Let \(W:=s^{-1}e^{-2C"s^{-1/2}}(A(s)+\Lambda )\). The derivative of W satisfies
By the definition of \(s_i\), \(A(s_i)+\Lambda >1\). Since \(\lim _{i\rightarrow \infty }s_i=\infty \), there exists a large i such that
Fixing this i, we may integrate the above inequality on \([s_i,s]\) and get
Hence, for all \(s\ge s_i(4|\Lambda |+1)\),
\(|B_r(p)\cap E|\ge Cr^3\) is a consequence of a similar argument using Coarea formula and (4.5). This completes the proof of the theorem.
Proof of Corollary 4.7
The first statement is a consequence of Theorem 4.5 if we let \(E=M\). The second assertion follows essentially from the argument in [17, Proposition 5.1] and Theorem 4.5. We include the argument for the sake of completeness. Since \(R\rightarrow 0\) as \(x\rightarrow \infty \), f is proper [19, Corollary 3] and there is a large \(r_0>0\) such that on \(M{\setminus } B_{r_0}(p)\)
We integrate the trace of the expanding soliton equation over \(B_{r}(p)\) to get
we have used the facts that \(|\nabla f|\le \mathrm{dist}(x,p)/2+\sqrt{3/2-f(p)}\) [29, Theorem 27.4] and \(R\ge -\frac{3}{2}\) on M [61, 67] (see also (4.2)). Integrating the above inequality, we have that, for all \(r\ge r_0+1\)
Hence, \(\left| B_{r}(p)\right| \) grows at least quadratically in r and the cubic volume growth now follows from the dichotomy in Theorem 4.5. This completes the proof of the corollary. \(\square \)
In higher dimensions, in particular when \(n\ge 4\), the Gauss Bonnet Theorem cannot be applied to the \(n-1\) dimensional level sets. A different argument is needed to handle the integral of the scalar curvature over the level set.
Proof of Theorem 4.9
(\(n\ge 4\) case) We retain the same notation as in the proof of Theorem 4.5. We may choose \(s_0\) large enough such that on \(\{x\in E: v(x)\ge s_0\}\), it holds that \(v-n/2-R\ge s_0-n/2-L_0>0\). Moreover, using the facts that R is bounded on E and \(\psi _s^*({{\,\mathrm{Ric}\,}}({\textbf {n}},{\textbf {n}}))=-\frac{1}{2}\langle \nabla R, \nabla v\rangle /|\nabla v|^2=-\partial _s \left( \psi _s^*R/2\right) \), we may proceed as in the proof of Theorem 4.5 to see that
Let \(J(s):=\int _{\Gamma _{s_0}}\psi _s^*\left( \sqrt{2s-n-2R}\right) \,dh_s\ge 0\). Thanks to (4.2) and (4.4), it holds that \(L_0+n/2\ge R+n/2\ge 0.\) Hence,
By integrating the above inequality, we have for large \(s\gg s_0\),
Hence, \(A(s)=O(s^{(L_0+(n-1)/2)})\). In view of the rigidity case of (4.2), we see that \(L_0+n/2> 0\). Otherwise, \(R=n/2\) somewhere on M and consequently, \({{\,\mathrm{Ric}\,}}\equiv -g/2\) and \(\nabla ^2 f\equiv 0\) on M (see [29, 61, 67]). Hence, either f is a constant or M splits off a factor of \(\mathbb {R}\). The former case is impossible as f is proper along the end E. Contradiction also arises in the latter case as \({{\,\mathrm{Ric}\,}}\equiv -g/2\). Hence, there is a large \(s_1\) such that for all \(s\ge s_1\)
We used the fact that \(L_0+n/2> 0\) in the last inequality. \(|B_r(p)\cap E|\le Cr^{2L_0+n}\) then follows similarly from (4.5) as in the proof of Theorem 4.5. This finishes the the proof of Theorem 4.9. \(\square \)
References
Appleton, A.: A family of non-collapsed steady Ricci solitons in even dimensions greater or equal to four (2017). arXiv:1708.00161
Bakry, D., Émery, M.: Diffusions hypercontractives. In: Seminaire de probabilités XIX 1983/84, pp. 177–206. Springer, Berlin (1985)
Bamler, R.H.: Entropy and heat kernel bounds on a Ricci flow background (2020). arXiv:2008.07093
Bamler, R.H.: Structure theory of non-collapsed limits of Ricci flows (2020). arXiv:2009.03243
Bamler, R.H., Chan, P.-Y., Ma, Z., Zhang, Y.: An optimal volume growth estimate for noncollapsed steady gradient Ricci solitons (2021). arXiv:2110.04661
Bernstein, J., Mettler, T.: Two-dimensional gradient Ricci solitons revisited. Int. Math. Res. Not. IMRN 2015(1), 78–98 (2015)
Brendle, S.: Rotational symmetry of self-similar solutions to the Ricci flow. Invent. Math. 194(3), 731–764 (2013)
Bryant, R.: Ricci flow solitons in dimension three with SO(3)-symmetries (2005). http://www.math.duke.edu/~bryant/3DRotSymRicciSolitons.pdf
Buzano, M., Dancer, A.S., Wang, M.: A family of steady Ricci solitons and Ricci flat metrics. Commun. Anal. Geom. 23(3), 611–638 (2015)
Cao, H.-D.: Existence of gradient Kähler-Ricci solitons. In: Elliptic and Parabolic Methods in Geometry (Minneapolis, MN, 1994), pp. 1–16. A K Peters, Wellesley (1996)
Cao, H.-D., Chen, B.-L., Zhu, X.-P.: Recent developments on Hamilton’s Ricci flow. In: Surveys in Differential Geometry. Geometric Flows, vol. XII, pp. 47–112. Int. Press, Somerville (2008)
Cao, H.-D., Cui, X.: Curvature estimates for four-dimensional gradient steady Ricci solitons. J. Geom. Anal. 30(1), 511–525 (2020)
Cao, H.-D., Chen, Q.: On locally conformally flat gradient steady Ricci solitons. Trans. Am. Math. Soc. 364(5), 2377–2391 (2012)
Cao, H.-D., Chen, Q.: On Bach-flat gradient shrinking Ricci solitons. Duke Math. J. 162(6), 1149–1169 (2013)
Cao, H.-D., Liu, T.: Curvature estimates for four-dimensional complete gradient expanding Ricci solitons. arXiv:2111.09848
Cao, H.-D., Zhou, D.: On complete gradient shrinking Ricci solitons. J. Differ. Geom. 85(2), 175–185 (2010)
Carrillo, J., Ni, L.: Sharp logarithmic Sobolev inequalities on gradient solitons and applications. Commun. Anal. Geom. 17, 721–753 (2009)
Chan, P.-Y.: Curvature estimates for steady Ricci solitons. Trans. Am. Math. Soc. 372(12), 8985–9008 (2019)
Chan, P.-Y.: Curvature estimates and gap theorems for expanding Ricci solitons. Int. Math. Res. Not. IMRN. arXiv:2001.11487
Chan, P.-Y., Ma, Z., Zhang, Y.: Ancient Ricci flows with asymptotic solitons (2021). arXiv:2106.06904
Chan, P.-Y., Ma, Z., Zhang, Y.: A uniform Sobolev inequality for ancient Ricci flows with bounded Nash entropy. Int. Math. Res. Not. (2022). https://doi.org/10.1093/imrn/rnac146
Chan, P.-Y., Ma, Z., Zhang, Y.: Hamilton–Ivey estimates for gradient Ricci solitons (2021). arXiv:2112.11025
Chen, B.-L.: Strong uniqueness of the Ricci flow. J. Differ. Geom. 82(2), 363–382 (2009)
Chen, B.-L., Zhu, X.-P.: Volume growth and curvature decay of positively curved Kähler manifolds. Q. J. Pure Appl. Math. 1(1), 68–108 (2005)
Chen, C.-W., Deruelle, A.: Structure at infinity of expanding gradient Ricci soliton. Asian J. Math. 19(5), 933–950 (2015)
Chen, C.-W.: On the asymptotic behavior of expanding gradient Ricci solitons. Ann. Glob. Anal. Geom. 42(2), 267–277 (2012)
Chow, B., Lu, P., Ni, L.: Hamilton’s Ricci flow, Lectures in Contemporary Mathematics, vol. 3, Science Press and Graduate Studies in Mathematics, vol. 77. American Mathematical Society (co-publication) (2006)
Chow, B., Chu, S., Glickenstein, D., Guenther, C., Isenberg, J., Ivey, T., Knopf, D., Lu, P., Luo, F., Ni, L.: The Ricci flow: techniques and applications. Part I. Geometric Aspects, Mathematical Surveys and Monographs, vol. 135. AMS, Providence (2007)
Chow, B., Chu, S., Glickenstein, D., Guenther, C., Isenberg, J., Ivey, T., Knopf, D., Lu, P., Luo, F., Ni, L.: The Ricci Flow: Techniques and Applications. Part IV: Long-Time Solutions and Related Topics, Mathematical Surveys and Monographs, vol. 206. AMS, Providence (2015)
Chow, B., Deng, Y., Ma, Z.: On four-dimensional steady gradient Ricci solitons that dimension reduce (2020). arXiv:2009.11456
Chow, B., Lu, P., Yang, B.: A necessary and sufficient condition for Ricci shrinkers to have positive AVR. Proc. Am. Math. Soc. 140(6), 2179–2181 (2012)
Conlon, R.J., Deruelle, A.: Steady gradient Kähler–Ricci solitons on Crepant resolutions of Calabi–Yau cones. arXiv:2006.03100
Cui, X.: On curvature, volume growth and uniqueness of steady Ricci solitons. PhD thesis. Lehigh University (2016)
Dancer, A.S., Wang, M.Y.: Some new examples of non-Kähler Ricci solitons. Math. Res. Lett. 16(2), 349–363 (2009)
Dancer, A.S., Wang, M.Y.: On Ricci solitons of cohomogeneity one. Ann. Glob. Anal. Geom. 39(3), 259–292 (2011)
Feldman, M., Ilmanen, T., Knopf, D.: Rotationally symmetric shrinking and expanding gradient Kähler–Ricci solitons. J. Differ. Geom. 65(2), 169–209 (2003)
Hamilton, R.: Three-manifolds with positive Ricci curvature. J. Differ. Geom. 17(2), 255–306 (1982)
Hamilton, R.: The Ricci flow on surfaces. Math. General Relativ. Contemp. Math. 71, 237–262 (1988)
Hamilton, R.: The formation of singularities in the Ricci flow. Surv. Differ. Geom. 2, 7–136 (1995)
Haslhofer, R., Müller, R.: A compactness theorem for complete Ricci shrinkers. Geom. Funct. Anal. 21(5), 1091–1116 (2011)
Lai, Y.: A family of 3d steady gradient solitons that are flying wings (2020). arXiv:2010.07272
Lai, Y.: O(2)-symmetry of 3D steady gradient Ricci solitons (2022). arXiv:2205.01146
Li, P.: Geometric Analysis. Cambridge Studies in Advanced Mathematics, vol. 134. Cambridge University Press, Cambridge (2012)
Li, X., Ni, L., Wang, K.: Four-dimensional gradient shrinking solitons with positive isotropic curvature. Int. Math. Res. Not. 2018(3), 949–959 (2018)
Li, Y., Wang, B.: Heat kernel on Ricci shrinkers. Calc. Var. Partial Differ. Equ. 59(6), 84 (2020). (Paper No. 194)
Ma, Z., Zhang, Y.: Perelman’s entropy on ancient Ricci flows. J. Funct. Anal. 281(9), 31 (2021). (Paper No. 109195)
Maschler, G., Ream, R.: Cohomogeneity one Kähler–Ricci solitons under a Heisenberg group action and related metrics. arXiv:2010.09218
Munteanu, O.: The volume growth of complete gradient shrinking Ricci solitons (2009). arXiv:0904.0798
Munteanu, O., Wang, J.: Analysis of weighted Laplacian and applications to Ricci solitons. Commun. Anal. Geom. 20(1), 55–94 (2012)
Munteanu, O., Wang, J.: Geometry of manifolds with densities. Adv. Math. 259, 269–305 (2014)
Munteanu, O., Wang, J.: Geometry of shrinking Ricci solitons. Compos. Math. 151(12), 2273–2300 (2015)
Munteanu, O., Wang, J.: Topology of Kähler Ricci solitons. J. Differ. Geom. 100(1), 109–128 (2015)
Munteanu, O., Sesum, N.: On gradient Ricci solitons. J. Geom. Anal. 23(2), 539–561 (2013)
Naber, A.: Noncompact shrinking four solitons with nonnegative curvature. Journal für die Reine und Angewandte Mathematik 645, 125–153 (2010)
Naff, K.: Shrinking Ricci solitons with positive isotropic curvature (2019). arXiv:1905.10305
Ni, L.: Ancient solutions to Kähler–Ricci flow. Math. Res. Lett. 12, 633–654 (2005)
Ni, L., Wallach, N.: On a classification of gradient shrinking solitons. Math. Res. Lett. 15, 941–955 (2008)
Perelman, G.: The entropy formula for the Ricci flow and its geometric applications. arXiv:math.DG/0211159
Perelman, G.: Ricci flow with surgery on three-manifolds. arXiv:math.DG/0303109
Petersen, P., Wylie, W.: On the classification of gradient Ricci solitons. Geom. Topol. 14, 2277–2300 (2010)
Pigola, S., Rimoldi, M., Setti, A.G.: Remarks on non-compact gradient Ricci solitons. Math. Z. 268(3–4), 777–790 (2011)
Ramos, D.: Ricci flow on cone surfaces and a three dimensional expanding soliton. PhD thesis. Universitat Autònoma de Barcelona (2013)
Stolarski, M.: Steady Ricci solitons on complex line bundles. arXiv:1511.04087v2
Wei, G., Wu, P.: On volume growth of gradient steady Ricci solitons. Pac. J. Math. 265(1), 233–241 (2013)
Wu, P.: On the potential function of gradient steady Ricci solitons. J. Geom. Anal. 23(1), 221–228 (2013)
Wink, M.: Cohomogeneity one Ricci solitons from Hopf fibrations. arXiv:1706.09712v2
Zhang, S.-J.: On a sharp volume estimate for gradient Ricci solitons with scalar curvature bounded below. Acta Math. Sin. (Engl. Ser.) 27(5), 871–882 (2011)
Zhang, Y.: On the equivalence between noncollapsing and bounded entropy for ancient solutions to the Ricci flow. Journal für die reine und angewandte Mathematik 2020(762), 35–51 (2020)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Professor Peter Li on the occasion of his seventieth birthday.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chan, PY., Ma, Z. & Zhang, Y. Volume Growth Estimates of Gradient Ricci Solitons. J Geom Anal 32, 291 (2022). https://doi.org/10.1007/s12220-022-01026-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-022-01026-7