[论文解读] Some classifiable groupoid C*-algebras with prescribed K-theory

Ian F. Putnam|arXiv (Cornell University)|Nov 15, 2016

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

一句话总结

本文在康托尔集上构造了极小的、可约的、étale等价关系，其关联的广群C*-代数为迹-AF代数，因此在Elliott纲领下可分类。对于任意给定的简单、无环的维数群 $G_0$ 与可数的、无挠的阿贝尔群 $G_1$，该构造实现了 $K_0 \cong G_0$ 与 $K_1 \cong G_1$，证明了此类 $K$-理论不变量可通过étale广群C*-代数实现。

ABSTRACT

Given a simple, acyclic dimension group $G_{0}$ and countable, torsion-free, abelian group $G_{1}$, we construct a minimal, amenable, étale equivalence relation $R$ on a Cantor set whose associated groupoid $C^{*}$-algebra, $C^{*}(R)$, is tracially AF, and hence classifiable in the Elliott classification scheme for simple, amenable, separable $C^{*}$-algebras, and with $K_{*}(C^{*}(R)) \cong(G_{0}, G_{1})$.

研究动机与目标

• 确定哪些可分类的 $C^*$-代数——特别是满足Elliott分类纲领的代数——可作为广群 $C^*$-代数实现。
• 通过使用étale广群解决Elliott纲领中的范围问题，构造具有指定 $K$-理论不变量的 $C^*$-代数。
• 证明对于任意简单、无环的维数群 $G_0$ 与可数的、无挠的阿贝尔群 $G_1$，存在一个在康托尔集上的极小的、可约的、étale等价关系，其 $C^*$-代数的 $K_*$-理论同构于 $(G_0, G_1)$。
• 建立所构造的 $C^*$-代数为迹-AF代数，从而确保其在Elliott框架下的可分类性。

提出的方法

• 通过广群结构的有限逼近的归纳极限技术，在康托尔集 $X$ 上构造一个极小的、可约的、étale等价关系 $R$。
• 在 $C^*(R)$ 中定义一列有限维 $C^*$-子代数 $B_l$，其由广群中有限路径关联的投影 $\bar{e}_l$ 构成。
• 利用按路径长度索引的广群代数分量分解，并通过 $l$ 的归纳法证明 $\bar{e}_l$ 与有限集 $\mathcal{F}$ 的 $
  $-误差内几乎交换。
• 通过验证三个关键性质应用迹-AF条件：与 $\mathcal{F}$ 的几乎交换性、有限维子代数中元素的逼近性，以及 $1 - \bar{e}_l$ 与给定非零投影 $p_0$ 的子投影的酉等价性。
• 利用 $C^*$-代数中的谱估计与迹正性，确保当 $l$ 足够大时，$\bar{e}_l$ 成为 $p_0$ 的子投影的酉等价，从而利用表示 $\pi$ 的忠实性。
• 利用在简单AF代数中，$K_0$ 中的正性由迹检测的性质，通过控制 $\bar{e}_l$ 的迹，确保 $\bar{e}_l$ 与 $p_0$ 的子投影酉等价。

实验结果

研究问题

• RQ1 是否每个对 $(G_0, G_1)$，其中 $G_0$ 为简单无环的维数群，$G_1$ 为可数无挠阿贝尔群，都可作为广群 $C^*$-代数的 $K_*$-理论实现？
• RQ2 是否可能在康托尔集上构造一个极小的、可约的、étale等价关系，使其关联的 $C^*$-代数为迹-AF代数，从而在Elliott纲领下可分类？
• RQ3 哪些 $K$-理论条件可确保一个 $C^*$-代数源于一个étale广群？
• RQ4 如何确保通过有限维子代数的归纳极限构造的广群 $C^*$-代数满足迹-AF条件？
• RQ5 在此类构造中，是否可保证 $1 - \bar{e}_l$ 与给定投影 $p_0$ 的子投影的酉等价性？

主要发现

• 对于任意简单无环的维数群 $G_0$ 与可数无挠阿贝尔群 $G_1$，存在一个在康托尔集上的极小的、可约的、étale等价关系 $R$，使得 $C^*(R)$ 为迹-AF代数。
• $C^*(R)$ 的 $K_0$-群同构于 $G_0$，$K_1$-群同构于 $G_1$，从而实现了指定的 $K$-理论。
• 该构造确保 $C^*(R)$ 满足迹-AF条件，这意味着其在Elliott纲领下可分类。
• 有限维子代数 $(1 - \bar{e}_l)B_l(1 - \bar{e}_l)$ 以任意 $
  $-误差在范数下逼近 $C^*(R)$ 的元素，并与有限集几乎交换。
• 由于迹控制与谱估计，当 $l$ 足够大时，投影 $1 - \bar{e}_l$ 成为任意给定非零投影 $p_0$ 的子投影的酉等价。
• 表示 $\pi$ 的 $C^*(R)$ 是忠实的，且 $\pi(1 - \bar{e}_l)$ 的强算子极限确保 $\pi((1 - \bar{e}_l)p_0)$ 在 $l$ 足够大时仍非零，从而支持酉等价性论证。