**6**

votes

**1**answer

255 views

### What are the sub $C^*$-algebras of $C(X,M_n)$?

Let $X$ be a locally compact Hausdorff topological space, denote by $M_n$ the $C^*$-algebra of complex $n\times n$ matrices, by $C_0(X,M_n)$ the $C^*$-algebra of continuous functions on $X$ with ...

**7**

votes

**2**answers

473 views

### General recipe for building C*-algebras out of combinatorial object

I want to ask what should be a nice way to build C*-algebras out of objects like groups, inverse-semigroups, semigroups, ringgs or graphs. I know there are well known construction of C*-algebras out ...

**15**

votes

**3**answers

1k views

### Realizing universal C*-algebras as concrete C*-algebras

How do I in general realize a universal C*-algebra generated by some generators and relation as concrete C*-algebras? For example, I know that universal C*-algebra generated by a single unitary is ...

**4**

votes

**1**answer

336 views

### Kadison-Singer problem in exotic Hilbert spaces

The Kadison-Singer problem is considered in relation to the separable Hilbert space:
KS: Does every pure state on the diagonal (atomic) masa of $B(\ell_2)$ has a unique extension to $B(\ell_2)$?
...

**9**

votes

**2**answers

406 views

### Seeing topological (geom.) properties of the space via corresponding C^*-algebra

Compact Hausdorff spaces bijectively correspond to C^*-algebras with identity. One needs to consider the algebra of continuous functions C(X) to go in one direction and spectrum to go in the other. ...

**8**

votes

**2**answers

327 views

### Injectivity of the Baum-Connes assembly map for locally compact groups

Skandalis, Tu and Yu in "The coarse Baum-Connes conjecture and groupoids" proved that:
Let $\Gamma$ be a countable group with a proper left-invariant metric $d$. If $\Gamma$ admits a uniform ...

**2**

votes

**0**answers

105 views

### Is the Poincare action on the Klein-Gordon quantum field strongly continuous?

I am interested in checking continuity property of the Poincare group action on the Klein-Gordon quantum field theory defined over the Minkowski spacetime. Maybe the simplest example of QFT out there.
...

**2**

votes

**1**answer

188 views

### Ideal spanned by matrix units isomorphic to compact operators

Hello,
Assume we have $(n+1)$ isometries $S_1,...,S_{n+1}$ in the separable Hilbert space $H$ with the properties that $\sum_{i=1}^{n+1}S_iS_i^*=I, S_i^*S_j=0$ (i.e. $S_i$ are the generators of the ...

**0**

votes

**1**answer

292 views

### Commutant of a von Neumann algebra as the linear span of unitaries.

I'm reading chapter 4 of Gerard Murphy's C*-algebras book and am confused by a statement in his proof of theorem 4.1.10. In his proof, he says, "$A'$ is the linear span of its unitaries" (where $A'$ ...

**10**

votes

**2**answers

384 views

### C*-algebras with no nontrivial endomorphisms

Pick a C*-algebra $A$ and call a (*-)endomorphism $\alpha:A\to A$ nontrivial if it is injective and $\alpha(A)\neq A$.
Question: Do there exist infinite dimensional C*-algebras with no nontrivial ...

**9**

votes

**0**answers

349 views

### Tensorial decomposition of $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 ...

**11**

votes

**3**answers

533 views

### Von Neumann algebra associated to the infinite Cuntz algebra

The Cuntz algebra $\mathcal{O}_{\infty}$ is the universal $C^*$-algebra generated by countably infinitely many isometries $s_i$ satisfying the relations $s_i^*s_j = \delta_{ij}$ (there is no condition ...

**10**

votes

**1**answer

247 views

### Which W*-algebras are the duals of C*-coalgebras?

A Banach algebra (assumed associative and unital) is precisely a monoid object in the monoidal category of Banach spaces, short linear maps, and the projective tensor product. A Banach coalgebra is ...

**3**

votes

**2**answers

505 views

### Do semi-continuous functions generate bounded Borel measurable functions as a $C^*$-algebra?

This question is related to Question 2 of my previous posting.
Question. Let $\mu$ be a Radon measure on a compact Hausdorff space $\Omega$ and $L^{\infty}(\Omega,\mu)$ the set of essentially bounded ...

**4**

votes

**0**answers

219 views

### Extensions of completely positive mappings

I would like to ask the following two questions.
Let $1_{\mathcal{H}}\in \mathcal{A}\subset\mathcal{B}\subset\overline{\mathcal{A}}^{SOT}\subset\mathbb{B}(\mathcal{H})$ be a sequence of ...

**6**

votes

**2**answers

534 views

### The monotone closure of a $C^*$-algebra

Related to Jon's question, I have two questions. Let $\mathcal{A}$ be a concrete $C^*$-algebra on a Hilbert space $\mathcal{H}$. For any selfadjoint subset $S$ of $\mathbb{B}(\mathcal{H})$, let $S^m$ ...

**2**

votes

**1**answer

209 views

### Function spaces over pseudocompact spaces

Let $K$ be a pseudocompact Tychonoff space that is, a Hausdorff $T_{3.5}$ space for which every continuous function $\varphi \colon K\to \mathbb{C}$ is bounded. Let $\beta$ be the Stone-Cech extension ...

**5**

votes

**2**answers

434 views

### Bounded linear functionals and representations

Suppose that $A$ is a unital C$^*$-algebra and that $\varphi: A \to \mathbb{C}$ is a bounded linear functional. Then there exists a Hilbert space $H$, a representation $\pi: A \to B(H)$ and vectors ...

**6**

votes

**1**answer

208 views

### States/functionals on crossed product C*-algebras

Let $A$ be a C*-algebra, $\alpha$ a strongly continuous automorphic action by a locally compact group $G$ on $A$, and consider the crossed product $A\rtimes_\alpha G$. I am looking for references ...

**11**

votes

**1**answer

437 views

### Kuiper's theorem via approximation

Kuiper's theorem says that the unitary group $U(H)$ of a separable infinite dimensional Hilbert space $H$ is contractible, if it is equipped with the norm topology.
Let's suppose, I do not know this ...

**3**

votes

**1**answer

314 views

### When an AW*-algebra is a W*-algebra

In a very old book of Kaplansky "Rings of operators", on p. 123 one can find the following sentence:
It is a standing conjecture that an AW${}^\ast$-algebra is W${}^\ast$ if its center is W${}^\ast$.
...

**0**

votes

**1**answer

202 views

### simultaneously Approximated by self-adjoint elements.

We know that a $C^*$-algebra $A$ has real rank zero iff every self-adjoint element of $A$ can be approximated in norm by self-adjoint element with finite spectra. My question is:
If we have two ...

**3**

votes

**2**answers

434 views

### Polar decomposition in C*-algebras

A very nice feature of W*-algebras is the following:
once you have an element $a$ of a W*-algebra $M$, and $a=u|a|$ (the polar decomposition), then $u\in M$.
It seems that it carries over to ...

**4**

votes

**1**answer

238 views

### Abelian sub-W*-algebras

Let $M$ be a von Neumann algebra which acts faithfully on a Hilbert space of density character $\kappa$ but does not on a Hilbert space of density character $\lambda<\kappa$ (that is, the density ...

**10**

votes

**1**answer

670 views

### Does the hyperfinite II_1 factor admit two irreducible representations that are not unitarily equivalent?

Regarding the hyperfinite $II_{1}$ factor $R$ as $C^{*}$-algebra, is it known whether any two irreducible representations of $R$ are unitarily equivalent? If it is known that there exists a pair of ...

**11**

votes

**0**answers

475 views

### Properties of orthogonality-preserving c.p. maps between $C^*$-algebras

Suppose that $A,C$ are $C^*$-algebras and $\phi:A \to C$ is a completely positive, orthogonality-preserving linear map.
(Orthogonality preserving means: if $a,b \in A$ satisfy $ab=0$ then ...

**8**

votes

**1**answer

397 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

287 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

360 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

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

**9**

votes

**1**answer

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

**10**

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

**11**

votes

**2**answers

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

**2**

votes

**2**answers

312 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

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

**7**

votes

**1**answer

308 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

888 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

396 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

991 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

403 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

368 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

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

**36**

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

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

**20**

votes

**2**answers

859 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

399 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

243 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

407 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

496 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

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