Polish spaces of Banach spaces. Complexity of isometry and isomorphism classes

Abstract

We study the complexities of isometry and isomorphism classes of separable Banach spaces in the Polish spaces of Banach spaces recently introduced and investigated by the authors in [14]. We obtain sharp results concerning the most classical separable Banach spaces. We prove that the infinite-dimensional separable Hilbert space is characterized as the unique separable infinite-dimensional Banach space whose isometry class is closed, and also as the unique separable infinite-dimensional Banach space whose isomorphism class is $F_{\sigma }$. For $p\in \left[1,2\right)\cup \left(2,\infty \right)$, we show that the isometry classes of $L_p[0,1]$ and ${\ell }_p$ are $G_{\delta }$-complete sets and $F_{\sigma \delta }$-complete sets, respectively. Then we show that the isometry class of $c_0$ is an $F_{\sigma \delta }$-complete set. Additionally, we compute the complexities of many other natural classes of separable Banach spaces; for instance, the class of separable ${\mathcal{L}}_{p,\lambda +}$-spaces, for $p,\lambda \ge 1$, is shown to be a $G_{\delta }$-set, the class of superreflexive spaces is shown to be an $F_{\sigma \delta }$-set, and the class of spaces with local $\Pi$-basis structure is shown to be a ${\mathbf{\Sigma }}_6^0$-set. The paper is concluded with many open problems and suggestions for a future research.

This paper is a result of splitting the original arxiv submission arXiv:1912.03994 into two parts and some polishing - based on the comments of the referees. This is the second part. The original submission arXiv:1912.03994 will be replaced by the first part of the split