ScalingStacks

Claim 4.1.1 . [027T]

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

Claim 4.1.1.

There are a positive integer aa and a finitely generated lattice ℋ\mathscr{H} of H0​(X,L⊗a)H^{0}(X,L^{\otimes a}) such that

‖.‖ha≤‖.‖ℋ≤ea​ϵ/2​‖.‖ha.\|\raisebox{1.72218pt}{.}\|_{h^{a}}\leq\|\raisebox{1.72218pt}{.}\|_{\mathscr{H}}\leq e^{a\epsilon/2}\|\raisebox{1.72218pt}{.}\|_{h^{a}}.

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