Inmathematics, aregular map is a symmetrictessellation of a closedsurface. More precisely, a regular map is adecomposition of a two-dimensionalmanifold (such as asphere,torus, orreal projective plane) into topological disks such that everyflag (an incident vertex-edge-face triple) can be transformed into any other flag by asymmetry of the decomposition. Regular maps are, in a sense, topological generalizations ofPlatonic solids. The theory of maps and their classification is related to the theory ofRiemann surfaces,hyperbolic geometry, andGalois theory. Regular maps are classified according to either: thegenus andorientability of the supporting surface, theunderlying graph, or theautomorphism group.

Regular maps are typically defined and studied in three ways: topologically, group-theoretically, and graph-theoretically.

Topologically, a map is a2-cell decomposition of a compact connected 2-manifold.^[1]

The genus g, of a map M is given byEuler's relation${\displaystyle \chi (M)=|V|-|E|+|F|}$ which is equal to${\displaystyle 2-2g}$ if the map is orientable, and${\displaystyle 2-g}$ if the map is non-orientable. It is a crucial fact that there is a finite (non-zero) number of regular maps for every orientable genus except the torus.

Group-theoretically, the permutation representation of a regular mapM is a transitivepermutation group C, on a set${\displaystyle \mathrm{\Omega }}$ offlags, generated by three fixed-point free involutionsr₀,r₁,r₂ satisfying (r₀r₂)²= I. In this definition the faces are the orbits ofF = <r₀, r₁>, edges are the orbits ofE = <r₀, r₂>, and vertices are the orbits ofV = <r₁, r₂>. More abstractly, the automorphism group of any regular map is the non-degenerate, homomorphic image of a <2,m,n>-triangle group.

Graph-theoretically, a map is a cubic graph${\displaystyle \mathrm{\Gamma }}$ with edges coloured blue, yellow, red such that:${\displaystyle \mathrm{\Gamma }}$ is connected, every vertex is incident to one edge of each colour, and cycles of edges not coloured yellow have length 4. Note that${\displaystyle \mathrm{\Gamma }}$ is theflag graph orgraph-encoded map (GEM) of the map, defined on the vertex set of flags${\displaystyle \mathrm{\Omega }}$ and is not the skeleton G = (V,E) of the map. In general, |${\displaystyle \mathrm{\Omega }}$| = 4|E|.

A map M is regular if Aut(M)actsregularly on the flags. Aut(M) of a regular map is transitive on the vertices, edges, and faces of M. A mapM is said to be reflexible iff Aut(M) is regular and contains an automorphism${\displaystyle \varphi }$ that fixes both a vertex v and a face f, but reverses the order of the edges. A map which is regular but not reflexible is said to bechiral.

• Thegreat dodecahedron is a regular map with pentagonal faces in the orientable surface of genus 4.
• Thehemicube is a regular map of type {4,3} in theprojective plane.
• Thehemi-dodecahedron is a regular map produced by pentagonal embedding of the Petersen graph in the projective plane.
• The p-hosohedron is a regular map of type {2,p}.
• TheDyck map is a regular map of 12 octagons on a genus-3 surface. Its underlying graph, theDyck graph, can also form a regular map of 16 hexagons in a torus.

The following is a complete list of regular maps in surfaces of positiveEuler characteristic, χ: the sphere and the projective plane.^[2]

χ	g	Schläfli	Vert.	Edges	Faces	Group	Order	Graph		Notes
2	0	{p,2}	p	p	2	C2 ×Dihp	4p	Cp		Dihedron
2	0	{2,p}	2	p	p	C2 × Dihp	4p	p-foldK2		Hosohedron
2	0	{3,3}	4	6	4	S4	24	K4		Tetrahedron
2	0	{4,3}	8	12	6	C2 × S4	48	K4×K2		Cube
2	0	{3,4}	6	12	8	C2 × S4	48	K2,2,2		Octahedron
2	0	{5,3}	20	30	12	C2 ×A5	120			Dodecahedron
2	0	{3,5}	12	30	20	C2 × A5	120	K6×K2		Icosahedron
1	n1	{2p,2}/2	p	p	1	Dih2p	4p	Cp		Hemi-dihedron[3]
1	n1	{2,2p}/2	2	p	p	Dih2p	4p	p-foldK2		Hemi-hosohedron[3]
1	n1	{4,3}/2	4	6	3	S4	24	K4		Hemicube
1	n1	{3,4}/2	3	6	4	S4	24	2-foldK3		Hemioctahedron
1	n1	{5,3}/2	10	15	6	A5	60	Petersen graph		Hemidodecahedron
1	n1	{3,5}/2	6	15	10	A5	60	K6		Hemi-icosahedron

The images below show three of the 20 regular maps in thetriple torus, labelled with their Schläfli types.

• 
  {6,4}
• 
  {4,8}
• 
  {8,4}

Example visualized as nets

{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)

Regular maps exist as torohedral polyhedra as finite portions of Euclidean tilings, wrapped onto the surface of aduocylinder as aflat torus. These are labeled {4,4}_b,c for those related to thesquare tiling, {4,4}.^[4] {3,6}_b,c are related to thetriangular tiling, {3,6}, and {6,3}_b,c related to thehexagonal tiling, {6,3}.b andc arewhole numbers.^[5] There are 2 special cases (b,0) and (b,b) with reflective symmetry, while the general cases exist in chiral pairs (b,c) and (c,b).

Regular maps of the form {4,4}_m,0 can be represented as the finiteregular skew polyhedron {4,4 |m}, seen as the square faces of am×mduoprism in 4-dimensions.

Here's an example {4,4}_8,0 mapped from a plane as achessboard to a cylinder section to a torus. The projection from a cylinder to a torus distorts the geometry in 3 dimensions, but can be done without distortion in 4-dimensions.

In generally regular toroidal polyhedra {p,q}_b,c can be defined if eitherp orq are even, although only euclidean ones above can exist as toroidal polyhedra in 4-dimensions. In {2p,q}, the paths (b,c) can be defined as stepping face-edge-face in straight lines, while the dual {p,2q} forms will see the paths (b,c) as stepping vertex-edge-vertex in straight lines.

The map {6,4}3 can be seen as {6,4}4,0. Following opposite edges will traverse all 4 hexagons in sequence. It exists in thepetrial octahedron, {3,4}π with 6 vertices, 12 edges and 4 skew hexagon faces.

• Topological graph theory
• Abstract polytope
• Planar graph
• Toroidal graph
• Graph embedding
• Regular tiling
• Platonic solid
• Platonic graph

• Coxeter, H. S. M.; Moser, W. O. J. (1980),Generators and Relations for Discrete Groups, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 14 (4th ed.), Springer Verlag,ISBN 978-0-387-09212-6.
• van Wijk, Jarke J. (2009),"Symmetric tiling of closed surfaces: Visualization of regular maps"(PDF), Proc. SIGGRAPH,ACM Transactions on Graphics,28 (3) 49:1–12,doi:10.1145/1531326.1531355, archived fromthe original(PDF) on 2011-06-09.
• Conder, Marston; Dobcsányi, Peter (2001), "Determination of all regular maps of small genus",Journal of Combinatorial Theory, Series B,81 (2):224–242,doi:10.1006/jctb.2000.2008.
• Nedela, Roman (2007),Maps, Hypermaps, and Related Topics(PDF), archived fromthe original(PDF) on 2016-03-04, retrieved2009-08-31.
• Vince, Andrew (2004), "Maps",Handbook of Graph Theory.
• Brehm, Ulrich; Schulte, Egon (2004), "Polyhedral Maps",Handbook of Discrete and Computational Geometry.
• Séquin, Carlo (2013),"Symmetrical immersions of low-genus non-orientable regular maps"(PDF),Berkeley University.

• Topological graph theory
• Discrete geometry

• Articles with short description
• Short description matches Wikidata