All Questions
218 questions
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, ...
- 261
6
votes
1
answer
170
views
Do projections in an $AW^\ast$-algebra form an orthomodular lattice?
I’m currently studying orthomodular lattices arising out of operator algebras. One of the most standard examples is the projection lattice of a von Neumann algebra - if $M$ acts on a Hilbert space $H$,...
- 2,830
3
votes
1
answer
116
views
Does a bounded positive modular sesquilinear form on a $C^\ast$-algebra induces an element of its multiplier algebra?
This is a question that originates from my attempt at this question. Specifically, for a $C^\ast$-algebra $A$, I am attempting to construct a map $\phi: A \times A \to A$ s.t.,
$\phi$ is sesquilinear,...
- 2,830
1
vote
1
answer
146
views
Form of a hereditary subalgebra of $C^*$-algebra $C_0(X)$
I would like to show that:
"every hereditary subalgebra $U$ of a $C^*$-algebra $C_0(X)$ for a locally compact Hausdorff Space $X$ has the form $J_E := \{f \in C_0(X) : f|_E=0 \}$ for a closed ...
- 11
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
284
views
A certainty principle?
Let $\mathcal{A}$ be a unital $\mathrm{C}^*$-algebra with $\varphi\in\mathcal{S}(\mathcal{A})$ a state. Where
$$\sigma_\varphi(a):=\sqrt{\varphi((a-\varphi(a)1_{\mathcal{A}})^2)}\qquad (a\in \mathcal{...
- 1,027
8
votes
1
answer
390
views
Order bounded version of monotone complete $C^*$-algebras
Let $A$ be a $C^*$-algebra with self-adjoint part $A_{\operatorname{sa}}$. Then $A$ is called monotone complete if every increasing norm bounded net in $A_{\operatorname{sa}}$ has a supremum (with ...
- 12.5k
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 ...
- 439
4
votes
0
answers
242
views
On the Dunford-Pettis property and multiplier algebras
I am not an expert in operator algebras, so if the answer to this question might be trivial, that might be one reason for that:
Let $\mathcal{A}$ be a $C^\ast$-algebra. Then $\mathcal{A}^{\ast \ast}$ ...
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 $\...
- 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 ...
- 175
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 $...
- 175
0
votes
0
answers
92
views
Proof of the isomorphism of the Toeplitz algebra and the algebra generated by the element and the relation
Please tell me where can I see the proof of this well-known fact?
enter image description here
5
votes
1
answer
212
views
States "absorbed" by a Haar idempotent on a compact quantum group
Firstly, a small question of nomenclature. If $(S,\bullet)$ is a magma, is there good terminology to relate $a$ to $b$ when
$$a\bullet b=b=b\bullet a?$$
Can we say that $b$ absorbs $a$? Can we say ...
- 1,027
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
8
votes
1
answer
286
views
Commutator ideal in nonunital C*-algebra
Let $A$ be a C*-algebra that has no one-dimensional irreducible representations, that is, there is no (closed) two-sided ideal $I\subseteq A$ such that $A/I\cong\mathbb{C}$.
Let $J$ denote the (not ...
- 3,497
4
votes
1
answer
133
views
A $C^*$ algebraic analogy of the concept of complemented subspace in the particular case of $\ell^\infty$
Let $A$ be a $C^*$ algebra. A $C^*$ subalgebra $C\subset A$ is said to be $C^*$ algebraic complemented of $A$ if there exist a $C^*$ subalgebra $D\subset A$ with $A=C\oplus D$ and the obvios mapping $...
- 356
1
vote
0
answers
106
views
A locally convex $C^*$ algebraic structure on the disk algebra
A locally convex $C^*$ algebra is a locally convex topological vector space $A$ whose topology is generated by a familly of complete $C^*$ semi norm and $A$ is a $*$ algebra. Moreover all algebra ...
- 356
1
vote
0
answers
178
views
A locally convex $C^*$ algebra without zero divisor
Let we have a locally convex $C^*$ algebra $A$. That is $A$ is a TVS equipped with an algebra and an involution structure such that all operations are continuous. Moreover the topology on $A$ ...
- 356
3
votes
0
answers
219
views
Can any POVM be induced by a quantum instrument?
I suspect this is the obvious result of something in operator algebras, but that's far outside my field.
Recall that a projection-valued measure is a map $E$ from a sigma-algebra $\mathcal{F}$ on ...
- 854
4
votes
2
answers
158
views
Is a unital $*$-morphism from a unital $C^*$-algebra $A$ to $\operatorname{End}_{\mathbb{C}}(K)$ automatically contractive?
Let $A$ be a unital $C^*$-algebra and let $K$ be an inner product space (not necessarily complete!). Let $\pi: A \to \operatorname{End}_{\mathbb{C}}(K)$ be a unital algebra homomorphism such that
$$\...
- 175
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,058
5
votes
1
answer
219
views
An inequality in C*-algebras
Let $A$ be a non-unital C*-algebra, and let $\pi: A\to B(A)$ defined by $\pi(a)(x)=ax$ be the left representation of A. Is the following inequality correct?
$$\lVert I+ \pi(a) \rVert\ge 1$$
for all $a ...
- 51
3
votes
1
answer
745
views
Completions of $C(X)$ with respect to the topologies generated by states
I have no intuition in this field so excuse me if this is trivial.
Let $X$ be a compact Hausdorff space, and $C(X)$ the algebra of continuous functions on $X$ with the usual $\sup$-norm. This is a $C^*...
- 7,426
3
votes
1
answer
424
views
A trace inequality between self-adjoint operators
Let $A$ and $B$ be self-adjoint operators on some Hilbert space and $B$ is postive. Suppose we have $-B\leq A\leq B$.Is it true then that $\|A\|_p\leq\|B\|_p$ where $\|.\|_p$ is the Schatten-$p$ norm ...
- 1,879
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 $\...
- 175
1
vote
0
answers
113
views
Is it true that $\omega = \sum_{(k,l)\in I^2}\omega(p_k - p_l)$
Let $\{p_i\}_{i \in I}$ be a collection of projections in a $C^*$-algebra $A$ such that $\sum_{i \in I} p_i = 1$ in the strict topology (note here that $1$ is the unit of the multiplier algebra $M(A)$)...
- 175
2
votes
1
answer
374
views
A C*-algebra enjoying some different C*-norms
Does there exist any C*-algebra $(A,\|\cdot\|)$ enjoying the following property?
$\bullet$ There exists a norm $|\cdot|$ on $A$ with $\|\cdot\|\leq|\cdot|$ such that $(A,|\cdot|)$ is a pre C*-...
- 4,058
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 ...
- 175
1
vote
1
answer
136
views
The closure of selfadjoint elements of an algebra whose spectrum consist of rational numbers
Let $H$ be a seperable complex Hilbert space. What is the closure of the set of all self adjoint operators in $B(H)$ whose spectrum is a subset of the rational number $\mathbb{Q}$.
Apart from finite ...
- 356
1
vote
0
answers
57
views
Is the universal representation an order isomorphism?
Let $A$ be a Banach *-algebra. By a *-representations of $A$, we mean a *-homomorphism $\pi:A\to B(H_\pi)$, where $B(H_\pi)$ is the space of all bounded linear maps on a Hilbert space $H_\pi$. Let $\...
- 4,058
3
votes
1
answer
290
views
Approximation of continuous projections on a manifold by smooth idempotents
Every continuous vector bundle on a closed smooth manifold $M$ has a smooth structure. On the other hand, every vector bundle $E$ is the image of a trivial bundle $M\times\mathbb{C}^n$ under some ...
- 1,903
1
vote
1
answer
118
views
Let $V$ be a TRO such that $A(V)= \mathbb{C}$, what can we say about $V$?
Let $V$ be a TRO i.e. closed subspace of $B(H,K)$ such that $xy^*z \in V$ for all $x,y,z \in V$. Let $C(V)$ and $D(V)$ denotes the $C^{\ast}$-algebra generated by $VV^{\ast}$ and $V^*V$ respectively. ...
- 1,115
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 ...
- 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$-...
- 175
1
vote
1
answer
165
views
Convergent bounded net of positive operators converges to a positive operator
Let $A$ be a $C^*$-algebra. Endow $A$ with the strict topology for which a net $\{a_i\}_{i \in I}$ converges to $a \in A$ if $$\|a_i b-ab\| + \|ba_i-ba\| \to 0$$
for all $b \in A$. Is it true that if $...
- 175
3
votes
0
answers
179
views
Stinespring's theorem: can we choose the dilation to be an isometry?
Let $A$ be a $C^*$-algebra and $\varphi: A \to B(H)$ be a completely positive contractive map. Stinespring's theorem says that there exists a $*$-representation $\pi: A \to B(H')$ and a bounded ...
- 175
4
votes
0
answers
127
views
Can the injective envelope ever be injective for $*$-homomorphisms?
The answers to the question "Is the injective envelope functorial" resoundingly remind us that the injective envelope of a C$^*$-algebra really belongs in the category of completely positive ...
- 3,984
4
votes
1
answer
489
views
If a completely positive unital map admits a completely positive unital left inverse, it is a complete isometry
Let $T$ be an injective operator system and $U$ be an arbitrary operator system. Let $\varphi: T \to U$ be a unital completely positive map and $\psi: U \to T$ be a unital completely positive map with ...
- 175
2
votes
1
answer
143
views
$(\iota \otimes f)(X) = 0$ for all $f \in B^*$ implies $X=0$
Let $A$ and $B$ be $C^*$-algebras. Given $f \in B^*$, we can form the right slice map
$$\iota \otimes f: A \otimes B \to A: a \otimes b \mapsto af(b)$$
which extends uniquely to a bounded linear map
$$...
- 175
3
votes
1
answer
241
views
Monotone approximation of elements in AF-algebras
Suppose that we are given an AF-algebra $A$ and a sequence of finite-dimensional subalgebras $\mathbb{C}=A_0\subset A_1\subset A_2\subset\ldots$ such that $A=\overline{\bigcup\limits_{n\geq 0}A_n}$. ...
- 321
5
votes
1
answer
318
views
Two densely defined traces on a $C^*$-algebra coinciding on a dense subalgebra are equal
Let $t_1$ and $t_2$ be lower semicontinuous semifinite densely defined traces on a $C^*$-algebra $A$. Let us denote by $\mathcal{R}_1$ and $\mathcal{R}_2$ their ideals of definition, i.e. $\mathcal{R}...
- 321
4
votes
2
answers
448
views
A completely positive equivariant map $\varphi: A \to B$ induces a map $A \rtimes_r \Gamma \to B \rtimes_r \Gamma.$
Recall the construction of the reduced crossed product:
Let $\Gamma$ be a discrete group and $A$ be a $C^*$-algebra with an action $\alpha: \Gamma\to \operatorname{Aut}(A)$. Consider the $*$-algebra $...
user160032
4
votes
1
answer
300
views
$\|t\| = \sup_{\|z\| \le 1} \|\langle tz,z\rangle\|$ when $t=t^*$
Let $A$ be a $C^*$-algebra, $E$ be a (right) Hilbert $A$-module and $t \in \mathcal{L}_A(E)$ be an adjointable operator satisfying $t=t^*$. Is it true that
$$\|t\| = \sup_{z \in E, \|z\| = 1} \|\...
- 175
0
votes
1
answer
158
views
Abelian twisted reduced group C*-algebra
Let $G$ be an abelian discrete group. Then is $C_r^*(G, \sigma)$ abelian?
- 581
2
votes
0
answers
203
views
Quasidiagonal C*-algebras
Let $A$ be a nuclear $C^*$-algebra satisfying UCT condition. Then under what assumptions $A$ is quasidiagonal?
- 581
4
votes
1
answer
225
views
Direct sum of multiplier algebras
Consider a collection of $C^*$-algebras $\{A_i\}_{i \in I}$. We can form the direct sum $$\bigoplus_{i \in I}^{c_0} A_i:= \left\{(a_i)_{i \in I} \in \prod_{i\in I} A_i: \lim_{i \in I} \|a_i\| = 0\...
- 175
0
votes
1
answer
163
views
Regarding socle of a C* algebra
I wanted to know if the socle of a complex C*-algebra is essential?
Can anyone suggest a text where the socle is studied in detail. I tried reading it from the book by Bernard Aupetit, A Primer in ...
- 149
3
votes
1
answer
236
views
The inequality $a^*ca \le \|c\| a^*a$ in a pre-$C^*$-algebra
Let $A$ be a pre-$C^*$-algebra, i.e. $A$ satisfies all axioms for a $C^*$-algebra except completeness. In other words, $A$ is an involutive algebra with a $C^*$-norm.
We say that $x \in A$ is positive ...
- 175
1
vote
1
answer
220
views
Dimension of commutant
Suppose that $A = M_n(\mathbb{C})$ be the algebra of $n*n$ matrices over $\mathbb{C}$.
If com(A) = {$B \in M_n(\mathbb{C}); AB = BA$}, then what is the $dim(com(A))?$
- 581