arXiv++ Combinatorics

This article introduces the theory of Veronese polytopes, a broad generalisation of cyclic polytopes. These arise as convex hulls of points on curves with one or more connected components, obtained as the image of the rational normal curve in affine charts. We describe their facial structure by extending Gale's evenness condition, and provide a further combinatorial characterisation of facets via $σ$-parity alternating sequences. Notably, we establish a bijective correspondence between combinatorial types of Veronese polytopes and partitions of finite sets equipped with a cyclic order, called circular compositions. We show that, although the only Veronese $3$-polytopes are the cyclic $3$-polytopes and the octahedron, in general dimension they form a rich and diverse class including all combinatorial types of simplicial $d$-polytopes with at most $d+3$ vertices, the cross-polytope and particular stacked polytopes. In addition, we characterise which curves defining Veronese polytopes are $d$-order curves, and provide a closed formula for the number of facets of any Veronese polytope.

Factorization structures occur in toric differential and discrete geometry, and can be viewed in multiple ways, e.g., as objects determining substantial classes of explicit toric Sasaki and Kähler geometries, as special coordinates on such, or as an apex generalisation of cyclic polytopes featuring a generalised Gale's evenness condition. This article presents a comprehensive study of factorization structures. It establishes their structure theory and introduces their use in the geometry of cones and polytopes. The article explains the construction of polytopes and cones compatible with a given factorization structure, and exemplifies it for product Segre-Veronese and Veronese factorization structures, where the latter case includes cyclic polytopes. Further, it derives the generalised Gale's evenness condition for compatible cones, polytopes and their duals, and explicitly describes faces of these. Factorization structures naturally provide generalised Vandermonde identities, which relate normals of any compatible polytope, and which are used for Veronese factorization structure to find examples of Delzant and rational Delzant compatible polytopes. The article offers a myriad of factorization structure examples, which are later characterised to be precisely factorization structures with decomposable curves, and raises the question if these encompass all factorization structures, i.e., the existence of an indecomposable factorization curve.