On diameter controls and smooth convergence away from singularities

详细信息    查看全文

• 作者：Sajjad Lakzian¹ ; ^{slakzian@fordham.edu" class="auth_mail" title="E-mail the corresponding author}
• 关键词：53C20 ; 51Fxx
• 刊名：Differential Geometry and its Applications
• 出版年：2016
• 出版时间：August 2016
• 年：2016
• 卷：47
• 期：Complete
• 页码：99-129
• 全文大小：605 K

文摘

We prove that if a family of metrics, g_i$g_i$, on a compact Riemannian manifold, Mⁿ$M^n$, have a uniform lower Ricci curvature bound and converge to g_∞$g_{\infty }$ smoothly away from a singular set, S  , with Hausdorff measure, Hⁿ⁻¹(S)=0$H^{n-1}(S)=0$, and if there exists connected precompact exhaustion, W_j$W_j$, of Mⁿ∖S$M^n\setminus S$ satisfying diam_gi(Mⁿ)≤D₀${\mathrm{diam}}_{g_i}(M^n)\le D_0$, Vol_gi(∂W_j)≤A₀${\mathrm{Vol}}_{g_i}(\partial W_j)\le A_0$ and Vol_gi(Mⁿ∖W_j)≤V_j${\mathrm{Vol}}_{g_i}(M^n\setminus W_j)\le V_j$ where lim_j→∞⁡V_j=0${\lim }_{j\to \infty }{V}_j=0$ then the Gromov–Hausdorff limit exists and agrees with the metric completion of (Mⁿ∖S,g_∞)$(M^n\setminus S,g_{\infty })$. 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, ∂W_j$\partial W_j$. 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 18c9e8782ce385cc5c4778d2c1">${\lim }_{j\to \infty }{d}_{\mathcal{F}}(M_j^{\prime },N^{\prime })=0$, in which $M_j^{\prime }$ and N^′$N^{\prime }$ are the settled completions of c2093258db38696f1f2e7b6c26bd5" title="Click to view the MathML source">(M,g_j)$(M,g_j)$ and (M_∞∖S,g_∞)$(M_{\infty }\setminus S,g_{\infty })$ respectively and d_F$d_{\mathcal{F}}$ is the Sormani–Wenger Intrinsic Flat distance. We present examples demonstrating the necessity of many of the hypotheses in our theorems.