A compactness theorem for complete Ricci shrinkers (Q659926)

The authors prove precompactness in an orbifold Cheeger-Gromov sense of complete gradient Ricci shrinkers with a lower bound on their entropy and a local integral Riemann bound. A gradient shrinker is a smooth, connected, complete Riemannian manifold \((M,g)\) satisfying the equation \[ \mathrm{Ric}_g+\mathrm{Hess}_gf=\frac12g, \] for some smooth function \(f:M\to \mathbb R\) (called potential). We assume that \(f\) is normalized so that \(\frac1{(4\pi)^{\frac n2}}\int_M e^{-f}dV_g=1\). The entropy \(\mu(g)\) of a gradient shrinker \((M,g,f)\) is then defined by \(\mu(g)=\mathcal W(g,f)=\frac1{(4\pi)^{\frac n2}}\int_M(|\nabla f|^2_g+R_g+f-n)e^{-f}dV_g\). A basepoint of a gradient Ricci shrinker is a point \(p\in M\) where the potential \(f\) attains its minimum. The main result of the paper is the following Theorem. Let \((M_i,g_i,f_i)\) be a sequence of \(n\)-dimensional normalized gradient shrinkers with basepoints \(p_i\in M_i\), with entropy uniformly bounded from below and uniform local energy bounds \[ \int_{B_r(p_i)}|Rm_{g_i}|^{\frac n2}_{g_i}dV_{g_i}\leq E(r)<\infty. \] Then, a subsequence of \((M_i,g_i,f_i,p_i)\) converges to an orbifold gradient shrinker in the pointed orbifold Cheeger-Gromov sense. For \(n=4\) the authors obtain the same result only assuming that the entropy is uniformly bounded from below, the Euler characteristic is bounded from above \(\chi(M_i)\leq \bar{\chi}<\infty\) and that the potentials do not have critical points at large distances.