ScalingStacks

Proof. [015Q]

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 first statement is elementary. To prove the second, we must make sure to handle the “multiplicities” bσb_{\sigma} and bσ′b_{\sigma^{\prime}} correctly. Parametrize the interior of σ\sigma by coordinates (w1,…,wp)(w_{1},\dots,w_{p}) using w0=b0−1​(1−∑1pbi​wi)w_{0}=b_{0}^{-1}(1-\sum_{1}^{p}b_{i}w_{i}). By Remark 1.3 we have

bσ​λσ=|d​w1∧⋯∧d​wp|b_{\sigma}\lambda_{\sigma}=|dw_{1}\wedge\dots\wedge dw_{p}|

Similarly, we parametrize the interiors of σ′\sigma^{\prime} and σt\sigma_{t} using coordinates (w1,…,wq)(w_{1},\dots,w_{q}) and (w1,…,wq,xq+1′′,…,xp′′)(w_{1},\dots,w_{q},x^{\prime\prime}_{q+1},\dots,x^{\prime\prime}_{p}), respectively. Then

bσ′​λσ′=|d​w1∧⋯∧d​wq|.b_{\sigma^{\prime}}\lambda_{\sigma^{\prime}}=|dw_{1}\wedge\dots\wedge dw_{q}|.

The required formula now follows from an elementary computation. ∎

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