A von Neumann algebra is a unital *-subalgebra of the algebra of bounded operators on a Hilbert space, closed in the weak operator topology. Also called a $W^*$-algebra, and may be regarded as a non-commutative generalization of $L^\infty$ space. These algebras are extensively used in knot theory, ...

learn more… | top users | synonyms

1
vote
1answer
18 views

In what topology is the unitary group of a unital C*-algebra locally compact?

If a unital $C^*$-algebra $\mathcal{A}$ is finite-dimensional then the unitary group $\mathcal{U}(\mathcal{A})$ is compact with respect to the norm topology. My question is: what if ...
2
votes
1answer
27 views

The 1-Norm on a Quantum Group as a Supremum

To this MO question, Yemon Choi comments that If $\tau$ is a faithful normal trace on a von Neumann algebra $M$, then IIRC $\tau(|x|)$ is equal to the supremum of $|\tau(xy)|$ as $y$ runs over all ...
2
votes
1answer
12 views

Can a sequence of von Neumann algebras determine a maximal directed set of subalgebras?

Can a von Neumann algebra $A$ have an infinite sequence $A_0 \subset A_1 \subset A_2 \subset ...$ of sub-vN-algebras such that every other sub-vN-algebra $B \subseteq A$ satisfies, for some $n \geq 0$ ...
1
vote
1answer
20 views

Sequential Murray-von Neumann equivalence of projections

How general is the following statement about Murray-von Neumann equivalence of projections in a von Neumann algebra? Let $M$ be a von Neumann algebra and let $p,q\in M$ be projections. If there ...
2
votes
1answer
55 views

von Neumann algebra associated to the full group C*-algebra

Lance's theorem asserts a discrete group $G$ is amenable if and only if the reduced and full groups C*-algebras coincide. The group von Neumann algebra is the weak closure of the reduced group ...
3
votes
1answer
45 views

Every conditional expectation is normal?

Let $M$ be a von Neumann algebra and let $N$ be a von Neumann subalgebra and let $E$ be a conditional expectation $M\to N$. Let $i$ be the canonical inclusion of $M$ into $M^{**}$. Claim: $E$ is ...
1
vote
1answer
30 views

Weak operator limit of projections in $B(H)$

Let $H$ be infinite dimensional and $\cal P$ be the set of all projections in $B(H)$. Show that $\cal P$ is weak operator dense in $(B(H))^+_{\|.\|\leq 1}$, the set of positive operators in the unit ...
0
votes
1answer
21 views

How a trace of an ideal act on an element of the whole algebra? [closed]

Let A be a C* algebra with an ideal I. Suppose $\tau$ is a trace on I. Let $x\in I$. Then how to understand $\tau(range(x))$? i.e. how $\tau$ acts on the range projection of x?
1
vote
1answer
47 views

Closed unit ball of positive bounded operator space and its extreme point

Let $H$ be infinite dimensional Hilbert space. Then the closed unit ball of positive bounded operator space $B(H)^+$ is not the convex hull of the projections of $B(H)$. Please help me. Thanks.
1
vote
1answer
19 views

Inclusion of representations: $\pi_1(A)^{''}\subseteq \pi_2(A)^{''} \Rightarrow \pi_1(A)\subseteq \pi_2(A)$?

Let $A$ be a $C^*$-algebra and $\pi_1 , \pi_2$ two *-representations on a same Hilbert space $\mathcal{H}$ so that the inclusions $\pi_1(A)^{''}\subseteq \pi_2(A)^{''}$ of the associated von Neumann ...
1
vote
1answer
32 views

Is an ultrapower of the hyperfinite factor still hyperfinite?

Let $\mathcal{R}$ be the hyperfinite type $II_{1}$ factor and let $\mathcal{U}$ be a free ultrafilter on $\mathbb{N}$. Is it true that $\mathcal{R}^{\mathcal{U}}$ is never hyperfinite ? How can I see ...
3
votes
1answer
33 views

Arveson spectrum for a unitary representation of a group on a Hilbert space

Let $G = \mathbb{R}$. By Stone's theorem, $U(t)\in\mathcal{B}(\mathcal{H})$ is generated by a self-adjoint operator $H$ (for which there is a resolution of the identity P(p), by the spectral theorem) ...
1
vote
0answers
35 views

Why does one only consider one-parameter groups in Borchers-Arveson theorem?

The theorem (Operator algebras and Quantum statistical mechanics vol. 1, Bratteli, Robinson, Thm. 3.2.46 p.261) roughly says that if one has a one parameter automorphism group $t \rightarrow\alpha_t$ ...
1
vote
1answer
32 views

Sot closure of the unit ball of a subalgebra of $B(H)$

Let $A$ be a $C^* -$ subalgebra of B(H) and $S$ be the closed unit ball of $A$. 1- $S$ is convex and bounded, so $ S = weak^* -cl ~S$. (Is it correct?) 2- By the Kapalansky density theorem, we have ...
1
vote
1answer
48 views

Questions about the Kapalansky density theorem

I'm studying Takesaki's Theory of operator algebras book by myself. The following is a theorem from that book: I have several questions about this proof: 1- He claims, in the first line of ...
0
votes
1answer
57 views

Subgroups of an infinite product

$G := \prod\limits_{n=1}^{\infty} (\mathbb{Z}/3^{n} \rtimes \mathbb{Z}/2 )$ $g_m = ((m,0),(m,0), (m,0),\dots) \in G$ $H = \prod\limits_{n=1}^{\infty} (\{0\},\mathbb{Z}/2 ) \subset G$ Questions: ...
4
votes
1answer
141 views

Where does the double commutant theorem fails for $AW^*$-algebras?

Commutative $AW^*$-algebra are characterized as those $C^*$-algebras such that their space of projections is a complete boolean algebra (see http://en.wikipedia.org/wiki/AW*-algebra). Von Neumann ...
2
votes
1answer
41 views

A question on a lemma in von Neumann algebra.

Let $\mathfrak{U}$ be a von Neumann algebra, the lemma says that: If $p\in \mathfrak{U}$ is a projection and $a,b \in \mathfrak{U}$ s.t $0\leq a \leq b \leq 1$, then: $\| ap \| \leq \| bp\|^{1/2}$ ...
0
votes
0answers
56 views

What is the definition of hyperstonean space?

I've seen several questions and answers on the Gelfand transform for commutative $C^*$-algebras leading to a characterization of commutative Von Neumann algebras as those whose spectrum is ...
2
votes
1answer
55 views

when a crossed product group is inner amenable

Denote $K, H$ to be countable discrete groups, then I am interested whether the crossed product group $G=H\rtimes_{\alpha} K$ is inner amenable or not. For example, when $\alpha$ is trivial, ...
0
votes
1answer
31 views

Affiliated algebras

I am searching for articles on affiliated $C^*$-algebras and affiliated von Neumann algebras. I know that Wonorowicz wrote articles about this topic and also Pedersen wrote a section in his book ...
0
votes
1answer
25 views

Separating and cyclic vector

Let $\{\Gamma_i , \mu_i\}_{i\in I}$ be a family of probability measure spaces and suppose $I$ is uncountable. Let $\{\Gamma , \mu\} = \prod_{i\in I} \{\Gamma_i,\mu_i\}$ be the product measure space. ...
2
votes
1answer
29 views

Irreducible representation and rank one projetion

Let $A$ be a C*-algebra with a nonzero minimal projection $e$. a - Show that if $\{\pi, H\}$ is an irreducible representation of $A$ such that $\pi(e) \neq 0$, then $\pi(e)$ is a projection of rank ...
2
votes
1answer
51 views

Von Neumann algebra generated by a subalgebra

Let A be a C*-algebra of operators on a Hilbert space H. Show that if $A\subset K(H)$, then $\{A'\cap K(H)\}'\cap K(H) = A$ I do not have any idea about it. Please give me a hint. Thanks.
2
votes
0answers
41 views

about ultrapowers

Let $\mathcal{R}$ denote the hyperfinite type $II_{1}$ factor, with $\mathcal{R}^{\omega}$ the ultrapower of $\mathcal{R}$, in respect to some ultrafilter $\omega$ on $\mathbb{N}$. I'm reading a paper ...
1
vote
1answer
48 views

Image of a commutative C*-algebra

Let $A$ be an unital commutative C*-subalgebra of $B(H)$, and $\Omega$ be its character space. By spectral theorem $$\phi: B_\infty(\Omega)\to B(H);~~~~~f\to \int f \, dP$$ is a $*-$ homomorphism ...
1
vote
0answers
22 views

Prove a factor is III$_{\lambda}$ type

This question is from the Sunder's book An Invitation to von Neumann Algebras Ex 4.2.13 Let M be a semifinite factor with fns trace ${\tau}$. Let ${\theta}$ be an automorphism of M such that ...
2
votes
0answers
102 views

$C^*$-algebras, von Neumann algebras, unbounded operators and quantum mechanics in connection

I am studying the theory of $C^*$-algebras, von Neumann algebras and unbounded operators in courses on Functional Analysis and Opertor Algebras. Now I want to apply this knowledge to (algebraic) ...
1
vote
1answer
38 views

embedding of $\prod_{n\in\mathbb{N}}M_{n}(\mathbb{C})$ in a type $II_{1}$ factor

Suppose $M$ is a type $II_{1}$ factor with trace $\tau$. Let $\lbrace p_{n}\rbrace_{n\in\mathbb{N}}$ be an increasing sequence of projections such that $\tau(p_{n})\rightarrow 1$. Now, let's consider ...
0
votes
1answer
23 views

Types of von neumann algebras

A von Neumann algebra M is said to be finite, infinite, properly infinite, or purely infinite according to the property of the identity projection 1. I think that this classification of types are ...
0
votes
1answer
35 views

an additive bijective map

Let H be a Hilbert space and $\Phi:B(H)\longrightarrow B(H)$ is an additive bijective map. If $\mathbb{R}I⊆\Phi(\mathbb{R}I)$, can we conclude by the bijectivity of $\Phi$ that ? ...
0
votes
1answer
78 views

Is this equality true or it is not necessarily true?

Let $A$ and $B$ are two factor von neumann algebras that act on two infinite dimensional Hilbert spaces H and K respectively. Let $\Phi:A\longrightarrow B$ is an additive bijective map with some other ...
4
votes
1answer
121 views

$\sigma$-weak topology versus weak operator topology

The reference text for this question is: Pedersen, Analysis Now, GTM 118. The $\sigma$-weak topology on $B(H)$ (the bounded linear operators on a Hilbert space $H$) is the weak$^*$-topology on ...
2
votes
2answers
65 views

Polar decomposition

Every $x\in B(H)$ has a representation such as $x= u|x|$ (by polar decomposition) where $u$ is a partial isometry. In a paper, the author claims that$$u = {\rm strong} - \lim_{\epsilon\to 0} ...
2
votes
1answer
51 views

Ultraweak closed left ideal of a von Neumann algebra

The following is a proposition of Takesaki's Operator Theory: My questions are: 1- He claims for two sided ideal $\cal m$, $e \in M\cap M'$. While I think for $\sigma -$ weakly closed two sided ...
1
vote
1answer
44 views

Is the image of a von Neumann algebra under a C*-homomorphism a von Neumann algebra as well?

If $\varphi: A\to B$ is a (norm-continuous, unital, involutive) homomorphism of $C^*$-algebras, then the image $\varphi(A)$ is closed in $B$ and therefore is a $C^*$-algebra with the $C^*$-norm ...
0
votes
0answers
26 views

Show that $\pi(M)'' = \pi(M'')$

Let $M$ is a $*-$ subalgebra of $B(H)$. Let $\bar H$ denote the direct sum $\sum H_i$ where $\{H_i\}$ is a family of replicas of $H$. Define $$\pi :x\in B(H) \to \bar x \in B(\bar ...
2
votes
0answers
37 views

Noncommutative version of Littlewood's First Principle

There are definitely noncommutative analogues for Lusin's theorem and Egoroff's theorem (found in Blackadar for example). I'm curious if there is a version of the first principle: Every Lebesgue ...
2
votes
1answer
28 views

QD C*-algebra's representation theorem

Here is a question from the proof of the "QD C*-algebra's representation theorem" in P245 of book "C*-algebras and Finite-Dimensional Approximations" by Nate and Taka. For a separable unital ...
2
votes
1answer
51 views

von Neuman algebras with trace

I started to learn von Neumann algebras and I wonder about the proof of the following. Can anyone outline it? If $\tau$ is a trace on a von Neumann algebra $M$, in other words $M$ is $II_1$-factor, ...
0
votes
2answers
37 views

Some doubts concerning spectral theory.

Probably I'm saying something wrong (that's why the conclusions are strange) so please correct me! There is the continuous functional calculus for a normal element $N$ of a C*-Algebra. This means ...
1
vote
1answer
29 views

If $N$ is normal, $W^\ast(N)=\{N\}''$

I want to prove that if $N$ is normal, then $W^\ast(N)=\{N\}''$, where $W^\ast(N)$ is the Von Neumann algebra generated by $N$ and $\{N\}''$ is the bicommutant of $N$. for the inclusion $W^\ast(N) ...
0
votes
1answer
49 views

norm of a matrix that its entries are operators in B(H).

Let S is a subset of B(H). Define $M_2(S)=\{T= \left( \begin{array}{ccc} A & B \\ C & D \\ \end{array} \right) : A,B,C,D \in S\}$. what is the relationship between $||T||$ and ...
0
votes
1answer
38 views

polar decomposition of multiplicative operator on L^2 induced by identity function.

We know that every operator in B(H) has a polar decomposition. $T=VP$ that $P=|T|$ and V is a partial isometry with initial space closure of ImP and final space ImT. How can i obtain polar ...
3
votes
1answer
39 views

Tensor Product of Factors of type $II_{1}$

Let $\mathcal{R}$ be a type $II_{1}$ factor. Is it true that $\mathcal{R}\otimes\mathcal{R}$ and $M_{2}(\mathcal{R})$ are still type $II_{1}$ factors ? If so, any reference ? (I am asking this ...
1
vote
0answers
107 views

Closed unit ball of B(H) is not compact in strong operator topology of B(H).

In operator theory we prove that closed unit ball of B(H) is compact in weak operator topology and is closed in strong operator topology. But a book of operator theory states that closed unit ball of ...
0
votes
1answer
54 views

The map $T\longmapsto \|T\|$ is not continuous in the strong operator topology of $\mathscr B(H)$

In the context of Strong and Weak operator topologies on $\mathscr B(H)$ there is an statement that says: the map on $\mathscr B(H)$ that $T\longmapsto \|T\|$ is not continuous in the strong operator ...
3
votes
1answer
44 views

A detail in Rădulescu's Theorem proof

I've been following one Rădulescu's Theorem proof ($G$ is hyperlinear if and only if $\mathcal{L}_{G}$ can be embedded in a ultrapower of the hyperfinite type-$II_{1}$ factor $\mathcal{R}$, where ...
1
vote
1answer
28 views

Why is this statement true for two equivalent projections in $B(H)$?

In a book of operator theory it is stated that two projections $P$ and $Q$ in a von Neumann algebra $A$ are equivalent if there exist $V$ in $A$ that $V^*V=P$ and $VV^*=Q$. After this definition, it ...
2
votes
1answer
68 views

Why is the weak operator closure of a commutative $\boldsymbol{C^*\!\!\!\!-}$algebra also commutative?

In a book on Operator Theory there is the following statement: If $\mathscr A$ is a commutative $C^*$-subalgebra of $\mathscr B(\mathcal H)$, where $\mathcal H$ is a Hilbert space, then the weak ...