Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userThe Ramsey property for Operator spaces and noncommutative Choquet simplices
201
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
The noncommutative Gurarij space $mathbb{mathbb{mathbb{NG}}}$, initially defined by Oikhberg, is a canonical object in the theory of operator spaces. As the Fra{i}ss{e} limit of the class of finite-dimensional nuclear operator spaces, it can be seen as the noncommutative analogue of the classical Gurarij Banach space. In this paper, we prove that the automorphism group of $mathbb{mathbb{NG}}$ is extremely amenable, i.e. any of its actions on compact spaces has a fixed point. The proof relies on the Dual Ramsey Theorem, and a version of the Kechris--Pestov--Todorcevic correspondence in the setting of operator spaces. Recent work of Davidson and Kennedy, building on previous work of Arveson, Effros, Farenick, Webster, and Winkler, among others, shows that nuclear operator systems can be seen as the noncommutative analogue of Choquet simplices. The analogue of the Poulsen simplex in this context is the matrix state space $mathbb{NP}$ of the Fra{i}ss{e} limit $A(mathbb{NP})$ of the class of finite-dimensional nuclear operator systems. We show that the canonical action of the automorphism group of $mathbb{NP}$ on the compact set $mathbb{NP}_1$ of unital linear functionals on $A(mathbb{NP})$ is minimal and it factors onto any minimal action, whence providing a description of the universal minimal flow of textrm{Aut}$left( mathbb{NP}% right) $.
rate research
Read More
We show that the Gurarij space $mathbb{G}$ has extremely amenable automorphism group. This answers a question of Melleray and Tsankov. We also compute the universal minimal flow of the automorphism group of the Poulsen simplex $mathbb{P}$ and we prove that it consists of the canonical action on $mathbb{P}$ itself. This answers a question of Conley and T{o}rnquist. We show that the pointwise stabilizer of any closed proper face of $mathbb{P}$ is extremely amenable. Similarly, the pointwise stabilizer of any closed proper biface of the unit ball of the dual of the Gurarij space (the Lusky simplex) is extremely amenable. These results are obtained via several Kechris-Pestov-Todorcevic correspondences, by establishing the approximate Ramsey property for several classes of finite-dimensional Banach spaces and function systems and thei
We introduce a notion of noncommutative Choquet simplex, or briefly an nc simplex, that generalizes the classical notion of a simplex. While every simplex is an nc simplex, there are many more nc simplices. They arise naturally from C*-algebras and in noncommutative dynamics. We characterize nc simplices in terms of their geometry and in terms of structural properties of their corresponding operator systems. There is a natural definition of nc Bauer simplex that generalizes the classical definition of a Bauer simplex. We show that a compact nc convex set is an nc Bauer simplex if and only if it is affinely homeomorphic to the nc state space of a unital C*-algebra, generalizing a classical result of Bauer for unital commutative C*-algebras. We obtain several applications to noncommutative dynamics. We show that the set of nc states of a C*-algebra that are invariant with respect to the action of a discrete group is an nc simplex. From this, we obtain a noncommutative ergodic decomposition theorem with uniqueness. Finally, we establish a new characterization of discrete groups with Kazhdans property (T) that extends a result of Glasner and Weiss. Specifically, we show that a discrete group has property (T) if and only if for every action of the group on a unital C*-algebra, the set of invariant states is affinely homeomorphic to the state space of a unital C*-algebra.
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 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.
We define a relation < for dual operator algebras. We say that B < A if there exists a projection p in A such that B and pAp are Morita equivalent in our sense. We show that < is transitive, and we investigate the following question: If A < B and B < A, then is it true that A and B are stably isomorphic? We propose an analogous relation < for dual operator spaces, and we present some properties of < in this case.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
