ScalingStacks

Definition 7.1 . [02X3]

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

Definition 7.1.

For each aggregate V∈Δ⁡(u)V\in\Delta(u), we define the polynomial

C⁡(Δ,u,V)=∑k=0dim(V)k!dim(V)!​Ck​(Δ,u,V)​zdim(V)−k∈ℝ⁡[z]C(\Delta,u,V)=\sum_{k=0}^{\dim(V)}\frac{k!}{\dim(V)!}C_{k}(\Delta,u,V)z^{\dim(V)-k}\in\mathbb{R}[z]

recursively. For k>dim(V)k>\dim(V) we set Ck​(Δ,u,V)=0C_{k}(\Delta,u,V)=0. For convenience, we set C⁡(Δ,u,∅)=0C(\Delta,u,\emptyset)=0 for all Δ\Delta and uu. If u=0u=0, then V=ΔV=\Delta and we define Cn​(Δ,0,Δ)C_{n}(\Delta,0,\Delta) as the Lebesgue measure of Δ\Delta and Ck​(Δ,0,Δ)=0C_{k}(\Delta,0,\Delta)=0, for k<nk<n. If u≠0u\neq 0, we set

(7.2) Ck(Δ,u,V)=−∑F⟨uF,u⟩‖u‖2Ck(F,πF(u),V∩F),C_{k}(\Delta,u,V)=-\sum_{F}\frac{\langle u_{F},u\rangle}{\|u\|^{2}}C_{k}(F,\pi_{F}(u),V\cap F),

where the sum is over the facets FF of Δ\Delta.

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