
We initiate the study of matrix convexity for operator spaces. We define the
notion of compact rectangular matrix convex set, and prove the natural analogs
of the KreinMilman and the bipolar theorems in this context. We deduce a
canonical correspondence between compact rectangular matrix convex sets and
operator spaces. We also introduce the notion of boundary representation for an
operator space, and prove the natural analog of Arveson's conjecture: every
operator space is completely normed by its boundary representations. This
yields a canonical construction of the triple envelope of an operator space.

We examine the semicrossed products of a semigroup action by
$*$endomorphisms on a C*algebra, or more generally of an action on an
arbitrary operator algebra by completely contractive endomorphisms. The choice
of allowable representations affects the corresponding universal algebra. We
seek quite general conditions which will allow us to show that the C*envelope
of the semicrossed product is (a full corner of) a crossed product of an
auxiliary C*algebra by a group action.
Our analysis concerns a casebycase dilation theory on covariant pairs. In
the process we determine the C*envelope for various semicrossed products of
(possibly nonselfadjoint) operator algebras by spanning cones and
latticeordered abelian semigroups.
In particular, we show that the C*envelope of the semicrossed product of
C*dynamical systems by doubly commuting representations of $\mathbb{Z}^n_+$
(by generally noninjective endomorphisms) is the full corner of a C*crossed
product. In consequence we connect the ideal structure of C*covers to
properties of the actions. In particular, when the system is classical, we show
that the C*envelope is simple if and only if the action is injective and
minimal.
The dilation methods that we use may be applied to nonabelian semigroups. We
identify the C*envelope for actions of the free semigroup $\mathbb{F}_+^n$ by
automorphisms in a concrete way, and for injective systems in a more abstract
manner. We also deal with C*dynamical systems over Ore semigroups when the
appropriate covariance relation is considered.

In the 1970s, Feldman and Moore classified separably acting von Neumann
algebras containing Cartan MASAs using measured equivalence relations and
2cocycles on such equivalence relations. In this paper, we give a new
classification in terms of extensions of inverse semigroups. Our approach is
more algebraic in character and less pointbased than that of FeldmanMoore. As
an application, we give a restatement of the spectral theorem for bimodules in
terms of subsets of inverse semigroups. We also show how our viewpoint leads
naturally to a description of maximal subdiagonal algebras.

Semicrossed product algebras have been used to study dynamical systems since
their introduction by Arveson in 1967. In this survey article, we discuss the
history and some recent work, focussing on the conjugacy problem, dilation
theory and C*envelopes, and some connections back to the dynamics

For i=1,2, let (M_i,D_i) be pairs consisting of a Cartan MASA D_i in a von
Neumann algebra M_i, let atom(D_i) be the set of atoms of D_i, and let S_i be
the lattice of Buresclosed D_i bimodules in M_i. We show that when M_i have
separable preduals, there is a lattice isomorphism between S_1 and S_2 if and
only if the sets {(Q_1, Q_2) \in atom(D_i) x atom(D_i): Q_1 M_i Q_2 \neq (0)}
have the same cardinality. In particular, when D_i is nonatomic, S_i is
isomorphic to the lattice of projections in L^\infty([0,1],m) where m is
Lebesgue measure, regardless of the isomorphism classes of M_1 and M_2.

We study the structure of weaklyclosed nonselfadjoint algebras arising from
representations of single vertex 2graphs. These are the algebras generated by
2 isometric tuples which satisfy a certain commutation relation. We show that
these algebras have a lowertriangular $3\times 3$ form. The lefthand side of
this matrix decomposition is a slice of the enveloping von Neumann algebra
generated by the 2graph algebra. We further give necessary and sufficient
conditions for these algebras themselves to be von Neumann algebras. The paper
concludes with further study of atomic representations.

An $n$tuple of operators $(V_1,...,V_n)$ acting on a Hilbert space $H$ is
said to be isometric if the row operator $(V_1,...,V_n) : H^n \to H$ is an
isometry. We prove that every isometric $n$tuple is hyperreflexive, in the
sense of Arveson. For $n = 1$, the hyperreflexivity constant is at most 95. For
$n \geq 2$, the hyperreflexivity constant is at most 6.