The corona problem on a complete ultrametric algebraically closed field (Q2628821)

Let \(\mathbb{K}\) be an algebraically closed and complete ultrametric valued field. Let \(A\) be the \(\mathbb{K}\)-algebra of bounded power series converging in the open unit ball \(D\) of \(\mathbb{K}\). \(A\) is complete with respect to the Gauss norm defined by \(\| \sum_n a_n x^n \| = \sup_n \left| a_n \right|\). Let \(\mathrm{Mult}_1(A)\) be the set of all continuous multiplicative seminorms on \(A\) whose kernel is a maximal ideal of the form \((x-a)\) with \(a \in D\) and let \(\mathrm{Mult}_m(A)\) be the set of all continuous multiplicative seminorms on \(A\) whose kernel is a maximal ideal. One usually calls ultrametric corona problem the following question: Is \(\mathrm{Mult}_1(A)\) dense in \(\mathrm{Mult}_m(A)\) with respect to the topology of pointwise convergence? In [Proc. Edinb. Math. Soc., II. Ser. 53, No. 2, 353--371 (2010; Zbl 1253.46056)], the author gave a positive answer to that question when \(\mathbb{K}\) is spherically complete, i.e., every decreasing sequence of balls in \(\mathbb{K}\) has a non-empty intersection. The key point to obtain that answer is the following property for spherically complete \(\mathbb{K}\), proved by \textit{M. Lazard} in [Publ. Math., Inst. Hautes Étud. Sci. 14, 223--251 (1962; Zbl 0119.03701)]: For every sequence \((a_n)_n\) in \(\mathbb{K}\) with \(\left| a_n \right| <1\) for all \(n\) and \(\lim_n \left| a_n \right| =1\) and every sequence of integers \((q_n)_n\), there exists an \(f \in A\) such that each \(a_n\) is a zero of order \(q_n\) of \(f\). But if \(\mathbb{K}\) is not spherically complete, then there exist counterexamples showing that such functions \(f\) sometimes do not exist. In the present paper, the author develops a clever idea to generalize his affirmative answer to the ultrametric corona problem given in [loc. cit.] to the general case of an algebraically closed field \(\mathbb{K}\). Such a field admits a spherical completion \(\hat{K}\), which is again algebraically closed. Then he shows that his solution to the problem for the spherically complete field \(\hat{K}\) leads to find the solution to it for the original field \(\mathbb{K}\), by using a closed subspace \(M\) of \(\hat{K}\) which is of countable type, i.e., there exists a countable subset of \(M\) whose linear hull is dense in \(M\). Banach spaces of countable type are the adequate ultrametric substitutes of the real or complex separable Banach spaces. Thus, the main tools used in the paper are a combination of ultrametric holomorphic functional calculus and ultrametric Banach space theory. The affirmative answer to the ultrametric corona problem given in this paper for any \(\mathbb{K}\) applies to interesting non-spherically complete fields such as the so called \(p\)-adic complex field \(\mathbb{C}_p\) (\(p\) a prime number), which is the completion of the algebraic closure of the field \(\mathbb{Q}_p\) of \(p\)-adic numbers.