[论文解读] Some inverse limits of Cuntz algebras

Katsunori Kawamura|arXiv (Cornell University)|Dec 13, 2011

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

一句话总结

该论文构建了一个非平凡的Cuntz代数逆系统 $\{\mathcal{O}_n : 2 \leq n < \infty\}$，其指标集为 $\mathbb{N}$ 上的整除序 $\preceq$，并证明其逆极限 $*$-同构于 $\mathcal{O}_\infty$。该构造表明，即使极限本身是 $C^*$-代数，$K_0$-函子在逆极限下也不连续，具体表现为 $\varprojlim K_0(\mathcal{O}_n) \not\cong K_0(\varprojlim \mathcal{O}_n)$。

ABSTRACT

We construct a nontrivial inverse system of Cuntz algebras $\{{\cal O}_{n}:2\leq n

研究动机与目标

• 解决是否存在一个非平凡的Cuntz代数逆系统 $\{\mathcal{O}_n\}$，其指标集为 $\mathbb{N}$ 上的整除序 $\preceq$ 的问题。
• 确定此类系统逆极限的结构，特别是其是否同构于 $\mathcal{O}_\infty$。
• 研究该构造对 $C^*$-代数理论中 $K_0$-函子在逆极限下连续性的影响。
• 阐明在Cuntz代数之间，酉 $*$-同态在定义此类逆系统中的作用，特别是当 $n > m$ 时 $\mathcal{O}_m$ 到 $\mathcal{O}_n$ 的映射不存在这一事实。

提出的方法

• 在整除序 $\preceq$ 下，基于当且仅当 $n \preceq m$ 时存在的酉 $*$-同态，构造一个以 $\mathbb{N}$ 为指标集的Cuntz代数 $\{\mathcal{O}_{n+1}\}$ 的有向系统。
• 为 $n \preceq m$ 定义一列酉 $*$-同态 $f_{m,n}: \mathcal{O}_{m+1} \to \mathcal{O}_{n+1}$，其基于 $\mathcal{O}_r$ 上的规范作用所导出的显式嵌入。
• 利用 $\mathcal{O}_r$ 上的规范作用 $\gamma$ 定义谱子空间 $A_{r,n}^{(l)}$，通过迭代商映射 $q_1 \circ \cdots \circ q_{n-1}$ 将 $A_{r,n}$ 识别为 $\mathcal{O}_r$ 的 $C^*$-子代数。
• 通过谱子空间的交 $\bigcap_n A_{r,n}^{(0)} = A_{r,1}^{(0)} \cong UHF_r$，证明逆极限 $\varprojlim A_{r,n}$ 同构于类型为 $\{r^l : l \geq 1\}$ 的UHF代数 $UHF_r$。
• 通过验证恒等式 $f_{1,2} \circ f_{2,4} = f_{1,4}$ 确认映射的相容性，从而确认逆系统结构。
• 分析 $K_0$-群：证明 $K_0(\varprojlim \mathcal{O}_n) \cong \mathbb{Z}_{(r^\infty})$，而 $\varprojlim K_0(\mathcal{O}_n) \cong \varprojlim \mathbb{Z}/(r_n - 1)\mathbb{Z}$ 为不可数集，从而证明不连续性。

实验结果

研究问题

• RQ1 是否存在一个非平凡的Cuntz代数逆系统 $\{\mathcal{O}_n\}$，其指标集为 $\mathbb{N}$ 上的整除序 $\preceq$？
• RQ2 此类系统的逆极限结构如何，特别是其与 $\mathcal{O}_\infty$ 的关系如何？
• RQ3 $K_0$-函子在逆极限下是否可能不连续，即使极限本身是 $C^*$-代数？
• RQ4 在整除序 $\preceq$ 下，Cuntz代数之间的酉 $*$-同态行为如何？它们能否用于定义一致的逆系统？

主要发现

• 以整除序 $\preceq$ 为指标集的逆系统 $\{\mathcal{O}_n : 2 \leq n < \infty\}$ 的逆极限 $*$-同构于 $\mathcal{O}_\infty$，即 $\varprojlim \mathcal{O}_n \cong \mathcal{O}_\infty$。
• $\mathcal{O}_\infty$ 的 $K_0$-群为 $\mathbb{Z}_{(r^\infty)}$，即 $\mathbb{Z}$ 关于广义整数 $r^\infty$ 的局部化，其为可数集。
• $K_0$-群的逆极限 $\varprojlim K_0(\mathcal{O}_n) \cong \varprojlim \mathbb{Z}/(r_n - 1)\mathbb{Z}$ 为不可数集，表明 $K_0$-函子在逆极限下不连续。
• 该构造利用 $\mathcal{O}_r$ 上的规范作用定义谱子空间，且逆极限被实现为 $0$-谱子空间的交 $\bigcap_n A_{r,n}^{(0)} = A_{r,1}^{(0)} \cong UHF_r$。
• $f_{m,n}$ 映射在生成元上显式定义，且兼容性条件 $f_{1,2} \circ f_{2,4} = f_{1,4}$ 可直接从公式验证。
• 结果表明，即使指标集非全序，$C^*$-代数的逆极限仍可为 $\mathcal{O}_\infty$，且在此情况下 $K_0$-函子不与逆极限交换。