ترغب بنشر مسار تعليمي؟ اضغط هنا

Noncommutative Choquet simplices

91   0   0.0 ( 0 )
 نشر من قبل Matthew Kennedy
 تاريخ النشر 2019
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

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.

قيم البحث

اقرأ أيضاً

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) $.
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.
A C*-dynamical system is said to have the ideal separation property if every ideal in the corresponding crossed product arises from an invariant ideal in the C*-algebra. In this paper we characterize this property for unital C*-dynamical systems over discrete groups. To every C*-dynamical system we associate a twisted partial C*-dynamical system that encodes much of the structure of the action. This system can often be untwisted, for example when the algebra is commutative, or when the algebra is prime and a certain specific subgroup has vanishing Mackey obstruction. In this case, we obtain relatively simple necessary and sufficient conditions for the ideal separation property. A key idea is a notion of noncommutative boundary for a C*-dynamical system that generalizes Furstenbergs notion of topological boundary for a group.
We provide a systematic study of a noncommutative extension of the classical Anzai skew-product for the cartesian product of two copies of the unit circle to the noncommutative 2-tori. In particular, some relevant ergodic properties are proved for th ese quantum dynamical systems, extending the corresponding ones enjoyed by the classical Anzai skew-product. As an application, for a uniquely ergodic Anzai skew-product $F$ on the noncommutative $2$-torus $ba_a$, $ainbr$, we investigate the pointwise limit, $lim_{nto+infty}frac1{n}sum_{k=0}^{n-1}l^{-k}F^k(x)$, for $xinba_a$ and $l$ a point in the unit circle, and show that there exist examples for which the limit does not exist even in the weak topology.
In this paper we study $C^*$-algebra version of Sarnak Conjecture for noncommutative toral automorphisms. Let $A_Theta$ be a noncommutative torus and $alpha_Theta$ be the noncommutative toral automorphism arising from a matrix $Sin GL(d,mathbb{Z})$. We show that if the Voiculescu-Brown entropy of $alpha_{Theta}$ is zero, then the sequence ${rho(alpha_{Theta}^nu)}_{nin mathbb{Z}}$ is a sum of a nilsequence and a zero-density-sequence, where $uin A_Theta$ and $rho$ is any state on $A_Theta$. Then by a result of Green and Tao, this sequence is linearly disjoint from the Mobius function.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

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