Let $A$ be a unital AH-algebra and let $α\in Aut(A)$ be an automorphism. A necessary condition for $A\rtimes_α\Z$ being embedded into a unital simple AF-algebra is the existence of a faithful tracial state. If in addition, there is an automorphism $κ$ with $κ_{*1}=-{\rm id}_{K_1(A)}$ such that $α\circ κ$ and $κ\circ \af$ are asymptotically unitarily equivalent, then $A\rtimes_{\af}\Z$ can be embedded into a unital simple AF-algebra. Consequently, in the case that $A$ is a unital AH-algebra (not necessarily simple) with torsion $K_1(A),$ $A\rtimes_α\Z$ can be embedded into a unital simple AF-algebra if and only if $A$ admits a faithful $α$-invariant tracial state. We also show that if $A$ is a unital A$\T$-algebra then $A\rtimes_α\Z$ can be embedded into a unital simple AF-algebra if and only if $A$ admits a faithful $\af$-invariant tracial state.
If $X$ is a compact metric space and $Λ: \Z^2\to Aut(C(X))$ is a \hm then $C(X)\rtimes_Λ\Z^2$ can be asymptotically embedded into a unital simple AF-algebra provided that $X$ admits a strictly positive $Λ$-invariant probability measure. Consequently $C(X)\rtimes_Λ\Z^2$ is quasidiagonal if $X$ admits a strictly positive $Λ$-invariant Borel probability measure.
Let $X$ be a compact metric space and let $Λ$ be a $\Z^k$ ($k\ge 1$) action on $X.$ We give a solution to a version of Voiculescu's problem of AF-embedding: The crossed product $C(X)\rtimes_Λ\Z^k$ can be embedded into a unital simple AF-algebra if and only if $X$ admits a strictly positive $Λ$-invariant Borel probability measure. Let $C$ be a unital AH-algebra, let $G$ be a finitely generated abelian group and let $Λ: G\to Aut(C)$ be a monomorphism. We show that $C\rtimes_Λ G$ can be embedded into a unital simple AF-algebra if and only if $C$ admits a faithful $Λ$-invariant tracial state.
We introduce the labelling map and the quasi-free action of a locally compact abelian group on a graph $C^*$-algebra of a row-finite directed graph. Some necessary conditions for embedding the crossed product to an $AF$ algebra are discussed, and one sufficient condition is proved that if the row-finite directed graph is constructed by possibly attaching some 1-loops to a row-finite directed graph whose each weak connected component is a rooted (possibly infinite) directed tree, and the labelling map is almost proper, which is proved to be a reasonable generalization of the earlier case, then …
Let $Γ\curvearrowright Ω$ be a measure-preserving action and $\mathcal{L} Γ\hookrightarrow L^\infty(Ω) \rtimes Γ$ the natural inclusion of the group von Neumann algebra into the crossed product. When $μ(Ω) = \infty$, we have that this natural embedding is not trace-preserving and therefore does not extends boundedly to the associated noncommutative $L^p$-spaces. Nevertheless, we show that when $Ω$ has an invariant mean there is an isometric embedding of $L^p(\mathcal{L} Γ)$ into an ultrapower of $L^p(Ω\rtimes Γ)$ that intertwines Fourier multipliers and is $\mathcal{L} Γ$-bimodular. As a conse…
Let $X$ be a compact metric space and let $\af$ be a homeomorphism on $X.$ Related to a theorem of Pimsner, we show that $C(X)\rtimes_{\af}\Z$ can be embedded into a unital simple AF-algebra if and only if there is a strictly positive $\af$-invariant Borel probability measure. Suppose that $Λ$ is a $\Z^d$ action on $X.$ If $C(X)\rtimes_Λ\Z$ can be embedded into a unital simple AF-algebra, then there must exist a strictly positive $Λ$-invariant Borel probability measure. We show that, if in addition, there is a generator $\af_1$ of $Λ$ such that $(X, \af_1)$ is minimal and unique ergodic, then …
Let P be a semigroup that admits an embedding into a group G. Assume that the embedding satisfies a certain Toeplitz condition and that the Baum-Connes conjecture holds for G. We prove a formula describing the K- theory of the reduced crossed product A \rtimesα,r P by any automorphic action of P. This formula is obtained as a consequence of a result on the K-theory of crossed products for special actions of G on totally disconnected spaces. We apply our result to various examples including left Ore semigroups and quasi-lattice ordered semigroups. We also use the results to show that for certai…
It is shown that if A is an AF algebra then a crossed product of A by the integers can be embedded into an AF algebra if and only if the crossed product is stably finite. This equivalence follows from a simple K-theoretic characterization of AF embeddability. It is then shown that if a crossed product of an AF algebra by the integers is AF embeddable then the AF embedding can be chosen in such a way as to induce a rationally injective map on K_0 of the crossed product.
We show that for a closed embedding $\mathbb{H}\le \mathbb{G}$ of locally compact quantum groups (LCQGs) with $\mathbb{G}/\mathbb{H}$ admitting an invariant probability measure, a unitary $\mathbb{G}$-representation is type-I if its restriction to $\mathbb{H}$ is. On a related note, we also prove that if an action $\mathbb{G}\circlearrowright A$ of an LCQG on a unital $C^*$-algebra admits an invariant state then the full group algebra of $\mathbb{G}$ embeds into the resulting full crossed product (and into the multiplier algebra of that crossed product if the original algebra is not unital). W…
We study the connection between the Baum-Connes conjecture for an ample groupoid $G$ with coefficient $A$ and the Künneth formula for the K-theory of tensor products by the crossed product $A\rtimes_r G$. To do so we develop the machinery of Going-Down functors for ample groupoids. As an application we prove that both the uniform Roe algebra of a coarse space which uniformly embeds into a Hilbert space and the maximal Roe algebra of a space admitting a fibred coarse embedding into a Hilbert space satisfy the Künneth formula. We also provide a stability result for the Künneth formula using cont…
Suppose $A$ is a $C^*$-algebra and $H$ is a $C^*$-correspondence over $A$. If $H$ is regular in the sense that the left action of $A$ is faithful and is given by compact operators, then we compute the $K$-theory of $\mathcal{O}_A(H) \rtimes \mathbb{T}$ where the action is the usual gauge action. The case where $A$ is an AF-algebra is carefully analyzed. In particular, if $A$ is AF, we show $\mathcal{O}_A(H) \rtimes \mathbb{T}$ is AF. Combining this with Takai duality and an AF-embedding theorem of N. Brown, we show the conditions AF-embeddability, quasidiagonality, and stable finiteness are eq…
We consider a fixed free and proper action of a locally compact group $G$ on a space $T$, and actions $α:G\to \Aut A$ on $C^*$-algebras for which there is an equivariant embedding of $(C_0(T),\rt)$ in $(M(A),α)$. A recent theorem of Rieffel implies that $α$ is proper and saturated with respect to the subalgebra $C_0(T)AC_0(T)$ of $A$, so that his general theory of proper actions gives a Morita equivalence between $A\rtimes_{α,r}G$ and a generalised fixed-point algebra $A^α$. Here we investigate the functor $(A,α)\mapsto A^α$ and the naturality of Rieffel's Morita equivalence, focusing in parti…
We study the validity of the Blackadar-Kirchberg conjecture for extensions of separable, nuclear, quasidiagonal $C^*$-algebras that satisfy the UCT. More specifically, we show that the conjecture for the extension has an affirmative answer if the ideal lies in a class of $C^*$-algebras that is closed under local approximations and contains all separable ASH algebras, as well as certain classes of simple, unital $C^*$-algebras and crossed products of unital $C^*$-algebras with the integers.
We generalize the notions of asymptotic dimension and coarse embeddings from metric spaces to quantum metric spaces in the sense of Kuperberg and Weaver. We show that quantum asymptotic dimension behaves well with respect to metric quotients and direct sums, and is preserved under quantum coarse embeddings. Moreover, we prove that a quantum metric space that equi-coarsely contains a sequence of reflexive quantum expanders must have infinite asymptotic dimension. This is done by proving a quantum version of a vertex-isoperimetric inequality for expanders, based upon a previously known edge-isop…
Suppose that a locally compact group $G$ acts freely and properly on the right of a locally compact space $T$. Rieffel proved that if $α$ is an action of $G$ on a $C^*$-algebra $A$ and there is an equivariant embedding of $C_0(T)$ in $M(A)$, then the action $α$ of $G$ on $A$ is proper, and the crossed product $A\rtimes_{α,r}G$ is Morita equivalent to a generalised fixed-point algebra $\Fix(A,α)$ in $M(A)^α$. We show that the assignment $(A,α)\mapsto\Fix(A,α)$ extends to a functor $\Fix$ on a category of $C^*$-dynamical systems in which the isomorphisms are Morita equivalences, and that Rieffel…
We establish a reformulation of the Connes embedding problem in terms of an asymptotic property of factorizable completely positive maps. We also prove that the Holevo-Werner channels W_n^- are factorizable, for all odd integers n different from 3. Furthermore, we investigate factorizability of convex combinations of W_3^+ and W_3^-, a family of channels studied by Mendl and Wolf, and discuss asymptotic properties for these channels.
Let $C$ be a unital AH-algebra and let $A$ be a unital separable simple \CA with tracial rank zero. Suppose that $ϕ_1, ϕ_2: C\to A$ are two unital monomorphisms. We show that there is a continuous path of unitaries $\{u_t: t\in [0, \infty)\}$ of $A$ such that $$ \lim_{t\to\infty}u_t^*ϕ_1(a)u_t=ϕ_2(a)\tforal a\in C $$ if and only if $[ϕ_1]=[ϕ_2]$ in $KK(C,A),$ $τ\circ ϕ_1=τ\circ ϕ_2$ for all $τ\in T(A)$ and the rotation map ${\tildeη}_{ϕ_1,ϕ_2}$ associated with $ϕ_1$ and $ϕ_2$ is zero. In particular, an automorphism $\af$ on a unital separable simple \CA $A$ in ${\cal N}$ with tracial rank zero…
Let $Γ$ be a torsion free lattice in $G=\PGL(3,{\mathbb F})$ where ${\mathbb F}$ is a nonarchimedean local field. Then $Γ$ acts freely on the affine Bruhat-Tits building ${\mathcal B}$ of $G$ and there is an induced action on the boundary $Ω$ of ${\mathcal B}$. The crossed product $C^*$-algebra ${\mathcal A}(Γ)=C(Ω) \rtimes Γ$ depends only on $Γ$ and is classified by its K-theory. This article shows how to compute the K-theory of ${\mathcal A}(Γ)$ and of the larger class of rank two Cuntz-Krieger algebras.
A Hilbert bimodule is a right Hilbert module X over a C*-algebra A together with a left action of A as adjointable operators on X. We consider families X = {X_s :s\in P} of Hilbert bimodules, indexed by a semigroup P, which are endowed with a multiplication which implements isomorphisms X_s\otimes_A X_t \to X_{st}; such a family is a called a product system. We define a generalized Cuntz- Pimsner algebra O_X, and we show that every twisted crossed product of A by P can be realized as O_X for a suitable product system X. Assuming P is quasi- lattice ordered in the sense of Nica, we analyze a ce…
We study the K-homology of the rotation algebras $A_θ$ using the six term cyclic sequence for the K-homology of a crossed product by ${\bf Z}$. In the case where $θ$ is irrational we use Pimsner and Voiculescu's work on AF-embeddings of the $A_θ$ to search for the missing generator of the even K-homology.
The paper studies the $K$-theoretic invariants of the crossed product $C^{*}$-algebras associated with an important family of homeomorphisms of the tori $\Bbb{T}^{n}$ called {\em Furstenberg transformations}. Using the Pimsner-Voiculescu theorem, we prove that given $n$, the $K$-groups of those crossed products, whose corresponding $n\times n$ integer matrices are unipotent of maximal degree, always have the same rank $a_{n}$. We show using the theory developed here, together with two computing programs - included in an appendix - that a claim made in the literature about the torsion subgroups…
We develop a dynamical version of some of the theory surrounding the Toms-Winter conjecture for simple separable nuclear C*-algebras and study its connections to the C*-algebra side via the crossed product. We introduce an analogue of hyperfiniteness for free actions of amenable groups on compact spaces and show that it plays the role of Z-stability in the Toms-Winter conjecture in its relation to dynamical comparison, and also that it implies Z-stability of the crossed product. This property, which we call almost finiteness, generalizes Matui's notion of the same name from the zero-dimensiona…
In this paper we study the asymptotic distribution of the moments of (non-normalized) traces $\Tr (w_1), \Tr(w_2), ..., \Tr(w_r)$, where $ w_1, w_2, >..., w_r$ are reduced words in unitaries in the group $\cU(N)$. We prove that as $N\to \infty$ these variables are distributed as normal gaussian variables $\sqrt {j_1} Z_1, ..., \sqrt{Z_r}$, where $j_1, ..., j_r$ are the number of cyclic rotations of the words $w_1, ..., w_s$ leaving them invariant. This extends a previous result by Diaconis (\cite{Diac}), where this it was proved, that $\Tr(U), \Tr(U^2), ...,$ $\Tr(U^p)$ are asymptotically dist…
