正则地区图

在数学中，正则地区图（regular map）是指封闭曲面上的对称镶嵌图。更精确地说，正则地区图是将某个二维流形分解为具对称性之拓朴盘面的分解结果，且该分解使得所有标记（含有点、边与面的三元组）都能在对称性上任意地变换为其他标记。举例来说，立方体对应的图结构是一个正则地区图，因为立方体对应的球面镶嵌（英语：Spherical tiling）可以透过将球面分解为由6个正方形组成的拓朴盘面，且构成该6个正方形的顶点、边和面（前三者的组合为立方体的标记）可以在立方体的对称性上任意地变换为其他标记，换句话说，这些顶点、边和面在特定轴上旋转90度可以重和一次。

立方体是一个球面上的正则地区图，因为立方体的结构（红色虚线）可以对应到球面上形成球面镶嵌（黑线），并将球面分割成6个正方形，且所形成的结构具有与正多面体等价的对称性

六面形是一个球面上的正则地区图，因为六面形可以透过将球面用2个顶点和6条边分割为6个球面二角形。

某种意义上来说，正则地区图也可以视为帕雷托立体的概念在拓朴学上的一种推广。地区图理论及其分类与黎曼曲面理论、双曲几何理论和伽罗瓦理论有关。

概述

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

从拓朴讨论

在拓朴学中，地区图（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]

χ	g	施莱夫利符号	顶点	边	面	群	阶数	图		备注
2	0	{p,2}	p	p	2	C2 × Dihp	4p	Cp		多边形二面体
2	0	{2,p}	2	p	p	C2 × Dihp	4p	p-fold K2		多面形
2	0	{3,3}	4	6	4	S4	24	K4		正四面体
2	0	{4,3}	8	12	6	C2 × S4	48	K4 ×（英语：Tensor product of graphs） K2		立方体
2	0	{3,4}	6	12	8	C2 × S4	48	K2,2,2（英语：Turán graph）		正八面体
2	0	{5,3}	20	30	12	C2 × A5	120			正十二面体
2	0	{3,5}	12	30	20	C2 × A5	120	K6 × K2		正二十面体
1	n1	{2p,2}/2	p	p	1	Dih2p	4p	Cp		多边形二面体半形[9]
1	n1	{2,2p}/2	2	p	p	Dih2p	4p	p-fold K2		多面形半形[9]
1	n1	{4,3}/2	4	6	3	S4	24	K4		立方体半形
1	n1	{3,4}/2	3	6	4	S4	24	2-fold K3		八面体半形
1	n1	{5,3}/2	10	15	6	A5	60	佩特森图		十二面体半形
1	n1	{3,5}/2	6	15	10	A5	60	K6		二十面体半形

下图展示了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}1,0 (v:1, e:2, f:1)	{4,4}1,1 (v:2, e:4, f:2)	{4,4}2,0 (v:4, e:8, f:4)	{4,4}2,1 (v:5, e:10, f:5)	{4,4}2,2 (v:8, e:16, f:8)
{3,6}1,0 (v:1, e:3, f:2)	{3,6}1,1 (v:3, e:9, f:6)	{3,6}2,0 (v:4, e:12, f:8)	{3,6}2,1 (v:7, e:21, f:14)	{3,6}2,2 (v:12, e:36, f:24)
{6,3}1,0 (v:2, e:3, f:1)	{6,3}1,1 (v:6, e:9, f:3)	{6,3}2,0 (v:8, e:12, f:4)	{6,3}2,1 (v:14, e:21, f:7)	{6,3}2,2 (v:24, e:36, f:12)

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

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