• 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 Krein-Milman 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 case-by-case 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 lattice-ordered 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 non-injective 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 non-abelian 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 2-cocycles 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 point-based than that of Feldman-Moore. 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 Bures-closed 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 non-atomic, 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 weakly-closed nonself-adjoint algebras arising from representations of single vertex 2-graphs. These are the algebras generated by 2 isometric tuples which satisfy a certain commutation relation. We show that these algebras have a lower-triangular $3\times 3$ form. The left-hand side of this matrix decomposition is a slice of the enveloping von Neumann algebra generated by the 2-graph 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.