A local curvature bound in Ricci flow (Q969685): Difference between revisions

The author obtains an estimate for the Riemann curvature of a solution of the Ricci flow, closely related to a pseudolocality theorem of Perelman. Theorem 1.2: Given \(n\geq 2\) and \(v_0>0\), there exists \(\epsilon_0>0\), depending only on \(n\) and \(v_0\), which has the following property. For any \(r_0>0\) and \(\epsilon\in (0,\epsilon_0]\) suppose that \((M^n,g(t))\), \(t\in [0,(\epsilon r_0)^2]\), is a complete smooth solution to the Ricci flow with bounded sectional curvature, and suppose that at \(t=0\) for some \(x_0\in M\), we have a curvature bound \(|Rm|(x,0)\leq r_0^2\) for \(x\in B_{g(0)}(x_0,r_0)\) and a volume bound \(Vol_{g(0)}(B_{g(0)}(x_0,r_0))\geq v_0r_0^n\). Then, \(|Rm|(x,t)\leq (\epsilon_0r_0)^{-2}\) for \(t\in[0, (\epsilon r_0)^2]\) and \(x\in B_{g(t)}(x_0,\epsilon_0r_0)\). Assuming the theorem is not true, and showing a point-picking claim, the author gets a contradiction (using also Perelman's pseudolocality theorem). The proof also uses two technical lemmas. The first one says that ``if a ball of radius 1 has bounded sectional curvature and is volume noncollapsing, then the isoperimetric constant on a small size ball is close to the Euclidean one''. Under a certain curvature bound of \(Rm(x,t)\), the second lemma determines the existence of a function \(h\) defined along a solution \((M^n,g(t))\) with \(t\in [0, \hat{t}]\), that satisfies \((\frac{\partial}{\partial t} -\Delta_{g(t)})h\leq \frac{10}{b^2}h\), where \(b >(11/3)(n-1)\hat{t}+1\) is a fixed constant, and \(h\) has support inside a certain \(g(t)\)-ball. In the last section the author presents two examples that shows that neither the volume lower bound assumption nor the completeness assumption on the main theorem can be dropped.