English

A non-diagonalizable pure state

Operator Algebras 2022-05-25 v3 Functional Analysis Logic

Abstract

We construct a pure state on the C*-algebra B(2)\mathcal B(\ell_2) of all bounded linear operators on 2\ell_2 which is not diagonalizable, i.e., it is not of the form limuT(ek),ek\lim_u\langle T(e_k), e_k\rangle for any orthonormal basis (ek)kN(e_k)_{k\in \mathbb N} of 2\ell_2 and an ultrafilter uu on N\mathbb N. This constitutes a counterexample to Anderson's conjecture without additional hypothesis and improves results of C. Akemann, N. Weaver, I. Farah and I. Smythe who constructed such states making additional set-theoretic assumptions. It follows from results of J. Anderson and the positive solution to the Kadison-Singer problem due to A. Marcus, D. Spielman, N. Srivastava that the restriction of our pure state to any atomic masa D((ek)kN)D((e_k)_{k\in \mathbb N}) of diagonal operators with respect to an orthonormal basis (ek)kN(e_k)_{k\in \mathbb N} is not multiplicative on D((ek)kN)D((e_k)_{k\in \mathbb N}).

Cite

@article{arxiv.2002.05230,
  title  = {A non-diagonalizable pure state},
  author = {Piotr Koszmider},
  journal= {arXiv preprint arXiv:2002.05230},
  year   = {2022}
}

Comments

Some typos corrected and more remarks added at the end

R2 v1 2026-06-23T13:40:08.763Z