ScalingStacks

2.2.3. Continuous map [00MN]

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

2.2.3. Continuous map

Proposition 2.26.

Let ฯ•:๐’œ1โ†’๐’œ2\phi:\mathcal{A}_{1}\to\mathcal{A}_{2} be a homomorphism of Banach kk-algebras. It induces a continuous map ฯ•โ‹†:๐”โก(๐’œ2)โ†’๐”โก(๐’œ1)\phi^{\star}:\mathfrak{M}(\mathcal{A}_{2})\to\mathfrak{M}(\mathcal{A}_{1}) by sending an equivalent class of characters [ฯ‡][\chi] of ๐’œ2\mathcal{A}_{2} to the class of characters [ฯ‡โˆ˜ฯˆ][\chi\circ\psi] of ๐’œ1\mathcal{A}_{1}. ([Ber, Remark 1.2.2 (iii)])

Lemma 2.27.

If ฯ•:๐’œ1โ†’๐’œ2\phi:\mathcal{A}_{1}\to\mathcal{A}_{2} is a homomorphism of Banach kk-algebras with dense image, then ฯ•โ‹†\phi^{\star} is an injective map whose image is closed.

Proof.

The map ฯ•โ‹†\phi^{\star} is injective since for any two characters ฯ‡1,ฯ‡2:๐’œ2โ†’K\chi_{1},\chi_{2}:\mathcal{A}_{2}\to K, if ฯ‡1โˆ˜ฯ•=ฯ‡2โˆ˜ฯ•\chi_{1}\circ\phi=\chi_{2}\circ\phi, then the restriction of ฯ‡1\chi_{1} and ฯ‡2\chi_{2} on the image of ฯ•\phi are equal, hence the two characters are equal by the density of image.

Let (z,|โ‹…|z)โˆˆ๐”โก(๐’œ1)(z,\lvert\mathord{\cdot}\rvert_{z})\in\mathfrak{M}(\mathcal{A}_{1}) which is not in the image of ฯ•โ‹†\phi^{\star}, then kerโก(ฯ•)โŠˆ๐”ญz\ker(\phi)\nsubseteq\mathfrak{p}_{z}: otherwise the character ๐’œ1/kerโก(ฯ•)โ†’ฮบ^โ€‹(z)\mathcal{A}_{1}/\ker(\phi)\to\hat{\kappa}(z) extends to a character ๐’œ2โ†’ฮบ^โ€‹(z)\mathcal{A}_{2}\to\hat{\kappa}(z) by the density of image of ฯ•\phi. Now there exists fโˆˆkerโก(ฯ•)โˆ–๐”ญzf\in\ker(\phi)\setminus\mathfrak{p}_{z}, so |f|zโ‰ 0|f|_{z}\neq 0. For small enough ฯต>0\epsilon>0, the basic open set Uโก(f,|f|zโˆ’ฯต,|f|z+ฯต)โŠ‚๐”โก(๐’œ1)U(f;|f|_{z}-\epsilon,|f|_{z}+\epsilon)\subset\mathfrak{M}(\mathcal{A}_{1}) is a neighbourhood of (z,|โ‹…|z)(z,\lvert\mathord{\cdot}\rvert_{z}) which is not contained in the image of ฯ•โ‹†\phi^{\star}. So the image of ฯ•โ‹†\phi^{\star} is a closed subset in ๐”โก(๐’œ1)\mathfrak{M}(\mathcal{A}_{1}). โˆŽ

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