[论文解读] Quotient Representations of Uniform Tilings

Gordon Williams, Daniel Pellicer|arXiv (Cornell University)|Oct 22, 2009

semigroups and automata theory参考文献 5被引用 4

一句话总结

本文通过确定其最小正则覆盖的自同构群中旗稳定子群，提出一种将欧氏平面上所有11种顶点传递的均匀密铺表示为正则无限多面体商的方法。利用单值群作用和字符串C-群生成元，该文为这些稳定子群提供了显式且可枚举的生成集，证明其不存在有限生成集，从而为通过抽象多面体理论分析非正则密铺奠定了基础框架。

ABSTRACT

Given a flag in each of the vertex-transitive tessellations of the Euclidean plane by regular polygons, we determine the flag stabilizer under the action of the automorphism group of a regular cover. In so doing we give a presentation of these tilings as quotients of regular (infinite) polyhedra.

研究动机与目标

• 建立一种系统化方法，将均匀密铺表示为正则无限多面体的商。
• 确定均匀密铺在其最小正则覆盖的自同构群中的旗稳定子群。
• 利用单值群作用证明这些密铺中旗的稳定子群不是有限生成的。
• 为通过抽象多面体理论分析非正则多面体和广义均匀密铺奠定基础。
• 提供一个可能有助于解决密铺分类中开放问题的框架，例如广义均匀密铺枚举的完备性。

提出的方法

• 作者利用抽象正则多面体和字符串C-群理论，对均匀密铺的正则覆盖的自同构群进行建模。
• 对每种密铺，在一个传递类中选取一个基旗，并在通用正则覆盖的自同构群内计算该旗在旗作用下的稳定子。
• 利用密铺的单值群定义作用于旗上的置换 $ r_0, r_1, r_2 $，这些置换生成单值群 $ \text{mon}(\mathcal{P}) $。
• 稳定子群表示为在两个生成元 $ \beta $ 和 $ \gamma $ 作用下，特定元素 $ \alpha_i $ 的共轭生成的群，即 $ \langle \alpha_i^{\beta^j \gamma^k} \rangle $，其中 $ j,k \in \mathbb{Z} $。
• 该方法依赖于抽象多面体的钻石条件和强连通性，以确保旗邻接关系和截面结构的一致性。
• 每种密铺均关联一个通用正则覆盖 $ \mathcal{P} = \{p,q\} $，稳定子群相对于该覆盖的自同构群进行计算。

实验结果

研究问题

• RQ1 如何系统化地将欧氏平面上的均匀密铺表示为正则无限多面体的商？
• RQ2 均匀密铺在其最小正则覆盖的自同构群中的旗稳定子群的结构是什么？
• RQ3 均匀密铺的旗稳定子群能否由有限个元素生成，还是其本质上是无限生成的？
• RQ4 单值群作用以及在两个生成元下的共轭在描述此类密铺中旗的稳定子群中起什么作用？
• RQ5 该框架能否扩展至分析具有星形多边形或无穷多边形的广义均匀密铺，从而验证现有枚举的完备性？

主要发现

• 对于全部11种顶点传递的均匀密铺，其在最小正则覆盖的自同构群中的旗稳定子群均由有限个元素 $ \alpha_i $ 在两个生成元 $ \beta $ 和 $ \gamma $ 作用下的共轭生成，即 $ \langle \alpha_i^{\beta^j \gamma^k} \rangle $，其中 $ j,k \in \mathbb{Z} $。
• 证明了这些稳定子群不存在有限生成集，确认其为无限且非有限生成的性质。
• 密铺 $ 3.4.6.4 $ 由通用密铺 $ \{12,4\} $ 覆盖，其稳定子群由6个元素 $ \alpha_0 $ 至 $ \alpha_5 $ 生成，经 $ \beta $ 和 $ \gamma $ 共轭。
• 密铺 $ 3.3.3.3.6 $ 由 $ \{6,5\} $ 覆盖，其稳定子群需要8个生成元 $ \alpha_0 $ 至 $ \alpha_8 $，同样经 $ \beta $ 和 $ \gamma $ 共轭。
• 密铺 $ 3.12.12 $ 由 $ \{12,3\} $ 覆盖，其稳定子群仅由两个元素 $ \alpha_0 $ 和 $ \alpha_1 $ 生成，经 $ \beta $ 和 $ \gamma $ 共轭。
• 该方法成功为所有非正则均匀密铺提供了显式且可枚举的稳定子群表示，使其可表示为正则多面体的商。