# Tagged Questions

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

630 views

### What is the spectrum of the commutative C*-algebra I have constructed here?

Let $B$ and $F$ be compact Hausdorff spaces. Let $E\to B$ be a fiber bundle with fibre $F$ and structure group $\mathrm{Homeo}(F)$, the group of homeomorphisms of $F$. I think this induces a fiber ...
2k views

### Gelfand-Naimark Theorem

The Gelfand–Naimark Theorem states that an arbitrary C*-algebra $A$ is isometrically *-isomorphic to a C*-algebra of bounded operators on a Hilbert space. There is another version, which states that ...
331 views

### Is this a characterization of commutative $C^{*}$-algebras

Assume that $A$ is a $C^{*}$-algebra such that $\forall a,b \in A, ab=0 \iff ba=0$. Is $A$ necessarily a commutative algebra? In particular does "$\forall a,b \in A, ab=0 \iff ba=0$" ...
861 views

### $C^*$-algebra which is also a Hilbert space?

Does there exist a nontrivial (i.e. other than $\mathbb{C}$) example of a $C^*$-algebra which is also a Hilbert space (in the same norm, of course)? For $\mathbb{C}^n$ with $n > 1$ the answer is ...
480 views

### When two projections in a C*-algebra are “almost” Murray-von Neumann equivalent, they are equivalent

Let $A$ be a C*-algebra and $p,q \in A$ be projections. Assume there is an element $a\in A$ such that $\|aa^*-p\|<\frac{1}{4}$ and $\|a^*a-q\|<\frac{1}{4}$. Then there is a partial isometry $v$ ...
176 views

329 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 ...
351 views

### In how far are CCR and GCR C*-algebras interesting?

I have some basic familiarity with C*-algebras (from the mathematical physics side - Bratteli-Robinson), and while having a look at Arveson's "Invitation to C* algebras", I came across so-called CCR ...
434 views

### C*-algebras as Banach lattices?

It seems to be trivial but I am not sure about monotonicity of the norm in the non-commutative case: Is every C*-algebra a Banach lattice with respect to its natural positive cone?
388 views

### What is the commutative analogue of a $C^*$-subalgebra?

Using the duality between locally compact Hausdorff spaces and commutative $C^*$-algebras one can write down a vocabulary list translating topological notions regarding a locally compact Hausdorff ...
2k views

284 views

### There are 3 points in the spectrum of some self-adjoint element of a non-unital C*-algebra.

Let $A$ be a non-unital C*-algebra. I would like to know a simple way to show that $A$ contains a self-adjoint element whose spectrum has at least $3$ elements. Note that the spectrum of an ...
219 views

### Abelian sub-C*-algebras

Given a non-abelian C*-algebra $A$. I am wondering what are the possible abelian sub-C*-algebras of $A$. Let $K$ be the spectrum of $A$. Does $A$ contain an isomorphic copy (as a Banach space) of the ...
99 views

### Physical interpretation of C* property

From a mathematical point of view, quantum mechanics can be formulated in the language of a non-commutative, unital C*-algebra $\mathcal A$ (of observables). In this context, what does the C*-...
419 views

### Existence of norm for C*-Algebra

I was wondering wether one can always find/construct a norm which turns an involutive algebra into a C*-algebra. For sure, if it exists it is unique, but does it always exist. If not can you provide a ...
756 views

263 views

### Uniqueness of the involution on a $C^*$-algebra

indication please Let $A$ be a C*-algebra. Suppose that there exists on $A$ another involution $x\rightarrow x^{\#}$ such that $\|xx^{\#}\|=\|x\|^2$, for all $x\in A$. Prove that $x^{\ast}=x^{\#}$, ...
380 views

### What makes irreducible representations nice?

Let $\mathcal{A}$ be a C*-algebra and $(H,\pi,\Omega)$ a cyclic representation. What does it intuitively mean if the representation is irreducible? From what I've read, irreducible representations ...
366 views

### Weak-* continuity of the adjoint map on a $W^*$-algebra

Let $\mathcal{M}$ be a $W^*$-algebra, i.e. a $C^*$-algebra with a Banach space predual $\mathcal{M}_*$. I'm trying to show that the adjoint map $x \mapsto x^*$ on $\mathcal{M}$ is weak-* (aka $\sigma$...
154 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 ...
401 views

425 views

### Unitisation of $C^{*}$-algebras via double centralizers

In most of the books I read about $C^{*}$-algebras, the author usually embeds the algebra, say, $A$, as an ideal of $B(A)$, the algebra of bounded linear operators on $A$, by identifying $a$ and $M_a$,...
318 views

### Cube root in $C^{*}$-algebra.

Let $A$ be a $C^*\text{-algbera}$ and $x\in A$. I'm trying to show thata)for $0<\alpha<\frac{1}{2}$, there exists $u\in A$ with $x=u(x^*x)^{\alpha}$ and $u^*u=(x^*x)^{1-2\alpha}$. b) there ...
91 views

### Can we say $TT^{*}=T^{2}$ implies $T=T^{*}$?

Let $A$ be a $C^{*}$-algebra, Can we say $TT^{*}=T^{2}$ implies $T^{*}=T$? for $T\in A$ I am looking for a counterexample! Thanks
260 views

### Example of a *-homomorphism that is faithful on a dense *-subalgebra, but not everwhere

Let $A,B$ be C*-algebras and let $\varphi: A \to B$ be a $*$-homomorphism. Suppose that $\ker( \varphi) \cap D = \{0\}$ where $D$ is a dense $*$-subalgebra of $A$. Does it follow that $\varphi$ is ...
425 views

### Matrices with entries in $C^*$-algebra

Let $\mathcal{A}$ be a $C^*$-algebra. Consider vector space of matrices of size $n\times n$ whose entries in $\mathcal{A}$. Denote this vector space $M_{n,n}(\mathcal{A})$. We can define involution on ...
276 views

### Homomorphic conditional expectations?

To clarify, I mean "conditional expectation" in the sense of $C^*$-algebras (a completely positive projection of norm 1, equivalently, a completely positive linear map onto a $C^*$-subalgebra which is ...
183 views

156 views

### How to prove this element is strictly positive? [duplicate]

Let $A$ be a $C^*\text{-algebra}$ and $A_+$ denote the positive elements. An element $a\in A_+$ is called strictly positive if $\overline{aAa}=A$. Want to prove: if $(e_n)$ is an approximate identity ...
I believe that the answer is affirmative and I would be grateful to any comments on my attempt (see below) of proving this. Let $A$ be a C*-algebra and denote by $Z(A)$ the centre of $A$. First of ...