ScalingStacks

2.5 [034V]

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

2.5

Now let σ\sigma be a polyhedron of dimension nn in NℝN_{\mathbb{R}}. By definition, σ\sigma is the intersection of finitely many halfspaces Hi:={ω∈Nℝ∣⟨ui,ω⟩≤ci}H_{i}:=\{\omega\in N_{\mathbb{R}}\mid\langle u_{i},\omega\rangle\leq c_{i}\} with ui∈Mℝu_{i}\in M_{\mathbb{R}} and ci∈ℝc_{i}\in{\mathbb{R}}. A polytope is a bounded polyhedron. We say that σ\sigma is an integral GG-affine polyhedron for a subgroup GG of ℝ{\mathbb{R}} if we may choose all ui∈Mu_{i}\in M and all ci∈Gc_{i}\in G. In this case, we have a canonical integral ℝ{\mathbb{R}}-affine structure on the affine space 𝔸σ{\mathbb{A}}_{\sigma} generated by σ\sigma. If 𝕃σ{\mathbb{L}}_{\sigma} is the underlying real vector space of 𝔸σ{\mathbb{A}}_{\sigma}, then this integral structure is given by the lattice Nσ:=𝕃σ∩NN_{\sigma}:={\mathbb{L}}_{\sigma}\cap N. Using 2.3 and the above, we get a well-defined integral ∫σα\int_{\sigma}\alpha for any α∈Acn,n​(U)\alpha\in A_{c}^{n,n}(U), where UU is an open neighbourhood of σ\sigma.

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