All Questions
51 questions
1
vote
0
answers
87
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, ...
- 261
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 ...
- 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 ...
- 2,830
3
votes
0
answers
253
views
Two more topologies on unitary groups
Let $H$ be a separable Hilbert space and let $\operatorname{U}(H)$ be the group of unitary transformations of $H$. It is well known that the weak, strong and compact-open topologies on $\operatorname{...
CommunityBot
- 1
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 $\...
- 42.8k
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 ...
5
votes
2
answers
1k
views
Polar decomposition in C*-algebras
A very nice feature of W*-algebras is the following:
once you have an element $a$ of a W*-algebra $M$, and $a=u|a|$ (the polar decomposition), then $u\in M$.
It seems that it carries over to AW*-...
- 2,821
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 ...
- 4,351
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 $...
- 4,351
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,821
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 ...
- 135
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 ...
- 42.8k
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 $\...
- 4,351
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 ...
- 18.7k
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 ...
- 960
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$-...
- 18.7k
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 \...
- 18.7k
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 $...
- 63.9k
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 ...
- 18.7k
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 ...
- 267
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 ...
- 42.8k
4
votes
1
answer
196
views
When a normal functional is restricted to a vn Neumann sub-algebra
I have already asked this question and no comment(s) received up to now.
I am so curious to get feedback concerning the problem.
Let $M$ be a vn Neumann subalgebra in $B(H)$. Let $f$ and $g$ be ...
- 4,351
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 ...
- 42.8k
7
votes
3
answers
676
views
Noncommutative torus as a von Neumann algebra
Le $\theta$ be irrational. One can define the noncommutative torus $A_{\theta}$ as a universal algebra generated by two unitaries $u,v$ satisfying the relation $vu=e^{2 \pi i \theta} uv$. This is an ...
- 42.8k
18
votes
3
answers
1k
views
In which sense the GNS-construction is a functor?
I asked this at mathstackexchange a week ago, without success.
I think the Gelfand–Naimark–Segal construction must be a functor in some sense, but I can't find an explicit statement anywhere. Can ...
- 31.5k
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 ...
- 677
0
votes
1
answer
204
views
A certain class of representations
Let $g$ be a non-identity element in a torsion-free amenable group, does there exist a finite-dimensional unitary representation $\pi$ with $\pi(g)\neq 1$?
(The word "finite-dimensional" was ...
- 18.7k
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 $\...
- 42.8k
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 ...
- 10.1k
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? ...
- 677
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 ...
- 619
3
votes
2
answers
397
views
Is the ideal property of $X^{**}$ inheritable to $X$?
Let $X$ be an operator space such that there is a weak$^*$-continuous complete isometry $\phi$ from its second dual $X^{**}$ into a $W^*$-algebra $M$ in which $\phi(X^{**})$ is a (necessarily weak$^*$-...
- 619
7
votes
1
answer
429
views
Open projections and Murray-von Neumann equivalence
Let $\mathcal{A}$ be a $C^*$-algebra and $p\in\mathcal{A}^{**}$ be an open projection, that is, $p=p^*=p^2$ and $p\in\overline{(p\mathcal{A}^{**}p\cap\hat{\mathcal{A}})}^{\operatorname{w}^*}$, where $\...
- 619
1
vote
0
answers
95
views
An example of a sequence of finite projections
Let $A$ be a vn-algebra. Suppose that $x$ is an isometry with $\inf_{n\geq1} x^nx^{*n}=0$ (Note that $x^nx^{*n}$ are all projections). Let $e$ be a (non-zero) finite projection and put $q_n$ to be ...
- 4,058
3
votes
1
answer
309
views
How rich the group of unitary elements in a von Neumann algebra to get "Murray-von Neumann" equivalence?
Denote by $\sim$ the "Murray-von Neumann" equivalence in the projection lattice of a von Neumann algebra. It is well known that in a finite von Neumann algebra the equivalence of projections can be ...
- 2,203
3
votes
0
answers
178
views
A point concerning absolute value of functionals
Let $M$ be a von Neumann sub-algebra in $B(H)$. Let $\phi$ be a normal functional on $M$. Assume $\psi$ is a normal functional on $B(H)$ with $\psi_{|_M}=\phi$ (note that $\phi$ and $\psi$ may have ...
- 4,058
2
votes
0
answers
164
views
An operator valued Egoroff's theorem
The following statements suggests $B(H)$-valued Egoroff's theorem when $H$ is a separable Hilbert space. Probably it will be hold even if a von Neumann algebra $M$ whose predual is separable is ...
- 4,058
15
votes
2
answers
1k
views
Is a C*-algebra with an isomorphic predual a von Neumann algebra?
It is well-known that a C*-algebra $A$ is a von Neumann algebra if and only if it has an isometric predual, that is, if and only if there exists a Banach space $X$ such that $A$ is isometrically ...
- 25.8k
4
votes
0
answers
187
views
The weak-star closure of closed left ideals corresponding to pure states
I asked this question at math.stackexchange and received no comment.
Let $A$ be a C*-algebra and $\phi$ be a positive linear functional on $A$. Let $\tilde{\phi}$ be its unique $w^*$-continuous ...
- 3,984
4
votes
1
answer
135
views
Is the module action $M\times M^*\to M^*$ jointly continuous?
Let $M$ be a W*-algebra and consider the following map:
$$\gamma: M\times M^*\to M^*: (a,f)\to af$$
where $af(b)=f(ba)$. Let us consider $M$ under the weak topology $\sigma(M,M^*)$ and $M^*$ under ...
- 42.8k
6
votes
2
answers
548
views
When is it $C(X)$?
Suppose that $\tilde{X}$ is a compact space. If $C(\tilde{X})$ is isometrically isomorphic to the second dual of a Banach space, does there exist a locally compact space $X$ such that $C(\tilde{X})=...
- 4,461
1
vote
1
answer
251
views
On the relation between the set of extreme points of the unit ball of $M(X)$ and $M(X)^{**}$
Suppose that $X$ is a locally compact topological space. Let $M(X)$ denote the Banach space of regular Borel measures on $X$. It is known that the bidual of $C_0(X)$ is a commutative $C^*-$algebra. ...
- 42.8k
0
votes
1
answer
151
views
Checking complete positivity of maps between C* algebras
Let $\phi$ : $A \rightarrow A$ be a positive map, where $A$ is a (unital) C* algebra. Suppose we are given that $\phi$ is n positive whenever n= $2^k$ for some $k \in \mathbb{N}$. Can we conclude that ...
- 8,098
7
votes
1
answer
702
views
A Question About Pure States, Support Projections and Central Covers
I am trying to study the paper Consistency of a Counterexample to Naimark’s Problem by Charles Akemann and Nik Weaver, and there is a claim in Lemma 1 of the paper that I am stuck at, which is as ...
- 42.8k
12
votes
1
answer
901
views
Is there a proof that the $C^{*}$-algebras don't see the invariant subspace problem?
This post is an appendix of this one.
Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators.
Invariant subspace problem: Let $T \in B(H)$. Is ...
CommunityBot
- 1
6
votes
1
answer
680
views
Is there an operator algebraic reformulation of the invariant subspace problem?
Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators.
Invariant subspace problem: Let $T \in B(H)$. Is there a non-trivial closed $T$-invariant ...
10
votes
1
answer
492
views
Which W*-algebras are the duals of C*-coalgebras?
A Banach algebra (assumed associative and unital) is precisely a monoid object in the monoidal category of Banach spaces, short linear maps, and the projective tensor product. A Banach coalgebra is ...
- 25.8k
3
votes
1
answer
503
views
When an AW*-algebra is a W*-algebra
In a very old book of Kaplansky "Rings of operators", on p. 123 one can find the following sentence:
It is a standing conjecture that an AW${}^\ast$-algebra is W${}^\ast$ if its center is W${}^\ast$.
...
- 42.8k
4
votes
1
answer
276
views
Abelian sub-W*-algebras
Let $M$ be a von Neumann algebra which acts faithfully on a Hilbert space of density character $\kappa$ but does not on a Hilbert space of density character $\lambda<\kappa$ (that is, the density ...
- 4,624
3
votes
1
answer
740
views
Centralizers in C*-algebra
Let $a,b\in A$ be self-adjoint elements in $C^*$-algebra $A$ with equal centralizers, $\{x\in A; [a,x]=0\}=\{x\in A; [b,x]=0\}$. Can we say anything about the correspondence between $a$ and $b$?
For ...
- 2,793