ScalingStacks

Proof. [0150]

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.

Note that Tσ,ℤ={w∈ℤp+1∣∑ibi​wi=0}T_{\sigma,{\mathbb{Z}}}=\{w\in{\mathbb{Z}}^{p+1}\mid\sum_{i}b_{i}w_{i}=0\}. The linear isomorphism ϕ:ℝp+1→ℝp+1\phi\colon{\mathbb{R}}^{p+1}\to{\mathbb{R}}^{p+1} given by ϕ⁡(wj)=(bj​wj)\phi(w_{j})=(b_{j}w_{j}) takes σ\sigma to the standard simplex

σ′={w′∈ℝ+p+1∣∑iwj′=1},\sigma^{\prime}=\{w^{\prime}\in{\mathbb{R}}_{+}^{p+1}\mid\sum_{i}w^{\prime}_{j}=1\},

and hence

[Tσ′,ℤ:ϕ(Tσ,ℤ)]Vol(σ)=Vol(σ′)=1p!.[T_{\sigma^{\prime},{\mathbb{Z}}}\colon\phi(T_{\sigma,{\mathbb{Z}}})]\operatorname{Vol}(\sigma)=\operatorname{Vol}(\sigma^{\prime})=\frac{1}{p!}.

Write Tσ′,ℤT_{\sigma^{\prime},{\mathbb{Z}}} as the kernel of χ:ℤp+1→ℤ\chi\colon{\mathbb{Z}}^{p+1}\to{\mathbb{Z}} defined by χ⁡(w′)=∑iwi′\chi(w^{\prime})=\sum_{i}w^{\prime}_{i}. Then ϕ⁡(Tσ,ℤ)=ker⁡χ∩ϕ⁡(ℤp+1)\phi(T_{\sigma,{\mathbb{Z}}})=\ker\chi\cap\phi({\mathbb{Z}}^{p+1}), χ⁡(ϕ⁡(ℤp+1))=gcd⁡(bi)​ℤ\chi(\phi({\mathbb{Z}}^{p+1}))=\gcd(b_{i}){\mathbb{Z}}, and the exact sequence

0→ker⁡χker⁡χ∩ϕ⁡(ℤp+1)→ℤp+1ϕ⁡(ℤp+1)→ℤχ⁡(ϕ⁡(ℤp+1))→00\to\frac{\ker\chi}{\ker\chi\cap\phi({\mathbb{Z}}^{p+1})}\to\frac{{\mathbb{Z}}^{p+1}}{\phi({\mathbb{Z}}^{p+1})}\to\frac{{\mathbb{Z}}}{\chi(\phi({\mathbb{Z}}^{p+1}))}\to 0

gives as desired

[Tσ′,ℤ:ϕ(Tσ,ℤ)]=∏ibigcd⁡(bi).[T_{\sigma^{\prime},{\mathbb{Z}}}\colon\phi(T_{\sigma,{\mathbb{Z}}})]=\frac{\prod_{i}b_{i}}{\gcd(b_{i})}.

Finally, the first assertion is clear. ∎

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