TY - JOUR

T1 - Closed ideals of operators on the Tsirelson and Schreier spaces

AU - Beanland, Kevin

AU - Kania, Tomasz

AU - Laustsen, Niels

N1 - This is the author’s version of a work that was accepted for publication in Journal of Functional Analysis. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Journal of Functional Analysis, 279, 8, 2020 DOI: 10.1016/j.jfa.2020.108668

PY - 2020/6/1

Y1 - 2020/6/1

N2 - Let B(X) denote the Banach algebra of bounded operators on X, where X is either Tsirelson's Banach space or the Schreier space of order n for some natural number n. We show that the lattice of closed ideals of B(X) has a very rich structure; in particular B(X) contains at least continuum many maximal ideals. Our approach is to study the closed ideals generated by the basis projections. Indeed, the unit vector basis is an unconditional basis for each of the above spaces, so there is a basis projection P_N∈B(X) corresponding to each non-empty subset N of natural numbers. A closed ideal of B(X) is spatial if it is generated by P_N for some set N. We can now state our main conclusions as follows:- the family of spatial ideals lying strictly between the ideal of compact operators and B(X) is non-empty and has no minimal or maximal elements;- for each pair of spatial ideals I and J such that I is properly contained in J, there is a family {Γ_α : α∈Δ}, where the index set Δ has the cardinality of the continuum, such that Γ_α is an uncountable chain of spatial ideals, each lying strictly between I and J, lies stric∪Γ_α is a closed ideal that is not spatial, and the ideal L+M is dense in J whenever α,β∈Δ are distinct and L∈Γ_α, M∈Γ_β.

AB - Let B(X) denote the Banach algebra of bounded operators on X, where X is either Tsirelson's Banach space or the Schreier space of order n for some natural number n. We show that the lattice of closed ideals of B(X) has a very rich structure; in particular B(X) contains at least continuum many maximal ideals. Our approach is to study the closed ideals generated by the basis projections. Indeed, the unit vector basis is an unconditional basis for each of the above spaces, so there is a basis projection P_N∈B(X) corresponding to each non-empty subset N of natural numbers. A closed ideal of B(X) is spatial if it is generated by P_N for some set N. We can now state our main conclusions as follows:- the family of spatial ideals lying strictly between the ideal of compact operators and B(X) is non-empty and has no minimal or maximal elements;- for each pair of spatial ideals I and J such that I is properly contained in J, there is a family {Γ_α : α∈Δ}, where the index set Δ has the cardinality of the continuum, such that Γ_α is an uncountable chain of spatial ideals, each lying strictly between I and J, lies stric∪Γ_α is a closed ideal that is not spatial, and the ideal L+M is dense in J whenever α,β∈Δ are distinct and L∈Γ_α, M∈Γ_β.

KW - Banach space

KW - Tsirelson space

KW - Schreier space

KW - bounded operator

KW - closed operator ideal

KW - ideal lattice

U2 - 10.1016/j.jfa.2020.108668

DO - 10.1016/j.jfa.2020.108668

M3 - Journal article

VL - 279

JO - Journal of Functional Analysis

JF - Journal of Functional Analysis

SN - 0022-1236

IS - 8

M1 - 108668

ER -