We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.OA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Operator Algebras

Title: A non-diagonalizable pure state

Abstract: We construct a pure state on the C*-algebra $\mathcal B(\ell_2)$ of all bounded linear operators on $\ell_2$ which is not diagonalizable, i.e., it is not of the form $\lim_u\langle T(e_k), e_k\rangle$ for any orthonormal basis $(e_k)_{k\in \mathbb N}$ of $\ell_2$ and an ultrafilter $u$ on $\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((e_k)_{k\in \mathbb N})$ of diagonal operators with respect to an orthonormal basis $(e_k)_{k\in \mathbb N}$ is not multiplicative on $D((e_k)_{k\in \mathbb N})$.
Comments: Statements of Lemma 7, Theorem 10 and Lemma 11 slightly changed to mantain the simple proof of Lemma 11 from the previous true version and point out an extra property. This causes only cosmetic changes in the proofs. Thanks to C. Akemann for pointing out this issue. Comment additions and typo corrections
Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA); Logic (math.LO)
Cite as: arXiv:2002.05230 [math.OA]
  (or arXiv:2002.05230v2 [math.OA] for this version)

Submission history

From: Piotr Koszmider [view email]
[v1] Wed, 12 Feb 2020 20:48:40 GMT (12kb)
[v2] Wed, 19 Feb 2020 11:27:25 GMT (12kb)
[v3] Tue, 17 Mar 2020 17:17:59 GMT (13kb)

Link back to: arXiv, form interface, contact.