[論文レビュー] Geometric realization of toroidal quadrangulations without hidden symmetries

Serge Lawrencenko|arXiv (Cornell University)|Jul 3, 2013

Quasicrystal Structures and Properties参考文献 1被引用数 3

ひとこと要約

本稿では、2つのサイクルのカルテシアン積によって形成されるトーラス型四角形分割 $C_n \times C_k$ が、隠れた対称性のない4次元ユークリッド空間内に幾何学的に実現可能であることを確立している。つまり、すべての組み合わせ的自己同型が幾何的対称性に拡張可能である。主な結果は、$\mathbb{R}^4$ 内のクリフォード2次元トーラスに内接する正則および名門的トーラス型2次元多面体の構成であり、次元の増加によってマンニの定理が高 genus の曲面へと一般化されている。

ABSTRACT

It is shown that each quadrangulation of the 2-torus by the Cartesian product of two cycles can be geometrically realized in (Euclidean) 4-space without hidden symmetries---that is, so that each combinatorial cellular automorphism of the quadrangulation extends to a geometric symmetry of its Euclidean realization. Such realizations turn out to be new regular toroidal geometric 2-polyhedra which are inscribed in the Clifford 2-torus in 4-space, just as the five regular spherical 2-polyhedra are inscribed in the 2-sphere in 3-space. The following are two open problems: Realize geometrically (1) the regular triangulations and (2) the regular hexagonizations of the 2-torus without hidden symmetries in 4-space.

研究の動機と目的

• 3次元空間における球面的多角形分割の隠れた対称性のない実現に関するマンニの定理をトーラス型曲面へと拡張すること。
• 2次元トーラスの四角形分割を高次元空間に幾何学的に実現する際、組み合わせ的対称性が消失しない課題に取り組むこと。
• $C_n \times C_k$ の四角形分割を $\mathbb{R}^4$ 内に明示的な幾何学的実現により構成し、すべての組み合わせ的自己同型が幾何的対称性に拡張されることを保証すること。
• このような実現が正則または名門的トーラス型2次元多面体を生じる条件を特定すること。
• 正則な三角形分割および六角形分割のトーラスを $\mathbb{R}^4$ 内で隠れた対称性なしに実現する枠組みを拡張するための未解決問題を提示すること。

提案手法

• 2つのサイクル $C_n$ と $C_k$ のカルテシアン積を用いて、$nk$ 個の頂点、$2nk$ 条の辺、$nk$ 個の四角形面を持つ2次元トーラスの四角形分割 $Q_{n,k}$ を定義する。
• $C_n \times C_k$ の幾何学的実現を $\mathbb{R}^4$ 内の多面体 $P^4_{n,k}$ の1次元スケルトンとして構成する。具体的には、正則な $n$-角形と $k$-角形の積である。
• 補題1を適用して $C_n \times C_k$ の自己同型群の位数を計算し、$n \neq k$ の場合に $|{\rm{Aut}}(C_n \times C_k)| = 4nk$、$n = k \neq 4$ の場合に $8n^2$ であることを示し、$n = k = 4$ の場合に特別なケース（位数384）を示す。
• $C_n \times C_k$ の幾何学的実現 $P^4_{n,k}$ の対称性群が、グラフ $C_n \times C_k$ の自己同型群と一致することを示し、隠れた対称性が存在しないことを保証する。
• 補題1と定理1を用いて、1次元スケルトンに隠れた対称性がないことは、2次元スケルトンにおける四角形分割 $Q_{n,k}$ に対しても同様に成り立つことを証明する。
• フラグ推移性および頂点・面の推移性の概念を用いて正則および名門的2次元多面体を定義し、$Q_{n,n}$ が $n \geq 3$ のとき $\mathbb{R}^4$ 内に正則なトーラス型2次元多面体を形成することを示す。

実験結果

リサーチクエスチョン

• RQ1 すべてのトーラス型四角形分割 $Q_{n,k} = C_n \times C_k$ は、$\mathbb{R}^4$ 内に隠れた対称性なしに幾何学的に実現可能か？
• RQ2 $Q_{n,k}$ の自己同型群が $\mathbb{R}^4$ 内の幾何的対称性に完全に拡張される条件は何か？
• RQ3 $\mathbb{R}^4$ 内で正則または名門的トーラス型2次元多面体を生じる幾何的および群論的条件は何か？
• RQ4 $C_n \times C_k$ の対称性群とそれらの $\mathbb{R}^4$ 内の幾何学的実現の対称性群との関係は何か？
• RQ5 この枠組みを、$\mathbb{R}^4$ 内で隠れた対称性なしに正則な三角形分割および六角形分割のトーラスを実現するように拡張可能か？

主な発見

• 定理1により、すべての $n,k \geq 3$ に対して、四角形分割 $Q_{n,k} = C_n \times C_k$ は $\mathbb{R}^4$ 内に隠れた対称性のない幾何学的実現を有することが証明された。
• $n \neq k$ の場合、$C_n \times C_k$ の自己同型群の位数は $4nk$ であり、$n = k \neq 4$ の場合に $8n^2$ である。$n = k = 4$ の場合、特別なケースとして位数384となる。
• $\mathbb{R}^4$ 内の幾何学的実現 $P^4_{n,k}$ の対称性群は、$C_n \times C_k$ の自己同型群と一致しており、隠れた対称性が存在しないことを確認している。
• $P^4_{n,k}$ の2次元スケルトンは、$Q_{n,k}$ の隠れた対称性のない幾何学的実現を提供しており、$n \geq 3$ のとき $Q_{n,n}$ は正則なトーラス型2次元多面体を形成する。
• すべてのこのような正則なトーラス型2次元多面体は、$\mathbb{R}^4$ 内のクリフォード2次元トーラスに内接しており、$\mathbb{R}^3$ 内の正則球面多面体と同様の性質を示す（補題3に記載）。
• $n = k = 4$ の場合、4次元超立方体の2次元スケルトン内に $Q_{4,4}$ の同型なコピーが正確に3つ存在する。これは、$|{\rm{Aut}}(C_4 \times C_4)| / |{\rm{Aut}}(Q_{4,4})| = 384 / 128 = 3$ により与えられる。