ScalingStacks

Corollary 6.17 . [02WC]

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

Corollary 6.17.

Let notation be as in Theorem 6.6 and write ψ=ψL¯,s\psi=\psi_{{\overline{L}},s} for short. Then

(6.18) hL¯tor⁡(XΣ)=λK​(n+1)!​∫Nℝ(ψ∨∘∂ψ)​ℳM​(ψ),\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}}(X_{\Sigma})=\lambda_{K}(n+1)!\int_{N_{\mathbb{R}}}(\psi^{\vee}\circ\partial\psi)\,{\mathcal{M}}_{M}(\psi),

where ψ∨∘∂ψ\psi^{\vee}\circ\partial\psi is the integrable function defined by (3.105). When ψ∈𝒞2​(Nℝ)\psi\in{\mathcal{C}}^{2}(N_{\mathbb{R}}),

(6.19) hL¯tor⁡(XΣ)=(−1)n​(n+1)!​∫Nℝ(⟨∇ψ​(u),u⟩−ψ⁡(u))​det(Hess⁡(ψ))​d​volN.\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}}(X_{\Sigma})=(-1)^{n}(n+1)!\int_{N_{\mathbb{R}}}(\langle\nabla\psi(u),u\rangle-\psi(u))\det(\operatorname{Hess}(\psi))\,\,\text{\rm d}\operatorname{vol}_{N}.

When ψ\psi is piecewise affine,

(6.20) hL¯tor⁡(XΣ)=(n+1)!​∑v∈Π​(ψ)0∫v∗(⟨x,v⟩−ψ⁡(v))​d​volM⁡(x).\operatorname{h}^{\operatorname{tor}}_{{\overline{L}}}(X_{\Sigma})=(n+1)!\sum_{v\in\Pi(\psi)^{0}}\int_{v^{*}}(\langle x,v\rangle-\psi(v))\,\,\text{\rm d}\operatorname{vol}_{M}(x).

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