Denote $L\_1=L\_1[0,1]$ The lattice of closed ideals in $\mathcal{L}(L\_1)$ includes the chain
$$
\{0\}\subsetneq\mathcal{K}(L\_1)\subsetneq\mathcal{FS}(L\_1)
\subsetneq\mathcal{J}\_{\ell\_1}(L\_1)\subsetneq\mathcal{S}\_{L\_1}(L\_1)
\subsetneq\mathcal{L}(L\_1).
$$
I believe it's still an open question whether the lattice contains any more distinct elements than the above listed.


One strategy for producing many closed ideals very quickly is to use Schreier-Rosenthal operator ideals, and this has worked, for instance, in the cases $\mathcal{L}(\ell\_1\oplus\ell\_\infty)$. In particular, given a countable ordinal $\xi$, we could seek some special operator $A\in\mathcal{R}\_\zeta(L\_1)\setminus\mathcal{R}\_\xi(L\_1)$ for some $\zeta>\xi$.


Here's how it worked for $\mathcal{L}(\ell\_1\oplus\ell\_\infty)$. Let $T\_\xi$ denote the $\xi$-Tsirelson space, and let $I\_{1,\xi}:\ell\_1\to T\_\xi$ be the formal identity. Of course we can find an embedding $J\_{\xi,\infty}:T\_\xi\to\ell\_\infty$. Then $J\_{\xi,\infty}\circ I\_{1,\xi}$ is class $\mathcal{R}$ but not class $\mathcal{R}\_\xi$. By a result of Beanland/Freeman we can find $\zeta>\xi$ such that it is class $\mathcal{R}\_\zeta$ as well. Then use transfinite induction.


Adapting this approach for $\mathcal{L}(L\_1)$ presents serious difficulties. Of course $L\_1$ contains a complemented copy of $\ell\_1$, so we can still use a formal identity map from $\ell\_1$ onto any space with an unconditional basis. But we can't use $T\_\xi$ because it doesn't embed into $L\_1$. (We know this because every infinite-dimensional subspace of $L\_1$ contains a copy of $\ell\_p$ for some $1\leq p\leq 2$.)


But perhaps there is a way around this. For any scalar sequence $(a\_n)$ we can define
$$\|(a\_n)\|\_\xi=\|(a\_n)\|\_2\vee\sup\_{F\in\mathcal{S}\_\xi}\|(a\_n)\_{n\in F}\|\_1$$
This generates a 1-unconditional basic sequence whose closed linear span we denote $X\_\xi$. Is it possible that $X\_\xi$ (or something like it) embeds into $L\_1$? We would also need to make sure that $\ell\_1$ doesn't embed into $X\_\xi$, but that seems fairly likely given the latter's construction.


In general, to make this work we need to find a space $X\_\xi$ with a basis which is $\xi$-equivalent to $\ell\_1$ and embeds into $L\_1$, but doesn't contain a copy of $\ell\_1$. Frankly, I believe this is asking for too much. Nevertheless, I thought it would be worth seeing what y'all thought before I give up on the idea. And if there is no such space, perhaps that would be worth proving anyway.


Thanks guys!



closed ideals in L(L_1)
Your post is awfully technical for MO, IMO.


The lattice of closed ideals in $L(L\_1)$ contains at least a continuum of elements:


<https://arxiv.org/abs/1811.06571>


