ScalingStacks

Definition 3.68 . [02MI]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Definition 3.68.

Let C,C′C,C^{\prime} be convex polyhedra in NℝN_{\mathbb{R}} and MℝM_{\mathbb{R}}, respectively, and Π,Π′\Pi,\Pi^{\prime} polyhedral complexes in CC and C′C^{\prime}, respectively. We say that Π\Pi and Π′\Pi^{\prime} are dual polyhedral complexes if there is a bijective map Π→Π′,Λ↦Λ∗\Pi\to\Pi^{\prime},\Lambda\mapsto\Lambda^{*} such that

  1. (1)

    for all Λ,K∈Π\Lambda,K\in\Pi, the inclusion K⊂ΛK\subset\Lambda hols if and only if K∗⊃Λ∗K^{*}\supset\Lambda^{*};

  2. (2)

    for all Λ,K∈Π\Lambda,K\in\Pi, if K⊂ΛK\subset\Lambda, then ∠⁡(Λ∗,K∗)=∠​(K,Λ)∨\angle(\Lambda^{*},K^{*})=\angle(K,\Lambda)^{\vee}.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.