Projective polyhedron

In geometry, a (globally) projective polyhedron is a tessellation of the real projective plane. These are projective analogs of polyhedra, which can be interpreted as spherical polyhedra – tessellations of the sphere, and analogous to toroidal polyhedra – tessellations of the torus.

As cellular decompositions of the projective plane, they have Euler characteristic 1, while spherical polyhedra have Euler characteristic 2. The qualifier "globally" is to contrast with locally projective polyhedra, which are defined in the theory of abstract polyhedra.

Examples

The best-known examples of projective polyhedra are the quotients of the Platonic solids:

• Hemi-cube
• Hemi-octahedron
• Hemi-dodecahedron
• Hemi-icosahedron

On the other hand, the tetrahedron is not preserved under reflection through the origin, so there is no "hemi-tetrahedron". See relation with spherical polyhedra below on how the tetrahedron is treated.

The tetrahemihexahedron is a projective polyhedron.

Note that the prefix "hemi-" is also used to refer to hemipolyhedron, which are uniform polyhedra that pass through the center. Of these, only the tetrahemihexahedron is topologically a projective polyhedron, as can be verified by its Euler characteristic and visually obvious connection to the Roman surface. It is 2-covered by the cuboctahedron, and is the only uniform polyhedron that is projective.

Relation with spherical polyhedra

There is a 2-to-1 covering map $S^{2}\to \mathbf {RP} ^{2}$ of the sphere to the projective plane.

This does not precisely yield a Galois connection between spherical polyhedra and projective polyhedra as follows – every projective polyhedron yields a spherical polyhedron (by 2-fold cover), but a spherical polyhedron which is not symmetric through the origin does not define a projective polyhedron.

Spherical polyhedra are related to projective polyhedra (tessallations of the real projective plane) – just as the sphere has a 2-to-1 covering map of the projective plane, projective polyhedra correspond under 2-fold cover to spherical polyhedra that are symmetric under reflection through the origin.

For example, the 2-fold cover of the (projective) hemi-cube is the (spherical) cube. hemi-cube: 4 vertices, 3 faces, 6 edges; cube: 8 vertices, 6 faces, 12 edges

tetrahedron: 4 vertices, 6 edges, 4 faces; adjunction yields 8 vertices (of the cube)

For tetrahedron it’s trickier – natural adjunction is improper (Stellated octahedron), while triakis octahedron is less natural but proper.

Generalizations

In the context of abstract polytopes, one instead refers to "locally projective polytopes" – see Abstract polytope: Local topology. For example, the 11-cell is a "locally projective polytope", but is not a projective polyhedron, nor indeed tessellates any manifold, as it not locally Euclidean, but rather locally projective, as the name indicates.

Projective polytopes can be defined in higher dimension as tessellations of projective space in higher dimensions. Defining k-dimensional projective polytopes in n-dimensional projective space is somewhat trickier, because the usual definition requires taking convex combinations of points, which is not a projective concept, and is infrequently addressed in the literature, but has been defined, such as in (Vives & Mayo 1991).

Symmetry group

The symmetry group of a projective polyhedron is the rotational symmetry group of the covering spherical polyhedron; the full symmetry group of the spherical polyhedron is then just the direct product with reflection through the origin, which is the kernel on passage to projective space.

See also projective orthogonal group and binary polyhedral group.

See also

• Spherical polyhedron
• Toroidal polyhedron

References

• Hilbert, David; Cohn-Vossen, S. (1999), Geometry and the imagination, AMS Bookstore, p. 147, ISBN 978-0-82181998-2
• Vives, Gilberto Calvillo; Mayo, Guillermo Lopez (1991). Advances in numerical partial differential equations and optimization. Fifth United States-Mexico Workshop. SIAM. pp. 43–49. ISBN 978-0-89871269-8. {{cite conference}}: Unknown parameter |booktitle= ignored (|book-title= suggested) (help); Unknown parameter |editors= ignored (|editor= suggested) (help)
• McMullen, Peter; Schulte, Egon (2002), "6C. Projective Regular Polytopes", Abstract Regular Polytopes (1st ed.), Cambridge University Press, pp. 162–165, ISBN 0-521-81496-0 {{citation}}: Unknown parameter |month= ignored (help)
• Schulte, Egon; Weiss, Asia Ivic (2006), "5 Topological classification", Problems on Polytopes, Their Groups, and Realizations, pp. 9–13, arXiv:math/0608397v1