[论文解读] C*-algebras associated with endomorphisms of groups

Felipe Vieira|arXiv (Cornell University)|Aug 6, 2013

Advanced Operator Algebra Research参考文献 16被引用 7

一句话总结

本文从具有无限余核的离散可数群 $G$ 的单射自同态 $φ$ 构造了一个普遍 C*-代数，记为 $Δ[φ,B]$，推广了 Hirshberg 以及 Cuntz-Vershik 的早期工作。关键结果是：当 $G$ 是阿美因群且 $φ$ 为纯的时，$Δ[φ]$ 是一个 Kirchberg 代数，因此根据 Kirchberg 定理可分类，其 K-理论同构于 $K_*(C^*(G))$。该结果将分类结果扩展至余核无限的自同态情形，并将 $Δ[φ]$ 识别为半群 C*-代数 $C^*(S)$，其中 $S = G \rtimes_φ \mathbb{N}$。

ABSTRACT

In this work we construct a C*-algebra from an injective endomorphisms of some group G, allowing the endomorphism to have infinite cokernel. We generalize results obtained by I. Hirshberg and also by J. Cuntz and A. Vershik. In good cases we show that the C*-algebra that we study is classifiable by Kirchberg's classification theorem, with K-groups equal to K*(C*(G)).

研究动机与目标

• 将 C*-代数构造从群的自同态推广至自同态余核无限的情形，扩展 Hirshberg 和 Cuntz-Vershik 的先前工作。
• 通过群元素的单位元、自同态的等距算子以及 $B$ 中子群的投影，定义一个普遍 C*-代数 $\mathds{U}[\varphi,B]$，确保其关系自然源自 $\ell^2(G)$ 上的正则表示。
• 建立 $\mathds{U}[\varphi,B]$ 成为 Kirchberg 代数的条件——特别是当 $G$ 是阿美因群且 $φ$ 为纯时——从而可通过 Kirchberg 定理实现分类。
• 证明 $\mathds{U}[\varphi]$ 同构于全半群 C*-代数 $C^*(S)$，其中 $S = G \rtimes_\varphi \mathbb{N}$，并在此条件下证明 $K_*(\mathds{U}[\varphi]) \cong K_*(C^*(G))$。

提出的方法

• 通过由 $G$、$φ$ 以及 $B$ 中子群在 $\ell^2(G)$ 上的自然作用导出的单位元 $\{u_g\}_{g \in G}$、等距算子 $s$ 和投影 $\{e_{[H]}\}_{H \in B}$ 的普遍关系，定义 C*-代数 $\mathds{U}[\varphi,B]$。
• 利用半群交叉积描述，结合半直积 $S = G \rtimes_\varphi \mathbb{N}$，使 Khoshkam 和 Skandalis 的六项精确序列可用于计算 K-理论。
• 应用最小自同构扩张，将 $\mathds{U}[\varphi,B]$ 与 $\mathbb{Z}$ 作用下的全角群交叉积联系起来，从而可应用 Pimsner-Voiculescu 精确序列进行 K-理论计算。
• 通过验证 $\mathds{U}[\varphi]$ 的生成元与关系与 Li 定义的 $C^*(S)$ 一致，建立 $\mathds{U}[\varphi]$ 与 $C^*(S)$ 之间的同构，方法为构造互逆的 $*$-同态。
• 证明 $K_*(\mathds{U}[\varphi]) \cong K_*(C^*(G))$ 的关键在于一个分裂精确序列与 Khoshkam 和 Skandalis 的六项精确序列，阿美因性 $G$ 确保 Baum-Connes 猜想适用。
• 论文使用 $φ$ 的纯性概念，即 $\bigcap_{n \in \mathbb{N}} \varphi^n(G) = \{e\}$，作为关键条件，以确保 $\mathds{U}[\varphi]$ 的单性与纯无穷性结构。

实验结果

研究问题

• RQ1 能否为具有无限余核的群的单射自同态构造一个普遍 C*-代数，推广有限余核情形的构造？
• RQ2 在何种条件下，所构造的 C*-代数 $\mathds{U}[\varphi,B]$ 成为 Kirchberg 代数，从而可通过 Kirchberg 定理分类？
• RQ3 当 $G$ 是阿美因群且 $φ$ 为纯时，$\mathds{U}[\varphi]$ 的 K-理论是否同构于 $C^*(G)$？
• RQ4 能否将 $\mathds{U}[\varphi]$ 实现为半群 C*-代数 $C^*(S)$，其中 $S = G \rtimes_\varphi \mathbb{N}$？在此情形下，相关 C*-代数 $C^*(S)$、$C^*_{s}(S)$ 与 $C^*_{r}(S)$ 是否同构？

主要发现

• 当 $G$ 是阿美因群且 $φ$ 为纯时，$\mathds{U}[\varphi,B]$ 是一个 Kirchberg 代数，因此是可分的、核的、单的且纯无穷的。
• 通过六项精确序列与分裂精确序列，证明了 $\mathds{U}[\varphi]$ 的 K-理论同构于 $K_*(C^*(G))$。
• 在 $G$ 阿美因且 $φ$ 纯的条件下，$\mathds{U}[\varphi]$ 同构于全半群 C*-代数 $C^*(S)$，其中 $S = G \rtimes_\varphi \mathbb{N}$，且该同构成立。
• 当 $G$ 是阿美因群且 $φ$ 为纯时，约化半群 C*-代数 $C^*_{r}(S)$ 与骨架半群 C*-代数 $C^*_{s}(S)$ 同构于 $\mathds{U}[\varphi]$。
• 通过在两个代数的生成元集之间构造互逆的 $*$-同态，建立了 $\mathds{U}[\varphi]$ 与 $C^*(S)$ 之间的同构。
• 结果确认 $\mathds{U}[\varphi]$ 可通过 Kirchberg 定理分类，因其满足 UCT 条件且 $[1]_0 = 1$，其 K-理论与 $C^*(G)$ 匹配。