[论文解读] On the K-theory of C*-algebras for substitution tilings (a pedestrian version)

Daniel Gonçalves, Maria Ramirez-Solano|arXiv (Cornell University)|Dec 27, 2017

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

一句话总结

本文提出了一种计算与代换密铺相关的 C*-代数 K-理论的计算效率高的方法，仅使用一个上链复形及其连接映射。该方法证明了稳定（S）和不稳定（U）C*-代数的 K-理论可分别由稳定上同调和稳定转置同调导出，并证明在一维密铺中，K-理论群是无挠的，而在二维中，仅 K₀(U) 和 K₁(S) 可能含有挠。该方法已在 Mathematica 中实现，为现有方法提供了更简单的替代方案。

ABSTRACT

Under suitable conditions, a substitution tiling gives rise to a Smale space, from which three equivalence relations can be constructed, namely the stable, unstable, and asymptotic equivalence relations. We denote with $S$, $U$, and $A$ their corresponding $C^*$-algebras in the sense of Renault. In this article we show that the $K$-theories of $S$ and $U$ can be computed from the cohomology and homology of a single cochain complex with connecting maps for tilings of the line and of the plane. Moreover, we provide formulas to compute the $K$-theory for these three $C^*$-algebras. Furthermore, we show that the $K$-theory groups for tilings of dimension 1 are always torsion free. For tilings of dimension 2, only $K_0(U)$ and $K_1(S)$ can contain torsion.

研究动机与目标

• 开发一种统一且可计算的方法，用于计算与代换密铺相关的 C*-代数的 K-理论。
• 通过上同调与同调构造，建立稳定与不稳定 C*-代数 K-理论之间的直接关系。
• 表征一维与二维密铺中 K-理论群中挠的存在性。
• 提供计算 K₀ 和 K₁ 群的显式公式与算法，仅使用一个带有连接映射的上链复形。
• 在 Mathematica 中实现该方法，以实现实际计算，并与现有技术进行比较。

提出的方法

• 从代换密铺导出的 Smale 空间结构中，构建三种等价关系——稳定（Rs）、不稳定（Ru）和渐近（Ra）。
• 通过 Renault 的群胚 C*-代数构造，利用归纳极限拓扑和哈尔测度，定义相应的 C*-代数 S、U 和 A。
• 引入稳定上同调与稳定转置同调的概念，分别作为计算 S 和 U 的 K-理论的对偶工具。
• 使用一个带有连接映射的上链复形，统一计算 S 和 U 的 K-理论。
• 在无挠条件下，应用代换矩阵及其转置的直接极限构造，以计算上同调与同调。
• 在 Mathematica 中实现该算法，以实现对特定密铺示例的 K-理论群的实际计算。

实验结果

研究问题

• RQ1 能否通过一个带有连接映射的单一上链复形，计算代换密铺的稳定与不稳定 C*-代数的 K-理论？
• RQ2 稳定上同调与稳定转置同调在关联 S 和 U 的 K-理论方面起什么作用？
• RQ3 在一维代换密铺中，K-理论群在何种条件下为无挠？
• RQ4 在二维密铺中，哪些 K-理论群可能含有挠？如何识别它们？
• RQ5 与现有方法相比，该方法在计算效率与简洁性方面表现如何？

主要发现

• 在一维代换密铺中，稳定与不稳定 C*-代数的 K-理论群始终为无挠。
• 在二维密铺中，仅 K₀(U) 和 K₁(S) 可能含有挠，而 K₀(S) 和 K₁(U) 为无挠。
• S 的 K-理论通过稳定上同调计算，U 的 K-理论通过稳定转置同调计算，两者均源自一个带有连接映射的单一上链复形。
• 当无挠时，该方法提供了利用代换矩阵及其转置的直接极限计算 K₀ 和 K₁ 群的显式公式。
• 所提方法在计算效率上优于先前方法，并已在 Mathematica 中实现，适用于实际应用。
• 该构造建立了 S 与 U 的 K-理论之间的直接关系，证实了第一作者关于其对偶性的猜想。