AF-embedding of crossed products of AH-algebras by $\Z$ and asymptotic AF-embedding

Huaxin Lin
DOI: https://doi.org/10.48550/arXiv.math/0612529
2007-05-01
Abstract:Let $A$ be a unital AH-algebra and let $\alpha\in Aut(A)$ be an automorphism. A necessary condition for $A\rtimes_{\alpha}\Z$ being embedded into a unital simple AF-algebra is the existence of a faithful tracial state. If in addition, there is an automorphism $\kappa$ with $\kappa_{*1}=-{\rm id}_{K_1(A)}$ such that $\alpha\circ \kappa$ and $\kappa\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_{\alpha}\Z$ can be embedded into a unital simple AF-algebra if and only if $A$ admits a faithful $\alpha$-invariant tracial state. We also show that if $A$ is a unital A$\T$-algebra then $A\rtimes_{\alpha}\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 $\Lambda: \Z^2\to Aut(C(X))$ is a \hm then $C(X)\rtimes_{\Lambda}\Z^2$ can be asymptotically embedded into a unital simple AF-algebra provided that $X$ admits a strictly positive $\Lambda$-invariant probability measure. Consequently $C(X)\rtimes_{\Lambda}\Z^2$ is quasidiagonal if $X$ admits a strictly positive $\Lambda$-invariant Borel probability measure.
Operator Algebras,Functional Analysis
What problem does this paper attempt to address?
### Problems the paper attempts to solve This paper mainly explores whether the crossed products of C* - algebras can be embedded into unital simple AF - algebras. Specifically, the author studies the following problems: 1. **When can the crossed product \(A \rtimes_\alpha \mathbb{Z}\) of an AH - algebra \(A\) acted on by the integer group \(\mathbb{Z}\) be embedded into a unital simple AF - algebra?** The paper points out that if \(A\) is a unital simple AH - algebra and there exists an automorphism \(\alpha\in \text{Aut}(A)\), then a necessary condition for \(A \rtimes_\alpha \mathbb{Z}\) to be embedded into a unital simple AF - algebra is that \(A\) has a faithful tracial state. Moreover, if there exists an automorphism \(\kappa\) such that \(\kappa^* = -\text{id}_{K_1(A)}\) and \(\alpha\circ\kappa\) and \(\kappa\circ\alpha\) are asymptotically unitarily equivalent, then \(A \rtimes_\alpha \mathbb{Z}\) can be embedded into a unital simple AF - algebra. 2. **For a unital simple AH - algebra \(A\) with a torsion \(K_1\) group, what are the necessary and sufficient conditions for its crossed product \(A \rtimes_\alpha \mathbb{Z}\) to be embedded into a unital simple AF - algebra?** The paper proves that in the case where \(A\) is a unital simple AH - algebra and has a torsion \(K_1\) group, the necessary and sufficient condition for \(A \rtimes_\alpha \mathbb{Z}\) to be embedded into a unital simple AF - algebra is that \(A\) has a faithful \(\alpha\)-invariant tracial state. 3. **When \(A\) is a unital simple AT - algebra, what are the conditions for its crossed product \(A \rtimes_\alpha \mathbb{Z}\) to be embedded into a unital simple AF - algebra?** The paper further points out that when \(A\) is a unital simple AT - algebra, the necessary and sufficient condition for \(A \rtimes_\alpha \mathbb{Z}\) to be embedded into a unital simple AF - algebra is also that \(A\) has a faithful \(\alpha\)-invariant tracial state. In particular, for any unital simple simple AT - algebra \(A\), its crossed product \(A \rtimes_\alpha \mathbb{Z}\) can always be embedded into a unital simple AF - algebra. 4. **For the asymptotic embedding problem of \(C(X)\rtimes_\Lambda \mathbb{Z}^2\)** The paper also studies whether \(C(X)\rtimes_\Lambda \mathbb{Z}^2\) can be asymptotically embedded into a unital simple AF - algebra when \(X\) is a compact metric space and \(\Lambda:\mathbb{Z}^2\rightarrow \text{Aut}(C(X))\) is a homomorphism. The result shows that if \(X\) has a strictly positive \(\Lambda\)-invariant Borel probability measure, then \(C(X)\rtimes_\Lambda \mathbb{Z}^2\) can be asymptotically embedded into a unital simple AF - algebra.