[论文解读] K-theory for ring C*-algebras attached to function fields

Joachim Cuntz, Xin Li|ArXiv.org|Nov 26, 2009

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

一句话总结

本文利用先前工作的对偶定理，计算了有限域上多项式环 $\mathbb{F}_q[T]$ 关联的环 C*-代数的 K-理论。通过利用莫里塔等价性和阿代尔环的结构，作者证明了 K-理论同构于 $\mathbb{F}_q^\times$ 的群 C*-代数的约化 K-理论与 $\mathbb{F}_q(T)^\times$ 的挠自由部分上的外代数的分次张量积，揭示了 K-理论群上存在一个典范的环结构。

ABSTRACT

We compute the K-theory of ring C*-algebras for polynomial rings over finite fields. The key ingredient is a duality theorem which we had obtained in a previous paper. It allows us to show that the K-theory of these algebras has a ring structure and to determine explicit generators. Our main result also reveals striking similarities between the number field case and the function field case.

研究动机与目标

• 计算与有限域上多项式环 $\mathbb{F}_q[T]$ 关联的环 C*-代数的 K-理论。
• 将数域上的对偶定理推广至函数域，即使在无限阿代尔空间完全不连通、缺乏同伦不变性的情况下，仍能实现 K-理论的计算。
• 明确识别出 K-群的生成元，并在代数的 K-理论上建立典范的环结构。
• 揭示数域与函数域情形下环 C*-代数 K-理论之间的结构相似性。

提出的方法

• 利用有限与无限阿代尔环之间的对偶定理，将 $K_*(\mathfrak{A}[\mathbb{F}_q[T]])$ 与 $K_*(C_0(\mathbb{F}_q((T))) \rtimes \mathbb{F}_q(T) \rtimes \mathbb{F}_q(T)^\times)$ 关联起来。
• 应用莫里塔等价性，将问题约化为计算局部域 $\mathbb{F}_q((T))$ 上的半直积的 K-理论。
• 利用皮姆斯纳-瓦伊库莱斯库正合序列的归纳论证，从 $\mathbb{F}_q^\times$ 的特征标关联的投影与酉算子中构造 $K_0$ 与 $K_1$ 的显式生成元。
• 在代数中识别出对应于无穷维环面的可交换酉算子，从而实现从环面 K-理论到该代数 K-理论的嵌入。
• 利用 K-理论沿直极限 $\varinjlim A_m$ 的连续性，从有限维近似过渡到半直积的无限维近似。
• 通过从无穷维环面的 K-理论转移其乘积结构，在 $K_*(\mathfrak{A}[\mathbb{F}_q[T]])$ 上建立环结构。

实验结果

研究问题

• RQ1 函数域如 $\mathbb{F}_q[T]$ 的环 C*-代数的 K-理论与数域情形相比有何异同？
• RQ2 尽管无限阿代尔空间完全不连通、缺乏同伦不变性，是否仍可利用有限与无限阿代尔环之间的对偶定理来计算函数域情形的 K-理论？
• RQ3 $\mathfrak{A}[\mathbb{F}_q[T]]$ 的 K-群存在哪些显式生成元，其与乘法群 $\mathbb{F}_q(T)^\times$ 的关系如何？
• RQ4 $\mathfrak{A}[\mathbb{F}_q[T]]$ 的 K-理论是否具有自然的环结构？若有，该结构如何实现？
• RQ5 在已知 K-理论群的术语下，$K_*(\mathfrak{A}[\mathbb{F}_q[T]])$ 的精确代数结构是什么？

主要发现

• 环 C*-代数 $\mathfrak{A}[\mathbb{F}_q[T]]$ 的 K-理论同构于 $\tilde{K}_0(C^*(\mathbb{F}_q^\times)) \otimes_\mathbb{Z} \Lambda^*(\Gamma)$，其中 $\Gamma$ 是 $\mathbb{F}_q(T)^\times$ 的挠自由部分。
• 该同构在 $\mathbb{Z}/2\mathbb{Z}$-分次阿贝尔群之间成立，$\tilde{K}_0(C^*(\mathbb{F}_q^\times))$ 自然地为零分次，而 $\Lambda^*(\Gamma)$ 具有典范分次。
• K-理论群具有典范的环结构，该结构由无穷维环面 K-理论上的乘积结构通过可交换酉算子诱导而来。
• $K_0$ 与 $K_1$ 的显式生成元由与非平凡特征标 $\chi \in \widehat{\mathbb{F}_q^\times} \setminus \{1\}$ 关联的投影 $p_\chi$ 和酉算子 $t(i)$ 构造而成。
• 对偶定理使计算成为可能，即使在无限阿代尔空间完全不连通的情况下，也通过将问题转移到生成元与代数结构变得清晰可见的设定中实现。
• 结果揭示了函数域与数域情形下环 C*-代数 K-理论之间显著的结构相似性，支持了两类全局域之间的类比。