ScalingStacks

Proof. [027D]

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.

For a positive number ϵ>0\epsilon>0, choose a positive integer nn such that

e−ϵen/3hen≤hn≤eϵ​en/3hen.e^{-\epsilon e_{n}/3}h^{e_{n}}\leq h_{n}\leq e^{\epsilon e_{n}/3}h^{e_{n}}.

As hnh_{n} is semipositive, by Corollary 3.11, there is a positive integer mm such that, for all x∈Xanx\in X^{\mathrm{an}}, we can find s∈H0​(X,L⊗m​en)κ^​(x)∖{0}s\in H^{0}(X,L^{\otimes me_{n}})_{\hat{\kappa}(x)}\setminus\{0\} with ‖s‖hnm,κ^​(x)≤em​en​ϵ/3​|s|hnm​(x)\|s\|_{h_{n}^{m},\hat{\kappa}(x)}\leq e^{me_{n}\epsilon/3}|s|_{h_{n}^{m}}(x), so that

‖s‖hm​en,κ^​(x)≤eϵ​m​en/3​‖s‖hnm,κ^​(x)≤e2​m​en​ϵ/3​|s|hnm​(x)≤em​en​ϵ​|s|hm​en​(x).\|s\|_{h^{me_{n}},\hat{\kappa}(x)}\leq e^{\epsilon me_{n}/3}\|s\|_{h_{n}^{m},\hat{\kappa}(x)}\leq e^{2me_{n}\epsilon/3}|s|_{h_{n}^{m}}(x)\leq e^{me_{n}\epsilon}|s|_{h^{me_{n}}}(x).

Therefore, the assertion follows from Corollary 3.11. ∎

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