[论文解读] Tiling spaces are Cantor set fiber bundles

Lorenzo Sadun, R. F. Williams|arXiv (Cornell University)|May 15, 2001

Cellular Automata and Applications参考文献 5被引用 11

一句话总结

本文证明，在轻微的几何约束下，ℝᵈ 中的一般铺砌空间构成以 d-环面为基空间、完全不连通（Cantor 集）纤维的纤维丛。通过将铺砌系统构造性地变形为具有锯齿形边界的有理铺砌系统，再进一步变形为整数铺砌系统，作者证明了任意此类铺砌空间同胚于 ℤᵈ 子移位的悬垂空间，从而在无需替换规则或准周期性假设的前提下建立了全局纤维丛结构。

ABSTRACT

We prove that fairly general spaces of tilings of R^d are fiber bundles over the torus T^d, with totally disconnected fiber. This was conjectured (in a weaker form) in [W3], and proved in certain cases. In fact, we show that each such space is homeomorphic to the d-fold suspension of a Z^d subshift (or equivalently, a tiling space whose tiles are marked unit d-cubes). The only restrictions on our tiling spaces are that 1) the tiles are assumed to be polygons (polyhedra if d>2) that meet full-edge to full-edge (or full-face to full-face), 2) only a finite number of tile types are allowed, and 3) each tile type appears in only a finite number of orientations. The proof is constructive, and we illustrate it by constructing a `square' version of the Penrose tiling system.

研究动机与目标

• 解决一个长期存在的猜想：铺砌空间在全局上是基于环面、纤维为 Cantor 集的纤维丛，扩展了在一维情形下的已有结果。
• 通过证明铺砌空间同胚于 ℤᵈ 子移位的悬垂空间，建立铺砌空间的拓扑分类框架。
• 提供一种构造性方法，将任意多边形/多面体铺砌系统转化为具有局部匹配规则的等价正方形型铺砌系统。
• 在最小几何假设下，阐明铺砌空间的拓扑结构，包括周期性与非周期性系统。
• 通过揭示纤维丛结构，使子移位理论与新的拓扑不变量能够应用于铺砌动力系统。

提出的方法

• 通过缩放将任意铺砌空间 P 变形为有理铺砌空间 R，保持其拓扑类型但不一定保持拓扑共轭性。
• 对 R 中的直线边应用锯齿形替换，使用坐标方向上的单位线段在有界误差内（在 2D 中误差 ≤√2/2）逼近原边。
• 构建一个新的铺砌空间 Z，其中瓷砖为由锯齿形边界的单位 d-立方体构成的并集，并通过原始瓷砖的半径条件确保其非空性。
• 将 Z 中的每个锯齿形瓷砖分解为单位 d-立方体，以定义一个新的铺砌空间 S，其中标记的单位立方体为基本瓷砖，并具有局部匹配规则。
• 通过可逆的、与平移交换的边替换，建立 R 与 Z 之间的拓扑共轭；并通过瓷砖合并，建立 Z 与 S 之间的共轭。
• 通过递归地将边、2-面、…、(d−1)-面替换为低维立方体的逼近并集，将锯齿形构造推广至高维。

实验结果

研究问题

• RQ1 在 ℝᵈ 中，一般铺砌空间是否可被全局描述为以环面为基空间、完全不连通纤维的纤维丛？
• RQ2 每个满足给定几何约束的铺砌空间是否都同胚于一个 ℤᵈ 子移位的悬垂空间？
• RQ3 是否存在一种构造性方法，将任意具有多边形/多面体瓷砖的铺砌系统转化为具有局部匹配规则的单位 d-立方体等价系统？
• RQ4 从铺砌空间的纤维丛结构中，可导出哪些拓扑不变量，尤其是在高维情形下？
• RQ5 在此框架下，周期性、准周期性与非周期性铺砌系统之间的纤维结构有何不同？

主要发现

• 所有满足假设的铺砌空间均为以 d-环面为基空间、完全不连通纤维的纤维丛，以强有力的形式证实了一个猜想。
• 对于准周期或替换铺砌，纤维为 Cantor 集；对于周期系统，纤维为有限集。
• 该构造是显式的，并在任意此类铺砌空间与 ℤᵈ 子移位的悬垂空间之间给出同胚。
• 由单位 d-立方体构成的铺砌空间具有局部匹配规则，当且仅当原始铺砌系统具有此类规则。
• 该方法适用于非替换与非周期性铺砌，包括彭罗斯铺砌，其在新构造中被证明为 ℤ² 子移位的 232 重悬垂空间。
• 锯齿形替换确保，只要原始瓷砖包含半径大于通用逼近界限（例如 2D 中的 √2/2）的球体，变形后的瓷砖即保持非空。