ScalingStacks

Proof. [00KB]

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.

As V∙​(L)V_{{\scriptscriptstyle\bullet}}(L) is a finitely generated sub-kk-algebra of V^∙​(L,ϕ)\widehat{V}_{{\scriptscriptstyle\bullet}}(L,\phi) which is dense for the topology induced by Banach algebra norm, by Proposition 2.44, there exists an affinoid algebra norm ⦀⋅⦀ϕaff\vvvert\mathord{\cdot}\vvvert_{\phi}^{\mathrm{aff}} on V∙​(L)V_{{\scriptscriptstyle\bullet}}(L) and a homomorphism of Banach algebras

σ:V^∙​(L,ϕaff)→V^∙​(L,ϕ).\sigma:\widehat{V}_{{\scriptscriptstyle\bullet}}(L,\phi^{\mathrm{aff}})\rightarrow\widehat{V}_{{\scriptscriptstyle\bullet}}(L,\phi).

One then takes ⦀⋅⦀ϕ,X|Yaff\vvvert\mathord{\cdot}\vvvert_{\phi,X|Y}^{\mathrm{aff}} on V∙​(LX|Y)V_{{\scriptscriptstyle\bullet}}(L_{X|Y}) to be the quotient norm of ⦀⋅⦀ϕaff\vvvert\mathord{\cdot}\vvvert_{\phi}^{\mathrm{aff}}. By Example 2.42, this quotient norm is also an affinoid algebra norm. By this quotient construction, there exists a homomorphism of Banach kk-algebras

σ|Y:V^∙​(LX|Y,ϕX|Yaff)→V^∙​(LX|Y,ϕX|Y)\sigma|_{Y}:\widehat{V}_{{\scriptscriptstyle\bullet}}(L_{X|Y},\phi_{X|Y}^{\mathrm{aff}})\rightarrow\widehat{V}_{{\scriptscriptstyle\bullet}}(L_{X|Y},\phi_{X|Y})

which fits into a commutative diagram with iY​(ϕ)i_{Y}(\phi) and iY​(ϕaff)i_{Y}(\phi^{\mathrm{aff}}). ∎

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