The paper resolves a conjecture about certain geometric objects called polytopes that are built from ordered sets. When you have a collection of items with a ranking or ordering relationship among them, you can construct a specific geometric shape (a polytope) that encodes that ordering. A key numerical fingerprint of any such shape is its "h-star polynomial," which packages together information about how many grid points (points with whole-number coordinates) fall inside or on the boundary of the shape when you scale it up by whole-number factors. The conjecture, made by Athanasiadis and Chapoton, said that a particular way of combining two ordered sets, called an ordinal sum, causes their corresponding h-star polynomials to simply multiply together. Ordinal sum means stacking one ordered set entirely above another, so every element of the first is ranked below every element of the second.
The authors prove this conjecture in full generality, including cases where some items in the ordering are considered equivalent to each other rather than strictly ranked. The proof strategy is geometric: instead of working directly with the combined shape, they construct a carefully designed transformation, called a piecewise unimodular shear, that maps a simpler combined shape (a free sum of the two polytopes) onto the target polytope. The transformation preserves the integer grid structure at every scale of magnification, which is exactly what is needed to relate the grid-point counts of the simpler shape to those of the harder one.
The technical heart of the argument is a formula that describes the geometry of these polytopes using a concept called the Minkowski functional, which measures how far a point is from the center of the shape. The authors show that after applying their shear transformation, this distance measure for the combined shape splits cleanly into the sum of the two individual distance measures. This splitting, combined with a known result that free sums of polytopes have multiplicative grid-point counts, chains together to give the desired multiplication rule for h-star polynomials. As a bonus, the same argument also proves that the normalized volumes of these polytopes multiply in the same way when two ordered sets are stacked.