ScalingStacks

Lemma 3.1 . [03DM]

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

Lemma 3.1.

The decomposition of ℝd\mathbb{R}^{d} by 𝒜∞λ\mathcal{A}^{\lambda}_{\infty} has the following description:

  1. (1)

    The cells are labeled by the simplices σ¯∈S∗{0}\overline{\sigma}\in S\ast\{0\}.

  2. (2)

    (The closure of) a cell Qσ¯λQ^{\lambda}_{\overline{\sigma}} is the Minkowski sum of the polytope and the cone:

    Qσ¯λ=Fσ∨+NCΔ⁡(σ¯).Q^{\lambda}_{\overline{\sigma}}=F^{\vee}_{\sigma}+\operatorname{NC}_{\Delta}(\overline{\sigma}).

    Here Fσ∨F^{\vee}_{\sigma} is the face of ∂Δλ∨\partial\Delta^{\vee}_{\lambda} dual to σ=σ¯∩∂Δ∈S\sigma=\overline{\sigma}\cap{\partial\Delta}\in S, (where we set F∅∨=Δλ∨F^{\vee}_{\emptyset}=\Delta^{\vee}_{\lambda} for σ¯={0}\overline{\sigma}=\{0\}), and NCΔ⁡(F)\operatorname{NC}_{\Delta}(F) is the normal cone to the face F≺ΔF\prec\Delta, ( in particular NCΔ⁡(F)={0}\operatorname{NC}_{\Delta}(F)=\{0\} for F=ΔF=\Delta). Thus, Qσ¯λQ^{\lambda}_{\overline{\sigma}} is unbounded if and only if σ¯=σ∈S\overline{\sigma}=\sigma\in S.

  3. (3)

    In particular, the dd-dimensional cells are labeled by the elements of vert⁡(S)∪{0}\operatorname{vert}(S)\cup\{0\}. That is, there is a bounded central cell Q{0}λ=Δλ∨Q^{\lambda}_{\{0\}}=\Delta^{\vee}_{\lambda} and unbounded cells QvλQ^{\lambda}_{v}, one for each vertex v∈vert⁡(S)v\in\operatorname{vert}(S) (see Fig. 3.2).

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