Questions tagged [von-neumann-algebras]
Subtag of the [oa.operator-algebras] tag for questions about von Neumann algebras, that is, weak operator topology closed, unital, *-subalgebras of bounded operators on a Hilbert space.
600
questions
0
votes
1
answer
219
views
Compactly supported continuous functions as a Tomita algebra
Let $G$ be a locally compact group with modular function $\delta_G$ and consider $\mathcal{K}(G)$, the set of compactly supported continuous functions $G\to \mathbb{C}$, with the $*$-algebra structure ...
0
votes
1
answer
93
views
Does ${\rm Tr}(l(a)+l(b)) ={\rm Tr}(l(\alpha_1 a +\alpha_2 b ))$ imply that $l(a)l(b)=r(a)r(b)=0$?
Let $H$ be a Hilbert space and let $a,b\in B(H)$ be such that
$${\rm Tr}(l(a))={\rm Tr}(r(a))<\infty , {\rm Tr}(l(b))={\rm Tr}(r(b))<\infty,$$
$${\rm Tr}(l(a)+l(b)) ={\rm Tr}(l(\alpha_1 a +\...
4
votes
1
answer
313
views
Every locally compact group gives rise to a locally compact quantum group
A locally compact quantum group (in the sense of Vaes-Kustermans) consists of the data $(M, \Delta, \varphi, \psi)$ with $M$ a von Neumann algebra, $\Delta: M \to M \overline{\otimes} M$ a normal ...
3
votes
1
answer
97
views
Least upper bound of type I factors
Given two type I (von-Neumann algebra) factors $\mathcal M,\mathcal N$, is there a smallest type I factor containing both $\mathcal M,\mathcal N$?
Notes:
$\mathcal M,\mathcal N$ are over the same ...
3
votes
1
answer
239
views
Takesaki: question about lemma in section "Left Hilbert algebras and weights"
To make this question relatively self-contained, this post is quite long, but the question itself is rather short.
Consider the following fragments in Takesaki's second volume "Theory of operator ...
6
votes
1
answer
248
views
Sigma-weakly dense *-subalgebra of von Neumann algebra has increasing net of positive elements convergent to the identity
Let $M$ be a von Neumann algebra and $A\subseteq M$ a $\sigma$-weakly dense $*$-subalgebra of $M$. Does there exist an increasing net $\{a_i\}_{i\in I}\subseteq A\cap M^+$ such that $a_i\to 1$ in the $...
2
votes
1
answer
436
views
Takesaki II proposition 3.15 proof about modular automorphism groups: mistake in book?
Consider the following fragment from Takesaki's second volume "Theory of operator algebras" in chapter VIII "Modular automorphism groups" p122-123.
Why is it possible to choose an ...
2
votes
1
answer
206
views
inclusion of von Neumann algebras implies reversing inequality of its modular operators
I'm working with von Neumann algebras and I stumbled with this statement in a work of Borchers (1999)
Since $\mathcal N \subseteq \mathcal M$, it follows by standard arguments that $\Delta_{\mathcal ...
2
votes
2
answers
424
views
Takesaki II "Connes cocycle derivative"
Consider the following fragments from Takesaki's second volume "Theory of operator algebras" (chapter VIII $\oint 3$, Modular Automorphism groups, p107-108:
Why are the second and third ...
1
vote
0
answers
123
views
Intersection of finitely many type-I von-Neumann algebra factors
If $\mathcal M,\mathcal N$ are type-I von-Neumann algebra factors (over the same Hilbert space $\mathcal H$), is $\mathcal M\cap\mathcal N$ a type-I von-Neumann algebra factor?
Notes:
An elementary ...
0
votes
0
answers
89
views
Intersection of type-I von-Neumann algebra factors
Is the intersection of a (possibly infinite) family $\{\mathcal M_i\}$ of type-I von-Neumann algebra factors (over the same Hilbert space $\mathcal H$) again a type-I von-Neumann algebra factor?
2
votes
1
answer
147
views
Question on tensor product of von Neumann algebras and subfactors
Let $M_1$ and $M_2$ be von Neumann algebras acting on Hilbert spaces $H_1,H_2$ and consider $M=M_1\overline\otimes M_2$ acting on $H_1\otimes H_2$. Let $K$ be an $M$-invariant subspace (so that $P_K\...
3
votes
1
answer
321
views
Takesaki II Lemma 1.13: stuck in proof
Consider the following fragment from Takesaki's book "Theory of operator algebras II" (Lemma 1.13 on p8, in chapter VI "Left Hilbert algebras"):
Here, we associate with an ...
5
votes
1
answer
192
views
Continuity of the extension of a tracial state with respect to the strong operator topology
Problem: Let $M\subseteq B(H)$ be a finite von Neumann algebra with a faithful tracial state $\tau$. Let $\widetilde{M}$ be the $\tau$-measurable operators on $M$ (recalled below). Extend the trace $\...
3
votes
1
answer
187
views
$\tau$-measurable operator
Problem: Let $M$ be a semifinite von Neumann algebra with a faithful semifinite normal trace $\tau$. Let $m$ be a positive element in $M$ and let $e_{(0,\infty)}(m)$ be the spectral projection of $m$ ...
2
votes
1
answer
345
views
Difference in tracial and finite von Neumann algebras
A tracial von Neumann algebra $(M,\tau)$ is a von Neumann algebra with a faithful normal tracial state $\tau$ on $M$. That is, $\tau$ is a function from $M \to \mathbb{C}$ such that it is a faithful ...
2
votes
1
answer
259
views
Existence of conditional expectations map onto subalgebras
Let $B\subset A$ be an inclusion of $C^*$ - algebras. I am having confusions on the existence of a conditional expectation $E: A \to B$. I could see that in general an inclusion need not have any ...
1
vote
0
answers
260
views
Densely defined and closed operator
Question: Let $N\subseteq B(H)$ be a finite von Neumann algebra with a faithful normal trace $\tau$ and let $n\in N$. Let $B$ be a von Neumann subalgebra of $N$. Let $\mathbb{E}_B: N\rightarrow B$ be ...
5
votes
1
answer
220
views
Completely isometric coaction of discrete quantum group is multiplicative?
Let $\mathbb{G}$ be a compact quantum group (in the sense of Woronowicz) with discrete dual $\widehat{\mathbb{G}}$ which we view as a von Neumann algebraic locally compact quantum group (in the sense ...
6
votes
1
answer
153
views
Every element of a $W^*$-algebra is a linear combination of exponential unitaries?
I am trying to understand a proof in this paper (specifically theorem 5.4). In it, a fact is used that every element of the $W^*$-algebra $A$ is a linear combination of exponential unitaries.
I've ...
2
votes
1
answer
233
views
Norm continuity of the predual of a von Neumann algebra
Let $M$ be a von Neumann algebra and let $(p_i)$ be a net of projections in $M$ decreasing to $0$. Let $f\in M_{\ast} $, the predual of $M$.
It is well known that
$\| p_i f \|_{M_\ast}\to_{i} 0$
for ...
0
votes
0
answers
84
views
Definition of an automorphism of von Neumann algebra acting on faithful normal state
$\DeclareMathOperator\Aut{Aut}$
In Theorem B, the authors define the $\Aut_{\varphi}$. I feel very confused about this definition. If $\alpha\in \Aut(M)$, when $x\in M$, it is sensible to define $\...
4
votes
1
answer
205
views
Support projection vs closed support projection of a normal state in enveloping von Neumann algebra
I preface this by saying that I am fairly new to the enveloping von Neumann algebra scene, so there may be some gaps in my understanding.
Given a $C^*$-algebra $A$ and a state $\phi$ on $A$, one may ...
4
votes
1
answer
203
views
Definition of Radon measure on Takesaki's first volume
Consider the following theorem from Takesaki's first volume "Theory of operator algebras":
In $(i)$, it is claimed that $L^\infty(\Gamma,\mu)$ is an abelian von Neumann algebra. How does ...
3
votes
1
answer
258
views
Extreme points of the set of all traces
Let $G$ be a finitely generated group with a bound on its complex unitary irreducible representations: That is assume all complex unitary irreducibles of $G$ have degrees at most $k$ for some integer $...
0
votes
0
answers
134
views
Type III von Neumann algebra
Let $\mathcal M$ be a type $\mathrm{III}$ von Neumann algebra. Is it true that for all $n\geq 1,$ $\mathcal M$ contains a copy of $M_n$ as a von Neumann subalgebra? By Theorem 9.24 of these lecture ...
1
vote
0
answers
83
views
irreducible subfactor inclusion and commutativity of induced projections
Let $N\subset M$ be an irreducible subfactor inclusion, i.e., $N'\cap M =\mathbb C1$, acting on a Hilbert space $H$.
Let $\Omega\in H$.
Does it follow that the projections onto $[N\Omega]$ and $[M'\...
1
vote
1
answer
118
views
Which elements live in the image of the canonical map $X \otimes_\mathcal{F} M \to B(M_*, X)$?
Let $X\subseteq B(H)$ be an operator system and let $M\subseteq B(K)$ be a von Neumann algebra. We form the Fubini-tensor product
$$X \otimes_\mathcal{F} M := \{z \in B(H\otimes K): (\sigma\otimes \...
9
votes
1
answer
338
views
Why impossible events have some drawbacks or pathologies in probability theory?
It is said by Halmos, P.R.; in "Lectures on ergodic theory"
"Many of the difficulties of measure theory and all the pathology of the subject arise from the existence of sets of measure ...
5
votes
1
answer
411
views
Separable C* algebras and type I states
Let $A$ be a separable $C^*$-algebra and let $\omega$ be a state on $A$.
Then there is an "orthogonal" probability measure $\mu$ on the pure state space $P(A)$ of $A$ such that $\omega(x) = \...
8
votes
1
answer
458
views
CCR vs. CAR vs. Clifford algebras, infinite tensor products and type of the corresponding von Neumann algebra
$\newcommand\CAR{\mathit{CAR}}\newcommand\Cl{\mathbb C\mathit l}$This question will be rather long and it will be my attempt to finally clarify many issues concerning CCR, CAR and Clifford algebras ...
1
vote
1
answer
112
views
Continuous surjection between spectra of commutative von Neumann algebras
Suppose that $V_1,V_2$ are two commutative von Neumann algebras and $V_1 \subset V_2$. Being in particular commutative $C^*$-algebras we have that $V_1 \cong C(X_1), V_2 \cong C(X_2)$ for some ...
1
vote
1
answer
166
views
Commuting and generating subfactors of $ B(H)$
I have a question on subfactors of $B(H)$ (the von Neumann algebra of bounded operators on a complex Hilbert space).
Say I have a subfactor $M$ of $B(H)$. Is it true that another subfactor $N \subset ...
0
votes
1
answer
98
views
"Project" an operator outside of a von Neumann Algebra into it
Suppose $W$ is a proper von Neumann Algebra contained in $B(H)$ and the identity in $W$ is the identity mapping of $H$ (namely, $W$ does not have non-trivial null space).
Given a self-adjoint $T\in W$...
4
votes
0
answers
105
views
non centrally free actions of ameanable groups on the hyperfinite III_1 factor
Let $R$ be a hyperfinite $\mathit{III}_1$ factor, and let $Out(R)$ be its set of automorphisms modulo inner automorphisms. There is a canonical and important homomorphism $\phi:\mathbb R\to Z(Out(R))$ ...
2
votes
1
answer
275
views
Measurability of a net
Let $(f_\epsilon)_{\epsilon>0}$ be a family of positive measurable functions on $L_p(\mathbb R)$ where $1<p<\infty.$ Assume that the pointwise supremum $f^*(x)=\sup_{\epsilon>0}|f_\epsilon(...
0
votes
0
answers
314
views
Monotone convergence theorem for increasing net of positive functions
Suppose that we have $(\Omega,\mu)$ a $\sigma$-finite measure space. I have the following question.
(Assume that $(f_i)_{i\in I}$ be an increasing net of positive measurable functions such that $f_i\...
0
votes
1
answer
208
views
Semi-commutative von Neumann algebras
Suppose $\Omega$ is a $\sigma$-finite measure space with measure $\mu.$ Let $\mathcal M\subseteq B(H)$ be a von Neumann algebra.
Can an element of $L_\infty(\Omega)\overline{\otimes}\mathcal M$ be ...
4
votes
1
answer
241
views
Takesaki lemma 1.16 (volume II, chapter VII)
I am trying to understand the proof of the implication $(i)\implies (ii)$ in Takesaki's book "Theory of operator algebras II", chapter VII, which says the following:
The relevant setting ...
2
votes
0
answers
63
views
What about the structure theory in Baer *-rings?
In the literature, Baer *-rings are called as the algebraic analogue of von Neumann alegars.
It is well-known that
Theorem. Every von-Neumann algebra is decomposed into a direct sum of the algebras of ...
3
votes
1
answer
120
views
Impact of annihilators in C*-algebras
Let $A$ be a unital C*-algebra. Let $S\subseteq A$. We put $$\operatorname{Ann}_r(S)=\{a\in A : \forall s\in S,~ ~as=0\}$$
Suppose that $A$ satisfies the following property:
For every $S\subseteq ...
2
votes
0
answers
166
views
Projections in von Neumann algebra tensor product
Let $\mathcal M\subseteq B(\mathcal H)$ be a von Neumann algebra with normal faithful semifinite trace $\tau.$ Consider the von Neumann algebra $\mathcal N:=L_\infty([0,1])\overline{\otimes}\mathcal M$...
4
votes
2
answers
286
views
Takesaki volume II chapter VII lemma 1.15
Consider the following fragments from Takesaki's second volume "Theory of operator algebras" in chapter VII on weight theory, lemma 1.15. Here $\mathcal{M}$ is a von Neumann algebra and $\...
3
votes
1
answer
214
views
Relating different definitions of dual of a compact quantum group
Let $\mathbb{G}$ be a compact quantum group in the sense of Woronowicz. We can look at its associated dense Hopf$^*$-subalgebra $\mathbb{C}[\mathbb{G}]$. Hence, in the framework of multiplier Hopf $*$-...
9
votes
3
answers
522
views
Defining the abstract tensor product of W*-algebras via a universal property
I am playing around a bit with $W^*$-algebras, and I'm trying to come up with a definition for the $W^*$-algebraic tensor product. Here is my first attempt:
It is easy to show that such an object ...
2
votes
2
answers
146
views
Decomposition of an element as a difference of positive elements in the definition subalgebra of a weight (Takesaki)
I originally asked this on MSE, but did not get an answer there.
Let $M$ be a von Neumann algebra. Let $\varphi: M_+ \to [0, \infty]$ be a weight on $M$. Consider
\begin{align*}&\mathfrak{p}_\...
2
votes
0
answers
191
views
Almost periodicity and approximation in tracial von Neumann algebra
Let $N$ be a von Neumann algebra with a faithful normal tracial state $\tau$. For a countable group $G$, let $\sigma: G\rightarrow \text{Aut}(N)$ be a $G$- action on $N$ which preserves the tracial ...
5
votes
1
answer
290
views
The center of a representation von Neumann algebra, and finite index subgroups
Consider a (countable) group $G$, a subgroup $H\leq G$ of finite index, and a unitary representation $\pi:G\to \mathcal{U}(\mathcal{H})$.
If the center of the von Neumann algebra $\pi(H)''$ is finite ...
4
votes
0
answers
118
views
$L_1$-subspace of the predual of a von Neumann algebra
If $M$ is a type $II$ von Neumann algebra, then the predual has a complemented subspace isometric to $L_1(0,1)$. It follows from the existence of expectation. However, I don't know whether such a ...
4
votes
1
answer
343
views
Families of representations of von Neumann algebras
Let $A$ be a von Neumann algebra and let $H$ be a (separable) Hilbert space.
It is known (see e.g., Section IV, Thm. 5.5 of Takesaki I) that there exists a Hilbert space $K$ such that $A \subset \...