# Is every ideal part of an operator ideal?

An operator ideal $\mathfrak J$ is a class of continuous operators. Namely, for every pair of complex Banach spaces, $\mathfrak X,\mathfrak Y$, we have that $\mathfrak J(\mathfrak X,\mathfrak Y) \subseteq \mathfrak L(\mathfrak X,\mathfrak Y)$ is a closed two-sided ideal, which means \begin{align*} 1.& \ \ \ A,B\in \mathfrak J(\mathfrak X,\mathfrak Y) \Rightarrow A+B \in \mathfrak J(\mathfrak X,\mathfrak Y), \\ 2.& \ \ \ \mathfrak L(\mathfrak W,\mathfrak X)\mathfrak J(\mathfrak X,\mathfrak Y)\mathfrak L(\mathfrak Y,\mathfrak Z) \subseteq \mathfrak J(\mathfrak W,\mathfrak Z),\ \textrm{and} \\ 3.& \ \ \ \mathfrak J(\mathfrak X,\mathfrak Y) \supseteq \mathfrak F(\mathfrak X,\mathfrak Y), \ \textrm{the finite-rank operators}. \end{align*}

Now for my question: Let $\mathfrak X$ be any complex Banach space and suppose $J$ is a non-trivial closed two-sided ideal of $\mathfrak L(\mathfrak X)$. Can you always find an operator ideal $\mathfrak J$ such that $\mathfrak J(\mathfrak X,\mathfrak X) = J$?

• Shouldn't the middle term in (2) be the set of bounded linear operators between the spaces? Oct 14, 2015 at 18:00
• Yes, it seems you are correct. I was going on my memory of a talk I went to yesterday. I am certainly no expert on these topics. Oct 14, 2015 at 18:08
• Can't you just take $\mathfrak{I}(\mathfrak{X},\mathfrak{X})=J$ and $\mathfrak{I}(\mathfrak{Y},\mathfrak{Z})=\emptyset$ for all $\mathfrak{Y},\mathfrak{Z} \neq \mathfrak{X}$? Oct 14, 2015 at 18:41
• @ChrisHeunen Yes, it seems you are correct! Oct 14, 2015 at 19:18
• An operator ideal is usually assumed in the literature to be non-trivial in the sense that it contains all the (continuous) finite rank operators (it is probably enough to have a single rank 1 operator and then obtain all finite rank operators using the other axioms). But you also want the second condition of your definition to be $\mathfrak{L} (\mathfrak{W} ,\mathfrak{X}) \mathfrak{I} (\mathfrak{X} ,\mathfrak{Y}) \mathfrak{L}(\mathfrak{Y},\mathfrak{Z}) \subseteq \mathfrak{I} (\mathfrak{W} ,\mathfrak{Z})$. Oct 14, 2015 at 20:05

$$\mathfrak{I}(\mathfrak{Y},\mathfrak{Z} ) = {\rm span}\{ T \in \mathfrak{L}(\mathfrak{Y},\mathfrak{Z}) \mid \exists U \in \mathfrak{L}(\mathfrak{Y},\mathfrak{X}) , \exists V \in \mathfrak{L}(\mathfrak{X},\mathfrak{Z}) , \exists S \in \mathfrak{I}(\mathfrak{X}) , T= VSU \}$$
More generally, a 2003 survey article by Laustsen and Loy on closed ideals in $\mathfrak{L}(\mathfrak{X})$ defines the operator ideal generated by a set of operators; they comment that their definition has its roots in wotk of Porta.
{"ft_lang_label":"__label__en","ft_lang_prob":0.66734254,"math_prob":0.9997626,"size":1003,"snap":"2022-40-2023-06","text_gpt3_token_len":359,"char_repetition_ratio":0.37337336,"word_repetition_ratio":0.0,"special_character_ratio":0.29312065,"punctuation_ratio":0.14583333,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999913,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-09-29T01:48:48Z\",\"WARC-Record-ID\":\"<urn:uuid:c36735eb-f0b7-4d57-b312-fc33221f08d8>\",\"Content-Length\":\"109419\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:02e3feff-f973-48f6-a856-402ecba51906>\",\"WARC-Concurrent-To\":\"<urn:uuid:1184c940-c70e-4db3-a88a-cfe1380dde5e>\",\"WARC-IP-Address\":\"151.101.129.69\",\"WARC-Target-URI\":\"https://mathoverflow.net/questions/220912/is-every-ideal-part-of-an-operator-ideal\",\"WARC-Payload-Digest\":\"sha1:RGHXREQNI5SRBLQ3DVA5B6JZM2YRS3LQ\",\"WARC-Block-Digest\":\"sha1:F6WU3RG4OWRU7ETJUFKPQOKBPU637SHL\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-40/CC-MAIN-2022-40_segments_1664030335303.67_warc_CC-MAIN-20220929003121-20220929033121-00608.warc.gz\"}"}