ScalingStacks

Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.

00R7

Proof. By Remark 3.21, the ∇u\nabla u introduced in the above proof is actually the gradient of the extension uu over NℝN_{\mathbb{R}}. By the proof above, we know ⟨∇u,wi⟩=1\langle\nabla u,w_{i}\rangle=1 on Star​(wi)⊂∂Δλ∨\text{Star}(w_{i})\subset\partial\Delta_{\lambda}^{\vee}. This directional derivative can only increase as x∈Nℝx\in N_{\mathbb{R}} moves in the w1w_{1}-direction. But ∇u∈Δ\nabla u\in\Delta on NℝN_{\mathbb{R}} since the extension is admissible, so ⟨∇u,wi⟩≤1\langle\nabla u,w_{i}\rangle\leq 1 everywhere, hence the claim. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.