**24**

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

**17**

votes

**0**answers

303 views

### Do quotients of amenable groups C*-algebras satisfy the UCT?

Let G be a discrete amenable group.
General Question: Let $J$ be an ideal of $C^*(G)$, the group C*-algebra of $G.$ Does $C^*(G)/J$ satisfy the universal
coefficient theorem (UCT)?
I am mainly ...

**14**

votes

**0**answers

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

**14**

votes

**0**answers

349 views

### $C^*$-algebra generated by those operators that are bounded on every $\ell_p$

Suppose $T: c_{00} \to c_{00}$ is a linear map such that, when regarded as an infinite matrix, there is a uniform bound on the $\ell_1$-norms of its columns, and a uniform bound on the $\ell_1$-norms ...

**13**

votes

**0**answers

697 views

### Must we close weakly to apply the spectral theorem?

Let $H$ be an infinite dimensional separable complex Hilbert space. All C*-subalgebras of $B(H)$ are assumed to be non-degenerate.
The spectral projections of a self-adjoint element $T$ of $B(H)$ lie ...

**12**

votes

**0**answers

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

**11**

votes

**0**answers

1k views

### Schwartz kernel theorem for A-linear operators

Let $X,Y \subset \mathbb{R}^n$ be open subsets. Denote by $C^\infty(X)$ the smooth functions on $X$, let $\mathcal{E}'(Y)$ be its dual space considered as a space of distributions. Let $L(C^\infty(X), ...

**10**

votes

**0**answers

199 views

### Status of the analog of the Haar measure on quantum groups

In (Masuda, Nakagami, Woronowicz)'s paper, in the introduction, the authors mentioned the deficiency common to both their and (Kusterman, Vaes)'s approach regarding the Haar state (or Haar measure ...

**10**

votes

**0**answers

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

**8**

votes

**0**answers

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

**8**

votes

**0**answers

400 views

### The approximation property of group C*-algebras

Let $G$ be a discrete group. Then the group C*-algebra $C^*(G)$ is nuclear if and only if $G$ is amenable. I am wondering whether nuclearity of $C^*(G)$ can fail for a Banach-space reason, namely due ...

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

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

**0**answers

344 views

### Unique maximal ideal in group C*-algebras

Let $G$ be a discrete group. Let $C^*(G)$ denote the full group C*-algebra of $G.$ Let $\pi:C^*(G)\rightarrow \mathbb{C}$ be the *-homomorphism associated with the trivial representation of $G.$
...

**7**

votes

**0**answers

218 views

### Non Commutative Hyperspaces

Let $X$ be a compact metric space. Recall that the hyperspace $2^{X}$ is the set of all non empty compact subsets of $X$ with the Hausdorff metric. Assume that $\mathcal{C}$ is the category of all ...

**7**

votes

**0**answers

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

**7**

votes

**0**answers

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

**6**

votes

**0**answers

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

**6**

votes

**0**answers

185 views

### Dense ideals in C*-algebras and K-theory

Let $A$ be a nonunital C*-algebra and let $I \subset A$ be a dense, $*$-closed, 2-sided ideal. I was under the impression that there existed some "obvious" argument proving that $I$ carries all the ...

**6**

votes

**0**answers

273 views

### C* algebras of free semicircular systems

It was shown by Pimsner and Voiculescu in 1982 that the reduced group $C^{*}$-algebras $C^{*}_{r}(\mathbb{F}_{n})$ and $C^{*}_{r}(\mathbb{F}_{m})$ are isomorphic if and only if $n = m$ (here, ...

**6**

votes

**0**answers

163 views

### Replacing commutative C*-algebras by simple ones

I am looking for functorial ways of replacing a commutative $C^*$-algebra $C$ by a simple one, say $A$ , such that the $K$-theory remains unchanged, i.e. $K_*(C) \cong K_*(A)$.
I am particularly ...

**6**

votes

**0**answers

227 views

### What morphisms / Morita equivalences induce the 2-periodicity isomorphisms of KK-theory?

In Kasparov's paper, the canonical isomorphisms $KK_* \rightarrow KK_{*+2k}$ are defined rather implicitely (by tensoring and stabilization).
Are there morphisms of $C^*$-algebras which induce them ...

**5**

votes

**0**answers

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

**5**

votes

**0**answers

251 views

### A generalization of real characters on a group

Yesterday I understood that I can't live without this construction:
Let $G$ be a group, $A$ an associative algebra over $\mathbb R$ and $n\in{\mathbb N}$. We consider a sequence of maps ...

**5**

votes

**0**answers

257 views

### Is the crossed product $\mathcal{K} \rtimes G$ a groupoid algebra?

Suppose G, a discrete group acting on the compact operators $\mathcal{K}$ by automorphism of C*-algebra $\mathcal{K}$. Can we view the crossed product as a groupoid C*-algebra of some groupoid?
This ...

**5**

votes

**0**answers

205 views

### Is translation by the free group (in two generators) on a certain completion of the group an amenable action?

Let $\mathbb{F}_2 = \langle a,b\rangle$ be the free group in two generators $a,b$ and let $\alpha \in \text{End}(\mathbb{F}_2)$ be given by $\alpha(a) = a^2, \alpha(b)= b^2$. Note that the index ...

**5**

votes

**0**answers

166 views

### “Definitive” Noncommutative Space

Let $Y$ be a (locally compact) non-Hausdorff topological space. I want to know if there is a necessary and/or sufficient condition for $Y=X/G$, that is, $Y$ is the orbit space of a locally compact ...

**5**

votes

**0**answers

194 views

### Does the suspension isomorphism $K_1(A) \to K_0(SA)$ descend from a more refined invariant?

If $A$ is a C*-algebra, denote its minimal unitization by $\tilde A$ and its suspension by $SA$, thought of as all continuous $a:[0,1] \to A$ with $a(0)=a(1)=0$. The unitized suspension ...

**5**

votes

**0**answers

106 views

### Equivariant zero dimensional extension recovering a given measure

Let $X$ be a compact metrizable space and $\alpha: \mathbb{Z}^d\curvearrowright X$ a continuous group action. Then it is well known that there exists a zero dimensional compact space $Y$, an action ...

**4**

votes

**0**answers

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

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

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

**4**

votes

**0**answers

135 views

### A question on extension of $Z^{*}$ algebras

A $Z^{*}$ algebra is a $C^{*}$ algebra which all elements are(two sided or equivalently one sided) zero divisor.
Are there two $Z^{*}$ algebras $A,B$ such that for every short exact sequence ...

**4**

votes

**0**answers

459 views

### About generator and isomorphism problems for free groups operator algebras

Let $H$ be an infinite dimensional separable Hilbert space.
The $C^{*}$-algebras and von Neumann here unital and subalgebras of $B(H)$.
Definition : Let $\mathcal{A}$ be $C^{*}$-algebra (resp. a ...

**4**

votes

**0**answers

480 views

### Do the banded operators check the invariant subspace problem?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators.
Invariant subspace problem: Let $T \in B(H)$. Is there a non-trivial closed $T$-invariant ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**4**

votes

**0**answers

242 views

### Obstructions to existence of finitely summable spectral triples

Connes proved in his beautiful paper "Compact metric spaces, Fredholm modules, and hyperfiniteness" published in 1989 that if $(A,H,D)$ is a finitely summable spectral triple with a unital ...

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

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

**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) = ...

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

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

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

**3**

votes

**0**answers

68 views

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

Let F--->G be an epimorphism of groups, F being finitely generated and free. Let H be its kernel. Consider a lifting i: G--->F of the epimorphism. Every element of C[G] is of the form
a=sum a(g) i(g) ...

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

**3**

votes

**0**answers

215 views

### Is $\mathcal{K}(H)$ injective $\mathcal{B}(H)$-module?

Does anyone know if the right Banach $\mathcal{B}(H)$-module $\mathcal{K}(H)$ is injective?
The same question for $\ell_\infty$-module $c_0$. Both these modules are not dual, so standard arguments ...

**3**

votes

**0**answers

88 views

### How the modular theory of von Neumann algebras, deal with generating C*-algebras?

Let $H$ be a separable infinite dimensional Hilbert space, $M \subset B(H)$ a von Neumann algebra and $A \subset M$ a separable $C^*$-algebra such that $A''=M$. Suppose the existence of a bicyclic ...

**3**

votes

**0**answers

111 views

### A topological space extracting from a group action

Let $G$ be a compact abelian topological group with invariant measure $\mu$ which acts on a compact Hausdorff space $X$. A $G$-odd function is a continuous function $f:X\to ...

**3**

votes

**0**answers

206 views

### Are two $W^*$-algebras $A$ and $B$ that are Morita equivalent (in the sense of Rieffel) also Morita equivalent in the algebraic sense (as rings)?

Let $A$ and $B$ be $C^*$-algebras, I had a question about Morita equivalence for $C^*$-algebras and $W^*$-algebras, I've come across 3 concepts:
Morita equivalence for $C^*$-algebras: Equivalence ...