3
$\begingroup$

Let $A$ be a $C^*$-algebra. An extension of $A$ by the compact operators $K$ is an embedding $\epsilon$ of $A$ into the Calkin algebra $B(H)/K$.

Two embeddings $\epsilon_1$ and $\epsilon_2$ are weakly equivalent if $\;u \epsilon_1 (\cdot)u^* = \epsilon_2(\cdot)$ for some unitary $u \in B(H)/K$ and strongly equivalent if $u$ has a unitary lift to $B(H)$.

Question Apparently weak equivalence classes are strictly larger in general.

  • Is there an obvious $K$-theoretic reason for this? In particular, does the unitary group of the Calkin algebra has something to do with this?

  • Strong and weak equivalence are the same for abelian $A$. What makes abelian algebras special here?

$\endgroup$
0

1 Answer 1

4
$\begingroup$

Let $C(H) = B(H)/K(H)$ be the Calkin algebra.

Apparently weak equivalence classes are strictly larger in general.

Yes, the easiest example will be $A = C(H)$ with $\epsilon_1: C(H) \to C(H)$ the identity map and $\epsilon_2: x \mapsto s^*xs$ where $s \in C(H)$ is the image of a unilateral shift $S \in B(H)$. These are weakly equivalent since $s$ is a unitary in $C(H)$, but they aren't strongly equivalent. We can see this because if they were then there would be a unitary $u \in C(H)$ that comes from a unitary $U \in B(H)$ such that $s^*xs = u^*xu$ for all $x \in C(H)$. That is, $su^*$ would commute with everything in $C(H)$. This would mean that $SU^*$ commutes modulo the compacts with everything in $B(H)$. But $SU^*$ is an isometry from $H$ onto a codimension one subspace of $H$, and it's easy to find an operator whose commutator with it isn't compact. (Use the Wold decomposition.)

Is there an obvious K-theoretic reason for this? In particular, does the unitary group of the Calkin algebra has something to do with this?

Here is a good way to think about it. We have a C*-algebra $A$ sitting inside $C(H)$ and a unitary $s \in C(H)$, and we want a unitary $u \in C(H)$ that comes from a unitary in $B(H)$ such that $s^*xs = u^*xu$ for all $x \in A$. That is, we want $su^*$ to commute with $A$.

The unitary group of $C(H)$ has connected components indexed by $\mathbb{Z}$. The index $0$ component consists of the unitaries which come from unitaries in $B(H)$. For general $n$, the index $n$ component consists of the unitaries which come from partial isometries in $B(H)$ whose Fredholm index is $n$. A little thought now shows that finding $u$ with index $0$ such that $su^*$ commutes with $A$ is equivalent to finding a unitary in $C(H)$ with the same index as $s$ that commutes with $A$. So the question is whether $A$ has unitaries with arbitrary index in its commutant.

Strong and weak equivalence are the same for abelian $A$.

I don't think this is true, though. Let $A = l^\infty/c_0$, realized as the image of $l^\infty \subset B(l^2)$ in $C(l^2)$ under the projection from $B(l^2)$ onto $C(l^2)$. By an old result of Johnson and Parrott ("Operators commuting with a von Neumann algebra modulo the set of compact operators", J. Funct. Anal. 11 (1972), 39-61), $A$ is maximal abelian in $C(H)$, so any unitary in its commutant already belongs to $A$. But every element of $A$ has index $0$, since $A$ is the image of an abelian subalgebra of $B(H)$, and every abelian subalgebra contains only normal operators which all have index $0$. So $A$ is an abelian subalgebra of $C(H)$ which does not have unitaries with arbitrary index in its commutant.

I suspect that for every separable C*-algebra strong and weak equivalence are the same: you can find unitaries of arbitrary index which commute with any given separable subalgebra of $C(H)$. But I don't see a really easy way to show that.

$\endgroup$
2
  • $\begingroup$ Some of the $K(H)$'s should be $C(H)$'s? $\endgroup$
    – Michael
    Commented Nov 13, 2014 at 7:23
  • $\begingroup$ Ah, right. Corrected. $\endgroup$
    – Nik Weaver
    Commented Nov 13, 2014 at 11:23

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .