[论文解读] Geometric realization of toroidal quadrangulations without hidden symmetries

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

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

一句话总结

本文证明了由两个环 $C_n \times C_k$ 的笛卡尔积构成的每个环面四边形剖分都可以在四维欧几里得空间中实现为几何体，且不存在隐藏对称性——即每个组合自同构均可扩展为几何对称性。关键结果是构造了在 $\mathbb{R}^4$ 中内接于 Clifford 2-环面的正则和高贵的环面2-多面体，通过增加维度将 Mani 定理推广至更高亏格曲面。

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.

研究动机与目标

• 将 Mani 关于无隐藏对称性的球面多边形剖分在三维空间中的实现定理推广至环面曲面。
• 解决在高维空间中几何实现2-环面四边形剖分时避免组合对称性丢失的挑战。
• 在 $\mathbb{R}^4$ 中显式构造 $C_n \times C_k$ 四边形剖分的几何实现，使得所有组合自同构均可扩展为几何对称性。
• 确定此类实现产生正则或高贵环面2-多面体的几何与群论条件。
• 提出开放问题，探讨该框架是否可扩展至在 $\mathbb{R}^4$ 中实现无隐藏对称性的正则三角剖分与六边形剖分。

提出的方法

• 利用两个环 $C_n$ 和 $C_k$ 的笛卡尔积定义2-环面的四边形剖分 $Q_{n,k}$，其具有 $nk$ 个顶点、$2nk$ 条边和 $nk$ 个四边形面。
• 在 $\mathbb{R}^4$ 中构造 $C_n \times C_k$ 的几何实现，作为多面体 $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）。
• 证明 $\mathbb{R}^4$ 中几何实现 $P^4_{n,k}$ 的对称群与图 $C_n \times C_k$ 的自同构群一致，从而确认不存在隐藏对称性。
• 利用推论1和定理1证明：若1-骨架实现无隐藏对称性，则其在2-骨架上的完整四边形剖分 $Q_{n,k}$ 同样无隐藏对称性。
• 应用旗-传递性及顶点/面传递性概念定义正则与高贵2-多面体，证明当 $n \geq 3$ 时 $Q_{n,n}$ 在 $\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$ 中实现无隐藏对称性的正则三角剖分与六边形剖分？

主要发现

• 四边形剖分 $Q_{n,k} = C_n \times C_k$ 对所有 $n,k \geq 3$ 在 $\mathbb{R}^4$ 中存在无隐藏对称性的几何实现，如定理1所证明。
• 当 $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$ 中的 Clifford 2-环面，类似于 $\mathbb{R}^3$ 中的正则球面多面体，如推论3所述。
• 当 $n = k = 4$ 时，$Q_{4,4}$ 在4-立方体的2-骨架中恰好存在三个不同的副本，由比值 $|{\rm{Aut}}(C_4 \times C_4)| / |{\rm{Aut}}(Q_{4,4})| = 384 / 128 = 3$ 给出。