[论文解读] Reduction of the dimension of nuclear C*-algebras

Luis Santiago|arXiv (Cornell University)|Nov 30, 2012

Advanced Operator Algebra Research参考文献 19被引用 9

一句话总结

本文证明了对于一大类核C*-代数 $ A $，包括可分类型I代数的直接极限，$ A \otimes \mathcal{W} $ 的稳定秩为一。它进一步证明 $ A \otimes \mathcal{W} $ 同构于一维非交换CW复形的直接极限，这蕴含分解秩为一，并支持罗伯特关于无投影C*-代数的迹分类猜想。

ABSTRACT

We show that for a large class of C*-algebras $\mathcal{A}$, containing arbitrary direct limits of separable type I C*-algebras, the following statement holds: If $A\in \mathcal{A}$ and $B$ is a simple projectionless C*-algebra with trivial K-groups that can be written as a direct limit of a system of (nonunital) recursive subhomogeneous algebras with no dimension growth then the stable rank of $A\otimes B$ is one. As a consequence we show that if $A\in \mathcal A$ then the stable rank of $A\otimes\mathcal W$ is one. We also prove the following stronger result: If $A$ is separable C*-algebra that can be written as a direct limit of C*-algebras of the form $\mathrm{C}_0(X)\otimes \mathrm{M}_n$, where $X$ is locally compact and Hausdorff, then $A\otimes \mathcal W$ can be written as a direct limit of a sequence of 1-dimensional noncommutative CW-complexes.

研究动机与目标

• 确定张量积 $ A \otimes \mathcal{W} $ 的稳定秩，其中 $ \mathcal{W} $ 是一个简单、无投影、核C*-代数，且K-群平凡。
• 证明当 $ A $ 可分且局部包含于某些次同态代数时，$ A \otimes \mathcal{W} $ 同构于一维非交换CW复形的直接极限。
• 支持莱昂内尔·罗伯特的猜想：若两个可分核C*-代数的迹锥同构，即 $ \mathrm{T}(A) \cong \mathrm{T}(B) $，则其稳定同构成立，即 $ A \otimes \mathcal{W} \otimes \mathcal{K} \cong B \otimes \mathcal{W} \otimes \mathcal{K} $。
• 建立对于一大类 $ A $，$ A \otimes \mathcal{W} $ 的分解秩与核维数均为一，从而推进了稳定有限、无投影情形下的分类理论。

提出的方法

• 使用C*-代数类 $ \mathcal{A} $，该类在张量积矩阵代数、取遗传C*-子代数、理想、商代数及归纳极限下封闭，起始于局部紧空间 $ X $ 的 $ \mathrm{C}_0(X) $。
• 应用一维非交换CW复形的半投影性，以提升逼近并构造归纳极限分解。
• 利用 $ \mathcal{W} $ 是简单、无投影、核C*-代数，K-群平凡，且具有唯一迹的事实；同时 $ \mathcal{W} $ 是无维数增长的递归子同态代数的归纳极限。
• 利用结果：$ \mathrm{C}[0,1]^\mathbb{N} \otimes \mathcal{W} $ 是一维NCCW复形的归纳极限，并通过商构造将此结果推广至紧致豪斯多夫空间 $ X $ 的 $ \mathrm{C}(X) \otimes \mathcal{W} $。
• 应用罗伯特对K₁-群平凡的NCCW复形的分类结果，并通过稳定性和半投影性将其推广至构造块中K₁-群非平凡的情形。
• 使用阿弗森延拓定理，并结合分解秩在归纳极限下保持不变的性质，得出 $ \mathrm{dr}(A \otimes \mathcal{W}) = 1 $。

实验结果

研究问题

• RQ1 当 $ A $ 是类型I C*-代数的可分直接极限时，$ A \otimes \mathcal{W} $ 的稳定秩是多少？
• RQ2 当 $ A $ 属于类 $ \mathcal{A} $ 时，$ A \otimes \mathcal{W} $ 是否可实现为一维非交换CW复形的直接极限？
• RQ3 当 $ A $ 局部包含于 $ \mathcal{B} $（即次同态代数类）时，$ A \otimes \mathcal{W} $ 的分解秩是否等于一？
• RQ4 从 $ A \otimes \mathcal{W} $ 的结构来看，其对罗伯特关于无投影C*-代数迹分类猜想的支持程度如何？
• RQ5 在 $ \mathcal{W} $ 中无投影且K-群平凡的条件下，其对 $ A \otimes \mathcal{W} $ 的维数理论有何影响？

主要发现

• 对任意 $ A \in \mathcal{A} $，$ A \otimes \mathcal{W} $ 的稳定秩为一。
• 若 $ A $ 是局部包含于 $ \mathcal{B} $ 的可分C*-代数，则 $ A \otimes \mathcal{W} $ 同构于一列一维非交换CW复形的直接极限。
• 对所有局部包含于 $ \mathcal{B} $ 的可分 $ A $，$ A \otimes \mathcal{W} $ 的分解秩为一，即使构造块的K₁-群非平凡，该结论依然成立。
• 此类 $ A $ 的核维数亦为一，这是由分解秩结果所推出的结论。
• 该结果表明 $ A \otimes \mathcal{W} $ 不是AF代数，因其无投影且分解秩为一。
• 证明还表明，对任意紧致豪斯多夫空间 $ X $，有 $ \mathrm{C}(X) \otimes \mathcal{W} $ 是一维NCCW复形的归纳极限，其证明基于半投影性与商构造。