ScalingStacks

5.14 [036P]

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

5.14

Let α∈Acn,n​(W)\alpha\in A_{c}^{n,n}(W) for an open subset WW of Xan{X^{\rm an}}, where n:=dim(X)n:=\dim(X). Obviously, we may view α\alpha as a (n,n)(n,n)-form on Xan{X^{\rm an}} with compact support. We call a very affine open subset UU as in Proposition 5.13 a very affine chart of integration for α\alpha. Then α\alpha is given by a superform αU∈Acn,n​(Trop⁡(U))\alpha_{U}\in A_{c}^{n,n}({\rm Trop}(U)). We define the integral of α\alpha over WW by

∫Wα:=∫Trop⁡(U)αU.\int_{W}\alpha:=\int_{{\rm Trop}(U)}\alpha_{U}.

Here, we view Trop⁡(U){\rm Trop}(U) as a tropical cycle (see 4.6) and we integrate as in 3.4.

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