ScalingStacks

Lemma 3.79 . [02MZ]

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

Lemma 3.79.

Let fβˆˆπ’«β‘(Nℝ)f\in\mathscr{P}(N_{\mathbb{R}}) and let f⁑(u)=min0≀i≀r⁑(ai​(u)+Ξ±i)f(u)=\min_{0\leq i\leq r}(a_{i}(u)+\alpha_{i}) be an H-representation of ff. Write 𝛂=(Ξ±iβˆ’Ξ±0)i=1,…,r\boldsymbol{\alpha}=(\alpha_{i}-\alpha_{0})_{i=1,\dots,r}, and consider the linear map H:Nℝ→ℝrH\colon N_{\mathbb{R}}\to\mathbb{R}^{r} given by H⁑(u)=(ai​(u)βˆ’a0​(u))i=1,…,rH(u)=(a_{i}(u)-a_{0}(u))_{i=1,\dots,r} and the affine map A=H+𝛂.A=H+\boldsymbol{\alpha}. Then

  1. (1)

    f=Aβˆ—β€‹Ξ¨Ξ”r+a0+Ξ±0;f=A^{\ast}\Psi_{\Delta^{r}}+a_{0}+\alpha_{0};

  2. (2)

    f∨=Ο„a0​(H∨)βˆ—β€‹(ΞΉΞ”rβˆ’πœΆ)βˆ’Ξ±0.f^{\vee}=\tau_{a_{0}}(H^{\vee})_{\ast}(\iota_{\Delta^{r}}-\boldsymbol{\alpha})-\alpha_{0}.

This second function can be alternatively described as the function which parameterizes the upper envelope of the extended polytope

conv⁑((a1,βˆ’Ξ±1),…,(al,βˆ’Ξ±l))βŠ‚Mℝ×ℝ.\operatorname{conv}((a_{1},-\alpha_{1}),\dots,(a_{l},-\alpha_{l}))\subset M_{\mathbb{R}}\times\mathbb{R}.

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