[Paper Review] Geometric realization of toroidal quadrangulations without hidden symmetries

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

Quasicrystal Structures and Properties1 references3 citations

TL;DR

This paper establishes that every toroidal quadrangulation formed by the Cartesian product of two cycles, $C_n \times C_k$, can be geometrically realized in 4-dimensional Euclidean space without hidden symmetries—meaning every combinatorial automorphism extends to a geometric symmetry. The key result is the construction of regular and noble toroidal 2-polyhedra inscribed in the Clifford 2-torus in $\mathbb{R}^4$, generalizing Mani’s theorem to higher genus surfaces via dimensional increase.

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.

Motivation & Objective

• To extend Mani’s theorem on 3D realizations of spherical polygonizations without hidden symmetries to toroidal surfaces.
• To address the challenge of realizing quadrangulations of the 2-torus geometrically in higher-dimensional space without combinatorial symmetries being lost.
• To construct explicit geometric realizations of $C_n \times C_k$ quadrangulations in $\mathbb{R}^4$ such that all combinatorial automorphisms extend to geometric symmetries.
• To identify conditions under which such realizations yield regular or noble toroidal 2-polyhedra.
• To pose open problems for extending the framework to regular triangulations and hexagonizations of the torus in $\mathbb{R}^4$.

Proposed method

• Utilizes the Cartesian product of two cycles $C_n$ and $C_k$ to define a quadrangulation $Q_{n,k}$ of the 2-torus with $nk$ vertices, $2nk$ edges, and $nk$ quadrilateral faces.
• Constructs a geometric realization of $C_n \times C_k$ as the 1-skeleton of a polytope $P^4_{n,k}$ in $\mathbb{R}^4$, specifically a product of two regular $n$- and $k$-gons.
• Applies Lemma 1 to compute the automorphism group orders of $C_n \times C_k$, showing $|{\rm{Aut}}(C_n \times C_k)| = 4nk$ for $n \neq k$ and $8n^2$ for $n = k \neq 4$, with a special case at $n = k = 4$.
• Demonstrates that the symmetry group of the geometric realization $P^4_{n,k}$ in $\mathbb{R}^4$ matches the automorphism group of the graph $C_n \times C_k$, ensuring no hidden symmetries exist.
• Uses Corollary 1 and Theorem 1 to prove that the 1-skeleton realization without hidden symmetries implies the same for the full quadrangulation $Q_{n,k}$ in the 2-skeleton.
• Applies the concept of flag-transitivity and vertex/face transitivity to define regular and noble 2-polyhedra, showing $Q_{n,n}$ forms a regular toroidal 2-polyhedron in $\mathbb{R}^4$.

Experimental results

Research questions

• RQ1 Can every toroidal quadrangulation $Q_{n,k} = C_n \times C_k$ be geometrically realized in $\mathbb{R}^4$ without hidden symmetries?
• RQ2 Under what conditions does the automorphism group of $Q_{n,k}$ fully extend to geometric symmetries in $\mathbb{R}^4$?
• RQ3 What geometric and group-theoretic conditions yield regular or noble toroidal 2-polyhedra in $\mathbb{R}^4$?
• RQ4 How do the symmetry groups of $C_n \times C_k$ relate to those of their geometric realizations in $\mathbb{R}^4$?
• RQ5 Can the framework be extended to realize regular triangulations and hexagonizations of the torus without hidden symmetries in $\mathbb{R}^4$?

Key findings

• The quadrangulation $Q_{n,k} = C_n \times C_k$ admits a geometric realization in $\mathbb{R}^4$ without hidden symmetries for all $n,k \geq 3$, as proven by Theorem 1.
• For $n \neq k$, the automorphism group of $C_n \times C_k$ has order $4nk$, and for $n = k \neq 4$, it has order $8n^2$, with $n = k = 4$ yielding a special case of order 384.
• The symmetry group of the geometric realization $P^4_{n,k}$ in $\mathbb{R}^4$ matches the automorphism group of $C_n \times C_k$, confirming no hidden symmetries exist.
• The 2-skeleton of $P^4_{n,k}$ provides a geometric realization of $Q_{n,k}$ without hidden symmetries, with $Q_{n,n}$ forming a regular toroidal 2-polyhedron when $n \geq 3$.
• All such regular toroidal 2-polyhedra are inscribed in the Clifford 2-torus in $\mathbb{R}^4$, analogous to regular spherical polyhedra in $\mathbb{R}^3$, as stated in Corollary 3.
• For $n = k = 4$, there are exactly three distinct copies of $Q_{4,4}$ in the 2-skeleton of the 4-cube, as given by the ratio $|{\rm{Aut}}(C_4 \times C_4)| / |{\rm{Aut}}(Q_{4,4})| = 384 / 128 = 3$.