ScalingStacks

Example 6.5 [0372]

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

Example 6.5

We have the current of integration δX∈D2​n​(Xan)\delta_{X}\in D_{2n}({X^{\rm an}}) given by δX​(α)=∫Xα\delta_{X}(\alpha)=\int_{X}\alpha for α∈Ac2​n​(Xan)\alpha\in A_{c}^{2n}({X^{\rm an}}). More generally, we define the current of integration along a closed ss-dimensional subvariety YY of XX as the push-forward of δY∈D2​s​(Yan)\delta_{Y}\in D_{2s}({Y^{\rm an}}) to Xan{X^{\rm an}}. By abuse of notation, we denote this element of D2​s​(Xan)D_{2s}({X^{\rm an}}) also by δY\delta_{Y}. By linearity in the components, we define the current of integration along a cycle on XX. If WW is an open subset of Xan{X^{\rm an}}, then we get a current δW∈D2​n​(W)\delta_{W}\in D_{2n}(W) by restricting δX\delta_{X}.

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