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

1
vote
1answer
16 views

Norm of a unital homomorphism

Let $\mathcal{A}_1$ and $\mathcal{A}_2$ be two unital $C^*$-algebras and $\varphi : \mathcal{A}_1 \to \mathcal{A}_2$ a unital $*$-homomorphism, i.e. a linear map such that $\varphi(xy)=\varphi(x)\...
1
vote
1answer
19 views

Equivalence of some characterization of pure states

I'm looking for a reference or a proof for these well-known facts in $C^*$-algebras theory for which, however, I havent found any clearly written proof of the same type of ones I will sketch. ...
1
vote
1answer
34 views

Compute the positive part of $K_0(A)$ where $A$ is a simple AF algebra

I'm trying to understand the following example from my lecture notes: Define $A_n=M_{F_n}(\Bbb{C})\oplus M_{F_{n+1}}(\Bbb{C})$ where $F_n$ defined by $F_1=1, \ F_2=2, \ F_{n+2}=F_{n}+F_{n+1}$, i.e., ...
1
vote
1answer
18 views

homology theory for $C^*$-algebras, map is natural wrt morphisms of short ecact sequences

I want to assure me if I understand the part of the exactness axiom that "$\delta$ is natural" corretly and if not, then my question is: what does it mean? The setting is the following definition: ...
1
vote
1answer
31 views

Continuous family of subalgebras in a C* algebra

Let A be a separable C* algebra. For t $\in$ $\mathbb{R}$ let $A_t$ be a subalgebra of $A$ such that: $A_t \cong \mathcal{O}_n$ (Cuntz algebra for fixed n). Generators of $A_t$ depend continuously ...
2
votes
0answers
44 views

Frechet derivative of square root on positive elements in some $C^*$-algebra

Let $A$ - is some unital $C^*$ algebra, and $P$ is set of all strictly positive elements in $A$. We can define map $\sqrt{?} : P \to A$ which takes positive element and returns its (unique) strictly ...
1
vote
0answers
45 views

Differential $\sqrt{1+B(x,x)}$ map in $C^*$-algebra

Let $A$ is $C^*$-algebra and $P \subset A$ is subset of all elements $a \in A$ such that $a > 0$ (nonnegative) and $||a|| < \frac{1}{\sqrt{1-q}}$ (norm bounded) for some $0 < q < 1$. Let $...
2
votes
0answers
51 views

Semi-direct product of groups

The situation is the following: Let be $G$ a locally compact (Hausdorff) group such that $G = H \rtimes_{\alpha} N$ is the semi direct product of locally compact groups $N$ and $H$. Let $A$ be a C$^*$-...
1
vote
0answers
17 views

$C^*$-algebra desription of the complex Clifford algebra

I read somewhere a discription of the complex Clifford algebra as a $C^*$-algebra, but I don't know where... Is the complex Clifford algebra the universal $C^*$-algebra generated by elements $1$ and $...
1
vote
1answer
28 views

equivalent trace-conditions on $C^*$-algebras

Let $A$ be a $C^*$-algebra and $\tau:A\to\mathbb{C}$ linear. Claim: the following conditions are equivalent: $\tau(ab)=\tau(ba)$ for all $a,b\in A$ $\tau(x^*x)=\tau(xx^*)$ for all $x\in A$ $\tau(uau^...
4
votes
1answer
31 views

$A$ has a countable dense subset. How to describe a possible countable dense subset in $M_n(A)$?

Let $A$ be a C$^*$-algebra and $M$ be a countable dense subset in $A$. Let $M_n(A)$ be the $C^*$-algebra of $n\times n$-matrices with entries in $A$, $n\in\mathbb{N}$. Then $M_n(A)$ should have a ...
2
votes
0answers
27 views

Nonunital C*-Algebra: Proper Ideals

Given a C*-algebra without unit. Does there exist a nontrivial proper ideal that does not lie in a maximally nontrivial proper ideal? (For the unital case this follows easily by Zorn's lemma.) ...
1
vote
0answers
10 views

Bott projection as $K_1$ class

Consider the Bott projection (described in Exercise 5.I of Wegge-Olsen's book $K$-theory and $C^*$-algebras) given by $b(z)=\frac{1}{1+|z|^2}\begin{pmatrix} 1 & \bar{z} \\ z & |z|^2 \end{...
2
votes
1answer
35 views

Definition of C$^\ast$-algebra: which conditions can be deduced from the others?

A C$^\ast$-algebra is a Banach algebra $A$ with an involution, i.e. a map $\ast$ such that: $(x^\ast)^\ast=x$ for all $x\in A$; $(x+y)^\ast=x^\ast+y^\ast$ for all $x,y\in A$; $(ax)^\ast=\overline ax^...
1
vote
0answers
14 views

A comparison between absolute values of functionals

Let $A_0$ be a C*-subalgebra in a C*-algebra $A$. Let $\phi_0$ be a bounded linear functional on $A_0$ and assume $\phi$ is an extension of $\phi_0$ on $A$. I mean $\phi\in A^*$ with $\phi_{|_{A_0}}=\...
1
vote
1answer
20 views

In a C*-algebra, pure states which share the same kernel are equal

I'm reading C*-Algebras by Jacques Dixmier. And in the proof of 2.9.5, it says Let $A$ be a C*-algebra. If $f$ and $f'$ are two pure states which have the same kernel, then $f=f'$. It should ...
1
vote
1answer
21 views

Proving two stubborn inequalities for completely positive maps in C*-algebras

I recently came across this in my studies of functional analysis in C* algebras which got me stuck: For a completely positive map between C* algebras $ \phi : A \to B $ we are to prove these two ...
3
votes
1answer
25 views

Spectrum of difference of two projections

Let $p$ and $q$ be two projections in a $C^*$-algebra. What can one say about the spectrum of $p-q$, i.e. is $\sigma(p-q) \subset [-1,1]$ ? The exercise is to show that $\lVert p-q \rVert \leq 1$. ...
1
vote
1answer
37 views

Non-commutaive Gelfand-Naimark theorem and dimension of Hilbert space

It is well known that using non-commutative Gelfand-Naimark theorem for finite dimensional $C^∗$-algebra we can obtain isometric representation on finite dimensional Hilbert space. My question is : ...
2
votes
2answers
43 views

$A\in B(H)$ a unital abelian $C^*$-algebra with cyclic vector then $A'$ is abelian as well

Let $A$ be a unital abelian $C^*$-subalgebra of $B(H)$ (with the same unit as that of $B(H)$), and assume there exists a vector $\xi \in H$ which is cyclic for $A$ (that is, $\{a\xi | a\in A \}$ ...
1
vote
1answer
50 views

Elementary proof that $a - 1$ is not invertible, for self-adjoint $a$ with $\lVert a \rVert = 1$

Assume $a \in A$ where $A$ is a unital $C^*$-algebra. If $\lVert a \rVert = 1$ and $a^*=a$ we know that $1 \in \sigma(a)$, the spectrum of $a$. This follows from the fact that $\lVert a \rVert = r(a) =...
2
votes
0answers
24 views

Classifying Unitaries on the Circle with K-Theory

Let $S^n$ be the $n$-sphere. I'm trying to understand the "meaning" of the $\mathbb{Z}$ factors in $$ K_0(C(S^{2n+1}))\cong\mathbb{Z}$$ and $$ K_0(C(S^{2n}))\cong\mathbb{Z}\oplus\mathbb{Z}$$ So $S^n$...
2
votes
1answer
25 views

Split exact sequence of $C^*$-algebras

Let $\left\{A_i\right\}_{i\in I}$ be a countable set of $C^*$-algebras $A_i$ and $ \bigoplus_{i\in\mathbb{N}}A_i$ the direct sum as a $C^*$-algebra. Let $A_i^1$ the unitization of $A_i$ and $c_0$ the ...
1
vote
1answer
33 views

Convergence of specific sequence in specific reduced group algebra equivalent to convergence of norms

Let $A = C_r^*(S_\infty)$ where $S_\infty$ - is permutation group of natural numbers fixing all but a finite number of element. Let $A_n = C_r^*(S_n)$ - subspaces of $A$ and $P_n : A \to A$ is ...
0
votes
1answer
23 views

Convergence of specific sequence in reduced group algebra

I have $B = C_r^* (S_\infty)$ - reduced group algebra of permutation group of naturam numbers fixing all but a finite number of element. $B$ have countable family of subalgebras: $B_n = C_r^* (S_n)$ ...
1
vote
1answer
38 views

Generalized polar decomposition

Let $x\in B(H)$. We say $(x,v,y)$ is a polar decomposition for $x$ if, $\bullet$ $y$ is positive. $\bullet$ $v$ is a partial isometry with $x=vy$. $\bullet$ Ker$(x)$=Ker$(y)$=Ker($v$) The polar ...
2
votes
0answers
18 views

Waterhouse example in category of $C^*$ algebras

I am trying to produce an example of surjective inverse system of $C^*$ algebras with empty inverse limit in analogy to Waterhouse example. So far I was trying something weaker namely to find ...
3
votes
1answer
39 views

When is an isometry a complete isometry?

Let $A$ be a unital subspace of a $C^*$-algebra. Then every contractive linear map $\varphi$ with $\varphi(1) = 1$ from $A$ into a commutative $C^*$-algebra is completely contractive. Can anything ...
1
vote
1answer
17 views

the standard even grading on $M_2(A)$ and $A\otimes \mathbb{K}$

I have a question about a passage in Blackadar's book about K-Theory. Let $A$ be a (ungraded) $C^*$-algebra. There is a grading on $M_2(A)$ with $M_2(A)^{(0)}$ the diagonal matrices and $M_2(A)^{(1)}$...
2
votes
1answer
125 views

Direct limit of certain $C^*$ algebras is simple

Let $X$ be a compact Hausdorff space. Let $(x_n)$ be a sequence in $X$.Assume $X$ has no isolated points. Define $A_n = C(X, M_{2^n}(\mathbb{C}) )$ and define $\phi_{n+1,n} : A_n \to A_{n+1}$ by $$\...
1
vote
1answer
35 views

On Schauder basic systems in universal enveloped algebra of system of countable family of bounded selfadjoint operators

Let $A = C^*(1,T_1,T_2, ... | T_i^* = T_i, ||T_i|| \leqslant 1)$ - universal enveloped $C^*$-algebra of countable family of selfadjoint operators. I want to know as more as possible about that algebra,...
2
votes
1answer
68 views

If $\|p-q\|<{1\over2}$ then $p$ is homotopy equivalent to $q$

Let $A$ be a $C^*$ algebra, $p,q \in A$ projections, such that $\|p-q\|< {1 \over 2}$. Show that $p$ homotopy equivalent to $q$. Proof. Let $a_t=(1-t)p+tq$, then $a_t$ is positive (self-adjoint ...
1
vote
1answer
35 views

Why does Conway state $\partial\sigma(a)=\sigma(a)$ when $a$ is a Hermitian element of a $\mathcal{C}^\ast$-algebra?

Here is the offending proof: $\bf 1.14.$ Proposition. Let $\scr A$ and $\scr B$ be $C^*$-algebras with a common identity and norm such that $\scr A\subseteq \scr B$. If $a\in\scr A$, then $\sigma_{...
0
votes
0answers
24 views

Formal series which uniformly bounded in each representation of universal $C^*$ algebra converge

Let $A = C^*(T_1,T_2,...|T_i^* = T_i, ||T_i||\leqslant 1)$ - universal $C^*$ algebra of countable family of selfadjoint operators. I have formal series $x = \sum_{i_1,...,i_k} \alpha_{i_1, ..., i_k} ...
1
vote
1answer
18 views

Unitization of Suspension

Let $A$ a C*-algebra (unital or not). Its suspension is defined to be: $$ S(A) \equiv A\otimes C_0((0,1);\,\mathbb{C}) $$where $C_0$ denotes all continuous functions which vanish at infinity. We ...
0
votes
0answers
41 views

Convergence of sequence of vectors in $C^*$-algebra

Let $B$ is $C^*$-algebra and $x_i \in B$ - linear independent vector system, $\alpha_i \in \mathbb{C}$ such that: $$\|x_i\| = 1$$ $$\lim_{N \to \infty} \|\sum_{k=1}^N \alpha_k x_k\| = \lim_{N \to \...
3
votes
2answers
68 views

Universal $C^*$-algebra of countable family of self-adjoint operators have boundedly complete standard Schauder basis

Let $A = C^*(T_1,T_2,T_3,... | T_i=T_i^*, ||T_i|| \leqslant 1)$ - universal enveloped $C^*$-algebra of countable family of self-adjoint operators. $A$ have standard Schauder basis, which contains all ...
3
votes
1answer
29 views

Why is $C(\beta \mathbb{R})/C_0(\mathbb{R})\cong C(\beta \mathbb{R}\setminus \mathbb{R})$ as $C^*$-algebras?

Let $\beta \mathbb{R}$ be the Stone-Čech compactification of $\mathbb{R}$ (with euclidean topology) and $C_0(\mathbb{R})$ the $C^*$-algebra of continuous complex-valued functions vanishing at infinity....
1
vote
0answers
16 views

definition of Kasparov modules, what is a degree 1 operator?

I read the book "K-theory for operator algebras" and I have a question about the definition of Kasparov modules for graded $C^*$-algebras $A$ and $B$. Definition: Let $A$ and $B$ graded $C^*$-...
2
votes
1answer
46 views

If $\|p-q\|<1$ then they are Murray–von Neumann equivalent- proof

$\newcommand{\ran}{\operatorname{ran}}$ Let $p$, $q$ be projections in a $C^*$-algebra $A$. If $\|p−q\|<1$ then $p$ and $q$ are MvN equivalent. I'm tryind to understand the following proof: ...
1
vote
1answer
24 views

Universal UHF algebra

I am reading on quasidiagonal $C^*$-algebras. There the phrase "the universal UHF algebra" appears. I know what UHF algebras are, but I don't know what the universal UHF algebra is. I would be glad ...
0
votes
0answers
21 views

Hausdorff-Quotient: Embedding

Problem Given a uniform space $\Omega$. (Exemplary Topological Vector Space!) Consider a dense subspace: $$\iota:\mathcal{D}\hookrightarrow\Omega:\quad\overline{\iota\mathcal{D}}=\Omega$$ Regard ...
4
votes
0answers
69 views

Kazhdan's property (T) vs residual finiteness

There is a theorem that states that a discrete group $G$ with Kazhdan's Property $(T)$ and Property $(F)$ (so called factorisation property) is residually finite (see Kirchberg, Discrete groups with ...
2
votes
1answer
51 views

Let $N$ be a normal operator. When $W^*(N)$ is a MASA?

I am trying to find conditions in which $W^*(N)$ is a MASA, where $N$ is a normal operator acting on some Hilbert space. I know that the multplication algebra $\{M_f| f\in L^{\infty}(X, \mu) \}$ is ...
2
votes
1answer
46 views

What does a homomorphism $\phi: M_k \to M_n$ look like?

Let $\phi : M_k(\Bbb{C}) \to M_n(\Bbb{C})$ be a homomorphism of $C^*$-algebras. We know that $\phi$ decomposes as a direct sum of irreducible representations, each of them equivalent to the identity ...
2
votes
1answer
23 views

GNS-Construction: Involution

Given a C*-algebra $\mathcal{A}$. (It may or may not contain identity!) Consider a positive linear functional: $$\omega:\mathcal{A}\to\mathbb{C}:\quad A\geq0\implies \omega(A)\geq0$$ Construct its ...
0
votes
1answer
31 views

*-algebra Morphisms

Let $A$ and $B$ be two $\ast$-algebras and let $\varphi:A\to B$ be a $\ast$-algebra morphism. I am interested in all the ways that $\varphi$ could fail to be unital (that is, if $A$ has a unit $1_A$, ...
1
vote
1answer
49 views

Two Fredholm operators A and B have the same index iff there is an invertible operator C s.t. A-BC is compact

First, I've shown that a Fredholm operator $T\in B(E)$, where $E$ is an infinite dimensional Banach space, is a compact perturbation of an invertible operator iff its index vanishes. Then, I need to ...
1
vote
1answer
10 views

stability of $K_0$ ($C^*$-algebras), question about the tensor product $K(H)\otimes A$.

I have a small question about stability of $K_0$: If $A$ is a $C^*$-algebra and $H$ is a separable infinite dimensional Hilbert space then $$K_0(A)\cong K_0(K(H)\otimes A),$$ where $K(H)$ denotes the ...
1
vote
1answer
31 views

Why is $tr((a_{ij})=\sum\limits_{i=1}^n a_{ii}$ k-positive for all $k$?

Let $A$ be a $C^*$-algebra and $$Tr:M_n(A)\to A,$$ $$(a_{ij})\mapsto \sum\limits_{i=1}^n a_{ii}.$$ The claim is that this map is k-positive for all $k\in\mathbb{N}$. Let $k\in\mathbb{N}$ and consider ...