[论文解读] Quotient Cohomology for Tiling Spaces

Marcy Barge, Lorenzo Sadun|arXiv (Cornell University)|Jan 18, 2011

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

一句话总结

本文引入商上同调作为平铺空间的相对上同调理论，使在一种平铺动力系统是另一种的因子时，能够比较其动力系统。通过将映射柱和映射锥构造推广至平铺理论，作者发展出一系列工具——尤其是命题4——通过逐次商去低维结构，计算复杂平铺空间的上同调，并将其应用于有限型平铺空间及如椅子替换与二进制梅尔索诺伊德等家族。

ABSTRACT

We define a relative version of tiling cohomology for the purpose of comparing the topology of tiling spaces when one is a factor of the other. We illustrate this with examples, and outline a method for computing the cohomology of tiling spaces of finite type.

研究动机与目标

• 通过发展一种相对上同调理论，弥补平铺上同调中缺乏函子性和可计算工具的不足。
• 在一种平铺空间是另一种的因子时，实现对平铺空间的比较，尤其在标准相对上同调因非单射映射而失效的情况下。
• 为有限型平铺空间提供系统化的上同调计算方法，此类空间此前难以用现有技术处理。
• 通过引入商上同调作为拓扑比较与计算的工具，将上同调的应用扩展至平铺动力学。
• 在具体例子（如二维二进制梅尔索诺伊德与椅子替换平铺）中演示该方法，并勾勒出通往有限型平铺空间的路径。

提出的方法

• 将商上同调 $ H_Q^k(X,Y) $ 定义为商复形 $ C^k(X)/f^*(C^k(Y)) $ 的上同调，其中 $ f: X \to Y $ 是一个具有在上链上拉回映射的单射的商映射。
• 建立一个长正合列，关联 $ H^k(Y) $、$ H^k(X) $ 与 $ H_Q^k(X,Y) $，通过蛇引理实现递归计算。
• 提出命题4，当 $ X $ 与 $ Y $ 仅相差一个低维平铺空间的悬垂时，该命题可计算商上同调。
• 将商上同调形式化应用于九个平铺空间的族，通过反复应用命题4，将每个空间与二维二进制梅尔索诺伊德联系起来。
• 当从有限型平铺空间 $ \nabla_{FT} $ 到替换平铺空间 $ \nabla_\sigma $ 的路径上，使用谱序列或重复的长正合列，组合单步商上同调。
• 通过在 $ k=0 $ 时应用命题4，处理顶点处多个超块交汇带来的复杂性，实现对有限个轨道的移除而不破坏上同调结构。

实验结果

研究问题

• RQ1 当一种平铺动力系统是另一种的因子时，特别是因子映射非单射时，如何利用上同调来比较这些系统？
• RQ2 有限型平铺空间的上同调结构是什么？能否使用相对上同调工具进行计算？
• RQ3 商上同调能否系统性地应用于通过将替换平铺空间分解为更简单的商步骤来计算其上同调？
• RQ4 低维平铺空间的悬垂在高维平铺空间的上同调结构中起什么作用？
• RQ5 如何利用上同调工具处理替换平铺中因无限阶超块在顶点交汇而引入的拓扑复杂性？

主要发现

• 商上同调为通过因子映射比较平铺空间提供了函子性框架，即使映射非单射也成立。
• 命题4在两个平铺空间仅相差一个低维平铺空间的悬垂时，可计算商上同调，是关键的计算工具。
• 二维二进制梅尔索诺伊德的上同调被计算为 $ H^1 = \nabla_3 \times \nabla[1/2]^4 \times \nabla $，且 $ H^2 = \nabla_3 \times \nabla[1/2]^3 \times \nabla^2 $，并以显式长正合列说明其结构。
• 该方法成功地通过反复应用商上同调，将九个平铺空间（包括椅子替换平铺）的上同调与梅尔索诺伊德的上同调联系起来。
• 对于有限型平铺空间，本文勾勒出通过沿有限多个方向商去信息来计算上同调的路径，即使中间空间并非标准平铺空间亦可。
• 该方法允许使用谱序列和对的长正合列来组合单步商上同调，使复杂上同调不变量的计算成为可能。