[論文レビュー] 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}) $ を生成する。
• 安定化部分群は、2つの生成子 $ \beta $ と $ \gamma $ による作用の下での特定の要素 $ \alpha_i $ の共役 $ \alpha_i^{\beta^j \gamma^k} $ によって生成される群、すなわち $ \langle \alpha_i^{\beta^j \gamma^k} \rangle $（$ j,k \in \mathbb{Z} $）として表現される。
• 抽象的多面体のダイアモンド条件および強い連結性を用いて、フラッグの隣接関係とセクション構造が一貫していることを保証する。
• 各タイリングはユニバーサル正則被覆 $ \mathcal{P} = \{p,q\} $ に対応し、安定化部分群はこの被覆の自己同型群に基づいて計算される。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド平面の均一タイリングは、どのようにして正則無限多面体の商として体系的に表現できるか？
• RQ2 均一タイリングの最小正則被覆の自己同型群内でのフラッグ安定化部分群の構造は何か？
• RQ3 均一タイリングのフラッグ安定化部分群は、有限個の要素で生成可能か、それとも本質的に無限生成であるか？
• RQ4 モノドロミー群作用および2つの生成子による共役が、このようなタイリングにおけるフラッグ安定化部分群の記述に果たす役割は何か？
• RQ5 このフレームワークは、星型多角形やアペイロゴンを含む一般化された均一タイリングの分析に拡張可能か？ また、既存の列挙の完全性を検証する手がかりとなるか？

主な発見

• 11種類の頂点推移的均一タイリングの各々について、その最小正則被覆の自己同型群内でのフラッグ安定化部分群は、2つの生成子 $ \beta $ と $ \gamma $ による作用の下での有限個の要素 $ \alpha_i $ の共役 $ \alpha_i^{\beta^j \gamma^k} $（$ j,k \in \mathbb{Z} $）によって生成される。
• 安定化部分群が有限生成でないことが示され、それが無限かつ非有限生成であることが確認された。
• タイリング $ 3.4.6.4 $ はユニバーサルタイリング $ \{12,4\} $ によって被覆され、その安定化部分群は $ \alpha_0 $ から $ \alpha_5 $ の6つの要素によって生成され、$ \beta $ と $ \gamma $ による共役を受ける。
• タイリング $ 3.3.3.3.6 $ は $ \{6,5\} $ によって被覆され、その安定化部分群は $ \alpha_0 $ から $ \alpha_7 $ の8つの生成子によって生成され、再び $ \beta $ と $ \gamma $ による共役を受ける。
• タイリング $ 3.12.12 $ は $ \{12,3\} $ によって被覆され、その安定化部分群は $ \alpha_0 $ と $ \alpha_1 $ の2つの要素のみによって生成され、$ \beta $ と $ \gamma $ による共役を受ける。
• 本手法は、非正則な均一タイリングのすべてについて、明示的かつ列挙可能な表現を提供し、正則多面体の商としてのそれらの表現を可能にした。