Hostname: page-component-7c8c6479df-nwzlb Total loading time: 0 Render date: 2024-03-29T08:14:43.503Z Has data issue: false hasContentIssue false

The Ultrametric Corona Problem and spherically complete fields

Published online by Cambridge University Press:  30 April 2010

Alain Escassut
Affiliation:
Laboratoire de Mathématiques, UMR 6620, Université Blaise Pascal (Clermont-Ferrand), Les Cézeaux, 63177 Aubiere cedex, France (alain.escassut@math.univ-bpclermont.fr)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let K be a complete ultrametric algebraically closed field and let A be the Banach K-algebra of bounded analytic functions in the ‘open’ unit disc D of K provided with the Gauss norm. Let Mult(A,‖ · ‖) be the set of continuous multiplicative semi-norms of A provided with the topology of simple convergence, let Multm(A, ‖ · ‖) be the subset of the φ ∈ Mult(A, ‖ · ‖) whose kernel is a maximal ideal and let Multa(A, ‖ · ‖) be the subset of the φ ∈ Mult(A, ‖ · ‖) whose kernel is a maximal ideal of the form (xa)A with aD. We complete the characterization of continuous multiplicative norms of A by proving that the Gauss norm defined on polynomials has a unique continuation to A as a norm: the Gauss norm again. But we find prime closed ideals that are neither maximal nor null. The Corona Problem on A lies in two questions: is Multa(A, ‖ · ‖) dense in Multm(A, ‖ · ‖)? Is it dense in Multm(A, ‖ · ‖)? In a previous paper, Mainetti and Escassut showed that if each maximal ideal of A is the kernel of a unique φ ∈ Mult(m(A, ‖ · ‖), then the answer to the first question is affirmative. In particular, the authors showed that when K is strongly valued each maximal ideal of A is the kernel of a unique φ ∈ Mult(m(A, ‖ · ‖). Here we prove that this uniqueness also holds when K is spherically complete, and therefore so does the density of Multa(A, ‖ · ‖) in Multm(A, ‖ · ‖).

Type
Research Article
Copyright
Copyright © Edinburgh Mathematical Society 2010