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

3
votes
2answers
28 views

Question about a passage in the Bicommutant Theorem's proof.

In the Averson's book, in the proof of the Von Neumann's Bicommutant theorem there is this passage: ($A $ is a self-adjoint algebra of operators in $L(H)$) "Let $\xi_1$ be an element of the Hilbert ...
1
vote
1answer
21 views

Is $vN(M_1,M_2) \cap M_3= vN(M_1,M3) \cap vN(M_2,M3)$?

Let $M_1,M_2,M_3$ be von Neumann algebras (i.e. weakly closed subalgebras of $B(H)$ where $H$ is a Hilbert space). Let $vN(M_1,M_2)$ denote the von Neumann algebra generated by $M_1$ and $M_2$ inside ...
1
vote
1answer
32 views

Abelian projection in the von-Neumann algebras

As we know, a minimal projection must be Abelian, An Abelian projection must be finite. A minimal projection correspond to a rank one operator, a finite projection correspond to a finite rank ...
3
votes
1answer
32 views

Existence of proper I.C.C. subgroup

A countable discrete group $G$ is called I.C.C.(infinite conjugacy class) if for any $e\neq g\in G$, $\#\{sgs^{-1}\mid s\in G\}=\infty$. My question is: Is it possible for a group $G$ to be ...
0
votes
1answer
27 views

Is the double commutant of a unital $\ast$ algebra equal to its double dual?

The Sherman Takeda theorem says that the double dual $A^{\ast \ast}$ of a $C^{\ast}$ algebra $A$ can be identified as a Banach space with $A''$, the enveloping von Neumann algebra of $A$, i.e. the ...
3
votes
0answers
100 views

II$_1$-factors with finite commutant and trivial intersection generate $B(H)$? [migrated]

Let $H$ be an $\infty$-dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Let $\mathcal{A}$, $\mathcal{B} \subset B(H)$ be II$_1$-factors such that $\mathcal{A}'$, ...
2
votes
1answer
37 views

Do two II$_1$-factors with trivial intersection generate $B(H)$?

Let $H$ be an infinite dim. separable Hilbert space and $B(H)$ the algebra of bounded operators. Let $A$, $B \subset B(H)$ be II$_1$-factors such that $A \cap B = \mathbb{C}I$. Examples: (1) Take ...
1
vote
0answers
79 views

Question on amenable direct summand

Given a finite Von Neumann algebra $(N,\tau)$, and Von Neumann subalgebras $A\subset B$ with the same identity, I came across the fact saying that $B$ has an amenable direct summand implies $A$ has an ...
1
vote
1answer
28 views

find element in relative commutant of a matrix subalgebra

Let $M=A*P$ to be a free product von Neumann algebra, and $A$ is a finite dimensional subalgebra, for simplicity, we may assume $A=M_2(\mathbb{C})$, and $P\neq \mathbb{C}$. A standard fact is that ...
3
votes
0answers
29 views

Understanding minimal projections

This might be very easy but it is not quite clear for me. Detailed explanation appreciated! I went through the commutative case but beyond that I lack intuition. Let $A$ be a C*-algebra and let ...
1
vote
0answers
47 views

von Neumann Algebras and measures

I read that any abelian von Neumann algebra is isomorphic to $L^\infty(X,\mu)$ for some $X$ and $\mu$. This seems to be reasons, to consider any von Neumann Algebra as non-commutative measurable ...
2
votes
1answer
72 views

No trace on $B(H)$ if $H$ is infinite dimensional

Let $H$ be an infinite dimensional Hilbert space and $B(H)$ the bounded linear operators on $H$. Then thre is no ultra weakly continous non-zero positve trace $tr:B(H)\rightarrow \mathbb{C}$. I ...
1
vote
0answers
47 views

Ultra weakly continuous trace on a von Neumann Algebra

Let $M$ be a infinite dimensional von Neumann Algebra with a positive, faithful, ultra weakly continuous trace $tr:M\rightarrow \mathbb{C}$. Is it possible to show that $tr$ is strongly continuous?
3
votes
1answer
29 views

A question on a lemma about the product map

Here is a Lemma in the book “C*-algebras and Finite-Dimensional Approximations”: Lemma 3.8.4. Let $A$ be a C*-algebra, $M\subset B(H)$ be a con Neumann algebra and $\phi: A\rightarrow M$ be a ...
0
votes
1answer
21 views

Unique trace on a type $II_1$ von Neumann Algebra

Let $M \subseteq B(H)$ be a type $II_1$ von Neumann Algebra. Then any two non-zero ultraweakly continious normalised traces $Tr,tr : \rightarrow \mathbb{C}$ are equal. I'm trying to understand this ...
0
votes
1answer
24 views

Minimal projections and Type II von Neumann Algebras.

Let $M \subseteq B(H)$ be a type $II_1$ factor. Can it contain a minimal projection? If it can't, what would go wrong? I assume something about the trace being faithful?
2
votes
2answers
34 views

Ultra weakly closed *-subalgebra of B(H)

I'm currently working on a text about von Neumann algebras and the author used without further clarifying that any ultra weakly closed *-subalgebra of $B(H)$ contains a largest projection. Could ...
1
vote
1answer
33 views

Polar decomposition in a von Neumann algebra

Let $M \subseteq B(H)$ be a von Neumann algebra and $T \in M$. If $T=U|T|$ is the polar decomposition of T, why is $U \in M$? I'm thinking it's because $M$ is SOT-closed, but I'm not entirely sure.
1
vote
1answer
64 views

Kaplansky's Density Theorem for Unitary Operators

Let $M \subseteq B(H)$ be a *-subalgebra containing the identity on H. If there is a unitary T in the unit ball of the SOT-closure of $M$, is there a net of unitary oprators in the unit ball of $M$ ...
1
vote
1answer
15 views

type I algebras definition

I'm studying von Neumann algebras type decomposition and I already noticed two "different" definitions of, for instance, type I : (i) a vN algebra is said to be of type I, if it has an abelian ...
1
vote
1answer
63 views

Isn't the center of a von Neumann algebra on a separable Hilbert space a hyperfinite von Neumann subalgebra?

this is a very quick, probably dumb, question, I was reading this chapter from "Hochschild cohomology of von Neumann algebras" by Allan Sinclair and Roger M. Smith and I came across this theorem on ...
2
votes
1answer
19 views

projection generated by intersection of two projection

let $H$ be a Hilbert space and $P,Q$ be projections on $H$. suppose $P,Q$ do not commute. $P\wedge Q$ is a projection on $PH\cap QH$. I want to calculate $P\wedge Q$ but I can not. Please help me. ...
1
vote
1answer
25 views

About what happens to eigenspace under functional calculus for Unbounded Operator

Let $T$ be an unbounded self adjoint positive operator on a Hilbert Space $\mathcal{H}$. Let $x \in \mathcal{H}$ be a vector such that $Tx = x$. Is it true that $T^{\frac{1}{2}} x = x$. For what $f$ ...
0
votes
1answer
30 views

$E(a)=0\Longrightarrow E(a^{n})=0$?

Let $(M; \tau)$ be the hyperfinite $II_{1}$-Factor and consider a W${}^{\ast}$-subalgebra, $N$. Is there a (trace-preserving) conditional expectation, $E:M\to N$? Considering, now, a more general ...
0
votes
1answer
15 views

A symbol of commuting ranges in tensor product

Here is a proposition of tensor product: ($A,~B,~C$ are C*-algebras) Proposition 3.1.17 Given two *-homomorphisms $\pi_{A}: A\rightarrow C$ and $\pi: B\rightarrow C$ with commuting ranges (i.e., ...
0
votes
1answer
38 views

The multiplication of tensor product

Proposition 3.1.15 (Multiplication). Let $A$, $B$ be C*-algebra, the tensor product $A\odot B$ (denotes the algebraic tensor product) has a multiplication defined by $$(\sum\limits_{i}a_{i}\otimes ...
1
vote
1answer
31 views

The involution of tensor product

Proposition 3.1.8 (Linear independence). If $\{x_{1},...,x_{n}\}\subset X$ are linearly independent, $\{y_{1},...,y_{n}\}\subset Y$ are arbitrary and $$0=\sum\limits_{i=1}^{n}x_{i}\otimes y_{i}\in ...
1
vote
0answers
55 views

Continuity of linear functionals

We know from Operator Theory the following Theorem: A linear functional $f:A\rightarrow\mathbb{C}$ on a van Neumann algebra $A$ on an Hilbert space $H$ is ultra-weak continuous iff there is an trace ...
2
votes
1answer
30 views

Zhou operator theory book, Kaplanskys formula

In Zhou's operator theory book, Kaplanskys formula has stated that if $P$ and $Q$ are projection in a von neumann algebra $A$ acting on $H$, then $P\vee Q-Q\sim P-P\wedge Q$. In the proof, it says ...
0
votes
1answer
40 views

A representation of von Neumann algebra of type I

I am reading a book "C*-algebras and Finite-Dimensional Approximations". There is a quotation below: For infinite-dimensional Hilbert space $H$ and a abelian von Neumann algebra $A$, we can represent ...
0
votes
1answer
22 views

A inequality about pointwise absolute value vectors

Let $\Gamma$ be a discrete group and $\xi\in l^{2}(\Gamma)$ be a unit vector. If $|\xi|$ be the pointwise absolute value of $\xi$, then how to verify: ($S$ is a linear bounded operator on ...
1
vote
1answer
58 views

Representations of C*-algebras and projections

I had come across two links between (sub)representations (of von Neumann algebra actually in one case) and projections and I just realized that they are not the same. Let $(\mathcal{H},\pi)$ be a ...
1
vote
1answer
32 views

The integral about probability measures

Definition For a discrete group $\Gamma$, we let Prob$(\Gamma)$ be the space of all probability measures on $\Gamma$: $$Prob(\Gamma)=\{\mu\in l^{1}(\Gamma): ...
1
vote
1answer
40 views

Universal property about discrete group in C*-algebra

Universal property: Let $u:\Gamma \rightarrow B(H)$ be any unitary representation of $\Gamma$. Then, there is a unique $*-$homomorphism $\pi:C^{*}(\Gamma) \rightarrow B(H)$ such that ...
1
vote
1answer
68 views

Amenable group in C*-algebra

Definition 2.6.1. A group $\Gamma$ is amenable if there exists a state $\mu$ on $l^{\infty}(\Gamma)$ which is invariant under the left translation action: for all $s\in \Gamma$ and $f\in ...
0
votes
1answer
45 views

Positive definite function on discrete group in C*-algebra

Recall A function $\phi: \Gamma\rightarrow\mathbb{C}$ is said to be positive definite if the matrix $$[\phi(s^{-1}t)]_{s,t\in F}\in M_{F}(\mathbb{C})$$ is positive for every finite set $F\subset ...
1
vote
1answer
30 views

A simple question about 1-norm

Let $\Gamma$ be a discrete group, if $\mu \in l^{1}(\Gamma)$, then what is the 1-norm of $\mu$, I mean $||\mu||_{1}=?$. As we know, $l^{1}(\Gamma)=\{(\alpha_{x})_{x\in\Gamma}: ...
0
votes
1answer
61 views

A question about reduced C*-algebra of discrete group

There is a quotation below: Let $\Gamma$ be a discrete group and $\Lambda\subset \Gamma$ be a subgroup. The right cosets give a direct sum decomposition $$l^{2}(\Gamma)\cong\bigoplus l^{2}(\Lambda ...
0
votes
1answer
36 views

An easy (I guess) question about vector state in C*-algebra

I meet with some problems when I read a book about C*-algebra. Definition 2.5.10. Let $\phi:\Gamma \rightarrow \mathbb{C}$ be a function ($\Gamma$ is a discrete group here). We define a corresponding ...
0
votes
1answer
14 views

A simple question on infinite dimensional von Neumann algebra

Recall a projection $p\in N$ is called abelian if $pNp$ is an abelian algebra. If $N$ is a von Neumann algebra without abelian projections, then can we conclude that $N$ must be infinite dimensional? ...
1
vote
1answer
36 views

About Fourier transform

The reduced C*-algebra of $\Gamma$, denoted $C^{*}_{\lambda}(\Gamma)$, is the completion of $\mathbb{C}(\Gamma)$ with respect to the norm $$\|x\|_{r}=\|\lambda(x)\|_{\mathbb{B}(l^{2}(\Gamma))},$$ The ...
1
vote
1answer
22 views

A question about the positive definite function

Definition 2.5.6. A function $\phi:\Gamma \rightarrow \mathbb{C}$ is said to be positive definite if the matrix$$[\phi(s^{-1}t)]_{s,t\in F}\in M_{F}(\mathbb{C})$$ is positive for every finite set ...
0
votes
1answer
38 views

A question about compact operator

For a discrete group $\Gamma$, $T\in \mathbb{B}(l^{2}(\Gamma))$ is constant down the diagonals-meaning that for every $s, t, x, y\in \Gamma$ such that $ts^{-1}=yx^{-1}$, we have $\langle T\delta_{s}, ...
0
votes
1answer
49 views

A question about full group C*-algebra

There is a quotation below: $\qquad$The $full~group$ C*-algebra of $\Gamma$, denoted $C^{*}(\Gamma)$, is the completion of $\mathbb{C}(\Gamma)$ with respect to the norm ...
0
votes
1answer
29 views

The one to one map between two representations

There is a quotation below (C*-Algebras and Finite-Dimensional Approximations): $ \qquad$For a discrete group $\Gamma$ we let $\lambda:\Gamma\rightarrow B(l^{2}(\Gamma))$ denote the left regular ...
0
votes
1answer
30 views

A question on left regular representation of a discrete group

There is a quotation below: For a discrete group $\Gamma$ we let $\lambda:\Gamma\rightarrow B(l^{2}(\Gamma))$ denote the left regular representation: $\lambda_{s}(\delta_{t})=\delta_{st}~$ for all ...
1
vote
1answer
48 views

Full (or universal) group C*-algebra of discrete group $\Gamma$

There is a quotation below (C*-Algebras and Finite-Dimensional Approximations): $ \qquad$We denote the $group~ring$ of $\Gamma$ by $\mathbb{C}[\Gamma]$. By definition, it is the set of formal sums ...
0
votes
2answers
43 views

A question on discrete group

There is a quotation below: For a discrete group $\Gamma$ , $f\in l^{\infty}(\Gamma)$ and $s, t\in \Gamma$. We let $s.f \in l^{\infty}(\Gamma)$ be the function $s.f(t)=f(s^{-1}t)$. My question is ...
0
votes
1answer
61 views

Support and range projections in von Neumann algebra

There is a quotation below: Let $M$ be a von Neumann algebra, take a noncentral projection $p\in M$ and find some $m\in M$ such that $pm(1-p)\neq0$. The partial isometry in the polar decomposition of ...
1
vote
2answers
40 views

A question about discrete group

There is a quotation below: For a discrete group $\Gamma$ we let $\lambda:\Gamma\rightarrow B(l^{2}(\Gamma))$ denote the left regular representation: $\lambda_{s}(\delta_{t})=\delta_{st}$ for all $s, ...