[论文解读] The Regular C*-algebra of an Integral Domain

Joachim Cuntz, Xin Li|ArXiv.org|Jul 9, 2008

Advanced Operator Algebra Research参考文献 6被引用 39

一句话总结

本文引入一个与任意具有有限商环的整环 $R$ 相关的普遍 C*-代数，记为 $τ̄{A}[R]$，并证明其为纯无限且单的。该文建立并证明了 $τ̄{A}[R]$ 的稳定化版本同构于 $R$ 的有限adele空间上的连续函数与 $Q(R)$ 上的 $ax+b$-群的半交叉积，将 Bost-Connes 构造推广至任意数域，并给出了广义 Bost-Connes 代数的生成元与关系描述。

ABSTRACT

To each integral domain R with finite quotients we associate a purely infinite simple C*-algebra in a very natural way. Its stabilization can be identified with the crossed product of the algebra of continuous functions on the "finite adele space" corresponding to R by the action of the ax+b-group over the quotient field Q(R). We study the relationship to generalized Bost-Connes systems and deduce for them a description as universal C*-algebras with the help of our construction.

研究动机与目标

• 为任意具有有限商环的整环 $R$ 构造一个纯无限单的 C*-代数 $\mathfrak{A}[R]$，推广 Cuntz 早期工作中的 $\mathcal{Q}_{\mathbb{Z}}$ 和 $\mathcal{Q}_{\mathbb{N}}$ 代数。
• 通过反映 $\ell^2(R)$ 上乘法与加法作用的等距算子 $s_m$ 与酉算子 $u^n$，提供 $\mathfrak{A}[R]$ 的普遍表示，即生成元与关系描述。
• 建立 $\mathfrak{A}(R)$（即 $\mathfrak{A}[R]$ 的稳定化版本）的交叉积结构，将其识别为 $C_0(\mathbb{A}_f^{(R)}) \rtimes \mathrm{P}_R$，其中 $\mathbb{A}_f^{(R)}$ 为 $R$ 的有限 adele 空间，$\mathrm{P}_R$ 为 $Q(R)$ 上的 $ax+b$-半群。
• 在至多一个实位且类数为 1 的条件下，将此前针对虚二次域与一般数域研究的高维 Bost-Connes 系统嵌入 $\mathfrak{A}[R]$ 中。
• 由广义 Bost-Connes 代数的生成元与关系描述出发，利用算子理论方法构造其极端 $KMS_\beta$-态，其构造方式与原始 Bost-Connes 情形类似。

提出的方法

• 将 $\mathfrak{A}[R]$ 定义为由等距算子 $s_m$（$m \in R^\times$）与酉算子 $u^n$（$n \in R$）生成的普遍 C*-代数，其关系反映乘法、加法与分配律。
• 在 $\ell^2(R)$ 上通过左正则算子构造 $\mathfrak{A}[R]$ 的具体表示：$S_m(\xi_r) = \xi_{mr}$ 与 $U^n(\xi_r) = \xi_{n+r}$，从而实现普遍关系。
• 利用 $ax+b$-半群 $P_R = \left\{ \begin{smallmatrix} a & b \\ 0 & 1 \end{smallmatrix} \right\}_{a \in R^\times, b \in R}$ 建模 $\mathbb{A}_f^{(R)}$（即 $R$ 的有限 adele 空间，同胚于 $\hat{R}$，$R$ 的有限完备化）上的作用。
• 利用拓扑对偶性与陪集空间结构，建立 $\mathfrak{A}(R)$（即 $\mathfrak{A}[R]$ 的稳定化版本）与交叉积 $C_0(\mathbb{A}_f^{(R)}) \rtimes P_R$ 之间的 $*$-同构。
• 借助 Laca 的半群交叉积理论与最小自同构扩张方法，将交叉积结构识别为 $C_0(\mathbb{A}_f / \sim) \rtimes K^\times / \mathfrak{o}^*$，其中 $\sim$ 为由单位群诱导的等价关系。
• 通过 $\mathfrak{A}[R]$ 在 $\ell^2(\mathfrak{o}^\times / \sim_{\mathfrak{o}^*})$ 上的 $*$-表示 $\pi_\alpha$ 构造极端 $KMS_\beta$-态，其中 $\alpha$ 索引于伽罗瓦群 $\mathrm{Gal}(K^{ab}/K)$，并定义态为 $\varphi_{\beta,\alpha}(x) = \zeta(\beta)^{-1} \mathrm{tr}(\pi_\alpha(x) e^{-\beta H})$。

实验结果

研究问题

• RQ1 能否将 $\mathcal{Q}_{\mathbb{Z}}$ 与 $\mathcal{Q}_{\mathbb{N}}$ 的构造从 $\mathbb{Z}$ 推广至具有有限商环的任意整环？
• RQ2 与此类 $R$ 关联的普遍 C*-代数 $\mathfrak{A}[R]$ 是否为纯无限且单的？其稳定化版本是否可描述为 $R$ 的有限 adele 空间上的交叉积？
• RQ3 在何种数论条件下（如类数为 1，至多一个实位）可将广义 Bost-Connes 系统（针对数域）嵌入 $\mathfrak{A}[R]$ 中？
• RQ4 能否利用普遍 $\mathfrak{A}[R]$ 构造，通过生成元与关系描述广义 Bost-Connes 代数？
• RQ5 能否以自然且算子理论的方式，利用普遍 $\mathfrak{A}[R]$ 结构，构造广义 Bost-Connes 动力系统的极端 $KMS_\beta$-态？

主要发现

• 对于具有有限商环的整环 $R$，其普遍 C*-代数 $\mathfrak{A}[R]$ 为纯无限且单的，将 Cuntz 在 $\mathbb{Z}$ 上的结果推广至一大类环。
• 代数 $\mathfrak{A}[R]$ 的稳定化版本 $\mathfrak{A}(R)$ 同构于交叉积 $C_0(\mathbb{A}_f^{(R)}) \rtimes P_R$，其中 $\mathbb{A}_f^{(R)}$ 为 $R$ 的有限 adele 空间，$P_R$ 为 $Q(R)$ 上的 $ax+b$-半群，从而为该代数提供了几何实现。
• 对于至多一个实位且类数为 1 的数域，[CMR] 与 [LLN] 中研究的广义 Bost-Connes 代数可嵌入 $\mathfrak{A}[R]$，从而可将其描述为具有生成元与关系的普遍 C*-代数。
• 广义 Bost-Connes 系统的极端 $KMS_\beta$-态通过 $\mathfrak{A}[R]$ 在 $\ell^2(\mathfrak{o}^\times / \sim_{\mathfrak{o}^*})$ 上的 $*$-表示 $\pi_\alpha$ 构造，其中 $\alpha$ 索引于伽罗瓦群元素，定义为 $\varphi_{\beta,\alpha}(x) = \zeta(\beta)^{-1} \mathrm{tr}(\pi_\alpha(x) e^{-\beta H})$，其中 $H(\xi_r) = \log(N(r)) \xi_r$。
• 该构造为 $KMS_\beta$-态提供了直接且算子理论的路径，与原始 Bost-Connes 情形类似，并确认了这些 $\varphi_{\beta,\alpha}$ 恰好是 $1 < \beta < \infty$ 范围内的极端 $KMS_\beta$-态，与 [LLN] 定理 2.1 的结论一致。