Noncommutative Lp structure encodes exactly Jordan structure

For von Neumann algebras M, N not isomorphic to C^2 and without type I_2 summands, we show that for an order-isomorphism f:AbSub(M)->AbSub(N) between the posets of abelian von Neumann subalgebras of M and N, there is a unique Jordan *-isomorphism g:M->N with the image g[S] equal to f(S) for each abelian von Neumann subalgebra S of M. The converse also holds. This shows the Jordan structure of a von Neumann algebra not isomorphic to C^2 and without type I_2 summands is determi...

We prove the following noncommutative version of Lewis's classical result. Every n-dimensional subspace E of Lp(M) (1<p<\infty) for a von Neumann algebra M satisfies d_{cb}(E, RC^n_{p'}) \leq c_p n^{\abs{1/2-1/p}} for some constant c_p depending only on $p$, where $1/p +1/p' =1$ and $RC^n_{p'} = [R_n\cap C_n, R_n+C_n]_{1/p'}$. Moreover, there is a projection $P:Lp(M) --> Lp(M)$ onto E with $\norm{P}_{cb} \leq c_p n^{\abs{1/2-1/p}}.$ We follow the classical change of density a...

We prove the first theorem on projections on general noncommutative $\mathrm{L}^p$-spaces associated with non-type I von Neumann algebras where $1 \leq p < \infty$. This is the first progress on this topic since the seminal work of Arazy and Friedman [Memoirs AMS 1992] where the problem of the description of contractively complemented subspaces of noncommutative $\mathrm{L}^p$-spaces is explicitly raised. We show that the range of a 2-positive contractive projection on an arb...

We prove that a quotient of subspace of $C_p\oplus_pR_p$ ($1\le p<2$) embeds completely isomorphically into a noncommutative $L_p$-space, where $C_p$ and $R_p$ are respectively the $p$-column and $p$-row Hilbertian operator spaces. We also represent $C_q$ and $R_q$ ($p<q\le2$) as quotients of subspaces of $C_p\oplus_pR_p$. Consequently, $C_q$ and $R_q$ embed completely isomorphically into a noncommutative $L_p(M)$. We further show that the underlying von Neumann algebra $M$ c...

We provide a complete description of those Banach algebras that are generated by an invertible isometry of an $L^p$-space together with its inverse. Examples include the algebra $PF_p(\mathbb{Z})$ of $p$-pseudofunctions on $\mathbb{Z}$, the commutative $C^*$-algebra $C(S^1)$ and all of its quotients, as well as uncountably many `exotic' Banach algebras. We associate to each isometry of an $L^p$-space, a spectral invariant called `spectral configuration', which contains cons...

We continue our investigation of contractive projections on noncommutative $\mathrm{L}^p$-spaces where $1 < p < \infty$ started in \cite{ArR19}. We improve the results of \cite{ArR19} and we characterize precisely the positive contractive projections on a noncommutative $\mathrm{L}^p$-space associated with a $\sigma$-finite von Neumann algebra. We connect this topic to the theory of $\mathrm{JW}^*$-algebras. More precisely, in large cases, we are able to show that the range o...

In this article we show that positive surjective isometries between symmetric spaces associated with semi-finite von Neumann algebras are projection disjointness preserving if they are finiteness preserving. This is subsequently used to obtain a structural description of such isometries. Furthermore, it is shown that if the initial symmetric space is a strongly symmetric space with absolutely continuous norm, then a similar structural description can be obtained without requi...

Let $M$ and $N$ be unital Jordan-Banach algebras, and let $M^{-1}$ and $N^{-1}$ denote the sets of invertible elements in $M$ and $N$, respectively. Suppose that $\mathfrak{M}\subseteq M^{-1}$ and $\mathfrak{N}\subseteq N^{-1}$ are clopen subsets of $M^{-1}$ and $N^{-1}$, respectively, which are closed for powers, inverses and products of the form $U_{a} (b)$. In this paper we prove that for each surjective isometry $\Delta : \mathfrak{M}\to \mathfrak{N}$ there exists a surje...

In this paper, we show that the essentiality of the scole of an ideal B i a semi-simple Banach algebra A implies that any invertibility preserving isomorphism on A is a Jordan homomorphism. Specially ...

Let $M$ and $N$ be two unital JB$^*$-algebras and let $\mathcal{U} (M)$ and $\mathcal{U} (N)$ denote the sets of all unitaries in $M$ and $N$, respectively. We prove that the following statements are equivalent: $(a)$ $M$ and $N$ are isometrically isomorphic as (complex) Banach spaces; $(b)$ $M$ and $N$ are isometrically isomorphic as real Banach spaces; $(c)$ There exists a surjective isometry $\Delta: \mathcal{U}(M)\to \mathcal{U}(N).$ We actually establish a more g...