A non-diagonalizable pure state
Abstract
We construct a pure state on the C*-algebra of all bounded linear operators on which is not diagonalizable, i.e., it is not of the form for any orthonormal basis of and an ultrafilter on . 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 of diagonal operators with respect to an orthonormal basis is not multiplicative on .
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