ScalingStacks

Proposition 2.79 . [00JJ]

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

Proposition 2.79.

Let ๐’œ\mathcal{A} be a kk-affinoid algebra, โ„ฌ\mathcal{B} be a Banach kk-algebra. Let ฯ•:๐’œโ†’โ„ฌ\phi:\mathcal{A}\to\mathcal{B} be a homomorphism of Banach kk-algebras. Then for any open neighbourhood UU in ๐”โก(๐’œ)\mathfrak{M}(\mathcal{A}) of the spectrum ฮฃฯ•\Sigma_{\phi}, there exists a homomorphism of Banach algebras extending ฯ•\phi

ฯ•~:๐’œ~:=๐’œโก{r1โˆ’1โ€‹T1,โ€ฆ,rnโˆ’1โ€‹Tn}โ†’โ„ฌ\widetilde{\phi}:\widetilde{\mathcal{A}}:=\mathcal{A}\{r_{1}^{-1}T_{1},\dots,r_{n}^{-1}T_{n}\}\to\mathcal{B}

such that prโก((ฮฃฯ•)h)โІU\mathrm{pr}((\Sigma_{\phi})^{\mathrm{h}})\subseteq U, where pr:๐”โก(๐’œ~)โ†’๐”โก(๐’œ)\mathrm{pr}:\mathfrak{M}(\widetilde{\mathcal{A}})\to\mathfrak{M}(\mathcal{A}) is the canonical map of projection. ([Ber, Proposition 7.3.3])

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