ScalingStacks

Proof of Proposition 2.1 . [0158]

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

Proof of Proposition 2.1.

Pick an open cover (𝒱α)α({\mathcal{V}}_{\alpha})_{\alpha} as in Lemma 2.2, and denote by Logα:𝒱α∖D→σα\operatorname{Log}_{\alpha}\colon{\mathcal{V}}_{\alpha}\setminus D\to\sigma_{\alpha} the corresponding maps. Set 𝒱:=⋃α𝒱α{\mathcal{V}}:=\bigcup_{\alpha}{\mathcal{V}}_{\alpha}, and pick a partition of unity (χα)(\chi_{\alpha}) subordinate to (𝒱α)({\mathcal{V}}_{\alpha}). We claim that for each ξ∈𝒱\xi\in{\mathcal{V}} there exists an open neighborhood WW of ξ\xi and a face σW\sigma_{W} of Δ⁡(D)\Delta(D) such that

W∩supp⁡χα≠∅⟹σα⊂σWW\cap\operatorname{supp}\chi_{\alpha}\neq\emptyset\Longrightarrow\sigma_{\alpha}\subset\sigma_{W}

for any α∈A\alpha\in A. Indeed, using (2.3) it is easy to see that

W:=⋂α|ξ∈𝒰α𝒱α∖⋃α|ξ∉supp⁡χβsupp⁡χβW:=\bigcap_{\alpha\mid\xi\in{\mathcal{U}}_{\alpha}}{\mathcal{V}}_{\alpha}\setminus\bigcup_{\alpha\mid\xi\notin\operatorname{supp}\chi_{\beta}}\operatorname{supp}\chi_{\beta}

satisfies this property. By convexity of σW\sigma_{W}, it follows that Log𝒱:=∑αχα​Log𝒱α\operatorname{Log}_{\mathcal{V}}:=\sum_{\alpha}\chi_{\alpha}\operatorname{Log}_{{\mathcal{V}}_{\alpha}} is well-defined on W∖DW\setminus D, and hence yields a continuous map Log𝒱:𝒱∖D→Δ⁡(D)\operatorname{Log}_{\mathcal{V}}\colon{\mathcal{V}}\setminus D\to\Delta(D). The last property is a direct consequence of (2.1). ∎

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