English

An extension of compact operators by compact operators with no nontrivial multipliers

Operator Algebras 2018-09-05 v3 Functional Analysis General Topology Logic

Abstract

We construct an essential extension of K(2(c))\mathcal K(\ell_2({\mathfrak{c}})) by K(2)\mathcal K(\ell_2), where c{\mathfrak{c}} denotes the cardinality of continuum, i.e., a CC^*-algebra AB(2)\mathcal A\subseteq \mathcal B(\ell_2) satisfying the short exact sequence 0K(2)ιAK(2(c))0,0\rightarrow \mathcal K(\ell_2)\xrightarrow{\iota} \mathcal A \rightarrow\mathcal K(\ell_2({\mathfrak{c}}))\rightarrow 0, where ι[K(2)]\iota[\mathcal K(\ell_2)] is an essential ideal of A\mathcal A such that the algebra of multipliers M(A)\mathcal M(\mathcal A) of A\mathcal A is equal to the unitization of A\mathcal A. In particular A\mathcal A is not stable which sheds light on permanence properties of the stability in the nonseparable setting. Namely, an extension of a nonseparable algebra of compact operators, even by K(2)\mathcal K(\ell_2), does not have to be stable. This construction can be considered as a noncommutative version of Mr\'owka's Ψ\Psi-space; a space whose one point compactification equals to its Cech-Stone compactification and is induced by a special uncountable family of almost disjoint subsets of N{\mathbb{N}}. The role of the almost disjoint family is played by an almost orthogonal family of projections in B(2)\mathcal B(\ell_2), but the almost matrix units corresponding to the matrix units in K(2(c))\mathcal K(\ell_2({\mathfrak{c}})) must be constructed with extra care. This example may also contribute in the future to our understanding of the semigroups Ext(K(2(κ)))Ext(\mathcal K(\ell_2({\kappa}))) for ω1κc\omega_1\leq \kappa\leq\mathfrak{c} which are unexplored at the moment.

Keywords

Cite

@article{arxiv.1609.04766,
  title  = {An extension of compact operators by compact operators with no nontrivial multipliers},
  author = {Saeed Ghasemi and Piotr Koszmider},
  journal= {arXiv preprint arXiv:1609.04766},
  year   = {2018}
}

Comments

Cosmetic and final changes compared to the previous version. Accepted to Journal of Noncommutative Geometry