ScalingStacks

Proof: [035T]

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: Let ω∈φtrop​(Uan)\omega\in{\varphi_{\rm trop}}({U^{\rm an}}). We note that φtrop−1​(ω)\varphi_{\rm trop}^{-1}(\omega) is a Laurent domain in Uan{U^{\rm an}} and hence it has the same dimension as UU. We conclude that φtrop−1​(ω)\varphi_{\rm trop}^{-1}(\omega) is not contained in the analytification of the lower dimensional Zariski-closed subset U∖U′U\setminus U^{\prime} and hence ω∈φtrop​((U′)an)\omega\in{\varphi_{\rm trop}}((U^{\prime})^{\rm an}). □\square

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