Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
0 answers
120 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 \...
DenOfZero's user avatar
  • 113
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, ...
Tomás Pacheco's user avatar
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 ...
Tomás Pacheco's user avatar
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(...
pyroscepter's user avatar
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 ...
pitariver's user avatar
  • 297
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 ...
J_P's user avatar
  • 439
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 ...
Keshab Bakshi's user avatar
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 $\...
JP McCarthy's user avatar
  • 1,027
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 ...
Andromeda's user avatar
  • 175
6 votes
1 answer
287 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 $...
Andromeda's user avatar
  • 175
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 ...
Gabriel Palau's user avatar
2 votes
1 answer
525 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 ...
Anupam Ah's user avatar
  • 163
4 votes
1 answer
332 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 ...
Sean's user avatar
  • 135
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'\...
Lau's user avatar
  • 759
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 \...
J. De Ro's user avatar
  • 525
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) = \...
Lau's user avatar
  • 759
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 ...
Lau's user avatar
  • 759
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 ...
ABB's user avatar
  • 4,058
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 $\...
Andromeda's user avatar
  • 175
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 ...
Andromeda's user avatar
  • 175
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}_\...
Andromeda's user avatar
  • 175
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_{\...
Andromeda's user avatar
  • 175
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 ...
Andromeda's user avatar
  • 175
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$-...
Andromeda's user avatar
  • 175
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 ...
Andromeda's user avatar
  • 175
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 \...
Andromeda's user avatar
  • 175
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 $...
A beginner mathmatician's user avatar
13 votes
1 answer
451 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 ...
Isaac's user avatar
  • 771
5 votes
1 answer
394 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|= \...
user avatar
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, ...
worldreporter's user avatar
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 ...
user avatar
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 ...
Norbert's user avatar
  • 1,697
4 votes
0 answers
253 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 ...
Just dropped in's user avatar
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 ...
Just dropped in's user avatar
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 ...
Just dropped in's user avatar
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 ...
dreamwave's user avatar
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(...
A beginner mathmatician's user avatar
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 ...
Martin Argerami's user avatar
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})\...
user136400's user avatar
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 ...
sibani's user avatar
  • 181
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 ...
sibani's user avatar
  • 181
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 ...
user136400's user avatar
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 $\...
Dave Shulman's user avatar
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 ...
Matthew Daws's user avatar
  • 18.7k
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 ...
user136400's user avatar
0 votes
0 answers
54 views

On cyclicity of a module

Let $A$ be a $\text{ von Neumann algebra }$, $\mathcal{H}$ is a cyclic $A$ module, $G$ be a finite group acting on $A$, is $\mathcal{H}$ cyclic module over fixed point subalgebra of the action? ...
user136400's user avatar
2 votes
1 answer
368 views

On diagonal part of tensor product of $C^*$-algebras

Suppose we have a $C^*$-algebra $\mathcal{U}$, Consider the $C^*$-subalgebra generated by elements of the form $a\otimes a$, what is it isomorphic to? Is it isomorphic to $\mathcal{U}$ itself?
user136400's user avatar
6 votes
1 answer
397 views

Real rank 0 implies stable rank 1 on $C^\ast$-algebras?

A $C^\ast$ algebra has defined stable rank (https://www.univie.ac.at/nuhag-php/bibtex/open_files/2079_Rieffel-StableRank.pdf) and real rank (https://core.ac.uk/download/pdf/82123484.pdf), which are ...
Miguel Moreira's user avatar
7 votes
1 answer
491 views

Projections in the tensor product of von Neumann algebras

This question seems elementary, but I have already asked an expert who does not know the answer, so I would like to post here. Let $M$ and $N$ be von Neumann algebras, and let $M\bar{\otimes}N$ be ...
Masayoshi Kaneda's user avatar
5 votes
1 answer
208 views

Cartan subalgebras in the group algebras of virtually abelian groups

Let $G$ be a virtually abelian group. Are there any general results on the existence or non-existence of Cartan subalgebras in the generated group $C^*$-algebra or group von Neumann algebra?
worldreporter's user avatar