Abstract:We investigate polytopes inscribed into a sphere that are normally equivalent (or strongly isomorphic) to a given polytope $P$. We show that the associated space of polytopes, called the inscribed cone of $P$, is closed under Minkowski addition. Inscribed cones are interpreted as type cones of ideal hyperbolic polytopes and as deformation spaces of Delaunay subdivisions. In particular, testing if there is an inscribed polytope normally equivalent to $P$ is polynomial time solvable. Normal equivalence is decided on the level of normal fans and we study the structure of inscribed cones for various classes of polytopes and fans, including simple, simplicial, and even. We classify (virtually) inscribable fans in dimension $2$ as well as inscribable permutahedra and nestohedra. A second goal of the paper is to introduce inscribed virtual polytopes. Polytopes with a fixed normal fan $\mathcal{N}$ form a monoid with respect to Minkowski addition and the associated Grothendieck group is called the type space of $\mathcal{N}$. Elements of the type space correspond to formal Minkowski differences and are naturally equipped with vertices and hence with a notion of inscribability. We show that inscribed virtual polytopes form a subgroup, which can be non-trivial even if $\mathcal{N}$ does not have actual inscribed polytopes. We relate inscribed virtual polytopes to routed particle trajectories, that is, piecewise-linear trajectories of particles in a ball with restricted directions. The state spaces gives rise to connected groupoids generated by reflections, called reflection groupoids. The endomorphism groups of reflection groupoids can be thought of as discrete holonomy groups of the trajectories and we determine when they are reflection groups.

On the cusped fan in a planar portrait of a manifold

How to Depict 5-Dimensional Manifolds

Cusp-transitive 4-manifolds with every cusp section

Elimination of cusps in dimension 4 and its applications

On the structure of complete kählerian manifolds furnished with closed conformal vector fields

An uncountable family of smooth fans that admit transitive homeomorphisms

The salient crossings of a crown diagram

Two-bridge links and stable maps into the plane

Weakly and Strongly Fan-Planar Graphs

Some cusp-transitive hyperbolic 4-manifolds

On fan-crossing graphs

Invariance property of orbifold elliptic genus for multi-fans

From diffeomorphisms to exotic phenomena in small 4-manifolds

Complex geometry of moment-angle manifolds

On Bismut Flat Manifolds

Toric origami manifolds and multi-fans

Simplifying generic smooth maps to the 2-sphere and to the plane

Smooth structures on four-manifolds with finite cyclic fundamental groups

Inscribable fans I: Inscribed cones and virtual polytopes

Transitive mappings on the Cantor fan

Superabundant curves and the Artin fan