Abstract
We prove that a Ricci flow cannot develop a finite time singularity assuming the boundedness of a suitable space-time integral norm of the curvature tensor. Moreover, the extensibility of the flow is proved under a Ricci lower bound and the boundedness of a space-time integral norm of the scalar curvature.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we will prove new extension theorems for the Ricci flow. Given a manifold M, a family of smooth Riemannian metrics g(t) on M is called a Ricci Flow on the time interval \([0,T) \subset {\mathbb {R}}\) if it satisfies
where \({{\,\mathrm{Ric}\,}}\) denotes the Ricci tensor. By a well-known result of Hamilton, a Ricci flow on a closed manifold M develops a singularity at a finite maximal time T (i.e. the flow cannot be extended past the time T) if and only if the maximum of the norm of the Riemannian tensor \({{\,\mathrm{Rm}\,}}\) blows up at T, see [4]. This result was extended by Shi [18] to complete Ricci flows with bounded geometry. Sesum (for closed manifolds) and later Ma and Cheng (for complete manifolds with bounded curvature) showed that indeed a bound on the Ricci curvature rather than the full Riemannian curvature tensor suffices to extend the flow, see [13, 15]. See also [8] for a local version of the result. In their paper, Ma and Cheng also proved the extensibility of a complete Ricci flow under the assumption of bounded scalar curvature and Weyl tensor.
A different approach was adopted by Wang in [21] and consists of considering integral bounds rather than point-wise ones.Wang’s first extension theorem (Theorem 1.1 in [21]) states that if (M, g(t)) is a Ricci flow on a closed manifold M satisfying the bound
then the flow can be extended past time T. We will generalize this result in Theorem 1.2 below.
Wang’s theorem is proved via a blow-up argument exploiting the scaling invariance of the integral norm above for \(\alpha =\frac{n+2}{2}\). His result was extended by Ma and Cheng to complete manifolds in [13]; similar results were then obtained, for Ricci and Mean Curvature flow, see [6, 9,10,11,12, 22,23,24]. In particular, we remark that Theorem 1.6 in [10] considers mixed integral norms for the Mean Curvature flow case.
In the same paper, Wang was able to pass from a Riemann curvature integral bound to a scalar curvature one assuming a Ricci lower bound. More precisely, Wang’s second extension theorem (Theorem 1.2 in [21]) states that if (M, g(t)) is a Ricci flow on a closed manifold M satisfying
and \({{\,\mathrm{Ric}\,}}\) is uniformly bounded from below along the flow up to the time T, then the flow can be extended past time T. Our Theorem 1.3 below is an extension of this result.
Similar results for (compact) Mean Curvature Flow have then been independently obtained by Le and Sesum in [12] and Xu et al. in [22].
Here we generalize these results using mixed integral norms. For a measurable function u, we set
where \(\Omega \subseteq M\) and \(I \subseteq [0,T)\).
Definition 1.1
Given a pair \((\alpha ,\beta )\) of integrability exponents in \((1,\infty )\) and a dimension \(n\in {\mathbb {N}}\), we say that the pair is optimal (respectively super-optimal, sub-optimal) if
The main reason for introducing the concept of optimal pair is that the mixed integral norm of the Riemann tensor with respect to it is invariant under the parabolic scaling of the Ricci flow. Our first theorem is a generalization of Wang’s first extension theorem to mixed integral norms and complete non-compact flows.
Theorem 1.2
Let (M, g(t)) be a Ricci flow on a manifold M of dimension n, defined on [0, T), \(T<+\infty \), and such that (M, g(t)) is complete and has bounded curvature for every t in [0, T). Suppose that the initial slice (M, g(0)) satisfies \({{\,\mathrm{inj}\,}}(M,g(0))>0\). Assume the integral bound \(\big \Vert \Vert {{{\,\mathrm{Rm}\,}}} \Vert _{{\alpha ,M}} \big \Vert _{{\beta ,[0,T)}}<+\infty \) for some super-optimal pair \((\alpha ,\beta )\). Then the flow can be extended past the time T.
In this theorem we assumed a control on the geometry of the Ricci flow in order to set up a blow-up procedure near the singular time T. In the case the underlying manifold M is closed this control comes for free, so we obtain an extension result under the sole integral bound.
It is worth noticing that we can include the “endpoint” \((\infty ,1)\) but not the one \((n/2,\infty )\), even on closed manifolds, see Remark 2.11. Moreover, this case is of particular importance after the integrability results obtained in [1, 2, 16] for flows with bounded scalar curvature: in fact, for such flows we have a \((\frac{n}{2},\infty )-\)bound on the curvature tensor, so any slight improvement of integrability (perhaps relaxing the time integrability) would rule out the formation of such singularities. We generalize Wang’s second extension theorem as follows.
Theorem 1.3
Let (M, g(t)) be a Ricci flow on a manifold M of dimension n, defined on [0, T), \(T<+\infty \), and such that (M, g(t)) is complete and has bounded curvature for every t in [0, T). Suppose that the initial slice (M, g(0)) satisfies \({{\,\mathrm{inj}\,}}(M,g(0))>0\). Assume the following conditions are satisfied
-
there exists a positive constant B such that \({{\,\mathrm{Ric}\,}}(x,t) \ge -Bg(t)\) on \(M \times [0,T)\);
-
\(\big \Vert \Vert {{{\,\mathrm{R}\,}}} \Vert _{{\alpha ,M}} \big \Vert _{{\beta ,[0,T)}}<+\infty \) for some super-optimal pair \((\alpha ,\beta )\).
Then the flow can be extended past the time T.
As for Wang’s result, the method of the proof relies on developing a Moser iteration along the Ricci flow, in order to get a Moser–Harnack inequality for the scalar curvature. Then one can apply this inequality to a rescaled sequence of flows and deduce the result by a contradiction argument. The main additional difficulty that we have to overcome compared to Wang’s case, is that we have to deal with a temporal integrability exponent lower than n/2, compare with Fig. 1. In order to deal with it, we need to develop a further iteration procedure for showing the better integrability result in Proposition 3.5.
The paper is organized as follows. In Sect. 2, we recall some standard results in the theory of Ricci flow and we give a proof of Theorem 1.2. In Sect. 3 we first set up the necessary Moser iteration argument and then show Theorem 1.3.
2 Preliminary Material and First Results
In this section we recollect some useful results about Ricci flow and we prove some basic results on mixed integral norms in Ricci flow. These results are then combined to prove Theorem 1.2.
2.1 Standard Results for the Singularity Analysis
Firstly, we recall Perelman’s definition of non-local-collapsing and his non-local-collapsing theorem [14], as presented in [7]. This theorem is particularly important in blow-up arguments, since it yields uniform injectivity radii lower bounds along a sequence of rescaling under mild geometric assumptions.
Definition 2.1
(Definition 26.1 in [7]). We say that a Ricci flow solution (M, g(t)) defined on [0, T) is \(\kappa \)-noncollapsed on the scale \(\rho \), if for every \(r<\rho \) and \((x_0,t_0)\in M\times [0,T)\) with \(t_0>r^2\), the condition \(|{{\,\mathrm{Rm}\,}}|\le r^{-2}\) on the domain \(B_{g(t_0)}(x_0,r)\times [t_0-r^2,t_0]\) implies \({{\,\mathrm{Vol}\,}}_{g(t)}(B_{g(t_0)}(x_0,r))\ge \kappa r^n\) for every \(t\in [t_0-r^2,t_0]\).
Theorem 2.2
(Theorem 26.2 in [7]). For any given \(n \in {\mathbb {N}}\), \(T,K<+\infty \), and \(\rho ,c>0\), there exists \(\kappa =\kappa (n,T,\rho ,K,c)>0\) such that we have the following. Let (M, g(t)) be a Ricci flow on a manifold M of dimension n, defined on [0, T), \(T<+\infty \), and such that (M, g(t)) is complete and has bounded curvature for every t in [0, T). Assume that (M, g(0)) is complete, with \(|{{\,\mathrm{Rm}\,}}|_{g(0)}\le K\) and \({{\,\mathrm{inj}\,}}(M,g(0))\ge c\). Then the flow g(t) is \(\kappa -\)noncollapsed on the scale \(\rho \).
Under the same conditions of the theorem, it is sufficient to have the scalar curvature bound \({{\,\mathrm{R}\,}}\le r^{-2}\) to get the non-collapsing of Definition 2.1. The following compactness theorem, slightly generalizing Hamilton’s classical compactness result from [5], is taken from Topping [19]. See also [20] for an expository review and first applications.
Theorem 2.3
(Theorem 1.6 in [19]). Let \((M_i,g_i(t),p_i)\) be a sequence of pointed and complete Ricci flows, defined on a common time interval (a, b), with \(-\infty \le a<0<b\le +\infty \). Suppose that
-
\(\inf {{\,\mathrm{inj}\,}}(M_i,g_i(0),p_i)>0\),
-
there exists a constant M such that for every \(r>0\) there exists \(i_r \in {\mathbb {N}}\), such that for every \(i\ge i_r\) and \(t\in (a,b)\) we have
$$\begin{aligned} \sup _{B_{g_i(0)}(p_i,r)} |{{\,\mathrm{Rm}\,}}|_{g_i(t)}\le M. \end{aligned}$$(2.1)
Then there exists a complete pointed Ricci flow \((M_\infty ,g_\infty (t),p_\infty )\) defined on (a, b), which is a pointed smooth Cheeger–Gromov limit of some subsequence of \((M_i,g_i(t),p_i)\).
We conclude recalling the orthogonal decomposition for the Riemann tensor
where we denoted by \({{\,\mathrm{W}\,}}\) the Weyl tensor and by Kulkarni–Nomizu’s product of \((0,2)-\)tensors.
2.2 Mixed Integral Norms
Let us now consider mixed integral norms as defined in (1.4) along the Ricci flow. Our first result is a lemma that will be used in the Moser’s iteration argument.
Lemma 2.4
Let (M, g(t)) be a Ricci flow defined in [0, T], and fix a subset \(\Omega ' \subset M\) such that \(0<c\le {{\,\mathrm{Vol}\,}}_{g(t)}(\Omega ')\le C<+\infty \) for every t. Then we have for any measurable u
The proof of this lemma directly follows from a standard calculation. For the reader’s convenience, we carry this out in the Appendix A. Before applying Moser’s iteration, we need some control on the volume of the domain in consideration. Below we prove a generalization of Property 2.3 in [21].
Lemma 2.5
Let (M, g(t)) be a Ricci flow defined on [0, T]. For a fixed point \(p\in M\) and radius r, we set \(\Omega := B_{g(T)}(p,r)\). Suppose there exists a constant \(B>0\) such that \({{\,\mathrm{Ric}\,}}(x,t)\ge -Bg(t)\) on \(\big ( \Omega \times [0,T] \big ) \cup \big (M \times \{ T\} \big )\). Then there exists a constant \({\tilde{V}}={\tilde{V}}(n,r,T,B)\ge 1\) such that
for every \(\alpha ,\beta \ge 1\). Moreover, \({\tilde{V}}\) is bounded as long as n, r, T and B remain bounded as well.
Proof
From the lower Ricci bound on the region \(\Omega \times [0,T]\), and the evolution equation for the volume element, we get
for every \(t \in [0,T]\). The lower bound on the whole final time slice allows us to use Bishop–Gromov’s inequality, which gives the existence of a constant \(V=V(n,r,B)\) such that
Therefore, we easily obtain the following chain of inequalities
where we have set \({\tilde{V}}=\max \{e^{(n-1)BT} T^{\frac{1}{\beta }} V^{\frac{1}{\alpha }},1 \}\). \(\square \)
Remark 2.6
It is worth noticing that under rather general assumptions we can take \({\tilde{V}}=C(n,B)r^{\frac{n}{\alpha }}\) by the results of Zhang [25], and Chen and Wang [3].
An easy application of Hölder’s inequality both in space and time yields the following inequality.
where \(\alpha '=\alpha /(\alpha -1)\) and \(\beta '=\beta /(\beta -1)\) are the Hölder conjugate exponents of \(\alpha \) and \(\beta \) respectively. One can use this inequality to produce an interpolation inequality, which we recall.
Proposition 2.7
Let \(1\le p\le q \le r<+\infty \), \(1\le P\le Q\le R<+\infty \). Suppose that, once written \(q=ap+(1-a)r\) and \(Q=bP+(1-b)R\) for some \(a,b \in [0,1]\), we have the following equations
Then for every measurable function v we have \(\big \Vert \Vert {v} \Vert _{{q,M}} \big \Vert _{{Q,[0,T)}}\le \big \Vert \Vert {v} \Vert _{{p,M}} \big \Vert _{{P,[0,T)}}^{s_1}\) \(\big \Vert \Vert {v} \Vert _{{r,M}} \big \Vert _{{R,[0,T)}}^{s_2}\).
In Moser’s iteration argument we will be interested in extrapolating an optimal pair of exponents given a super-optimal one and the pair (1, 1), in the conjugate Hölder exponents plane. The following lemma characterizes such a pair.
Lemma 2.8
For any strictly super-optimal pair (a, b), i.e. such that \(a>\frac{n}{2}\frac{b}{b-1}\), there exists a unique optimal pair \((\alpha _*,\beta _*)\) whose image via the conjugate Hölder mapping is extrapolated from (1, 1) and \((a',b')\), that is we have
for every measurable function w. Moreover, we have
Proof
Using the interpolation result Proposition 2.7, we are reduced to show the existence and uniqueness of solution \((\alpha ',\beta ',\theta ,\zeta )\) to the following equations for the exponents:
The two equations in the second line are easily shown to be equivalent given the others in the first line. Solving the system by simple substitutions, we get
This \(\theta \) is greater than zero because of \(a'>1\), and smaller than 1 because (a, b) is strictly super-optimal. Moreover, \(\theta \) determines uniquely the solution to the system, and we have
from which we deduce
and hence the claim. \(\square \)
We conclude this subsection recalling Theorem 4.1 in Wang’s paper [21]; it regards the existence of a uniform Sobolev constant in a parabolic region, which will play a key role in the argument used in showing Theorem 1.3.
Definition 2.9
We say that a subset \(N \subset M\) admits a uniform Sobolev constant \(\sigma \) at each time slice if
for every function \(v\in W^{1,2}_0(N)\) and \(t \in [0,T]\).
Theorem 2.10
(Theorem 4.1 in [21]). Suppose (M, g(t)) is a complete Ricci flow defined on [0, 1]. Fix a point \(p\in M\) and suppose that
-
\({{\,\mathrm{Ric}\,}}(x,t)\ge -(n-1)g(t)\) for every \((x,t)\in M\times [0,1]\);
-
\({{\,\mathrm{Ric}\,}}(x,t) \le (n-1)g(t)\) for every \((x,t)\in B_{g(1)}(p,1) \times [0,1]\);
-
there exists a constant \(\kappa \) such that \({{\,\mathrm{Vol}\,}}_{g(1)}(B_{g(1)}(p,1))\ge \kappa \).
Then there exists a radius \(r=r(n,\kappa )\) and a uniform Sobolev constant \(\sigma =\sigma (n,\kappa )\) for \(B_{g(1)}(p,r(n,\kappa ))\) on the time interval [0, 1].
A different method to develop Sobolev constant bounds along the Ricci flow was obtained by Zhang in [26], which had great impact on the study of bounded scalar curvature Ricci flows, for instance see [1, 2, 16, 17].
2.3 Proof of Theorem 1.2
Our proof of Theorem 1.2 follows now directly from a blow-up argument, exploiting the scaling behaviour of the norm considered in the statement.
Proof
If the pair \((\alpha ,\beta )\) is super-optimal but not optimal, a straightforward application of Hölder’s inequality in time gives the existence of an optimal pair \((\alpha ^*,\beta ^*)=(\alpha ,\beta ^*)\), where \(\beta ^*<\beta \), for which we have
so it is sufficient to prove the claim in the optimal case. Arguing by contradiction, if the flow is not extensible, Shi’s Theorem implies that \(|{{\,\mathrm{Rm}\,}}|\) is unbounded on \(M \times [0,T)\). From the boundedness assumption for times smaller than T, we can pick a sequence of space-time points \((x_i,t_i)\) such that \(t_i \nearrow T\), and for some constant C greater than 1 we obtain
Set \(Q_i := |{{\,\mathrm{Rm}\,}}|(x_i,t_i) \rightarrow +\infty \) and \(P_i := B_{g(t_i)}(x_i,Q_i^{-\frac{1}{2}}) \times [t_i-Q_i^{-1},t_i]\). Clearly, \(|{{\,\mathrm{Rm}\,}}| \le C Q_i\) on the region \(M\times [t_i-Q_i^{-1},t_i]\). Consider a sequence of Ricci flows on \(M \times [-Q_i t_i,0]\) defined as \(g_i(t):= Q_ig(Q_i^{-1}t+t_i)\). We are in the hypothesis to apply Perelman’s \(\kappa \)-non-collapsing theorem Theorem 2.2 for the parabolic region \(P_i\), with any scale \(\rho \) for i large enough, which guarantees that the injectivity radii of the rescaled metrics \(g_i\) at \((x_i,t_i)\) are uniformly bounded away from zero. Then by the compactness result in Theorem 2.3 we can extract a subsequence converging in the pointed smooth Cheeger–Gromov sense to a complete Ricci flow \((M_\infty ,g_{\infty }(t),x_{\infty })\) defined on \((-\infty ,0]\), whose curvature is uniformly bounded by C and such that \(|{{\,\mathrm{Rm}\,}}_{g_{\infty }}|(x_{\infty },0)=1\). On the other hand, if the pair \((\alpha ,\beta )\) is optimal, we compute
where the last step is justified by Lebesgue’s dominated convergence theorem and the assumption \(\big \Vert \Vert {{{\,\mathrm{Rm}\,}}} \Vert _{{\alpha ,M}} \big \Vert _{{\beta ,[0,T)}}<\infty \). Since the limit flow \(g_{\infty }(t)\) is smooth, this chain of inequalities implies that \({{\,\mathrm{Rm}\,}}_{g_{\infty }(t)}\equiv 0\) on the parabolic region \(B_{g_{\infty }(0)}(x_{\infty },1)\times [-1,0]\), in particular, \({{\,\mathrm{Rm}\,}}_{\infty }(x_{\infty },0)=0\), a contradiction. \(\square \)
Remark 2.11
It is interesting to analyse the “endpoints” case.
Firstly, consider \(\alpha =\infty \) and \(\beta =1\). Even in the closed case, Hamilton’s theorem in [4] guarantees that the sectional curvature blows up at the finite time singularity T, and a maximum principle argument yields \(|{{\,\mathrm{Rm}\,}}| \ge \frac{1}{8(T-t)} \notin L^1\). Moreover, the boundedness of the \(L^1\)-norm of the maximum of the Ricci curvature is sufficient to extend the flow, as shown in [21] and subsequently in [6].
In the case \(\alpha =\frac{n}{2}\) and \(\beta =\infty \), the Ricci flow of the standard sphere shows that one cannot expect to extend the flow even if \(\big \Vert \Vert {{{\,\mathrm{Rm}\,}}} \Vert _{{\frac{n}{2},S^n}} \big \Vert _{{\infty ,[0,T)}}<+\infty \). Interestingly, an extension theorem is proven in [23] under a smallness assumption on the \((n/2,\infty )\)-mixed norm.
Corollary 2.12
Let (M, g(t)) be a Ricci flow on a closed manifold M of dimension n, defined on [0, T), with \(T<+\infty \). Assume the integral bound \(\big \Vert \Vert {{{\,\mathrm{Rm}\,}}} \Vert _{{\alpha ,M}} \big \Vert _{{\beta ,[0,T)}}<+\infty \) for some super-optimal pair \((\alpha ,\beta )\). Then the flow can be extended past the time T.
The following result generalizes Theorem 1.1 in [13] to mixed norms along complete (possibly non-compact) Ricci flows. The proof strictly follows the one in [13].
Theorem 2.13
Let (M, g(t)) be a Ricci flow on a manifold M of dimension n, defined on [0, T), \(T<+\infty \), and such that (M, g(t)) is complete and has bounded curvature for every t in [0, T). Suppose that the initial slice (M, g(0)) satisfies \({{\,\mathrm{inj}\,}}(M,g(0))>0\). Assume the integral bounds \(\big \Vert \Vert {{{\,\mathrm{R}\,}}} \Vert _{{\alpha ,M}} \big \Vert _{{\beta ,[0,T)}}<+\infty \) and \(\big \Vert \Vert {{{\,\mathrm{W}\,}}} \Vert _{{\alpha ,M}} \big \Vert _{{\beta ,[0,T)}}<+\infty \) for some super-optimal pair \((\alpha ,\beta )\). Then the flow can be extended past the time T.
Proof
Arguing by contradiction, if the flow is not extensible, Shi’s Theorem implies that \(|{{\,\mathrm{Rm}\,}}|\) is unbounded on \(M \times [0,T)\). From the boundedness assumption for times smaller than T, we can pick a sequence of space-time points \((x_i,t_i)\) such that \(t_i \nearrow T\), and for some constant C greater than 1 we have
Set \(Q_i := |{{\,\mathrm{Rm}\,}}|(x_i,t_i) \rightarrow +\infty \) and \(P_i := B_{g(t_i)}(x_i,Q_i^{-\frac{1}{2}}) \times [t_i-Q_i^{-1},t_i]\). Clearly, \(|{{\,\mathrm{Rm}\,}}| \le C Q_i\) on the region \(M\times [t_i-Q_i^{-1},t_i]\). Consider a sequence of Ricci flows on \(M \times [-Q_i t_i,0]\) defined as \(g_i(t):= Q_ig(Q_i^{-1}t+t_i)\). We can argue as in the proof of Theorem 1.2 to extract a subsequence converging in the pointed smooth Cheeger-Gromov sense to a complete Ricci flow \((M_\infty ,g_{\infty }(t),x_{\infty })\) defined on \((-\infty ,0]\), whose curvature is uniformly bounded by C and such that \(|{{\,\mathrm{Rm}\,}}_{g_{\infty }}|(x_{\infty },0)=1\). Again, if the pair \((\alpha ,\beta )\) is optimal, the scaling properties of \({{\,\mathrm{R}\,}}\) and \({{\,\mathrm{W}\,}}\) and the finiteness of their mixed integral norms give us
and
Once more we deduce from the smoothness of the limit flow \(g_{\infty }(t)\), together with these equations, that \({{\,\mathrm{R}\,}}_{g_{\infty }(t)}\equiv 0\), thus also \({{\,\mathrm{Ric}\,}}_{g_{\infty }(t)}\equiv 0\) from the evolution equation of the scalar curvature, and \({{\,\mathrm{W}\,}}_{g_{\infty }(t)}\equiv 0\) on the parabolic region \(B_{g_{\infty }(0)}(x_{\infty },1)\times [-1,0]\), from which we deduce \({{\,\mathrm{Rm}\,}}_{g_{\infty }(t)}\equiv 0\) through (2.2); in particular, \({{\,\mathrm{Rm}\,}}_{g_{\infty }}(x_{\infty },0)=0\), a contradiction. We argue exactly as in the proof of Theorem 1.2 in the case \((\alpha ,\beta )\) is super-optimal but not optimal. \(\square \)
3 Parabolic Moser Iteration and Proof of Theorem 1.3
In this section we prove Theorem 1.3. The idea of the proof is similar to the one of Theorem 1.2 in the previous section, but this time we will rescale with scalar curvature rather than Riemannian curvature. Consequently, we do not have the full curvature bounds needed to extract a smooth limit flow. Hence we will need to prove the necessary estimates for elements of the sequence of rescaled flows rather than for the limit. For this reason, we develop a Moser iteration along the Ricci flow in order to obtain a Moser–Harnack type inequality. This is the main technical part of this article. The main method of the proof resembles the one in Wang’s paper [21]; however, several modifications are necessary. We first settle the super-optimal case (Theorem 3.3) and then we prove the optimal case (Theorem 3.7) with the help of a better integrability result (Theorem 3.5). The main difficulty to overcome—which is not present in Wang’s case—is given by the possibly low temporal integrability case, when \(\beta <\frac{n}{2}\). We will deal with this constructing an iterative scheme of reverse Hölder inequalities.
3.1 Moser Iteration in the Super-Optimal Case
Throughout this section, we consider a fixed complete Ricci flow (M, g(t)) on a n-dimensional manifold M, with \(n\ge 3\), defined on [0, T].
Definition 3.1
For any given point \(p \in M\) and radius \(r>0\), we define the sets
From now on we suppose to have a uniform Sobolev constant for the domain \(\Omega \), and also the bound \(0<{{\,\mathrm{Vol}\,}}_{g(t)}(\Omega ')<+\infty \) for \(t \in [\frac{T}{2},T]\). We have the following analogue of Property 4.1 in Wang’s paper [21].
Lemma 3.2
Under the above assumptions, consider a function \(v \in C^1(D)\) with \(v(\cdot ,t) \in C^1_0(\Omega )\) for every \(t \in [0,T]\). Then for any \((\alpha ,\beta )\) optimal pair we have
where \(s := \frac{\alpha '(2-n)+n}{\alpha '} \in (0,2)\).
Proof
For the convenience of the reader, we remark that
Moreover, if we set \(a := n(\alpha '-1)\), \(b:= \alpha '(2-n)+n\), \(p:= \frac{2}{(n-2)(\alpha '-1)}\) and \(q:= p'= \frac{2}{\alpha '(2-n)+n}\), we have
Therefore, we compute using subsequently Hölder and Sobolev inequalities
\(\square \)
We start showing a Moser–Harnack inequality for super-optimal pairs.
Lemma 3.3
Given (M, g(t)) as above, suppose there exists a constant \(B \ge 0\) such that on D we have \({{\,\mathrm{Ric}\,}}(x,t) \ge -Bg(t)\) and let (a, b) be a strictly super-optimal pair. Assume that for two measurable functions f and h there exists a non-negative function \(u \in C^\infty (D)\) satisfying
in the sense of distributions, where \(\big \Vert \Vert {f} \Vert _{{a,\Omega }} \big \Vert _{{b,[0,T]}}+\big \Vert \Vert {{{\,\mathrm{R}\,}}_{-}} \Vert _{{a,\Omega }} \big \Vert _{{b,[0,T]}}+1 \le C_0\). Then there exists a constant \(C=C(n,a,b,\sigma ,C_0,r,T,B)\) such that
where \(\alpha =\alpha _*(a,b,n)\) and \(\beta =\beta _*(a,b,n)\) are the optimal integrability exponents given by Lemma 2.8.
Proof
Consider a cut-off function \(\eta \in C^{\infty }(D)\) such that \(\eta (\cdot ,t)\in C^{\infty }_0(\Omega )\) for every \(t \in [0,T]\), \(\eta (x,0)\equiv 0\) and \(\eta (x,\cdot )\) is a non-decreasing function for every \(x \in \Omega \). Set \(\kappa := \big \Vert \Vert {h} \Vert _{{a,\Omega }} \big \Vert _{{b,[0,T]}}\) and \(v:= u+\kappa \). Rewriting (3.6) in terms of v we simply have
For a fixed \(\lambda >1\), it makes sense to consider \(\eta ^2(u+\kappa )^{\lambda -1}\) as a test function, so we get for any \(s \in (0,T]\)
Using the equation for the volume element under the Ricci flow and integrating by parts, we deduce
Schwartz’s inequality yields the following estimate
Substituting in the previous one we obtain, after reordering, that
Choose \(\varepsilon ^2=\frac{\lambda -1}{2}\). Since \(|\nabla v^{\frac{\lambda }{2}}|^2=\frac{\lambda ^2}{4}v^{\lambda -2}|\nabla v|^2\), we compute
Now we use \(|\nabla (\eta v^{\frac{\lambda }{2}})|^2\le 2\eta ^2 |\nabla v^{\frac{\lambda }{2}}|^2+2v^\lambda |\nabla \eta |^2\) to infer that
Therefore we have
The constant \(\Lambda (\lambda )\) can be chosen as follows:
In particular, we get
Applying the inequality (3.2) to the function \(w=\eta v^{\frac{\lambda }{2}}\), we arrive to
where we have chosen the optimal integrability pair \((\alpha ,\beta )=(\alpha ^*,\beta ^*)\) given by Lemma 2.8. Coherently to the notation in that Lemma, we have used that
Combining Lemma 2.8 and Young’s inequality, we obtain
where \(\varepsilon '=\varepsilon ^{s_1}\). This allows us absorbing the first term in the right-hand side of the inequality (3.18) to the left-hand side:
Setting \(\varepsilon '=(2\Lambda (\lambda )\sigma ^{\frac{1}{\beta '}}C_0)^{-1}\), we have
Since we can always choose \(\Lambda (\lambda )\ge 1\), we get
The inequality (3.23) is the basis for the Moser iteration. As in Wang’s paper [21], we will construct a nested sequence of cylindrical sets and test functions on them, and we will eventually arrive at an \(L^\infty \)-bound. Define for every natural number k
Notice that \(t_k \nearrow \frac{T}{2}\), \(r_k \searrow \frac{1}{2}r\) and \(\Omega _k,D_k \searrow \Omega ',D'\) respectively. Fix two functions \(\gamma ,\rho \in C^\infty ({\mathbb {R}})\) such that
Set \(\gamma _k(t):= \gamma (\frac{t-t_{k-1}}{t_k-t_{k-1}})\) and \(\rho _k(s):= \rho (\frac{s-r_k}{r_{k-1}-r_k})\), and consider the sequence of cut-off functions given by
Clearly, \(\eta _k\) is a smooth function such that \(0\le \eta _k \le 1\), \(\eta _k \equiv 1\) on \(D_k\) and \(\eta _k \equiv 0\) outside \(D_{k-1}\). The lower Ricci bound together with the Ricci flow equation gives us
If \(\lambda \ge 2\), recall \(\Lambda (\lambda )=6\lambda \), we compute from (3.23)
Let us remark that \(C_3(r,T,B)\) can be chosen to be \(\max \{ e^{4BT}/r^2,1/(3T),1\}\). It is convenient to rewrite this as
Let us set \(\zeta =\min \{\alpha ',\beta '\}\), \(\alpha _k=\zeta ^{k-1} \alpha '\), and \(\beta _k=\zeta ^{k-1} \beta '\). Applying the inequality above with \(\lambda =\zeta ^{k-1}\) we obtain
Using \(\lambda =\zeta ^{k-1},\zeta ^{k-2},\ldots ,\zeta ^{k_0}\), where \(k_0\) is the smallest integer such that \(\zeta ^{k_0} \ge 2\), a simple iteration implies
where in the last step we used that any of the exponents in consideration can be bounded by a summable series, whose value is independent of k. To cover the left cases \(\lambda <2\), if needed we can iterate directly (3.23) (a finite amount of times independent of k) with the different definition of \(\Lambda (\lambda )\), and we obtain
Resuming, we have
therefore from the inclusions of the domains
With k going to infinity, both \(\alpha '_k\) and \(\beta '_k\) tend to infinity, so we obtain
using Lemma 2.4. Notice that the conditions in this Lemma are satisfied by the domain \(\Omega '\), because the flow is smooth on the whole time interval. Since \(u\ge 0\), using the definition of v we finally get
\(\square \)
Remark 3.4
We remark that, following the same iteration scheme, we could arrive at
for every \(l \in {\mathbb {N}}\). In particular, choosing l large enough, we can get \(\alpha _l\ge \alpha \) and \(\beta _l\ge \beta \), hence
3.2 Improved Integrability and Moser–Harnack Inequality in the Optimal Case
In showing a Moser–Harnack type inequality for the scalar curvature in the optimal case, we cannot directly appeal to the absorption scheme used in Lemma 3.3, but we need to impose a certain smallness of the data, see Theorem 3.7; this feature is common among differential equations with super-linear forcing terms, where one can exploit a point-wise smallness of the solution to reduce the study to the linear case. Here the smallness assumption is given in an integral form rather than point-wise, thus we develop once again a Moser’s iteration, this time to link the problem to the strictly super-optimal case, compare with Lemma 4.4 in [21]. Furthermore, the proof of the following proposition directly implies an improved integrability result, see Remark 3.6.
Proposition 3.5
Given (M, g(t)) as above, suppose there exists a constant \(B \ge 0\) such that on D we have \({{\,\mathrm{Ric}\,}}(x,t) \ge -Bg(t)\) and let \((\alpha ,\beta )\) be an optimal pair. If a non-negative function \(u \in C^\infty (D)\) satisfies
in the sense of distributions, where \(\big \Vert \Vert {f} \Vert _{{\alpha ,\Omega }} \big \Vert _{{\beta ,[0,1]}}<+\infty \), then there exists a strictly super-optimal pair (a, b) and constants \(C=C(n,\alpha ,\beta ,\sigma ,r,T,B)\) and \(\delta =\delta (n,\sigma ,\alpha ,\beta )\) such that if the smallness assumption \(\big \Vert \Vert {f} \Vert _{{\alpha ,\Omega }} \big \Vert _{{\beta ,[0,T]}}+\big \Vert \Vert {{{\,\mathrm{R}\,}}_{-}} \Vert _{{\alpha ,\Omega }} \big \Vert _{{\beta ,[0,T]}} \le \delta \) is satisfied, then we have
Proof
Let \(v=u+\kappa \), where \(\kappa =l\cdot \big \Vert \Vert {h} \Vert _{{\alpha ,\Omega }} \big \Vert _{{\beta ,[0,T]}}\) for some positive constant l. Then v solves
We choose a test function of the form \(\eta ^2 v^{\lambda -1}\), and proceed as in the proof of Lemma 3.3 to get
Suppose now that \(\big \Vert \Vert {f} \Vert _{{\alpha ,\Omega }} \big \Vert _{{\beta ,[0,T]}}+\big \Vert \Vert {{{\,\mathrm{R}\,}}_{-}} \Vert _{{\alpha ,\Omega }} \big \Vert _{{\beta ,[0,T]}} \le \delta _\lambda := (4 \sigma ^{\frac{1}{\beta '}} \Lambda (\lambda ))^{-1}\); in order to absorb the first term of the right-hand side, we choose \(l_\lambda := 4 \sigma ^{\frac{1}{\beta '}} \Lambda (\lambda )+1\), so we get
We have arrived at a situation analogous to (3.23). Choosing properly the function \(\eta \) we get a reverse Hölder inequality, so a better integrability. The inequality above ensures that, given the optimal pair \((\alpha ,\beta )\), we can bound the \((\alpha ' \lambda ,\beta ' \lambda )-\)norm in terms of the \((\alpha ,\beta )-\)norm if we have \(\lambda \le \min \{ \alpha , \beta \}\). On the other hand, the condition on the pair \((\alpha ' \lambda ,\beta ' \lambda )\) to be strictly super-optimal is
These conditions imply that \(\min \{ \alpha , \beta \} =: \zeta >\frac{n}{2}\), which is restrictive. In order to cover the general case, we consider the same nested family of cylinders and cut-off functions as in Lemma 3.3. Set \(\alpha _k=(\alpha ')^k \zeta \) and \(\beta _k=(\beta ')^k \zeta \) for every k. Iterating the inequality (3.43) with \(\lambda =\alpha _{k-1}>\alpha _{k-2}>\cdots>\alpha _{1}>\beta \) if \(\beta <\alpha \), or \(\lambda =\beta _{k-1}>\beta _{k-2}>\cdots>\beta _{1}>\alpha \) if \(\beta >\alpha \), we obtain
Here the value of C varies from inequality to inequality, but it never approaches infinity. Since \(D' \subset D_k\) for every k, in order to conclude it suffices to show that for the fixed pair \((\alpha ,\beta )\), there exists a finite k such that \((\alpha _k,\beta _k)\) is super-optimal. By definition, we need to check
Since the limit for \(k \rightarrow +\infty \) of the left-hand side is infinite, we deduce the existence of a finite k satisfying this inequality, and hence the claim. \(\square \)
Remark 3.6
(Improved Integrability). Notice that the above iteration process does not reach the endpoint case \((\alpha ,\beta )=(\infty ,1)\) unless \(n=1\). Moreover, by taking a further larger k we may assume a and b to be as large as we want.
We conclude the subsection using the integrability result just obtained to deduce a Moser–Harnack inequality for the scalar curvature.
Theorem 3.7
Under the above assumptions there exists a constant \(C=C(n,\alpha ,\beta ,\sigma ,r,T,B)\) and a small constant \(\delta =\delta (n,\sigma ,\alpha ,\beta )\), such that if \(\big \Vert \Vert {{{\,\mathrm{R}\,}}} \Vert _{{\alpha ,\Omega }} \big \Vert _{{\beta ,[0,T]}} +B \le \delta \), then we have
Proof
Set \({\hat{{{\,\mathrm{R}\,}}}} := {{\,\mathrm{R}\,}}+nB\). By the lower bound on the Ricci tensor, with same argument as in [21], we get the following inequality in D:
Remark that we are in case where \(\big \Vert \Vert {1} \Vert _{{\alpha ,\Omega }} \big \Vert _{{\beta ,[0,T]}}\le {\tilde{V}}\) by Lemma 2.5. Referring to Proposition 3.5, we set \(u={\hat{{{\,\mathrm{R}\,}}}}\), \(f=2({\hat{{{\,\mathrm{R}\,}}}}-2B)\), \(h=2nB^2\), and we call \(C'\) and \(\delta '\) the constants given by the Proposition. Let \(\delta := \frac{\delta '}{3n{\tilde{V}}}\), and compute
We can apply Proposition 3.5 to get the existence of a super-optimal pair (a, b) such that
We can bound
Notice that we can assume \(\alpha _*'\le a\) and \(\beta _*' \le b\) by Remark 3.6, where \(\alpha _*\) and \(\beta _*\) are the exponents given by Lemma 2.8, for which (3.39) holds. Now we apply the super-optimal Moser iteration Lemma 3.3 to get the existence of a constant \(C=C(n,\alpha ,\beta ,\sigma ,r,T,B)\) such that (we use Hölder’s inequality, (3.50), \(\alpha _*'\le a,\beta _*' \le b\) and the definition of \({\hat{{{\,\mathrm{R}\,}}}}\))
It suffices to notice that \(\Vert {{{\,\mathrm{R}\,}}_{+}} \Vert _{\infty ,D'} \le \Vert {{\hat{{{\,\mathrm{R}\,}}}}} \Vert _{\infty ,D'}\) to conclude the proof. \(\square \)
3.3 Proof of Theorem 1.3
In this subsection we use the results of the previous sections to give a proof of Theorem 1.3. Inspired by the proof of Theorem 1.2 we argue by contradiction, assuming that the flow is not extensible, and deduce a contradiction from an asymptotic analysis for a sequence of rescalings. The hypotheses assumed in the statement of Theorem 1.3 naturally lead to rescale the flow with the scalar curvature. Were we rescaling at the maximal Riemann curvature scale, we would have the right bounds needed to extract a blow-up limit, hence we could get a contradiction similar to the one obtained in the proof of Theorem 1.2. Unfortunately, the choice of the scaling factors introduces the technical problem of the lack of compactness for the sequence. In order to deal with this issue, we apply the Moser–Harnack inequality given by Theorem 3.7, which holds uniformly for the sequence of rescalings considered in view of the assumed lower Ricci bound; in fact, the uniformity of the Sobolev constant is guaranteed by Theorem 2.10, and we consider appropriate parabolic regions for the inequality, see below. Finally, we deduce from the finiteness of the mixed integral norm considered that the sequence of rescalings uniformly approaches scalar flatness in a region containing a normalized scalar curvature point, a contradiction.
Proof
Without loss of generality, we can assume that \((\alpha ,\beta )\) is an optimal pair: indeed similar to what we did in the proof of Theorem 1.2, it is sufficient to apply Hölder’s inequality in time to reduce the problem to the optimal case.
Suppose by contradiction that the flow cannot be extended; thus Theorem 1.4 in [13] implies that \(|{{\,\mathrm{Ric}\,}}|\) is unbounded on \(M \times [0,T)\). The assumed lower Ricci bound implies the unboundedness of the scalar curvature, \(\sup _{M \times [0,T)} {{\,\mathrm{R}\,}}=+\infty \). Since the curvature tensor is bounded up to the singular time T, we can pick a sequence of space-time points \((x_i,t_i)\) such that \(t_i \nearrow T\), and
Here C is any constant greater than 1. Set \(Q_i := {{\,\mathrm{R}\,}}(x_i,t_i) \rightarrow +\infty \) and \(P_i := B_{g(t_i)}(x_i,Q_i^{-\frac{1}{2}}) \times [t_i-Q_i^{-1},t_i]\). Clearly, \({{\,\mathrm{R}\,}}\le C Q_i\) on the parabolic region \(P_i\). Consider a sequence of Ricci flows on \(M \times [0,1]\) defined as \(g_i(t):= Q_ig(Q_i^{-1}(t-1)+t_i)\). By construction we get
From this we deduce that the tensor \({{\,\mathrm{Ric}\,}}_i+\frac{B}{Q_i}\) is non-negative, thus
In particular, choosing \(C \le n-2\), we get for i large enough
Moreover, for i large enough, \(-nB \le {{\,\mathrm{R}\,}}(x,t) \le C Q_i\) on \(P_i\) implies \(|{{\,\mathrm{R}\,}}_i| \le C\) on \(B_{g_i(1)}(x_i,1)\), so the \(\kappa \)-non-local-collapsing theorem Theorem 2.2 applies (with scale 2) yielding for every scale \(\rho \) the existence of a constant \(\kappa =\kappa (g(0),n,T)\) such that we have the uniform lower bound
Theorem 2.10 now guarantees the existence of a radius \(r=r(\kappa ,n)\) and a uniform Sobolev constant \(\sigma =\sigma (n,r)\) for every time-slice \(t \in [0,1]\) on the ball \(B_{g_i(1)}(x_i,r)\). We can therefore use Theorem 3.7, by setting
In the following we exploit the finiteness of \(\big \Vert \Vert {{{\,\mathrm{R}\,}}} \Vert _{{\alpha ,M}} \big \Vert _{{\beta ,[0,T)}}\), as well as its scaling invariance in the case \((\alpha ,\beta )\) is an optimal pair, to compute
Since \(\big \Vert \Vert {{{\,\mathrm{R}\,}}} \Vert _{{\alpha ,B_{g_i(1)}(x_i,r)}} \big \Vert _{{\beta ,[0,1)}}+\frac{B}{Q_i} \le \delta \) for i large, where \(\delta =\delta (n,\sigma ,\alpha ,\beta )\) is the one given by Theorem 3.7, we can apply the theorem to obtain
Let us remark, that here we dropped the dependence of the constant C given by Theorem 3.7 on the lower bound \(\frac{B}{Q_i}\) because this last one can be uniformly bounded by any constant asymptotically. However, the points \(x_i\) were selected in such a way that \(\Vert {({{\,\mathrm{R}\,}}_i)_{+}} \Vert _{\infty ,D_i'}\ge {{\,\mathrm{R}\,}}_i(x_i,1)=1\), so the inequality just obtained gives a contradiction for i large enough. \(\square \)
References
Bamler, R.: Convergence of Ricci flows with bounded scalar curvature. Ann. Math. 188(3), 753–831 (2018)
Bamler, R., Zhang, Q.: Heat kernel and curvature bounds in Ricci flows with bounded scalar curvature. Adv. Math. 319, 396–450 (2017)
Chen, X., Wang, B.: On the conditions to extend ricci flow (III). Int. Math. Res. Not. IMRN 2013(10), 2349–2367 (2013)
Hamilton, R.S.: The formation of singularities in the Ricci flow. Surv. Differ. Geom. II, 7–136 (1995)
Hamilton, R.S.: A compactness property for solutions of the ricci flow. Am. J. Math. 117(3), 545–572 (1995)
He, F.: Remarks on the extension of the ricci flow. J. Geom. Anal. 24, 81–91 (2014)
Kleiner, B., Lott, J.: Notes on Perelman’s papers. Geom. Topol. 12, 2857–2858 (2008)
Kotschwar, B., Munteanu, O., Wang, J.: A local curvature estimate for the Ricci flow. J. Funct. Anal. 271(9), 2604–2630 (2016)
Le, N.Q.: Blow up of subcritical quantities at the first singular time of the mean curvature flow. Geom. Dedicata 151(1), 361–371 (2011)
Le, N.Q., Sesum, N.: The mean curvature at the first singular time of the mean curvature flow. Ann. Inst. H. Poincaré Anal. Non Linéaire 27(6), 1441–1459 (2010)
Le, N.Q., Sesum, N.: Remarks on curvature behavior at the first singular time of the Ricci flow. Pac. J. Math. (2010). https://doi.org/10.2140/pjm.2012.255.155
Le, N.Q., Sesum, N.: On the extension of the mean curvature flow. Math. Z. 267(3–4), 583–604 (2011)
Ma, L., Cheng, L.: On the conditions to control curvature tensors of Ricci flow. Ann. Global Anal. Geom. 37, 403–411 (2010)
Perelman, G.: The entropy formula for the Ricci flow and its geometric applications. arXiv:math/0211159v1 (2002)
Sesum, N.: Curvature tensor under the Ricci flow. Am. J. Math. 127(6), 1315–1324 (2005)
Simon, M.: Some integral curvature estimates for the Ricci flow in four dimensions. arXiv:1504.02623 (2015)
Simon, M.: Extending four dimensional Ricci flows with bounded scalar curvature. arXiv:1504.02910v1 (2015)
Shi, W.-X.: Deforming the metric on complete Riemannian manifolds. J. Differ. Geom. 30(1), 223–301 (1989)
Topping, P.M.: Remarks on Hamilton’s compactness theorem for Ricci flow. J. Reine Angew. Math. 692, 173–191 (2014)
Topping, P.M.: Applications of Hamilton’s Compactness Theorem for Ricci Flow. IAS/Park City Math. Ser., vol. 22. Cambridge University Press, Park City, UT (2016)
Wang, B.: On the conditions to extend Ricci flow. Int. Math. Res. Not. 2008(9), 2349–2367 (2008)
Xu, H.-W., Ye, F., Zhao, E.-T.: Extend mean curvature flow with finite integral curvature. Asian J. Math. 15(4), 549–556 (2011)
Ye, R.: Curvature etimates for the Ricci flow I. Calc. Var. Partial Differ. Equ. 31(4), 417–437 (2008)
Ye, R.: Curvature estimates for the Ricci flow II. Calc. Var. Partial Differ. Equ 31(4), 439–455 (2008)
Zhang, Q.S.: Bounds on volume growth of geodesic balls under Ricci flow. Math. Res. Lett. 19(1), 245–253 (2012)
Zhang, Q.S.: A uniform Sobolev inequality under Ricci flow. Int. Math. Res. Not. 2007, rnm056 (2007)
Acknowledgements
I would like to express my gratitude to my supervisor Reto Buzano for his patient guidance, constant support and helpful suggestions.
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.
Appendix A: Proofs of Some Lemmas
Appendix A: Proofs of Some Lemmas
The goal of this appendix is to prove Lemma 2.4. Before doing so, we show an analogous result on the averages.
Lemma A.1
Let (M, g(t)) be a Ricci flow defined in [0, T], and fix a subset \(\Omega ' \subset M\) such that \(0<c \le {{\,\mathrm{Vol}\,}}_{g(t)}(\Omega ')\le C<+\infty \) for every t. Then we have for any measurable u
where
Proof
Without loss of generality we can assume \(u \ge 0\) and \(u\in {\mathbb {L}}^\infty \) (otherwise we prove it for the truncation \(u_M := \max { \{ \min { \{u,M\} },-M\} }\) and then let M to infinity). A simple application of Hölder inequality gives that \(\phi \) is a non-decreasing function of both a and b. Set \(D':= \Omega '\times [0,T]\). We can bound u from above with its essential supremum, so that we obtain
For any \(\varepsilon >0\), by definition of essential supremum we get the existence of a \(\delta >0\) such that, if we set \(E := \{ (x,t) \in D' \mid u(x,t) \ge \sup _{D'}u-\varepsilon \}\), we have
where \(E_t := E \cap (M \times \{ t \})\). Therefore we obtain:
Fubini’s theorem implies that if it was \({{\,\mathrm{Vol}\,}}_{g(t)}(E_t)=0\) for a.e. \(t \in [0,T]\), we would have \(|E_t|=0\) which is contradictory. Thus there exists a set \(A \subset [0,T]\), with \(|A|=\delta '>0\), and numbers \(\delta _t>0\) such that \(f(t):= {{\,\mathrm{Vol}\,}}_{g(t)}(E_t) \ge \delta _t\) for every \(t \in A\). From Lusin’s theorem for every \(\varepsilon '\) we deduce the existence of \(A' \subset A\), which we can assume to be closed and hence compact, with \(|A \setminus A'| \le \varepsilon '\) and f continuous in \(A'\), so that \(f \ge \delta _{\varepsilon '}\) on \(A'\). We can thus deduce
It suffices now to first let a and b go to infinity, and then \(\varepsilon \) to zero to conclude the proof. \(\square \)
Proof of Lemma 2.4
We easily compute
Similarly, we get
The conclusion follows taking the limit for a and b going to infinity. \(\square \)
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
Di Matteo, . Mixed Integral Norms for Ricci Flow. J Geom Anal 31, 4781–4805 (2021). https://doi.org/10.1007/s12220-020-00456-5
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-020-00456-5