**3**

votes

**0**answers

119 views

### Closed containment of open projections in C*-algebras

For a C*-algebra $A$ and open projections $p,q\in A^{**}$, consider the following statements.
$\overline{p}\leq q$
$p\leq q$ and there exists open $r\in A^{**}$ with $rp=0$ and $r\vee q=1$
$p\leq q$ ...

**7**

votes

**2**answers

514 views

### $H^{*}$ algebras as a generalization of $C^{*}$ algebras

Let $H$ be the quaternions algebra. An $H^{*}$ algebra is a normed ring $A$ which is simultaneously a unital left $H$ module and has an involution $*$ with the following properties:
$\forall \lambda ...

**4**

votes

**1**answer

212 views

### simple and non nuclear $C^*$-algebra

Is there an example of simple and non-nuclear(non-amenable) $C^*$-algebra?

**2**

votes

**1**answer

92 views

### Why is the ker-hull-topology on $Irr(A)$ is the discrete topology?

Let $A$ be a C$^*$-algebra. Let $Irr(A)=\{[\pi]: \pi$ is an irreducible representation of A}, here is $\rho\in [\pi]$ if there is an unitary operator $V:H_{\pi}\to H_{\rho}$ such that $V\pi(a)=\rho(a)...

**1**

vote

**1**answer

176 views

### Stone-Weierstrass Theorem, polynomial interpolation, divided difference in complex plane

Setting:
Let $\Gamma$ be a simple smooth($C^\infty$) curve in $\mathbb{C}$ parametrized by the injective map $\gamma:[0,1] \to \mathbb{C}$.
Assume $f$ is a function defined on $\Gamma$ s.t. $f$ is ...

**3**

votes

**0**answers

231 views

### Graded structures for simple $C^{*}$ algebras without nontrivial idempotent

Edit(A confession): I just realized that the question is trivial: Since one can easily prove that the convex hull of the spectrum of every nontrivial homogeneous element of a $\mathbb{Z}_{n}$-graded $...

**5**

votes

**1**answer

195 views

### Power's Theorem for irreducible representations

Let $A_{\alpha}\subset B(H)$ be a bunch of unital C*-algebras acting on a Hilbert space $H$ given together with their character spaces $M(A_{\alpha})$'s. A very nice theorem of Stephen C. Power ...

**10**

votes

**2**answers

281 views

### Is this a functor on the category of $C^{*}$ algebras?

The category of $C^{*}$ algebras is denoted by $\mathcal{A}$.
Is there a functor $\mathcal{F}$ on $\mathcal{A}$ which send each object $A\in \mathcal{A}$ to its center $Z(A)$. In the other words, ...

**7**

votes

**1**answer

289 views

### What is $\hat{A}=\{[\pi]:\pi$ is a irreducible representation of $A$} ( $A$ is a $C^*$-algebra)?

Let $A=\{f:[0,1]\to M_2(\mathbb{C}): $f continuous and $ f(0)=\begin{pmatrix} f_{11}(0) & 0 \\ 0 & f_{22}(0) \end{pmatrix}\}$ be a $C^*$-algebra with pointwise multiplication, involutions and ...

**7**

votes

**0**answers

207 views

### Verifying Woronowicz’s proof that all $ {\text{SU}_{q}}(2) $’s are isomorphic as $ C^{*} $-algebras, where $ -1 < q < 1 $

This question is related to one that I asked some time ago.
Definition 1. Let $ q \in (-1,1) $. Let $ A $ be a unital $ C^{*} $-algebra and $ (x,y) $ a pair of elements of $ A $. Then define the ...

**7**

votes

**1**answer

166 views

### Hopf Galois extensions and conditional expectations for C* algebras

Suppose that $H$ is a Hopf algebra with normalised invariant integral (appropriate side) $\int:H\to \mathbb{C}$. The $H$ right comodule algebra $P$ is a Hopf Galois extension, so the canonical map $P\...

**5**

votes

**2**answers

129 views

### Positive Elements of a $\ast$-Algebra

In a $C^*$-algebra ${\cal A}$, a positive element is a one of the form $aa^*$, for some $a \in {\cal A}$. It is known that the set of positive elements is a cone, and that for $a,b$ two non-zero ...

**5**

votes

**0**answers

241 views

### C$^*$-algebras isomorphic after tensoring

From the negative answer to this question we know that C$^*$-algebras that are isomorphic after tensoring with $M_n$ for all $n\geq 2$ need not be isomorphic. So what happens when we strengthen this?
...

**16**

votes

**1**answer

378 views

### The Gelfand duality for pro-$C^*$-algebras

The Gelfand duality says that
$$X\to C(X)$$
is a contravariant equivalence between the category of compact Hausdorff spaces and continuous maps and the category of commutative unital $C^*$-algebras ...

**2**

votes

**1**answer

68 views

### short question about biduals of $C^\ast$-algebras

Let $A$ be a $C^\ast$-algebra. Consider the canonical embedding $A\to A^{**},\; a\mapsto i(a)$, such that $i(a)(a^*)=a^*(a)$ for all $a\in A$. Here is $A^{**}$ considered as a Banach space. It's well ...

**16**

votes

**2**answers

489 views

### C$^*$-algebras isomorphic after tensoring with $M_n(\mathbb C)$

In 1977, Joan Plastiras gave a striking example of two non $*$-isomorphic C$^*$-algebras $\mathcal A$ and $\mathcal B$ such that $$\mathcal A \otimes M_2(\mathbb C) \simeq \mathcal B\otimes M_2(\...

**3**

votes

**2**answers

230 views

### map between $C^*$-algebras with special properties, why is $f(a^2)=f(a)^2 $ for all $a\in A$?

Let $A$ and $B$ unital $C^\ast$-algebras, $f:A\to B$ a linear, bounded map such that $f(a^*)=f(a)^*$ for all $a\in A$, $f(1_A)=1_B$ and $f(a)f(b)=0$ for all $a,b\in A_{sa}$ with $ab=0$. Follows $f(a^2)...

**1**

vote

**1**answer

95 views

### examples of completely positive order zero maps to demonstrate a theorem

I'm interested explicit examples which can be used to demonstate the theorem:
Theorem: Let $A$ and $B$ $C^*-$algebras and $\phi:A\to B$ be a completely postive map of order zero. Set $C:=C^*(\Phi(A))\...

**6**

votes

**1**answer

221 views

### Connes Embedding Conjecture and Fusion Categories

I was recently introduced to Connes' Embedding Conjecture (CEC) which states:
Every separable type $II_{1}$ factor is embeddable into $R^{\omega}$. Where $\omega$ is a generic free ultrafilter on $...

**20**

votes

**2**answers

976 views

### Separating pure states on the $2\times 2$ matrix algebra

I have an idea for a possible counterexample to the noncommutative Stone-Weierstrass problem. A good answer to the following question would really help.
Let $\mathcal{A}$ be the C*-algebra of $2\...

**8**

votes

**1**answer

295 views

### Does the following $ C^{*} $-algebraic result have a purely algebraic proof?

While studying the proof of Bott periodicity for operator $ K $-theory in this set of notes, I learned this fact:
Theorem. Let $ A $ and $ B $ be $ C^{*} $-algebras. Let $ f,g: A \to B $ be $ * $-...

**4**

votes

**1**answer

319 views

### A question on an argument in Woronowicz’s paper on the compact quantum group $ {\text{SU}_{q}}(2) $

Let $ q \in [0,1) $. The compact quantum group $ {\text{SU}_{q}}(2) $ is defined to be the universal unital $ C^{*} $-algebra that is generated by two elements $ \alpha $ and $ \beta $ satisfying the ...

**3**

votes

**0**answers

96 views

### An estimate for the maximal $C^*$-norm in the group algebra of a free group

Let $F\twoheadrightarrow G$ be an epimorphism of groups, $F$ being finitely generated and free. Let $H$ be its kernel. Consider a lifting
$i:G\hookrightarrow F$ of the epimorphism.
Every element of $...

**4**

votes

**4**answers

424 views

### unitization-process of unital- and non-unital $C^*$-algebras

I have a small question about unitization of (unital) $C^*$-algebras. I first asked on math.stackexchange because it is basic theory, but I still have no suitable answer, the link http://math....

**3**

votes

**1**answer

144 views

### questions about the proof of the theorem of completely positive order zero maps

I hope my question is ok for mathoverflow. I first asked on math.stackexchange but received no answer and then delated it.
I want to understand the proof of the theorem (which you can find in the ...

**0**

votes

**1**answer

188 views

### Almost complex structure and nontrivial idempotents

Is there a compact Reiemannian manifold $M$ for which the following complex $C^{*}$ algebra does not have a nontrivial idempotent:
$A=Hom(E,E)$ where $E$ is the complexification of $TM$.
Of ...

**6**

votes

**0**answers

196 views

### A “slice-map” type problem for symmetric tensors in the square of a nuclear C*-algebra

Throughout: let $\otimes$ denote the minimal (i.e. spatial) $\newcommand{\Cst}{{\rm C}^*}\Cst$-tensor product of two $\Cst$-algebras.
Let $B$ be a unital, nuclear $\Cst$-algebra and let $A\subset B$ ...

**4**

votes

**1**answer

145 views

### A question about correlations between $ C^{*} $-algebras

I was studying J. M. G. Fell’s paper The Structure of Algebras of Operator Fields when I encountered the concept of a correlation between two $ C^{*} $-algebras.
Definition. Let $ A $ and $ B $ be ...

**1**

vote

**1**answer

287 views

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

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

**1**

vote

**1**answer

173 views

### Irreducible representation of $C^*(D_\infty)$, group $C^*$-algebra of an infinite dihedral group

I have a question about an irreducible representation of the (full) group $C^*$-algebra of an infinite dihedral group $D_\infty$, denoted by $C^*(D_\infty)$.
Ultimately, I'm interested in finding a ...

**1**

vote

**0**answers

149 views

### Determining the primitive ideal space of C-star algebras

Is there a general way of finding a primitive ideal space of $C^*$-algebra?
For example, if $C^*$-algebra is given by the universal $C^*$-algebra generated by two self-adjoint unitary elements, how ...

**1**

vote

**1**answer

57 views

### Comparision of two $C^{*}$ algebras associated to a non vanishing vector field on a compact manifold

Let $X$ be a non vanishing vector field on a compact manifold $M$ so we have a one dimensional foliation $F$ of $M$ with orbits of $X$.
This foliation defines a $C^{*}$ algebra $C^{*}(F)$. On the ...

**1**

vote

**1**answer

119 views

### A $C^{*}$ algebra associated to a graded $C^{*}$ algebra

A $C^{*}$ algebra $A$ is graded by $\mathbb{Z}_{n}$ iff it can be acted by $\mathbb{Z}_{n}$. So we associate the $C^{*}$ algebra $A\rtimes \mathbb{Z}_{n}$ to a $\mathbb{Z}_{n}$-graded $C^{*}$ ...

**1**

vote

**0**answers

44 views

### Upper semicontinuity in C(X)-algebras. Quotient norm question

upper semicontinuity in C(X)-algebras
In the 5th paragraph of this post, I don't understand why there exists a vector b satisfying $||a+b||_A < ||q_x (a)||_A(x)$
By the definition of the quotient ...

**3**

votes

**0**answers

102 views

### Two questions on topological and geometric structure of projections in a simple $C^{*}$ algebra

Let $A$ be a simple $C^{*}$ algebra. Assume that the space of projections has a connected component homeomorphic to the complex Grassmanian $G(k,n)$. Is it true to say that, for all $k'<k$, the ...

**0**

votes

**1**answer

179 views

### A $C^{*}$ algebra associated to a group [closed]

Let $G$ be a compact group which act on a Hilbert space $H$. We define a linear map $T$ on the dual space $H^{*}$ with $$T(\phi)(x)=\int_{G} \phi(g.x)$$ The integration is based on the Haar ...

**0**

votes

**0**answers

146 views

### Range of a trace preserving completely positive projection

I'm working in $M_n(\mathbb{C})$, the algebra of complex $n\times n$ matrices. I managed to build a completely positive, trace preserving, star preserving, projection $P$. That is
$$\text{Tr}(P(A)) = ...

**5**

votes

**2**answers

265 views

### fixpoint algebras of a permutation action

Let $D$ be an infinite UHF algebra, e.g. the infinite tensor product of the matrix algebra $M_k(\mathbb{C})$. The permutation group $\Sigma_n$ acts on the $n$-fold tensor product $D^{\otimes n}$ in a ...

**1**

vote

**0**answers

96 views

### A noncommutative vector bundle associated with a codimension one foliation

Assume that we have a codimension one foliation of a manifold $M$ which is generated by a one form $\alpha$. So the following $\phi$ satisfies $\phi \circ \phi =0$:$$\phi:\Omega^{i}(M)\to \...

**3**

votes

**1**answer

147 views

### Conjugacy of circle actions on UHF C*-algebras

Consider pointwise continuous actions of the unit circle on the $2^{\infty}$-UHF C*-algebra A by *-automorphisms. Assume that two such actions have the same fixed point algebra, i.e., elements that ...

**0**

votes

**0**answers

117 views

### Product of two foliations

1.What is an example of a manifold $M$ with two foliations $F$ and $F'$ which are not topological equivalent but the product foliations $F\times F$ and $F'\times F'$, as foliations on $M\times M$, ...

**2**

votes

**0**answers

277 views

### Inductive/Projective Limits of Topological Algebras

It is common to form inductive/projective limits of Banach/Frechet spaces in order to come up with natural topologies for common vector spaces. For instance,
For $k \ge 0$ and $K_n$ compact ...

**1**

vote

**0**answers

127 views

### A continuous choice of invertible elements

Let $A$ be a simple unital $C^{*}$ algebra with invertible elements $G(A)$. Assume that $A^{*}$ is its dual space, which is equipped with the weak star topology.
Is there a continuous map $\...

**2**

votes

**0**answers

61 views

### Hilbert c*-module over approximately finite c*-algebra

Is there a construction of a Hilbert c*-module over an approximately finite c*-algebra using Hilbert c*-modules over finite algebras? How do we get a Hilbert c*-module over an inductive limit of such ...

**1**

vote

**1**answer

91 views

### strong convergence in Hilbert c* module

For a monotone sequence of projections in Hilbert c* module, do we have similar conclusion as in Hilbert space (such as strong convergence)? If not, what could be said in that situation?

**6**

votes

**1**answer

201 views

### Connes' correspondences of two $L^\infty$-algebras

In his "Noncommutative Geometry" book Connes asserts (on p. 539) that for two standard probability spaces $(X,\mu_X)$, $(Y,\nu_Y)$ an $N$-$M$-bimodule for $M=L^\infty(X,\mu_X)$ and $N=L^\infty(Y,\mu_Y)...

**7**

votes

**1**answer

247 views

### Proving a certain $ C^{*} $-algebraic inequality

Let $ A $ be a non-unital $ C^{*} $-algebra. Is there an ‘elementary’ way to prove, for all $ (a,\lambda) \in A \times \mathbb{C} $, the inequality
$$
|\lambda| \leq \sup_{b \in A, ~ \| b \| \leq 1} \|...

**3**

votes

**1**answer

240 views

### Finite codimensional subvector space of $C^{*}$ algebras which contains no invertible elements

Assume that $A$ is a unital $C^{*}$ algebra. Is there a subvector space $Y\subset A$ of finite codimension which does not contain any invertible element?
Let $n(A)$ be the infimum of such ...

**14**

votes

**0**answers

483 views

### Unital $C^{*}$ algebras which all elements have path connected spectrum

A unital $C^{*}$ algebra is called "Path connected" if the spectrum of all its elements is a path connected subset of $\mathbb{C}$.
Is the tensor product of two path connected algebra, a path ...

**0**

votes

**1**answer

184 views

### Totally non hereditary $C^{*}$-subalgebras

Assume that $B$ is a $C^{*}$ subalgebra of $A$. We say $B$ is totally non hereditary subalgebra of $A$ if not only $B$ is not a hereditary subalgebra but also it is not isomorphic to any ...