正则地区图

正则地区图的定义和研究通常会透过拓朴、群论和图论的三种方式进行。

从拓朴讨论

在拓朴学中，地区图（map）是封闭且紧凑之2-流形的2-胞复形分解。其亏格可以用欧拉示性数导出${\displaystyle \chi (M)=|V|-|E|+|F|}$ 。若地区图具备可定向性，则其值等于${\displaystyle 2-2g}$ ，否则为${\displaystyle 2-g}$ 。^[1][2]除了环面之外，每个可定向亏格都有有限个（非零）正则地区图。^[3]

从群论讨论

在群论中，正则地区图的排列是一个由标记构成的集合${\displaystyle \Omega }$ 上的可迁格序置换群（transitive permutation group），由3个定点的自由对合r₀, r₁, r₂，并满足(r₀r₂)²= I。在这个定义下，面为F = <r₀, r₁>的轨道、边为E = <r₀, r₂>的轨道、顶点为V = <r₁, r₂>的轨道。更抽象地，任何正则地区图的自同构群都是 <2,m,n>-三角群的非退化同构图。^[2]

从图论讨论

在图论中，地区图是一种立方图，其可以表示为以三种颜色染色的着色图（下文以红、黄、蓝三种颜色表示之），是一种连通图，且每个顶点都与所有颜色的边相接，非黄色的边出现周期为4。另外，这种图也是一种定义于顶点集合或标记集合${\displaystyle \Omega }$ 上的标记图（flag graph）或图编码图（英语：Graph-encoded map）（GEM），且非地区图的骨架 G = (V,E)。一般来说，|${\displaystyle \Omega }$ | = 4|E|。^[4]

• 大十二面体是一个由五边形面组成且位于亏格为4的可定向曲面上的正则地区图。^[3]
• 立方体半形是射影平面，形式为{4,3}的正则地区图。^[5]
• 十二面体半形是将佩特森图以五边形嵌入实射影平面所产生的正则地区图。^[6]
• p面形（有p个面的多面形）是一个形式为{2,p}的正则地区图。^[7]

以下是位于欧拉示性数为正之曲面上的正则地区图完整列表^[8]

下图展示了3种在亏格为3之环面上的正则地区图，并标上对应的施莱夫利符号。

•  

  {6,4}

•  

  {4,8}

•  

  {8,4}

正则地区图也可以以环形多面体（英语：Toroidal_polyhedron）的形式存在。这种几何结构是包裹在圆柱体的四维柱（英语：Duocylinder）表面上之欧氏平面镶崁图之有限部分。例如由正方形镶嵌（施莱夫利符号：{4,4}）的局部包裹在圆柱体的四维柱表面上所构成的正则地区图可以计为{4,4}_b,c^[10]。同理，若与正三角形镶嵌（施莱夫利符号：{3,6}）或其对偶正六边形镶嵌（施莱夫利符号：{6,3}）的正则地区图则可以计为{3,6}_b,c与{6,3}_b,c，其中b与c皆为整数^[11]。

形式为{4,4}_m,0的正则地区图可以对应到形式为{4,4 | m}的扭歪正多面体，其代表每个面都是正方形，且每个顶点都是4个正方形的公共顶点，并形成m边形孔洞的几何结构。其可以由四维m角柱体柱的面建构。^[12]

下图为{4,4}_8,0从平面棋盘就构为环面的一个例子。这个例子可以不透过四维几何结构完成建构。