ScalingStacks

Proposition 7.27 . [02XQ]

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

Proposition 7.27.

Let notation be as in Definition 7.23. Then hL¯⁡(XΣΔ)\operatorname{h}_{\overline{L}}(X_{\Sigma_{\Delta}}) equals

(n+1)!​∑i=1rci​∑V∈Δ⁡(ui)∑k=0dim(V)Ck​(Δ,ui,V)​ℓi​(V)n−k+1(n−k+1)!​(∑j=2n−k+11j−log⁡(ℓi​(V))).{(n+1)!}\sum_{i=1}^{r}c_{i}\sum_{V\in\Delta(u_{i})}\sum_{k=0}^{\dim(V)}C_{k}(\Delta,u_{i},V)\frac{\ell_{i}(V)^{n-k+1}}{(n-k+1)!}\left(\sum_{j=2}^{n-k+1}\frac{1}{j}-\log(\ell_{i}(V))\right).

Suppose furthermore that Δ⊂ℝn\Delta\subset\mathbb{R}^{n} is a simplex, r=n+1r=n+1 and that ℓi\ell_{i}, i=1,…,n+1i=1,\dots,n+1, are affine functions such that Δ=⋂i{x∈Mℝ|ℓi​(x)≥0}\Delta=\bigcap_{i}\{x\in M_{\mathbb{R}}|\ell_{i}(x)\geq 0\}. Then

(7.28) hL¯⁡(XΣΔ)=n!​volM⁡(Δ)​∑i=1n+1ci​ℓi​(νi)​(∑j=2n+11j−log⁡(ℓi​(νi))).\operatorname{h}_{\overline{L}}(X_{\Sigma_{\Delta}})=n!\operatorname{vol}_{M}(\Delta)\sum_{i=1}^{n+1}c_{i}\ell_{i}(\nu_{i})\bigg(\sum_{j=2}^{n+1}\frac{1}{j}-\log(\ell_{i}(\nu_{i}))\bigg).

where νi\nu_{i} is the unique vertex of Δ\Delta not contained in the facet defined by ℓi\ell_{i}.

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