ScalingStacks

Proof. [00LS]

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 Proposition 3.5, there are homomorphisms of Banach algebras induced by the identity map on the dense V∙​(LX|Y)V_{{\scriptscriptstyle\bullet}}(L_{X|Y}):

V^∙​(LX|Y,ϕ​(ϵ/2)X|Yaff)→σ⁡(ϵ/2)|YV^∙​(LX|Y,ϕ​(ϵ/2)X|Y)→ι⁡(ϵ/2)V^∙​(LX|Y,ϕX|Y).\widehat{V}_{{\scriptscriptstyle\bullet}}(L_{X|Y},\phi(\epsilon/2)_{X|Y}^{\mathrm{aff}})\xrightarrow[\sigma(\epsilon/2)|_{Y}]{}\widehat{V}_{{\scriptscriptstyle\bullet}}(L_{X|Y},\phi(\epsilon/2)_{X|Y})\xrightarrow[\iota(\epsilon/2)]{}\widehat{V}_{{\scriptscriptstyle\bullet}}(L_{X|Y},\phi_{X|Y}).

Let τ⁡(ϵ/2)\tau(\epsilon/2) denote the composed homomorphism of Banach kk-algebras. It is a homomorphism from an affinoid algebra to a Banach algebra. It has dense image, so by Proposition 2.27 the induced continuous map

τ​(ϵ/2)∗:𝔐⁡(V^∙​(LX|Y,ϕX|Y))→𝔐⁡(V^∙​(LX|Y,ϕ​(ϵ/2)X|Yaff))\tau(\epsilon/2)^{*}:\mathfrak{M}(\widehat{V}_{{\scriptscriptstyle\bullet}}(L_{X|Y},\phi_{X|Y}))\rightarrow\mathfrak{M}(\widehat{V}_{{\scriptscriptstyle\bullet}}(L_{X|Y},\phi(\epsilon/2)_{X|Y}^{\mathrm{aff}}))

is injective and is closed. As both spaces are compact and Hausdorff, this map is a homeomorphism from its domain to its image. So the homomorphism spectrum Στ⁡(ϵ/2)\Sigma_{\tau(\epsilon/2)} is homeomorphic to 𝔐⁡(V^∙​(LX|Y,ϕX|Y))\mathfrak{M}(\widehat{V}_{{\scriptscriptstyle\bullet}}(L_{X|Y},\phi_{X|Y})), and is contained in Wϵ/2W_{\epsilon/2}.

One performs spectral calculus for the homomorphism τ⁡(ϵ/2)\tau(\epsilon/2) and the special domain Wϵ/2W_{\epsilon/2}: by Theorem 2.81, there exist a homomorphism of Banach kk-algebras

θ​(ϵ/2)Wϵ/2:𝒲ϵ/2→V^∙​(LX|Y,ϕX|Y)\theta(\epsilon/2)_{W_{\epsilon/2}}:\mathcal{W}_{\epsilon/2}\rightarrow\widehat{V}_{{\scriptscriptstyle\bullet}}(L_{X|Y},\phi_{X|Y})

which extends the identity map on the dense sub-kk-algebra V∙​(LX|Y)V_{{\scriptscriptstyle\bullet}}(L_{X|Y}). ∎

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