<p>Let <i>E</i>(0, ∞) be a symmetric function space on (0, ∞) such that the set <i>E</i>(0, ∞) ∩<i>L</i><sub>∞</sub>(0, ∞) is distinct from the set <i>L</i><sub><i>p</i></sub>(0, ∞)∩<i>L</i><sub>∞</sub>(0, ∞), 1 ≤ <i>p</i> &lt; 2, and let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2743_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(E(\cal M)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>E</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">M</mi> <mo class="MJX-tex-caligraphic" mathvariant="script" stretchy="false">)</mo> </math></EquationSource> </InlineEquation> be the corresponding symmetric operator space associated with an atomless semifinite <i>σ</i>-finite von Neumann algebra <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2743_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{M}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="script">M</mi> </mrow> </math></EquationSource> </InlineEquation> equipped with a semifinite infinite faithful normal trace <i>τ</i>. We show that there exists a noncommutative probability space <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2743_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\((\cal{N},\sigma)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">N</mi> </mrow> <mo class="MJX-tex-caligraphic" mathvariant="script">,</mo> <mi>σ</mi> <mo class="MJX-tex-caligraphic" mathvariant="script" stretchy="false">)</mo> </math></EquationSource> </InlineEquation> such that <i>E</i>(0, ∞) embeds into <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2743_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(L_{p}(\cal{N})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mi>L</mi> <mrow> <mi>p</mi> </mrow> </msub> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">N</mi> </mrow> <mo class="MJX-tex-caligraphic" mathvariant="script" stretchy="false">)</mo> </math></EquationSource> </InlineEquation> if and only if there exists a noncommutative probability space <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2743_Article_IEq5.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\((\hat{\cal{N}},\hat{\sigma})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mo stretchy="false">(</mo> <mrow> <mover> <mrow> <mi mathvariant="script">N</mi> </mrow> <mo stretchy="false">^</mo> </mover> </mrow> <mo>,</mo> <mrow> <mover> <mi>σ</mi> <mo stretchy="false">^</mo> </mover> </mrow> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2743_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(E(\cal{M})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>E</mi> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">M</mi> </mrow> <mo class="MJX-tex-caligraphic" mathvariant="script" stretchy="false">)</mo> </math></EquationSource> </InlineEquation> embeds into <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11856_2025_2743_Article_IEq7.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(L_{p}(\hat{\cal{N}})\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msub> <mi>L</mi> <mrow> <mi>p</mi> </mrow> </msub> <mo stretchy="false">(</mo> <mrow> <mover> <mrow> <mi mathvariant="script">N</mi> </mrow> <mo stretchy="false">^</mo> </mover> </mrow> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation>. We also establish a discrete version of this result for symmetric sequence space <i>ℓ</i><sub><i>E</i></sub>. These extend and complement earlier results in [37,40,41,55].</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Embeddings of symmetric operator spaces into Lp-spaces, 1 ≤ p < 2, on finite von Neumann algebras

  • Jinghao Huang,
  • Marius Junge,
  • Fedor Sukochev,
  • Dmitriy Zanin

摘要

Let E(0, ∞) be a symmetric function space on (0, ∞) such that the set E(0, ∞) ∩L(0, ∞) is distinct from the set Lp(0, ∞)∩L(0, ∞), 1 ≤ p < 2, and let \(E(\cal M)\) E ( M ) be the corresponding symmetric operator space associated with an atomless semifinite σ-finite von Neumann algebra \(\cal{M}\) M equipped with a semifinite infinite faithful normal trace τ. We show that there exists a noncommutative probability space \((\cal{N},\sigma)\) ( N , σ ) such that E(0, ∞) embeds into \(L_{p}(\cal{N})\) L p ( N ) if and only if there exists a noncommutative probability space \((\hat{\cal{N}},\hat{\sigma})\) ( N ^ , σ ^ ) such that \(E(\cal{M})\) E ( M ) embeds into \(L_{p}(\hat{\cal{N}})\) L p ( N ^ ) . We also establish a discrete version of this result for symmetric sequence space E. These extend and complement earlier results in [37,40,41,55].