No Arabic abstract
The generalized state space $ S_{mathcal{H}}(mathcal{mathcal{A}})$ of all unital completely positive (UCP) maps on a unital $C^*$-algebra $mathcal{A}$ taking values in the algebra $mathcal{B}(mathcal{H})$ of all bounded operators on a Hilbert space $mathcal{H}$, is a $C^ast$-convex set. In this paper, we establish a connection between $C^ast$-extreme points of $S_{mathcal{H}}(mathcal{A})$ and a factorization property of certain algebras associated to the UCP map. In particular, this factorization property of some nest algebras is used to give a complete characterization of those $C^ast$-extreme maps which are direct sums of pure UCP maps. This significantly extends a result of Farenick and Zhou [Proc. Amer. Math. Soc. 126 (1998)] from finite to infinite dimensional Hilbert spaces. Also it is shown that normal $C^ast$-extreme maps on type $I$ factors are direct sums of normal pure UCP maps if and only if an associated algebra is reflexive. Further, a Krein-Milman type theorem is established for $C^ast$-convexity of the set $ S_{mathcal{H}}(mathcal{A})$ equipped with bounded weak topology, whenever $mathcal{A}$ is a separable $C^ast$-algebra or it is a type $I$ factor. As an application, we provide a new proof of a classical factorization result on operator valued Hardy algebras.
This paper introduces the notion of Rota-Baxter $C^{ast}$-algebras. Here a Rota-Baxter $C^{ast}$-algebra is a $C^{ast}$-algebra with a Rota-Baxter operator. Symmetric Rota-Baxter operators, as special cases of Rota-Baxter operators on $C^{ast}$-algebra, are defined and studied. A theorem of Rota-Baxter operators on concrete $C^{ast}$-algebras is given, deriving the relationship between two kinds of Rota-Baxter algebras. As a corollary, some connection between $ast$-representations and Rota-Baxter operators is given. The notion of representations of Rota-Baxter $C^{ast}$-algebras are constructed, and a theorem of representations of direct sums of Rota-Baxter representations is derived. Finally using Rota-Baxter operators, the notion of quasidiagonal operators on $C^{ast}$-algebra is reconstructed.
We provide a description of certain invariance properties of completely bounded bimodule maps in terms of their symbols. If $mathbb{G}$ is a locally compact quantum group, we characterise the completely bounded $L^{infty}(mathbb{G})$-bimodule maps that send $C_0(hat{mathbb{G}})$ into $L^{infty}(hat{mathbb{G}})$ in terms of the properties of the corresponding elements of the normal Haagerup tensor product $L^{infty}(mathbb{G}) otimes_{sigma{rm h}} L^{infty}(mathbb{G})$. As a consequence, we obtain an intrinsic characterisation of the normal completely bounded $L^{infty}(mathbb{G})$-bimodule maps that leave $L^{infty}(hat{mathbb{G}})$ invariant, extending and unifying results, formulated in the current literature separately for the commutative and the co-commutative cases.
We analyze the dichotomy amenable/paradoxical in the context of (discrete, countable, unital) semigroups and corresponding semigroup rings. We consider also F{o}lners type characterizations of amenability and give an example of a semigroup whose semigroup ring is algebraically amenable but has no F{o}lner sequence. In the context of inverse semigroups $S$ we give a characterization of invariant measures on $S$ (in the sense of Day) in terms of two notions: $domain$ $measurability$ and $localization$. Given a unital representation of $S$ in terms of partial bijections on some set $X$ we define a natural generalization of the uniform Roe algebra of a group, which we denote by $mathcal{R}_X$. We show that the following notions are then equivalent: (1) $X$ is domain measurable; (2) $X$ is not paradoxical; (3) $X$ satisfies the domain F{o}lner condition; (4) there is an algebraically amenable dense *-subalgebra of $mathcal{R}_X$; (5) $mathcal{R}_X$ has an amenable trace; (6) $mathcal{R}_X$ is not properly infinite and (7) $[0] ot=[1]$ in the $K_0$-group of $mathcal{R}_X$. We also show that any tracial state on $mathcal{R}_X$ is amenable. Moreover, taking into account the localization condition, we give several C*-algebraic characterizations of the amenability of $X$. Finally, we show that for a certain class of inverse semigroups, the quasidiagonality of $C_r^*left(Xright)$ implies the amenability of $X$. The converse implication is false.
We study residually finite-dimensional (or RFD) operator algebras which may not be self-adjoint. An operator algebra may be RFD while simultaneously possessing completely isometric representations whose generating C*-algebra is not RFD. This has provided many hurdles in characterizing residual finite-dimensionality for operator algebras. To better understand the elusive behaviour, we explore the C*-covers of an operator algebra. First, we equate the collection of C*-covers with a complete lattice arising from the spectrum of the maximal C*-cover. This allows us to identify a largest RFD C*-cover whenever the underlying operator algebra is RFD. The largest RFD C*-cover is shown to be similar to the maximal C*-cover in several different facets and this provides supporting evidence to a previous query of whether an RFD operator algebra always possesses an RFD maximal C*-cover. In closing, we present a non self-adjoint version of Hadwins characterization of separable RFD C*-algebras.
The program of matrix product states on the infinite tensor product ${mathcal A}^{otimes mathbb Z}$, initiated by Fannes, Nachtergaele and Werner in their seminal paper Commun. Math. Phys. Vol. 144, 443-490 (1992), is re-assessed in a context where $mathcal A$ is an infinite nuclear $C^ast$-algebra. While this setting presents new technical challenges, fine advances on ordered spaces by Kavruk, Paulsen, Todorov and Tomforde enabled us to push through most of the program and to demonstrate that the matrix product states accept generalizations as operator product states.