**1**

vote

**0**answers

34 views

### Lower bound for the $C^*$-unitisation norm?

Let $A$ be a $C^*$-algebra without unit. Its unitisation $A^+$ carries the $C^*$-norm
$$\|(a,\lambda)\|_{A^+} = \sup \{\|ax+\lambda x\|_A \;\big|\; \|x\|_A = 1 \},$$
which is the operator norm of ...

**1**

vote

**1**answer

204 views

### On the second dual of $C[0,1]$

I have two questions on the second dual of $C[0,1]$:
R. D. Mauldin ([1]) proved that: For a given bounded linear functional
$T: C[0,1]^*\to \mathbb{C}$ there is a bounded function $\psi$ defined on ...

**1**

vote

**1**answer

111 views

### Representations of Calkin algebra

Let $H$ be a separable Hilbert space and consider the Calkin algebra $C(H)=\frac{B(H)}{K(H)}$.
Q) True or false: Any representation of $C(H)$ is a direct sum of irreducible representations.

**0**

votes

**1**answer

118 views

### A point-wise separation Hahn-Banach theorem in C*-algebras

Let $H$ be a Hilbert space. We denote $K(H)$ by the space of compact operators on $H$ which is a two sided ideal in $B(H)$.
Let $E$ be a norm closed convex subset of positive operators in $K(H)$ ...

**6**

votes

**1**answer

194 views

### When does a $C^*$-algebra have no nonzero projection?

Let $A$ be a $C^*$-algebra and $\hat{A}$ its spectrum of $A$,the set of classes of non-zero irreducible representation of $A$ endowed with hull-kernel topology. suppose $\hat{A}$ is a non-compact ...

**1**

vote

**0**answers

54 views

### Finding the infimum of the range of a certain non-negative function associated to a $ C^{*} $-algebra

Let $ A $ be a non-trivial $ C^{*} $-algebra and $ n \in \mathbb{N} $. Setting $ \mathcal{D} \stackrel{\text{df}}{=} A^{n} \setminus \{ (0_{A},\ldots,0_{A}) \} $, we can define a function $ f: ...

**5**

votes

**1**answer

168 views

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

Assume that $A$ is a $C^{*}$ algebra with self adjoint elements $A_{sa}$. Assume that for all $a,b\in A$ we have $$ab\in A_{sa} \iff ba \in A_{sa}$$
Is $A$ necessarily a commutative ...

**11**

votes

**1**answer

148 views

### What does it tell us, if we know a unital C*-algebra has approximately inner (half-)flip?

This is a somewhat vague question, but I think it is not too open-ended and should admit well-circumscribed answers by specialists in operator algebras.$\newcommand{\Cst}{{\rm C}^*}$ It arises from ...

**4**

votes

**1**answer

118 views

### $C(X)$ as finitely generated $C^*$-algebra

Let $X$ be a Hausdorff space. Suppose that $C(X)$ (or $C_0(X)$) is a finitely generated $C^*$-algebra. What we can say about $X$ ? For example can we characterize its inductive dimension, axioms of ...

**1**

vote

**0**answers

114 views

### Uniform Roe algebras and exact groups

Let $\Gamma$ be a discrete group.
Q: If $l^\infty(\Gamma)\rtimes \Gamma=l^\infty(\Gamma)\rtimes_r \Gamma$ canonically, can we conclude that $\Gamma$ is an exact group?
The converse implication is ...

**1**

vote

**0**answers

162 views

### A functor on the category of rings, algebras or compact Hausdorff topological space

Assume that $R$ is a unital ring or a complex or real (Banach or $C^{*}$) algebra.
We define a relation $M$ on $R$ as follows: $$a\;M b \;\;\; \text{iff}\;\; a=xy,\;b=yx \;\; \text{for ...

**8**

votes

**1**answer

159 views

### Real rank zero of group $C^*$-algebras

The concept of real rank zero of a $C^*$-algebra is introduced as non-commutative analogue of dimension ( topological dimension ). For example, it shown (by Brown-Pedersen) such that, if $X$ is a ...

**3**

votes

**0**answers

115 views

### Quantization of $S^2$ as $C^*$-algebra?

The general context for the question - is belief that quantization of compact symplectic manifolds can be endowed with the structure of $C^*$-algebra (see MO230695).
The particular question is about ...

**3**

votes

**0**answers

113 views

### The weak-star closure of closed left ideals corresponding to pure states

I asked this question at math.stackexchange and received no comment.
Let $A$ be a C*-algebra and $\phi$ be a positive linear functional on $A$. Let $\tilde{\phi}$ be its unique $w^*$-continuous ...

**1**

vote

**1**answer

113 views

### When the reduced $C^*$-algebra of $\Gamma$ admits character then $\Gamma$ is amenable [closed]

Suppose that $C^*_r(\Gamma)$ admits some character (homomorphism into $\mathbb{C}$)-here $\Gamma$ is discrete group and $C^*_r(\Gamma)$ is the closure of the image of the group ring $\mathbb{C}\Gamma$ ...

**3**

votes

**0**answers

56 views

### Can approximately periodic functions be perturbed to periodic functions on a locally compact group?

Let $G$ be a locally compact group and $H\subset G$ a closed and cocompact subgroup. I wish to consider bounded continuous functions from $G$ to $\mathbb{C}$ that are periodic in the following strong ...

**3**

votes

**2**answers

66 views

### $V(A)$ semi group of equivalent projections in $M_∞(A)$ cancelative?

I found in the book of Murphy, C*- Algebras and Operator Theory, the Theorem 7.1.2 :
Let A be an unital C* algebra, the semi group $V(A)$ of equivalent projections (under Murray Von
Neumann ...

**8**

votes

**0**answers

120 views

### Existence/characterization/properties of $C^*$-algebras which “are” quantization of compact symplectic manifolds?

Understanding of "quantization" achieved much progress recent years, especially after Kontsevich breakthrough on deformation quantization, where he proved one-to-one correspondence between Poisson ...

**1**

vote

**0**answers

93 views

### Ideal structure of group $C^*$-agebras [closed]

Let $G$ be a locally compact groups and $C_r^*(G)$ be a reduce group $C^*$-algebra.
$\ Question:$What is the ideal structure of reduce group $C_r^*(G)$?

**3**

votes

**1**answer

102 views

### Is the module action $M\times M^*\to M^*$ jointly continuous?

Let $M$ be a W*-algebra and consider the following map:
$$\gamma: M\times M^*\to M^*: (a,f)\to af$$
where $af(b)=f(ba)$. Let us consider $M$ under the weak topology $\sigma(M,M^*)$ and $M^*$ under ...

**10**

votes

**1**answer

168 views

### How “nondegenerate” are amalgamated free products of C*-algebras?

In the following, I assume all algebras are unital. Let $A$ and $B$ be C*-algebras that each contain (isomorphic copies of) a common C*-subalgebra $C$. Let $A *_C B$ denote the amalgamated free ...

**5**

votes

**2**answers

200 views

### Can $C^*$-algebra of continuous functions on $R^n$ ($S^n$) be characterized alternatively?

Dictionary between algebra and geometry is somewhat one of the main concepts in modern mathematics. So commutative $C^*$ algebras are one-to-one with locally compact Hausdorff spaces.
So it is ...

**4**

votes

**0**answers

111 views

### References for a lemma about compact operators on a Hilbert module

I am looking for a reference for the following result:
If $A$ and $B$ are C* algebras, $H$ is a right Hilbert $A$-modules, $\phi :A \rightarrow B$ is a morphism, and assume that there is a map $\eta ...

**0**

votes

**1**answer

88 views

### Equivalent projections in von Neumann algebras

Let $M$ be a von Neumann algebra in $B(H)$. Let $p$ and $q$
be projections in $M$. Assume that they are equivalent in $B(H)$, i.e there is a partial isometry $u$ in $B(H)$ with $p=uu^*$ and ...

**2**

votes

**0**answers

99 views

### Sequence of Projections in C*-Algebra

Claim: Let $A$ be a unital C*-Algebra and $q\in A$ a projection. Given a sequence $\left(p_n\right)_{n\in\mathbb{N}}\subseteq Ae$ of projections with $p_n\rightarrow q$ for $n\rightarrow \infty$ there ...

**3**

votes

**0**answers

156 views

### Uniqueness of the reduced free product of unital completely positive maps

For $1\leq i\leq n$, let $\psi_i$ be a faithful state on the C$^*$-algebra $A_i$ and $\phi_i$ be a faithful state on the C$^*$-algebra $B_i$. Let $(A,\psi) = *_{i=1}^n (A_i,\psi_i)$ and $(B, \phi) = ...

**0**

votes

**0**answers

73 views

### Representation of a C*-algebra

Let $A$ be a C*-algebra. It seems that for given an *-representation $\pi$ of $A$, there is unique central projection $z_{\pi}$ in $A^{**}$ such that $\pi$ is just (unitary equivalent to) $\rho_z$ ...

**0**

votes

**1**answer

179 views

### The total variation of a complex measure

Let $\Omega$ be a locally compact and Hausdorff topological space. The Riesz representation theorem says that $C_0(\Omega)^*$ , dual of the commutative C*-algebra $C_0(\Omega)$, is just the space of ...

**5**

votes

**1**answer

207 views

### $C^{*}$-correspondences viewed as generalized endomorphisms

I've heard that $C^{*}$-correspondences (over a $C^{*}$-algebra) can be viewed as generalized endomorphisms of the algebra. I would like to understand this, and be pointed towards books or papers ...

**9**

votes

**1**answer

124 views

### Compute the index of the Dirac operator on $C_0(R^2)$ to obtain Bott element in $K_0$

I am studying the paper of Baum-Connes-Higson to understand the Connes-Kasparov conjecture. In example 4.23, they discuss the case $G=\mathbb{R}^2$. I have constructed the Dirac operator, but I’m ...

**0**

votes

**0**answers

82 views

### semifinite projection

Let $M$ be von Neumann algebra, $p$ be semiefinite projection and $q$ be projection in $M$ such that $Z(q)=Z(p)$.
( $p$ is semifinite projection if every nonzero subprojection of $p$ contains a ...

**7**

votes

**0**answers

209 views

### Commutation preserving operators

Let $A$ and $B$ be unital $C$*-algebras and let $T\colon A\to B$ be a bounded linear bijection that preserves commuting elements, i.e., $ab=ba$ implies $TaTb=TbTa$. Does $T^{**}$ then also preserve ...

**4**

votes

**0**answers

142 views

### Connectivity of the group of invertible elements of $C(S^{2})\otimes A$

For what type of $C^{*}$ algebras $A$, the group of invertible elements of $C(S^{2}) \otimes A$ is a connected group?
All finite dimensional $A$ satisfy this property.
Is it true to say ...

**3**

votes

**0**answers

97 views

### Extending Akemann's Non-Commutative Urysohn Lemma

Assume $A$ is a C*-algebra and $p,q\in A^{**}$ are compact projections.
Can we always find $a,b\in A^1_+$ with $p\leq a$, $q\leq b$ and $||pq||=||ab||$?
Note if $||pq||=1$ this is immediate, ...

**12**

votes

**1**answer

256 views

### Almost idempotent approximate units in C*-algebras

As in Blackadar's "Operator Algebras" Definition II.4.1.1., call an approximate unit $(a_\lambda)$ in the positive unit ball of a C*-algebra almost idempotent if $a_\lambda a_\gamma=a_\lambda$ ...

**3**

votes

**0**answers

116 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

504 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

198 views

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

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

**2**

votes

**1**answer

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

**1**

vote

**1**answer

165 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

227 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

192 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

274 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

268 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

196 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

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

**5**

votes

**2**answers

123 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

232 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

370 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

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