Smooth convergence away from singular sets

From MaRDI portal



Abstract: We consider sequences of metrics, gj, on a Riemannian manifold, M, which converge smoothly on compact sets away from a singular set SsubsetM, to a metric, ginfty, on MsetminusS. We prove theorems which describe when Mj=(M,gj) converge in the Gromov-Hausdorff sense to the metric completion, (Minfty,dinfty), of (MsetminusS,ginfty). To obtain these theorems, we study the intrinsic flat limits of the sequences. A new method, we call hemispherical embedding, is applied to obtain explicit estimates on the Gromov-Hausdorff and Intrinsic Flat distances between Riemannian manifolds with diffeomorphic subdomains. Seven years after the publication of this paper in CAG, Brian Allen discovered a counter example to the published statement of Theorem 1.3. Note that Theorem 4.6 (which is the key theorem cited in other papers) remains correct. We have added an hypothesis to correct the statement of Theorem 1.3 and its consequences. This v4 includes corrections in blue, an erratum at the end of the introduction, and Brian Allen's example in an appendix. An erratum is also being sent to the journal.


The paper under review investigates the situation when a sequence \(g_j\) of Riemannian metrics on a manifold \(M\) converges smoothly (as tensors) outside some set \(S\) to \(g_\infty\) and it asks under which assumptions \((M,g_i)\) Gromov-Hausdorff converges to the metric completion of \((M-S,g_\infty)\). The authors prove a number of theorems and present a number of examples with and without Ricci curvature bounds. One fairly general result is the following:NEWLINENEWLINEIf a sequence of oriented compact Riemannian manifolds with uniform lower curvature bounds and uniformly bounded diameter converges smoothly away from a codimension 2 submanifold \(S\) and if there exists a connected precompact exhaustion \(W_j\) of \(M-S\) with \(\mathrm{Vol}_{g_i}(\partial W_j)\) uniformly bounded and \(\mathrm{Vol}_{g_i}(M-W_j)\leq V_j\) for some sequence \(V_j\rightarrow 0\), then \((M,g_i)\) Gromov-Hausdorff converges to the metric completion of \((M-S,g_\infty)\).NEWLINENEWLINEThe paper is well written with many examples and many pictures.











This page was built for publication: Smooth convergence away from singular sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q357205)