ScalingStacks

Proposition 2.1 . [0156]

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

Proposition 2.1.

There exists an open neighborhood π’±βŠ‚π’³{\mathcal{V}}\subset{\mathcal{X}} of DD and a continuous map Log𝒱:π’±βˆ–D→Δ⁑(D)\operatorname{Log}_{\mathcal{V}}\colon{\mathcal{V}}\setminus D\to\Delta(D) such that for each adapted coordinate chart (𝒰,z)({\mathcal{U}},z) with π’°βŠ‚π’±{\mathcal{U}}\subset{\mathcal{V}} we have Log𝒱⁑(π’°βˆ–D)βŠ‚Οƒπ’°\operatorname{Log}_{\mathcal{V}}({\mathcal{U}}\setminus D)\subset\sigma_{\mathcal{U}} and

Log𝒱=Log𝒰+O⁑(1log⁑|f𝒰,z|βˆ’1)\operatorname{Log}_{\mathcal{V}}=\operatorname{Log}_{{\mathcal{U}}}+O\left(\frac{1}{\log|f_{{\mathcal{U}},z}|^{-1}}\right) (2.2)

uniformly on compact subsets of 𝒰{\mathcal{U}}.

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