An exploration of locally projective polytopes

This article completes the classification of finite universal locally projective regular abstract polytopes, by summarising (with careful references) previously published results on the topic, and resolving the few cases that do not appear in the literature. In rank 4, all quotients of the locally projective polytopes are also noted. In addition, the article almost completes the classification of the infinite universal locally projective polytopes, except for the {{5,3,3,},{3,3,5} 15 } and its dual. It is shown that this polytope cannot be finite, but its existence is not established. The most remarkable feature of the classification is that a nondegenerate universal locally projective polytope is infinite if and only if the rank of is 5 and the facets of or its dual are the hemi-120-cell {5,3,3} 15 .