On tame operators between non-Archimedean power series spaces (Q353565)

Let \( \mathbb{K}\) be a non-archimedean and non-trivially valued field which is complete under the metric induced by its valuation \(\left| \, \cdot \, \right|\). Let \(A= (a_{n,k})\) be an infinite matrix of real numbers such that \(0 \leq a_{n,k} \leq a_{n,k+1}\) for all \(n,k \in \mathbb{N}\) and \(\sup_k a_{n,k} >0\) for all \(n \in \mathbb{N}\). The \textit{Köthe space} associated to the matrix \(A\) is \(K(A):= \{ x= (x_n) \in \mathbb{K}^{ \mathbb{N}}: \lim_n \left| x_n \right| \, a_{n,k} = 0\) for every \(k \in \mathbb{N}\}\), equipped with the canonical basis of seminorms \((\left| \, \cdot \, \right|_k)\), where \(\left| x \right|_k: = \max_n \left| x_n\right| \, a_{n,k}\), \(k \in \mathbb{N}\). Let \(\Gamma\) be the family of all non-decreasing unbounded sequences of positive real numbers, let \(a =(a_n)\in \Gamma\). Then \(A_1(a):= K(A)\) with \(a_{n,k}= e^{-a_n/k}\) and \(A_{\infty}(a):= K(A)\) with \(a_{n,k}= e^{k a_n}\) are called the \textit{power series spaces of finite type} and \textit{of infinite type}, respectively. They are the most popular and important examples of non-archimedean nuclear Fréchet spaces with a Schauder basis. The authors have investigated several interesting problems for these spaces in some previous papers. Among other things, they have proved that, for each \(a,b \in \Gamma\), the range of every operator (= continuous linear map) from \(A_1(a)\) to \(A_q(b)\) (\(q \in \{ 1, \infty \}\)) has a Schauder basis and that a similar result holds for every operator from \(A_{\infty}(a)\) to \(A_q(b)\) if the set \(M_{b,a}\) of all finite limit points of the double sequence \((b_i / a_j)_{i,j \in \mathbb{N}}\) is bounded. But it is not known whether the assumption on \(M_{b,a}\) is necessary. Hence the following problem arises: Problem. Does the range of every operator from \(A_{\infty}(a)\) to \(A_{\infty}(b)\) have a Schauder basis? In this paper, the authors study \textit{tame operators} from \(A_p(a)\) to \(A_q(b)\) (\(a,b \in \Gamma\), \(p, q \in \{ 1,\infty \}\)), i.e., those operators \(T: A_p(a) \rightarrow A_q(b)\) for which there exists a positive integer \(c\) such that \(\sup_x \left| Tx \right| /\left| x \right|_{ck} < \infty\) for all \(k \in \mathbb{N}\). They show that every operator from \(A_1(a)\) to \(A_q(b)\) is tame. Next, they give a non-archimedean Grothendieck's factorization theorem from which they prove that every operator from \(A_{\infty}(a)\) to \(A_q(b)\) is tame if and only if the set \(M_{b,a}\) is bounded. Finally, they show that the range of every tame operator from \(A_{\infty}(a)\) to \(A_{\infty}(b)\) has a Schauder basis, which provides a partial affirmative answer to the problem posed above.