All Questions
96 questions
4
votes
0
answers
121
views
Projection behavior under the automorphism $\Phi$ on a diffuse semi-finite von Neumann algebra
Let $\mathcal{M}$ be a diffuse semi-finite von Neumann algebra acting on a Hilbert space $\mathcal{H}$, equipped with a faithful normal semi-finite trace $\varphi$. Let $\Phi : \mathcal{M} \to \...
1
vote
0
answers
86
views
Proof mistake of: $M_0A(G) = B(G)$ for a locally compact group
I am posting my question of mathstack exchange here. (see: My post on MSE)
Let $G$ be a locally compact group with Haar measure $\mu$, and $B(G),A(G),C_r^*(G),L(G)$ be its Fourier-Stieltjes algebra, ...
17
votes
5
answers
2k
views
If two projections are close, then they are unitarily equivalent
Given two projections $p,q\in B(H)$, it is well-known that if $\|p-q\|<1$, then there exists a unitary $u\in B(H)$ with $q=upu^*$.
The proof that immediately occurs to me uses comparison of ...
3
votes
0
answers
109
views
Faithful traces on reduced $C^*$-algebra of a measured groupoid
Let $G$ be a measured étale groupoid with quasi-invariant measure $\mu$ (that induces the reduced $C^* $-algebra, meaning it has full support) with associated equivalent measures $\nu,\nu^{-1}$.
Is ...
3
votes
0
answers
97
views
Is a localised "restricted symmetry" automorphism implementable as a unitary operator on the GNS Hilbert space?
I have a pure state $\omega$ on a quasilocal algebra $\mathcal{A}$ on a 2d lattice $\Gamma = \mathbb{Z}^2$ with a $\mathbb{C}^d$ vector space on each site. Let there be a unitary symmetry action $U_g(...
3
votes
1
answer
244
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 ...
3
votes
0
answers
96
views
Excising the trace of a $II_1$-factor
Recall that a state $\varphi$ on a $C^*$-algebra $A$ is said to be excised by projections if there exists a net of projections $e_i \in A$ such that $\| e_i a e_i - \varphi(a) e_i\| \to_{i} 0$ for all ...
1
vote
1
answer
256
views
Intersection of two intermediate subalgebras
Suppose $B\subset A$ is an inclusion of simple $C^*$-algebras with a conditional expectation of (Watatani) index-finite type and $B^{\prime}\cap A=\mathbb{C}$. Then we know $B^{\prime}\cap A_1$ is ...
1
vote
1
answer
211
views
Tensor product of faithful normal states is faithful
I know that given C*-algebras $A, B$ with faithful states $\omega,\varpi$, the tensor product state $\omega\otimes\varpi$ on the minimal tensor product $A\otimes_{\text{min}}B$ is faithful.
I also ...
1
vote
1
answer
180
views
Conditioning a $\mathrm{C}^*$-algebra state with infinite precision
This question (and a second part) have been asked at MSE and gone through two bounties without an answer. I have been beating my head at it for a while without success.
Let $\mathcal{A}$ be a unital $\...
8
votes
0
answers
952
views
About generator and isomorphism problems for free groups operator algebras
Let $H$ be an infinite dimensional separable Hilbert space.
The $C^{*}$-algebras and von Neumann here unital and subalgebras of $B(H)$.
Definition : Let $\mathcal{A}$ be $C^{*}$-algebra (resp. a von ...
3
votes
1
answer
244
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
288
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 $...
6
votes
1
answer
643
views
Is there an irreducible, noncompact commuting, nonnormal operator, with spectrum strictly continuous?
Let $H$ be an infinite dimensional separable Hilbert space.
Definition: The commutant $\mathcal{S}'$ of a subset $\mathcal{S} \subset B(H)$ is $ \{A \in B(H) : AB=BA \ , \ \forall B \in \mathcal{S} \}...
2
votes
1
answer
527
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 ...
4
votes
1
answer
334
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 ...
1
vote
0
answers
87
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
129
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 \...
5
votes
1
answer
428
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) = \...
1
vote
1
answer
177
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 ...
3
votes
1
answer
121
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 ...
4
votes
2
answers
298
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 $\...
2
votes
2
answers
158
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}_\...
9
votes
3
answers
568
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
1
answer
218
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
297
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
255
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
321
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 ...
4
votes
1
answer
464
views
Kadison-Singer problem in exotic Hilbert spaces
The Kadison-Singer problem is considered in relation to the separable Hilbert space:
KS: Does every pure state on the diagonal (atomic) masa of $B(\ell_2)$ has a unique extension to $B(\ell_2)$?
...
1
vote
2
answers
148
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
306
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 $...
13
votes
1
answer
452
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 ...
5
votes
1
answer
395
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|= \...
9
votes
1
answer
372
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, ...
2
votes
2
answers
302
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
1
answer
403
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 ...
4
votes
0
answers
254
views
Inflating the double dual of a C*-algebra (matrix algebra of double dual)
in this post I would like to discuss the fact that If $A$ is a $C^*$-algebra, then $M_n(A^{**})\cong M_n(A)^{**}$, as mentioned in Brown and Ozawa. I can't really see it. Actually, it is enough for me ...
4
votes
1
answer
332
views
Normal linear functionals on bicommutants of C*-algebras
I am going through the proof of the Sherman-Takeda theorem and Fillmore's book "A User's Guide on Operator Algebras" seems to have a nice approach, but something seems off to me:
We need to ...
8
votes
1
answer
332
views
The double dual of the unitization of a $C^*$-algebra
I am studying the proof that if $A$ is a $C^*$-algebra such that $A^{**}$ is a semidiscrete vN algebra, then $A$ has the completely positive approximation property (CPAP). I was able to handle the ...
0
votes
0
answers
57
views
Monotone series of projections converging to 1 in von Neumann algebra
The following statement is being used a lot in the literature, and I wonder how to prove it.
Let $M$ be an infinite-dimensional von Neumann algebra (with unit element), show that there is an ...
3
votes
2
answers
260
views
Jordan isomorphisms of type I von Neumann algebras
Let $\mathcal M$ and $\mathcal N$ be two von Neumann algebras. A linear map $J:\mathcal M\to\mathcal N$ is said to be a Jordan isomorphism if $J$ is bijective, $*$-preserving and $J(xy+yx)=J(x)J(y)+J(...
13
votes
0
answers
3k
views
Connes Embedding Conjecture is false [closed]
This preprint from yesterday claims to prove that Connes Embedding Conjecture fails.
Since the paper is from outside Operator Algebras (Computer Science/Quantum Computing) and they actually work on ...
2
votes
0
answers
135
views
On crossed product of L^{P} spaces
Let $M$ be a von Neumann algebra with faithful normal state $\varphi$, and $G$ be a group action on $M$ preserving $\varphi$. Then is it true
\begin{align*}
L^{p}(M\rtimes G, \varphi^{M\rtimes G})\...
4
votes
0
answers
120
views
On existence of property gamma of C star simple group von Neumann algebra
We call a finite vN algebra $M$ with trace $\tau$ has property Gamma iff there exist unitary $u_{n}\rightarrow 0$ weakly and $\|xu_{n}-u_{n}x\|\rightarrow 0$. My question can we have C*-simple ...
3
votes
1
answer
148
views
On analogue of ratio in operator algebras
For functions spaces we have ratio of two functions namley $\frac{f}{g}$, Can ratio of two operators in von Neumann algebra make sense? If at all it makes sense, what will be the proper definition of ...
0
votes
0
answers
127
views
On examples of action of C-star simple group on von Neumann algebra
Can there exist a faithful action of a $C^{*}$-simple group $G$ on a von Neumann algebra $(M,\varphi)$ equipped with faithful normal state $\varphi$ such that action preserves the state $\varphi$ and ...
2
votes
1
answer
116
views
Extending $C^*$-norms from $*$-subalgebras
Let $A$ be a unital $*$-algebra, and $B$ a unital $*$-subalgebra of $A$. In addition, assume that there exists a $B$-$B$-sub-bimodule $C \subset A$, such that
$$
A \simeq B \oplus C,
$$
where $\...
32
votes
3
answers
2k
views
What does it mean for a category to admit direct integrals?
Given an infinite countable group $G$, the category of unitary representations of $G$ admits direct integrals.
Namely, given a measure space $(X,\mu)$ and a measurable family of unitary $G$-reps $(H_x)...
5
votes
1
answer
499
views
Variations on Kaplansky Density
Let $A$ be a $C^*$-algebra and $\pi:A\rightarrow B(H)$ a faithful $*$-representation, so $M=\pi(A)''$ is a von Neumann algebra and $A\rightarrow M$ is an inclusion. von Neumann's Bicommutant Theorem ...
3
votes
1
answer
161
views
On crossed product subalgebra
For Compact pmp actions of a group $G$ on measure space $(X,\mu)$, if a subalgebra $B$ is such that $L(G)\subset B \subset L^{\infty}(X)\rtimes G$, is it always true that $B$ is also of the form ...