[论文解读] On K-theoretic invariants of semigroup C*-algebras from actions of congruence monoids

Chris Bruce, Xin Li|arXiv (Cornell University)|Jun 2, 2019

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

一句话总结

本文研究了数域中由同余幺半群导出的半群 C*-代数的 K-理论不变量，表明这些不变量编码了深刻的数论信息。研究证明，C*-代数的同构意味着数域的算术等价性以及其相应类域的Kronecker等价性，且在满足伽罗瓦条件时，还存在额外的结构约束。

ABSTRACT

We study semigroup C*-algebras of semigroups associated with number fields and initial data arising naturally from class field theory. Using K-theoretic invariants, we investigate how much information about the initial number-theoretic data is encoded in our semigroup C*-algebras.

研究动机与目标

• 分析由数域中同余幺半群构造的半群 C*-代数的 K-理论不变量。
• 确定从 C*-代数结构中可恢复多少数论数据——特别是数域及其相关类域——的程度。
• 通过提取单位根个数和类群结构等新不变量，拓展关于 ax+b-半群 C*-代数的现有结果。
• 建立 C*-代数同构蕴含数域及其类域算术等价或 Kronecker 等价的条件。
• 证明在伽罗瓦假设下，C*-代数的同构蕴含底层数域与类域的完全同构。

提出的方法

• 从半直积 $ R \rtimes R_{\mathfrak{m},\Gamma} $ 构造半群 C*-代数，其中 $ R $ 是数域 $ K $ 的整数环，$ R_{\mathfrak{m},\Gamma} $ 是模一个模 $ \mathfrak{m} $ 的同余幺半群，其剩余群为 $ \Gamma $。
• 利用左正则表示生成 C*-代数 $ C^*_{\lambda}(R \rtimes R_{\mathfrak{m},\Gamma}) $，重点关注其 K-理论结构。
• 通过分析在最小本原理想商下的单位投影的 $ K_0 $-群与挠不变量，提取数论数据。
• 应用 C*-代数的分类纲领，将 C*-代数的同构与数论等价性联系起来。
• 利用同余幺半群的素谱与其范数之间的双射，比较其分裂行为与分歧性质。
• 借助类域论的结果，将类域 $ K(\mathfrak{m})^{\bar{\Gamma}} $ 与 C*-代数不变量联系起来。

实验结果

研究问题

• RQ1 C*-代数 $ C^*_{\lambda}(R \rtimes R_{\mathfrak{m},\Gamma}) $ 在多大程度上编码了数域 $ K $ 及其相关类域 $ K(\mathfrak{m})^{\bar{\Gamma}} $？
• RQ2 数域 $ K $ 中单位根的个数能否从半群 C*-代数的 K-理论不变量中恢复？
• RQ3 在何种条件下，C*-代数同构蕴含数域的算术等价性？
• RQ4 在何种条件下，C*-代数同构蕴含类域的 Kronecker 或算术等价性？
• RQ5 当 C*-代数同构时，同余幺半群与类群会引发何种结构约束？

主要发现

• 若 $ C^*_{\lambda}(R \rtimes R_{\mathfrak{m},\Gamma}) $ 与 $ C^*_{\lambda}(S \rtimes S_{\mathfrak{n},\Lambda}) $ 同构，则 $ K $ 与 $ L $ 算术等价，且 $ K(\mathfrak{m})^{\bar{\Gamma}} $ 与 $ L(\mathfrak{n})^{\bar{\Lambda}} $ Kronecker 等价。
• 若类域 $ K(\mathfrak{m})^{\bar{\Gamma}} $ 与 $ L(\mathfrak{n})^{\bar{\Lambda}} $ 关于 $ \mathbb{Q} $ 是伽罗瓦扩张，则类数满足 $ \#\text{Cl}_{\mathfrak{m}}^{\bar{\Gamma}} = \#\text{Cl}_{\mathfrak{n}}^{\bar{\Lambda}} $。
• 若 $ K $ 或 $ L $ 是伽罗瓦扩张，则 $ K = L $，且伽罗瓦性质在 C*-代数同构下保持不变。
• 若 $ K $ 与 $ L $ 均为伽罗瓦扩张，且其类域关于 $ \mathbb{Q} $ 是伽罗瓦扩张，则 $ K = L $，$ K(\mathfrak{m})^{\bar{\Gamma}} = L(\mathfrak{n})^{\bar{\Lambda}} $，且同余幺半群满足 $ \langle \pm 1 \rangle R_{\mathfrak{m},\Gamma} = \langle \pm 1 \rangle R_{\mathfrak{n},\Lambda} $。
• 当 C*-代数同构且伽罗瓦条件成立时，类群 $ \text{Cl}_{\mathfrak{m}}^{\bar{\Gamma}} $ 与 $ \text{Cl}_{\mathfrak{n}}^{\bar{\Lambda}} $ 作为阿贝尔群同构。
• 本文通过证明数域整数环中单位根的个数可从 C*-代数的 K-理论不变量中恢复，解决了文献 [28] 中的一个开放问题。