English

Surjective separating maps on noncommutative $L^p$-spaces

Operator Algebras 2021-04-19 v2

Abstract

Let 1p<1\leq p<\infty and let T ⁣:Lp(M)Lp(N)T\colon L^p({\mathcal M})\to L^p({\mathcal N}) be a bounded map between noncommutative LpL^p-spaces. If TT is bijective and separating (i.e., for any x,yLp(M)x,y\in L^p({\mathcal M}) such that xy=xy=0x^*y=xy^*=0, we have T(x)T(y)=T(x)T(y)=0T(x)^*T(y)=T(x)T(y)^*=0), we prove the existence of decompositions M=M1M2{\mathcal M}={\mathcal M}_1\mathop{\oplus}\limits^\infty{\mathcal M}_2, N=N1N2{\mathcal N}={\mathcal N}_1 \mathop{\oplus}\limits^\infty{\mathcal N}_2 and maps T1 ⁣:Lp(M1)Lp(N1)T_1\colon L^p({\mathcal M}_1)\to L^p({\mathcal N}_1), T2 ⁣:Lp(M2)Lp(N2)T_2\colon L^p({\mathcal M}_2)\to L^p({\mathcal N}_2), such that T=T1+T2T=T_1+T_2, T1T_1 has a direct Yeadon type factorisation and T2T_2 has an anti-direct Yeadon type factorisation. We further show that T1T^{-1} is separating in this case. Next we prove that for any 1p<1\leq p<\infty (resp. any 1p2<1\leq p\not=2<\infty), a surjective separating map T ⁣:Lp(M)Lp(N)T\colon L^p({\mathcal M})\to L^p({\mathcal N}) is S1S^1-bounded (resp. completely bounded) if and only if there exists a decomposition M=M1M2{\mathcal M}={\mathcal M}_1 \mathop{\oplus}\limits^\infty{\mathcal M}_2 such that TLp(M1)T|_{L^p({\tiny {\mathcal M}_1})} has a direct Yeadon type factorisation and M2{\mathcal M}_2 is subhomogeneous.

Keywords

Cite

@article{arxiv.2009.05919,
  title  = {Surjective separating maps on noncommutative $L^p$-spaces},
  author = {Christian Le Merdy and Safoura Zadeh},
  journal= {arXiv preprint arXiv:2009.05919},
  year   = {2021}
}

Comments

Accepted for publication in Mathematische Nachrichten

R2 v1 2026-06-23T18:29:50.781Z