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
2
votes
1
answer
189
views
Extending a $\sigma$-weakly continuous map: Takesaki IV.5.13
Consider the following fragment from chapter IV in Takesaki's book "Theory of operator algebra I":
Why is the boxed line true? Takesaki argues that
$$\theta_0: \mathscr{M}_1\otimes_{\...
2
votes
1
answer
290
views
Predual theorem proof in Takesaki's volume I
Consider the following fragment from Takesaki's book "Theory of operator algebra I" (Section III.3 ,p133-134).
Why is the boxed line true? I can see that $\epsilon: \widetilde{A}\to A$ is ...
3
votes
1
answer
208
views
Takesaki: Lemma about enveloping von Neumann algebra
Consider the following lemma with proof from Takesaki's book "Theory of operator algebra I" (p121):
It appears to me that Takesaki claims at the end of the proof that $\pi(A)_1$ is $\sigma$-...
5
votes
1
answer
281
views
Takesaki's proof of the Kaplansky density theorem
Consider the following fragment from Takesaki's book "Theory of operator algebra I":
Why is the boxed sentence true? It looks like they replace $A$ by its strong$^*$-closure. Is this ...
6
votes
0
answers
232
views
Tomita–Takesaki theory and subfactors
Let $M$ be a von Neumann algebra acting on a Hilbert space $H$. Let $\Omega$ be a cyclic and separating vector in $H$. Let $J$ and $\Delta$ be the corresponding modular conjugation and modular ...
4
votes
1
answer
279
views
Matrix units in von Neumann algebras, and $K_0$ groups
This question arises from trying to understand the proof of Lemma 3.1.4 in De Commer, Martos, and Nest - Projective representation theory for compact quantum groups and the quantum Baum–Connes ...
10
votes
1
answer
313
views
Tensor product of a von Neumann algebra and $L_\infty $
Let $R$ be the hyperfinite $II_1$-factor. We know that $R$ is isomorphic to $R\otimes R$. So, $L_\infty(0,1) \otimes R$ is a von Neumann subalgebra of $R$.
I am not sure whether it is sure for any ...
1
vote
0
answers
97
views
Sequences in von Neumann algebras
Let $(x_n)$ be a sequence in a von Neumann algebra $M$ or its predual $M_*$.
Is there a hyperfinite von Neumann subalgebra $N$ of $M$ such that $(x_n)\subset N$ or $N_*$?
2
votes
0
answers
133
views
McDuff-to-hyperfinite step in Connes' Injectivity $\Rightarrow$ Hyperfiniteness
In Connes' "Classification of Injective Factors" (1976) the last step in Injectivity $\Rightarrow$ Hyperfiniteness (Thm. 5.1) is the implication 2. $\Rightarrow$ 1., where
$N \cong R$,
a) $...
10
votes
3
answers
806
views
Takesaki theorem 2.6
I originally posted this question on MSE and didn't get a satisfactory answer, even after putting a bounty on it. Hence, I thought I should ask here:
Consider the following theorem in Takesaki's book &...
2
votes
0
answers
104
views
Comparing two quantities related to the norm of an inner derivation
Let $M$ be a von Neumann algebra sitting in $B(H)$.
Let $U(M)$ denote the unitary group of $M$.
Let $I(M):=\{\tau\in M\,|\,\tau=\tau^*=\tau^{-1}\}$ the set of involutions in $M$.
Let $SAC(M):=\{h\in M\...
2
votes
1
answer
116
views
Measurable structures for direct integrals
I'm working with the notion of direct integrals as in Dixmier. Briefly: Given a measurable space $X$ and a family of separable Hilbert spaces $(H_x)_{x\in X}$, a measurable structure is a subspace $Y$ ...
6
votes
0
answers
115
views
Premeasurability of affiliated operators for type $\textrm{III}$ von Neumann algebras
$\DeclareMathOperator\dom{dom}$If $M\subset B(H)$ is a semifinite von Neumann algebra with faithful, normal, semifinite trace $\tau$, then a closed operator $T:H\rightarrow H$ intertwining the action ...
1
vote
1
answer
177
views
Uniqueness of the predual of a W*-algebra
Consider the following fragments in Takesaki's "Theory of operator algebras" (volume I):
Question: So, we have an abstract Banach space $F$ with $A \cong F^*$. In Lemma 3.6, one considers ...
2
votes
1
answer
103
views
About $\sigma$ strong$^*$-functionals and seminorms
I'm reading the book "Theory of operator algebras" by Takesaki. In this book, the $\sigma$-strong$^*$ topology on the space $B(H)$ (bounded operators on the Hilbert space $H$) is defined (...
2
votes
0
answers
134
views
Fixed point subalgebra
Suppose that $M$ is a von Neuman algebra and we have an action of a finite group $G$ on $M$. Denote by $M^{G}$ the fixed point subalgebra and suppose that $M^{G}=\mathbb{C}$ (i.e., we have an ergodic ...
2
votes
0
answers
109
views
Anticommutation of convolution products on trace class operators of quantum groups
This question was originally posted to MathStackExchange.
Let $\mathbb{G}$ be a locally compact quantum group and let $W$ and $V$ be the left and right fundamental unitaries, i.e., they implement the ...
4
votes
1
answer
145
views
Closability of a natural bimodule map between cyclic correspondences of von Neumann algebras
Let $M$ and $N$ be von Neumann algebras, and $\mathcal{H}$ a cyclic $M-N$ correspondence with unit cyclic vector $\xi$. For which $\eta\in \mathcal{H}$ is the bimodule map extending $\xi\mapsto \eta$ ...
1
vote
1
answer
181
views
Normal states on a type III$_1$ factor
Let $M$ be a type III$_1$ factor. Suppose $\rho$ is a normal state on $M$, given any $c\in [0,2]$, can we find a normal state $\rho'$ on $M$ such that $\|\rho-\rho'\|=c$? Or can we find a sequence of ...
1
vote
1
answer
158
views
Two invariants for type III factors
There are two invariants for the type $III$ factor $M$, namely, $S(M)$ and $T(M)$.
When $S(M)=[0, \infty)$, $M$ is a factor of type $III_{1}$.
My question : how to determine whether $M$ is a factor of ...
2
votes
0
answers
46
views
Existence of quantum states given reduced states on subsystems
Suppose $$\mathcal{H}=\bigotimes_{i\in I} \mathcal{H}_i$$ is a tensor product of Hilbert spaces, where $I$ is some index set. Given a $J\subset I$, let $$\mathcal{H}_J=\bigotimes_{i\in J} \mathcal{H}...
7
votes
0
answers
121
views
Strong contractibility of unitary group of properly infinite von Neumann algebras
In the introduction of their 1993 paper (see reference below), Popa and Takesaki write
As it turns out, in these topologies [the weak and strong topology] $U(\mathscr{H})$ is again contractible (cf.
[...
10
votes
0
answers
378
views
Twisted crossed product von Neumann Algebras
I asked a question over on Math.stackexchange a few days ago, but it didn't get much activity. Hopefully this question isn't considered too elementary by the standards of Mathoverflow. Here is what I ...
2
votes
1
answer
399
views
Direct integral decomposition relative to a given measure space
It is well known that a separable Hilbert space $H$ decomposes as a direct integral in the presence of an abelian von Neumann algebra $\mathscr A\subseteq B(H)$.
More precisely, and quoting from ...
1
vote
2
answers
139
views
Show convergence of net associated to GNS-triplet associated to state on a $C^*$-algebra
Let $A\subseteq B \subseteq B(H)$ be an inclusion of $C^*$-algebras where $H$ is some Hilbert space. We have the following conditions:
B is a von Neumann algebra with $A'' = B$.
The inclusion $A \...
3
votes
1
answer
270
views
Opposite $C^*$ algebras
$\DeclareMathOperator\op{op}$Let $A$ be a $C^*$-algebra. We know that $A$ admits a natural operator space structure, namely the operator space structure induced by any faithful $*$-representation of $...
3
votes
1
answer
346
views
Covariant representations and crossed products of von Neumann algebras
Let $(M,G,\alpha)$ be a $W^\ast$-dynamical system with $G$ locally compact abelian (I am mostly interested in the case $G=\mathbb{R})$. A covariant representation of $(M,G,\alpha)$ is a pair $(\pi,u)$ ...
13
votes
1
answer
421
views
Factor states on C*-algebras
Which C$^*$-algebras admit factor states for which the von Neumann algebra it generates in the corresponding GNS representation is a type III$_1$ factor? For example, do all purely infinite algebras ...
0
votes
0
answers
142
views
Dual operator space
Suppose $E$ is an operator space and $E^*$ is the dual operator space. It is well known that the matricial norm structure on $E^*$ is given by the formula $\|[f_{ij}]_{i,j=1}^n\|_{M_n(E^*)}:=\sup\{\|...
7
votes
1
answer
348
views
Induction and restriction of unitary representations
$\DeclareMathOperator\Rep{Rep}\DeclareMathOperator\Ind{Ind}\DeclareMathOperator\Res{Res}$Given a locally compact group $G$ and a closed subgroup $H\subset G$,
let $\Rep(G)$ and $\Rep(H)$ denote their ...
5
votes
1
answer
337
views
Polar decomposition in abstract von Neumann algebra
Probably an easy question, but here goes:
In a concrete von Neumann algebra $M \subseteq B(H)$, every element $m \in M$ has a polar decomposition $m= p|m|$ where $p$ is a partial isometry and $|m|= \...
8
votes
1
answer
324
views
Simplicity of group $C^\ast$-algebra implies fullness of group-von Neumann algebra?
Let $\Gamma$ be a discrete group whose reduced group $C^\ast$-algebra is simple. Can we conclude that the corresponding group-von Neumann algebra $\mathcal{L}(G)$ is a full $\text{II}_1$-factor, ...
3
votes
0
answers
105
views
When can a state on a C*-algebra descend to a quotient?
Has anything been written on the following question:
Let $(\mathfrak{A}, \phi)$ consist of a C*-algebra $\mathfrak{A}$ equipped with a tracial state $\phi$. Let $\pi : \mathfrak{A} \twoheadrightarrow ...
12
votes
1
answer
1k
views
Making sense of "every non-commutative algebra has its own internal time evolution (aka a one-parameter group)"?
I've listened to many interviews and lectures of Alain Connes, in which he says something which goes roughly as follows
"Every non-commutative algebra has its own time (evolution of), by which I ...
1
vote
0
answers
84
views
Showing the existence of a right-inverse in a von Neumann probability space
Disclaimer: This is my first post here on Overflow as opposed to the "normal" forum, so if this question is too elementary for this forum, I'd appreciate y'all letting me know. I posted it ...
6
votes
1
answer
194
views
Image of $L^2M$ inside $L^1M$, for $M$ a von Neumann algebra
Let $M$ be a factor (von Neumann algebra with trivial center), and let $L^1M:=M_*$ be its predual.
Let $\omega:M\to\mathbb C$ be a faithful normal state.
The Hilbert space $L^2M:=L^2(M,\omega)$ admits ...
4
votes
3
answers
625
views
Quick derivation of classical probability theory from von Neumann algebraic framework
Watching (the begining of) a lecture on free probability theory by Dimitri Shlyakhtenko https://www.youtube.com/watch?v=F8Urtr39jM0, I'm led to consider the following question
Question. How can one ...
24
votes
1
answer
994
views
Is the opposite category of commutative von Neumann algebras a topos?
By the "category of commutative von Neumann algebras" I mean the category of all commutative von Neumann algebras with normal unital $*$-homomorphisms between them (I don't want to restrict ...
3
votes
0
answers
134
views
Is there a finite depth irreducible subfactor of prime index and not group-subgroup?
Let $N \subset M$ be a finite depth unital inclusion of II$_1$ factors. By Theorem 3.2 in this paper (Bisch, 1994), if the index $|M:N|$ is integer then for any intermediate subfactor $N \subset P \...
3
votes
1
answer
204
views
Coincidence of two topology on a bounded subset of a finite von Neumann algebra
Let $M\subset B(H)$ be a finite von Neumann algebra with a faithful normal trace $\tau$. There is a norm $\|.\|_\tau$ on $M$ given by $\sqrt{\tau(xx^*)}$. How to show the $\|.\|_\tau$-topology ...
2
votes
0
answers
110
views
Induction of group von neumann algebra for group homomorphism with amenable kernel
Let $\alpha:H\to G$ be a group homomorphism betwenn discrete countable groups, and assume that the kernel of $\alpha$ is an amenable group, denoted by $K$. I would like to know ...
6
votes
0
answers
366
views
What are some results that assume the Connes' embedding conjecture or any of its reformulations?
As you all (may) know, the Connes embedding conjecture was disproven last year. Also, as its Wikipedia page shows, there are multiple reformulations (but it is definitely not an exhaustive list):
...
0
votes
2
answers
121
views
$(ST)_{[13]}= S_{[13]}T_{[13]}$ for $S,T \in B(\mathcal{H}\otimes \mathcal{H}).$
Let $T\in B(\mathcal{H} \otimes \mathcal{H})$ where $\mathcal{H}$ is a Hilbert space. We can define operators
$$T_{[12]}= T \otimes 1;\quad T_{[23]}= 1 \otimes T$$
and if $\Sigma: \mathcal{H} \otimes \...
6
votes
1
answer
175
views
Certain interpolation property of von Neumann algebras
Von Neumann algebras have the following form of interpolation property: let $(x_n)_n$ and $(y_n)$ be increasing and decreasing, respectively, sequences of self-adjoint elements in a von Neumann ...
5
votes
1
answer
360
views
Action of a dual Hopf algebra on a factor
Suppose that a finite-dimesnional Hopf $C^*$-algebra $H$ acts on a type $II_1$ factor $N$ minimally (that is, $N^{\prime}\cap (N\rtimes H)=\mathbb{C}$). Is it true that there always exists a minimal ...
2
votes
2
answers
277
views
Is $x \mapsto x \otimes 1$ $\sigma$-weakly continuous?
Let $M\subseteq B(H)$ be a von Neumann algebra. Is it true that the mapping
$$\psi: M \to B(H \otimes H): m \mapsto m \otimes \text{id}_H$$
is $\sigma$-weakly continuous? Here the $\sigma$-weak ...
8
votes
0
answers
564
views
McDuff groups and McDuff factors
I asked a question over on Math.Stackexchange with the same title, but I didn't get any activity over there, which made me think that the question would be better suited for MathOverflow. I suppose ...
8
votes
1
answer
369
views
When a $C^*$-algebra is an ideal in its second dual?
I would like to know which $C^*$-algebras are ideals in their second duals?
There is a paper by S. Watanabe that claims in introduction that it is well known that a $C^*$-algebra is an ideal in its ...
1
vote
0
answers
390
views
Pairs of subfactors
Suppose we have two subfactors $P\subset M$ and $Q\subset M$ with finite Jones indices (here $P,Q$ and $M$ all are $II_1$ factors). Under what condition the von Neumann algebra $L$ generated by $M,e_P$...
2
votes
1
answer
184
views
Von Neumann algebras with isomorphic sets of partial isometries
Given a von Neumann algebra $M$, let
$$
S(M) = \{u\in M: uu^*u=u\}
$$
be the set of partial isometries in $M$. Given $u,v\in S(M)$, it is well known that $uv \in S(M)$, provided $u^*u$ ...