ScalingStacks

Proof. [04QW]

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.

We start by associating to vv a certain lattice subdivision π’Ÿv{\mathcal{D}}_{v} of Ξ”\Delta. Let O​Γ​(v)O\Gamma(v) be the overgraph of vv, i.e. the set of vertical rays upwards in ℝn+1×ℝ\mathbb{R}^{n+1}\times\mathbb{R} starting at the points of the graph of vv. The convex hull of O​Γ​(v)O\Gamma(v) is a semi-infinite closed polyhedral domain. The projections of its finite faces to ℝn+1\mathbb{R}^{n+1} form the subdivision π’Ÿv{\mathcal{D}}_{v}.

We claim that Ξ v\Pi_{v} is a polyhedral complex dual to π’Ÿv{\mathcal{D}}_{v}. Namely, a kk-dimensional polyhedron Ξ”β€²\Delta^{\prime} in π’Ÿv{\mathcal{D}}_{v}, k>0k>0, gives a (n+1βˆ’k)(n+1-k)-cell of Ξ v\Pi_{v}. This cell is compact iff Ξ”β€²βŠ‚Ξ”\Delta^{\prime}\subset\Delta.

This claim follows from the duality property of the Legendre transform. Consider the function v~\tilde{v} whose graph is is given by the lower boundary of the convex hull of O​Γ​(v)O\Gamma(v). If vv is convex then the function v~\tilde{v} extends vv and is defined on the whole polyhedron Ξ”\Delta, not just on its lattice points. It is a convex piecewise-linear function. The Legendre transform of vv coincides with the Legendre transform of v~\tilde{v}. (In fact the function v~\tilde{v} can be defined by applying the Legendre transform to vv twice.) By duality, the graph of Lv~L_{\tilde{v}} has the facets en lieu of the vertices of the graph of v~\tilde{v} and so on. ∎

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