1: \begin{abstract}

2:     To every poset $\P$, Stanley (1986) associated two polytopes, the order

3:     polytope and the chain polytope, whose geometric properties reflect the

4:     combinatorial qualities of $\P$. This construction allows for deep

5:     insights into combinatorics by way of geometry and vice versa.  Malvenuto

6:     and Reutenauer (2011) introduced \emph{double posets}, that is, (finite)

7:     sets equipped with two partial orders, as a generalization of Stanley's

8:     labelled posets. Many combinatorial constructions can be naturally phrased

9:     in terms of double posets.  We introduce the \emph{double order polytope}

10:     and the \emph{double chain polytope} and we amply demonstrate that they

11:     geometrically capture double posets, i.e., the interaction between the two

12:     partial orders. We describe the facial structures, Ehrhart polynomials, and

13:     volumes of these polytopes in terms of the combinatorics of double posets.

14:     We also describe a curious connection to Geissinger's valuation polytopes

15:     and we characterize $2$-level polytopes among our double poset polytopes.

16: 

17:     Fulkerson's \emph{anti-blocking} polytopes from combinatorial optimization

18:     subsume stable set polytopes of graphs and chain polytopes of posets. We

19:     determine the geometry of Minkowski- and Cayley sums of anti-blocking

20:     polytopes. In particular, we describe a canonical subdivision of Minkowski

21:     sums of anti-blocking polytopes that facilitates the computation of

22:     Ehrhart (quasi-)polynomials and volumes. This also yields canonical

23:     triangulations of double poset polytopes.

24:     

25:     Finally, we investigate the affine semigroup rings associated to 

26:     double poset polytopes. We show that they have quadratic Gr\"obner bases,

27:     which gives an algebraic description of the unimodular flag triangulations

28:     described in the first part.

29: \end{abstract}

30: