ScalingStacks

A.1. Berkovich spectra [018C]

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

A.1. Berkovich spectra

Let AA be a Banach ring, that is, a commutative ring that is complete with respect to a submultiplicative norm ∥⋅∥\|\cdot\|. The Berkovich spectrum ℳ⁡(A){\mathcal{M}}(A) is the set of all bounded multiplicative seminorms on AA. In other words, a point x∈ℳ⁡(A)x\in{\mathcal{M}}(A) corresponds to a function |⋅|x:A→ℝ≥0|\cdot|_{x}\colon A\to{\mathbb{R}}_{\geq 0} such that |⋅|x≤∥⋅∥|\cdot|_{x}\leq\|\cdot\|, |1|x=1|1|_{x}=1, |f+g|x≤|f|x+|​g|x|f+g|_{x}\leq|f|_{x}+|g|_{x} and |f​g|x=|f|x|​g|x|fg|_{x}=|f|_{x}|g|_{x} for f,g∈Af,g\in A. The spectrum is a nonempty, compact Hausdorff space with respect to the topology of pointwise convergence.

For x∈ℳ⁡(A)x\in{\mathcal{M}}(A), denote by 𝔭x{\mathfrak{p}}_{x} the kernel of |⋅|x|\cdot|_{x}. This is a prime ideal of AA, and |⋅|x|\cdot|_{x} defines a multiplicative norm on A/𝔭xA/{\mathfrak{p}}_{x}. The completion of the fraction field of A/𝔭xA/{\mathfrak{p}}_{x} with respect to this norm is a valued field ℋ⁡(x){\mathcal{H}}(x). We write f⁡(x)f(x) for the image of f∈Af\in A in ℋ⁡(x){\mathcal{H}}(x); then |f⁡(x)|=|f|x|f(x)|=|f|_{x}. The assignment x↦𝔭xx\mapsto{\mathfrak{p}}_{x} yields a map ℳ⁡(A)→Spec⁡(A){\mathcal{M}}(A)\to\operatorname{Spec}(A) that is continuous for the Zariski topology Spec⁡(A)\operatorname{Spec}(A).

Example A.1.

If kk is a valued field (i.e. a field with a multiplicative norm), then ℳ⁡(k){\mathcal{M}}(k) is a singleton.

Example A.2.

When AA is a complex Banach algebra, the Gelfand-Mazur Theorem implies that the Berkovich spectrum agrees with the maximal ideal spectrum.

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