A classification of semi-equivelar gems of PL $d$-manifolds on the surface with Euler characteristic $-1$
Anshu Agarwal, Biplab Basak
TL;DR
The paper addresses the classification of semi-equivelar gems of PL $d$-manifolds that admit a regular embedding on a surface with Euler characteristic $-1$, i.e., the non-orientable surface $ obreak{\#_3\RP^2}$. It reduces the problem by enumerating possible embedding types via a lemma, proves that $5$- and $4$-regular cases cannot occur for such gems, and then provides explicit constructions for twelve distinct $3$-regular embedding types, each yielding a semi-equivelar gem that represents $ obreak{\#_3\RP^2}$. The twelve types are $[(8^3);8], [(6^2,8);24], [(6^2,12);12], [(10^2,4);20], [(12^2,4);12], [(4,6,14);84], [(4,6,16);48], [(4,6,18);36], [(4,6,24);24], [(4,8,10);40], [(4,8,12);24], [(4,8,16);16]$, with explicit constructions illustrated in Figures 1–12. This extends the prior χ≥0 classifications and clarifies the landscape of semi-equivelar gems on the unique non-orientable surface of Euler characteristic $-1$, while highlighting that all resulting gems realize $ obreak{\#_3\RP^2}$ and differentiating gems from semi-equivelar maps.
Abstract
A semi-equivelar gem of a PL $d$-manifold is a regular colored graph that represents the PL $d$-manifold and regularly embeds on a surface, with the property that the cyclic sequence of degrees of faces in the embedding around each vertex is identical. In \cite{bb24}, the authors classified semi-equivelar gems of PL $d$-manifolds embedded on surfaces with Euler characteristics greater than or equal to zero. In this article, we focus on classifying semi-equivelar gems of PL $d$-manifolds embedded on the surface with Euler characteristic $-1$. We prove that if a semi-equivelar gem embeds regularly on the surface with Euler characteristic $-1$, then it belongs to one of the following types: $(8^3), (6^2,8), (6^2,12), (10^2,4), (12^2,4),$ $ (4,6,14), (4,6,16), (4,6,18), (4,6,24), (4,8,10), (4,8,12),$ or $(4,8,16)$. Furthermore, we provide constructions that demonstrate the existence of such gems for each of the aforementioned types.
