1
vote
1answer
32 views

$C^{*}$ algebras positively dominated by finite dimensional algebras

Assume that $A$ is a $C^{*}$ algebra and $B$ and $C$ are two sub $C^{*}$ algebras of $A$ such that: $B$ is finite dimensional algebra. For all positive $c\in C$, there exist a positive $b\in ...
1
vote
1answer
24 views

$R\mbox{ is a right multiplier and }R(a)b=a\overset{?}{\implies} A\mbox{ is unital }$

Let $A$ be a $C^*$-algebra, and $R:A\to A$ its right multilplier. Is it true that $$ \exists b\in A\quad \forall a\in A \quad R(a)b=a\qquad $$ implies $A$ is unital. I know this is true if A is a ...
0
votes
2answers
25 views

Spectrum of projection

I have a question concerning the spectrum of a projection in an abstract $C^*-$algebra. Let $A$ be $C^*-$algebra, $p\in A$ a projection (i.e. a selfadjoint idempotent). Can we say what is the spectrum ...
4
votes
1answer
60 views

“Refinement” of the existence of faithful representations of C*-algebras?

Conway, in a course in operator theory, brings the statement 1. below as a theorem and statement 2. below as an exercise. Still, he states that 2. refines 1., but I can't see it. Every C*-algebra ...
2
votes
0answers
54 views

Integration with values in a $C^*$-algebra

My question is quite specific to locally compact groups but I'm sure it can be generalised to locally compact Hausdorff spaces with a Borel measure. Let $G$ be a locally compact group and fix a Haar ...
3
votes
0answers
29 views

Understanding minimal projections

This might be very easy but it is not quite clear for me. Detailed explanation appreciated! I went through the commutative case but beyond that I lack intuition. Let $A$ be a C*-algebra and let ...
0
votes
0answers
25 views

A question on finite-dimensional operator system

Let $A$, $B$ be C*-algebras, $E\subset A$ be an operator system and $J\triangleleft B$ be an ideal. Can we verify the union of the subspaces $\frac{E\otimes B}{E\otimes J}$, where $E\subset A$ is a ...
2
votes
1answer
22 views

If $A$ is a primitive / irreducible C*-algebra, then $M(A)$ has trivial center.

Recall some definitions: a sub-C*-algebra $A$ of $B(H)$, the algebra of bounded operators on a Hilbert space $H$, is called irreducible if the only closed $A$-invariant subspaces of $H$ are $0$ and ...
3
votes
0answers
32 views

Conditional expectation onto maximal abelian subalgebras

If you take a von Neumann algebra $M$ and any its maximal abelian subalgebra (masa) $D$, then there is a norm-one projection from $M$ onto $D$ (conditional expectation). The same is true if you take ...
2
votes
1answer
26 views

A question on nuclearity

Definition 2.1.1. If $A$, $B$ are C*-algebra, a map $\theta: A\rightarrow B$ is called nuclear if there exist contractive completely positive maps $\phi_{n}: A\rightarrow M_{k(n)}(\mathbb{C})$ and ...
2
votes
1answer
53 views

A simple lemma in tensor product

Here is a quotation of a book: ($\otimes$ denotes the minimal tensor product) Lemma 3.9.2. Let $A$ be a C*-algebra. If $E\subset A$ is an operator system and $J\triangleleft B$ is an ideal, then ...
3
votes
1answer
66 views

Spectrum of normal elements in C*-algebras

Let $\mathcal{A}$ be a C*-algebra and $x \in \mathcal{A}$ a normal element. Can you show that $\left\{ \phi(x) : \phi \text{ is a state on } \mathcal{A} \right\}$ is the closed convex hull of the ...
0
votes
1answer
46 views

Faithful Representations of C*-algebras

Can anyone give me an example of a represetation of the algebra $M_n(\mathbb{C})$ that is not faithul? If it's not possible, could you explain me why it is not?
3
votes
1answer
28 views

A question on a lemma about the product map

Here is a Lemma in the book “C*-algebras and Finite-Dimensional Approximations”: Lemma 3.8.4. Let $A$ be a C*-algebra, $M\subset B(H)$ be a con Neumann algebra and $\phi: A\rightarrow M$ be a ...
1
vote
1answer
46 views

A question on tensor product of $C^{*}$ algebras

Let $A$ and $B$ be two $C^{*}$ algebras. Assume that every element of the minimal tensor product $A\otimes_{min} B$ is a finite linear combination of simple tensors $a\otimes b$. Can we say that ...
1
vote
1answer
39 views

The spectral projection of a positive operator

Let $T_{n}\in B(H)$ be a positive operator on Hilbert space $H$ and $T_{n}\rightarrow 1_{H}$ in the strong operator topology. Now fix $\delta>0$ and let $P_{n}$ be the spectral projection of ...
1
vote
1answer
32 views

Minimal and maximal unitization of $C^{*}$ algebras

Is there a non unital $C^{*}$ algebra $A$ for which the multiplier algebra $M(A)$ is isomorphic to the minimal unitization $\tilde{A}$?
2
votes
1answer
18 views

Commutative subspace lattice

I have seen an article in which there is an algebra which was named CSL-algebra (Commutative Subspace Lattice). This algebra is about projection on Banach algebra? I couldn't find any good source to ...
1
vote
1answer
22 views

The exactness of a C*-algebra

Here is a quotation: Corollary 3.7.12 If $\Gamma$ is a non-amenable residually finite group, then $C^{*}(\Gamma)$ is not exact. It follows from this corollary that $B(l^{2})$ is not exact ...
1
vote
1answer
43 views

A simple description of $ {C^{*}}(\Gamma) \otimes_{\sigma} {C^{*}}(\Gamma) $ when $ \Gamma $ is finite.

Problem. Let $ \Gamma $ be a discrete group. Denote its full group $ C^{*} $-algebra by $ {C^{*}}(\Gamma) $. If $ \Gamma $ is a finite group, then is it true that $ {C^{*}}(\Gamma) \odot ...
2
votes
2answers
39 views

A definition of discrete group

Definition: A discrete group $\Gamma$ is called residually finite if there exist subgroups $\Gamma\supset\Gamma_{1}\supset\Gamma_{2}\supset...$ such that each $\Gamma_{i}$ is a finite-index, normal ...
0
votes
1answer
23 views

The commutant of reduced C*-algebra of a discrete group

For a discrete group $\Gamma$ we let $\lambda: \Gamma \rightarrow B(l^{2}(\Gamma))$ denote the left regular representation and $\rho$ denote the right regular representation. The reduced C*-algebra of ...
2
votes
1answer
19 views

An extension of representation

Let $A,~B$ be two C*-algebras, if $A$ is an ideal in $B$, then do we have that any representation of $A$ can extend to a representation of $B$?
1
vote
1answer
18 views

The norm on tensor product

Here is a quotation of a book: Let $B, ~C$ be unital C*-algebras and $A$ be a nonunital C*-algebra, $\|\cdot\|_{\alpha}$ be a C*-norm on $B\odot C$ (the tensor product) and $\|\cdot\|_{\beta}$ be ...
0
votes
1answer
44 views

The quotient embedding of tensor product

Here is a quotation of a book: Let $A, B$ be two $C^*$-algebras and $J\subset A$ be a $C^*$-subalgebra, then there is a dense embedding $$\frac{A\odot B}{J\odot ...
1
vote
1answer
28 views

Exact sequence of tensor product

Here is a quotation of a book: Proposition 3.7.1. If $0 \rightarrow J \rightarrow A \rightarrow (A/J)\rightarrow 0$ is an exact sequence, then for every $B$, the natural sequence $$0 \rightarrow ...
0
votes
0answers
26 views

The canonical quotient map between two tensor product [duplicate]

Let $A, C$ be two C*-algebras. Does there exist a canonical quotient map from $A\otimes_{max} C\rightarrow A\otimes C$? $A\otimes_{max} C$ (resp. $A\otimes C$) denote the completion of $A\odot B$ ...
1
vote
1answer
11 views

A simple question about Lance's weak expectation property.

Here is a quotation of a book: Definition 3.6.7. A C*-algebra $A\subset B(H)$ is said to have Lance's weak expectation property (WEP) if there exists a u.c.p map $\Phi: B(H)\rightarrow A^{**}$ ...
1
vote
1answer
27 views

A equivalent proposition of contractive completely positive map

Proposition 3.6.6. Let $A\subset B$ (C*-algebras) be an inclusion. Then the following are equivalent: (1). there exists a c.c.p.(contractive completely positive) map $\phi: B\rightarrow A^{**}$ such ...
1
vote
1answer
23 views

A proof of a proposition of tensor product

Proposition 3.6.5.(The Trick) Let $A\subset B$ and $C$ be C*-algebras, $||.||_{\alpha}$ be a C*-norm on $B\odot C$ and $||.||_{\beta}$ be the C*-norm on $A\odot C$ obtained by restricting ...
0
votes
1answer
22 views

The hereditary subalgebra

If $B$ is a C*-algebra and $A\subset B$ is a hereditary subalgebra, then , taking $\{e_{n}\}$ be the approximate unit of $A$, can we verify $e_{n}be_{n} \in A$ for every $b\in B$?
0
votes
1answer
40 views

The point-ultraweak convergence of contractive completely positive map

Let $A$ and $C$ be C*-algebras. If $\phi_{n}: A \rightarrow C$ is a c.c.p (contractive completely positive) map, then the point-ultraweak cluster point of the map $\phi_{n}$ is still a c.c.p. map? ...
1
vote
1answer
23 views

Completely bounded map and minimal tensor products

Theorem 3.5.2. Let $\phi: A\rightarrow C$ and $\psi: B\rightarrow D$ ($A, B, C, D$ are C*-algebras) be c.p.(completely positive) maps. Then the algebraic tensor product map $$\phi\odot\psi: ...
0
votes
1answer
33 views

The proof of (continuity of tensor product maps) theorem

Here is a proof of (continuity of tensor product maps) theorem: Theorem 3.5.2. Let $\phi: A\rightarrow C$ and $\psi: B\rightarrow D$ ($A, B, C, D$ are C*-algebras) be c.p. maps. Then the algebraic ...
0
votes
1answer
24 views

The restriction homomorphism

Let $||.||_{\alpha}$ be a C*-norm on $A\odot B$, $A\otimes_{\alpha} B$ be the completion and $\xi$ be a state on $A\otimes_{\alpha} B$. We definte the restrictions $\xi|_{A}$ and $\xi|_{B}$ as ...
0
votes
1answer
38 views

An exercise about minimal norm

Exercise 3.4.1. Let $\pi: A \otimes B \rightarrow C$ be a $*$-homomorphism which is injective when restricted to $A\odot B$. Show that $\pi$ must be injective on all of $A\otimes B$. Is this still ...
0
votes
1answer
26 views

The unitarily equivalent between two representations

Here is a quotation of a book: Let $\phi$ and $\psi$ be the faithful states on $A$ and $B$ respectively, and let $||.||_{\alpha}$ be any C*-norm on $A\odot B$ (algebraic tensor product). As we know, ...
1
vote
1answer
33 views

The tensor product of $M_{n}(\mathbb{C})$

There is a quotation below: Let $\{e_{i,j}\}_{1\leq i, j\leq n}$ be a system of matrix units fro $M_{n}(\mathbb{C})$ and consider $$\sum\limits_{i,j=1}^{n}e_{j, i}\otimes e_{j, i}.$$ A ...
0
votes
1answer
23 views

The restriction of representation of $A\otimes_{\alpha} B$

Let $||.||_{\alpha}$ be a C*-norm on $A\odot B$, $A\otimes_{\alpha} B$ be the completion and $\xi$ be a state on $A\otimes_{\alpha} B$. Let ($\pi_{\xi}, H_{\xi}, v_{\xi}$) be the GNS triplet and ...
0
votes
1answer
31 views

Several questions about state space

Here are several questions about the state space of a C*-algebra $A$: Let $A$ be a unital and separable C*-algebra, can we find a faithful state $\phi \in S(A)$. ( The $S(A)$ denotes the state space ...
0
votes
1answer
48 views

A lemma about the pure states

There is a quotation of a book: Lemma 3.4.5. Assume that both $A$ and $B$ are unital and abelian C*-algebras. Then for every C*-norm $\|\cdot\|_{\alpha}$ on $A\odot B$ and pair of pure states ...
0
votes
1answer
23 views

The GNS of a pure state on $A\otimes_\alpha B$

Let $A, B$ be the C*-algebras and $\|\cdot\|_\alpha$ be a C*-norm on $A\odot B$, $\xi$ be a state on $A\otimes_\alpha B$. (Here, $\odot$ denotes the algebraic tensor product and $A\otimes_\alpha B$ ...
0
votes
1answer
25 views

How to verify the isomorphism between two C*-algebra

Let $B$ be a C*-subalgebra of a unital C*-algebra $A$, how to verify $C^{*}(B, 1_{A})\cong \tilde{B}$? Here, $C^{*}(B, 1_{A})$ denotes the C*-algebra generated by $B$ and $1_{A}$, meanwhile the ...
1
vote
1answer
40 views

An interesting phenomenon of $C^*$-tensor product

On the algebraic tensor product space of $C^*$-algebra, I try to find an example whose maximal $C^*$-norm is not the minimal $C^*$-norm, but it seems as it is impossible to do this because the finite ...
2
votes
1answer
29 views

Questions about multiplier algebra and corona algebra

When I read N.E. Wegge-Olsen's book K-theory and C-star-algebras_ A friendly approach I meet the following two problems about standard isomophisms: For any $C^\ast$-algebra $\mathcal{A}$, is ...
3
votes
1answer
108 views

application of c*algebras

I am preparing an introductory talk about c* algebras and I'd like to motivate C*algebras or show an application of them and I'd prefer an application in the field of partial differential equations. ...
3
votes
2answers
53 views

an invariant of $C^{*}$ algebras

consider the following property (invariant) for complex $C^{*}$ algebras: "$T(x)=x^{*}$ is the only non zero $\mathbb{R}$-linear map on $A$ which satisfies $T(x)T(y)=T(yx)$." Questions: 1)Some ...
0
votes
1answer
20 views

The commutative tensor product norm

Definition 3.3.3 (Maximal norm) Given $A$ and $B$, we define the maximal C*-norm on $A\odot B$ to be $$||x||_{max}=sup\{||\pi(x)||:\pi:A\odot B\rightarrow B(H) a *-homomorphism\}.$$ for $x\in A\odot ...
1
vote
1answer
58 views

The state on C*-algebra

Let $C$ be a C*-algebra, $A\subset C$ be a C*-subalgebra of $C$ and $B=A'\cap C$ (here, $A'$ denotes the commutant of $A$). If $\xi$ is a state on $C$ and we take an positive element $b\in B$, then ...
1
vote
1answer
37 views

An application of Hahn-Banach (separation) theorem

Here is a quotation of a book: Let $S(A)$ denote the state space of a C*-algebra $A$ and $M\subset S(A)$ denote a weak-$*$ closed convex set. Assume there is a state $\psi$ which does not belong ...