Every non-normable non-archimedean Köthe space has a quotient without the bounded approximation property (Q2486120)

Fréchet spaces with a Schauder basis have been extensively studied, both in the real or complex case and in the non-archimedean one. As for the second case, that is, when the field of real or complex numbers is replaced by a non-archimedean valued field \(K\), the author is one of the experts in the area, with a large series of good articles on the subject, some of them precursors of the present paper. Here his main result, which is the non-archimedean counterpart of a classical result proved by \textit{E.~Dubinsky} and \textit{D.~Vogt} [Stud. Math. 81, 71--77 (1985; Zbl 0633.46003)], states the following. Theorem. Any non-normable Fréchet space \(E\) over \(K\) with a Schauder basis and a continuous norm has a quotient without the bounded approximation property and hence without a Schauder basis. As a corollary, the author proves the following. Let \(E\) be an infinite-dimensional Fréchet space with a Schauder basis, and consider the following properties: \((\alpha)\) \(E\) is not linearly honeomorphic to any of the spaces \(c_0\), \(c_0 \times K^{\mathbb{N}}\), \(K^{\mathbb{N}}\), \(c_0^{\mathbb{N}}\); \((\beta)\) \(E\) has a quotient without the bounded approximation property (resp., without a Schauder basis). Then \((\alpha) \Rightarrow (\beta)\). Moreover, it is clear that any quotient of \(c_0\) and \(K^{\mathbb{N}}\) has a Schauder basis. By using some results of his previous papers, the author proves that the same is true for \(c_0^{\mathbb{N}}\) and \(c_0 \times K^{\mathbb{N}}\). Therefore, {\((\alpha)\) and \((\beta)\) are equivalent}. The name ``Köthe space'' appears in the title of the paper. The reason is that these (non-archimedean) sequence spaces associated to an infinite matrix, introduced by \textit{N.~De Grande--De Kimpe} in [Indag. Math. 44, 423--439 (1982; Zbl 0509.46062)], play a central role in the paper. In fact, one verifies that every infinite-dimensional Fréchet space with a Schauder basis and a continuous norm is linearly homeomorphic to a Köthe space. Hence it suffices to prove the theorem for a non-normable Köthe space, which is an advantage because then, to get the proof of this result, the author makes use of some interesting properties of these sequence spaces, especially of those that refer to nuclearity.