ScalingStacks

Proposition 7.8 . [02X8]

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

Proposition 7.8.

Let Δ⊂ℝn\Delta\subset\mathbb{R}^{n} be a polytope of dimension nn and u∈ℝnu\in\mathbb{R}^{n}. Let V∈Δ⁡(u)V\in\Delta(u) and k≥0k\geq 0.

  1. (1)

    The coefficient Ck​(Δ,u,V)C_{k}(\Delta,u,V) is homogeneous of weight k−nk-n, in the sense that, for λ∈ℝ×\lambda\in\mathbb{R}^{\times},

    Ck​(Δ,λ​u,V)=λk−n​Ck​(Δ,u,V).C_{k}(\Delta,\lambda u,V)=\lambda^{k-n}C_{k}(\Delta,u,V).
  2. (2)

    The coefficients Ck​(Δ,u,V)C_{k}(\Delta,u,V) satisfy the vector relation

    (7.9) Ck(Δ,u,V)⋅u=−∑FCk(F,πF(u),V∩F)⋅uF,C_{k}(\Delta,u,V)\cdot u=-\sum_{F}C_{k}(F,\pi_{F}(u),V\cap F)\cdot u_{F},

    where the sum is over the facets FF of Δ\Delta.

  3. (3)

    Let Δ1,Δ2⊂ℝn\Delta_{1},\Delta_{2}\subset\mathbb{R}^{n} be two polytopes of dimension nn intersecting along a common facet and such that Δ=Δ1∪Δ2\Delta=\Delta_{1}\cup\Delta_{2}. Then V∩Δi=∅V\cap\Delta_{i}=\emptyset or V∩Δi∈Δi​(u)V\cap\Delta_{i}\in\Delta_{i}(u) and

    Ck​(Δ,u,V)=Ck​(Δ1,u,V∩Δ1)+Ck​(Δ2,u,V∩Δ2).C_{k}(\Delta,u,V)=C_{k}(\Delta_{1},u,V\cap\Delta_{1})+C_{k}(\Delta_{2},u,V\cap\Delta_{2}).

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