We construct classes of von Neumann algebra modules by considering ``column sums" of noncommutative L^p spaces. Our abstract characterization is based on an L^{p/2}-valued inner product, thereby generalizing Hilbert C*-modules and representations on Hilbert space. While the (single) representation theory is similar to the L^2 case, the concept of L^p bimodule (p not 2) turns out to be nearly trivial.
We introduce a class of unitarily invariant, locally $\|\cdot\|_1$-dominating, mutually continuous norms with repect to $τ$ on a von Neumann algebra $\mathcal{M}$ with a faithful, normal, semifinite tracial weight $τ$. We prove a Beurling-Chen-Hadwin-Shen theorem for $H^\infty$-invariant spaces of $L^α(\mathcal{M},τ)$, where $α$ is a unitarily invariant, locally $\|\cdot\|_1$-dominating, mutually continuous norm with respect to $τ$, and $H^\infty$ is an extension of Arveson's noncommutative Hardy space. We use our main result to characterize the $H^\infty$-invariant subspaces of a noncommutati…
We studied complex interpolation noncommutative Hardy space associated with semi-finite von Neumann algebra and extend Pisier's interpolation theorem for this case.
We extend the noncommutative L1-maximal ergodic inequality for semifinite von Neumann algebras established by Yeadon in 1977 to the framework of noncommutative L1-spaces associated with sigma-finite von Neumann algebras. Since the semifnite case of this result is one of the two essential parts in the proof of noncommutative maximal ergodic inequality for tracial Lp-spaces (1<p<infinity) by Junge-Xu in 2007, we hope our result will be helpful to establish a complete noncommutative maximal ergodic inequality for non-tracial Lp-spaces in the future.
The paper is devoted to so-called local and 2-local derivations on the noncommutative Arens algebra $L^ω(M, τ)$ associated with a von Neumann algebra $M$ and a faithful normal semi-finite trace $τ.$ We prove that every 2-local derivation on $L^ω(M, τ)$ is a spatial derivation, and if $M$ is a finite von Neumann algebra, then each local derivation on $L^ω(M, τ)$ is also a spatial derivation and every 2-local derivation on $M$ is in fact an inner derivation.
For a noncommutative Orlicz space associated with a semifnite von Neumann algebra, a faithful normal semifnite trace and an Orlicz function satisfying $(δ_2,Δ_2)-$condition, an individual ergodic theorem is proved.
In 2008, Blecher and Labuschagne extended Beurling's classical theorem to $H^\infty$-invariant subspaces of $L^p(\mathcal{M},τ)$ for a finite von Neumann algebra $\mathcal{M}$ with a finite, faithful, normal tracial state $τ$ when $1\le p\le \infty$. In this paper, using Arveson's non-commutative Hardy space $H^\infty$ in relation to a von Neumann algebra $\mathcal{M}$ with a semifinite, faithful, normal tracial weight $τ$, we prove a Beurling-Blecher-Labuschagne theorem for $H^\infty$-invariant spaces of $L^p(\mathcal{M},τ)$ when $0<p\leq\infty$. The proof of the main result relies on proofs …
We establish several deep existence criteria for conditional expectations on von Neumann algebras, and then apply this theory to develop a noncommutative theory of representing measures of characters of a function algebra. Our main cycle of results describes what may be understood as a `noncommutative Hoffman-Rossi theorem' giving the existence of weak* continuous `noncommutative representing measures' for so-called D-characters. These results may also be viewed as `module' Hahn-Banach extension theorems for weak* continuous `characters' into possibly noninjective von Neumann algebras. In clos…
We prove that any weak* continuous semigroup $(T_t)_{t \geq 0}$ of factorizable Markov maps acting on a von Neumann algebra $M$ equipped with a normal faithful state can be dilated by a group of Markov $*$-automorphisms analogous to the case of a single factorizable Markov operator, which is an optimal result. We also give a version of this result for strongly continuous semigroups of operators acting on noncommutative $\mathrm{L}^p$-spaces and examples of semigroups to which the results of this paper can be applied. Our results implies the boundedness of the McIntosh's $\mathrm{H}^\infty$ fun…
We prove some structure results for isometries between noncommutative Lp spaces associated to von Neumann algebras. We find that an isometry T: Lp(M_1) to Lp(M_2) (1 le p < infty, p not 2) can be canonically expressed in a certain simple form whenever M_1 has variants of Watanabe's extension property. Conversely, this form always defines an isometry provided that M_1 is "approximately semifinite" (defined below). Although neither of these properties is fully understood, we show that they are enjoyed by all semifinite algebras and hyperfinite algebras (with no summand of type I_2), plus others.…
It is known that, for a positive Dunford-Schwartz operator in a noncommutative $L^p$-space, $1\leq p<\infty$, or, more generally, in a noncommutative Orlicz space with order continuous norm, the corresponding ergodic averages converge bilaterally almost uniformly. We show that these averages converge almost uniformly in each noncommutative symmetric space $E$ such that $μ_t(x)\to 0$ as $t\to\infty$ for every $x\in E$, where $μ_t(x)$ is the non-increasing rearrangement of $x$. Noncommutative Dunford-Schwartz-type multiparameter ergodic theorems are studied. A wide range of noncommutative symmet…
In 2016 and 2017, Haihui Fan, Don Hadwin and Wenjing Liu proved a commutative and noncommutative version of Beurling's theorems for a continuous unitarily invariant norm $α$ on $L^{\infty}(\mathbb{T},μ)$ and tracial finite von Neumann algebras $\left( \mathcal{M},τ\right) $, respectively. In the paper, we study unitarily $\|\|_{1}$-dominating invariant norms $α$ on finite von Neumann algebras. First we get a Burling theorem in commutative von Neumann algebras by defining $H^α(\mathbb{T},μ)=\overline {H^{\infty}(\mathbb{T},μ)}^{σ(L^α\left( \mathbb{T} \right),\mathcal{L}^{α^{'}}\left( \mathbb{T}…
It is shown that the bona fide generalization of the Vitali-Hahn-Saks Theorem to von Neumann algebras is possible if, and only if, the algebra is finite. This settles the problem on the noncommutative Vitali-Hahn-Saks Theorem completely and provides new means of characterizing finite von Neumann algebras.
It is known that, for a positive Dunford-Schwartz operator in a noncommutative $L^p-$space, $1\leq p<\infty$ or, more generally, in a noncommutative Orlicz space with order continuous norm, the corresponding ergodic averages converge bilaterally almost uniformly. We show that these averages converge almost uniformly in each noncommutative symmetric space $E$ such that $μ_t(x) \to 0$ as $t \to 0$ for every $x \in E$, where $μ_t(x)$ is a non-increasing rearrangement of $x$. Noncommutative Dunford-Schwartz-type multiparameter ergodic theorems are studied. A wide range of noncommutative symmetric …
In this work we apply Noncommutative Potential Theory to prove (relative) amenability and the (relative) Haagerup Property $(H)$ of von Neumann algebras in terms of the spectral growth of Dirichlet forms. Examples deal with (inclusions of) countable discrete groups and free orthogonal compact quantum groups.
Apart from presenting some new insights and results, one of our main purposes is to put some records in the development of von Neumann modules straight. The von Neumann or $W^*$-objects among the Hilbert ($C^*$-)modules are around since the first papers by Paschke (1973) and Rieffel (1974) that lift Kaplansky's setting (1953) to modules over noncommutative $C^*$-algebras. While the formal definition of $W^*$-modules} is due to Baillet, Denizeau, and Havet (1988), the one of von Neumann modules as strongly closed operator spaces started with Skeide (2000). It has been paired with the definition…
We characterize semicircular distribution by the freeness of linear and quadratic forms in noncommutative random variables from a tracial $W^*$-probability space with relaxed moment conditions.
Let $1\leq p \leq +\infty$. We show that the positive part of the closed unit ball of a non-commmutative $L^p$-space, as a metric space, is a complete Jordan $^*$-invariant for the underlying von Neumann algebra.
We prove that for all 1 \le p \le \infty, p not 2, the Lp spaces associated to two von Neumann algebras M,N are isometrically isomorphic if and only if M and N are Jordan *-isomorphic. This follows from a noncommutative Lp Banach-Stone theorem: a specific decomposition for surjective isometries of noncommutative Lp spaces.
We apply the ideas of Muhly, Skeide and Solel [MSS03] of considering von Neumann B-modules as intertwiner spaces for representations of B' to obtain a new, simple and self-contained proof for self-duality of von Neumann modules. This simplifies also the approach of [MSS03].
Let $\mathcal{M}$ be a $σ$-finite von Neumann algebra, equipped with a normal faithful state $φ$, and let $\mathcal{A}$ be maximal subdiagonal subalgebra of $\mathcal{M}$ and $1\le p<\8$. We prove a Beurling-Blecher-Labuschagne type theorem for $\mathcal{A}$-invariant subspaces of Haagerup noncommutative $L^p(\mathcal{M})$ and give a characterization of outer operators in Haagerup noncommutative $H^{p}$-spaces associated with $\mathcal{A}$.
We consider the reduction of problems on general noncommutative $L_p$-spaces to the corresponding ones on those associated with finite von Neumann algebras. The main tool is a unpublished result of the first named author which approximates any noncommutative $L_p$-space by tracial ones. We show that under some natural conditions a map between two von Neumann algebras extends to their crossed products by a locally compact abelian group or to their noncommutative $L_p$-spaces. We present applications of these results to the theory of noncommutative martingale inequalities by reducing most recent…
We introduce Hardy spaces for martingales with respect to continuous filtration for von Neumann algebras. In particular we prove the analogues of the Burkholder/Gundy and Burkholder/Rosenthal inequalities in this setting. The usual arguments using stopping times in the commutative case are replaced by tools from noncommutative function theory and allow us to obtain the analogue of the Feffermann-Stein duality and prove a noncommutative Davis decomposition.
We introduce a noncommutative Poisson random measure on a von Neumann algebra. This is a noncommutative generalization of the classical Poisson random measure. We call this construction Poissonization. Poissonization is a functor from the category of von Neumann algebras with normal semifinite faithful weights to the category of von Neumann algebras with normal faithful states. Poissonization is a natural adaptation of the second quantization to the context of von Neumann algebras. The construction is compatible with normal (weight-preserving) homomorphisms and unital normal completely positiv…
In 2015, Yanni Chen, Don Hadwin and Junhao Shen proved a noncommutative version of Beurling's theorems for a continuous unitarily invariant norm $% α$ on a tracial von Neumann algebra $\left( \mathcal{M},τ\right) $ where $α$ is $\left\Vert \cdot \right\Vert _{1}$-dominating with respect to $τ$. In the paper, we first define a class of norms $% N_{Δ}\left( \mathcal{M},τ\right) $ on $\mathcal{M}$, called determinant, normalized, unitarily invariant continuous norms on $\mathcal{M}$. If $α\in N_{Δ}\left( \mathcal{M},τ\right) $, then there exists a faithful normal tracial state $ρ$ on $\mathcal{M}…
Let $\mathcal{M}$ be a $σ$-finite von Neumann algebra equipped with a normal faithful state $φ$, and let $Φ$ be a growth function. We consider Haagerup noncommutative Orlicz spaces $L^Φ(\M,φ)$ associated with $\M$ and $φ$, which are analogues of Haagerup $L^p$-spaces. We show that $L^Φ(\M,φ)$ is independent of $φ$ up to isometric isomorphism. We prove the Haagerup's reduction theorem and the duality theorem for this spaces. As application of these results, we extend some noncommutative martingale inequalities in the tracial case to the Haagerup noncommutative Orlicz space case.
We introduce the notion of Zimmer amenability for actions of discrete quantum groups on von Neumann algebras. We prove generalizations of several fundamental results of the theory in the noncommutative case. In particular, we give a characterization of Zimmer amenability of an action $α:\Bbb G\curvearrowright N$ in terms of $\hat{\Bbb{G}}$-injectivity of the von Neumann algebra crossed product $N\ltimes_α\Bbb G$. As an application we show that the actions of any discrete quantum group on its Poisson boundaries are always amenable.
We characterize completely bounded normal Jordan $*$-homomorphisms acting on von Neumann algebras. We also characterize completely positive isometries acting on noncommutative $\mathrm{L}^p$-spaces.
Let $E=E(0,\infty)$ be a symmetric function space and $E(\mathcal{M},τ)$ be a symmetric operator space associated with a semifinite von Neumann algebra with a faithful normal semifinite trace. Our main result identifies the class of spaces $E$ for which every derivation $δ:\mathcal{A}\to E(\mathcal{M},τ)$ is necessarily inner for each $C^*$-subalgebra $\mathcal{A}$ in the class of all semifinite von Neumann algebras $\mathcal{M}$ as those with the Levi property.
The present paper is devoted to study of ring isomorphisms of $\ast$-subalgebras of Murray--von Neumann factors. Let $\cM,$ $\cN$ be von Neumann factors of type II$_1,$ and let $S(\cM),$ $S(\cN)$ be the $\ast$-algebras of all measurable operators affiliated with $\cM$ and $ \cN,$ respectively. Suppose that $\cA\subset S(\cM),$ $\cB\subset S(\cN)$ are their $\ast$-subalgebras such that $\cM\subset \cA,$ $\cN\subset \cB.$ We prove that for every ring isomorphism $Φ: \cA \to \cB$ there exist a positive invertible element $a \in \cB$ with $a^{-1}\in \cB$ and a real $\ast$-isomorphism $Ψ: \cM \to \…
We extend in a noncommutative setting the individual ergodic theorem of Nevo and Stein concerning measure preserving actions of free groups and averages on spheres $s_{2n}$ of even radius. Here we study state preserving actions of free groups on a von Neumann algebra $A$ and the behaviour of $(s_{2n}(x))$ for $x$ in noncommutative spaces $L^p(A)$. For the Cesàro means $\frac{1}{n}\sum_{k=0}^{n-1} s_k$ and $p = +\infty$, this problem was solved by Walker. Our approach is based on ideas of Bufetov. We prove a noncommutative version of Rota ``Alternierende Verfahren'' theorem. To this end, we int…
We show that ergodic flows in noncommutative fully symmetric spaces (associated with a semifinite von Neumann algebra) generated by continuous semigroups of positive Dunford-Schwartz operators and modulated by bounded Besicovitch almost periodic functions converge almost uniformly. The corresponding local ergodic theorem is also discussed.
Around 1967, Arveson invented a striking noncommutative generalization of classical $H^\infty$, known as {\em subdiagonal algebras}, which include a wide array of examples of interest to operator theorists. Their theory extends that of the generalized $H^p$ spaces for function algebras from the 1960s, in an extremely remarkable, complete, and literal fashion, but for reasons that are `von Neumann algebraic'. Most of the present paper consists of a survey of our work on Arveson's algebras, and the attendant $H^p$ theory, explaining some of the main ideas in their proofs, and including some impr…
We give an overview of relative tensor products (RTPs) for von Neumann algebra modules. For background, we start with the categorical definition and go on to examine its algebraic formulation, which is applied to Morita equivalence and index. Then we consider the analytic construction, with particular emphasis on explaining why the RTP is not generally defined for every pair of vectors. We also look at recent work justifying a representation of RTPs as composition of unbounded operators, noting that these ideas work equally well for L^p modules. Finally, we prove some new results characterizin…
These lecture notes were written during a mini-course on noncommutative Lp-spaces at the Basque Center of Applied Mathematics. It starts presenting the theory of weights and traces in von Neumann algebra, followed by the theory of noncommutative measure. After that, it presents a construction of these spaces in all detail and give some important results e.g. the noncommutative Radon-Nikodym theorem.
We define the localisation of a Hilbert module in analogy to the local multiplier algebra. We use properties of this localisation to enrich non-closed actions on $C^*$-algebras to closed actions on local multiplier algebras, and descend known results on such closed actions down to their unclosed counterparts. We define weak Cartan inclusions and characterise them as crossed products by inverse semigroup actions. We show that in the commutative case we show that weak Cartan subalgebras are maximal abelian, thereby generalising the case studied by Renault.
We consider von Neumann algebras generated by the stationary laws of free stochastic differential equations of the form $dX_t = dS_t -1/2 DV(X_t)$ for a suitably convex multivariate noncommutative polynomial $V$. Using techniques of Guionnet and Shlyakhtenko, we prove that these von Neumann algebras have property AO of Ozawa and are thus solid.
We extend some inequalities for normal matrices and positive linear maps related to the Russo-Dye theorem. The results cover the case of some positive linear maps on a von Neumann algebra mapping any nonzero operator to an unbounded operator.
Let p be prime. A noncommutative p-solenoid is the C*-algebra of Z[1/p] x Z[1/p] twisted by a multiplier of that group, where Z[1/p] is the additive subgroup of the field Q of rational numbers whose denominators are powers of p. In this paper, we survey our classification of these C*-algebras up to *-isomorphism in terms of the multipliers on Z[1/p], using techniques from noncommutative topology. Our work relies in part on writing these C*-algebras as direct limits of rotation algebras, i.e. twisted group C*-algebras of the group Z^2 thereby providing a mean for computing the K-theory of the n…
We investigate Fourier multipliers on the compact dual of arbitrary discrete groups. Our main result is a Hörmander-Mihlin multiplier theorem for finite-dimensional cocycles with optimal smoothness condition. We also find Littlewood-Paley type inequalities in group von Neumann algebras, prove $L_p$ estimates for noncommutative Riesz transforms and characterize $L_\infty \to \mathrm{BMO}$ boundedness for radial Fourier multipliers. The key novelties of our approach are to exploit group cocycles and cross products in Fourier multiplier theory in conjunction with BMO spaces associated to semigrou…
To any action of a locally compact group $G$ on a pair $(A,B)$ of von Neumann algebras is canonically associated a pair $(π\_A^α, π\_B^α)$ of unitary representations of $G$. The purpose of this paper is to provide results allowing to compare the norms of the operators $π\_A^α(μ)$ and $π\_B^α(μ)$ for bounded measures $μ$ on $G$. We have a twofold aim. First to point out that several known facts in ergodic and representation theory are indeed particular cases of general results about $(π\_A^α, π\_B^α)$. Second, under amenability assumptions, to obtain transference of inequalities that will be us…
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.
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 $φ$. 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{JBW}$-algebras and the investigation of contractively complemented subspaces of noncommutative $\mathrm{L}^p$-spaces. More prec…
In the paper we describe the C*-algebras of noncommutative spherical tight frames over some C*-algebras and then apply to study the noncommutative version of the universal classifying space.
We analyse certain Haar systems associated to groupoids obtained by certain natural equivalence relations of dynamical nature on sets like $\{1,2,...,d\}^\mathbb{Z}$, $\{1,2,...,d\}^\mathbb{N}$, $S^1\times S^1$, or $(S^1)^\mathbb{N}$, where $S^1$ is the unitary circle. We also describe properties of transverse functions, quasi-invariant probabilities and KMS states for some examples of von Neumann algebras (and also $C^*$-Algebras) associated to these groupoids. We relate some of these KMS states with Gibbs states of Thermodynamic Formalism. While presenting new results, we will also describe …
We extend Gour et al's characterization of quantum majorization via conditional min-entropy to the context of semifinite von Neumann algebras. Our method relies on a connection between conditional min-entropy and operator space projective tensor norm for injective von Neumann algebras. This approach also connects the tracial Hahn-Banach theorem of Helton, Klep and McCullough to noncommutative vector-valued $L_1$-space.
For any von Neumann algebra $\mathcal M$, the noncommutative Mazur map $M_{p,q}$ from $L_p(\mathcal M)$ to $L_q(\mathcal M)$ with $1\leq p,q<\infty$ is defined by $f\mapsto f|f|^{\frac {p-q}q}$. In analogy with the commutative case, we gather estimates showing that $M_{p,q}$ is $\min\{\frac pq,1\}$-Hölder on balls.
In this paper we develop a notion of measure theory over boolean toposes which is analogous to noncommutative measure theory, i.e. to the theory of von Neumann algebras. This is part of a larger project to study relations between topos theory and noncommutative geometry. The main result is a topos theoretic version of the modular time evolution of von Neumann algebra which take the form of a canonical R+*-principal bundle over any integrable locally separated boolean topos.
These notes have the intent to introduce the study of the nonlinear aspects of operator space theory. We investigate some results on the nonlinear theory of Banach spaces which remain valid in the noncommutative case. In particular, we show that Ribe's theorem has a complete analog to preduals of von Neumann algebras and introduce the concept of the Lipschitz free operator space of an operator space. We use those to prove results about injective von Neumann algebras, Pisier's operator space OH, and the existence of complete linear isometric embeddings between operator spaces.
In Chapter 2 of "Groups with the Haagerup Property", Jolissaint gives on the one hand a characterization of the Haagerup property in terms of strongly mixing actions on standard probability spaces; on the other hand he gives a noncommutative analogue of this result in terms of actions on factors. In the recent paper "A new characterization of the Haagerup property by actions on infinite measure spaces", the authors give a characterization of the Haagerup property but this time dealing with $C_0$-actions on infinite measure spaces. Following the spirit of this section, we give a noncommutative …
In [Rum18], Rump defined and characterized noncommutative universal groups $G(X)$ for generalized orthomodular lattices $X$. We give an explicit construction of $G(X)$ in terms of \emph{pure paraunitary groups} when $X$ is the projection lattice of a von Neumann algebra. The results given here extend some of those in [Die19].
Let $\mathcal{M}$ be a semifinite von Nemann algebra equipped with an increasing filtration $(\mathcal{M}_n)_{n\geq 1}$ of (semifinite) von Neumann subalgebras of $\M$. For $0<p \leq\infty$, let $\h_p^c(\mathcal{M})$ denote the noncommutative column conditioned martingale Hardy space associated with the filtration $(\mathcal{M}_n)_{n\geq 1}$ and the index $p$. We prove that for $0<p<\infty$, the compatible couple $\big(\h_p^c(\mathcal{M}), \h_\infty^c(\mathcal{M})\big)$ is $K$-closed in the couple $\big(L_p(\mathcal{N}), L_\infty(\mathcal{N}) \big)$ for an appropriate amplified semifinite von …