ScalingStacks

6.2 [036Z]

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

6.2

A current on an open subset WW of Xan{X^{\rm an}} is a linear functional TT on Acp,q​(W)A_{c}^{p,q}(W) such that the restriction of TT to all subspaces Ap,q(Vi,Ui,Δi:i∈I)A^{p,q}(V_{i},U_{i},\Delta_{i}:i\in I) is continuous. The space of currents is a C∞​(W)C^{\infty}(W)-module denoted by Dp,q​(W)D_{p,q}(W). As usual, we define the differential operators d′d^{\prime}, d′′d^{\prime\prime} and d:=d′+d′′d:=d^{\prime}+d^{\prime\prime} on the total space of currents D⁡(W):=⨁p,qDp,q​(W)D(W):=\bigoplus_{p,q}D_{p,q}(W). Using partitions of unity from Proposition 5.10, it is easy to show that the currents form a sheaf on Xan{X^{\rm an}}.

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