Intersections of \(\ell^p\) spaces in the Borel hierarchy (Q1998608)

Let \(0\le a< b<\infty\) be fixed. The main result says that the set \(\bigcap_{p>a}\ell^p\) is a \(\Pi^0_3\)-complete subset of the space \(\ell^b\). This answers in negative a question of Nestoridis who proved in [\textit{V.~Nestoridis}, ``A project about chains of spaces, regarding topological and algebraic genericity and spaceability'', Preprint, \url{arXiv:2005.01023}] that \(\ell^a\) is \(F_\sigma\) in \(\ell^b\) if \(a>0\) and asked whether the set \(\bigcap_{p>a}\ell^p\) is \(F_\sigma\) in \(\ell^b\). The fact that \(\bigcap_{p>a}\ell^p\) is \(\Pi^0_3\)-hard, and thus not \(\Sigma^0_3\), is proved by construction of a continuous \(f:2^\omega\to\ell^b\) such that \(f^{-1}(\bigcap_{p>a}\ell^p)=P_3\), where \(P_3\) is a concrete \(\Pi^0_3\)-complete subset of \(2^\omega\). Consequences for Borel classes of \(\bigcap_{p>a}\ell^p\) in some other classical sequence spaces containing \(\bigcap_{p>a}\ell^p\) properly are discussed.