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 czynski dichotomy theorem for L_p-spaces, p>= 2. We also give operator space versions of these results. The proofs are based on previous structural results on the ultrapowers of L_p(A), together with a careful analysis of the elements of an ultrapower [L_p(A)]_U which are disjoint from the subspace L_p(A). These techniques permit to recover a recent result of N. Randrianantoanina concerning a Subsequence Splitting Lemma for the general non-commutative L_p spaces. Various notions of p-equiintegrability are studied (one of which is equivalent to Randrianantoanina's one) and some results obtained by Haagerup, Rosenthal and Sukochev for L_p -spaces based on finite von Neumann algebras concerning subspaces of L_p(A) containing \ell_p are extended to the general case.
It is proved that a commutative algebra $A$ of operators in a reflexive real Banach space has an invariant subspace if each operator $T\in A$ satisfies the condition $$\|1- \varepsilon T^2\|_e \le 1 + o(\varepsilon) \text{ when } \varepsilon\searrow 0,$$ where $\|\cdot\|_e$ is the essential norm. This implies the existence of an invariant subspace for every commutative family of essentially selfadjoint operators in a real Hilbert space.
It is proved that a commutative algebra $A$ of operators on a reflexive real Banach space has an invariant subspace if each operator $T\in A$ satisfies the condition $$\|1- \varepsilon T^2\|_e \le 1 + o(\varepsilon) \text{ when } \varepsilon\searrow 0,$$ where $\|\cdot\|_e$ is the essential norm. This implies the existence of an invariant subspace for every commutative family of essentially selfadjoint operators on a real Hilbert space.
A Banach space is said to have the ball-covering property (abbreviated BCP) if its unit sphere can be covered by countably many closed, or equivalently, open balls off the origin. Let $K$ be a locally compact Hausdorff space and $X$ be a Banach space. In this paper, we give a topological characterization of BCP, that is, the continuous function space $C_0(K)$ has the (uniform) BCP if and only if $K$ has a countable $π$-basis. Moreover, we give the stability theorem: the vector-valued continuous function space $C_0(K,X)$ has the (strong or uniform) BCP if and only if $K$ has a countable $π$-bas…
The paper deal with the noncommutative Fréchet ${}^*$-algebra $\mathcal{L}(s',s)$ of the so-called smooth operators, i.e. linear and continuous operators acting from the space $s'$ of slowly increasing sequences to the Fréchet space $s$ of rapidly decreasing sequences. By a canonical identification, this algebra of smooth operators can be also seen as the algebra of the rapidly decreasing matrices. We give a full description of closed commutative ${}^*$-subalgebras of this algebra and we show that every closed subspace of $s$ with basis is isomorphic (as a Fréchet space) to some closed commuta…
Let $\mathfrak A$ be a maximal subdiagonal algebra in a $σ$-finite von Neumann algebra $\mathcal M$. If every right invariant subspace of $\mathfrak A$ in the non-commutative Hardy space $H^2$ is of Beurling type, then we say $\mathfrak A$ to be type 1. We determine generators of these algebras and consider a Riesz type factorization theorem for the non-commutative $H^1$ space. We show that the right analytic Toeplitz algebra on the non-commutative Hardy space $H^p$ associated with a type 1 subdiagonal algebra with multiplicity 1 is hereditary reflexive.
The goal of the present paper is to push Sz.-Nagy--Foias model theory for a completely nonunitary Hilbert-space contraction operator $T$, to the case of a commuting pair of contraction operators $(T_1, T_2)$ having product $T = T_1 T_2$ which is completely nonunitary. The idea is to use the Sz.-Nagy-Foias functional model for $T$ as the model space also for the commutative tuple ($T_1, T_2)$ with $T = T_1 T_2$ equal to the usual Sz.-Nagy--Foias model operator, and identify what added structure is required to classify such commutative contractive factorizations $T = T_1 T_2$ up to unitary equiv…
Let $\M$ be a semi-finite von Neumann algebra equipped with a faithful normal trace $τ$. We study the subspace structures of non-commutative Lorentz spaces $L_{p,q}(\M, τ)$, extending results of Carothers and Dilworth to the non-commutative settings. In particular, we show that, under natural conditions on indices, $\ell_p$ can not be embedded into $L_{p,q}(\M, τ)$. As applications, we prove that for $0<p<\infty$ with $p \neq 2$ then $\ell_p$ cannot be strongly embedded into $L_p(\M,τ)$. Thus providing a non-commutative extension of a result of Kalton for $0<p<1$ and a result of Rosenthal for …
Let $\cal M$ be a semi-finite von Neumann algebra equipped with a distinguished faithful, normal, semi-finite trace $τ$. We introduce the notion of equi-integrability in non-commutative spaces and show that if a rearrangement invariant quasi-Banach function space $E$ on the positive semi-axis is $α$-convex with constant 1 and satisfies a non-trivial lower $q$-estimate with constant 1, then the corresponding non-commutative space of measurable operators $E({\cal M}, τ)$ has the following property: every bounded sequence in $E({\cal M}, τ)$ has a subsequence that splits into a $E$-equi-integrabl…
In 1969 Lindenstrauss and Rosenthal showed that if a Banach space is isomorphic to a complemented subspace of an L_p-space, then it is either a script L_p-space or isomorphic to a Hilbert space. This is the motivation of this paper where we study non--Hilbertian complemented operator subspaces of non commutative L_p-spaces and show that this class is much richer than in the commutative case. We investigate the local properties of some new classes of operator spaces for every $2<p< \infty$ which can be considered as operator space analogues of the Rosenthal sequence spaces from Banach space the…
We introduce the notion of a regular mapping on a non-commutative $L_p$-space associated to a hyperfinite von Neumann algebra for $1\le p\le \infty$. This is a non-commutative generalization of the notion of regular or order bounded map on a Banach lattice. This extension is based on our recent paper [P3], where we introduce and study a non-commutative version of vector valued $L_p$-spaces. In the extreme cases $p=1$ and $p=\infty$, our regular operators reduce to the completely bounded ones and the regular norm coincides with the $cb$-norm. We prove that a mapping is regular iff it is a linea…
We show that a reflexive subspace of the predual of a von Neumann algebra embeds into a noncommutative Lp space for some p>1. This is a noncommutative version of Rosenthal's result for commutative Lp spaces. Similarly for 1 < q < 2, an infinite dimensional subspace X of a noncommutative Lq space either contains lq or embeds in Lp for some q < p < 2. The novelty in the noncommutative setting is a double sided change of density.
Gelfand-Naimark duality (Commutative $C^*$-algebras $\equiv$ Locally compact Hausdorff spaces) is extended to $C^*$-algebras $\equiv$ Quotient maps on locally compact Hausdorff spaces. Using this duality, we give for an \emph{arbitrary} bounded operator on a complex Hilbert space of several dimensions, a functional calculus and the existence theorem for nontrivial invariant subspace.
Let N and M be von Neumann algebras. It is proved that L^p(N) does not Banach embed in L^p(M) for N infinite, M finite, 1 < or = p < 2. The following considerably stronger result is obtained (which implies this, since the Schatten p-class C_p embeds in L^p(N) for N infinite). Theorem: Let 1 < or = p < 2 and let X be a Banach space with a spanning set (x_{ij}) so that for some C < or = 1: (i) any row or column is C-equivalent to the usual ell^2-basis; (ii) (x_{i_k,j_k}) is C-equivalent to the usual ell^p-basis, for any i_1 < i_2 < ... and j_1 < j_2 < ... . Then X is not isomorphic to a subspace…
Gelfand duality between unital commutative C*-algebras and Compact Hausdorff spaces is extended to all unital C*-algebras, where the dual objects are what we call compact Hausdorff quantum spaces. We apply this result to obtain, a characterization of unitary groups of C*-algebras, and, for arbitrary bounded Hilbert space operators, (i) A spectral theorem cum continuous functional calculus, and (ii) A proof of the general Invariant Subspace Theorem. Also described is a nonabelian generalization of Pontryagin duality of abelian locally compact groups.
We extend results on analytic complex measures on the complex unit circle to a non-commutative multivariate setting. Identifying continuous linear functionals on a certain self-adjoint subspace of the Cuntz--Toeplitz $C^*-$algebra, the free disk operator system, with non-commutative (NC) analogues of complex measures, we refine a previously developed Lebesgue decomposition for positive NC measures to establish an NC version of the Frigyes and Marcel Riesz Theorem for `analytic' measures, i.e. complex measures with vanishing positive moments. The proof relies on novel results on the order prope…
In this article we study the structure of $Γ$-invariant spaces of $L^2(\bf R)$. Here $\bf R$ is a second countable LCA group. The invariance is with respect to the action of $Γ$, a non commutative group in the form of a semidirect product of a discrete cocompact subgroup of $\bf R$ and a group of automorphisms. This class includes in particular most of the crystallographic groups. We obtain a complete characterization of $Γ$-invariant subspaces in terms of range functions associated to shift-invariant spaces. We also define a new notion of range function adapted to the $Γ$-invariance and const…
A classical theorem of Fatou asserts that the Radon-Nikodym derivative of any finite positive Borel measure, $μ$, with respect to Lebesgue measure on the complex unit circle, is recovered as the non-tangential limits of its Poisson transform in the complex unit disk. This positive harmonic Poisson transform is the real part of an analytic function whose Taylor coefficients are in fixed proportion to the conjugate moments of $μ$. Replacing Taylor series in one variable by power series in several non-commuting variables, we show that Fatou's Theorem and related results have natural extensions to…
We characterize the non-commutative Aleksandrov--Clark measures and the minimal realization formulas of contractive and, in particular, isometric non-commutative rational multipliers of the Fock space. Here, the full Fock space over $\mathbb{C} ^d$ is defined as the Hilbert space of square--summable power series in several non-commuting formal variables, and we interpret this space as the non-commutative and multi-variable analogue of the Hardy space of square--summable Taylor series in the complex unit disk. We further obtain analogues of several classical results in Aleksandrov--Clark measur…
We give an elementary proof that the $H^p$ spaces over the unit disc (or the upper half plane) are the interpolation spaces for the real method of interpolation between $H^1$ and $H^\infty$. This was originally proved by Peter Jones. The proof uses only the boundedness of the Hilbert transform and the classical factorisation of a function in $H^p$ as a product of two functions in $H^q$ and $H^r$ with $1/q+1/r=1/p$. This proof extends without any real extra difficulty to the non-commutative setting and to several Banach space valued extensions of $H^p$ spaces. In particular, this proof easily e…
We prove some noncommutative analogues of a theorem by Plotkin and Rudin about isometries between subspaces of Lp-spaces. Let 0<p<\infty, p not an even integer. The main result of this paper states that in the category of unital subspaces of noncommutative probability Lp-spaces, under some boundedness condition, the unital completely isometric maps come from *-isomorphisms of the underlying von Neumann algebras. Some applications are given, including to non commutative H^p spaces.
Motivated by importance of operator spaces contained in the set of all scalar multiples of isometries ($MI$-spaces) in a separable Hilbert space for $C^*$-algebras and E-semigroups we exhibit more properties of such spaces. For example, if an $MI$-space contains an isometry with shift part of finite multiplicity, then it is one-dimensional. We propose a simple model of a unilateral shift of arbitrary multiplicity and show that each separable subspace of a Hilbert space is the range of a shift. Also, we show that $MI$-spaces are non-symmetric, very unfriendly to multiplication, and prove a Comm…
We provide explicit commutative sequence space representations for classical function and distribution spaces on the real half-line. This is done by evaluating at the Fourier transforms of the elements of an orthonormal wavelet basis.
In this paper, we study {\it operator spaces\/} in the sense of the theory developed recently by Blecher-Paulsen [BP] and Effros-Ruan [ER1]. By an operator space, we mean a closed subspace $E\subset B(H)$, with $H$ Hilbert. We will be mainly concerned here with the ``geometry'' of {\it finite dimensional\/} operator spaces. In the Banach space category, it is well known that every separable space embeds isometrically into $\ell_\infty$. Moreover, if $E$ is a finite dimensional normed space then for each $\vp>0$, there is an integer $n$ and a subspace $F\subset \ell^n_\infty$ which is $(1+\vp)$…
In this short note, we answer two questions about Gurariy spaces asked in the literature in the affirmative. We also prove the analogue of one of the results for the noncommutative Guariy space.
A connected homogeneous space X=G/K is called commutative if G is a connected Lie group, $K$ is a compact subgroup and the B*-algebra L^1(X)^K of K-invariant integrable function on X is commutative. In this article we introduce the space L^2_A (X) of A-bandlimited function on X by using the spectral decomposition of L^2 (X). We show that those spaces are reproducing kernel Hilbert spaces and determine the reproducing kernel. We then prove sampling results for those spaces using the smoothness of the elements in L^2_A (X). At the end we discuss the example of R^d, the spheres S^d, compact symme…
For three standard models of commutative algebras generated by Toeplitz operators in the weighted analytic Bergman space on the unit disk, we find their representations as the algebras of bounded functions of certain unbounded self-adjoint operators. We discuss main properties of these representation and, especially, describe relations between properties of the spectral function of Toeplitz operators in the spectral representation and properties of the symbols.
Let $\mathcal{M}$ be a von Neumann algebra, and let $0<p,q\le\infty$. Then the space $\Hom_\mathcal{M}(L^p(\mathcal{M}),L^q(\mathcal{M}))$ of all right $\mathcal{M}$-module homomorphisms from $L^p(\mathcal{M})$ to $L^q(\mathcal{M})$ is a reflexive subspace of the space of all continuous linear maps from $L^p(\mathcal{M})$ to $L^q(\mathcal{M})$. Further, the space $\Hom_\mathcal{M}(L^p(\mathcal{M}),L^q(\mathcal{M}))$ is hyperreflexive in each of the following cases: (i) $1\le q<p\le\infty$; (ii) $1\le p,q\le\infty$ and $\mathcal{M}$ is injective, in which case the hyperreflexivity constant is a…
The generalized Young inequality on the Lorentz spaces for commutative hypergroups is introdused and an application of it is given to the theory of fractional integrals. The boundedness on the Lorentz space and the Hardy-Littlewood-Sobolev theorem for the fractional integrals on the commutative hypergroups is proved.
By the Hardy-Littlewood-Sobolev theorem the classical Riesz potential is bounded on Lebesgue spaces. E. Nakai and H. Sumitomo [16] extended that theorem to the Orlicz spaces. We introduce generalized potential operators on commutative hypergroups and under some assumptions on the kernel we showed the boundedness of these operators from Lebesgue space into certain Orlicz space. Our result is an analogue of Theorem 1.3 in [16].
We generalize an important class of Banach spaces, namely the $M$-embedded Banach spaces, to the non-commutative setting of operator spaces. The one-sided $M$-embedded operator spaces are the operator spaces which are one-sided $M$-ideals in their second dual. We show that several properties from the classical setting, like the stability under taking subspaces and quotients, unique extension property, Radon Nikod$\acute {\rm{y}}$m Property and many more, are retained in the non-commutative setting. We also discuss the dual setting of one-sided $L$-embedded operator spaces.
We investigate the class of continuous images of non-commutative Valdivia compact spaces, in particular its subclass of weakly non-commutative Cor- son countably compact spaces. A key tool is the study of non-commutative Corson countably compact spaces and their stability. The results are the non- commutative version of results by O. Kalenda (2003). Moreover, we present a study of retractional skeletons on Aleksandrov duplicates of ordinal spaces.
Let $\Free_n$ denote the free group with $n$ generators $g_1, g_2, ..., g_n$. Let $λ$ stand for the left regular representation of $\Free_n$ and let $τ$ be the standard trace associated to $λ$. Given any positive integer $d$, we study the operator space structure of the subspace $\Word_p(n,d)$ of $L_p(τ)$ generated by the family of operators $λ(g_{i_1}g_{i_2} ... g_{i_d})$ with $1 \le i_k \le n$. Moreover, our description of this operator space holds up to a constant which does not depend on $n$ or $p$, so that our result remains valid for infinitely many generators. We also consider the subsp…
Boundedness and compactness properties of multiplication operators on quantum (non-commutative) function spaces are investigated. For endomorphic multiplication operators these properties can be characterized in the setting of quantum symmetric spaces. For non-endomorphic multiplication operators these properties can be completely characterized in the setting of quantum $L^p$-spaces and a partial solution obtained in the more general setting of quantum Orlicz spaces.
In this paper we investigate the conditional expectation on the non-commutative $H^{(r,s)}_{p}(\mathcal A;\ell_{\infty})$ and $H_{p}(\mathcal A;\ell_{1})$ spaces associated with semifinite subdiagonal algebra, and prove the contractibility of the underlying conditional expectation on these spaces.
We show that the validity of the non-commutative Khintchine inequality for some $q$ with $1<q<2$ implies its validity (with another constant) for all $1\le p<q$. We prove this for the inequality involving the Rademacher functions, but also for more general "lacunary" sequences, or even non-commutative analogues of the Rademacher functions. For instance, we may apply it to the "Z(2)-sequences" previously considered by Harcharras. The result appears to be new in that case. It implies that the space $\ell^n_1$ contains (as an operator space) a large subspace uniformly isomorphic (as an operator s…
In this paper, we introduce a non-commutative space of stochastic distributions, which contains the non-commutative white noise space, and forms, together with a natural multiplication, a topological algebra. A special inequality which holds in this space allows to characterize its invertible elements and to develop an appropriate framework of non-commutative stochastic linear systems.
In this paper, we investigate the Hardy-Littlewood maximal function on non-commutative symmetric spaces. We complete the results of T. Bekjan and J. Shao. Moreover, we refine the main results of the papers \cite{Bek} and \cite{Sh}.
We present a self-contained and comprehensive study of the Fisher-Rao space of matrix-valued non-commutative probability measures, and of the related Hellinger space. Our non-commutative Fisher-Rao space is a natural generalization of the classical commutative Fisher-Rao space of probability measures and of the Bures-Wasserstein space of Hermitian positive-definite matrices. We introduce and justify a canonical entropy on the non-commutative Fisher-Rao space, which differs from the von Neumann entropy. We consequently derive the analogues of the heat flow, of the Fisher information, and of the…
