[论文解读] AF-embedding of the crossed products of AH-algebras by finitely generated abelian groups

Huaxin Lin|ArXiv.org|Jun 15, 2007

Advanced Operator Algebra Research参考文献 26被引用 4

一句话总结

该论文建立了单子AH代数关于有限生成阿贝尔群的半直积嵌入到单子简单AF代数的充要条件：当且仅当该AH代数在群作用下存在忠实的不变迹态时，此类嵌入存在。证明依赖于渐近酉等价的归纳应用以及进入AF代数的单同态的K-理论技术。

ABSTRACT

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) times_Λ\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 o Aut(C)$ be a monomorphism. We show that $C times_Λ G$ can be embedded into a unital simple AF-algebra if and only if $C$ admits a faithful $Λ$-invariant tracial state.

研究动机与目标

• 解决Voiculescu的AF-嵌入问题在有限生成阿贝尔群作用于AH代数时的一个版本。
• 确定半直积 $ C \rtimes_\Lambda G $ 嵌入到单子简单AF代数的精确条件。
• 将先前关于$ \mathbb{Z} $-作用下半直积AF-可嵌入性的结果推广到更高秩阿贝尔群作用。
• 为进入AF代数的单同态的渐近酉等价建立K-理论框架，从而实现归纳构造。

提出的方法

• 基于阿贝尔群 $ \mathbb{Z}^k $ 的秩 $ k $ 采用归纳方法，从 $ C \rtimes_\Lambda \mathbb{Z}^k $ 构造进入单子简单AF代数的单同态。
• 结合Berg技巧与Rokhlin性质，构造进入AF代数的渐近酉等价单同态。
• 采用K-理论刻画从 $ C \rtimes_\alpha \mathbb{Z} $ 到具有唯一迹态的单子简单AF代数的单同态的渐近酉等价。
• 利用交叉积的初等同伦引理，通过逐步扩展，将$ \mathbb{Z} $-作用的结果推广到$ \mathbb{Z}^k $-作用。
• 应用Green定理将 $ G = \mathbb{Z}^k \oplus G_0 $ 分解，将问题简化为$ \mathbb{Z}^k $-作用，并与紧算子代数张量积。
• 构造一个进入具有唯一迹态的单子简单AF代数 $ A_k $ 的单子单同态 $ \varphi_k: C \rtimes_\Lambda \mathbb{Z}^k \to A_k $，满足对所有生成元 $ \alpha_i $ 有 $ \tau_k \circ \varphi_k = \tau_k \circ \varphi_k \circ \alpha_i $。

实验结果

研究问题

• RQ1 何时单子AH代数 $ C $ 关于有限生成阿贝尔群 $ G $ 的半直积 $ C \rtimes_\Lambda G $ 可以嵌入到单子简单AF代数中？
• RQ2 作用 $ \Lambda $ 的精确动力学条件是什么，以确保此类嵌入存在？
• RQ3 渐近酉等价技术如何从$ \mathbb{Z} $-作用推广到AH代数上的更高秩阿贝尔群作用？
• RQ4 存在一个忠实的 $ \Lambda $-不变迹态在半直积的AF-可嵌入性中起什么作用？
• RQ5 $ C(X) \rtimes_\Lambda \mathbb{Z}^k $ 的AF-嵌入问题能否简化为关于 $ X $ 的测度论条件？

主要发现

• 半直积 $ C \rtimes_\Lambda G $ 嵌入到单子简单AF代数当且仅当 $ C $ 在群作用下存在一个忠实的 $ \Lambda $-不变迹态。
• 当 $ C = C(X) $ 时，半直积 $ C(X) \rtimes_\Lambda \mathbb{Z}^k $ 嵌入到单子简单AF代数当且仅当 $ X $ 存在一个严格正的 $ \Lambda $-不变博雷尔概率测度。
• 证明构造了一个进入具有唯一迹态的单子简单AF代数 $ A_k $ 的单子单同态 $ \varphi_k: C \rtimes_\Lambda \mathbb{Z}^k \to A_k $，满足对所有 $ i $ 有 $ \tau_k \circ \varphi_k = \tau_k \circ \varphi_k \circ \alpha_i $。
• 归纳构造依赖于进入AF代数的单同态渐近酉等价的K-理论条件，该条件推广了$ \mathbb{Z} $-作用下的结果。
• 该结果将Brown和Matui关于$ \mathbb{Z} $-和$ \mathbb{Z}^2 $-作用的工作推广到任意有限生成阿贝尔群。
• 通过进入 $ A \otimes \mathcal{K} $ 的单同态的复合实现嵌入，其中 $ A $ 是一个单子简单AF代数，且像为 $ A \otimes \mathcal{K} $ 中的一个全投影，因此其本身也是一个单子简单AF代数。