Let A be a unital separable simple infinite-dimensional nuclear C*-algebra with at least one tracial state. We prove that if the trace space of A has compact finite-dimensional extreme boundary then there exist unital embeddings of matrix algebras into a certain central sequence algebra of A which is determined by the uniform topology on the trace space. As an application, it is shown that if furthermore A has strict comparison then A absorbs the Jiang-Su algebra tensorially.
Uffe Haagerup proved that quasitraces on unital exact C* -algebras are traces. We give a short proof under the stronger hypothesis of finite nuclear dimension.
We study Z-actions on unital simple separable stably finite C*-algebras of finite nuclear dimension. Assuming that the extreme boundary of the trace space is compact and finite dimensional, and that the induced action on the trace space is trivial, we show that strongly outer Z-actions have finite Rokhlin dimension in the sense of Hirshberg, Winter and Zacharias.
We study the matricial field (MF) property for certain reduced crossed product C*-algebras and their traces. Using classification techniques and induced K-theoretic dynamics, we show that reduced crossed products of ASH-algebras of real rank zero by free groups are MF if and only if they are stably finite. We also examine traces on these crossed products and show they always admit certain finite dimensional approximation properties. Combining these results with recent progress in Elliott's Classification Program, it follows that if $A$ is a separable, simple, unital, nuclear, monotracial C*-al…
The problem of expressing a selfadjoint element that is zero on every bounded trace as a finite sum (or a limit of sums) of commutators is investigated in the setting of C*-algebras of finite nuclear dimension. Upper bounds -- in terms of the nuclear dimension of the C*-algebra -- are given for the number of commutators needed in these sums. An example is given of a simple, nuclear C*-algebra (of infinite nuclear dimension) with a unique tracial state and with elements that vanish on all bounded traces and yet are "badly" approximated by finite sums of commutators. Finally, the same problem is…
We introduce the concept of finitely coloured equivalence for unital *-homomorphisms between C*-algebras, for which unitary equivalence is the 1-coloured case. We use this notion to classify *-homomorphisms from separable, unital, nuclear C*-algebras into ultrapowers of simple, unital, nuclear, Z-stable C*-algebras with compact extremal trace space up to 2-coloured equivalence by their behaviour on traces; this is based on a 1-coloured classification theorem for certain order zero maps, also in terms of tracial data. As an application we calculate the nuclear dimension of non-AF, simple, separ…
A trace on a C*-algebra is amenable (resp. quasidiagonal) if it admits a net of completely positive, contractive maps into matrix algebras which approximately preserve the trace and are approximately multiplicative in the 2-norm (resp. operator norm). Using that the double commutant of a nuclear C*-algebras is hyperfinite, it is easy to see that traces on nuclear C*-algebras are amenable. A recent result of Tikuisis, White, and Winter shows that faithful traces on separable, nuclear C*-algebras in the UCT class are quasidiagonal. We give a new proof of this result using the extension theory of…
For any unital separable simple infinite-dimensional nuclear C*-algebra with finitely many extremal traces, we prove that Z-absorption, strict comparison, and property (SI) are equivalent. We also show that any unital separable simple nuclear C*-algebra with tracial rank zero is approximately divisible, and hence is Z-absorbing.
Simple, separable, unital, monotracial and nuclear C$^*$-algebras are shown to have finite nuclear dimension whenever they absorb the Jiang-Su algebra $\mathcal{Z}$ tensorially. This completes the proof of the Toms-Winter conjecture in the unique trace case.
It is shown that if a C*-algebra has nuclear dimension $n$ then its Cuntz semigroup has the property of $n$-comparison. It then follows from results by Ortega, Perera, and Rordam that $σ$-unital C*-algebras of finite nuclear dimension (and even of nuclear dimension at most $ω$) are stable if and only if they have no non-zero unital quotients and no non-zero bounded traces.
We introduce the fundamental group ${\mathcal F}(A)$ of a unital simple $C^*$-algebra $A$ with a unique normalized trace. We compute fundamental groups ${\mathcal F}(A)$ of several nuclear or non-nuclear $C^*$-algebras $A$. K-theoretical obstruction enables us to compute the fundamental group easily. Our study is essentially based on the computation of Picard groups by Kodaka.
Recently, it was proved by Tikuisis, White and Winter that any faithful trace on a separable, nuclear $C^\ast$-algebras in the UCT class is quasidiagonal. Building on their work, we generalise the result, and show that any faithful, amenable trace on a separable, exact $C^\ast$-algebras in the UCT class is quasidiagonal. We also prove that any amenable trace on a separable, exact, quasidiagonal $C^\ast$-algebra in the UCT class is quasidiagonal.
The class of simple separable KK-contractible (KK-equivalent to $\{0\}$) C*-algebras which have finite nuclear dimension is shown to classified by the Elliott invariant. In particular, the class of C*-algebras $A\otimes \mathcal W$ is classifiable, where $A$ is a simple separable C*-algebra with finite nuclear dimension and $\mathcal W$ is the simple inductive limit of Razak algebras with unique trace, which is bounded.
We continue previous work on Voiculescu's topological free entropy dimension δ_{top}. We introduce the notions of MF-trace, MF-ideal, and MF-nuclearity and use these concepts to obtain upper and lower bounds for δ_{top}, and in many cases we obtain an exact formula for δ_{top}. We also discuss semicontinuity properties of δ_{top}.
The class of simple separable KK-contractible (KK-equivalent to $\{0\}$) C*-algebras which have finite nuclear dimension is shown to be classified by the Elliott invariant. In particular, the class of C*-algebras $A\otimes \mathcal W$ is classifiable, where $A$ is a simple separable C*-algebra with finite nuclear dimension and $\mathcal W$ is the simple inductive limit of Razak algebras with unique trace, which is bounded.
Trace and extreme eigenvalues of a product of truncated Toeplitz matrices. The singular case. In a first theorem we give an asymptotic expansion of Tr (T_N (f_1) T_N^{-1}(f_2)) where f1 (θ) = |1 - e^{i θ} | ^{2{α1}c1 (eiθθ) and f2 (θ) = |1 - e ^{iθ}| ^{2α2}c2 (eiθ), with c1 and c2 are two regular functions of the torus and - 1/2 < α1, α2 < 1/2 . In a second part of this work we study the particular case where α1 > 0 and α2 < 0. Then we obtain the asymptotic of the trace of the powers of Tr (T_N (f_1) T_N^{-1}(f_2)) for s {\in} N* that provides us the limits when N goes to the infinity of the e…
We compute Picard groups of several nuclear and non-nuclear simple stably projectionless C*-algebras. In particular, the Picard group of Razak-Jacelon algebra W_2 is isomorphic to a semidirect product of Out(W_2) with R_+^\times. Moreover, for any separable simple nuclear stably projectionless C*-algebra with a finite dimensional lattice of densely defined lower semicontinuous traces, we show that Z-stability and strict comparison are equivalent. (This is essentially based on the result of Matui and Sato, and Kirchberg's central sequence algebras.) This shows if A is a separable simple nuclear…
A classification is given of certain separable nuclear C*-algebras not necessarily of real rank zero, namely, the class of separable simple C*-algebras which are inductive limits of continuous-trace C*-algebras whose building blocks have spectrum homeomorphic to the closed interval [0,1], or to a disjoint union of copies of this space. Also, the range of the invariant is calculated.
We prove that faithful traces on separable and nuclear C*-algebras in the UCT class are quasidiagonal. This has a number of consequences. Firstly, by results of many hands, the classification of unital, separable, simple and nuclear C*-algebras of finite nuclear dimension which satisfy the UCT is now complete. Secondly, our result links the finite to the general version of the Toms-Winter conjecture in the expected way and hence clarifies the relation between decomposition rank and nuclear dimension. Finally, we confirm the Rosenberg conjecture: discrete, amenable groups have quasidiagonal C*-…
We investigate the closed convex hull of unitary orbits of selfadjoint elements in arbitrary unital C*-algebras. Using a notion of majorization against unbounded traces, a characterization of these closed convex hulls is obtained. Furthermore, for C*-algebras satisfying Blackadar's strict comparison of positive elements by traces or for collections of C*-algebras with a uniform bound on their nuclear dimension, an upper bound for the number of unitary conjugates in a convex combination required to approximate an element in the closed convex hull within a given error is shown to exist. This pro…
In this note we present the metric approximation property for weighted mixed-norm $L_w^{(p_1,\dots ,p_n)}$ and variable exponent Lebesgue type spaces. As a consequence, this also implies the same property for modulation and Wiener-Amalgam spaces. We then characterise nuclear operators on such spaces and state the corresponding Grothendieck-Lidskii trace formulae. We apply the obtained results to derive criteria for nuclearity and trace formulae for periodic operators on $\mathbb R^n$ and functions of the harmonic oscillator in terms of the global symbol.
We study properties of the central sequence algebra of a C*-algebra, and we present an alternative approach to a recent result of Matui and Sato. They prove that every unital separable simple nuclear C*-algebra, whose trace simplex is finite dimensional, tensorially absorbs the Jiang-Su algebra if and only if it has the strict comparison property. We extend their result to the case where the extreme boundary of the trace simplex is closed and of finite topological dimension. We are also able to relax the assumption on the C*-algebra of having the strict comparison property to a weaker property…
We classify trace scaling automorphisms of $\mathcal{W}\otimes\mathbb{K}$ up to outer conjugacy, where $\mathcal{W}$ is a certain simple separable nuclear stably projectionless C$^*$-algebra having trivial $K$-groups. Also, we show that all automorphisms of $\mathcal{W}$ with the Rohlin property are outer conjugate to each other. Moreover, we show that the central sequence C$^*$-algebra $F(\mathcal{W})$ of $\mathcal{W}$ is infinitee, which answers a question of Kirchberg.
We completely classify the extreme tracial states onthe cores of the C*-algebras associated with self-similar maps on compact metric spaces. We present a complete list of them. The extreme tracial states are the union of the discrete type tracial states given by measures supported on the finite orbits of the branch points and a continuous type tracial state given by the Hutchinson measure on the original self-similar set.
We introduce and study two new classes of unital quantum channels. The first class describes a 2-parameter family of channels given by completely positive (CP) maps $M_3({\bf C}) \mapsto M_3({\bf C})$ which are both unital and trace-preserving. Almost every member of this family is factorizable and extreme in the set of CP maps which are both unital and trace-preserving, but is not extreme in either the set of unital CP maps or the set of trace-preserving CP maps. We also study a large class of maps which generalize the Werner-Holevo channel for $d = 3$ in the sense that they are defined in te…
We give a useful new characterization of the set of all completely positive, trace-preserving (i.e., stochastic) maps from 2x2 matrices to 2x2 matrices. These conditions allow one to easily check any trace-preserving map for complete positivity. We also determine explicitly all extreme points of this set, and give a useful parameterization after reduction to a certain canonical form. This allows a detailed examination of an important class of non-unital extreme points which can be characterized as having exactly two images on the Bloch sphere. We also discuss a number of related issues about t…
The completely positive rank is an analogue of topological covering dimension, defined for nuclear C*-algebras via completely positive approximations. These may be thought of as simplicial approximations of the algebra, which leads to the concept of piecewise homogeneous maps and a notion of noncommutative simplicial complexes. We introduce a technical variation of the completely positive rank and show that the two theories coincide in many important cases. Furthermore we analyze some of their properties; in particular we show that both theories behave nicely with respect to ideals and that th…
We introduce the completely positive rank, a notion of covering dimension for nuclear $C^*$-algebras and analyze some of its properties. The completely positive rank behaves nicely with respect to direct sums, quotients, ideals and inductive limits. For abelian $C^*$-algebras it coincides with covering dimension of the spectrum and there are similar results for continuous trace algebras. As it turns out, a $C^*$-algebra is zero-dimensional precisely if it is $AF$. We consider various examples, particularly of one-dimensional $C^*$-algebras, like the irrational rotation algebras, the Bunce-Dedd…
We consider tracial stability, which requires that tuples of elements of a C*-algebra with a trace that nearly satisfy the relation are close to tuples that actually satisfy the relation. Here both "near" and "close" are in terms of the associated 2-norm from the trace, e.g., the Hilbert-Schmidt norm for matrices. Precise definitions are stated in terms of liftings from tracial ultraproducts of C*-algebras. We completely characterize matricial tracial stability for nuclear C*-algebras in terms of certain approximation properties for traces. For non-nuclear $C^{\ast}$-algebras we find new obstr…
