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]
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.
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]
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.
Name | Petrial 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 |
Faces | 3 skew squares | 4 skew hexagons | 6 skew decagons | ||
Image | |||||
Animation | |||||
Related figures | {4,3}3 = {4,3}/2 = {4,3}(2,0) | {6,3}3 = {6,3}(2,0) | {6,4}3 = {6,4}(4,0) | {10,3}5 | {10,5}3 |
There are also 4 petrials of the Kepler–Poinsot polyhedra:
Name | Petrial 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 |
Faces | 10 skew hexagons | 6 skew decagrams (one blue decagram outlined) | ||
Image | ||||
Animation |
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.
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.
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.
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.
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).
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.
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}.
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.
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.
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.
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.
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.
In geometry, a regular skew apeirohedron is an infinite regular skew polyhedron. They have either skew regular faces or skew regular vertex figures.