Closed ideals of operators on the Tsirelson and Schreier spaces (Q2192343)

The study of closed, two-sided ideals of algebras of operators on classical Banach spaces goes back to the seminal work of \textit{J. W. Calkin} [Ann. Math. (2) 42, 839--873 (1941; Zbl 0063.00692)], and it is an active and flourishing line of research ever since, right at the intersection of Banach space and Banach algebra theory. The paper under review fits very nicely within this programme. Consider the Banach algebra of bounded linear operators \(\mathscr{B}(X)\), where \(X\) is either Tsirelson's Banach space \(T\) or the Schreier space \(X[\mathcal{S}_n]\) of order \(n\) for some \(n \in \mathbb{N}\). The authors study the lattice of closed, two-sided ideals of \(\mathscr{B}(X)\), and prove a number of deep and interesting results about its properties. One of the most important tools the authors employ in their work is the notion of a so-called \textit{spatial ideal}. If \(X\) is a Banach space with an unconditional basis, then a closed, two-sided ideal generated by some \(P_N\) is called spatial, where \(P_N\) is the coordinate projection corresponding to some subset \(N\) of \(\mathbb{N}\). Deducing general facts about spatial ideals, and building on previous work of \textit{P. G. Casazza} et al. [Isr. J. Math. 47, 81--98 (1984; Zbl 0543.46012)] and \textit{I. Gasparis} and \textit{D. H. Leung} [Stud. Math. 141, No. 3, 273--300 (2000; Zbl 1001.46003)], the authors show the following results: \begin{itemize} \item[(1)] The family of non-trivial spatial ideals of \(\mathscr{B}(X)\) is non-empty and has no minimal or maximal elements. \item[(2)] The Banach algebra \(\mathscr{B}(X)\) contains at least a continuum of closed, two-sided ideals. \item[(3)] \(\mathscr{K}(T)= \mathscr{S}(T)= \mathscr{E}(T) = \bigcap \bigl\{ \mathscr{J} : \mathscr{J}$ is a non-trivial spatial ideal of $ \mathscr{B}(T) \bigr\}\). \item[(4)] \(\mathscr{K}(X[\mathcal{S}_n]) \subsetneq \mathscr{S}(X[\mathcal{S}_n]) = \mathscr{E}(X[\mathcal{S}_n])\) and \(\bigcap \bigl\{ \mathscr{J} : \mathscr{J} $ is a non-trivial spatial ideal of $ \mathscr{B}(X[\mathcal{S}_n]) \bigr\}\) is not contained in \(\mathscr{S}(X[\mathcal{S}_n])\) for any \(n \in \mathbb{N}\). \end{itemize} Here, \(\mathscr{K}, \mathscr{S}\), and \(\mathscr{E}\) denote the closed operator ideals of compact, strictly singular, and inessential operators, respectively. The paper already generated substantial interest in the community. In recent work [``Small operator ideals on the Schlumprecht and Schreier spaces'', Preprint (2020), \url{arXiv:2008.12362}] \textit{A. Manoussakis} and \textit{A. Pelczar-Barwacz} have demonstrated that \(\mathscr{B}(X[\mathcal{S}_n])\) has in fact \(2^{\mathfrak{c}}\) many closed, two-sided ideals. Moreover, they have shown that \(\mathscr{S}(X[\mathcal{S}_n])\) is not contained in the closed, two-sided ideal of operators \(\mathscr{G}_{c_0}(X[\mathcal{S}_n])\) which approximately factor through of \(c_0\), whenever \(n \geqslant 2\), thereby answering a question left open in the paper under review.