# Questions tagged [c-star-algebras]

A C*-algebra is a complex Banach algebra together with an isometric antilinear involution satisfying $(ab)^*=b^*a^*$ and the C*-identity $\Vert a^*a\Vert=\Vert a\Vert^2$. Related tags: (banach-algebras), (von-neumann-algebras), (operator-algebras), (spectral-theory).

283 questions
368 views

### Maximal ideal space of $C^*$-algebra of Riemann integrable functions

Let $R([0,1])$ be the unital commutative $C^*$-algebra of complex valued Riemann integrable functions on $[0,1]$ with pointwise operations and the supremum norm. In the 1980 paper The Gelfand space ...
145 views

### Isomorphic matrix algebras with non-isomorphic C*-algebras

Let $A$ and $B$ be two $C^{\ast}$-algebras which their matrix algebras, $M_2(A)$ and $M_2(B)$, are $\ast$-isomorphic $C^\ast$-algebras. Question 1: Are $A$ and $B$ isomorphic $C^\ast$-algebras? In a ...
161 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 ...
87 views

### Cuntz algebra and Schur-Weyl duality

Let $\mathcal{O}_n$ be the Cuntz algebra with generators $a_1,...,a_n$. We can define an action of $U(n,\mathbb{C})$ (the group of $n\times n$ unitary operators) on $\mathcal{O}_n$ in a very natural ...
197 views

### Reduced $C^*$-algebra of a direct product of locally compact groups

Is it true that $$C^*_r(G_1\times G_2)=C^*_r(G_1)\otimes_{\min}C^*_r(G_2)$$ for locally compact groups $G_1$ and $G_2$? I have managed to prove that it holds for discrete groups (see below), but as ...
196 views

### Decomposing $\mathcal{B}(H)$

Let $H$ be an infinite-dimensional Hilbert space and let $\mathcal{B}(H)$ be the (C*/W*-)algebra of bounded operators on it. Actually, you may forget about the involution in $\mathcal{B}(H)$ because I ...
149 views

### Understand representations of c*-algebras from a categorical point of view

In my lecture on von Neumann algebras we have defined a representation of a c*-algebra $\mathcal{A}$ as a *-homomorphism $\pi$ into $\mathcal{B}(\mathcal{H})$ for some Hilbert space $\mathcal{H}$. ...
177 views

### Projections in C*-algebras

Let $A$ be a C*-algebra and $A_0$ a dense *-subalgebra. Is there a condition which ensures that all projections in $A$ already lie in $A_0$ ? In particular, I think of $A$ being an inductive limit of ...
145 views

### A nilpotent element of an algebra which does not lie in the span of commutator elements.

What is an example of a $C^{*}$ algebra such that the span of nilpotent elements is not a sub vector space of the span of commutator elements. Obviously any such $C^{*}$ algebra would be a ...
99 views

### $\mathcal{H}_B$ is isomorphic to $B$ as Hilbert $B$-modules if and only if $B$ is a stable C*-algebra

Let $B$ be a C*-algebra. I want to prove that $\mathcal{H}_B$ is isomorphic to $B$ as Hilbert $B$-modules if and only if $B$ is stable, that is, $\mathcal{K} \otimes B$ is isomorphic to $B$ as C*-...
64 views

### Finite dimensionality of some subspace of convolution Banach algebra $L^1(G)$

Let $G$ be a locally compact group (not only compact group) with the left Haar measure $\lambda$. Consider the convolution Banach algebra $L^1(G,\lambda)$. For which $f\in L^1(G,\lambda)$ the ...
73 views

### Masas in quotients

Let $A$ be a von Neumann algebra and let $B$ be a norm-closed ideal of $A$ (but not necessarily WOT-closed). What one has to assume about $A$ and $B$ to ensure that if $M\subset A$ is a maximal ...
110 views

### Closeness of points in the irreducible decomposition of a C$^{*}$-algebra representation

Suppose $X$ and $Y$ are compact metric spaces. Let $\varphi\colon C(X)\to M_{n}(C(Y))$ be any $*$-homomorphism. If $\pi$ is an irreducible representation of $M_{n}(C(Y))$, then $\pi$ is unitarily ...
70 views

### A separable $C^*$ algebra which contains all separable $C^*$ algebras.

Is there a unital separable $C^*$ algebra which unitaly contains all unital separable $C^*$ algebras? The motivation is that the answer is positive in the commutative case since every compact ...
49 views

### An iff condition for the existence of a $\Gamma$- invariant sub-algebra of $C(X)$

There is an action of $\Gamma$ on a compact Hausdorff space $X$. The question is to find an iff condition for the existence of a $\Gamma$ invariant sub-algebra of $C(X)$. I started out with the ...
43 views

### Elliott-Natsume-Nest proof of Bott periodicity for $K$-theory of $C^\ast$-algebras

The following is an exercise in the book "$K$-theory and $C^\ast$-algebras" by Wegge-Olsen: Let $S$ denote the suspension functor. Suppose that we have natural transformations $\Phi^0$ from the ...
105 views

### Evaluating Gibbs state in the second quantized formalism

First, let us fix our notation. If $A:\mathcal H \to \mathcal H$ is a linear operator on a single-particle Hilbert space $\mathcal H$, we can lift $A$ on the Fock space $\mathfrak F_{s/a}(\mathcal H)$ ...
38 views

### tensorial product of C*-algebras and adjointness

Given $M,N$, $R$-modules, it is standard verification that $-\otimes Z$ is left adjoint to $Hom(Z,-)$. If we have more structure, particularly if $\mathcal{A}$ and $\mathcal{B}$ are C*-algebras, ...
340 views

108 views

### State space of $C([0,1])$

Consider the $C^*$-algebra $A := C(X)$, where $X$ is a compact Hausdorff space. Denote by $S(A)$ the state space of $A$. In the weak$^*$ topology this is a convex compact set such that $S(A)$ is the ...
130 views

### Universal $C^*$ algebras

It is known that the $C^*$-algebra $\mathcal U$ generated by bilateral shift $\ell^2 (\mathbb Z) \ni e_k \mapsto e_{k+1} \in \ell ^2(\mathbb Z)$, is a universal $C^*$ algebra generated by unitary: for ...
127 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 ...
244 views

### Matrix representation of $\mathbb{C}$ as $^*$Algebra.

We know that there are many matrix representations of the field $\mathbb{C}$. For $2 \times 2$ real entries matrices, e.g., all the subrings of $M(2,\mathbb{R})$ generated by $I$ and a matrix $J$ such ...
195 views

### Examples of $C^*$-algebras in Noncommutative Geometry from A. Connes

Question I am working on $C^*$-algebras and I've been given Alain Connes's book Noncommutative Geometry. I am having troubles with understanding the examples on pages 91-93 (86-88 in the printed ...
116 views

### Maximal abelian subalgebras of SAW*-algebras

Pedersen distilled the following class of C*-algebras which he termed SAW*-algebras: A C*-algebra $A$ is an SAW*-algebra if for each pair of orthogonal, positive elements $x,y\in A$, there exists a ...
191 views

### Is exponential function in a C*-algebra injective on self-adjoint elements?

Let $A$ be a C*-algebra and $\exp(x)=\sum_{n=0}\frac{x^n}{n!}$, the usual exponential function from $A$ into $A$. Is it true that if $x\ne y\in A$, $x^*=x$, $y^*=y$, then $\exp(x)\ne\exp(y)$?
Let $X$ be a compact Hausdorff space. Let $B(X)$ be the C*-algebra of bounded Borel measureable functions on $X$ (under the supremum norm). I am curious whether the (say unital) $*$-representations of ...