
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 normallike
features, are studied. Such operators include normal operators, knormal
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 tracepreserving 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 SchurHorn 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
secondorder 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
KaplanskyHilbert module over the abelian AW*algebra C(Delta). We then use
the description of the injective envelope of A to study the first and
secondorder local multiplier algebras of A. In particular, we show that the
secondorder 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
socalled "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 selfadjoint operators that extends
those of Kamei (for single selfadjoint 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.