ScalingStacks

Theorem 1.2 . [030P]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Theorem 1.2.

In the same setting as Theorem 1.1, for any such limit space (X,dX)(X,d_{X}) there is an open dense subset X0⊂XX_{0}\subset X such that (X0,dX)(X_{0},d_{X}) is locally isometric to (N\f⁡(S),ω)(N\backslash f(S),\omega), i.e. there is a homeomorphism ϕ:N\f⁡(S)⟶X0\phi:N\backslash f(S)\longrightarrow X_{0} satisfying that, for any y∈N\f⁡(S)y\in N\backslash f(S), there is a neighborhood By⊂N\f⁡(S)B_{y}\subset N\backslash f(S) of yy such that, for y1y_{1} and y2∈Byy_{2}\in B_{y},

dω​(y1,y2)=dX​(ϕ⁡(y1),ϕ⁡(y2)).d_{\omega}(y_{1},y_{2})=d_{X}(\phi(y_{1}),\phi(y_{2})).

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.