In this paper we study various scribability problems for polytopes. We begin with the classical k-scribability problem proposed by Steiner and generalized by Schulte, which asks about the existence of d-polytopes that cannot be realized with all k-faces tangent to a sphere. We answer this problem for stacked and cyclic polytopes for all values of d and k. We then continue with the weak scribability problem proposed by Grünbaum and Shephard, for which we complete the work of Schulte by presenting non weakly circumscribable 3-polytopes. Finally, we propose new (i, j)-scribability problems, in a strong and a weak version, which generalize the classical ones. They ask about the existence of d-polytopes that can not be realized with all their i-faces "avoiding" the sphere and all their j-faces "cutting" the sphere. We provide such examples for all the cases where j − i ≤ d − 3.
Lorentzian view of polytopesClassical scribability problems only consider bounded convex polytopes in Euclidean space. To define polarity properly in this setup, one must assume that the polytope contains the origin in its interior. This presents the major difficulty in Schulte's work on weak k-scribability, and also leads to a minor flaw in his proof regarding strong k-scribability (see Remark 3.3).We find it more natural and convenient to work with spherical polytopes, which arise from pointed polyhedral cones in Lorentzian space. This section is dedicated to the introduction of this setup. The main advantage is that, for spherical polytopes, polarity is always well-defined and well-behaved. This facilitates the study of weak scribability and enables us to obtain Theorem 4. At the same time, as we will see in Lemma 3.2, strong scribability in spherical space and in Euclidean space are equivalent, so the new setting is compatible with previous studies. In fact, the presence of spherical geometry is necessary only in few occasions (e.g. Example 3.5).2.1. Convex polyhedral cones in Lorentzian space. A (closed) non-empty subset of R d+1 is a convex cone if it is closed under positive linear combinations. A convex cone is pointed if it does not contain any linear subspace of R d+1 . A convex cone is polyhedral if it is the conical hull of finitely many vectors in R d+1 , i.e. a set K of the form