Abstract
In this work, we extend the existence theory of non-collapsed Ricci flows from point-wise curvature lower bound to Kato-type curvature lower bound. As an application, we prove that any compact three-dimensional non-collapsed strong Kato limit space is homeomorphic to a smooth manifold. Moreover, similar result also holds in higher dimension under stronger curvature condition. We also use the Ricci flow smoothing to study stability problem in scalar curvature geometry.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
There is a long history on the study of compactness of sets of manifolds with a uniform lower bound on the Ricci curvature. For instance, the Gromov compactness Theorem [20] states that any sequence of compact manifolds with uniform Ricci lower bound and diameter upper bound admits a convergent subsequence in the Gromov–Hausdorff topology. Since then, there have been many studies toward understanding the structure of the metric spaces arising as limits of smooth manifolds, see [10,11,12,13,14, 17, 26] and the reference therein. The analytic properties such as comparison geometry and heat kernel estimates on manifolds with Ricci lower bound play an important role there.
On the other hand, there are,however, many interesting scenarios in which uniform Ricci lower bound is missing, especially in the study of Ricci flow. It is then natural and important to consider the case when a uniform Ricci lower bound is further relaxed to bound in a weaker sense. In [34], Petersen and Wei generalized the classical fundamental Laplacian and volume comparison for uniform Ricci curvature lower bounds to smallness assumptions of \(L^p\) norm of \(\textrm{Ric}_-\) for \(p>n/2\) where \(\textrm{Ric}_-(x)=\inf \{ {\alpha }\ge 0: \textrm{Ric}(g(x))+{\alpha }g(x)\ge 0\}\). This opens the door to understanding the structure of limit spaces under small \(||\textrm{Ric}_-||_p\) assumption for \(p>n/2\), see also [18, 32].
More recently, it was further generalized by Carron [5] and Rose [35] that in the compact case, a Dynkin-type lower bound of Ricci curvature also suffices to obtain the Li–Yau estimates for the heat kernel, building on the idea of Zhang–Zhu [47]. For a complete Riemannian manifold \((M^n,g_0)\) of dimension \(n\ge 2\), we denote
where \(H_{g_0}\) is the heat kernel, that is \(H_{g_0}(\cdot ,\cdot ,t)\) is the kernel of the operator \(e^{-t\Delta _{g_0}}\) for any \(t>0\).
Definition 1.1
Let \(\{(M_i,g_i)\}_{i=1}^\infty \) be a sequence of compact manifolds.Footnote 1 We say that \(\{(M_i,g_i)\}_{i=1}^\infty \) satisfies
-
a uniform Dynkin bound on \(\textrm{Ric}_-\) if there exists \(T>0\) such that for all \(i\in \mathbb {N}\),
$$\begin{aligned} \kappa _T(M_i,g_i)\le \frac{1}{16n}; \end{aligned}$$ -
a uniform Kato bound on \(\textrm{Ric}_-\) if there exist \(T>0\) and a non-decreasing function \(f:(0,T]\rightarrow [0,+\infty )\) such that \(f(t)\rightarrow 0\) as \(t\rightarrow 0^+\) and for all \(t\in (0,T]\) and \(i\in \mathbb {N}\),
$$\begin{aligned} \kappa _t(M_i,g_i)\le f(t); \end{aligned}$$ -
a strong uniform Kato bound on \(\textrm{Ric}_-\) if there exist \(T,\Lambda >0\) and a non-decreasing function \(f:(0,T]\rightarrow [0,+\infty )\) such that \(f(t)\rightarrow 0\) as \(t\rightarrow 0^+\) and for all \(t\in (0,T]\) and \(i\in \mathbb {N}\),
$$\begin{aligned} \kappa _t(M_i,g_i)\le f(t);\quad \int ^T_0\frac{\sqrt{f(s)}}{s} \textrm{d}s\le \Lambda . \end{aligned}$$
When \(\textrm{Ric}\ge -K\), it satisfies the uniform Dynkin bound for \(T=(16nK)^{-1}\). In the compact case, it was also shown that a strong uniform Kato bound can be achieved for some small T under suitable \(L^p\) bound of \(\textrm{Ric}_-\) [37] or suitable Morrey bound [9]. Perhaps more importantly, it was proved by Carron [5] that the set of compact manifolds satisfying a uniform Dynkin bound on \(\textrm{Ric}_-\) is pre-compact in the Gromov–Hausdorff topology. When it is strengthened to strong uniform Kato sense, the structure theory of the corresponding volume non-collapsed Gromov–Hausdorff limit has been developed by Carron–Mondello–Tewodrose [6]. This generalizes the earlier works of Cheeger–Colding on Ricci limit spaces. We refer readers to [7, 8, 36, 38] for more interesting and important developments.
In this work, we are interested in the regularity of the Gromov–Hausdorff limits of volume non-collapsed compact manifolds (without boundary) under the strong Kato lower bound on 1-isotropic curvature. To clarify the notion, denote the space of algebraic curvature tensors on \(\mathbb {R}^n\) by \(\mathcal {C}_B(\mathbb {R}^n)\). For any given \(R\in \mathcal {C}_B(\mathbb {R}^n)\), we extend it complex linearly to \(\mathbb {C}^n\). We say that \(R\in \textrm{C}_{\textrm{PIC2}}\) if for each two complex dimensional subspace \(\Sigma \) of \(\mathbb {C}^n\) and orthonormal basis \(v,w\in \mathbb {C}^n\) of \(\Sigma \), we have \(R(v,w,\bar{v},\bar{w})\ge 0\). If one instead asks for non-negativity of complex sectional curvature only for PIC1 sections, defined to be those \(\Sigma \) that contain some non-zero vector v whose conjugate \(\bar{v}\) is orthogonal to the entire section \(\Sigma \). The algebraic curvature tensors R with non-negative complex sectional curvature for each such restricted \(\Sigma \) form a cone we denote by \(\textrm{C}_{\textrm{PIC1}}\). When \(n=3\), it is known that \(\textrm{C}_{\textrm{PIC1}}\) is also the cone of curvature tensors R with \(\textrm{Ric}(R)\ge 0\).
For \(n\ge 4\), one can equivalently describe \(\textrm{C}_{\textrm{PIC1}}\) as follows (see [3]): \(\textrm{C}_{\textrm{PIC1}}\) is the cone consisting of curvature tensors R such that for any orthonormal four-frame \(\{e_i\}_{i=1}^4\subset \mathbb {R}^n\) and \(\lambda \in [0,1]\), we have
We are interested in studying manifolds where the curvature is bounded from below with respect to \(\textrm{C}_{\textrm{PIC1}}\). For a Riemannian manifold \((M^n,g)\) with \(n\ge 3\) and \(x\in M\), we define
where \(\textrm{I}\) is the curvature tensor defined by \(I_{ijkl}=\delta _{ik}\delta _{jl}-\delta _{il}\delta _{jk}\). This is the negative part of the lowest eigenvalue of \(\textrm{Rm}\) with respect to \(\textrm{C}_{\textrm{PIC1}}\). This generalizes the notion of \(\textrm{Ric}_-\) in the sense that when \(n=3\), \(\textrm{Ric}_-=(n-1)\cdot (\textrm{IC}_{1})_-\) while when \(n\ge 4\), we have \(\textrm{Ric}_-\le (n-1)\cdot (\textrm{IC}_{1})_-\).
We follow the spirit of \(\kappa _t\) and define, for all \(t>0\),
Definition 1.2
Suppose \(T>0\) and \(f:(0,T]\rightarrow [0,+\infty )\) is a non-decreasing function such that
We say that \((M^n,g)\in \mathcal {K}_{\textrm{IC1}}(n,f)\) if for all \(t\in (0,T]\),we have
If in addition, \( \textrm{Vol}_g\left( B_g(x_0,\sqrt{T})\right) \ge v T^{n/2}\) for some \(x_0\in M,v>0\), then we say that \((M^n,g,x_0)\in \mathcal {K}_{\textrm{IC1}}(n,f,v)\).
We will mainly focus on the case when M is compact and the Kato bound is uniformly strong. Given a sequence of compact manifolds \(\{(M_i,g_i)\}_{i=1}^\infty \), we say that \(\{(M_i,g_i)\}_{i=1}^\infty \) satisfies a strong uniform \(\textrm{IC1}\)-Kato bound if \((M_i,g_i)\in \mathcal {K}_{\textrm{IC1}}(n,f)\) where \(f:(0,T]\rightarrow [0,+\infty )\) is a non-decreasing function, \(T,\Lambda >0\) such that \(f(t)\rightarrow 0\) as \(t\rightarrow 0^+\) and satisfies
When \(n=3\), it coincides with the concept of strong Kato bound on \(\textrm{Ric}_-\) considered in [6], modulus scaling.Footnote 2
In contrast with the work [6, 7], we intend to strengthen the curvature lower bound from Ricci curvature to 1-isotropic curvature (which two notions coincide when \(n=3\)). This is largely motivated by the works of Bamler–Cabezas–Wilking [2], Simon-Topping [42], Lai [27],and Lee–Tam [28] on obtaining the regularity of the Gromov–Hausdorff limit using Ricci flow.
The following is the main technical result which says that such manifolds can be regularized by the Ricci flow uniformly. This generalizes the earlier work of Bamler–Cabezas–Wilking [2] on the theory of Ricci flows with curvature bounded from below in point-wise sense initially.
Theorem 1.1
Suppose \((M^n,g_0,x_0),n\ge 3\) is a pointed compact manifold which is inside \(\mathcal {K}_{\textrm{IC1}}(n,f,v)\) for some non-decreasing function f, T,and \(\Lambda \) satisfying (1.2) and \(\textrm{diam}(M,g_0)\le D\) for some \(D>0\), then there exist \(S,{\alpha },\tilde{v}\) depending only on \(n,f,v,D,T,\Lambda \) and a solution \(g(t),t\in [0,S]\) to the Ricci flow such that for all \((x,t)\in M\times (0,S]\),
-
(a)
\(|\textrm{Rm}(x,t)|\le {\alpha }t^{-1}\);
-
(b)
\(\textrm{Vol}_{g(t)}\left( B_{g(t)}(x, \sqrt{T})\right) \ge \tilde{v} T^{n/2}\);
-
(c)
\(\textrm{inj}(g(x,t))\ge \sqrt{{\alpha }^{-1}t}\);
-
(d)
\(\textrm{Rm}(g(x,t))+{\alpha }(1+t^{-1}f({\alpha }t))\cdot \textrm{I} \in \textrm{C}_{\textrm{PIC1}}\).
A similar result also holds in the Kähler case under strong uniform Kato lower bound on bisectional curvature, see Theorem 5.1.
Remark 1.1
Using the partial Ricci flow approach in [27] (see also [28, 42]), the result also holds in the complete non-compact case without bounded curvature assumption if suitable static heat kernel estimates hold. In the presence of uniform Ricci lower bound, this usually follows from Li–Yau estimates. In the compact case, it has been obtained by Carron [5] and Rose [35] under the Kato-type lower bound of Ricci curvature. The comparison geometry in the complete non-compact case seems out of reach at the moment due to the absence of exhaustion function with good control. We will therefore only focus on the compact case in this work.
As an application, we prove that the Gromov–Hausdorff limit of a sequence of compact manifolds satisfying the strong uniform \(\textrm{IC1}\)-Kato bound and a uniform diameter upper bound is homeomorphic to a smooth manifold.
Corollary 1.1
Suppose \((M^n_i,g_{i,0})\) is a sequence of compact manifold such that
-
(a)
\((M_i,g_{i,0},x_i)\in \mathcal {K}_{\textrm{IC1}}(n,f,v)\) for some \(x_i\in M_i, v>0\) and a non-decreasing function f satisfying (1.2);
-
(b)
\(\textrm{diam}(M_i,g_{i,0})\le D\) for some \(D>0\).
Then there exist a smooth compact manifold \(M_\infty \) and a distance function \(d_\infty \) on \(M_\infty \) so that \((M_i,g_{i,0},\textrm{d}\textrm{vol}_{g_{i,0}})\) sub-converges to \((M_\infty ,d_\infty ,d\mu _\infty )\) in the measured Gromov–Hausdorff sense where \(d\mu _\infty \) is the n-dimensional Hausdorff measure associated to \(d_\infty \). Moreover, there exists a Ricci flow \(g_\infty (t),t\in (0,S]\) on \(M_\infty \) such that
Furthermore, if in addition \((M_i,g_{i,0},x_i)\in \mathcal {K}_{IC1}(n,f_i,v)\) for some decreasing function \(f_i\) in which \(f_i(T)\rightarrow 0\), then \(\textrm{Rm}(g_\infty (t))\in \textrm{C}_{\textrm{PIC1}}\).
The final part of the result also holds if \(\textrm{C}_{\textrm{PIC1}}\) is replaced by other curvature cone in Lemma 3.1. Moreover, it particularly infers that if a compact manifold supports a metric with sufficiently small negative lower bound of \(\textrm{IC}_1\) in the strong Kato sense relative to n, D, v, then it also admits a smooth metric whose curvature operator lies in \(\textrm{C}_{\textrm{PIC1}}\) via a contradiction argument.
Another application is to understand the stability of metrics on torus with almost non-negative scalar curvature. When \(M=\mathbb {T}^n\), the celebrated work of Schoen and Yau [39, 40], Gromov, and Lawson [19] stated that metrics with non-negative scalar curvature \(\mathcal {R}\ge 0\) must be flat. In [21], Gromov asked if a sequence of metrics \(g_i\) with \(\mathcal {R}(g_i)\ge -i^{-1}\) on \(\mathbb {T}^n\) will sub-converge to a flat metric in some appropriate weak sense. For related works, we refer interested readers to the survey paper of Sormani [43] for a comprehensive discussion. In this regard, we show that if in addition the 1-isotropic curvature is bounded from below in the strong Kato sense, then the sequence will sub-converge to the flat torus in the measured Gromov–Hausdorff sense.
Corollary 1.2
Suppose \((M^n_i,g_{i,0})\) is a sequence of compact manifolds such that
-
(a)
\((M_i,g_{i,0},x_i)\in \mathcal {K}_{\textrm{IC1}}(n,f,v)\) for some \(x_i\in M_i, v>0\) and a non-decreasing function f satisfying (2.2);
-
(b)
\(\textrm{diam}(M_i,g_{i,0})\le D\) for some \(D>0\);
-
(c)
The Yamabe invariant \(\sigma (M_i)\) of \(M_i\) satisfies \(\sigma (M_i)\le 0\) (equivalently, \(M_i\) does not admit PSC metric);
-
(d)
\(\mathcal {R}(g_i)\ge -i^{-1}\).
Then after passing to a subsequence, \((M_i^n,g_{i,0})\) converges to a compact Ricci flat manifold \((M_\infty ,g_{\infty })\) in the measured Gromov–Hausdorff sense. If in addition \(b_1(M_i)=n\) for all i, then \((M_\infty ,g_\infty )\) is a flat torus.
In this work, all compact manifolds are referred those without boundary.
2 The Strong Kato Bound and Implications
In this section, we will collect some important properties from [6] for compact manifolds \((M^n,g)\) satisfying the strong Kato bound. These properties will play a crucial role in obtaining estimates of Ricci flows.
Since \(\textrm{Ric}_-\le (n-1) (\textrm{IC1})_-\) for \(n\ge 3\), it is clear that for all \(t\in (0,+\infty )\),
Consider \(T>0\) and \(f:(0,T]\rightarrow [0,+\infty )\) such that f is non-decreasing and satisfies
We say that \((M^n,g)\in \mathcal {K}(n,f)\) if for all \(t\in (0,T]\) we have \(\kappa _t(M^n,g)\le f(t)\). Similarly, we define \( \mathcal {K}(n,f,v)\) to be the class of pointed compact manifolds \((M,g,x_0)\) such that the volume \( \textrm{Vol}_g\left( B_g(x_0,\sqrt{T})\right) \ge v T^{n/2}\). The following Proposition says that the heat kernel will behave in a similar way as the Euclidean one under the Kato control. This is originated in [5]
Proposition 2.1
[7, Proposition 2.6] There exists \(\gamma (n)\ge 1\) such that if \((M^n,g)\in \mathcal {K}(n,f)\), then for all \(x,y\in M\) and \(t\in (0,T)\),
Moreover, in this case, it is known that \((M^n,g)\in \mathcal {K}(n,f)\) is a volume doubling space: for any \(x\in M\), \(0<s<r\le \sqrt{T}\),
If in addition f satisfies a stronger integrability condition:
for some \(\Lambda > 0\). As pointed out in [6], f satisfying (2.2) automatically implies that f satisfies (2.1) by shrinking T. It was first shown by Carron [5] that under the stronger assumption (2.2), we can strength the conclusion to Ahlfors n-regular.
Proposition 2.2
[6, Proposition 2.14 & Corollary 2.15] Suppose \((M^n,g)\in \mathcal {K}(n,f)\) and f satisfies (2.2) for some \(\Lambda >0\). Then there exists \(C_n>0\) such that for all \(x\in M\) and \(0<s<r\le \sqrt{T}\),
Moreover, for any \(x,y\in M\) and \(0\le r\le \sqrt{T}\),
We are primarily interested in the non-collapsed case in this work. We end this section by observing that the non-collapsed strong Kato assumption can be re-phased as an estimate in an integral form.
Lemma 2.1
Suppose \((M^n,g,x_0)\in \mathcal {K}_{\textrm{IC1}}(n,f)\) for some f satisfying (2.2), then there exists \(C_1(n,\Lambda ,T)>0\) such that for all \((x,t)\in M\times (0,T]\),
Proof
Since \(\kappa _t(M,g)\le (n-1)\kappa _{t,\textrm{IC1}}\), we have \(\mathcal {K}_{\textrm{IC1}}(n,f)\subseteq \mathcal {K}(n,f)\) for a possibly larger \(\Lambda \). By Propositions 2.1, 2.2 and the volume non-collapsing, there exist \(C_0(n,\Lambda ,T),\gamma (n)>0\) such that for all \((x,t)\in M\times (0,T]\),
Combine this with the assumption of Kato-type bound, we have for all \((x,t)\in M\times (0,T]\),
This completes the proof by re-arranging the inequality.
In higher dimension, when \(g_0\) is Kähler, one usually considers the holomorphic curvature which is more complex geometric in comparison with the isotropic curvature. We say that the holomorphic bisectional curvature \(\textrm{BK}\) of a Kähler curvature tensor \(\textrm{R}\) is non-negative (denoted by \(R\in \textrm{C}_{\textrm{BK}}\)) if for any \(X,Y\in T^{1,0}M\), we have
If one instead ask for the non-negativity only for \(X,Y\in T^{1,0}M\) such that \(g(X,\bar{Y})=0\), then we say that the orthogonal bisectional curvature \(\textrm{OB}\) is non-negative (denoted by \(R\in \textrm{C}_{\textrm{OB}}\)). One might then analogously define the lower bound of the curvature with respect to the cone \(\textrm{C}_{\textrm{BK}}\) or \(\textrm{C}_{\textrm{OB}}\) by defining
where B is the Kähler curvature tensor given by \(B(X,\bar{Y},Z,\bar{W})=g(X,\bar{Y})g(Z,\bar{W})+g(X,\bar{W})g(Z,\bar{Y})\). The quantity \((\textrm{OB})_-(x)\) is defined analogously. Then the class of compact Kähler manifolds satisfying the strong Kato-type lower bound on \(\textrm{BK}\) can be defined using
3 Ricci Flow Smoothing and Estimates
The idea of this work is to mollify the metric \(g_0\) using the Ricci flow. The Ricci flow is a one parameter family of metrics g(t) satisfying
In the coming few sections, we will focus on obtaining estimates of Ricci flows.
If \((M^n,g_0)\) is a compact manifold, it was shown by Hamilton [22] that the Ricci flow admits a short-time solution g(t). It is by-now known to be extremely powerful in regularizing metrics even in case without bounded curvature, for instances see the works [24, 25, 27, 42, 44] and the reference therein. Although we are primarily interested in the compact case, we will state our result in this section using a localized form so that it also applies to the non-compact case.
It is a general philosophy that the Ricci flow will tend to be positively curved as it evolves, for instances see the list in Lemma 3.1 and the recent work of Brendle [4]. The following Proposition illustrates its relation to curvature estimates in the non-collapsed case. This is a slight generalization of the curvature estimates in [27, 28, 41].
Proposition 3.1
For any \(n\ge 3,v_0,L>0\), there exist \(\tilde{S}(n,v_0,L),a(n,v_0,L)>0\) such that the following holds. Suppose \((M^n,g(t)), t\in [0,S]\) is a smooth solution to the Ricci flow (not necessarily complete) such that for some \(x_0\in M\), we have
-
(a)
\(B_{g(t)}(x_0,1)\Subset M\) for all \(t\in [0,S]\);
-
(b)
for all \(x\in B_{g(t)}(x_0,\frac{3}{4}),t\in [0,S]\) and \(r\in (0,\frac{1}{4}\sqrt{L^{-1}t}\wedge \frac{1}{4}]\),
$$\begin{aligned} \textrm{Vol}_{g(t)}\left( B_{g(t)}(x,r) \right) \ge v_0 r^n. \end{aligned}$$ -
(c)
for all \(x\in B_{g(t)}(x_0,1)\) and \(t\in (0,S]\), we have either
-
(i)
\(n=3\) or;
-
(ii)
\(\left( \textrm{IC}_1(g(t))\right) _-(x)\le Lt^{-1}\) or;
-
(iii)
\(\left( \textrm{OB}(g(t))\right) _-(x)\le Lt^{-1}\) when n is even and g(t) is Kähler.
-
(i)
Then for \(t\in (0,\tilde{S}\wedge S]\) and \(x\in B_{g(t)}(x_0,\frac{1}{2})\), we have
Proof
The proof of the curvature estimate uses the Perelman-inspired point-picking argument from [41, Lemma 2.1]. We illustrate the case of (ii) and will point out the modification needed for (i) and (iii).
Suppose the conclusion is false for some \(n,v_0,L>0\). Then for any \(a_k\rightarrow +\infty \), we can find a sequence of manifold \(M^n_k\), Ricci flows \(g_k(t),t\in [0,S_k]\) and \(p_k\in M_k\) satisfying the hypotheses but so the curvature estimate fails with \(a=a_k\) in an arbitrarily short time. We might assume \(a_kS_k\rightarrow 0\). Using the smoothness of the flow, we can choose \(t_k\in (0,S_k]\) such that
-
(i)
\(B_{g_k(t)}(x_k,1)\Subset M_k\) for \(t\in [0,t_k]\);
-
(ii)
\( \textrm{Vol}_{g_k(t)}\left( B_{g_k(t)}(x,r) \right) \ge v_0r^n\) for \(t\in [0,t_k]\), \(x\in B_{g_k(t)}(x_k,\frac{3}{4})\) and \(r\in (0,\frac{1}{4}\sqrt{L^{-1}t}]\);
-
(iii)
\(\left( \textrm{IC}_1(g_k(t)) \right) _-\le Lt^{-1}\) on \(B_{g_k(t)}(x_k,1)\) for \(t\in [0,t_k]\);
-
(iv)
\(|\textrm{Rm}_{g_k}(x,t)|<a_k t^{-1}\) for \(t\in [0,t_k]\) and \(x\in B_{g_k(t)}(x_k,\frac{1}{2})\);
-
(v)
\(|\textrm{Rm}_{g_k}(z_k,t_k)|=a_k t_k^{-1}\) for some \(z_k\in \overline{B_{g_k(t_k)}(x_k,\frac{1}{2})}\).
By (v) and the fact that \(a_kt_k\rightarrow 0\), [41, Lemma 5.1] implies that for sufficiently large \(k\in \mathbb {N}\), we can find \({\beta }(n)>0\), \(\tilde{t}_k\in (0,t_k]\) and \(\tilde{x}_k\in B_{g_k(\tilde{t}_k)}(x_k,\frac{3}{4} -\frac{1}{2} {\beta }\sqrt{a_k\tilde{t}_k})\) such that
whenever \(d_{g_k(\tilde{t}_k)}(x,\tilde{x}_k)<\frac{1}{8} {\beta }a_k Q_k^{-1/2}\) and \(\tilde{t}_k-\frac{1}{8} a_kQ_k^{-1}\le t\le \tilde{t}_k \) where \(\tilde{t}_kQ_k \ge a_k\rightarrow +\infty \). We note here that from the proof of [41, Lemma 5.1], for \((x,t)\in \frac{1}{8} {\beta }a_k Q_k^{-1/2}\times [\tilde{t}_k-\frac{1}{8} a_kQ_k^{-1}, \tilde{t}_k]\), we have \(d_{g_k(t)}(x,x_k)<1\) so that the conditions applied.
We now consider the parabolic rescaled Ricci flows \(\tilde{g}_k(t)=Q_k g(t_k+Q_k^{-1}t),t\in [-\frac{1}{8} a_k,0]\) so that
-
(a)
\( B_{\tilde{g}_k(0)}(\tilde{x}_k,\frac{1}{8} {\beta }a_k)\Subset M_k\);
-
(b)
\(|\textrm{Rm}_{\tilde{g}_k(t)}|\le 4\) on \(B_{\tilde{g}_k(0)}(\tilde{x}_k,\frac{1}{8} {\beta }a_k)\times [-\frac{1}{8}a_k,0]\);
-
(c)
\(|\textrm{Rm}_{\tilde{g}_k}(\tilde{x}_k,0)|=1\);
-
(d)
\( \textrm{Vol}_{\tilde{g}_k(0)}\left( B_{g_k(t)}(\tilde{x}_k,r) \right) \ge v_0r^n\) for \(r\in (0,\frac{1}{4} \sqrt{L^{-1}Q_kt_k}]\);
-
(e)
\( \displaystyle \left( \textrm{IC}_1(\tilde{g}_k(t)) \right) _-\le \frac{L}{t+Q_k\tilde{t}_k}\) on \( B_{\tilde{g}_k(0)}(\tilde{x}_k,\frac{1}{8} a_k)\times [-\frac{1}{8}a_k,0]\).
By (b), (d) and the result of Cheeger, Gromov,and Taylor [15], the injectivity radius of \(\tilde{g}_k(0)\) at \(\tilde{x}_k\) is bounded from below uniformly. Together with the curvature estimates from (b), we may apply Hamilton’s compactness theorem [23] to conclude that, \((M_k,\tilde{g}_k(t),\tilde{x}_k)\) sub-converges in the Cheeger–Gromov sense to \((M_\infty ,\tilde{g}_\infty (t),\tilde{x}_\infty )\) which is a complete non-flat ancient solution to the Ricci flow with bounded curvature. By (e), \(\textrm{Rm}(\tilde{g}_\infty (t))\in \textrm{C}_{\textrm{PIC1}}\) for all \(t\le 0\). Moreover, (d) implies that it is of Euclidean volume growth. But this contradicts with [2, Lemma 4.2]. This completes the proof.
In case of (iii), each \(g_k(t)\) is in addition Kähler and the conclusion (e) is replaced by \(\left( \textrm{OB}(\tilde{g}_k(t)) \right) _-\le \frac{L}{t+Q_k\tilde{t}_k}\) instead so that the limiting Ricci flow \(\tilde{g}_\infty (t)\) is Kähler, non-flat with Euclidean volume growth and has non-negative bounded holomorphic orthogonal bisectional curvature. This contradicts with [31, Proposition 6.1].
In case of (i), the Ricci curvature of \(\tilde{g}_k(t)\) is not almost non-negative but we might instead apply Hamilton-Ivey estimates (for instances see [16, Proposition 9.8]) on the limiting Ricci flow \(\tilde{g}_\infty (t)\) to conclude that \(\tilde{g}_\infty (t)\) has non-negative sectional curvature and Euclidean volume growth. The non-flatness contradicts with Perelman’s Theorem [33, Sect. 11].
Thanks to Proposition 3.1, obtaining curvature estimates is equivalent to establishing the persistence of volume non-collapsing and curvature lower bound. To obtain a curvature lower bound along the flow, we will need a version of the local maximum principle which allow the initial data to be merely unbounded. This is a modified version of the local maximum principle in [24, 29].
Proposition 3.2
Suppose g(t) is a smooth solution to the Ricci flow on \(M\times [0,S]\) (not necessarily complete) and there exist \({\alpha },r>0\) so that all \(t\in (0,S]\),
-
(a)
\(|\textrm{Rm}(g(t))|\le {\alpha }t^{-1}\);
-
(b)
\(\textrm{inj}(g(t))\ge \sqrt{{\alpha }^{-1}t}\);
-
(c)
either
-
(i)
M is compact or;
-
(ii)
\(B_{g_0}(x_0,2r)\Subset B_{g(t)}(x_0,4r)\subseteq B_{g(t)}(x_0,16r)\Subset M\) for some \(x_0\in M\).
-
(i)
If \(\varphi \) is a continuous non-negative function on \(M\times [0,S]\) with \(\varphi (0)=\varphi _0\) such that
-
(i)
\(\varphi (t)\le {\alpha }t^{-1}\) on \(M\times (0,S]\);
-
(ii)
\(\varphi \) satisfies
$$\begin{aligned} \left(\frac{\partial }{\partial t}-\Delta _{g(t)}\right)\varphi \le \mathcal {R}\varphi +K\varphi ^2 \end{aligned}$$in the sense of barrier for some constant \(K\ge 0\) where \(\mathcal {R}\) denotes the scalar curvature of g(t);
-
(iii)
There exist \(\Lambda ,C_1>0\) and a non-decreasing \(f:(0,r^2]\rightarrow [0,+\infty )\) satisfying \(\int ^{r^2}_0 s^{-1}f(s) \textrm{d}s \le \Lambda \) so that for all \(x\in B_{g_0}(x_0,r)\) and \(t\in (0,r^2]\),
$$\begin{aligned} \int _{B_{g_0}(x_0,2r)}\frac{1}{t^{n/2}} \exp \left( -\frac{C_1}{t}d_{g_0}^2(x,y) \right) \varphi _0(y) \; \textrm{d}\textrm{vol}_{y,g_0} \le \frac{C_1f(t)}{t}. \end{aligned}$$
Then there exist \(\tilde{\Lambda }(n,{\alpha },f,\Lambda ,C_1),\tilde{S}(K,n,{\alpha },f,\Lambda ,C_1)>0\) so that for all \(t\in (0,\tilde{S} r^2\wedge S]\),
Proof
By considering \(\tilde{g}(t)=r^{-2}g(r^2t),\tilde{f}(t)=f(r^2t)\) and \(\tilde{\varphi }(t)=r^2\varphi (r^2t)\), we might assume \(r=1\). For each \(x\in B_{g_0}(x_0,1)\), we define
Let \(\tilde{\Lambda },S\) be constants to be determined as well as a differentiable function \(\mathfrak {F}:(0,+\infty )\rightarrow (0,+\infty )\) satisfying \(\lim _{t\rightarrow 0^+}\mathfrak {F}(t)=0\) and \(\lim _{t\rightarrow 0^+}\mathfrak {F}'(t)=+\infty \). We will specify the choices in the proof.
We want to show that if \(\tilde{\Lambda }\) is chosen to be large enough, \(\tilde{S}\) is sufficiently small and \(\mathfrak {F}(t)\) is chosen appropriately, then for all \((x,t)\in B_{g_0}(x_0,1)\times (0,S\wedge \tilde{S}]\),
Since \(\mathfrak {F}'\) is unbounded as \(t\rightarrow 0^+\), there exists \(t_1\in (0,S\wedge \tilde{S}]\) such that the conclusion holds on \((0,t_1)\). If \(t_1=S\wedge \tilde{S}\), then we are done. Otherwise, there exists \(x_1\in B_{g_0}(x_0,1)\) so that \(\varphi (x_1,t_1)=\tilde{\Lambda }\left( \mathfrak {F}'(t_1)+{\rho ^{-2}(x_1)} \right) \). We denote \(\rho _1=\rho (x_1)\) so that for all \(z\in B_{g_0}(x_1,\frac{1}{2}\rho _1)\), \(\rho (z)\ge \frac{1}{2} \rho _1\). In particular, for all \((z,t)\in B_{g_0}(x_1,\frac{1}{2}\rho _1)\times (0,t_1]\),
Thus, if we define
then it satisfies \(\left(\frac{\partial }{\partial t}-\Delta _{g(t)}\right)\tilde{\varphi }\le \mathcal {R} \tilde{\varphi }\) on \(B_{g_0}(x_1,\frac{1}{2}\rho _1)\times (0,t_1]\).
By shrinking \(\tilde{S}\), we might assume \(t_1\le 1\). We might then apply [29, Proposition 4.1] to the rescaled Ricci flow \(\tilde{g}(t)=t_1^{-1}g(t_1t),t\in [0,1]\) with \(\Omega =B_{g_0}(x_0,2)=B_{\tilde{g}(0)}(x_0,2t_1^{-1/2})\). The same also holds if M is compact, see [29, Remark 4.1]. By rescaling back, we obtain a Dirichlet heat kernel G(x, t; y, s) on \(\Omega \times [0,t_1]\times \Omega \times [0,t_1]\) to the operator \(\partial _t-\Delta _{g(t)}-\mathcal {R}\) which satisfies
for some \(C_2(n,{\alpha })>0\). Consider the function
on \(\Omega \times [0,t_1]\) which satisfies \(\left(\frac{\partial }{\partial t}-\Delta _{g(t)}\right)u=\mathcal {R} u\). If \(\tilde{S}\le \min \{1,C_2^{-1}C_1\}\), then the heat kernel estimate (3.3) shows that for \(x\in B_{g_0}(x_0,1)\) and \(t\in [0,t_1]\),
Thanks to the assumption of f, we have \(f(t)\le \Lambda (\log (t^{-1}))^{-1}\). Hence by further shrinking \(\tilde{S}\le \min \{C_2^{-1}C_1,1,\exp (-\Lambda C_2C_1^{-1})\}\), we have \(u\le t^{-1}\) for \(t\in (0,t_1]\). By applying [29, Theorem 1.1] to \(\tilde{\varphi }-u\), we deduce that there exists \(T_1(n,{\alpha })>0\) such that if \(t_1\le \tilde{S}\wedge S\wedge T_1 \rho _1^2\), then
We choose
for \(\varepsilon >0\) so that \(\mathfrak {F}'(t)\rightarrow +\infty \) as \(t\rightarrow 0^+\). Moreover, \(\lim _{t\rightarrow 0^+}\mathfrak {F}(t)=0\) follows from absolute continuity of integrable function and assumption on f.
On the other hand, using assumption (i),
giving \(t_1\le {\alpha }\tilde{\Lambda }^{-1}\rho _1^2\) and hence
By choosing \( \tilde{\Lambda }({\alpha })>16 {\alpha }\), we see that
so that \(t_1> S_2\) for some \(S_2(K,\tilde{\Lambda },C_2,C_1,f)>0\) which is independent of \(\varepsilon \rightarrow 0\). By choosing \(\tilde{S}=\frac{1}{2}\min \{S_2,C_2^{-1}C_1,1,\exp (-\Lambda C_2C_1^{-1})\}\), we see that the conclusion holds on \(B_{g_0}(x_0,1)\times (0,S\wedge \tilde{S}]\). This completes the proof by evaluating at \(x_0\).
We end this section by pointing out that the lowest eigenvalues of \(\textrm{Rm}\) with respect to various curvature cones satisfy the evolution equation required in Proposition 3.2.
Lemma 3.1
Let g(t) be a smooth solution to the Ricci flow. Suppose \(\mathcal {C}\) is one of the following curvature cone:
-
(i)
non-negative curvature operator;
-
(ii)
2-non-negative curvature operator;
-
(iii)
weakly \(\textrm{PIC}_2\);
-
(iv)
weakly \(\textrm{PIC}_1\);
-
(v)
non-negative bisectional curvature in case g(t) is Kähler ;
-
(vi)
non-negative orthogonal bisectional curvature \(\textrm{OB}\) in case g(t) is Kähler;
-
(vii)
non-negative Ricci curvature if \(n=3\),
then the function
is non-negative continuous and satisfies \(\left(\frac{\partial }{\partial t}-\Delta _{g(t)}\right)\varphi \le \mathcal {R}\varphi +c_n\varphi ^2\) in the sense of barrier for some dimensional constant \(c_n\ge 0\).
Proof
When \(n\ge 4\), the case of (i)-(v) follows from [2] while (vi) is proved in [31]. It remains to prove (vii) which is equivalent to (iv) when \(n=3\). By [22], if we use \(\varphi \) to denote the negative part of the Ricci lower bound when \(n=3\), then whenever \(\varphi \ge 0\),
where \(\mu \ge \nu \ge -\varphi \) denotes the eigenvalues of \(\textrm{Ric}(x,t)\). Since \(\mu +\nu -\varphi =\mathcal {R}\), results follows with \(c_3=1\).
4 Volume Non-collapsing Along Flow
In view of Proposition 3.1, the volume non-collapsing along the flow plays an important role to avoid curvature blowup. In this section, we will show that under the mildly integrable curvature lower bound, if the initial metric is volume non-collapsed, then so does the flow for a uniform short time. We rely heavily the idea of Simon-Topping [41] which considered the case when the Ricci curvature is uniformly bounded from below along the flow.
We start with a distance distortion under a weaker condition. Namely, \(\textrm{Ric}\ge -\phi \) for some \(\phi \in L^1([0,S])\cap C^0_{loc}((0,S])\) along the flow. In practice, it will be sufficient to take \(\phi (t)=t^{-1} (-\log t)^{1+\frac{1}{2}}\).
Lemma 4.1
Suppose \((M^n,g(t)),t\in [0,S]\) is a smooth solution to the Ricci flow (not necessarily complete) such that for some \(x_0\in M\), we have \(B_{g(t)}(x_0,5)\Subset M\) for all \(t\in [0,S]\). Then the following holds.
-
(a)
If the Ricci curvature satisfies \(\textrm{Ric}(g(x,t))\ge -\phi (t)\) for some non-negative function \(\phi (t)\in L^1([0,S])\cap C^0_{loc}((0,S])\) and for all \(x\in B_{g(t)}(x_0,5)\), \(t\in (0,S]\), then there exists \(\tilde{S}>0\) depending only on \(\phi \) such that for any \(x,y\in B_{g(0)}(x_0,1)\) and \(0\le s<t\le S\wedge \tilde{S}\), we have
$$\begin{aligned} d_{g(t)}(x,y)\le \exp \left( \int ^t_s \phi (z)\,\textrm{d}z \right) \cdot d_{g(s)}(x,y). \end{aligned}$$ -
(b)
There exists \({\beta }_n>0\) such that if \(|\textrm{Rm}(x,t)|\le {\alpha }t^{-1}\) on \(B_{g(t)}(x_0,5)\) for \(t\in (0,S]\), then for all \(0\le s\le t\le S\),
$$\begin{aligned} B_{g(s)}(x_0,1-{\beta }_n\sqrt{{\alpha }s})\supset B_{g(t)}(x_0,1-{\beta }_n\sqrt{{\alpha }t}). \end{aligned}$$
Proof
We first prove (a) following the idea in [41, Lemma 3.1]. Define
Hence, for \(t\in (0,S_1]\), we have Ricci lower bound \(\phi (t)\). In particular, for all \(x\in B_{g_0}(x_0,1)\) and \(t\in (0,S_1]\),
Hence, there exists \(\tilde{S}(\phi )>0\) such that \(S_1\ge S\wedge \tilde{S}\). The conclusion follows using the Ricci lower bound again. The property (b) follows directly from [41, Corollary 3.3]. This completes the proof.
The next result shows that the volume non-collapsing will be preserved in the scale of \(\sqrt{t}\) under the scaling invariant curvature bound and \(L^1\) (in time) Ricci lower bound.
Proposition 4.1
Suppose (M, g(t)) is a Ricci flow for \(t\in [0,S]\) (not necessarily complete) such that \(g(0)=g_0\). If for some \(x_0\in M\), \(B_{g(t)}(x_0,10)\Subset M\) for all \(t\in [0,S]\) and for some \(v_0,{\alpha }>0\), we have
-
(i)
\(v_0^{-1}r^n\ge \textrm{Vol}_{g_0}(B_{g_0}(x,r))\ge v_0r^n\) for \(r\in (0,1]\) and \(x\in B_{g_0}(x_0,5)\);
-
(ii)
\(|\textrm{Rm}(x,t)|\le {\alpha }t^{-1}\) for all \(x\in B_{g(t)}(x_0,10)\) and \(t\in (0,S]\);
-
(iii)
for all \(x\in B_{g(t)}(x_0,10)\) and \(t\in (0,S]\), the Ricci curvature satisfies
$$\begin{aligned} \textrm{Ric}(g(x,t))\ge -\phi (t) \end{aligned}$$for some non-negative decreasing function \(\phi (t)\in L^1([0,S])\cap C^0_{loc}((0,S])\).
Then there exist \(\tilde{\varepsilon }_0(n,v_0,\phi )\) and \(\tilde{S}(n,v_0,{\alpha },\phi )>0\) such that for all \(t\in (0,\tilde{S}\wedge S]\) and \(x\in B_{g(t)}(x_0,1)\),
Remark 4.1
In the presence of uniform Ricci lower bound, the Ahlfors n-regularity, i.e., assumption (i), follows easily from volume lower bound of \(B_{g_0}(x_0,10)\) and volume comparison theorem.
Proof
The proof is almost identical to that of [41, Lemma 11.1]. We only give a sketch and point out the necessary modifications. We first note that since \(\phi \in L^1([0,S])\), for any \(\varepsilon >0\), there exists \(S_\varepsilon \) such that if \(0<t<S_\varepsilon \),
Hence, as \(t\rightarrow 0^+\), the Ricci lower bound behaves as
This serves as the crucial replacement of the uniform Ricci lower bound assumption in [41, Lemma 11.1].
With this replacement in mind, we can carry out the exact same argument in the proof of [41, Lemma 11.1] to obtain the following. If the conclusion fails, then for any sufficiently small \(\tilde{\varepsilon }_0\), there exist a sequence of n-manifold \(M_i\), a sequence of point \(x_i\in M_i\), a sequence of Ricci flows \(\tilde{g}_i(t)\) on \(M_i\times [0,\tilde{t}_i]\) with \(\tilde{t}_i\) decreasing to 0, \(t_i\in (0,\tilde{t}_i]\) and a sequence of points \( y_i\in B_{\tilde{g}_i(t_i)}(x_i,1)\) such that
-
(i)
\(B_{\tilde{g}_i(t)}(y_i,7)\Subset M_i\) for all \(t\in [0,t_i]\);
-
(ii)
\(\textrm{Ric}(\tilde{g}_i(t))\ge -\phi (t)\) on \(B_{\tilde{g}_i(t)}(y_i,7)\) for all \(t\in [0,t_i]\);
-
(iii)
\(|\textrm{Rm}(\tilde{g}_i(t))|\le {\alpha }t^{-1}\) on \(B_{\tilde{g}_i(t)}(y_i,7)\) for all \(t\in [0,t_i]\);
-
(iv)
\(v_0^{-1}r^n\ge \textrm{Vol}_{\tilde{g}_i(0)}\left( B_{\tilde{g}_i(0)} (y,r) \right) \ge v_0r^n\) for all \(r\in (0,1)\) and \(y\in B_{\tilde{g}_i(0)}(y_i,1)\);
-
(v)
\(\textrm{Vol}_{\tilde{g}_i(t_i)} \left( B_{\tilde{g}_i(t_i)} (y_i,\sqrt{t_i}) \right) = \tilde{\varepsilon }_0 (\sqrt{t_i})^n\);
-
(vi)
\(\textrm{Vol}_{\tilde{g}_i(t)} \left( B_{\tilde{g}_i(t)}(y,\sqrt{t})\right) \ge 2^{-n-1}\tilde{\varepsilon }_0 (\sqrt{t})^n\) for \(t\in [0,t_i]\) and all \(y\in B_{\tilde{g}_i(t)}\left( y_i,c_n{\alpha }^{-1}\sqrt{\frac{t_i}{\tilde{t}_i}}\right) \);
We remark here that since \(t_i\rightarrow 0\), [41, (11.15)] now follows from (4.3) when i is sufficiently large. Now consider the rescaled Ricci flow \(g_i(t)=t_i^{-1}\tilde{g}_i(t_it),t\in [0,1]\) so that the smooth sub-sequential Cheeger–Gromov limit \((M_\infty ,g_\infty (t),y_\infty )\) of \((M_i,g_i(t),y_i), t\in (0,1]\) satisfies
-
(I)
\(\textrm{Ric}(g_\infty (t))\ge 0\) for all \(t\in (0,1]\);
-
(II)
\(|\textrm{Rm}(g_\infty (t))|\le {\alpha }t^{-1}\) for all \(t\in (0,1]\);
-
(III)
\(\textrm{Vol}_{g_\infty (1)}\left( B_{g_\infty (1)}(y_\infty ,1)\right) = \tilde{\varepsilon }_0\);
-
(IV)
\(\textrm{Vol}_{g_\infty (t)}\left( B_{g_\infty (t)}(y,\sqrt{t})\right) \ge 2^{-n-1} \tilde{\varepsilon }_0 t^{n/2}\) for all \(t\in (0,1]\) and \(y\in M_\infty \);
-
(V)
For any \(\hat{R}>2r>0\) and \(z_i\in B_{g_i(0)}(y_i,\hat{R})\),
$$\begin{aligned} \limsup _{i\rightarrow +\infty }\textrm{Vol}_{\tilde{g}_i(0)}\left( B_{\tilde{g}_i(0)}(z_i,r) \right) \le v_0^{-1}r^n. \end{aligned}$$
Here the property (I) follows from (4.3) while (V) follows from the initial Ahlfors n-regularity assumption. Moreover, using the same proof where [41, Lemma 3.4] is now replaced by Lemma 4.1, the Claim 1 in [41, page 513] also holds for \(g_\infty (1)\) in the sense that if we have a ball \(B_{g_\infty (1)}(y,L)\) for \(y\in M_\infty \) and \(L>0\), that is covered by N balls of radius \(r\ge R(n,{\alpha })\), then we must have \(N\ge \eta (n)\cdot v_0^2 L^n r^{-n}\). Now we are in position to apply [41, Lemma 11.2] as in the proof of [41, Lemma 11.1] to derive contradiction when \(\tilde{\varepsilon }_0\) is chosen to be too small.
Finally, we show that the volume non-collapsing is indeed preserved in a large scale for a uniform short time.
Proposition 4.2
Under the assumption of Proposition 4.1, there exist \(\tilde{v}(n,v_0,\phi )\) and \(\tilde{S}(n,v_0,{\alpha },\phi )>0\) such that for all \(t\in (0,S\wedge \tilde{S}]\) and \(x\in B_{g(t)}(x_0,1)\),
Proof
Since \(B_{g(t)}(x_0,1)\) is compactly contained inside M, we might take finitely many \(\{B_{g(t)}(x_i,{\beta }_n\sqrt{{\alpha }t})\}_{i=1}^N\) such that \(B_{g(t)}(x_i,{\beta }_n\sqrt{{\alpha }t})\cap B_{g(t)}(x_j,{\beta }_n\sqrt{{\alpha }t})=\emptyset \) for \(i\ne j\) and \(B_{g(t)}(x_i,{\beta }_n\sqrt{{\alpha }t})\subseteq B_{g(t)}(x_0,1)\) while \(\{ B_{g(t)}(x_i,4{\beta }_n\sqrt{{\alpha }t})\}_{i=1}^N\) is a cover of \(B_{g(t)}(x_0,1)\). Here \({\beta }_n\) is the dimensional constant obtained from Lemma 4.1. Therefore, Proposition 4.1 implies
It remains to estimate N from below. By Lemma 4.1, we might restrict S so that
By measuring the set using \(\textrm{d}\textrm{vol}_{g_0}\) and volume growth assumption of \(g_0\), we deduce that
This completes the proof by substituting it back to (4.4).
5 Ricci Flow Smoothing on Compact Manifolds
In this section, we establish a existence theory of Ricci flow and use it to prove the stability.
Proof of Theorem 1.1
By the short-time existence Theorem of Hamilton [22], there exists a maximal solution \(g(t),t\in [0,T_{\max })\) to the Ricci flow on M. Let \({\alpha }\) be a large constant to be determined. For the given \({\alpha }\), we let \(s_0\) be the supremum of \(s\in [0,T_{\max })\) such that for all \((x,t)\in M\times [0,s)\),
-
(i)
\(|\textrm{Rm}(x,t)|< {\alpha }t^{-1}\);
-
(ii)
\(\textrm{inj}(g(x,t))> \sqrt{{\alpha }^{-1}t}\).
By the smoothness of flow, we have \(s_0\in (0,T_{\max })\). Hence, the condition (i)-(ii) hold on \([0,s_0)\) and there exists \(x_0\in M\) such that either
-
(I)
\(|\textrm{Rm}(x_0,s_0)|= {\alpha }s_0^{-1}\); or
-
(II)
\(\textrm{inj}(g(x_0,s_0))= \sqrt{{\alpha }^{-1}s_0}\).
By Lemma 3.1 and Lemma 2.1, \(\varphi =(\textrm{IC}_1)_-\) satisfies the assumptions in Proposition 3.2 with \(r=\sqrt{T}\). We might assume \(T<1\). Hence, it applies to see that there exist \(S_1(n,{\alpha },f,T,\Lambda ),\tilde{\Lambda }(n,{\alpha },f,T,\Lambda )>0\) so that for all \((x,t)\in M\times (0,S_1\wedge s_0]\),
where we have used the fact that f satisfies (2.2):
By taking \(\phi (t)=t^{-1} (-\log t)^{1+\frac{1}{2}}\in L^1([0,T])\cap C^0_{loc} ((0,T])\), we see that if we shrink \(S_1\) further (depending also on \(\tilde{\Lambda }\)), then for all \((x,t)\in M\times (0,S_1\wedge s_0]\),
Together with Proposition 2.2 and assumption on the volume non-collapsing, we might apply Proposition 4.1 to conclude that there exists \(\gamma (n,f,T,\Lambda ,v)>0\) such that for all \((x,t)\in M\times (0,S_1\wedge s_0]\),
Moreover, the bound of \(\varphi \) at the same time implies \(\textrm{Ric}(x,t)\ge -(n-1)\phi (t)\ge -t^{-1}\) as \(t\rightarrow 0^+\) and hence applying the volume comparison to \(t^{-1}g(t)\) implies that for all \((x,t)\in M\times (0,S_1\wedge s_0]\) and \(r\le \frac{1}{4}\sqrt{t}\),
for some \(\tilde{v}(n,f,v,D,T,\Lambda )>0\) independent of \({\alpha }\).
Now we can apply Proposition 3.1 to show that for all \((x,t)\in M\times (0,S_1\wedge s_0]\),
for some \({\beta }_0(n,f,v,D,T,\Lambda )>0\). By combining (5.4), (5.3) and injectivity radius estimate of Cheeger–Gromov–Taylor [15], we conclude that for all \((x,t)\in M\times (0,S_1\wedge s_0]\), \(\textrm{inj}(x,t)\ge \sqrt{{\beta }_1^{-1}t}\) for some \({\beta }_1(n,f,v,D,T,\Lambda ,{\beta }_0)>0\). Therefore, if we fix \({\alpha }={\beta }_1+{\beta }_0\), then we see that \(s_0>S_1\). Hence, the conclusion holds on \((0,S_1]\) for this choice of \({\alpha }\) and the corresponding \(S_1>0\). This proves (a) and (c) while (d) follows from (5.2). Finally (b) follows from Proposition 4.2 and covering argument after possibly shrinking \(S_1\) further. This completes the proof.
In the Kähler case, the same proof of Theorem 1.1 yields the following.
Theorem 5.1
Suppose \((M^n,g_0,x_0)\) is a pointed compact Kähler manifold with \(\textrm{dim}_\mathbb {C}(M)=n\ge 2\). Suppose \((M^n,g_0,x_0)\in \mathcal {K}_{\textrm{BK}}(n,f,v)\) for some non-decreasing function f, T and \(\Lambda \) satisfying (1.2) and \(\textrm{diam}(M,g_0)\le D\) for some \(D>0\), then there exist \(S,{\alpha },\tilde{v}\) depending only on \(n,f,v,D,T,\Lambda \) and a solution \(g(t),t\in [0,S]\) to the Kähler–Ricci flow such that for all \((x,t)\in M\times (0,S]\),
-
(a)
\(|\textrm{Rm}(x,t)|\le {\alpha }t^{-1}\);
-
(b)
\(\textrm{Vol}_{g(t)}\left( B_{g(t)}(x, \sqrt{T})\right) \ge \tilde{v} T^{n/2}\);
-
(c)
\(\textrm{inj}(g(x,t))\ge \sqrt{{\alpha }^{-1}t}\);
-
(d)
\(\textrm{Rm}(g(x,t))+{\alpha }(1+t^{-1}f({\alpha }t))\cdot \textrm{B} \in \textrm{C}_{\textrm{BK}}\).
When a sequence of compact manifolds \((M_i^n,g_i)\) satisfies a uniform Dynkin-type lower bound of Ricci, it is already shown by Carron [5] that the sequence admits a Gromov–Hausdorff limit after passing to subsequence. The structure theory was further investigated by Carron–Mondello–Tewodrose [6, 7] in the non-collapsed case when the Dynkin-type lower bound of Ricci is strengthened to be a strong Kato-type lower bound. We now show that in dimension three, the limit will be Gromov–Hausdorff close and homeomorphic to a smooth manifold. Moreover, the result also holds in higher dimension if we require the strong Kato bound on 1-isotropic curvature.
Proof of Corollary 1.1
The proof is almost identical to that of [2, Corollary 4]. We include it for reader’s convenience. By Theorem 1.1, there exist \({\alpha },S>0\) and \(\phi \in L^1([0,S])\cap C^0_{loc}((0,S))\) such that for each \(i\in \mathbb {N}\), we can find a Ricci flow \(g_i(t),t\in [0,S]\) such that \(g_i(0)=g_{i,0}\) and for all \(t\in (0,S]\),
-
(a)
\(|\textrm{Rm}(g_i(t))|\le {\alpha }t^{-1}\);
-
(b)
\(\textrm{inj}(g_i(t))\ge \sqrt{{\alpha }^{-1}t}\);
-
(c)
\(\textrm{IC}_1(g_i(t))\ge -\phi (t)\).
It follows from Hamilton’s compactness [23] that after passing to subsequence, there exists a smooth Ricci flow \((M_\infty ,g_\infty (t),x_\infty ),t\in (0,S]\) such that \((M_i,g_i(t),x_i)\) converges to \((M_\infty ,g_\infty (t),x_\infty )\) in the \(C^\infty \) Cheeger–Gromov sense. By Lemma 4.1, for all i and \(0<s\le t\le S\)
If we first let \(i\rightarrow +\infty \) and then let \(s\rightarrow 0\), we see that \(M_\infty \) is compact since \(\textrm{diam}(M_i,g_{i,0})\le D\) and \(d_{g_\infty (s)}\rightarrow d_\infty \) for some distance function \(d_\infty \) on \(M_\infty \). By interchanging the order of taking limit, it is easy to see that \(d_{g_{i,0}}\) converges to \(d_\infty \) modulus diffeomorphism. This proves the Gromov–Hausdorff convergence. It follows from [6, Theorem A] that the convergence is also in the measured Gromov–Hausdorff sense.
Suppose now \((M_i,g_{i,0},x_i)\in \mathcal {K}_{\textrm{IC1}}(n,f_i,v)\) so that \(f_i(T)\) decreases to 0. We want to show that \(g_\infty (t)\) satisfies a stronger curvature estimate.
Fix any \(x_i\in M\). If \(r\ge D\) where \(\textrm{diam}(M_i,g_{i,0})\le D\), then for all \(x\in B_{g_{i,0}}(x_i,r)=M_i\) and \(t\in (0,r^2\wedge T]\),
by Lemma 2.1 and assumption. While if \(t\in [T,r^2]\), then the diameter bound yields
For \(t\in [T,r^2]\), we extend \(f_i(t)\) by defining
Since \(f_i(T)\rightarrow 0\) as \(i\rightarrow +\infty \), \(f_i\) satisfies the assumption (iii) in Proposition 3.2 for \(r\rightarrow +\infty \) in the sense that for any \(r\ge D\), there exists \(N\in \mathbb {N}\) so that for all \(i>N\), Proposition 3.2 applies on \(B_{g_0}(x_i,r)\) so that
for some uniform \(\tilde{\Lambda }>0\). Since \(x_i\) is arbitrary in \(M_i\), by letting \(i\rightarrow +\infty \) for \(t\in (0,S]\) and followed by letting \(r\rightarrow +\infty \), we see that \(\textrm{Rm}(g_\infty (t))\in \textrm{C}_{\textrm{PIC1}}\) on \(M_\infty \) for \(t\in (0,S]\). This completes the proof.
As another application, we obtain a stability in view of Geroch conjecture. This is motivated by the work of [1] where compactness under uniform \(L^p\) curvature bound for \(p=3\) is studied when \(n=3\). Since a \(L^p,p>\frac{3}{2}\) lower bound on \(\textrm{Ric}\) implies the uniform strong Kato bound of \(\textrm{Ric}\) [37], together with the regularity theory of Ricci flow (for instances, see [45, 46]), we can view Corollary 1.2 as a generalization.
Proof of Corollary 1.2
By Corollary 1.1 it suffices to identify the Gromov–Hausdorff limit. Recall that there exists \((M_\infty ,g_\infty (t),x_\infty ),t\in (0,S]\) such that the Ricci flow \((M_i^n,g_{i}(t),x_i)\) with \(g_i(0)=g_{i,0}\) converges to \((M_\infty ,g_\infty (t),x_\infty )\) in the smooth Cheeger–Gromov sense after passing to subsequent. By maximum principle, we have \(\mathcal {R}(g_i(t))\ge -i^{-1}\) for all i and hence \(\mathcal {R}(g_\infty (t))\ge 0\). Since \(M_\infty \) is compact, the smooth convergence implies that \(M_\infty \) is diffeomorphic to \(M_i\) for i sufficiently large. In particular, \(\sigma (M_\infty )\le 0\) and hence \(g_\infty (t)\) is Ricci flat for \(t\in (0,S]\) by strong maximum principle. Thus, \(g_\infty =g_\infty (S)\) is desired limit.
If \(b_1(M_i)=n\) for all i, we also have \(b_1(M_\infty )=b_1(M_i)=n\) for i large. Since \(g_\infty (t)\) is of Ricci flat, it is the standard torus by the classical Bochner theorem. This completes the proof.
Notes
We might analogously define the notions on complete non-compact case.
there will be a normalization constant \(n-1\) since the positivity of \(\textrm{IC}_1\) is defined using language of cone.
References
Allen, B., Bryden, E., Kazaras, D.: Stability of the positive mass theorem and torus rigidity theorems under integral curvature bounds. arXiV Preprint. arXiv:2210.04340
Bamler, R.H., Cabezas-Rivas, E., Wilking, B.: The Ricci flow under almost nonnegative curvature conditions. Invent. Math. 217, 95–126 (2019)
Brendle, S.: Ricci Flow and the Sphere Theorem. Graduate Studies in Mathematics, vol. 111. American Mathematical Society, Providence (2010)
Brendle, S.: Ricci flow with surgery on manifolds with positive isotropic curvature. Ann. Math. (2) 190(2), 465–559 (2019)
Carron, G.: Geometric inequalities for manifolds with Ricci curvature in the Kato class. Ann. Inst. Fourier (Grenoble) 69(7), 3095–3167 (2019)
Carron, G., Mondello, I., Tewodrose, D.: Limits of manifolds with a Kato bound on the Ricci curvature. arXiV preprint. arXiv:2102.05940
Carron, G., Mondello, I., Tewodrose, D.: Limits of manifolds with a Kato bound on the Ricci curvature. II, preprint, arXiv:2205.01956
Carron, G., Mondello, I., Tewodrose, D.: Torus stability under Kato bounds on the Ricci curvature. J. Lond. Math. Soc. (2) 107(3), 943–972 (2023)
Carron, G., Rose, C.: Geometric and spectral estimates based on spectral Ricci curvature assumptions. J. Reine Angew. Math. 772, 121–145 (2021)
Cheeger, J., Colding, T.H.: On the structure of spaces with Ricci curvature bounded below. I. J. Differ. Geom. 46(3), 406–480 (1997)
Cheeger, J., Colding, T.H.: On the structure of spaces with Ricci curvature bounded below. II. J. Differ. Geom. 54(1), 13–35 (2000)
Cheeger, J., Colding, T.H.: On the structure of spaces with Ricci curvature bounded below. III. J. Differ. Geom. 54(1), 37–74 (2000)
Cheeger, J., Naber, A.: Regularity of Einstein manifolds and the codimension 4 conjecture. Ann. Math. (2) 182(3), 1093–1165 (2015)
Cheeger, J., Jiang, W., Naber, A.: Rectifiability of singular sets of noncollapsed limit spaces with Ricci curvature bounded below. Ann. Math. (2) 193(2), 407–538 (2021)
Cheeger, J., Gromov, M., Taylor, M.: Finite propagation speed, kernel estimates for functions of the Laplace operator, and the geometry of complete Riemannian manifolds. J. Differ. Geom. 17, 15–53 (1982)
Chow, B. ; Knopf, D., The Ricci Flow: An Introduction. Mathematical Surveys and Monographs, vol. 110. American Mathematical Society, Providence (2004)
Colding, T.H.: Ricci curvature and volume convergence. Ann. Math. (2) 145(3), 477–501 (1997)
Dai, X., Wei, G., Zhang, Z.: Local Sobolev constant estimate for integral Ricci curvature bounds. Adv. Math. 325, 1–33 (2018)
Gromov, M., Lawson, H.B., Jr.: Spin and scalar curvature in the presence of a fundamental group. I. Ann. Math. (2) 111(2), 209–230 (1980)
Gromov, M.: Metric Structures for Riemannian and Non-Riemannian Spaces. Based on the 1981 French original. With appendices by M. Katz, P. Pansu and S. Semmes. Translated from the French by S.M. Bates. Progress in Mathematics, vol. 152. Birkhauser, Boston (1999)
Gromov, M.: Dirac and Plateau billiards in domains with corners. Cent. Eur. J. Math. 12(8), 1109–1156 (2014)
Hamilton, R.S.: Three-manifolds with positive Ricci curvature. J. Differ. Geom. 17(2), 255–306 (1982)
Hamilton, R.-S.: A compactness property for solutions of the Ricci flow. Am. J. Math. 117, 545–572 (1995)
Hochard, R.: Theórèmes d’existence en temps court du flot de Ricci pour des var- iétés non-complètes, non-éffondrées, à courbure minorée. PhD thesis, Université de Bourdeaux (2019). https://hal.inria.fr/tel-02092609/
Huang, S., Wang, B.: Ricci flow smoothing for locally collapsing manifolds. Calc. Var. Partial Differ. Equ. 61(2), Paper No. 64, 32 pp (2022)
Ketterer, C.: Stability of metric measure spaces with integral Ricci curvature bounds. J. Funct. Anal. 281(8), Paper No. 109142, 48 pp (2021)
Lai, Y.: Ricci flow under local almost nonnegative curvature conditions. Adv. Math. 343, 353–392 (2019)
Lee, M.-C., Tam, L.-F.: Kähler manifolds with almost non-negative curvature. Geom. Topol. 25–4, 1979–2015 (2021)
Lee, M.-C., Tam, L.-F.: Some local maximum principles along Ricci flows. Can. J. Math. 74(2), 329–348 (2022)
Lee, M.-C.; Topping, P.M.: Three-manifolds with non-negatively pinched Ricci curvature. arXiv:2204.00504
Li, X., Ni, L.: Kähler–Ricci Shrinkers and ancient solutions with nonnegative orthogonal bisectional curvature. J. Math. Pure Appl. 138, 28–45 (2020)
Ma, Y.; Wang, B.: Ricci curvature integrals, local functionals, and the Ricci flow. arXiV Preprint. arXiv:2109.02449v1
Perelman, G.,The entropy formula for the Ricci flow and its geometric applications. arXiV Preprint (2002). arXiv:math.DG/0211159v1
Petersen, P., Wei, G.: Relative volume comparison with integral curvature bounds. Geom. Funct. Anal. 7(6), 1031–1045 (1997)
Rose, C.: Li–Yau gradient estimate for compact manifolds with negative part of Ricci curvature in the Kato class. Ann. Glob. Anal. Geom. 55(3), 443–449 (2019)
Rose, C.: Almost positive Ricci curvature in Kato sense—an extension of Myers’ theorem. Math. Res. Lett. 28(6), 1841–1849 (2021)
Rose, C., Stollmann, P.: The Kato class on compact manifolds with integral bounds on the negative part of Ricci curvature. Proc. Am. Math. Soc. 145(5), 2199–2210 (2017)
Rose, C., Wei, G.: Eigenvalue estimates for Kato-type Ricci curvature conditions. Anal. PDE 15(7), 1703–1724 (2022)
Schoen, R., Yau, S.-T.: Existence of incompressible minimal surfaces and the topology of three-dimensional manifolds with nonnegative scalar curvature. Ann. Math. (2) 110(1), 127–142 (1979)
Schoen, R., Yau, S.-T.: On the structure of manifolds with positive scalar curvature. Manuscr. Math. 28(1–3), 159–183 (1979)
Simon, M., Topping, P.M.: Local control on the geometry in 3D Ricci flow. J. Differ. Geom. 122(3), 467–518 (2022)
Simon, M., Topping, P.M.: Local mollification of Riemannian metrics using Ricci flow, and Ricci limit spaces. Geom. Topol. 25(2), 913–948 (2021)
Sormani, C.: Conjectures on convergence and scalar curvature. arXiV Preprint. arXiv:2103.10093
Wang, B.: The local entropy along Ricci flow—Part B: the pseudo-locality theorems. arXiV Preprint. arXiv:2010.09981
Yang, D.: Convergence of Riemannian manifolds with integral bounds on curvature. I. Ann. Sci. École Norm. Sup. (4) 25(1), 77–105 (1992)
Yang, D.: Convergence of Riemannian manifolds with integral bounds on curvature. II. Ann. Sci. École Norm. Sup. (4) 25(2), 179–199 (1992)
Zhang, Qi. S., Zhu, M.: Li–Yau gradient bounds on compact manifolds under nearly optimal curvature conditions. J. Funct. Anal. 275(2), 478–515 (2018)
Acknowledgements
The author would like to thank C. Rose for his interest and D. Tewodrose for comments on improving the manuscript. The work was partially supported by Hong Kong RGC grant (Early Career Scheme) of Hong Kong No. 24304222, a direct grant of CUHK, and a NSFC grant No. 12222122. The author would like to thank the referee for useful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
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
Lee, MC. Ricci Flow Under Kato-Type Curvature Lower Bound. J Geom Anal 34, 71 (2024). https://doi.org/10.1007/s12220-023-01522-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-023-01522-4