**3**

votes

**0**answers

116 views

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

Edit: According to the comment of Qiaochu Yuan I realize that $\mathbb{C}^{2}$ is a counter example. So I add the assumption "simplicity" to this edited version
Note: In this post, the cyclic ...

**4**

votes

**0**answers

60 views

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

Set $A:=C_0((0,1]) * C((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

56 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

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

**4**

votes

**1**answer

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

**7**

votes

**1**answer

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

**9**

votes

**1**answer

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

**2**

votes

**1**answer

77 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

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

**8**

votes

**2**answers

234 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

169 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

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

**10**

votes

**0**answers

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

**12**

votes

**2**answers

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

**4**

votes

**0**answers

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

**2**

votes

**0**answers

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

**3**

votes

**1**answer

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

**2**

votes

**1**answer

110 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

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

**3**

votes

**1**answer

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

**4**

votes

**1**answer

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

**4**

votes

**1**answer

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

**1**

vote

**0**answers

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

**4**

votes

**0**answers

168 views

### An equivalent 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 ...

**4**

votes

**0**answers

207 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

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

**6**

votes

**1**answer

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

**15**

votes

**2**answers

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

**2**

votes

**0**answers

111 views

### Rank–nullity theorem for finite von Neumann algebras

The rank-nullity theorem states that for $U, V$ finite dimensional vector spaces and $T:U \to V$ a linear map $$\dim(U) = \dim(im(T)) + \dim(ker(T)) $$
Let $M \subset B(H) $ be a finite von Neumann ...

**4**

votes

**2**answers

389 views

### $C^{*}$ algebras which do not admit nontrivial idempotent morphism

In this question which I flag it as a community wiki, I search for a big list of $C^{*}$ algebras(and a big list of criterions) which do not admit a non trivial idempotent $C^{*}-$morphism.
I ...

**1**

vote

**1**answer

121 views

### Faithul map and (minimal) tensor product of $C^*$-algebras

Let $f$ be a faithful state on a $C^*$-algebra $A$, i.e. $f(a^*a)=0$ implies $a=0$. in general, call a mapping $T:A \to B$ between $C^*$-algebras faithful if $T(a^*a)=0$ implies $a=0$. How to prove ...

**1**

vote

**1**answer

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

**3**

votes

**1**answer

150 views

### A relative property gamma and $L(\mathbb F_2)$

Given any unital non-commutative subalgebra $\mathcal M$ of $L(\mathbb F_2)$ is it true that $\mathcal M' \bigcap L(\mathbb F_2)^\mathcal U = \mathbb C I$ for any free ultrafilter $\mathcal U$?

**0**

votes

**0**answers

63 views

### An equality for the trace of the join of a non-degenerate indecomposable system of projections in a finite factor

Let $M \subset B(H)$ be a finite factor (see for example here p2, or there) with a trace $tr$.
The subset of projections of $M$ is naturally a lattice, noted $(\mathcal{P}(M), \wedge, \vee)$.
A ...

**20**

votes

**2**answers

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

**5**

votes

**1**answer

445 views

### A problem in functional calculus

This is embarrassing, I think it must work, but I can't see how to prove it works. If anyone knows enough functional calculus of operators on a Hilbert space to tell me how to do it, I would be very ...

**1**

vote

**0**answers

42 views

### Is 6 the smallest index for an irreducible subfactor to have a principal graph with a multiplicity >1 edge?

The irreducible subfactor $(R^{S_3} \subset R)$, of index $6$, admits a principal graph with a multiplicity $2$ edge because the group $S_3$ admits an irreducible complex representation of dimension ...

**0**

votes

**0**answers

84 views

### Cuntz comparison of strictly positive elements in finite C*-algebras

Let $A$ be a finite, non-unital C*-algebra, $s\in A$ a strictly positive element and $a\in A$ a positive element that is Cuntz-equivalent to $s$, i.e. there exist sequences $\{x_n\},\{y_n\}\subset A$ ...

**4**

votes

**1**answer

237 views

### reference request: direct product of WOT-continuous unitary representations

In an article I'm revising, I spend some time giving a self-contained proof of the following result
Let $G$ be a (Hausdorff) topological group and let $(\pi_i)$ be a family of unitary ...

**1**

vote

**1**answer

165 views

### Mysterious central projections in the full group $C^*$-algebra

Let me quote the following theorem about the structure of $C^*(G)$ for property $T$ group (the reference is Higson and Roe "Analitycal K-homology"):
Let $G$ be a property $T$ (discrete) ...

**11**

votes

**1**answer

166 views

### positive not completely positive maps

In extension to this question
Positive but not completely positive?
I'd like to know, for $k>1$, examples of $k$-positive linear maps of a matrix algebra into itself that are not $k+1$-positive. ...

**4**

votes

**1**answer

135 views

### Stinespring's dilation without $C^{\ast}$-algebras

Does Stinespring's dilation theorem hold if the algebra of interest is a topological $\ast$-algebra instead of the usual $C^{\ast}$-algebra?
I will now state the version of Stinespring's dilation ...

**5**

votes

**0**answers

151 views

### Non-linear positive map

In the paper titled "Nonlinear completely positive maps" M. D. Choi and T. Ando extended natural definition of completely positive maps ignoring the linearity condition (Aspects of positivity in ...

**2**

votes

**2**answers

218 views

### Commutative von Neumann algebras and localizable measure spaces

This is not my subject so I apologize if my question is too obvious or understood from other pages.
I read some pages such as
Reference for the Gelfand-Neumark theorem for commutative von Neumann ...

**5**

votes

**1**answer

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

**2**

votes

**1**answer

101 views

### Tomita Takesaki theory and boundeness of $S$

Let $M$ be a von Neumann algebra, $\xi$-separating and cyclic vector for $M$. Let $S$ be antilinear operator acting as $x \xi \mapsto x^* \xi$ where $x \in M$. Then one can show that $S$ is closable ...

**4**

votes

**1**answer

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

**1**

vote

**3**answers

121 views

### Extending GUE to a measure on operators?

Let $\mathcal H_n$ denote the space of Hermitian $n\times n$ matrices and let $\mu_{GUE}$ denote the following measure on $\mathcal H_n$:
$$
\mu_{GUE}(dM) = \exp\left( -\frac{n}{2}\text{tr}\ ...

**0**

votes

**1**answer

193 views

### Chinese remainder theorem for cyclic subfactor planar algebras

This post was inspired by an exchange with the indian woman mathematician Ajit Iqbal Singh.
The chinese remainder theorem can be stated as follows:
Let $n_1, \dots, n_r \ge 2$ be positive integers ...

**0**

votes

**0**answers

49 views

### A constraint on the indices of irreducible finite depth subfactors

Let $(A \subset B)$ and $(C \subset D)$ be two finite index finite depth irreducible subfactors.
Question: Is it true that $[B:A] \cdot [D:C]$ is an integer iff $[B:A]$ and $[D:C]$ are integers?
...