ScalingStacks

2.7 [034X]

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.7

Let HH be an integral ℝ{\mathbb{R}}-affine halfspace in NℝN_{\mathbb{R}}. This means that H={ω∈Nℝ∣⟨u,ω⟩≤c}H=\{\omega\in N_{\mathbb{R}}\mid\langle u,\omega\rangle\leq c\} for some u∈Mu\in M and c∈ℝc\in{\mathbb{R}}. Using a translation, we may assume that c=0c=0 and hence the boundary ∂H\partial H is a linear subspace of NℝN_{\mathbb{R}}. Let [ω∂H,H][\omega_{\partial H,H}] be the generator of N/(N∩∂H)≅ℤN/(N\cap\partial H)\cong{\mathbb{Z}} which points outwards, i.e. there is u∂H,H∈Mu_{\partial H,H}\in M such that u∂H,H​(H)≤0u_{\partial H,H}(H)\leq 0 and u∂H,H​(ω∂H,H)=1u_{\partial H,H}(\omega_{\partial H,H})=1. We choose a representative ω∂H,H∈N\omega_{\partial H,H}\in N and we note also that u∂H,Hu_{\partial H,H} is uniquely determined by the above properties.

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