**4**

votes

**1**answer

88 views

### Commutator representation of certain smoothing operators

I have a question regarding the classical trace $\text{Tr} \colon \Psi^{-\infty}(S^1)\to \mathbb C$ on pseudodifferential operators of infinite negative order (i.e. smoothing operators), defined over ...

**2**

votes

**0**answers

75 views

### Is the generated subalgebra of a subset of pairwise operator-commuting element in a JB-algebra associative?

In a Jordan algebra elements $a$ and $b$ are said to operator-commute, whenever $a \circ (b \circ x) = b \circ (a \circ x)$ for every other element $x$. (That is: $T_aT_b = T_bT_a$, writing $T_x(y) = ...

**5**

votes

**0**answers

120 views

### Functoriality of $\mathsf{Cu}$

I have always been happy with the proof of the functoriality of the Cuntz semigroup $\mathsf{Cu}$ given in arXiv:0902.3381, where the isomorphism
$$\mathsf{Cu}(A)\cong W(A\otimes K)$$
is used, $A$ ...

**5**

votes

**1**answer

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

**0**

votes

**0**answers

86 views

### Group which is not MF or AF

Does someone know example of group (countable, discrete) which can not be embedded (monomorphism) into
$$ U(\prod M_n/\oplus M_n)$$
unitary group of universal MF-algebra? Or example of group which can ...

**2**

votes

**1**answer

135 views

### How do we know the map is $w^{*}$-continuous?

I am reading a paper by David Blecher, which contains the following:
" If $T: Y \to Z$ is a surjective isometric module map between $W^{*}$-modules over $M$, then $T$ is unitary. Also, $T$ is a $w^{*}...

**2**

votes

**0**answers

120 views

### Integral representation of the complex homogeneous polynomial $z_1\cdots z_n$

Consider the transform (see e.g., (5.1) in this paper):
\begin{equation*}
\Lambda_\mu(q)(z) := \int_{\Delta_n} q(\zeta)\,\Re\left(\frac{1+\langle\zeta,z\rangle}{1-\langle\zeta,z\rangle}\right)d\mu(\...

**0**

votes

**0**answers

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

**4**

votes

**1**answer

183 views

### An inequality for Fuchsian groups?

Let $G$ be a finitely generated Fuchsian group.
(i.e. a discrete subgroup of $\mathrm{PSL}_2(\mathbb{R})$).
Is it true that $d(G) < 2\beta_{2}^1(G) + 1$ ?
Here, $\beta_{2}^1(G)$ stands for ...

**2**

votes

**1**answer

89 views

### Approximation of the central support

Let $(M,\tau)$ be a tracial von Neumann algebra, i.e.
a unital subalgebra $M=M''\subset \mathbb{B}(H)$;
a finite (faithful) trace $\tau: M\to \mathbb{C}$ (faithful means that $\tau(x^*x)=0$ ...

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

**8**

votes

**2**answers

168 views

### States and left ideals

Given a nontrivial left ideal $J$ of a unital $C^*$ algebra $A$, is there a state on $A$ which vanishes on all elements of $J$? (Left or right doesn't matter, just not 2-sided.)
The problem came ...

**4**

votes

**0**answers

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

**1**

vote

**1**answer

100 views

### Comparison between spectra

Let $G$ be a normal operator with compact resolvent on a Hilbert space $H$ such that ${\rm ker}(G) \neq {0}$. Further let $P$ be the orthogonal projection onto ${\rm ker}(G)$, and let $G_{0}:=G+P$.
...

**3**

votes

**0**answers

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

**4**

votes

**1**answer

227 views

### A question on complex line bundle over $S^{2}$

Consider the trivial bundle $\epsilon_{2}=S^{2}\times \mathbb{C}^{2}$ with the standard Hermitian inner product $<(a,b), (c,d)>=a\bar{c}+b\bar{d}$.
Assume that $\ell$ is a sub line bundle of ...

**12**

votes

**1**answer

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

**4**

votes

**0**answers

182 views

### Discrete groups G whose full C*-algebra C*(G) is not MF?

This is a cheap rip-off of this question, but I am genuinely interested in an answer.
Is there a known example of a countable discrete group G whose full group C*-algebra C*(G) is not MF?
Let us ...

**3**

votes

**0**answers

118 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

512 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

211 views

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

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

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

**11**

votes

**1**answer

261 views

### Are free positive operators equivalent to almost-commuting operators?

Set $A:=C_0((0,1]) * C_0((0,1])$ (the free product C*-algebra), with canonical generators $a,b$ (positive contractions). Does there exists some $\gamma>0$ such that, for any $x,y \in A$ if $x^*x=a$ ...

**4**

votes

**1**answer

88 views

### second dual of minimal tensor products of $C^*$-algebras

Let $A$ be a unital $C^*$-algebras and $K(H)$ is $C^*$-algebras of compact operators on separable Hilbert space $H$. Is it true that $(A \otimes K(H))^{**}= A^{**} \overline{\otimes}B(H)$?

**6**

votes

**1**answer

188 views

### Fundamental class in $KO[1/2]$

Let $M^m$ be an oriented Riemannian manifold.
The signature operator associates to $M$ a class $\Delta_M\in KO_m(M)[1/2]$.
I have two questions about this class $\Delta_M$:
Rationally, $\Delta_M$ is ...

**5**

votes

**1**answer

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

**9**

votes

**2**answers

299 views

### Groups without property (T) but all finite quotients are expanders

What is an example of a group $G$ which
1- is finitely generated by $S$,
2- does not have property (T),
3- admits infinitely many finite quotients which do not factor through an homomorphism $G \...

**12**

votes

**1**answer

216 views

### Equivariant Fredholm operators classify equivariant K-theory

Let $\mathcal{F}$ be the space of Fredholm operators on a separable Hilbert space $H$ with the topology induced by the operator norm.
If $X$ is compact,
Atiyah-Jänich proved that
$$[X,\mathcal{F}]\...

**3**

votes

**1**answer

95 views

### Existence of free operators, independent and with given distributions

Excuse me if the question is not appropriate for Mathoverflow. I havs asked it in math.stackexchange, but did not get any response. And so, I dared to put it here. I am trying to learn free ...

**3**

votes

**0**answers

138 views

### Deformation and Representations

Let $\widetilde{U_q(sl_n)}$ denote a deformation of the algebra $U_q(sl_n)$. In particular, $\widetilde{U_q(sl_n)}$ is defined by the same generators and relations and $*$-operations as $U_q(sl_n)$ ...

**10**

votes

**2**answers

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

**11**

votes

**1**answer

249 views

### q-Virasoro and q-Heisenberg algebras

The literature has definitions (seemingly plural, though they might be linked) of a $q$-deformed Virasoro algebra. But is there any link of these to a $q$-deformed Heisenberg algebra? (Classically ...

**3**

votes

**0**answers

46 views

### Isometric domain of a unital completely positive map with respect to $L_p$-norms

This question can be formulated for general ($\sigma$-finite) von Neumann algebras, but for me it is enough to consider matrix algebras.
So let $M$ be a matrix algebra and $\rho$ a faithful state (...

**11**

votes

**0**answers

341 views

### Sums of squares via semidefinite programming for the complex free group algebra

In the algebra of real noncommutative polynomials (the “free monoid algebra” over the real field) it is possible to reduce the question of whether an element is a sum of hermitian squares and ...

**15**

votes

**2**answers

560 views

### formula for Eta invariant

Hirzebruch's signature formula is not valid for manifolds with boundary.
An error term is introduced by Atiyah-Patodi-Singer to fix it.More precisely:
$$sign (M)=L(M)[M]+\eta(\partial M)$$
Yet ...

**3**

votes

**2**answers

602 views

### Banach algebraic proof of the Borsuk Ulam theorem

I am wondering whether there exists a proof of the classical Borsuk Ulam theorem
for the Euclidean n-sphere, $n>2$ that is based only on the theory
of Banach algebras. I checked on MR but had no ...

**7**

votes

**0**answers

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

**3**

votes

**0**answers

191 views

### Infinite number of non-isomorphic von Neumann algebras with property Gamma?

A II$_1$ factor $\mathcal M$ with trace $\tau$ has property Gamma if for every $\epsilon > 0$ and finite set $\{x_1,\cdots, x_n\} \subset \mathcal M$ there exists a trace 0 unitary element $y\in\...

**3**

votes

**1**answer

103 views

### Point-ultraweak limit of *-homomorphisms/cpc order zero maps

Suppose we have the following:
A C*-algebra $A$ and a von Neumann algebra $M$ (we can assume that $M$ is $\mathcal B(H)$).
A sequence of *-homomorphisms $\phi_i\colon A\to M$
an ultrafilter $\...

**3**

votes

**1**answer

143 views

### What are the applications of the depth 2 reduction to the subfactors theory?

Let $(N \subset M)$ be an irreducible finite depth ($>2$) finite index inclusion of hyperfinite ${\rm II}_1$ factors, then for $n$ sufficiently large the subfactor $(N \subset M_n)$ is depth $2$ (...

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

**8**

votes

**2**answers

293 views

### Complete regularity in C*-algebras

It is clear that commutative C*-algebras correspond to locally compact Hausdorff spaces. And locally compact Hausdorff spaces are completely regular. Now, does the complete regularity statement have ...

**5**

votes

**1**answer

171 views

### Kernel of the natural map between group $C^*$-algebras

Let $\Gamma$ be a discrete group. We can form two $C^*$-algebras: the universal (or full) and reduced, to be denoted by $C^*_u(\Gamma)$ and $C^*_r(\Gamma)$ (respectively). Both of them are completions ...

**7**

votes

**2**answers

201 views

### An extension of $K$-theory to topological $^*$-algebras

What I have in mind is the following: a (sequence of) functor(s) $K_\bullet$ on the category of topological $^*$-algebras (with values in the category of commutative groups) that satisfies (among ...

**4**

votes

**1**answer

232 views

### Fredholm subvector spaces of $B(\mathcal{H})$

Let $\mathcal{H}$ be a separable Hilbert space with orthonormal base $\{e_i\}\;\;i\in \mathbb{N}$.
Definition: We say a subvector space $W\subset B(\mathcal{H})$ is a Fredholm subspace if ...

**6**

votes

**1**answer

510 views

### An equivalence relation on the space of polynomials in one complex variable

Let $P(z)$ be a polynomial with complex variable $z$. We consider the following distribution for the roots of $P(z)=0$: the distribution is a triple $(n_{1},n_{2},n_{3})$
where these integers are ...

**5**

votes

**0**answers

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

**10**

votes

**2**answers

613 views

### Schur's Lemma for Hilbert spaces

Let $H$ be a complex Hilbert space and let a group $G$ act on $H$ such that there are no invariant closed subspaces besides $H$ and $(0)$. Let $D$ be the ring of bounded operators which commute with ...

**7**

votes

**1**answer

365 views

### Fredholm operators in $K$-theory?

Do Fredholm operators show up in K-theory? Why or why not? The idea of infinite Grassmannians classifying vector bundles is pretty straightforward, but why would adding in additive inverses and what ...

**16**

votes

**2**answers

482 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(\...