ScalingStacks

Proof. [04NM]

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

Proof.

The relation in Eq. 2.1.7 boils down to the two following:

{∑l∈L(C⋅Dl)​ul=0(C⋅Dj)+∑l∈Lλj,l​(C⋅Dl)=0.\begin{cases}\sum_{l\in L}(C\cdot D_{l})u_{l}=0\\ (C\cdot D_{j})+\sum_{l\in L}\lambda_{j,l}(C\cdot D_{l})=0.\\ \end{cases}

The first one follows directly from Eq. 1.2.4 in the fan Σ\Sigma of ZZ; the second comes from the construction of λl\lambda_{l}, and in particular from C⋅Dj=C⋅Fj=−C⋅∑l∈Lλj,lZlC\cdot D_{j}=C\cdot F_{j}=-C\cdot\sum_{l\in L}\lambda_{j,l}Z_{l}. ∎

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