**5**

votes

**2**answers

327 views

### Kazhdan's property (T) vs. residual finiteness

I have asked this question already on mathstackexchange but got no answer (see http://math.stackexchange.com/questions/1795795/kazhdans-property-t-vs-residual-finiteness) and it was suggested that I ...

**1**

vote

**1**answer

52 views

### Multiplier algebra of $A \otimes \mathcal{K}$

If $A$ is unital C$^*$-algebra, is it true that the multiplier algebra of $A \otimes \mathcal{K} $ is $ A \otimes \mathcal{B}(\mathcal{H})$? Where $\mathcal{K}$ is C$^*$-algebra of compact operators ...

**5**

votes

**2**answers

204 views

### $id:A\to A^{op}$ is completely positive iff $A$ is abelian

Let $A$ be a $C^*$-algebra and $A^{op}$ it's opposite $C^*$-algebra. Let $id:A\to A^{op}$ be the identity map. $id$ is positive.
The claim is: $id$ is completely positive iff $A$ is abelian.
I need ...

**0**

votes

**0**answers

52 views

### A point on the absolute value of a bounded linear functional.

Let $A_0$ be a C*-subalgebra in a C*-algebra $A$. Let $\phi_0$ be a bounded linear functional on $A_0$ and assume $\phi$ is an extension of $\phi_0$ on $A$. I mean $\phi\in A^*$ with ...

**5**

votes

**1**answer

101 views

### is the maximal tensor product of compact operators an essential ideal?

I'm searching for a counterexample for $C^*$-algebras $A$ and $B$ and essential ideals (I assume an ideal to be closed and only two-sided ideals) $I\subseteq A$, $J\subseteq B$ , such that the ideal ...

**3**

votes

**1**answer

107 views

### is a linear map on an operator system into a $C^*$-algebra (+ extra conditions) positive?

First of all, sorry for my bad english. I tried to find out whether the following statement is true or not:
Let $X$ be a operator system, $B$ a $C^*$-algebra and $f:X\to B$ linear such that $f(1)\ge ...

**2**

votes

**0**answers

129 views

### The functional equation $T(x\otimes y)=T(x)\otimes T(y)$ on certain $C^{*}$ algebras

Is there a name for the following property of a $C^{*}$ algebra $A$?
$$A \simeq A \otimes A\;\;\; \text{The spatial tensor product}$$
Example of this situation is $A=C(X)$ where $X$ is the ...

**2**

votes

**0**answers

84 views

### Primitive ideal space and unitary dual of a [SIN] group - when are they Hausdorff?

Recall that a locally compact group $G$ is said to be
an $[FC]^-$ group, if each conjugacy class in $G$ has a compact closure;
an $[SIN]$ group, if each neighborhood of the identity includes a ...

**1**

vote

**0**answers

75 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

214 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

116 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

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

**7**

votes

**1**answer

205 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

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

**6**

votes

**1**answer

177 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

153 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

121 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

**1**answer

139 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

163 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

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

**4**

votes

**0**answers

140 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

114 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

122 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

68 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

139 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

94 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

103 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

171 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

201 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

91 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

104 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

158 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

76 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

208 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

127 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

83 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

210 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

143 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

101 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

260 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

117 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

508 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

203 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

169 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

229 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

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