ScalingStacks

Lemma 5.1 . [031K]

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

Lemma 5.1.

There is an open subset X0⊂XX_{0}\subset X such that (X0,dX)(X_{0},d_{X}) is locally isometric to (N0,ω)(N_{0},\omega) where N0=N\f⁡(S)N_{0}=N\backslash f(S), i.e. there is a homeomorphism ϕ:N0⟶X0\phi:N_{0}\longrightarrow X_{0} such that, for any y∈N0y\in N_{0}, there is a neighborhood By⊂N0B_{y}\subset N_{0} of yy satisfying that, if 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})).

Furthermore, for any y∈N0y\in N_{0}, there is a compact neighborhood B⊂N0B\subset N_{0} and a holomorphic section s:B→f−1​(B)s:B\rightarrow f^{-1}(B), i.e., f∘s=idf\circ s={\rm id}, such that s⁡(y)→ϕ⁡(y)s(y)\rightarrow\phi(y) under the Gromov-Hausdorff convergence of (M,ω~tk)(M,\tilde{\omega}_{t_{k}}) to (X,dX)(X,d_{X}).

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