-
Geometric properties of noncommutative symmetric spaces of measurable operators and unitary matrix ideals
Authors:
Malgorzata Marta Czerwinska,
Anna Kaminska
Abstract:
This is a survey article of geometric properties of noncommutative symmetric spaces of measurable operators $E(\mathcal{M},τ)$, where $\mathcal{M}$ is a semifinite von Neumann algebra with a faithful, normal, semifinite trace $τ$, and $E$ is a symmetric function space. If $E\subset c_0$ is a symmetric sequence space then the analogous properties in the unitary matrix ideals $C_E$ are also presente…
▽ More
This is a survey article of geometric properties of noncommutative symmetric spaces of measurable operators $E(\mathcal{M},τ)$, where $\mathcal{M}$ is a semifinite von Neumann algebra with a faithful, normal, semifinite trace $τ$, and $E$ is a symmetric function space. If $E\subset c_0$ is a symmetric sequence space then the analogous properties in the unitary matrix ideals $C_E$ are also presented. In the preliminaries we provide basic definitions and concepts illustrated by some examples and occasional proofs. In particular we list and discuss the properties of general singular value function, submajorization in the sense of Hardy, Littlewood and Pólya, Köthe duality, the spaces $L_p(\mathcal{M},τ)$, $1\le p<\infty$, the identification between $C_E$ and $G(B(H), \rm{tr})$ for some symmetric function space $G$, the commutative case when $E$ is identified with $E(\mathcal{N}, τ)$ for $\mathcal{N}$ isometric to $L_\infty$ with the standard integral trace, trace preserving $*$-isomorphisms between $E$ and a $*$-subalgebra of $E(\mathcal{M},τ)$, and a general method of removing the assumption of non-atomicity of $\mathcal{M}$. The main results on geometric properties are given in separate sections. We present the results on (complex) extreme points, (complex) strict convexity, strong extreme points and midpoint local uniform convexity, $k$-extreme points and $k$-convexity, (complex or local) uniform convexity, smoothness and strong smoothness, (strongly) exposed points, (uniform) Kadec-Klee properties, Banach-Saks properties, Radon-Nikodým property and stability in the sense of Krivine-Maurey. We also state some open problems.
△ Less
Submitted 6 April, 2017;
originally announced April 2017.
-
Banach Envelopes in Symmetric Spaces of Measurable Operators
Authors:
Malgorzata Czerwinska,
Annna Kaminska
Abstract:
We study Banach envelopes for commutative symmetric sequence or function spaces, and noncommutative symmetric spaces of measurable operators. We characterize the class $(HC)$ of quasi-normed symmetric sequence or function spaces $E$ for which their Banach envelopes $\widehat{E}$ are also symmetric spaces. The class of symmetric spaces satisfying $(HC)$ contains but is not limited to order continuo…
▽ More
We study Banach envelopes for commutative symmetric sequence or function spaces, and noncommutative symmetric spaces of measurable operators. We characterize the class $(HC)$ of quasi-normed symmetric sequence or function spaces $E$ for which their Banach envelopes $\widehat{E}$ are also symmetric spaces. The class of symmetric spaces satisfying $(HC)$ contains but is not limited to order continuous spaces. Let $\mathcal{M}$ be a non-atomic, semifinite von Neumann algebra with a faithful, normal, $σ$-finite trace $τ$ and $E$ be as symmetric function space on $[0,τ(1))$ or symmetric sequence space. We compute Banach envelope norms on $E(\mathcal{M},τ)$ and $C_E$ for any quasi-normed symmetric space $E$. Then we show under assumption that $E\in (HC)$ that the Banach envelope $\widehat{E(\mathcal{M},τ)}$ of $E(\mathcal{M},τ)$ is equal to $\widehat{E}(\mathcal{M},τ)$ isometrically. We also prove the analogous result for unitary matrix spaces $C_E$.
△ Less
Submitted 1 June, 2016;
originally announced June 2016.
-
k-Extreme Points in Symmetric Spaces of Measurable Operators
Authors:
Małgorzata M. Czerwińska,
Anna Kamińska
Abstract:
Let $\mathcal{M}$ be a semifinite von Neumann algebra with a faithful, normal, semifinite trace $τ$ and $E$ be a strongly symmetric Banach function space on $[0,τ(1))$. We show that an operator $x$ in the unit sphere of $E\left(\mathcal{M},τ\right)$ is $k$-extreme, $k\in\mathbb N$, whenever its singular value function $μ(x)$ is $k$-extreme and one of the following conditions hold (i)…
▽ More
Let $\mathcal{M}$ be a semifinite von Neumann algebra with a faithful, normal, semifinite trace $τ$ and $E$ be a strongly symmetric Banach function space on $[0,τ(1))$. We show that an operator $x$ in the unit sphere of $E\left(\mathcal{M},τ\right)$ is $k$-extreme, $k\in\mathbb N$, whenever its singular value function $μ(x)$ is $k$-extreme and one of the following conditions hold (i) $μ(\infty,x)=\lim_{t\to\infty}μ(t,x)=0$ or (ii) $n(x)\mathcal{M} n(x^*)=0$ and $|x|\geq μ(\infty,x)s(x)$, where $n(x)$ and $s(x)$ are null and support projections of $x$, respectively. The converse is true whenever $\mathcal{M}$ is non-atomic. The global $k$-rotundity property follows, that is if $\mathcal{M}$ is non-atomic then $E$ is $k$-rotund if and only if $E\left(\mathcal{M},τ\right)$ is $k$-rotund. As a consequence of the noncommutive results we obtain that $f$ is a $k$-extreme point of the unit ball of the strongly symmetric function space $E$ if and only if its decreasing rearrangement $μ(f)$ is $k$-extreme and $|f|\geq μ(\infty,f)$. We conclude with the corollary on orbits $Ω(g)$ and $Ω'(g)$. We get that $f$ is a $k$-extreme point of the orbit $Ω(g)$, $g\in L_1+L_{\infty}$, or $Ω'(g)$, $g\in L_1[0,α)$, $α<\infty$, if and only if $μ(f)=μ(g)$ and $|f|\geq μ(\infty,f)$. From this we obtain a characterization of $k$-extreme points in Marcinkiewicz spaces.
△ Less
Submitted 13 February, 2015;
originally announced February 2015.
