Do you want to publish a course? Click here

Nonunital operator systems and noncommutative convexity

80   0   0.0 ( 0 )
 Added by Matthew Kennedy
 Publication date 2021
  fields
and research's language is English




Ask ChatGPT about the research

We establish the dual equivalence of the category of (potentially nonunital) operator systems and the category of pointed compact nc (noncommutative) convex sets, extending a result of Davidson and the first author. We then apply this dual equivalence to establish a number of results about operator systems, some of which are new even in the unital setting. For example, we show that the maximal and minimal C*-covers of an operator system can be realized in terms of the C*-algebra of continuous nc functions on its nc quasistate space, clarifying recent results of Connes and van Suijlekom. We also characterize C*-simple operator systems, i.e. operator systems with simple minimal C*-cover, in terms of their nc quasistate spaces. We develop a theory of quotients of operator systems that extends the theory of quotients of unital operator algebras. In addition, we extend results of the first author and Shamovich relating to nc Choquet simplices. We show that an operator system is a C*-algebra if and only if its nc quasistate space is an nc Bauer simplex with zero as an extreme point, and we show that a second countable locally compact group has Kazhdans property (T) if and only if for every action of the group on a C*-algebra, the set of invariant quasistates is the quasistate space of a C*-algebra.



rate research

Read More

We use Arvesons notion of strongly peaking representation to generalize uniqueness theorems for free spectrahedra and matrix convex sets which admit minimal presentations. A fully compressed separable operator system necessarily generates the C*-envelope and is such that the identity is the direct sum of strongly peaking representations. In particular, a fully compressed presentation of a separable operator system is unique up to unitary equivalence. Under various additional assumptions, minimality conditions are sufficient to determine a separable operator system uniquely.
We study subproduct systems in the sense of Shalit and Solel arising from stochastic matrices on countable state spaces, and their associated operator algebras. We focus on the non-self-adjoint tensor algebra, and Viselters generalization of the Cuntz-Pimsner C*-algebra to the context of subproduct systems. Suppose that $X$ and $Y$ are Arveson-Stinespring subproduct systems associated to two stochastic matrices over a countable set $Omega$, and let $mathcal{T}_+(X)$ and $mathcal{T}_+(Y)$ be their tensor algebras. We show that every algebraic isomorphism from $mathcal{T}_+(X)$ onto $mathcal{T}_+(Y)$ is automatically bounded. Furthermore, $mathcal{T}_+(X)$ and $mathcal{T}_+(Y)$ are isometrically isomorphic if and only if $X$ and $Y$ are unitarily isomorphic up to a *-automorphism of $ell^infty(Omega)$. When $Omega$ is finite, we prove that $mathcal{T}_+(X)$ and $mathcal{T}_+(Y)$ are algebraically isomorphic if and only if there exists a similarity between $X$ and $Y$ up to a *-automorphism of $ell^infty(Omega)$. Moreover, we provide an explicit description of the Cuntz-Pimsner algebra $mathcal{O}(X)$ in the case where $Omega$ is finite and the stochastic matrix is essential.
We introduce a new and extensive theory of noncommutative convexity along with a corresponding theory of noncommutative functions. We establish noncommutative analogues of the fundamental results from classical convexity theory, and apply these ideas to develop a noncommutative Choquet theory that generalizes much of classical Choquet theory. The central objects of interest in noncommutative convexity are noncommutative convex sets. The category of compact noncommutative sets is dual to the category of operator systems, and there is a robust notion of extreme point for a noncommutative convex set that is dual to Arvesons notion of boundary representation for an operator system. We identify the C*-algebra of continuous noncommutative functions on a compact noncommutative convex set as the maximal C*-algebra of the operator system of continuous noncommutative affine functions on the set. In the noncommutative setting, unital completely positive maps on this C*-algebra play the role of representing measures in the classical setting. The continuous convex noncommutative functions determine an order on the set of unital completely positive maps that is analogous to the classical Choquet order on probability measures. We characterize this order in terms of the extensions and dilations of the maps, providing a powerful new perspective on the structure of completely positive maps on operator systems. Finally, we establish a noncommutative generalization of the Choquet-Bishop-de Leeuw theorem asserting that every point in a compact noncommutative convex set has a representing map that is supported on the extreme boundary. In the separable case, we obtain a corresponding integral representation theorem.
We consider the reduction of problems on general noncommutative $L_p$-spaces to the corresponding ones on those associated with finite von Neumann algebras. The main tool is a unpublished result of the first named author which approximates any noncommutative $L_p$-space by tracial ones. We show that under some natural conditions a map between two von Neumann algebras extends to their crossed products by a locally compact abelian group or to their noncommutative $L_p$-spaces. We present applications of these results to the theory of noncommutative martingale inequalities by reducing most recent general noncommutative martingale/ergodic inequalities to those in the tracial case.
Let $A$ be a finite subdiagonal algebra in Arvesons sense. Let $H^p(A)$ be the associated noncommutative Hardy spaces, $0<ple8$. We extend to the case of all positive indices most recent results about these spaces, which include notably the Riesz, Szego and inner-outer type factorizations. One new tool of the paper is the contractivity of the underlying conditional expectation on $H^p(A)$ for $p<1$.
comments
Fetching comments Fetching comments
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا