Geometric inequalities for anti-blocking bodies

We study the class of (locally) anti-blocking bodies as well as some associated classes of convex bodies. For these bodies, we prove geometric inequalities regarding volumes and mixed volumes, including Godbersen's conjecture, near-optimal bounds on Mahler volumes, Saint-Raymond-type inequalities on mixed volumes, and reverse Kleitman inequalities for mixed volumes. We apply our results to the combinatorics of posets and prove Sidorenko-type inequalities for linear extensions of pairs of 2-dimensional posets. The results rely on some elegant decompositions of differences of anti-blocking bodies, which turn out to hold for anti-blocking bodies with respect to general polyhedral cones.