13
$\begingroup$

Let $H$ be a separable, infinite dimensional Hilbert Space and $Calk(H):=B(H)/K(H)$ denotes the Calkin algebra. There is obvious surjection $\pi: B(H) \to Calk(H)$ but I'm interested in somehow opposite question: is it possible to construct embedding $j_1:Calk(H) \to B(H)$? The same question for embedding $j_2:B(H) \to Calk(H)$ and finally is there epimorphism $k:Calk(H) \to B(H)$?

$\endgroup$

2 Answers 2

26
$\begingroup$

(1) No. The Calkin algebra contains an uncountable family of mutually orthogonal nonzero projections.

(2) Yes. Embed $B(H)$ into $B(H \otimes H)$ by the map $A \mapsto A \otimes I$, then pass to $Q(H\otimes H) \cong Q(H)$.

(3) No. The Calkin algebra is simple.

$\endgroup$
3
  • 7
    $\begingroup$ If you don't care about separability, then you can of course embed $Calk(H)$ into $B(H')$ for some other (non-separable) Hilbert space $H'$, because $Calk(H)$ is a C*-algebra. $\endgroup$ Jan 9, 2013 at 13:34
  • 1
    $\begingroup$ @Nik: Could you give some reference about your answer in (1)? I am interested in to read more in this subject. $\endgroup$
    – user23860
    Jan 9, 2013 at 13:51
  • 6
    $\begingroup$ @Vahid: there is an uncountable family of subsets $A$ of ${\bf N}$, any two of which have finite intersection. For each such $A$ let $P_A$ be the orthogonal projection of $l^2$ onto the sequences supported on $A$. When you pass to the Calkin algebra these become mutually orthogonal projections. $\endgroup$
    – Nik Weaver
    Jan 9, 2013 at 14:25
9
$\begingroup$

(1) One cannot embed $Q(H)$ into $B(H)$ as a Banach space either. Indeed, $Q(H)$ contains $\ell_\infty/c_0$ (as a diagonal masa). J. Bourgain gave a very clever proof of the fact that $\ell_\infty/c_0$ has no strictly convex renorming:

J. Bourgain, $\ell_\infty/c_0$ has no equivalent strictly convex norm, Proc. Amer. Math. Soc. 78 (1980), 225-226.

On the other hand, $B(H)$ is a dual space of a separable Banach space (the space of nuclear operators on $H$), so it does have a strictly convex renorming. The property of having a strictly convex renorming passes to subspaces.

$\endgroup$
3
  • 1
    $\begingroup$ There's something wrong here: The calkin algebra is a C* algebra and can therefore be embedded into a $B(\tilde{H})$ for some big enough hilbert space $\tilde{H}$. The point of the question is that one cannot take $\tilde{H}=H$. $\endgroup$ Dec 15, 2013 at 12:36
  • 1
    $\begingroup$ So that strictly convex renorming exists only in the separable case? I wasn't aware of that. $\endgroup$ Dec 15, 2013 at 12:41
  • $\begingroup$ Oh yes, if $K$ is a non-separable Hilbert space, then $B(K)$ contains $\ell_\infty(\omega_1)$ which has no strictly convex renorming by a result of Mahlon Day. $\endgroup$ Dec 15, 2013 at 12:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.