Structural Hierarchy of Reid Class of non-Archimedean Banach Spaces

TL;DR

This paper develops a hierarchy for a class of non-Archimedean Banach spaces analogous to Reid's class of Abelian groups, providing classification results and analyzing their structural properties.

Contribution

It introduces a hierarchy for Reid-like Banach spaces over non-Archimedean fields and proves a classification theorem, revealing complex structures not reducible to simple constructions.

Findings

Banach _p$-vector spaces like _0(, _p) are all distinct.

Certain function spaces cannot be expressed via iterated bounded products and sums.

No left adjoint exists for the forgetful functor from _p-reid spaces to Banach _p-vector spaces.

Abstract

Let $k$ be a complete valuation field. We formulate a class $\mathscr{R}$ of Banach $k$-vector spaces analogous to Reid class of Abelian groups. We formulate an analogue of the hierarchy of Reid class introduced by K.\ Eda, and verify a counterpart of the classification theorem of Reid class by K.\ Eda. As an application, we verify that the Banach $\mathbb{C}_p$-vector spaces \begin{eqnarray*} & & \ell^{\infty}(\mathbb{N},\mathbb{C}_p), \text{\rm C}_0(\mathbb{N},\mathbb{C}_p), \ell^{\infty}(\mathbb{N},\text{\rm C}_0(\mathbb{N},\mathbb{C}_p)), \text{\rm C}_0(\mathbb{N},\ell^{\infty}(\mathbb{N},\mathbb{C}_p)), \\ & & \ell^{\infty}(\mathbb{N},\text{\rm C}_0(\mathbb{N},\ell^{\infty}(\mathbb{N},\mathbb{C}_p))), \text{\rm C}_0(\mathbb{N},\ell^{\infty}(\mathbb{N},\text{\rm C}_0(\mathbb{N},\mathbb{C}_p))), \end{eqnarray*} and so on are all distinct, the Banach $\mathbb{C}_p$-vector space of bounded continuous functions $\mathbb{Q} \to \mathbb{C}_p$ and its dual Banach $\mathbb{C}_p$-vector spaces cannot be expressed by iterated application of bounded direct product and completed direct sum, and there is no left adjoint functor of the forgetful functor from $\mathscr{R}$ to the category of Banach $\mathbb{C}_p$-vector spaces.