ScalingStacks

Proof. [00MB]

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 Corollary 5.8, the Banach algebra norm ⦀⋅⦀ϕX|Y\vvvert\mathord{\cdot}\vvvert_{\phi_{X|Y}} is an affinoid algebra norm. By Proposition 2.58, there exists C⁡(ϕ,Y)>0C(\phi,Y)>0 such that

⦀⋅⦀ϕX|Y≤C(ϕ,Y,X)⋅⦀⋅⦀ϕX|Y;sp.\vvvert\mathord{\cdot}\vvvert_{\phi_{X|Y}}\leq C(\phi,Y,X)\cdot\vvvert\mathord{\cdot}\vvvert_{\phi_{X|Y};\mathrm{sp}}.

Since ⦀⋅⦀ϕX|Y;sp=⦀⋅⦀ϕ|Y\vvvert\mathord{\cdot}\vvvert_{\phi_{X|Y};\mathrm{sp}}=\vvvert\mathord{\cdot}\vvvert_{\phi|_{Y}} by Corollary 3.27, one gets the bounds. ∎

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