• The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for arbitrary separable operator systems and spaces are intractable. On the other hand we show that the finitely generated operator systems and spaces are completely classifiable (or smooth); in fact a finitely generated operator system is classified by its complete theory when regarded as a structure in continuous logic. In the particular case of operator systems generated by a single unitary, a complete invariant is given by the spectrum of the unitary up to a rigid motion of the circle, provided that the spectrum contains at least 5 points. As a consequence of these results we show that the relation on compact subsets of $\mathbb{C}^{n}$, given by homeomorphism via a degree 1 polynomial, is smooth.
  • We discuss Kadison's Carpenter's Theorems in the context of majorisation, and we offer a new proof of his "Theorem 15", that characterizes the set of diagonals of orthogonal projections.
  • We determine the boundary representations and the C*-envelope of operator systems of the form span{I,T,T*}, where T is a Jordan operator.
  • The noncommutative Choquet boundary and the C*-envelope of operator systems of the form Span{1,T,T*}, where T is a Hilbert space operator with normal-like features, are studied. Such operators include normal operators, k-normal operators, subnormal operators, and Toeplitz operators. Our main result is the determination of the noncommutative Choquet boundary for an operator system generated by an irreducible periodic weighted unilateral shift operator.
  • We describe majorization between selfadjoint operators in a $\sigma$-finite II$_\infty$ factor $(\mathcal{M},\tau)$ in terms of simple spectral relations. For a diffuse abelian von Neumann subalgebra $\mathcal{A}\subset \mathcal{M}$ with trace-preserving conditional expectation $E_{\mathcal{A}}$, we characterize the closure in the measure topology of the image through $E_{\mathcal{A}}$ of the unitary orbit of a selfadjoint operator in $\mathcal{M}$ in terms of majorization (i.e., a Schur-Horn theorem). We also obtain similar results for the contractive orbit of positive operators in $\mathcal{M}$ and for the unitary and contractive orbits of $\tau$-integrable operators in $\mathcal{M}$.
  • We determine the injective envelope and local multiplier algebra of a continuous trace C*-algebra that arises from a continuous Hilbert bundle over an arbitrary locally compact Hausdorff space. In addition, we show that the second-order local multiplier algebra of any such algebra is injective.
  • A precise description of the injective envelope of a spatial continuous trace C*-algebra A over a Stonean space Delta is given. The description is based on the notion of a weakly continuous Hilbert bundle, which we show to be a Kaplansky--Hilbert module over the abelian AW*-algebra C(Delta). We then use the description of the injective envelope of A to study the first- and second-order local multiplier algebras of A. In particular, we show that the second-order local multiplier algebra of A is precisely the injective envelope of A.
  • Let M be a II_1 factor, A a masa in M and E the unique conditional expectation on A. Under some technical assumptions on the inclusion of A in M, which hold true for any semiregular masa of a separable factor, we show that for every discrete a in the positive part of the unit ball of A it is possible to find a projection p in M such that E(p)=a$. We also show an example of a diffuse operator x in A such that there exists a projection q in M with E(q)=x. These results show a new family of instances of a conjecture by Kadison, the so-called "Carpenter's Theorem".
  • We find a description of the restriction of doubly stochastic maps to separable abelian $C^*$-subalgebras of a II$_1$ factor $\cM$. We use this local form of doubly stochastic maps to develop a notion of joint majorization between $n$-tuples of mutually commuting self-adjoint operators that extends those of Kamei (for single self-adjoint operators) and Hiai (for single normal operators) in the II$_1$ factor case. Several characterizations of this joint majorization are obtained. As a byproduct we prove that any separable abelian $C^*$-subalgebra of $\cM$ can be embedded into a separable abelian $C^*$-subalgebra of $\cM$ with diffuse spectral measure.
  • Characterisations of those separable C*-algebras that have type I injective envelopes or W*-algebra injective envelopes are presented.