Related papers: Separable states and positive maps II
We give a classification theorem for unital separable simple nuclear $C^*$-algebras with tracial topological rank zero which satisfy the Universal Coefficient Theorem. We prove that if $A$ and $B$ are two such $C^*$-algebras and $$ (K_0(A),…
The question of which separable C*-algebras have abelian central sequence algebras was raised and studied by Phillips ([Ph88]) and Ando-Kirchberg ([AK14]). In this paper we give a complete answer to their question: A separable C*-algebra…
We introduce and study some new uniform structures for Hilbert $C^*$-modules over an algebra $A$. In particular, we prove that in some cases they have the same totally bounded sets. To define one of them, we introduce a new class of…
We provide a characterization for operator valued completely bounded linear maps on Hilbert $C^*$-modules in terms of $\varphi$-maps. Also, we show that for every operator valued completely positive map $\varphi$ on a $C^*$-algebra…
The first article in this series presented a thorough discussion of particle weights and their characteristic properties. In this part a disintegration theory for particle weights is developed which yields pure components linked to…
We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…
We study the *-double functor between the categories of associative and involutive algebras. It is proved that an associative algebra is isomorphic to a subalgebra of a $C\sp*$-algebra if and only if its *-double is *-isomorphic to a…
We present some properties of (not necessarily linear) positive maps between $C^*$-algebras. We first extend the notion of Lieb functions to that of Lieb positive maps between $C^*$-algebras. Then we give some basic properties and…
For every $p\geq 2$, we give a characterization of positive definite functions on a free group with finitely many generators, which can be extended to the positive linear functionals on the free group $C^*$-algebra associated with the ideal…
The notion of bounded element of C*-inductive locally convex spaces (or C*-inductive partial *-algebras) is introduced and discussed in two ways: the first one takes into account the inductive structure provided by certain families of…
We give a short proof of the nuclearity property of a class of Cuntz-Pimsner algebras associated with a Hilbert A-bimodule M, where A is a separable and nuclear C*-algebra. We assume that the left A-action on the bimodule M is given in…
In the theory of C*-algebras, interesting noncommutative structures arise as deformations of the tensor product. For instance, the rotation algebra may be seen as a scalar twist deformation of the tensor product of the functions on the…
We give an order-theoretic characterization of the essential image of the forgetful functor from the category of real/complex unital C*-algebras to the category of real/complex unital operator systems. It is based on the characterization of…
We prove that unital graph C*-algebras often admit a convenient decomposition into amalgamated free products. We use this to give a complete characterization of when a unital graph C*-algebra is residually finite-dimensional and when it is…
We give conditions for when the tensor product of two positive maps between matrix algebras is a positive map. This happens when one map belongs to a symmetric mapping cone and the other to the dual cone. Necessary and sufficient conditions…
We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras.
It is shown that every linear surjective isometry between two right, full, Hilbert C*-modules is a sum of two maps : a (bi-) module map (which is completely isometric and preserves the inner product) and a map that reverses the (bi-) module…
We exhibit examples of simple separable nuclear C*-algebras, along with actions of the circle group and outer actions of the integers, which are not equivariantly isomorphic to their opposite algebras. In fact, the fixed point subalgebras…
On finite dimensional spaces, it is apparent that an operator is the product of two positive operators if and only if it is similar to a positive operator. Here, the class ${\mathcal L}^{+2}$ of bounded operators on separable infinite…
Recently, S. Carpi et al. (Comm. Math. Phys., 402:169-212, 2023) proved that every connected (i.e. haploid) Frobenius algebra in a tensor C$^*$-category is unitarizable (i.e. isomorphic to a special C$^*$-Frobenius algebra). Building on…