Noncommutative Lp structure encodes exactly Jordan structure

We define a notion of nonassociative $\mathrm{L}^p$-space associated to a $\mathrm{JBW}^*$-algebra (Jordan von Neumann algebra) equipped with a normal faithful state $\varphi$. In the particular case of $\mathrm{JW}^*$-algebras underlying von Neumann algebras, we connect these spaces to a complex interpolation theorem of Ricard and Xu on noncommutative $\mathrm{L}^p$-spaces. We also make the link with the nonassociative $\mathrm{L}^p$-spaces of Iochum associated to $\mathrm{J...

For any semifinite von Neumann algebra ${\mathcal M}$ and any $1\leq p<\infty$, we introduce a natutal $S^1$-valued noncommutative $L^p$-space $L^p({\mathcal M};S^1)$. We say that a bounded map $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ is $S^1$-bounded (resp. $S^1$-contractive) if $T\otimes I_{S^1}$ extends to a bounded (resp. contractive) map $T\overline{\otimes} I_{S^1}$ from $ L^p({\mathcal M};S^1)$ into $L^p({\mathcal N};S^1)$. We show that any completely positive ...

We study some structural aspects of the subspaces of the non-commutative (Haagerup) L_p-spaces associated with a general (non necessarily semi-finite) von Neumann algebra A. If a subspace X of L_p(A) contains uniformly the spaces \ell_p^n, n>= 1, it contains an almost isometric, almost 1-complemented copy of \ell_p. If X contains uniformly the finite dimensional Schatten classes S_p^n, it contains their \ell_p-direct sum too. We obtain a version of the classical Kadec-Pel czy...

Let $p\in(1,\infty)\backslash\{2\}$. We show that every homomorphism from a $C^{*}$-algebra $\mathcal{A}$ into $B(l^{p}(J))$ satisfies a compactness property where $J$ is any set. As a consequence, we show that a $C^{*}$-algebra $\mathcal{A}$ is isomorphic to a subalgebra of $B(l^{p}(J))$, for some set $J$, if and only if $\mathcal{A}$ is residually finite dimensional.

We show that the class of Banach algebras that can be isometrically represented on an $L^p$-space, for $p\neq 2$, is not closed under quotients. This answers a question asked by Le Merdy 20 years ago. Our methods are heavily reliant on our earlier study of Banach algebras generated by invertible isometries of $L^p$-spaces.

We define norms on $L_p(\mathcal{M}) \otimes M_n$ where $\mathcal{M}$ is a von Neumann algebra and $M_n$ is the complex $n \times n$ matrices. We show that a linear map $T: L_p(\mathcal{M}) \to L_q(\mathcal{N})$ is decomposable if $\mathcal{N}$ is an injective von Neumann algebra, the maps $T \otimes Id_{M_n}$ have a common upper bound with respect to our defined norms, and $p = \infty$ or $q = 1$. For $2p < q < \infty$ we give an example of a map $T$ with uniformly bounded m...

Let $\mathcal{M}$ be a semifinite von Neumann algebra. We equip the associated noncommutative $L_p$-spaces with their natural operator space structure introduced by Pisier via complex interpolation. On the other hand, for $1<p<\infty$ let $$L_{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--...

Let $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ be a bounded operator between two noncommutative $L^p$-spaces, $1\leq p<\infty$. We say that $T$ is $\ell^1$-bounded (resp. $\ell^1$-contractive) if $T\otimes I_{\ell^1}$ extends to a bounded (resp. contractive) map from $L^p({\mathcal M};\ell^1)$ into $L^p({\mathcal N};\ell^1)$. We show that Yeadon's factorization theorem for $L^p$-isometries, $1\leq p\not=2 <\infty$, applies to an isometry $T\colon L^2({\mathcal M})\to L^...

Let $1\leq p<\infty$ and let $T\colon L^p({\mathcal M})\to L^p({\mathcal N})$ be a bounded map between noncommutative $L^p$-spaces. If $T$ is bijective and separating (i.e., for any $x,y\in L^p({\mathcal M})$ such that $x^*y=xy^*=0$, we have $T(x)^*T(y)=T(x)T(y)^*=0$), we prove the existence of decompositions ${\mathcal M}={\mathcal M}_1\mathop{\oplus}\limits^\infty{\mathcal M}_2$, ${\mathcal N}={\mathcal N}_1 \mathop{\oplus}\limits^\infty{\mathcal N}_2$ and maps $T_1\colon L...

Let $(\Omega,\mu)$ be a $\sigma$-finite measure space. Given a Banach space $X$, let the symbol $S(X)$ stand for the unit sphere of $X$. We prove that the space $L^{\infty} (\Omega,\mu)$ of all complex-valued measurable essentially bounded functions equipped with the essential supremum norm, satisfies the Mazur-Ulam property, that is, if $X$ is any complex Banach space, every surjective isometry $\Delta: S(L^{\infty} (\Omega,\mu))\to S(X)$ admits an extension to a surjective ...