ScalingStacks

Proposition 6.8 [0375]

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 6.8

Let ω∈A2​n​(W)\omega\in A^{2n}(W) for an open subset WW of Xan{X^{\rm an}}. Then there is a unique signed Radon measure μ\mu on WW such that ∫Wf​𝑑μ=[ω]​(f)\int_{W}fd\mu=[\omega](f) for every f∈Cc∞​(W)f\in C_{c}^{\infty}(W). If ω\omega has compact support, then we have |μ|​(W)<∞|\mu|(W)<\infty.

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