ScalingStacks

Proof. [05C5]

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.

By Lemma B.3 we may approximate φ\varphi by functions of the form 1dm​log⁡|𝔞m|\frac{1}{d_{m}}\log|\mathfrak{a}_{m}| for some vertical coherent fractional ideals 𝔞m\mathfrak{a}_{m} on 𝒳\mathscr{X}. On the generic fibre of a building block 𝔘\mathfrak{U}, the function log⁡|𝔞m|\log|\mathfrak{a}_{m}| is given as the maximum of the functions log⁡|f|\log|f| where ff runs through a finite set of generators of 𝔞m|𝔘\mathfrak{a}_{m}\Big|_{\mathfrak{U}}. Since the properties we are looking for are stable under taking the maximum, these functions have them by Lemma B.1. But they are also stable under uniform limits so we are done. ∎

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