[论文解读] A Homeomorphism Invariant for Substitution Tiling Spaces

Nic Ormes, Charles Radin+1 more|arXiv (Cornell University)|Aug 22, 2000

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

一句话总结

本论文通过将Čech上同调的商与由替换规则的面积拉伸因子λ导出的序结构相结合，提出了一种平面替换密铺空间的同胚不变量。该不变量基于上同调映射的像以及环Q[λ]或Z[1/λ]，能够从拓扑上区分密铺空间，包括类似针垫（pinwheel）的系统，表明同胚的空间必须具有生成相同数域或环的λ和λ′，即使λ为无理数或非整数。

ABSTRACT

We derive a homeomorphism invariant for those tiling spaces which are made by rather general substitution rules on polygonal tiles, including those tilings, like the pinwheel, which contain tiles in infinitely many orientations. The invariant is a quotient of Cech cohomology, is easily computed directly from the substitution rule, and distinguishes many examples, including most pinwheel-like tiling spaces. We also introduce a module structure on cohomology which is very convenient as well as of intuitive value.

研究动机与目标

• 开发一种替换密铺空间的拓扑不变量，以区分非同胚的空间，特别是那些具有无限多个瓷砖方向的系统，如针垫密铺。
• 解决在具有大量或无限多个带边瓷砖的密铺空间中直接计算Čech上同调的困难。
• 通过逆极限构造和由替换规则拉伸因子λ导出的正锥，定义上同调群中上维部分的序结构。
• 证明该序结构在同胚下保持不变，从而可通过λ的代数性质实现对密铺空间的拓扑区分。
• 表明该不变量捕捉了关键的几何信息（如λ），并能区分此前甚至在拓扑共轭下也难以区分的密铺空间。

提出的方法

• 将密铺空间的上维Čech上同调群定义为在替换下与带边瓷砖相关联的上链群的逆极限。
• 从上同调群到R构造一个实值同态μ，通过替换规则的面积拉伸因子λ将上同调类映射到实数。
• 将上同调群中的正锥定义为μ下非负实数的原像，使上同调群成为一个有序阿贝尔群。
• 利用μ的像定义代数不变量：当λ为无理数时为Q[λ]，当λ为整数时为Z[1/λ]。
• 证明上同调群的序同构类型（包括正锥）在密铺空间的同胚下保持不变。
• 利用序同构在上同调群之间诱导出相关数域Q[λ]或环Z[1/λ]相等的事实，取决于λ的算术性质。

实验结果

研究问题

• RQ1 能否在替换密铺空间的Čech上同调上定义一种可计算的、同胚不变的代数结构，特别是针对具有无限多个瓷砖方向的系统？
• RQ2 替换规则的面积拉伸因子λ是否能确定密铺空间的拓扑不变量，且独立于具体密铺或带边方式？
• RQ3 该不变量能否区分非拓扑共轭的密铺空间，如针垫密铺与(2,3)-针垫密铺？
• RQ4 通过逆极限和拉伸因子λ导出的上同调序结构，是否在密铺空间的同胚下保持不变？
• RQ5 基于其上同调不变量，两个替换密铺空间同胚时，λ与λ′必须满足何种代数条件？

主要发现

• 若两个替换密铺空间同胚，且其替换规则的拉伸因子λ与λ′为整数，则必有Z[1/λ] = Z[1/λ′]，意味着λ与λ′具有相同的素因子。
• 若λ非整数，则λ与λ′必须为无理数，且满足Q[λ] = Q[λ′]，即它们在Q上生成相同的数域。
• 该不变量在区分密铺空间方面具有实际效用，例如针垫密铺与(2,3)-针垫密铺，此前即使在拓扑共轭下也难以区分。
• 通过正锥定义的上同调序结构在同胚下保持不变，且可直接从替换规则计算得出。
• 上同调群自然地具有Z[1/λ]或Q[λ]上的模结构，该结构既便于计算，也具有拓扑意义。
• 证明依赖于：上同调群之间的序同构迫使μ值之比保持不变，从而导致相关数域或环的代数相等。