ScalingStacks

Proof. [03FA]

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.

Consider h=0h=0 first. For a simplex τ∈T\tau\in T, let FτF_{\tau} be the corresponding face of Δν{\Delta_{\nu}}, and we set Rτ:=ϕ​ϕ^−1​(Fτ)+cone⁡(τ)R_{\tau}:=\phi\hat{\phi}^{-1}(F_{\tau})+\operatorname{cone}(\tau). Then the set ∪τ′≥τRτ′\cup_{\tau^{\prime}\geq\tau}R_{\tau^{\prime}} contains some translation R≥τR_{\geq\tau} of ∪τ′≥τcone(τ′)\cup_{\tau^{\prime}\geq\tau}\operatorname{cone}(\tau^{\prime}).

On the other hand, Φ\Phi is the Legendre transform of Φ^|Δν\hat{\Phi}|_{\Delta_{\nu}}. Hence, if ∇Φ​(x)=y\nabla\Phi(x)=y and rr is in the normal cone to Δν{\Delta_{\nu}} at y∈Δνy\in{\Delta_{\nu}}, then ∇Φ​(x+r)=∇Φ​(x)=y\nabla\Phi(x+r)=\nabla\Phi(x)=y. So we see that for x∈Rτx\in R_{\tau} the gradient ∇Φ​(x)\nabla\Phi(x) takes values in the face FτF_{\tau} of Δν{\Delta_{\nu}} because xx. In particular, the τ\tau-slopes of Φ\Phi are equal to −ν|τ-\nu|_{\tau}.

For h>0h>0 the statement of the lemma follows from the case h=0h=0 and the Proposition 3.1. The translated cones R≥τR_{\geq\tau} become shifted into their interiors by some vectors of size hh. ∎

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