arXiv++ Combinatorics

Oda's smoothness conjecture asserts that every smooth lattice polytope has the integer decomposition property. The three-dimensional case of this conjecture was recently proven by AI. Here we give a much shorter proof of this result.

We prove that the dimension of the deformation cone of any polytope combinatorially equivalent to a 2-cubical zonotope is bounded above by the number of generators of the zonotope. This bound is tight, and we show that it cannot be improved to an identity. We further extend our results to any 2-cubical polytope whose normal fan is combinatorially isomorphic to a pseudohyperplane arrangement, but we show that it cannot be extended to arbitrary 2-cubical polytopes.

We prove that the combinatorial type of a slice of the cube by a hyperplane is completely determined by its graph, within the class of cube slices. We also show that such a result cannot extend to slices of arbitrary simple polytopes by constructing a simple polytope that has two combinatorially distinct slices with isomorphic graphs.

We show that every lattice weak Minkowski summand of a smooth polytope combinatorially isomorphic to a product of simplices has a quadratic triangulation. This is achieved by identifying this class of polytopes with the class of Nakajima polytopes. We combine these results to give a new proof that two lattice weak Minkowski summands of the same such smooth polytope are relatively IDP. Along the way, we prove a structure theorem for simple polytopes whose 2-faces are triangles and trapezoids.

Tadao Oda conjectured that every smooth polytope has the Integer Decomposition Property. In this paper, we show this result for a subclass of polytopes: smooth combinatorial cubes of any dimension.