ScalingStacks

Example 3.76 . [02MU]

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

Example 3.76.

If Δ\Delta is a lattice polytope, its indicator function is a V-lattice function, its support function ΨΔ\Psi_{\Delta} is an H-lattice function and, when Δ\Delta has maximal dimension, the fan ΣΔ\Sigma_{\Delta} is a rational fan. In particular, if the isomorphism N≃ℝnN\simeq\mathbb{R}^{n} of Example 3.65 is given by the choice of an integral basis e1,…,ene_{1},\dots,e_{n} of NN, then Δn\Delta^{n} is a lattice polytope, the function ΨΔn\Psi_{\Delta^{n}} is an H-lattice concave function and ΣΔn\Sigma_{\Delta^{n}} is a rational fan. If we write e0=−∑i=1neie_{0}=-\sum_{i=1}^{n}e_{i}, this is the fan generated by the vectors e0,e1,…,ene_{0},e_{1},\dots,e_{n} in the sense that each cone of ΣΔn\Sigma_{\Delta^{n}} is the cone generated by a strict subset of the above set of vectors. Figure 3 illustrates the case n=2n=2.

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