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 be a Banach ring, that is, a commutative ring that is complete with respect to a submultiplicative norm . The Berkovich spectrum is the set of all bounded multiplicative seminorms on . In other words, a point corresponds to a function such that , , and for . The spectrum is a nonempty, compact Hausdorff space with respect to the topology of pointwise convergence.
For , denote by the kernel of . This is a prime ideal of , and defines a multiplicative norm on . The completion of the fraction field of with respect to this norm is a valued field . We write for the image of in ; then . The assignment yields a map that is continuous for the Zariski topology .
Example A.1.
If is a valued field (i.e. a field with a multiplicative norm), then is a singleton.
Example A.2.
When is a complex Banach algebra, the Gelfand-Mazur Theorem implies that the Berkovich spectrum agrees with the maximal ideal spectrum.