ScalingStacks

Proof. [04RM]

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.

From the finiteness condition in Definition 1 we have that the complex Π′=(Π−Rv→)∩L⊂L\Pi^{\prime}=(\Pi-R\hskip-5.0pt\stackrel{{\scriptstyle\to}}{{v}})\cap L\subset L does not depend on the choice of R>0R>0 and v→\stackrel{{\scriptstyle\to}}{{v}} as long as v→\stackrel{{\scriptstyle\to}}{{v}} is supporting and RR is sufficiently large. The proof of Proposition 1.4 ensures that Π′\Pi^{\prime} is a dual Δ′\Delta^{\prime}-complex. If Π\Pi is maximal then it is dual to a triangulation of Δ\Delta into simplices of minimal volume. Such a triangulation induces a triangulation into simplices of minimal volume on the faces Δ′\Delta^{\prime} and thus Π′\Pi^{\prime} is also maximal. ∎

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