HAL CCSD
Spectrum of ultrametric Banach algebras of strictly differentiable functions
Escassut, Alain
Maïnetti, Nicolas
Laboratoire de Mathématiques Blaise Pascal (LMBP) ; Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS)
Université Clermont Auvergne [2017-2020] (UCA [2017-2020])
International audience
ISSN: 0271-4132
EISSN: 1098-3627
Contemporary mathematics
American Mathematical Society
hal-01918238
https://hal.uca.fr/hal-01918238
https://hal.uca.fr/hal-01918238/document
https://hal.uca.fr/hal-01918238/file/Escassut-Mainetti.pdf
https://hal.uca.fr/hal-01918238
Contemporary mathematics, 2018, Advances in Ultrametric Analysis, 704, pp.139-159. ⟨10.1090/conm/704/14165⟩
DOI: 10.1090/conm/704/14165
info:eu-repo/semantics/altIdentifier/doi/10.1090/conm/704/14165
https://www.ams.org/books/conm/704/
en
2000 MSC: Primary 46S10 Secondary 12J25
[MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]
info:eu-repo/semantics/article
Journal articles
Let IK be an ultrametric complete field and let E be an open subset of IK of strictly positive codiameter. Let D(E) be the Banach IK-algebra of bounded strictly differentiable functions from E to IK, a notion whose definition is detailed. It is shown that all elements of D(E) have a derivative that is continuous in E. Given a positive number r > 0, all functions that are bounded and are analytic in all open disks of diameter r are strictly differen-tiable. Maximal ideals and continuous multiplicative semi-norms on D(E) are studied by recalling the relation of contiguity on ultrafilters: an equivalence relation. So, the maximal spectrum of D(E) is in bijection with the set of equivalence classes with respect to contiguity. Every prime ideal of D(E) is included in a unique maximal ideal and every prime closed ideal of D(E) is a maximal ideal, hence every continuous multiplicative semi-norm on D(E) has a kernel that is a maximal ideal. If IK is locally compact, every maximal ideal of D(E) is of codimension 1. Every maximal ideal of D(E) is the kernel of a unique continuous multiplicative semi-norm and every continuous multiplicative semi-norm is defined as the limit along an ultrafilter on E. Consequently , the set of continuous multiplicative semi-norms defined by points of E is dense in the whole set of all continuous multiplicative semi-norms. The Shilov boundary of D(E) is equal to the whole set of continuous multiplicative semi-norms. Many results are similar to those concerning algebras of uniformly continuous functions but some specific proofs are required. Introduction and preliminaries:
2018
info:eu-repo/semantics/OpenAccess