ScalingStacks

Proof. [04RH]

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 proposition also follows from the duality with a unimodular triangulation 𝒟\mathcal{D} of Δ\Delta. Let UjU_{j} be a primitive piece. It corresponds to a simplex of volume 1(n+1)!\frac{1}{(n+1)!} in 𝒟\mathcal{D}. There is an element of S​Ln+1​(ℤ)SL_{n+1}(\mathbb{Z}) which takes this simplex to the standard simplex Δ1n+1\Delta_{1}^{n+1} (see (1)). Then the image of UjU_{j} by the adjoint to the inverse of this element is contained in a dual Δ1\Delta_{1}-complex. Such a complex is the result of a translation of Σn\Sigma_{n} by Proposition 1.8. ∎

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