ScalingStacks

Proof. [027U]

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.

First we assume that |.||\raisebox{1.72218pt}{.}| is discrete. We choose a positive integer aa such that |ϖ|−1≤ea​ϵ/2|\varpi|^{-1}\leq e^{a\epsilon/2}. We set ℋ:={s∈H0​(X,L⊗a)∣‖s‖ha≤1}\mathscr{H}:=\{s\in H^{0}(X,L^{\otimes a})\mid\|s\|_{h^{a}}\leq 1\}. Note that ℋ\mathscr{H} is a finitely generated lattice of H0​(X,L⊗a)H^{0}(X,L^{\otimes a}) by Proposition 1.17. As ‖.‖ha≤‖.‖ℋ≤|ϖ|−1​‖.‖ha\|\raisebox{1.72218pt}{.}\|_{h^{a}}\leq\|\raisebox{1.72218pt}{.}\|_{\mathscr{H}}\leq|\varpi|^{-1}\|\raisebox{1.72218pt}{.}\|_{h^{a}} by Proposition 1.17, we have the assertion.

Next we assume that |.||\raisebox{1.72218pt}{.}| is not discrete. By Proposition 1.18, there is a lattice 𝒱\mathscr{V} of H0​(X,L)H^{0}(X,L) such that ‖.‖h=‖.‖𝒱\|\raisebox{1.72218pt}{.}\|_{h}=\|\raisebox{1.72218pt}{.}\|_{\mathscr{V}}. By Proposition 1.19, there is a finitely generated lattice ℋ\mathscr{H} of H0​(X,L)H^{0}(X,L) such that ℋ⊆𝒱\mathscr{H}\subseteq\mathscr{V} and ‖.‖h≤‖.‖ℋ≤eϵ/2​‖.‖h\|\raisebox{1.72218pt}{.}\|_{h}\leq\|\raisebox{1.72218pt}{.}\|_{\mathscr{H}}\leq e^{\epsilon/2}\|\raisebox{1.72218pt}{.}\|_{h}, as desired. ∎

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