Compactness theorems for critical Riemannian 4-manifolds with integral bounds on curvature (Q679353)

In a previous paper [\textit{S.-C. Chang}, Math. Z. 214, 601-625 (1993; Zbl 0801.53030)] the author showed that the space \(G(M)\) of smooth critical metrics on a closed 4-manifold \(M\) satisfying (i) \(\text{Rc}(g)\geq-Hg\), \(\int_M|\text{Rc} |^2 d\mu\leq H\); (ii) \(i_M\geq i_0>0;\) (iii) \(\text{diam}_M\leq d\), for fixed positive constants \(H,i_0,d\), is compact in the \(C^\infty\) topology. Here a metric is critical if it is a critical point of \(SR(g)=\int_M|R_{ijkl}|^2 d\mu_g\), Rc is the Ricci tensor, and \(i_M\) is the injectivity radius. In this paper the author extends these results to more general manifolds. The first result proves compactness for the space \(I(M)\) of critical points satisfying (ii), (iii) above but replacing (i) by (i') \(\int_M|Rc|^2d\mu\leq H,\int_M Rc^p_-d\mu\leq H\rho^{4-2p}\), \(p>2\). The author also proves compactness of \(\widetilde I(M),\) which denotes the critical metrics satisfying (ii), (i'') \(\int_M|Rc|^2 d\mu\leq H\) and (iii') diam\((S_\rho)\leq d\rho\), \(\rho\leq i_0/2\). Here \(S_\rho\) is the geodesic sphere. The argument first uses the critical equations to get local curvature estimates, from which a uniform bound on the Riemannian curvature tensors of critical metrics is obtained. The results follow from applying Gromov's compactness theorem.