ScalingStacks

Proof. [026X]

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.

If VV has an orthogonal basis with respect to ‖.‖\|\raisebox{1.72218pt}{.}\|, then the assertion follows from Lemma 3.3.

In general, by Proposition 1.3, for each n∈ℤ>0n\in\mathbb{Z}_{>0}, we choose a basis

(en,0,en,1,…,en,r)(e_{n,0},e_{n,1},\ldots,e_{n,r})

of VV such that

(1−1/n)​max⁡{|c0|​‖en,0‖,…,|cr|​‖en,r‖}≤‖c0​en,0+⋯+cr​en,r‖(1-1/n)\max\{|c_{0}|\|e_{n,0}\|,\ldots,|c_{r}|\|e_{n,r}\|\}\leq\|c_{0}e_{n,0}+\cdots+c_{r}e_{n,r}\|

for all c0,…,cr∈kc_{0},\ldots,c_{r}\in k. If we set

‖c0​en,0+⋯+cr​en,r‖n:=max⁡{|c0|​‖en,0‖,…,|cr|​‖en,r‖}\|c_{0}e_{n,0}+\cdots+c_{r}e_{n,r}\|_{n}:=\max\{|c_{0}|\|e_{n,0}\|,\ldots,|c_{r}|\|e_{n,r}\|\}

for c0,…,cr∈kc_{0},\ldots,c_{r}\in k. Then (1−1/n)​‖.‖n≤‖.‖≤‖.‖n(1-1/n)\|\raisebox{1.72218pt}{.}\|_{n}\leq\|\raisebox{1.72218pt}{.}\|\leq\|\raisebox{1.72218pt}{.}\|_{n}, so that

(1−1/n)​|.|(V,‖.‖n)quot​(x)≤|.|(V,‖.‖)quot​(x)≤|.|(V,‖.‖n)quot​(x)(1-1/n)|\raisebox{1.72218pt}{.}|_{(V,\|\raisebox{1.20552pt}{.}\|_{n})}^{\mathrm{quot}}(x)\leq|\raisebox{1.72218pt}{.}|_{(V,\|\raisebox{1.20552pt}{.}\|)}^{\mathrm{quot}}(x)\leq|\raisebox{1.72218pt}{.}|_{(V,\|\raisebox{1.20552pt}{.}\|_{n})}^{\mathrm{quot}}(x)

for all x∈Xanx\in X^{\mathrm{an}}. Let ω\omega be a local basis of LL over an open set UU. Then the above inequalities imply that

log⁡(1−1/n)≤log⁡(|ω|(V,‖.‖)quot​(x))−log⁡(|ω|(V,‖.‖n)quot​(x))≤0\log(1-1/n)\leq\log\left(|\omega|_{(V,\|\raisebox{1.20552pt}{.}\|)}^{\mathrm{quot}}(x)\right)-\log\left(|\omega|_{(V,\|\raisebox{1.20552pt}{.}\|_{n})}^{\mathrm{quot}}(x)\right)\leq 0

for all x∈Uanx\in U^{\mathrm{an}}, which shows that the sequence {log⁡(|ω|(V,‖.‖n)quot​(x))}n=1∞\left\{\log\left(|\omega|_{(V,\|\raisebox{1.20552pt}{.}\|_{n})}^{\mathrm{quot}}(x)\right)\right\}_{n=1}^{\infty} converges to log⁡(|ω|(V,‖.‖)quot​(x))\log\left(|\omega|_{(V,\|\raisebox{1.20552pt}{.}\|)}^{\mathrm{quot}}(x)\right) uniformly on UanU^{\mathrm{an}}. Thus, by the previous observation, log⁡(|ω|(V,‖.‖)quot​(x))\log\left(|\omega|_{(V,\|\raisebox{1.20552pt}{.}\|)}^{\mathrm{quot}}(x)\right) is continuous on UanU^{\mathrm{an}}. ∎

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