ScalingStacks

Proposition 3.5 (Stokes’ formula) [0359]

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 3.5 (Stokes’ formula)

Let (𝒞,m)({\mathscr{C}},m) be a weighted integral ℝ{\mathbb{R}}-affine polyhedral complex of pure dimension nn. For any η′∈Acn−1,n​(𝒞)\eta^{\prime}\in A_{c}^{n-1,n}({\mathscr{C}}) and any η′′∈Acn,n−1​(𝒞)\eta^{\prime\prime}\in A_{c}^{n,n-1}({\mathscr{C}}), we have

∫(𝒞,m)d′​η′=∫∂(𝒞,m)η′,∫(𝒞,m)d′′​η′′=∫∂(𝒞,m)η′.\int_{({\mathscr{C}},m)}d^{\prime}\eta^{\prime}=\int_{\partial({\mathscr{C}},m)}\eta^{\prime},\quad\int_{({\mathscr{C}},m)}d^{\prime\prime}\eta^{\prime\prime}=\int_{\partial({\mathscr{C}},m)}\eta^{\prime}.

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