[论文解读] A Spectral Sequence for the K-theory of Tiling Spaces

Jean Savinien, Jean Bellissard|ArXiv.org|May 17, 2007

Quasicrystal Structures and Properties参考文献 27被引用 4

一句话总结

本文引入了一个收敛于平铺C*-代数K-理论的谱序列，其E2页由一种新的上同调——PV上同调——给出，该上同调推广了Pimsner-Voiculescu正合序列。研究证明，具有有限局部复杂性的重复性非周期平铺的PV上同调同构于其平铺壳的Čech上同调，从而为非纤维化动力系统中的K-理论计算提供了一个规范的拓扑框架。

ABSTRACT

Let $\Tt$ be an aperiodic and repetitive tiling of $\RM^d$ with finite local complexity. We present a spectral sequence that converges to the $K$-theory of $\Tt$ with $E_2$-page given by a new cohomology that will be called PV in reference to the Pimsner-Voiculescu exact sequence. It is a generalization of the Serre spectral sequence. The PV cohomology of $\Tt$ generalizes the cohomology of the base space of a fibration with local coefficients in the $K$-theory of its fiber. We prove that it is isomorphic to the Čech cohomology of the hull of $\Tt$ (a compactification of the family of its translates).

研究动机与目标

• 为计算具有有限局部复杂性的R^d中非周期性、重复性平铺的C*-代数的K-理论，开发一个规范的谱序列。
• 在平铺空间的背景下，定义并表征一种新的上同调理论——PV上同调——以推广Pimsner-Voiculescu序列。
• 建立PV上同调与平铺壳的Čech上同调之间的同构关系，从而将K-理论计算与壳的拓扑不变量联系起来。
• 通过与平铺结构相关的C*-代代数的余滤波，推广Serre谱序列至非纤维化的叶状结构。

提出的方法

• 通过利用环面T^d的CW分解所导出的理想，对交叉积C*-代数C(Ω) ⋊ R^d进行余滤波，构造谱序列。
• 将PV上同调H^r_{PV}(B_0; K^s(Ξ_Δ))定义为谱序列的E2页，其局部系数取自横截面Ξ_Δ的K-理论。
• 通过Thom-Connes同构，证明谱序列收敛于K_{r+s+d}(C(Ω) ⋊ R^d)，该同构将此K-理论识别为壳Ω的拓扑K-理论。
• 利用Pimsner-Voiculescu复形d_{PV} = ∑_{i=1}^d (α_{i*} - 1) ⊗ e_i ∧在K_*(A) ⊗ Λ^* Z^d上的作用，对谱序列中的微分进行建模。
• 通过K-理论中的正合对与交换图表，证明了理想滤波谱序列与商的余滤波谱序列之间的同构。
• 通过利用叶状结构与壳上的动力系统，证明PV上同调同构于壳Ω的Čech上同调。

实验结果

研究问题

• RQ1 能否构造一个谱序列，以计算非纤维化叶状结构的平铺空间C*-代数的K-理论，从而推广Serre谱序列？
• RQ2 如何将Pimsner-Voiculescu正合序列推广至具有有限局部复杂性的平铺所诱导的Z^d作用于C*-代数的情形？
• RQ3 是否存在一种上同调理论，能够以动力系统的基空间和纤维的K-理论作为局部系数，来捕捉平铺C*-代数的K-理论？
• RQ4 平铺空间的PV上同调是否与其中心壳的Čech上同调一致，从而为谱序列E2页提供一个拓扑解释？
• RQ5 该谱序列能否在不依赖Z^d作用选择的前提下被构造出来，从而提供一种比以往基于逆极限或Cantor集作用的构造更内在的不变量？

主要发现

• 谱序列收敛于K_{r+s+d}(C(Ω) ⋊ R^d)，其E2页同构于H^r_{PV}(B_0; K^s(Ξ_Δ))，为K-理论计算提供系统化工具。
• PV上同调同构于壳Ω的Čech上同调，建立了K-理论与平铺空间拓扑不变量之间的深刻联系。
• 该构造将Serre谱序列推广至非纤维化的叶状结构，扩展了其在非周期平铺系统中的适用性。
• 谱序列独立于Z^d作用的选择，提供了比以往基于逆极限或Cantor集作用的构造更规范、更内在的方法。
• Pimsner-Voiculescu复形d_{PV} = ∑_{i=1}^d (α_{i*} - 1) ⊗ e_i ∧在E2页上提供了微分，将一维情形推广至高维。
• 滤波谱序列与余滤波谱序列之间的同构关系，证实了该构造的稳健性，并验证了在K-理论计算中使用正合对的合理性。