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).

learn more… | top users | synonyms

0
votes
1answer
51 views

Is a contractive algebraic homomorphism between unital $ C^{*} $-algebras a unital $ C^{*} $-algebraic homomorphism?

We know that a $ C^{*} $-algebraic homomorphism from a unital $ C^{*} $-algebra $ A $ to a unital $ C^{*} $-algebra $ B $ is a linear multiplicative mapping that preserves units and respects the $ * ...
1
vote
1answer
27 views

Why is this statement true for two equivalent projections in $B(H)$?

In a book of operator theory it is stated that two projections $P$ and $Q$ in a von Neumann algebra $A$ are equivalent if there exist $V$ in $A$ that $V^*V=P$ and $VV^*=Q$. After this definition, it ...
2
votes
1answer
59 views

Why is the weak operator closure of a commutative $\boldsymbol{C^*\!\!\!\!-}$algebra also commutative?

In a book on Operator Theory there is the following statement: If $\mathscr A$ is a commutative $C^*$-subalgebra of $\mathscr B(\mathcal H)$, where $\mathcal H$ is a Hilbert space, then the weak ...
0
votes
1answer
30 views

Representation of a unitary in terms of a self-adjoint operator (2)

If $A$ is a $C^\ast$-algebra and $u\in A$ is unitary and $\tau : \Omega (A) \to \mathbb C$ is the evaluation map why is $|\tau_u(\tau)|=|\tau(u)|=1 $ for all characters $\tau \in \Omega(A)$? This ...
2
votes
0answers
51 views

Representation of a unitary in terms of a self-adjoint operator

If $A$ is a $C^\ast$-algebra and $u\in A$ is unitary and $\tau_u : A \to \mathbb C$ is the evaluation map why can $\tau_u$ no map to any number in $(-\infty, 0]$? This is used in the proof here: ...
0
votes
2answers
91 views

Properties of a $B^\ast$-algebra

Defining a complex Banach algebra as a $B^\ast$-algebra when it is equipped with an application $\ast:B\to B$ such that for any $x,y\in B$ $$(x+y)^\ast=x^\ast+y^\ast,\quad(xy)^\ast=x^\ast ...
0
votes
1answer
39 views

A proposition about residually finite dimensional C*-algebra

Here is a proposition in a book "C*-algebra and Finite-Dimensional Approximations" P239 Proposition 7.1.8 Every type I C*-algebra with a faithful tracial state is RFD. Proof Let $\tau$ be a ...
0
votes
1answer
24 views

A question about *-homomorphism

Let $A$ be a C*-algebra and $\phi_{i}: A\rightarrow M_{k(i)}(\mathbb{C})$ (the $M_{k(i)}(\mathbb{C})$ denotes the $k(i)\times k(i)$ complex matrices) be c.c.p maps which are asymptotically ...
0
votes
1answer
31 views

A question about functional calculus

Here is a Lemma in a book "C*-algebras and Finite-Dimensional Approximations" P238. Definition 7.1.1 A C*-algebra $A$ is called quasidiagonal (QD) if there exists a net of c.c.p. maps $\phi_{n}: ...
1
vote
0answers
75 views

Bounded operators with infinite matrix representations

Suppose that $A$ is a unital $C^*$-algebra, $\varphi\colon A\to B(H)$ is a unital, completely positive map and that $I$ is a non-empty set. If $A\subseteq B(K)$ for some Hilbert space $K$, we can ...
1
vote
1answer
47 views

Follow up on a previous question of mine (characters in star algebra)

It is a fact that the character space of a commutative $C^\ast$-algebra is non-empty. Consider the following proof, also included here: Proof: My question is: could someone please explain to me ...
0
votes
1answer
19 views

A question about positive forms on involutive algebras.

A linear form $f$ on an involutive algebra $A$ is said to be positive if $f(x^\ast x)\geq 0$ for every $x$ in $A$. To be useful, this definition requires that is not always possible to write ...
2
votes
1answer
72 views

Generator of complex-valued functions vanishing at infinity

Let $C_0(\mathbb{R})$ be the $C^{\ast}$-algebra of continuous complex-valued functions vanishing at infinity, with involution given by $f^{\ast}(x) = \overline{f(x)}$. How can I prove that this ...
3
votes
0answers
55 views

Commuting nets for commuting projections

Let $A$ be a $C$*-algebra and $p,q\in A^{**}$ be commuting projections. Then there exist self-adjoint nets $(x_i)_i$ and $(y_j)_j$ in $A$ with $x_i\to p$ and $y_j\to q$ in the weak *-topology. Can ...
1
vote
1answer
23 views

Norm on unitisation is submultiplicative

Let $A$ be a $C^\ast$-algebra and let $\widetilde{A}$ denote its unitisation. Define a norm on $\widetilde{A}$ as $\|(a,\lambda)\| = \sup_{\|b\|=1} \|ab + \lambda b\|$. I could show that ...
2
votes
1answer
32 views

The uniform homeomorphism between $\mathrm{Prob}(\Gamma)$ and $l^{2}(\Gamma)$

Here is a quotation of book "C*-algebras and Finite-Dimensional Approximations" by Nate and Taka. In the proof of Proposition 4.4.5. (In P132), the author says: The assertion $(1)\Longleftrightarrow ...
0
votes
1answer
32 views

Is $\|T^2\|=\|T S\|$

Let $A$ be a C$^\ast$-algebra and let $S,T: A \to A$ be bounded linear operators such that $\|T\|=\|S\|$. Is it true that $\|T^2\| = \|ST\|=\|TS\|=\|S^2\|$? I believe not but if not I don't ...
0
votes
1answer
24 views

On a condition similar to the star algebra

Recently I have been reading about star algebras. In particular, $C^\ast$-algebras. It seems that the condition $\|a^\ast a\| = \|a\|^2$ is quite strong and much is known about $C^\ast$-algebras. I ...
2
votes
1answer
79 views

Irreducible representations and commutative C*Algebras.

If $A$ is a commutative C*-Algebra then also its representation $\pi(A)$ is commutative, and it's an operator C*-algebra. A representation is said to be irreducible if $\pi(A)$ does not commute with ...
1
vote
2answers
40 views

Strong closure of a C*-algebra of operators.

In Arveson's book, the Kaplansky density theorem is proved in order to have this corollary: "Let $A$ be a self-adjoint algebra of operators on a separable Hilbert space $H$. Then for every operator ...
0
votes
1answer
27 views

A question about the definition of $(X\rtimes\Gamma)$-C*-algebra

Here is a quotation in the book "C*-algebras and Finite-Dimensional Approximations": Instead of considering the *-algebra of finitely supported functions from $\Gamma$ to $C(X)$ (C(X) denotes all ...
0
votes
1answer
29 views

How to find a sequence in discrete group

Let $\Gamma$ be a discrete group. Can we find an increasing sequence $F_{n}\subset \Gamma$ of finite subsets, such that $\cup F_{n}=\Gamma$?
2
votes
1answer
37 views

How to prove the following map is a c.c.p map

Here is a quotation in a book "C*-algebrass and Finite-Dimensional Approximations" by Nate and Taka (P122). Let $A$ be a C*-algebra, $\Gamma$ be a discrete group and the $\alpha$ is an action of ...
1
vote
1answer
50 views

An exercise about reduced crossed product of a C*-dynamical system

Here is an Exercise in a book "C*-algebras and Finite-Dimensional Approximations" by N.P.Brown and N. Ozawa. Exercise 4.1.3. Let $A$ and $B$ be two C*-algebras and $\Gamma$ be a discrete group. If ...
1
vote
1answer
32 views

A question about cross product of C*-dynamical system

Here is a Theorem (P123) in a book "C*-algebras and Finite-Dimensional Approximations" by N.P.Brown and N. Ozawa. Theorem 4.2.4. Let $A$ be a C*-algebra and $\mathbb{Z}$ be the set of integers. ...
1
vote
1answer
37 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
36 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 ...
2
votes
1answer
42 views

Extension theory and automorphism extension

My question is motivated by the following two posts On finite 2-groups that whose center is not cyclic and Automorphisms of group extensions Question: Assume that $A,B,C$ are there algebraic ...
0
votes
2answers
42 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 ...
1
vote
1answer
33 views

Why is the natural map from maximal to reduced C star algebra surjective?

In the book "Kazhdan' property (T)" the third book in this link, page 438, One sentence is "the regular representation defines a surjective *-homomorphism $\lambda_G: C^{*}(G)\to ...
4
votes
1answer
80 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 ...
1
vote
1answer
27 views

Expressing a hereditary subalgebra in terms of a state

Let $\mathcal{A}$ be a C*-algebra and $\phi$ a state on $\mathcal{A}$. Then, it's not hard to see that $\mathcal{L} = \left\{ x : \phi(x^*x)=0 \right\}$ is a closed left ideal of $A$ and so ...
3
votes
0answers
143 views

Direct limits and pullbacks

Suppose we have three directed sequences of $C^*$-algebras, say $(A_n,\varphi_n)$,$(B_n,\psi_n)$ and $(C_n,\theta_n)$ and $*$-homomorphisms $\alpha_n:A_n\rightarrow C_n$ and $\beta_n:B_n\rightarrow ...
2
votes
0answers
69 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
38 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
1answer
22 views

Need some help understanding why this function is well defined and why it maps into $S^1$

Let $A$ be a unital $C^\ast$ algebra. Let $\varphi$ be the Gelfand transform. Let $u$ be unitary and $f = \varphi (u)$. Let $\ln: \mathbb C \setminus [0,\infty) \to \mathbb C$ denote the natural ...
2
votes
1answer
30 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 ...
0
votes
1answer
51 views

Why does a real spectrum not have holes?

Apparently, if $A$ is a $C^\ast$-algebra and the spectrum $\sigma(a) \subseteq \mathbb R$ then $\sigma (a)$ does not have holes. I read this in Murphy and then tried to prove it since I didn't ...
5
votes
0answers
53 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
31 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
57 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
91 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
65 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?
2
votes
1answer
48 views

C*-algebra representations

Let A be a C*-algebra and $\left\{\phi_n\right\}$ a weak* dense sequence in the state space. Putting $\phi=\sum_n 2^{-n} \phi_n$, can you show that $\phi$ is a state and the representation $\pi_\phi$ ...
2
votes
1answer
30 views

non-faithful KMS states

I am wondering whether a state $\omega$ on a $C^*$-algebra which is KMS (http://en.wikipedia.org/wiki/KMS_state) with respect to the group of automorphisms $\tau^t$, $t\in\mathbb{R}$, and at a given ...
3
votes
1answer
32 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 ...
0
votes
1answer
36 views

Where is commutativity of $b$ needed?

I have a question about the following proof: If $e^{ia}-e^{i\lambda}=(a-\lambda)be^{i\lambda}$ and $(a-\lambda)$ is not invertible then $(a-\lambda)x$ is not invertible for all $x$. Why "since $b$ ...
1
vote
1answer
51 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 ...
0
votes
2answers
95 views

How to prove this map is injective

Let $A$ be a non-unital $C^\ast$ algebra and let $M(A)$ denote the multiplier algebra and let $\widetilde{A}$ denote the unitisation of $A$. Consider the map $\varphi : \widetilde{A}\to M(A)$ ...
0
votes
2answers
104 views

Positive Elements: Characterization

Problem Given a C*-algebra with unit $1\in\mathcal{A}$. Define positive elements as: $$A\geq0\iff\sigma(A)\geq0\quad(A=A^*)$$ Positive elements can be characterized by: $$A\geq0\iff A=B^*B$$ ...