**8**

votes

**1**answer

358 views

### The Haar state on compact quantum groups $A_u(Q)$ and $A_o(Q)$

Let $Q\in GL_n(\mathbb{C})$. The free unitary quantum group is the universal $C^*$-algebra $A_u(Q)$ with generators $u_{ij},1\leq i,j\leq n$ and relations making $u=(u_{ij})$ as well as ...

**2**

votes

**1**answer

286 views

### when does a $C^*$-algebra have no nonzero unital quotient?

In their paper: "Addition of $C^*$-algebra extensions", G. A. Elliott and D. E. Handelman have discussed some relation between traces and equivalence of projections in $M(A)$, where $M(A)$ is the ...

**1**

vote

**2**answers

358 views

### Questions about special $C^*$-subalgebras and ideals.

Let $A$ be a $C^*$-algebra and $I$ be a two side closed (essential) ideal of $A$. Suppose that $p \in A\backslash I$ is a non trivial projection. Let $B=pIp$. My questions are:
(1) Is $B$ a ...

**4**

votes

**1**answer

267 views

### What's the link between the Toeplitz operators on H^2 and those used to define Cuntz-Pimsner algebras?

An alternate way to phrase this question might be, "How did the Toeplitz operators used in the definition of the Cuntz-Pimsner algebra come by their name?" or, "What's the relationship between the ...

**8**

votes

**1**answer

762 views

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

Let $\mathcal{A}$ be a $C^\ast$-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 ...

**9**

votes

**7**answers

1k views

### Positive but not completely positive?

The only example I know of a positive map which is not completely positive is the transpose map on $M_n(\mathbb{C})$. Of course, one can come up with minor perturbations of this (compose it with, or ...

**10**

votes

**2**answers

567 views

### C*-algebras with bizzarre structure of projections

This is probably well-known to the experts but I could not find any answer neither in my head nor in the literature: Is there a (unital) C*-algebra such that its projections do not form a lattice ...

**1**

vote

**2**answers

301 views

### ED compact $K$ such that $C(K)$ is not a dual Banach space

Almost every mathematician working in von Neumann algebras says that there are certainly extremely disconnected compact spaces $K$ such that $C(K)$ is not a dual space (they are not hyperstonean). ...

**2**

votes

**1**answer

650 views

### Centralizers in C*-algebra

Let $a,b\in A$ be self-adjoint elements in $C^*$-algebra $A$ with equal centralizers, $\{x\in A; [a,x]=0\}=\{x\in A; [b,x]=0\}$. Can we say anything about the correspondence between $a$ and $b$?
For ...

**6**

votes

**2**answers

304 views

### Are the Drinfeld compact quantum groups simply connected ?

To fix notations : let G be simply connected simple compact group, and $U_q(\mathcal{G})$ the Drinfeld-Jimbo universal algebra quantization of its complexified algebra defined as usual, with q not ...

**6**

votes

**3**answers

860 views

### A variant of the Stone-Weierstrass theorem?

I would like to ask specialists in C*-algebras if the following variant of the Stone-Weierstrass theorem is true.
Suppose $A$ is a C*-algebra and $C$ is its center. Since $C$ is a commutative ...

**6**

votes

**1**answer

383 views

### $c_0$-direct sum of $\mathcal{K}(\mathcal{H})$

Let $\mathcal{K}(\mathcal{H})$ be the C*-algebra of compact operators on a Hilbert space $\mathcal{H}$. I am interested in the ($c_0$-)sum
$A=\sum \mathcal{K}(\mathcal{H})$
of countably many ...

**7**

votes

**5**answers

952 views

### Do subalgebras of C(X) admit a description in terms of the compact Hausdorff space X?

In light of the well-known theorem of Gelfand that, bluntly put, ends up saying that unital abelian C*-algebras are the 'same' as compact Hausdorff topological spaces, I tried to compile a dictionary ...

**6**

votes

**0**answers

385 views

### References for “folklore” on strong amenability of (group) C*-algebras?

[Apologies in advance for the prolixity - but I was unsure how much of the story is familiar.]
$\newcommand{\ptp}{\widehat{\otimes}}
\newcommand{\co}{\operatorname{co}}
...

**1**

vote

**1**answer

352 views

### Algebraically simple Banach algebras

There are plenty of semi-simple Banach algebras - this broad class includes C*-algebras and algebras of bounded operators on a given Banach space. On the other hand, it seems unlikely to me that there ...

**3**

votes

**2**answers

426 views

### Galois cover via C star algebras

Hello to all, here's my question, I hope it's not too trivial. I haven't found reference for it so far.
We know that abelian C star algebras are the same as locally compact spaces.
Now what is the ...

**35**

votes

**1**answer

2k views

### What is the current status of the Kaplansky zero-divisor conjecture for group rings?

Let $K$ be a field and $G$ a group. The so called zero-divisor conjecture for group rings asserts that the group ring $K[G]$ is a domain if and only if $G$ is a torsion-free group.
A couple of good ...

**7**

votes

**0**answers

301 views

### Quantum Braid Group

Recently I learned the definition of the quantum permutation group $A_s(n)$, which starts from the fundamental representation by permutation matrices and exchanges the entries by noncommuting ...

**19**

votes

**2**answers

808 views

### Does left-invertible imply invertible in full group C*-algebras (discrete case)?

The following question/problem has been bugging me on and off for some time now: so I thought it might be worth broaching here on MO, as a case of "ask the experts".
Let $G$ be a discrete group. ...

**2**

votes

**1**answer

391 views

### proper action and amenable action

We say that an action of a (discrete) group G on a locally compact space X is called proper if the map from $G\times X$ to $X\times X$ defined by $(g,x)\mapsto (gx,x)$ is proper. Why is a proper ...

**2**

votes

**0**answers

240 views

### Six term exact sequence In E-theory

I just want to know whether the two six term exact sequences in E-theory is true for nonseparable C*-algebras. We know already if the first varible is complex number, then we get six term exact ...

**4**

votes

**1**answer

400 views

### Crossed product of a non unital C*-algebra

Let $X$ be a locally compact space, and let $T:X\rightarrow X$ be a homeomorphism. Then \begin{align*}
&\alpha:C_0(X)\rightarrow C_0(X)\\\
&\alpha(f)=f\circ T
\end{align*}
is an automorphism. ...

**1**

vote

**1**answer

467 views

### Pairwise orthogonal projections in C*-algebras

Is every non-zero projection in a C*-algebra $A$ a supremum or infimum (at least majorized by / majorizes) a family of pairwise orthogonal non-zero projections in $A$?
PS. Are there any cheap ways ...

**8**

votes

**2**answers

661 views

### Solving the equation $xax=b$ in a C*-algebra.

Let $a, b\in A_+$ be positive elements of some C*-algebra $A$.
Assume furthermore that $a$ is invertible.
Is it true that
$$
\exists! x\in A_+\quad:\quad xax=b\quad ?
$$
Already in the case ...

**1**

vote

**1**answer

255 views

### Products on the K-theory of graded C*-algebras

One can define products on the K-theory of graded C*-algebras as in
http://web.me.com/ndh2/math/Papers_files/Higson,%20Guentner%20-%202004%20-%20Group%20C*-algebras%20and%20K-theory.pdf
on page 152, ...

**6**

votes

**2**answers

975 views

### Space of compact operators

I am interested in the Banach space $\mathcal{K}=\mathcal{K}(\ell^2)$ of compact operators on $\ell^2$, however my questions can be stated for any $\mathcal{K}(E)$, where $E$ is an arbitrary Banach ...

**0**

votes

**1**answer

261 views

### The stabilized homotopy category of graded C* algebra

Hi everyone
On page 147 of the note "Group C*-Algebras and K-theory" by N.Higson and E.Guentner there are something about the stabilized homotopy category of graded C* algebra, which is a category ...

**2**

votes

**1**answer

346 views

### When C(K) is closed in sigma strong topology?

Fix a compact Hausdorff space $K$ and think about $C(K)$ as a C*-algebra acting on a Hilbert space $H$. Suppose that $C(K)$ is closed in $\mathcal{B}(H)$ in:
$\sigma$-strong
$\sigma$-strong*
...

**0**

votes

**0**answers

170 views

### Grading on Multiplier Algebras

A graded C*-algebra A is inner-graded if there exists a self-adjoint unitary $\varepsilon$ in the multiplier algebra M(A) of A which implements the grading automorphism $\alpha$ on A: ...

**3**

votes

**1**answer

299 views

### Graded $C^*$-algebras can be faithfully represented on a graded Hilbert space

Hi everyone
I try to use GNS-construction to show every graded C*-algebras can be faithfully represented on a graded Hilbert space.
If $A$ is a graded C*-algebra with grading automorphism $\alpha$ of ...

**1**

vote

**2**answers

658 views

### Why is this a conditional expectation into the fixed point algebra?

Let $A$ be a C*-algebra and let $\alpha$ be an action of the circle group $S_1$ on $A$ (Gauge action).
We define the following map:
$$E:A\rightarrow A;\quad E(a):=\int\alpha_t(a)\textrm{d} t.$$
My ...

**7**

votes

**1**answer

597 views

### When are certain group C*-algebras exact?

This is somewhere between a "reference request" and "ask an expert", but I hope it is not too trivial or off-topic.
Anyway. There has been a lot of attention given to showing that for certain ...

**1**

vote

**1**answer

622 views

### Strict positivity in dense subalgebras of $C^{*}$-algebras

Let $A$ be a $C^{*}$-algebra, represented on a Hilbert space $H$, and $D$ a selfadjoint unbounded operator on $H$ (note that we do not impose that $D$ have compact resolvent). Let
...

**5**

votes

**1**answer

283 views

### Is the unitary group of $l^2(A)$ with the strict topology contractible?

Let $A$ be a $C^*$-algebra with countable approximate unit. Let $\mathbb{K}$ denote the compact operators on a separable Hilbert space. Mingo and later Cuntz and Higson have shown that the unitary ...

**4**

votes

**2**answers

1k views

### Non degenerate representations for C*-algebras

Hi!
While studying C*-algebras I found 2 different definitions for non degenerate representations (-homomorphisms $\pi:\mathcal{A} \rightarrow B(\mathcal{h})$ where $\mathcal{A}$ is a C-algebra and ...

**4**

votes

**0**answers

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

**12**

votes

**4**answers

2k views

### Reference: Learning noncommutative geometry and C^* algebras

I am starting to study noncommutative geometry and C^* algebras so my question is
Does anyone knows a good reference on this subject?
I would like a basic book with intuitions for definitions and ...

**1**

vote

**0**answers

173 views

### Fredholmness and invertibility in a C* algebra generated convolution-type operators

Let $PC$ be the algebra of complex-valued, piecewise-continuous functions from $[-\infty,+\infty]$, $SO$ be the algebra of bounded, continuous, complex-valued functions on $\mathbb R$ which are slowly ...

**8**

votes

**1**answer

509 views

### topology on the automorphism group of a C* algebra

Let $A$ be a $C^*$-algebra. The group $Aut(A)$ of $\ast$-automorphisms of $A$ is usually equipped either with the pointwise norm topology, i.e. the topology generated by the semi-norms $\lVert \varphi ...

**1**

vote

**2**answers

533 views

### Do separable $C^*$-algebras form a set?

The question is in subject.
Update: See Andreas Thom's answer.

**0**

votes

**1**answer

271 views

### Is every action from an amenable group amenable on a unital $C^*$-algebra?

Is every action from an amenable group amenable on a unital $C^*$-algebra?

**12**

votes

**2**answers

781 views

### Range of completely positive projection

Let $A$ be a C*-algebra. Suppose that $P:A \rightarrow A$ is a contractive completely positive projection. Does the range $P(A)$ is completely order isomorphic to a $C^*$-algebra?
In the case where ...

**2**

votes

**2**answers

355 views

### Continuity of functors under inductive sequence of $C^*$-algebras.

We know the fact that $K_0(-)$ and $K_1(-)$ are continuous under inductive sequence of $C^*$-algebras (in fact inductive system), i.e. $K_0(\varinjlim A_n)=\varinjlim K_0(A_n)$ similar for $K_1(-)$. ...

**7**

votes

**1**answer

434 views

### Given a C-star dynamical system and a subgroup of the acting group, is the corresponding map on crossed product algebras necessarily an injection

Let $(A,\alpha, G)$ be a $C^*$-dynamical system, where $G$ is a discrete group. Let $\Gamma$ be a subgroup of $G$, then we can form two universal crossed products $A\rtimes_\alpha \Gamma$ and ...

**1**

vote

**1**answer

210 views

### k_0 group for $M(J\otimes K)=0$

Let J be any C*-algebra and K be the C*-algbra of compact operators on a separable, infinite dimensional Hibert space.
How to show $K_0(M(J\otimes K))=0$, where M denotes Multiplier algebra

**7**

votes

**1**answer

394 views

### Finite dimensionality of certain $C^{\star}$-algebras

In the discussion about the question Finite-dimensional subalgebras of $C^{\star}$-algebras the following separate question came up:
Let $H$ be a Hilbert space and $a_1, \dots, a_n \in B(H)$ be ...

**5**

votes

**2**answers

732 views

### What does the representation theory of the reduced C*-algebra correspond to?

Let $G$ be a locally compact group. The group C*-algebra $C^* (G)$ is designed to come with a natural bijection between its (nondegenerate) representations and the (strongly continuous, unitary) ...

**11**

votes

**1**answer

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

**4**

votes

**3**answers

391 views

### Ideal of “Compact Operators” in a W*-algebra which gives the sigma-strong-* topology.

In the case of bounded operators on a Hilbert space $\mathcal{H}$, $L(\mathcal{H})$, there are multiple descriptions of the $\sigma$-strong-* topology, namely:
1) As given by seminorms ...

**21**

votes

**0**answers

1k views

### Finite-dimensional subalgebras of $C^\star$-algebras

Let $A$ be a unital $C^\star$-algebra and let $a_1,\dots,a_n$ be a finite list of normal elements in $A$ which (together with their adjoints) generate a norm-dense $\star$-subalgebra $B \subset A$. ...