[论文解读] Fundamental group of simple $C^*$-algebras with unique trace

Norio Nawata, Yasuo Watatani|ArXiv.org|Apr 7, 2009

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

一句话总结

本文为具有唯一归一化迹的单个单位 $C^*$-代数 $A$ 引入了基本群 $\mathcal{F}(A)$，将其定义为 $A \otimes K(\mathcal{H})$ 上自同构的迹缩放常数的集合。证明了 $\mathcal{F}(A) = \mathfrak{S}(A)$，即迹缩放常数群，并计算了多种 $C^*$-代数的 $\mathcal{F}(A)$，在无理旋转代数和自由群 $C^*$-代数等情形下揭示了其算术结构。

ABSTRACT

We introduce the fundamental group ${\mathcal F}(A)$ of a unital simple $C^*$-algebra $A$ with a unique normalized trace. We compute fundamental groups ${\mathcal F}(A)$ of several nuclear or non-nuclear $C^*$-algebras $A$. K-theoretical obstruction enables us to compute the fundamental group easily. Our study is essentially based on the computation of Picard groups by Kodaka.

研究动机与目标

• 为具有唯一归一化迹的单个单位 $C^*$-代数 $A$ 定义并研究基本群 $\mathcal{F}(A)$。
• 建立 $\mathcal{F}(A)$ 与 $A \otimes K(\mathcal{H})$ 上自同构的迹缩放常数之间的联系。
• 利用 K-理论与 Picard 群技术，计算特定 $C^*$-代数（包括无理旋转代数和 $C_r^*(F_n)$）的 $\mathcal{F}(A)$。
• 探讨 $\mathcal{F}(A)$ 的算术性质，与 $II_1$ 因子中更为连续的结构形成对比。

提出的方法

• 将 $\mathcal{F}(A)$ 定义为满足 $pM_n(A)p \cong A$ 的投影 $p \in M_n(A)$ 的所有值 $\tau \otimes \mathrm{Tr}(p)$ 的集合，构成 $\mathbb{R}_+^\times$ 的乘法子群。
• 通过 GNS 构造与角落代数的同构，证明 $\mathcal{F}(A) = \mathfrak{S}(A)$，即 $A \otimes K(\mathcal{H})$ 上自同构的迹缩放常数群。
• 利用 Picard 群 $\mathrm{Pic}(A)$ 及其通过同态 $\rho_A$ 与 $\mathrm{Out}(A)$ 的关系，分析 $\mathcal{F}(A)$，尤其关注自同构与等价双模的情形。
• 应用 K-理论障碍及关于 $A_\theta$ 和 $C_r^*(F_n)$ 自同构的已知结果，计算特定代数的 $\mathcal{F}(A)$。
• 利用如下事实：当 $\theta$ 不是二次无理数时，$\mathcal{F}(A_\theta)$ 为平凡群；当 $\theta$ 为二次代数整数时，$\mathcal{F}(A_\theta)$ 同构于环 $\mathbb{Z} + \mathbb{Z}\theta$ 中的正单位群。
• 通过 GNS 表示 $\pi_\tau$ 将 $\mathcal{F}(A)$ 与关联的 $II_1$ 因子 $\pi_\tau(A)''$ 的基本群联系起来，证明 $\mathcal{F}(A) \subset \mathcal{F}(\pi_\tau(A)'')$。

实验结果

研究问题

• RQ1 如何为具有唯一归一化迹的单个单位 $C^*$-代数定义基本群 $\mathcal{F}(A)$？
• RQ2 如何理解 $\mathcal{F}(A)$ 与 $A \otimes K(\mathcal{H})$ 上自同构的迹缩放常数之间的关系？
• RQ3 对于无理旋转代数 $A_\theta$，当 $\theta$ 为二次或非二次无理数时，$\mathcal{F}(A)$ 的行为有何不同？
• RQ4 能否利用 K-理论与 Picard 群结构计算 $\mathcal{F}(A)$，尤其是在非单峰情形下？
• RQ5 如何理解 $\mathcal{F}(A)$ 与关联的 $II_1$ 因子 $\pi_\tau(A)''$ 的基本群之间的联系？

主要发现

• 对于无理旋转代数 $A_\theta$，若 $\theta$ 不是二次无理数，则 $\mathcal{F}(A_\theta)$ 为平凡群。
• 若 $\theta$ 为二次代数整数，则 $\mathcal{F}(A_\theta)$ 同构于环 $\mathbb{Z} + \mathbb{Z}\theta$ 中的正单位群，例如 $\mathcal{F}(A_{\sqrt{3}}) = \{(2 + \sqrt{3})^n \mid n \in \mathbb{Z}\}$。
• 对于 $C^*$-代数 $A_\theta \otimes C_r^*(F_n)$（$n \geq 2$），有 $\mathcal{F}(A_\theta \otimes C_r^*(F_n)) = \mathcal{F}(A_\theta)$，表明其在与自由群 $C^*$-代数张量积下保持稳定。
• 单个单位 $C^*$-代数 $A$（具有唯一迹）的基本群 $\mathcal{F}(A)$ 等于 $A \otimes K(\mathcal{H})$ 上自同构的迹缩放常数群 $\mathfrak{S}(A)$，从而建立了关键对偶性。
• 若关联的 $II_1$ 因子 $\pi_\tau(A)''$ 的基本群为平凡群，则 $\mathcal{F}(A) = \{1\}$，如 $G = S_\infty * (\mathbb{Z}^2 \rtimes SL(2,\mathbb{Z}))$ 时的 $C_r^*(G)$ 所示。
• 基本群 $\mathcal{F}(A)$ 展现出算术特征，尤其在 $A_\theta$ 情形下，与 $II_1$ 因子中连续的基本群结构形成鲜明对比。