Nonmaximal ideals and the Berkovich space of the algebra of bounded analytic functions
type: Item
instance of: scholarly article
title: Nonmaximal ideals and the Berkovich space of the algebra of bounded analytic functions
zbMATH Open document ID: 1377.46054
author: Jesús Araujo
published in: Journal of Mathematical Analysis and Applications
publication date: 2017-08-03T00:00:00Z
full work available at URL: https://arxiv.org/abs/1703.03620
full work available at URL: http://hdl.handle.net/10902/11315
review text: Let \(\mathbb{K}\) be an algebraically closed field, complete with respect to a non-Archimedean (NA) absolute value \(|\cdot|\), and let \(H^\infty\) be the space of \(\mathbb{K}\)-valued bounded analytic functions on the open disk \(\,\mathbb{D} := \{z \in \mathbb{K} : |z| < 1\}\), that is, the space of bounded power series \(f(z)=\sum_0^\infty a_nz^n\). With the norm \(\|f\|=\sup_{n\geq 0}|a_n|=\sup_{z\in \mathbb{D}}|f(z)|\), \(H^\infty\) is a Banach algebra. In contrast to the complex case, a Banach algebra over \(\mathbb{K}\) can contain maximal ideals that are not the kernels of any multiplicative linear functional. For this reason, the classical definition of the spectrum (as the space of maximal ideals) does not carry over to the ultrametric case. \textit{V. G. Berkovich} [Spectral theory and analytic geometry over non-archimedean fields. Providence, RI: American Mathematical Society (1990; Zbl 0715.14013)] found a definition of the multiplicative spectrum in the ultrametric case which agrees with the classical spectrum in the case \(\mathbb{K}=\mathbb C\). Let \(A\) be a commutative unital Banach algebra over \(\mathbb{K}\). The Berkovich spectrum of \(A\), denoted by \(\mathcal M(A)\), is the set of all continuous multiplicative seminorms \(\zeta:A\to[0,\infty)\) with the topology of pointwise convergence. These seminorms can be divided into four classes: I. points whose kernel is a maximal ideal of codimension 1; II. points whose kernel is a maximal ideal of codimension different from 1; III. points whose kernel is trivial, that is, equal to \(\{0\}\); IV. points whose kernel is a nonzero nonmaximal prime ideal. In the case \(A=H^\infty\), points of type I can be identified with points \(z\in \mathbb{D}\) through \(\delta_z(f)=|f(z)|,\, f\in H^\infty\). Points of type III are given by multiplicative norms as, e.g., \(\zeta_D(f)=\sup_{z\in D}|f(z)|\), where \(D\) is a disk contained in \(\mathbb{D}\). It is unknown if \(D\) is dense in \(\mathcal M(H^\infty…
Mathematics Subject Classification ID: 46S10
Mathematics Subject Classification ID: 12J25
Mathematics Subject Classification ID: 30G06
Mathematics Subject Classification ID: 32P05
Mathematics Subject Classification ID: 46J10
zbMATH DE Number: 6756232
zbMATH Keywords: ultrametric Banach algebras
zbMATH Keywords: multiplicative seminorms
zbMATH Keywords: Berkovich space
zbMATH Keywords: multiplicative spectrum
zbMATH Keywords: non-archimedean analytic functions
reviewed by: Stefan Cobzaş
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2597054025
arXiv ID: 1703.03620
cites work: Q5306021
cites work: Q3998951
cites work: Q3994935
cites work: Q4858391
cites work: Q4784074
cites work: The Ultrametric Corona Problem and spherically complete fields
cites work: The corona problem on a complete ultrametric algebraically closed field
cites work: About the ultrametric corona problem
cites work: Q4043544
cites work: Les zéros des fonctions analytiques d'une variable sur un corps valué complet
cites work: Q4492826
cites work: Q3346515
cites work: Q3427175
cites work: Q4059451
DOI: 10.1016/J.JMAA.2017.05.039
description: scientific article