ScalingStacks

Proof. [04RE]

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.

Because of its maximality, the polyhedron Π\Pi is dual to a unimodular triangulation of Π\Pi. Such a triangulation cannot be further subdivided and therefore its vertices are all the lattice points of Δ\Delta. Therefore, Π\Pi is homotopy equivalent to Int⁡Δ∖ℤn+1\operatorname{Int}\Delta\smallsetminus\mathbb{Z}^{n+1}. ∎

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