Petrie dual

Last updated
Skeleton 12, Petrie, stick, size l.png
Skeleton 12, Petrie, stick, size l, 5-fold.png
The Petrie polygon of the dodecahedron is a skew decagon. Seen from the solid's 5-fold symmetry axis it looks like a regular decagon. Every pair of consecutive sides belongs to one pentagon (but no triple does).

In topological graph theory, the Petrie dual of an embedded graph (on a 2-manifold with all faces disks) is another embedded graph that has the Petrie polygons of the first embedding as its faces. [1]

Contents

The Petrie dual is also called the Petrial, and the Petrie dual of an embedded graph may be denoted . [2] It can be obtained from a signed rotation system or ribbon graph representation of the embedding by twisting every edge of the embedding.

Properties

Like the usual dual graph, repeating the Petrie dual operation twice returns to the original surface embedding. Unlike the usual dual graph (which is an embedding of a generally different graph in the same surface) the Petrie dual is an embedding of the same graph in a generally different surface. [1]

Surface duality and Petrie duality are two of the six Wilson operations, and together generate the group of these operations. [3]

Regular polyhedra

Applying the Petrie dual to a regular polyhedron produces a regular map. [2] The number of skew h-gonal faces is g/2h, where g is the group order, and h is the coxeter number of the group.

For example, the Petrie dual of a cube (a bipartite graph with eight vertices and twelve edges, embedded onto a sphere with six square faces) has four [4] hexagonal faces, the equators of the cube. Topologically, it forms an embedding of the same graph onto a torus. [1]

The regular maps obtained in this way are as follows.

Regular petrials
NamePetrial
tetrahedron
Petrial
cube
Petrial
octahedron
Petrial
dodecahedron
Petrial
icosahedron
Symbol{3,3}π , {4,3}3{4,3}π , {6,3}4{3,4}π , {6,4}3{5,3}π , {10,3}{3,5}π , {10,5}
(v,e,f), χ (4,6,3), χ = 1(8,12,4), χ = 0(6,12,4), χ = −2(20,30,6), χ = −4(12,30,6), χ = −12
Faces3 skew squares
Face of petrial tetrahedron.gif
4 skew hexagons6 skew decagons
Face of petrial cube.gif Face of petrial octahedron.gif Face of petrial dodecahedron.gif Face of petrial icosahedron.gif
Image Tetrahedron 3 petrie polygons.png Cube 4 petrie polygons.png Octahedron 4 petrie polygons.png Petrial dodecahedron.png Petrial icosahedron.png
Animation Petrial tetrahedron.gif Petrial cube.gif Petrial octahedron.gif Petrial dodecahedron.gif Petrial icosahedron.gif
Related
figures
Hemicube.svg
{4,3}3 = {4,3}/2 = {4,3}(2,0)
Regular map 6-3 2-0.png
{6,3}3 = {6,3}(2,0)
Regular map 6 4-3 pattern.png
{6,4}3 = {6,4}(4,0)
{10,3}5{10,5}3

There are also 4 petrials of the Kepler–Poinsot polyhedra:

Regular star petrials
NamePetrial
great
dodecahedron
Petrial
small stellated
dodecahedron
Petrial
great
icosahedron
Petrial
great stellated
dodecahedron
Symbol{5,5/2}π , {6,5/2}{5/2,5}π , {6,5}{3,5/2}π , {10/3,5/2}{5/2,3}π , {10/3,3}
(v,e,f), χ (12,30,10), χ = -8(12,30,10), χ = -8(12,30,6), χ = -12(20,30,6), χ = -4
Faces10 skew hexagons6 skew decagrams (one blue decagram outlined)
Face of petrial great dodecahedron.gif Face of petrial small stellated dodecahedron.gif Face of petrial great icosahedron.gif Face of petrial great stellated dodecahedron.gif
Image Petrial great dodecahedron.png Petrial small stellated dodecahedron.png Petrial great icosahedron.png Petrial great stellated dodecahedron.png
Animation Petrial great dodecahedron.gif Petrial small stellated dodecahedron.gif Petrial great icosahedron.gif Petrial great stellated dodecahedron.gif

Related Research Articles

<span class="mw-page-title-main">Cube</span> Solid object with six equal square faces

In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets, or sides, with three meeting at each vertex. Viewed from a corner, it is a hexagon and its net is usually depicted as a cross.

In geometry, a dodecahedron or duodecahedron is any polyhedron with twelve flat faces. The most familiar dodecahedron is the regular dodecahedron with regular pentagons as faces, which is a Platonic solid. There are also three regular star dodecahedra, which are constructed as stellations of the convex form. All of these have icosahedral symmetry, order 120.

<span class="mw-page-title-main">Dual polyhedron</span> Polyhedron associated with another by swapping vertices for faces

In geometry, every polyhedron is associated with a second dual structure, where the vertices of one correspond to the faces of the other, and the edges between pairs of vertices of one correspond to the edges between pairs of faces of the other. Such dual figures remain combinatorial or abstract polyhedra, but not all can also be constructed as geometric polyhedra. Starting with any given polyhedron, the dual of its dual is the original polyhedron.

In geometry, a polyhedral compound is a figure that is composed of several polyhedra sharing a common centre. They are the three-dimensional analogs of polygonal compounds such as the hexagram.

<span class="mw-page-title-main">Rhombicosidodecahedron</span> Archimedean solid

In geometry, the rhombicosidodecahedron is an Archimedean solid, one of thirteen convex isogonal nonprismatic solids constructed of two or more types of regular polygon faces.

A regular polyhedron is a polyhedron whose symmetry group acts transitively on its flags. A regular polyhedron is highly symmetrical, being all of edge-transitive, vertex-transitive and face-transitive. In classical contexts, many different equivalent definitions are used; a common one is that the faces are congruent regular polygons which are assembled in the same way around each vertex.

In geometry, the (angular) defect means the failure of some angles to add up to the expected amount of 360° or 180°, when such angles in the Euclidean plane would. The opposite notion is the excess.

<span class="mw-page-title-main">120-cell</span> Four-dimensional analog of the dodecahedron

In geometry, the 120-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol {5,3,3}. It is also called a C120, dodecaplex (short for "dodecahedral complex"), hyperdodecahedron, polydodecahedron, hecatonicosachoron, dodecacontachoron and hecatonicosahedroid.

<span class="mw-page-title-main">Dodecadodecahedron</span> Polyhedron with 24 faces

In geometry, the dodecadodecahedron is a nonconvex uniform polyhedron, indexed as U36. It is the rectification of the great dodecahedron (and that of its dual, the small stellated dodecahedron). It was discovered independently by Hess (1878), Badoureau (1881) and Pitsch (1882).

<span class="mw-page-title-main">Truncation (geometry)</span> Operation that cuts polytope vertices, creating a new facet in place of each vertex

In geometry, a truncation is an operation in any dimension that cuts polytope vertices, creating a new facet in place of each vertex. The term originates from Kepler's names for the Archimedean solids.

<span class="mw-page-title-main">Regular dodecahedron</span> Polyhedron with 12 regular pentagonal faces

A regular dodecahedron or pentagonal dodecahedron is a dodecahedron that is regular, which is composed of 12 regular pentagonal faces, three meeting at each vertex. It is one of the five Platonic solids. It has 12 faces, 20 vertices, 30 edges, and 160 diagonals. It is represented by the Schläfli symbol {5,3}.

<span class="mw-page-title-main">Petrie polygon</span> Skew polygon derived from a polytope

In geometry, a Petrie polygon for a regular polytope of n dimensions is a skew polygon in which every n – 1 consecutive sides belongs to one of the facets. The Petrie polygon of a regular polygon is the regular polygon itself; that of a regular polyhedron is a skew polygon such that every two consecutive sides belongs to one of the faces. Petrie polygons are named for mathematician John Flinders Petrie.

<span class="mw-page-title-main">Regular map (graph theory)</span> Symmetric tessellation of a closed surface

In mathematics, a regular map is a symmetric tessellation of a closed surface. More precisely, a regular map is a decomposition of a two-dimensional manifold into topological disks such that every flag can be transformed into any other flag by a symmetry of the decomposition. Regular maps are, in a sense, topological generalizations of Platonic solids. The theory of maps and their classification is related to the theory of Riemann surfaces, hyperbolic geometry, and Galois theory. Regular maps are classified according to either: the genus and orientability of the supporting surface, the underlying graph, or the automorphism group.

<span class="mw-page-title-main">Excavated dodecahedron</span>

In geometry, the excavated dodecahedron is a star polyhedron that looks like a dodecahedron with concave pentagonal pyramids in place of its faces. Its exterior surface represents the Ef1g1 stellation of the icosahedron. It appears in Magnus Wenninger's book Polyhedron Models as model 28, the third stellation of icosahedron.

<span class="mw-page-title-main">Density (polytope)</span> Number of windings of a polytope around its center of symmetry

In geometry, the density of a star polyhedron is a generalization of the concept of winding number from two dimensions to higher dimensions, representing the number of windings of the polyhedron around the center of symmetry of the polyhedron. It can be determined by passing a ray from the center to infinity, passing only through the facets of the polytope and not through any lower dimensional features, and counting how many facets it passes through. For polyhedra for which this count does not depend on the choice of the ray, and for which the central point is not itself on any facet, the density is given by this count of crossed facets.

<span class="mw-page-title-main">Order-5 hexagonal tiling honeycomb</span>

In the field of hyperbolic geometry, the order-5 hexagonal tiling honeycomb arises as one of 11 regular paracompact honeycombs in 3-dimensional hyperbolic space. It is paracompact because it has cells composed of an infinite number of faces. Each cell consists of a hexagonal tiling whose vertices lie on a horosphere, a flat plane in hyperbolic space that approaches a single ideal point at infinity.

<span class="mw-page-title-main">Regular skew apeirohedron</span> Infinite regular skew polyhedron

In geometry, a regular skew apeirohedron is an infinite regular skew polyhedron. They have either skew regular faces or skew regular vertex figures.

References

  1. 1 2 3 Pisanski, Tomaž; Randić, Milan (2000), "Bridges between geometry and graph theory", in Gorini, Catherine A. (ed.), Geometry at work, MAA Notes, vol. 53, Washington, DC: Math. Assoc. America, pp. 174–194, MR   1782654 . See in particular p. 181.
  2. 1 2 McMullen, Peter; Schulte, Egon (2002), Abstract Regular Polytopes, Encyclopedia of Mathematics and its Applications, vol. 92, Cambridge University Press, p. 192, ISBN   9780521814966
  3. Jones, G. A.; Thornton, J. S. (1983), "Operations on maps, and outer automorphisms", Journal of Combinatorial Theory , Series B, 35 (2): 93–103, doi: 10.1016/0095-8956(83)90065-5 , MR   0733017
  4. Octahedral symmetry is order 48, Coxeter number is 6, 48/(2×6)=4