On diameter controls and smooth convergence away from singularities

We prove that if a family of metrics, gigi, on a compact Riemannian manifold, MnMn, have a uniform lower Ricci curvature bound and converge to g∞g∞ smoothly away from a singular set, S  , with Hausdorff measure, Hn−1(S)=0Hn−1(S)=0, and if there exists connected precompact exhaustion, WjWj, of Mn∖SMn∖S satisfying diamgi(Mn)≤D0diamgi(Mn)≤D0, Volgi(∂Wj)≤A0Volgi(∂Wj)≤A0 and Volgi(Mn∖Wj)≤VjVolgi(Mn∖Wj)≤Vj where limj→∞⁡Vj=0limj→∞⁡Vj=0 then the Gromov–Hausdorff limit exists and agrees with the metric completion of (Mn∖S,g∞)(Mn∖S,g∞). This is a strong improvement over prior work of the author with Sormani that had the additional assumption that the singular set had to be a smooth submanifold of codimension two. We have a second main theorem in which the Hausdorff measure condition on S   is replaced by diameter estimates on the connected components of the boundary of the exhaustion, ∂Wj∂Wj. This second theorem allows for singular sets which are open subregions of the manifold. In addition, we show that the uniform lower Ricci curvature bounds in these theorems can be replaced by the existence of a uniform linear contractibility function. If this condition is removed altogether, then we prove that limj→∞⁡dF(Mj′,N′)=0, in which Mj′ and N′N′ are the settled completions of (M,gj)(M,gj) and (M∞∖S,g∞)(M∞∖S,g∞) respectively and dFdF is the Sormani–Wenger Intrinsic Flat distance. We present examples demonstrating the necessity of many of the hypotheses in our theorems.