Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with c-star-algebras
Search options not deleted
user 126109
A C*-algebra is a complex Banach algebra together with an isometric antilinear involution satisfying (a b)* = b* a* and the C*-identity ‖a* a‖ = ‖a‖². Related tags: [banach-algebras], [von-neumann-algebras], [operator-algebras], [spectral-theory].
13
votes
Accepted
For what kind of $C^*$ algebras does the inequality $\frac{(ab+ba)}{2}\leq\frac{ a^p}{p} +\f...
Let me expand slightly on the comments I made above, and give the most general solution.
Clearly the inequality $\frac{ab + ba}{2} \leq \frac{a^2}{2} + \frac{b^2}{2}$ holds for all positive elements $ …
- 2,471
4
votes
Accepted
Decomposition of an element as a difference of positive elements in the definition subalgebr...
I don't know what Takesaki had in mind for the proof, but what you're asking is incorrect. Here is a counterexample where $\phi$ in the counterexample is a normal faithful semifinite (n.f.s.) weight.
…
- 2,471
5
votes
Accepted
Is $N_\phi = \{x \in E: \phi(\langle x,x\rangle)=0\}$ a Hilbert submodule of $E$?
It is not true. Take $B= M_2(\mathbb C)$ (with standard matrix units $e_{i,j}$), $E= B$ as a Hilbert $B$-module in the usual way, and let $\phi \in B^\ast$ be compression to the $(1,1)$-corner. Then …
- 2,471
5
votes
Accepted
Two densely defined traces on a $C^*$-algebra coinciding on a dense subalgebra are equal
Yes, this is true.
Let $a\in A_+$. By lower semicontinuity it suffices to show that $t_1((a-\delta)_+) = t_2((a-\delta)_+)$ for all $\delta>0$ (where $(a-\delta)_+$ is the positive part of $a-\delta 1 …
- 2,471
8
votes
Accepted
Monotone approximation of elements in AF-algebras
No, this is not possible in general. $A^{LS}$ might have trivial intersection with a non-zero hereditary $C^\ast$-subalgebra of $A$, and thus any non-zero positive element in such a hereditary $C^\ast …
- 2,471
5
votes
Accepted
Primitive ideals of minimal tensor product
I expect that this answer is satisfactory, although it isn't a complete answer. This is really the best result one can hope for.
For a $C^\ast$-algebra $A$ let $Prime(A)$ be the prime ideal space (def …
- 2,471
1
vote
Accepted
Strict topology on the multiplier algebra
Yes, these topologies agree basically by definition once you understand the isomorphism $M(A)\cong \mathcal L(A)$ (since $tθ_{a,b}=θ_{t(a),b}$ the canonical isomorphism $A≅ \mathcal K(A)$ takes this e …
- 2,471
4
votes
Accepted
Stable rank one and corners of $C^\ast$-algebras
For separable $C^\ast$-algebras this phenomenon cannot happen, since any corner of a separable stable rank one $C^\ast$-algebra has stable rank one. More generally, this holds for $C^\ast$-algebras $A …
- 2,471
12
votes
Accepted
Faithful traces on quasi-diagonal C*-algebras
No, separable (unital) quasi-diagonal $C^\ast$-algebras do not necessarily admit a faithful tracial state. For instance, the $C^\ast$-algebra
\begin{equation}
A= \{ f\in C([0,1], \mathcal O_2) : f(0) …
- 2,471
5
votes
Accepted
Is there a C*-algebra whose Pedersen ideal is not proper?
Examples include all non-unital algebraically simple $C^\ast$-algebras. By [Blackadar, Bruce E.; Cuntz, Joachim The structure of stable algebraically simple C∗-algebras. Amer. J. Math. 104 (1982), no. …
- 2,471
4
votes
Accepted
Convolution of functionals on compact quantum group
Every bounded linear functional on a $C^\ast$-algebra is a linear combination of states, so $\omega_1\odot \omega_2$ extends to the spatial (minimal) tensor product for all $\omega_1, \omega_2 \in A^\ …
- 2,471
10
votes
Accepted
Endomorphisms of the Cuntz algebra
This is true: $\mathcal O_n$ is singly generated, i.e. there exists $x\in \mathcal O_n$ such that $C^\ast(x) = \mathcal O_n$. In particular, if $\phi, \psi \colon \mathcal O_n \to B$ are $\ast$-homomo …
- 2,471
7
votes
Accepted
Is the reduced group $C^*$-algebra quasidiagonal
This is true for countable discrete groups by the celebrated Quasidiagonality Theorem of Tikuisis-White-Winter (Quasidiagonality of nuclear C∗-algebras. Ann. of Math. (2) 185 (2017), no. 1, 229–284.)
- 2,471
3
votes
Accepted
Question on Cuntz' proof of Bott periodicity
The conclusion drawn in the book of Wegge-Olsen is wrong (explained below), but can, however, easily be tweaked to a correct proof. What is shown is that $j\circ q$ is homotopic to the identity on $\m …
- 2,471
6
votes
Accepted
Approximating a projection by a sum of elementary tensors with a certain property
Yes, this is possible, assuming that $A$ (or $B$) is nuclear. The same argument below (using that exact $C^\ast$-algebras are locally reflexive) also works if $A$ or $B$ is exact and the tensor produc …
- 2,471