ScalingStacks

Lemma 3.5 . [015J]

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

Lemma 3.5.

Pick χ∈Cc0​(𝒰)\chi\in C^{0}_{c}({\mathcal{U}}). If κ0=0\kappa_{0}=0 and q=dq=d, then

limt→0(Log𝒰)∗​(χ​μt)=(∫Y′χ​ResY′⁡(ψ))​bσ′−1​λσ′\lim_{t\to 0}(\operatorname{Log}_{{\mathcal{U}}})_{*}(\chi\mu_{t})=\left(\int_{Y^{\prime}}\chi\operatorname{Res}_{Y^{\prime}}(\psi)\right)b_{\sigma^{\prime}}^{-1}\lambda_{\sigma}^{\prime}

in the weak topology of measures on σ\sigma, with σ′\sigma^{\prime} the unique dd-dimensional face of Δ⁡(ℒ)\Delta({\mathcal{L}}) contained in σ\sigma. Otherwise (i.e. if κ0>0\kappa_{0}>0 or q<dq<d) (Log𝒰)∗​(χ​μt)→0(\operatorname{Log}_{{\mathcal{U}}})_{*}(\chi\mu_{t})\to 0.

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