2.4.1. Holomorphic envelop [00MX]

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.4.1. Holomorphic envelop

The holomorphic convexity of spectrum of a homomorphism of Banach $k$ -algebra depends on the dense-ness of its image. In case where the spectrum of a homomorphism is not holomorphic convex, one can add variables to the source algebra so that spectrum of extended homomorphism is holomorphically convex.

Definition 2.74.

Let $\mathcal{A}$ and $\mathcal{B}$ be Banach $k$ -algebras, and $\phi:\mathcal{A}\to\mathcal{B}$ be a homomorphism of Banach algebras. The spectrum of homomorphism $\phi$ is the image of $\mathfrak{M}(\mathcal{B})$ in $\mathfrak{M}(\mathcal{A})$ under $\phi^{\star}$ . Denote it by $\Sigma_{\phi}$

Definition 2.75.

Let $\mathcal{A}$ be a Banach $k$ -algebra. Let $\Omega$ be a compact subset of $\mathfrak{M}(\mathcal{A})$ . The holomorphic convex envelop of $\Omega$ in $\mathfrak{M}(\mathcal{A})$ is the subset

\Omega^{\mathrm{h}}:=\{z\in\mathfrak{M}(\mathcal{A})\ |\ \forall f\in\mathcal{A},\lvert f\rvert_{z}\leq\sup_{z^{\prime}\in\Omega}\lvert f\rvert_{z^{\prime}}\}

The subset $\Omega$ is said to be holomorphically convex if $\Omega^{\mathrm{h}}=\Omega$ .

Lemma 2.76.

The intersection of all Weierstrass neighbourhoods of $\Omega$ in $\mathfrak{M}(\mathcal{A})$ coincide with $\Omega^{\mathrm{h}}$ . ([Ber, Proposition 2.6.1])

Proposition 2.77.

Let $\mathcal{A}$ be a $k$ -affinoid algebra, $\mathcal{B}$ be a Banach $k$ -algebra. Let $\phi:\mathcal{A}\to\mathcal{B}$ be a homomorphism of Banach $k$ -algebras. Let $\mathcal{B}^{\prime}$ be the closed sub-algebra generated by the image of $\phi$ of $\mathcal{A}$ in $\mathcal{B}$ and let $\phi^{\prime}:\mathcal{A}\to\mathcal{B}^{\prime}$ be the restricted homomorphism. Then $(\Sigma_{\phi})^{\mathrm{h}}=\Sigma_{\phi^{\prime}}$ . ([Ber, Proposition 7.3.1])

Corollary 2.78.

Let $\phi:\mathcal{A}\to\mathcal{B}$ be a homomorphism of Banach algebras from an affinoid algebra to a Banach algebra with dense image. Then $\Sigma_{\phi}$ is holomorphically convex.

One has the following analogue of Arens-Calderon theorem, which holomorphically convexifies the spectrum of a homomorphism of Banach $k$ -algebras by adding variables on the source algebra.

Proposition 2.79.

Let $\mathcal{A}$ be a $k$ -affinoid algebra, $\mathcal{B}$ be a Banach $k$ -algebra. Let $\phi:\mathcal{A}\to\mathcal{B}$ be a homomorphism of Banach $k$ -algebras. Then for any open neighbourhood $U$ in $\mathfrak{M}(\mathcal{A})$ of the spectrum $\Sigma_{\phi}$ , there exists a homomorphism of Banach algebras extending $\phi$

\widetilde{\phi}:\widetilde{\mathcal{A}}:=\mathcal{A}\{r_{1}^{-1}T_{1},\dots,r_{n}^{-1}T_{n}\}\to\mathcal{B}

such that $\mathrm{pr}((\Sigma_{\phi})^{\mathrm{h}})\subseteq U$ , where $\mathrm{pr}:\mathfrak{M}(\widetilde{\mathcal{A}})\to\mathfrak{M}(\mathcal{A})$ is the canonical map of projection. ([Ber, Proposition 7.3.3])