Locally projective polytopes of type {4,3,…,3,p}

This paper attempts to classify the locally projective section regular n-polytopes of type {4,3,…,3,p}, that is, to classify polytopes whose facets are cubes or hemicubes, and the vertex figures are spherical or projective polytopes of type {3,…,3,p}, with the facets and vertex figures being not both spherical. Spherical or projective (n−1)-polytopes of type {3,…,3,p} only exist when p⩽4, or p=5 and n−1⩽4, or n−1=2. However, some existence and non-existence results are obtained for other values of p and n. In particular, a link is derived between the existence of polytopes of certain types, and vertex-colourability of certain graphs. The main result of the paper is that locally projective section regular n-polytopes exist only when p=4, or when p=5 and n=4 or 5.