English

Notes on real interpolation of operator $L_p$-spaces

Operator Algebras 2021-09-15 v2 Functional Analysis

Abstract

Let M\mathcal{M} be a semifinite von Neumann algebra. We equip the associated noncommutative LpL_p-spaces with their natural operator space structure introduced by Pisier via complex interpolation. On the other hand, for 1<p<1<p<\infty let Lp,p(M)=(L(M),L1(M))1p,pL_{p,p}(\mathcal{M})=\big(L_{\infty}(\mathcal{M}),\,L_{1}(\mathcal{M})\big)_{\frac1p,\,p} be equipped with the operator space structure via real interpolation as defined by the second named author ({\em J. Funct. Anal}. 139 (1996), 500--539). We show that Lp,p(M)=Lp(M)L_{p,p}(\mathcal{M})=L_{p}(\mathcal{M}) completely isomorphically if and only if M\mathcal{M} is finite dimensional. This solves in the negative the three problems left open in the quoted work of the second author. We also show that for 1<p<1<p<\infty and 1q1\le q\le\infty with pqp\neq q (L(M;q),L1(M;q))1p,p=Lp(M;q)\big(L_{\infty}(\mathcal{M};\ell_q),\,L_{1}(\mathcal{M};\ell_q)\big)_{\frac1p,\,p}=L_p(\mathcal{M}; \ell_q) with equivalent norms, i.e., at the Banach space level if and only if M\mathcal{M} is isomorphic, as a Banach space, to a commutative von Neumann algebra. Our third result concerns the following inequality: (ixiq)1qLp(M)(ixir)1rLp(M) \big\|\big(\sum_ix_i^q\big)^{\frac1q}\big\|_{L_p(\mathcal{M})}\le\big\|\big(\sum_ix_i^r\big)^{\frac1r}\big\|_{L_p(\mathcal{M})} for any finite sequence (xi)Lp+(M)(x_i)\subset L_p^+(\mathcal{M}), where 0<r<q<0<r<q<\infty and 0<p0<p\le\infty. If M\mathcal{M} is not isomorphic, as a Banach space, to a commutative von Meumann algebra, then this inequality holds if and only if prp\ge r.

Keywords

Cite

@article{arxiv.2107.08404,
  title  = {Notes on real interpolation of operator $L_p$-spaces},
  author = {Marius Junge and Quanhua Xu},
  journal= {arXiv preprint arXiv:2107.08404},
  year   = {2021}
}
R2 v1 2026-06-24T04:17:41.013Z