ScalingStacks

Proof. [04TH]

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.

This follows from the maximality of Π\Pi. By Proposition 1.1 FF is dual to a kk-dimensional polyhedron from a subdivision of Δ\Delta. Since Π\Pi is maximal, this polyhedron is the standard (k−1)(k-1)-simplex up to action of S​Ln+1​(ℤ)SL_{n+1}(\mathbb{Z}). ∎

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