ScalingStacks

Proposition 3.95 . [02NR]

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

Proposition 3.95.

Let ff be a piecewise affine concave function on NℝN_{\mathbb{R}} and (Π⁡(f),Π⁡(f∨))(\Pi(f),\Pi(f^{\vee})) the dual pair of polyhedral complexes associated to ff. Denote by Λ↦Λ∗\Lambda\mapsto\Lambda^{\ast} the correspondence ℒ​f\mathcal{L}f. Then

ℳμ​(f)=∑v∈Π​(f)0μ⁡(∂f⁡(v))​δv=∑v∈Π​(f)0μ⁡(v∗)​δv=∑Λ∈Π​(f∨)nμ⁡(Λ)​δΛ∗,{\mathcal{M}}_{\mu}(f)=\sum_{v\in\Pi(f)^{0}}\mu(\partial f(v))\delta_{v}=\sum_{v\in\Pi(f)^{0}}\mu(v^{\ast})\delta_{v}=\sum_{\Lambda\in\Pi(f^{\vee})^{n}}\mu(\Lambda)\delta_{\Lambda^{\ast}},

where δv\delta_{v} is the Dirac measure supported on vv.

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