Polyhedra, lattice structures, and extensions of semigroups

Abstract

For an arbitrary rational polyhedron we consider its decompositions into Minkowski summands and, dual to this, the free extensions of the associated pair of semigroups. Being free for the pair of semigroups is equivalent to flatness for the corresponding algebras. Our main result is phrased in this dual setup: the category of free extensions always contains an initial object, which we describe explicitly. These objects seem to be related to unique liftings in log geometry. Further motivation comes from the deformation theory of the associated toric singularity.